title: Data-Driven Program Completion

abstract: We introduce program splicing, a programming methodology that aims to automate the commonly used workflow of copying, pasting, and modifying code available online. Here, the programmer starts by writing a "draft" that mixes unfinished code, natural language comments, and correctness requirements in the form of test cases or API call sequence constraints. A program synthesizer that interacts with a large, searchable database of program snippets is used to automatically complete the draft into a program that meets the requirements. The synthesis process happens in two stages. First, the synthesizer identifies a small number of programs in the database that are relevant to the synthesis task. Next it uses an enumerative search to systematically fill the draft with expressions and statements from these relevant programs. The resulting program is returned to the programmer, who can modify it and possibly invoke additional rounds of synthesis. We present an implementation of program splicing for the Java programming language. The implementation uses a corpus of over 3.5 million procedures from an open-source software repository. Our evaluation uses the system in a suite of everyday programming tasks, and includes a comparison with a state-of-the-art competing approach as well as a user study. The results point to the broad scope and scalability of program splicing and indicate that the approach can significantly boost programmer productivity.


title: Full-Duplex Massive MIMO Multi-Pair Two-Way AF Relaying: Energy Efficiency Optimization

abstract: We consider two-way amplify and forward relaying, where multiple full-duplex user pairs exchange information via a shared full-duplex massive multiple-input multiple-output (MIMO) relay. Most of the previous massive MIMO relaying works maximize the spectral efficiency (SE). By contrast, we maximize the non-convex energy efficiency (EE) metric by approximating it as a pseudo-concave problem, which is then solved using the classic Dinkelbach approach. We also maximize the EE of the least energy-efficient user {relying} on the max-min approach. For solving these optimization problems, we derive closed-form lower bounds for the ergodic achievable rate both for maximal-ratio combining and zero-forcing processing at the relay, by using minimum mean squared error channel estimation. We numerically characterize the accuracy of the lower bounds derived. We also compare the SE and EE of the proposed design to those of the existing full-duplex systems and quantify the significant improvement achieved by the proposed algorithm. We also compare the EE of the proposed full-duplex system to that of its half-duplex counterparts, and characterize the self-loop and inter-user interference regimes, for which the proposed full-duplex system succeeds in outperforming the half-duplex ones.


title: Detecting Malignant TLS Servers Using Machine Learning Techniques

abstract: TLS uses X.509 certificates for server authentication. A X.509 certificate is a complex document and various innocent errors may occur while creating/ using it. Also, many certificates belong to malicious websites and should be rejected by the client and those web servers should not be visited. Usually, when a client finds a certificate that is doubtful using the traditional tests, it asks for human intervention. But, looking at certificates, most people can't differentiate between malicious and non-malicious websites. Thus, once traditional certificate validation has failed, instead of asking for human intervention, we use machine learning techniques to enable a web browser to decide whether the server to which the certificate belongs to is malignant or not ie, whether the website should be visited or not. Once a certificate has been accepted in the above phase, we observe that the website may still turn out to be malicious. So, in the second phase, we download a part of the website in a sandbox without decrypting it and observe the TLS encrypted traffic (encrypted malicious data captured in a sandbox cannot harm the system). As the traffic is encrypted after Handshake is completed, traditional pattern-matching techniques cannot be employed. Thus we use flow features of the traffic along with the features used in the above first phase. We couple these features with the unencrypted TLS header information obtained during TLS Handshake and use these in a machine learning classifier to identify whether the traffic is malicious or not.


title: Cross-Domain Perceptual Reward Functions

abstract: In reinforcement learning, we often define goals by specifying rewards within desirable states. One problem with this approach is that we typically need to redefine the rewards each time the goal changes, which often requires some understanding of the solution in the agents environment. When humans are learning to complete tasks, we regularly utilize alternative sources that guide our understanding of the problem. Such task representations allow one to specify goals on their own terms, thus providing specifications that can be appropriately interpreted across various environments. This motivates our own work, in which we represent goals in environments that are different from the agents. We introduce Cross-Domain Perceptual Reward (CDPR) functions, learned rewards that represent the visual similarity between an agents state and a cross-domain goal image. We report results for learning the CDPRs with a deep neural network and using them to solve two tasks with deep reinforcement learning.


title: Expectation Propagation for t-Exponential Family Using Q-Algebra

abstract: Exponential family distributions are highly useful in machine learning since their calculation can be performed efficiently through natural parameters. The exponential family has recently been extended to the t-exponential family, which contains Student-t distributions as family members and thus allows us to handle noisy data well. However, since the t-exponential family is denied by the deformed exponential, we cannot derive an efficient learning algorithm for the t-exponential family such as expectation propagation (EP). In this paper, we borrow the mathematical tools of q-algebra from statistical physics and show that the pseudo additivity of distributions allows us to perform calculation of t-exponential family distributions through natural parameters. We then develop an expectation propagation (EP) algorithm for the t-exponential family, which provides a deterministic approximation to the posterior or predictive distribution with simple moment matching. We finally apply the proposed EP algorithm to the Bayes point machine and Student-t process classication, and demonstrate their performance numerically.


title: Configurational entropy of charged AdS black holes

abstract: When we consider charged AdS black holes in higher dimensional spacetime and a molecule number density along coexistence curves is numerically extended to higher dimensional cases. It is found that a number density difference of a small and large black holes decrease as a total dimension grows up. In particular, we find that a configurational entropy is a concave function of a reduced temperature and reaches a maximum value at a critical (second-order phase transition) point. Furthermore, the bigger a total dimension becomes, the more concave function in a configurational entropy while the more convex function in a reduced pressure.


title: Convergence of Langevin MCMC in KL-divergence

abstract: Langevin diffusion is a commonly used tool for sampling from a given distribution. In this work, we establish that when the target density $p^*$ is such that $\log p^*$ is $L$ smooth and $m$ strongly convex, discrete Langevin diffusion produces a distribution $p$ with $KL(p||p^*)\leq \epsilon$ in $\tilde{O}(\frac{d}{\epsilon})$ steps, where $d$ is the dimension of the sample space. We also study the convergence rate when the strong-convexity assumption is absent. By considering the Langevin diffusion as a gradient flow in the space of probability distributions, we obtain an elegant analysis that applies to the stronger property of convergence in KL-divergence and gives a conceptually simpler proof of the best-known convergence results in weaker metrics.


title: Fast Vortex Oscillations in a Ferrimagnetic Disk near the Angular Momentum Compensation Point

abstract: We theoretically study the oscillatory dynamics of a vortex core in a ferrimagnetic disk near its angular momentum compensation point, where the spin density vanishes but the magnetization is finite. Due to the finite magnetostatic energy, a ferrimagnetic disk of suitable geometry can support a vortex as a ground state similar to a ferromagnetic disk. In the vicinity of the angular momentum compensation point, the dynamics of the vortex resemble those of an antiferromagnetic vortex, which is described by equations of motion analogous to Newton's second law for the motion of particles. Owing to the antiferromagnetic nature of the dynamics, the vortex oscillation frequency can be an order of magnitude larger than the frequency of a ferromagnetic vortex, amounting to tens of GHz in common transition-metal based alloys. We show that the frequency can be controlled either by applying an external field or by changing the temperature. In particular, the latter property allows us to detect the angular momentum compensation temperature, at which the lowest eigenfrequency attains its maximum, by performing FMR measurements on the vortex disk. Our work proposes a ferrimagnetic vortex disk as a tunable source of fast magnetic oscillations and a useful platform to study the properties of ferrimagnets.


title: A Clustering-based Consistency Adaptation Strategy for Distributed SDN Controllers

abstract: Distributed controllers are oftentimes used in large-scale SDN deployments where they run a myriad of network applications simultaneously. Such applications could have different consistency and availability preferences. These controllers need to communicate via east/west interfaces in order to synchronize their state information. The consistency and the availability of the distributed state information are governed by an underlying consistency model. Earlier, we suggested the use of adaptively-consistent controllers that can autonomously tune their consistency parameters in order to meet the performance requirements of a certain application. In this paper, we examine the feasibility of employing adaptive controllers that are built on-top of tunable consistency models similar to that of Apache Cassandra. We present an adaptation strategy that uses clustering techniques (sequential k-means and incremental k-means) in order to map a given application performance indicator into a feasible consistency level that can be used with the underlying tunable consistency model. In the cases that we modeled and tested, our results show that in the case of sequential k-means, with a reasonable number of clusters (>= 50), a plausible mapping (low RMSE) could be estimated between the application performance indicators and the consistency level indicator. In the case of incremental k-means, the results also showed that a plausible mapping (low RMSE) could be estimated using a similar number of clusters (>= 50) by using a small threshold (~$ 0.01).


title: Using a Complex Optical Orbital-Angular-Momentum Spectrum to Measure Object Parameters: A Spatial Domain Approach

abstract: Light beams can be characterized by their complex spatial profiles in both intensity and phase. Analogous to time signals, which can be decomposed into multiple orthogonal frequency functions, a light beam can also be decomposed into a set of spatial modes that are taken from an orthogonal basis. Such a decomposition can provide a tool for spatial spectrum analysis, which may allow the stable, accurate and robust extraction of physical object information that may not be readily achievable using traditional approaches. As an example, we measure the opening angle of an object using the complex spectrum of orbital angular momentum (OAM) modes as the basis, achieving a more than 15 dB signal-to-noise ratio. We find that the dip (i.e., notch) positions of the OAM intensity spectrum are dependent on an object's opening angle but independent of the object opening's angular orientation, whereas the slope of the OAM phase spectrum is dependent on the object opening's orientation but independent on the opening angle.


title: Weakly Supervised Semantic Segmentation Based on Web Image Co-segmentation

abstract: Training a Fully Convolutional Network (FCN) for semantic segmentation requires a large number of masks with pixel level labelling, which involves a large amount of human labour and time for annotation. In contrast, web images and their image-level labels are much easier and cheaper to obtain. In this work, we propose a novel method for weakly supervised semantic segmentation with only image-level labels. The method utilizes the internet to retrieve a large number of images and uses a large scale co-segmentation framework to generate masks for the retrieved images. We first retrieve images from search engines, e.g. Flickr and Google, using semantic class names as queries, e.g. class names in the dataset PASCAL VOC 2012. We then use high quality masks produced by co-segmentation on the retrieved images as well as the target dataset images with image level labels to train segmentation networks. We obtain an IoU score of 56.9 on test set of PASCAL VOC 2012, which reaches the state-of-the-art performance.


title: Circular law for the sum of random permutation matrices

abstract: Let $P_n^1,\dots, P_n^d$ be $n\times n$ permutation matrices drawn independently and uniformly at random, and set $S_n^d:=\sum_{\ell=1}^d P_n^\ell$. We show that if $\log^{12}n/(\log \log n)^{4} \le d=O(n)$, then the empirical spectral distribution of $S_n^d/\sqrt{d}$ converges weakly to the circular law in probability as $n \to \infty$.


title: Max-Cosine Matching Based Neural Models for Recognizing Textual Entailment

abstract: Recognizing textual entailment is a fundamental task in a variety of text mining or natural language processing applications. This paper proposes a simple neural model for RTE problem. It first matches each word in the hypothesis with its most-similar word in the premise, producing an augmented representation of the hypothesis conditioned on the premise as a sequence of word pairs. The LSTM model is then used to model this augmented sequence, and the final output from the LSTM is fed into a softmax layer to make the prediction. Besides the base model, in order to enhance its performance, we also proposed three techniques: the integration of multiple word-embedding library, bi-way integration, and ensemble based on model averaging. Experimental results on the SNLI dataset have shown that the three techniques are effective in boosting the predicative accuracy and that our method outperforms several state-of-the-state ones.


title: The cost of fairness in classification

abstract: We study the problem of learning classifiers with a fairness constraint, with three main contributions towards the goal of quantifying the problem's inherent tradeoffs. First, we relate two existing fairness measures to cost-sensitive risks. Second, we show that for cost-sensitive classification and fairness measures, the optimal classifier is an instance-dependent thresholding of the class-probability function. Third, we show how the tradeoff between accuracy and fairness is determined by the alignment between the class-probabilities for the target and sensitive features. Underpinning our analysis is a general framework that casts the problem of learning with a fairness requirement as one of minimising the difference of two statistical risks.


title: Can Decentralized Algorithms Outperform Centralized Algorithms? A Case Study for Decentralized Parallel Stochastic Gradient Descent

abstract: Most distributed machine learning systems nowadays, including TensorFlow and CNTK, are built in a centralized fashion. One bottleneck of centralized algorithms lies on high communication cost on the central node. Motivated by this, we ask, can decentralized algorithms be faster than its centralized counterpart? Although decentralized PSGD (D-PSGD) algorithms have been studied by the control community, existing analysis and theory do not show any advantage over centralized PSGD (C-PSGD) algorithms, simply assuming the application scenario where only the decentralized network is available. In this paper, we study a D-PSGD algorithm and provide the first theoretical analysis that indicates a regime in which decentralized algorithms might outperform centralized algorithms for distributed stochastic gradient descent. This is because D-PSGD has comparable total computational complexities to C-PSGD but requires much less communication cost on the busiest node. We further conduct an empirical study to validate our theoretical analysis across multiple frameworks (CNTK and Torch), different network configurations, and computation platforms up to 112 GPUs. On network configurations with low bandwidth or high latency, D-PSGD can be up to one order of magnitude faster than its well-optimized centralized counterparts.


title: A Spatial Branch-and-Cut Method for Nonconvex QCQP with Bounded Complex Variables

abstract: We develop a spatial branch-and-cut approach for nonconvex Quadratically Constrained Quadratic Programs with bounded complex variables (CQCQP). Linear valid inequalities are added at each node of the search tree to strengthen semidefinite programming relaxations of CQCQP. These valid inequalities are derived from the convex hull description of a nonconvex set of $2 \times 2$ positive semidefinite Hermitian matrices subject to a rank-one constraint. We propose branching rules based on an alternative to the rank-one constraint that allows for local measurement of constraint violation. Closed-form bound tightening procedures are used to reduce the domain of the problem. We apply the algorithm to solve the Alternating Current Optimal Power Flow problem with complex variables as well as the Box-constrained Quadratic Programming problem with real variables.


title: An Empirical Analysis of Approximation Algorithms for the Euclidean Traveling Salesman Problem

abstract: With applications to many disciplines, the traveling salesman problem (TSP) is a classical computer science optimization problem with applications to industrial engineering, theoretical computer science, bioinformatics, and several other disciplines. In recent years, there have been a plethora of novel approaches for approximate solutions ranging from simplistic greedy to cooperative distributed algorithms derived from artificial intelligence. In this paper, we perform an evaluation and analysis of cornerstone algorithms for the Euclidean TSP. We evaluate greedy, 2-opt, and genetic algorithms. We use several datasets as input for the algorithms including a small dataset, a mediumsized dataset representing cities in the United States, and a synthetic dataset consisting of 200 cities to test algorithm scalability. We discover that the greedy and 2-opt algorithms efficiently calculate solutions for smaller datasets. Genetic algorithm has the best performance for optimality for medium to large datasets, but generally have longer runtime. Our implementations is public available.


title: Vector Transport-Free SVRG with General Retraction for Riemannian Optimization: Complexity Analysis and Practical Implementation

abstract: In this paper, we propose a vector transport-free stochastic variance reduced gradient (SVRG) method with general retraction for empirical risk minimization over Riemannian manifold. Existing SVRG methods on manifold usually consider a specific retraction operation, and involve additional computational costs such as parallel transport or vector transport. The vector transport-free SVRG with general retraction we propose in this paper handles general retraction operations, and do not need additional computational costs mentioned above. As a result, we name our algorithm S-SVRG, where the first "S" means simple. We analyze the iteration complexity of S-SVRG for obtaining an $\epsilon$-stationary point and its local linear convergence by assuming the \L ojasiewicz inequality, which naturally holds for PCA and holds with high probability for matrix completion problem. We also incorporate the Barzilai-Borwein step size and design a very practical S-SVRG-BB method. Numerical results on PCA and matrix completion problems are reported to demonstrate the efficiency of our methods.


title: One-loop Partition Functions in Hyperbolic Space $\mathbb{H}^n(\mathbb{R})$

abstract: We first study the problem of the one-loop partition function for a free massive quantum field theory living on a fixed background hyperbolic space on the field of real numbers, $\mathbb{H}^n(\mathbb{R}), \,\, n\geq 2$. Earlier attempts were limited to $n=3$ dimensions due to the computational complexity. We have developed a new method to determine the fundamental solution of the heat equation and techniques to specify its asymptotics in the small time limit. These enable us to determine the regular part and the ultra violet divergences of the one-loop effective action in the scalar case. The contribution of the Abelian gauge excitations to the one-loop partition function were treated separately using Fourier analysis and bi-tensor techniques on $\mathbb{H}^n(\mathbb{R})$. Finally, by employing the DeWitt's method, we confirmed the correctness and extended our results to any dimension regarding the first three heat kernel coefficients.


title: Triangle Finding and Listing in CONGEST Networks

abstract: Triangle-free graphs play a central role in graph theory, and triangle detection (or triangle finding) as well as triangle enumeration (triangle listing) play central roles in the field of graph algorithms. In distributed computing, algorithms with sublinear round complexity for triangle finding and listing have recently been developed in the powerful CONGEST clique model, where communication is allowed between any two nodes of the network. In this paper we present the first algorithms with sublinear complexity for triangle finding and triangle listing in the standard CONGEST model, where the communication topology is the same as the topology of the network. More precisely, we give randomized algorithms for triangle finding and listing with round complexity $O(n^{2/3}(\log n)^{2/3})$ and $O(n^{3/4}\log n)$, respectively, where $n$ denotes the number of nodes of the network. We also show a lower bound $\Omega(n^{1/3}/\log n)$ on the round complexity of triangle listing, which also holds for the CONGEST clique model.


title: Grid-converged Solution and Analysis of the Unsteady Viscous Flow in a Two-dimensional Shock Tube

abstract: The flow in a shock tube is extremely complex with dynamic multi-scale structures of sharp fronts, flow separation, and vortices due to the interaction of the shock wave, the contact surface, and the boundary layer over the side wall of the tube. Prediction and understanding of the complex fluid dynamics is of theoretical and practical importance. It is also an extremely challenging problem for numerical simulation, especially at relatively high Reynolds numbers. Daru & Tenaud (Daru, V. & Tenaud, C. 2001 Evaluation of TVD high resolution schemes for unsteady viscous shocked flows. Computers & Fluids 30, 89-113) proposed a two-dimensional model problem as a numerical test case for high-resolution schemes to simulate the flow field in a square closed shock tube. Though many researchers have tried this problem using a variety of computational methods, there is not yet an agreed-upon grid-converged solution of the problem at the Reynolds number of 1000. This paper presents a rigorous grid-convergence study and the resulting grid-converged solutions for this problem by using a newly-developed, efficient, and high-order gas-kinetic scheme. Critical data extracted from the converged solutions are documented as benchmark data. The complex fluid dynamics of the flow at Re = 1000 are discussed and analysed in detail. Major phenomena revealed by the numerical computations include the downward concentration of the fluid through the curved shock, the formation of the vortices, the mechanism of the shock wave bifurcation, the structure of the jet along the bottom wall, and the Kelvin-Helmholtz instability near the contact surface.


title: On the discrepancy between asteroseismic and Gaia DR1 TGAS parallaxes

abstract: Recently, a deviation of the Gaia TGAS parallaxes from the asteroseismic ones for giants was found. We show that for parallaxes $\varpi<1.5$ mas it can be explained by a selection effect in favour of bright and luminous giants in the Tycho-2 and TGAS catalogues. Another explanation of this deviation seems to be valid for $\varpi>1.5$ mas based on the best extinction estimates: the deviation may be caused not by a bias of parallax, but by an underestimation of the extinction (and, consequently, an overestimation of the calculated absolute magnitude) in the asteroseismic results. We demonstrate that the reliable estimates of the reddening and extinction (about 0.22 mag of the visual extinction for the Kepler field) better fit both the giants and main sequence stars to the PARSEC, MIST and YaPSI isochrones.


title: MagNet: a Two-Pronged Defense against Adversarial Examples

abstract: Deep learning has shown promising results on hard perceptual problems in recent years. However, deep learning systems are found to be vulnerable to small adversarial perturbations that are nearly imperceptible to human. Such specially crafted perturbations cause deep learning systems to output incorrect decisions, with potentially disastrous consequences. These vulnerabilities hinder the deployment of deep learning systems where safety or security is important. Attempts to secure deep learning systems either target specific attacks or have been shown to be ineffective. In this paper, we propose MagNet, a framework for defending neural network classifiers against adversarial examples. MagNet does not modify the protected classifier or know the process for generating adversarial examples. MagNet includes one or more separate detector networks and a reformer network. Different from previous work, MagNet learns to differentiate between normal and adversarial examples by approximating the manifold of normal examples. Since it does not rely on any process for generating adversarial examples, it has substantial generalization power. Moreover, MagNet reconstructs adversarial examples by moving them towards the manifold, which is effective for helping classify adversarial examples with small perturbation correctly. We discuss the intrinsic difficulty in defending against whitebox attack and propose a mechanism to defend against graybox attack. Inspired by the use of randomness in cryptography, we propose to use diversity to strengthen MagNet. We show empirically that MagNet is effective against most advanced state-of-the-art attacks in blackbox and graybox scenarios while keeping false positive rate on normal examples very low.


title: Temporal and Periodic Variations of Sunspot Counts in Flaring and Non-flaring Active Regions

abstract: We analyzed temporal and periodic behavior of sunspot counts (SSCs) in flaring (C, M, or X class flares), and non-flaring active regions (ARs) for the almost two solar cycles (1996 through 2016). Our main findings are as follows: i) The temporal variation of monthly means of daily total SSCs in flaring and non-flaring ARs are different and these differences are also varying from cycle to cycle; temporal profile of non-flaring ARs are wider than the flaring ones during the solar cycle 23, while they are almost the same during the current cycle 24. The second peak (second maximum) of flaring ARs are strongly dominate during current cycle 24, while this difference is not such a remarkable during cycle 23. The amplitude of SSCs in the non-flaring ARs are comparable during the first and second peaks (maxima) of the current solar cycle, while the first peak is almost not existent in case of the flaring ARs. ii) Periodic variations observed in SSCs of flaring and non-flaring ARs are quite different in both MTM spectrum and wavelet scalograms and these variations are also different from one cycle to another; the largest detected period in the flaring ARs is 113 days, while there are much higher periodicities (327, 312, and 256 days) in non-flaring ARs. There are no meaningful periodicities in MTM spectrum of flaring ARs exceeding 45 days during solar cycle 24, while a 113 days periodicity detected from flaring ARs of solar cycle 23. For the non-flaring ARs the largest period is 72 days during solar cycle 24, while the largest period is 327 days during current cycle.


title: A QFT-induced phase in neutrino flavour oscillations

abstract: In the extended Standard Model of particle physics, each neutrino mass eigenstate is predicted to have a tiny but non vanishing magnetic moment induced by quantum field theoretic corrections. These QFT-induced magnetic momenta depend linearly on masses of the underlying mass eigenstates with a proportionality constant ${3eG_{F}}/{(8\sqrt{2}\pi^{2})} $. As a consequence when neutrinos are embedded in an environment containing magnetic fields the flavour oscillations get a contribution from the induced relative phases.


title: HD 46487 is Now a Classical Be Star

abstract: We present the first observations of hydrogen line emission detected around the B-type star HD 46487, a well-studied star in the CoRoT field of view. The emission is only evident in the H$\alpha$ line, for which the observed violet-red peak separation ($\Delta v_{p}$) is typical of a B$e$ star with a circumstellar disk. The absence of dust emission from the infrared spectral energy distribution excludes the possibility of a very young star. The star's magnitude (V=5.079) and regular use in the literature for a variety of studies suggests that the line emission had a high probability of being found previously, had it been evident; since such was not the case, we believe that the B$e$ phenomenon for HD 46487 has only very recently "turned on." We therefore recommend that this star be spectroscopically and photometrically monitored to track continued changes to its circumstellar morphology.


title: On critical and supercritical pseudo-relativistic nonlinear Schr\"odinger equations

abstract: In this paper, we investigate existence and non-existence of a nontrivial solution to the pseudo-relativistic nonlinear Schr\"odinger equation $$\left( \sqrt{-c^2\Delta + m^2 c^4}-mc^2\right) u + \mu u = |u|^{p-1}u\quad \textrm{in}~\mathbb{R}^n~(n \geq 2)$$ involving an $H^{1/2}$-critical/supercritical power-type nonlinearity, i.e., $p \geq \frac{n+1}{n-1}$. We prove that in the non-relativistic regime, there exists a nontrivial solution provided that the nonlinearity is $H^{1/2}$-critical/supercritical but it is $H^1$-subcritical. On the other hand, we also show that there is no nontrivial bounded solution either $(i)$ if the nonlinearity is $H^{1/2}$-critical/supercritical in the ultra-relativistic regime or $(ii)$ if the nonlinearity is $H^1$-critical/supercritical in all cases.


title: Gaps between avalanches in 1D Random Field Ising Models

abstract: We analyze the statistics of gaps ($\Delta H$) between successive avalanches in one dimensional random field Ising models (RFIMs) in an external field $H$ at zero temperature. In the first part of the paper we study the nearest-neighbour ferromagnetic RFIM. We map the sequence of avalanches in this system to a non-homogeneous Poisson process with an $H$-dependent rate $\rho(H)$. We use this to analytically compute the distribution of gaps $P(\Delta H)$ between avalanches as the field is increased monotonically from $-\infty$ to $+\infty$. We show that $P(\Delta H)$ tends to a constant $\mathcal{C}(R)$ as $\Delta H \to 0^+$, which displays a non-trivial behaviour with the strength of disorder $R$. We verify our predictions with numerical simulations. In the second part of the paper, motivated by avalanche gap distributions in driven disordered amorphous solids, we study a long-range antiferromagnetic RFIM. This model displays a gapped behaviour $P(\Delta H) = 0$ up to a system size dependent offset value $\Delta H_{\text{off}}$, and $P(\Delta H) \sim (\Delta H - \Delta H_{\text{off}})^{\theta}$ as $\Delta H \to H_{\text{off}}^+$. We perform numerical simulations on this model and determine $\theta \approx 0.95(5)$. We also discuss mechanisms which would lead to a non-zero exponent $\theta$ for general spin models with quenched random fields.


title: Dynamic Transitions and Baroclinic Instability for 3D Continuously Stratified Boussinesq Flows

abstract: The main objective of this article is to study the nonlinear stability and dynamic transitions of the basic (zonal) shear flows for the three-dimensional continuously stratified rotating Boussinesq model. The model equations are fundamental equations in geophysical fluid dynamics, and dynamics associated with their basic zonal shear flows play a crucial role in understanding many important geophysical fluid dynamical processes, such as the meridional overturning oceanic circulation and the geophysical baroclinic instability. In this paper, first we derive a threshold for the energy stability of the basic shear flow, and obtain a criteria for nonlinear stability in terms of the critical horizontal wavenumbers and the system parameters such as the Froude number, the Rossby number, the Prandtl number and the strength of the shear flow. Next we demonstrate that the system always undergoes a dynamic transition from the basic shear flow to either a spatiotemporal oscillatory pattern or circle of steady states, as the shear strength $\Lambda$ of the basic flow crosses a critical threshold $\Lambda_c$. Also we show that the dynamic transition can be either continuous or catastrophic, and is dictated by the sign of a transition parameter $A$, fully characterizing the nonlinear interactions of different modes. A systematic numerical method is carried out to explore transition in different flow parameter regimes. We find that the system admits only critical eigenmodes with horizontal wave indices $(0,m_y)$. Such modes, horizontally have the pattern consisting of $m_y$-rolls aligned with the x-axis. Furthermore, numerically we encountered continuous transitions to multiple steady states, continuous and catastrophic transitions to spatiotemporal oscillations.


title: Excitonic Insulator State of the Extended Falicov-Kimball Model in the Cluster Dynamical Impurity Approximation

abstract: We comparatively study the excitonic insulator state in the extended Falicov-Kimball model (EFKM, a spinless two-band model) on the two-dimensional square lattice using the variational cluster approximation (VCA) and the cluster dynamical impurity approximation (CDIA). In the latter, the particle-bath sites are included in the reference cluster to take into account the particle-number fluctuations in the correlation sites. We thus calculate the particle-number distribution, order parameter, ground-state phase diagram, anomalous Green's function, and pair coherence length, thereby demonstrating the usefulness of the CDIA in the discussion of the excitonic condensation in the EFKM.


title: Magneto-Optical Quantum Switching in a System of Spinor Excitons

abstract: In this work we investigate magneto-optical properties of two-dimensional semiconductor quantum-ring excitons with Rashba and Dresselhaus spin-orbit interactions threaded by a magnetic flux perpendicular to the plane of the ring. By calculating the excitonic Aharonov-Bohm spectrum, we study the Coulomb and spin-orbit effects on the Aharonov-Bohm features. From the light-matter interactions of the excitons, we find that for scalar excitons, there are open channels for spontaneous recombination resulting in a bright photoluminescence spectrum, whereas the forbidden recombination of dipolar excitons results in a dark photoluminescence spectrum. We investigate the generation of persistent charge and spin currents. The exploration of spin orientations manifests that by adjusting the strength of the spin-orbit interactions, the exciton can be constructed as a squeezed complex with specific spin polarization. Moreover, a coherently moving dipolar exciton acquires a nontrivial dual Aharonov-Casher phase, creating the possibility to generate persistent dipole currents and spin dipole currents. Our study reveals that a manipulation of the spin-orbit interactions provides a potential application for quantum-ring spinor excitons to be utilized in nano-scaled magneto-optical switches.


title: Load Balancing for Skewed Streams on Heterogeneous Cluster

abstract: Streaming applications frequently encounter skewed workloads and execute on heterogeneous clusters. Optimal resource utilization in such adverse conditions becomes a challenge, as it requires inferring the resource capacities and input distribution at run time. In this paper, we tackle the aforementioned challenges by modeling them as a load balancing problem. We propose a novel partitioning strategy called Consistent Grouping (CG), which enables each processing element instance (PEI) to process the workload according to its capacity. The main idea behind CG is the notion of small, equal-sized virtual workers at the sources, which are assigned to workers based on their capacities. We provide a theoretical analysis of the proposed algorithm and show via extensive empirical evaluation that our proposed scheme outperforms the state-of-the-art approaches, like key grouping. In particular, CG achieves 3.44x better performance in terms of latency compared to key grouping.


title: Highly Anisotropic Superconducting Gap in Nematically Ordered and Tetragonal Phases of FeSe$_{1-x}$S$_x$

abstract: FeSe has a unique ground state in which superconductivity coexists with a nematic order without long-range magnetic ordering at ambient pressure. Here, to study how the pairing interaction evolves with nematicity, we measured the thermal conductivity and specific heat of FeSe$_{1-x}$S$_x$, where the nematicity is suppressed by isoelectronic sulfur substitution. We find that in the whole nematic ($0\leq x \leq 0.17$) and tetragonal ($x=0.20$) regimes, the application of small magnetic field causes a steep increase of both quantities. This indicates the existence of deep minima or line nodes in the superconducting gap function, implying that the pairing interaction is significantly anisotropic in both the nematic and the tetragonal regimes. Moreover, the present results indicate that the position of gap minima/nodes in the tetragonal regime appears to be essentially different from that in the nematic regime. These results place an important constraint on current theories.


title: Synchronization, phase slips and coherent structures in area-preserving maps

abstract: The problem of synchronization of coupled Hamiltonian systems exhibits interesting features due to the non-uniform or mixed nature (regular and chaotic) of the phase space. We study these features by investigating the synchronization of unidirectionally coupled area-preserving maps coupled by the Pecora-Carroll method. We find that coupled standard maps show complete synchronization for values of the nonlinearity parameter at which regular structures are still present in phase space. The distribution of synchronization times has a power law tail indicating long synchronization times for at least some of the synchronizing trajectories. With the introduction of coherent structures using parameter perturbation in the system, this distribution crosses over to exponential behavior, indicating shorter synchronization times, and the number of initial conditions which synchronize increases significantly, indicating an enhancement in the basin of synchronization. On the other hand, coupled blinking vortex maps display both phase synchronization and phase slips, depending on the location of the initial conditions. We discuss the implication of our results.


title: Wireless Powered Communications with Finite Battery and Finite Blocklength

abstract: We analyze a wireless communication system with finite block length and finite battery energy, under quasi-static Nakagami-m fading. Wireless energy transfer is carried out in the downlink while information transfer occurs in the uplink. Transmission strategies for scenarios with/without energy accumulation between transmission rounds are characterized in terms of error probability and energy consumption. A power control protocol for the energy accumulation scenario is proposed and results show the enormous impact on improving the system performance, in terms of error probability and energy consumption. The numerical results corroborate the existence and uniqueness of an optimum target error probability, while showing that a relatively small battery could be a limiting factor for some setups, specially when using the energy accumulation strategy.


title: Spatially and time-resolved imaging of transport of indirect excitons in high magnetic fields

abstract: We present the direct measurements of magnetoexciton transport. Excitons give the opportunity to realize the high magnetic field regime for composite bosons with magnetic fields of a few Tesla. Long lifetimes of indirect excitons allow the study kinetics of magnetoexciton transport with time-resolved optical imaging of exciton photoluminescence. We performed spatially, spectrally, and time-resolved optical imaging of transport of indirect excitons in high magnetic fields. We observed that increasing magnetic field slows down magnetoexciton transport. The time-resolved measurements of the magnetoexciton transport distance allowed for an experimental estimation of the magnetoexciton diffusion coefficient. An enhancement of the exciton photoluminescence energy at the laser excitation spot was found to anti-correlate with the exciton transport distance. A theoretical model of indirect magnetoexciton transport is presented and is in agreement with the experimental data.


title: The Borexino Thermal Monitoring and Management System

abstract: A monitoring and management system for the thermal environment inside the Borexino neutrino detector was developed and installed in order to reduce uncertainties in temperature determination and limit undesirable thermal couplings between the environment and Borexino's active sections. This strategy is bringing improved radioactive background conditions to the physics signal thanks to the reduced mixing taking place in the liquid scintillator. While equilibrium has not yet been reached, and fine-tuning is possible, the system has proven extremely effective at greatly stabilizing the detector while offering precise insight into its internal thermal conditions and transport. Numerical simulations have also been used to feed this empirical data into a global model, providing information into present and future thermal trends.


title: Artinian bimodule with quasi-Frobenius bimodule of translations

abstract: Let M be an (A,B)-bi-module over left and right respectively Artinian rings. Let C be a multiplication ring of bi-module M, i.e. the ring C is generated by images of a and B in End(M). Let Z be a center of C. Bi-module M over rings C and Z we call a bi-module of translation of (A,B)-bi-module M. We investigate a relationship between the fact that (A,B)-bi-module M is quasi-Frobenius and the fact that (C,Z)-bi-module M is quasi-Frobenius.


title: A note on robustness of coherence for multipartite quantum states

abstract: In this brief report, we prove that robustness of coherence (ROC), in contrast to many popular quantitative measures of quantum coherence derived from the resource theoretic framework of coherence, may be sub-additive for a specific class of multipartite quantum states. We investigate how the sub-additivity is affected by admixture with other classes of states for which ROC is super-additive. We show that pairs of quantum states may have different orderings with respect to relative entropy of coherence, $l_{1}$-norm of coherence and ROC and numerically study the difference in ordering for coherence measures chosen pairwise.


title: Port-Hamiltonian descriptor systems

abstract: The modeling framework of port-Hamiltonian systems is systematically extended to constrained dynamical systems (descriptor systems, differential-algebraic equations). A new algebraically and geometrically defined system structure is derived. It is shown that this structure is invariant under equivalence transformations, and that it is adequate also for the modeling of high-index descriptor systems. The regularization procedure for descriptor systems to make them suitable for simulation and control is modified to deal with the port-Hamiltonian structure. The relevance of the new structure is demonstrated with several examples.


title: Active modulation of electromagnetically induced transparency analogue in terahertz hybrid metal-graphene metamaterials

abstract: Metamaterial analogues of electromagnetically induced transparency (EIT) have been intensively studied and widely employed for slow light and enhanced nonlinear effects. In particular, the active modulation of the EIT analogue and well-controlled group delay in metamaterials have shown great prospects in optical communication networks. Previous studies have focused on the optical control of the EIT analogue by integrating the photoactive materials into the unit cell, however, the response time is limited by the recovery time of the excited carriers in these bulk materials. Graphene has recently emerged as an exceptional optoelectronic material. It shows an ultrafast relaxation time on the order of picosecond and its conductivity can be tuned via manipulating the Fermi energy. Here we integrate a monolayer graphene into metal-based terahertz (THz) metamaterials, and realize a complete modulation in the resonance strength of the EIT analogue at the accessible Fermi energy. The physical mechanism lies in the active tuning the damping rate of the dark mode resonator through the recombination effect of the conductive graphene. Note that the monolayer morphology in our work is easier to fabricate and manipulate than isolated fashion. This work presents a novel modulation strategy of the EIT analogue in the hybrid metamaterials, and pave the way towards designing very compact slow light devices to meet future demand of ultrafast optical signal processing.


title: Spatially resolved electronic structure of twisted graphene

abstract: We have used scanning tunneling microscopy and spectroscopy to resolve the spatial variation of the density of states of twisted graphene layers on top of a highly oriented pyrolytic graphite substrate. Owing to the twist a moire pattern develops with a periodicity that is substantially larger than the periodicity of a single layer graphene. The twisted graphene layer has electronic properties that are distinctly different from that of a single layer graphene due to the nonzero interlayer coupling. For small twist angles (about 1-3.5 degree) the integrated differential conductivity spectrum exhibits two well-defined Van Hove singularities. Spatial maps of the differential conductivity that are recorded at energies near the Fermi level exhibit a honeycomb structure that is comprised of two inequivalent hexagonal sub-lattices. For energies |E-E_F|>0.3 eV the hexagonal structure in the differential conductivity maps vanishes. We have performed tight-binding calculations of the twisted graphene system using the propagation method, in which a third graphene layer is added to mimic the substrate. This third layer lowers the symmetry and explains the development of the two hexagonal sub-lattices in the moire pattern. Our experimental results are in excellent agreement with the tight-binding calculations.


title: Single and double linear and nonlinear flatband chains: spectra and modes

abstract: We report results of systematic analysis of various modes in the flatband lattice, based on the diamond-chain model with the on-site cubic nonlinearity, and its double version with the linear on-site mixing between the two lattice fields. In the single-chain system, a full analysis is presented, first, for the single nonlinear cell, making it possible to find all stationary states, viz., antisymmetric, symmetric, and asymmetric ones, including an exactly investigated symmetry-breaking bifurcation of the subcritical type. In the nonlinear infinite single-component chain, compact localized states (CLSs) are found in an exact form too, as an extension of known compact eigenstates of the linear diamond chain. Their stability is studied by means of analytical and numerical methods, revealing a nontrivial stability boundary. In addition to the CLSs, various species of extended states and exponentially localized lattice solitons of symmetric and asymmetric types are studied too, by means of numerical calculations and variational approximation. As a result, existence and stability areas are identified for these modes. Finally, the linear version of the double diamond chain is solved in an exact form, producing two split flatbands in the system's spectrum.


title: Valley-Polarized Quantum Transport Generated by Gauge Fields in Graphene

abstract: We report on the possibility to simultaneously generate in graphene a {\it bulk valley-polarized dissipative transport} and a {\it quantum valley Hall effect} by combining strain-induced gauge fields and real magnetic fields. Such unique phenomenon results from a resonance/anti-resonance effect driven by the superposition/cancellation of superimposed gauge fields which differently affect time reversal symmetry. The onset of a valley-polarized Hall current concomitant to a dissipative valley-polarized current flow in the opposite valley is revealed by a $e^2/h$ Hall conductivity plateau. We employ efficient linear scaling Kubo transport methods combined with a valley projection scheme to access valley-dependent conductivities and show that the results are robust against disorder.


title: New candidates for active asteroids: main-belt (145) Adeona, (704) Interamnia, (779) Nina, (1474) Beira, and near-Earth (162173) Ryugu

abstract: For the first time, spectral signs of subtle coma activity were observed simultaneously on four main-belt primitive asteroids (145) Adeona, (704) Interamnia, (779) Nina, and (1474) Beira around their perihelion distances in September 2012, which were interpreted as manifestations of the sublimation of H2O ice in/under the surface matter (Busarev et al., 2015a, 2015b). We confirm the phenomenon for Nina when it approached perihelion in September 2016. At the same time, based on results of spectral observations of near-Earth asteroid (162173) Ryugu (Vilas, 2008) being a target of Japan's Hayabusa 2 space mission, we suspected a periodic similar transient activity on the Cg-type asteroid. However, unlike the main-belt primitive asteroids demonstrating sublimation of ices close to their perihelion distances, the effect on Ryugu was apparently registered near aphelion. To explain the difference, we calculated the subsolar temperature depending on heliocentric distance of the asteroids, considered qualitative models of internal structure of main-belt and near-Earth primitive asteroids including ice and performed some analytical estimations. Presumed temporal sublimation/degassing activity of Ryugu points to the existence of a residual frozen core in its interior. It could be an indication of a relatively recent transition of the asteroid from the main asteroid belt to the near-Earth area.


title: Characterizing Fan Behavior to Study Para Social Breakups

abstract: Celebrity and fandom have been studied extensively in real life. However, with more and more celebrities using social media, the dynamics of interaction between celebrities and fans has changed. Using data from a set of 57,000 fans for the top followed celebrities on Twitter, we define a wide range of features based on their Twitter activity. Using factor analysis we find the most important factors that underlie fan behavior. Using these factors, we conduct analysis on (i) understanding fan behavior by gender \& age, and (ii) para-social breakup behavior. We find that (i) fandom is a social phenomenon, (ii) female fans are often more devoted and younger fans are more active & social, and (iii) the most devoted fans are more likely to be involved in a para-social breakup. Our findings confirm existing research on para-social interactions. Given the scale of our study and dependence on non-reactive data, our paper opens new avenues for research in para-social interactions.


title: Dynamic degree-corrected blockmodels for social networks: a nonparametric approach

abstract: A nonparametric approach to the modeling of social networks using degree-corrected stochastic blockmodels is proposed. The model for static network consists of a stochastic blockmodel using a probit regression formulation and popularity parameters are incorporated to account for degree heterogeneity. Dirichlet processes are used to detect community structure as well as induce clustering in the popularity parameters. This approach is flexible yet parsimonious as it allows the appropriate number of communities and popularity clusters to be determined automatically by the data. We further discuss some ways of extending the static model to dynamic networks. We consider a Bayesian approach and derive Gibbs samplers for posterior inference. The models are illustrated using several real-world benchmark social networks.


title: Top quark properties measurements at the LHC

abstract: Highlights of measurements of the properties of the top quark at the LHC are presented. The measurements probe a range of the properties of the top quark, including the structure of the $Wtb$ vertex, the top-Z coupling and the top-quark mass. The results are compared to Standard Model predictions and in some cases limits on physics beyond the Standard Model are also extracted in the context of effective field theory models. The measurements use data collected by the ATLAS and CMS experiments during pp collisions at a centre-of-mass energy of 8 or 13 TeV.


title: Entanglement and extreme planar spin squeezing

abstract: We introduce an entanglement-depth criterion optimized for planar quantum squeezed (PQS) states. It is connected with the sensitivity of such states for estimating an arbitrary, not necessarily small phase. We compare numerically our criterion with the well-known extreme spin squeezing condition of S{\o}rensen and M{\o}lmer [Phys. Rev. Lett. 86, 4431 (2001)] and show that our condition detects a higher depth of entanglement when both planar spin variances are squeezed below the standard quantum limit. We employ our theory to monitor the entanglement dynamics in a PQS state produced via quantum non-demolition (QND) measurements using data from a recent experiment [Phys. Rev. Lett. 118, 233603 (2017)].


title: Embedding operators in Sobolev-Lions spaces and applications

abstract: The continouity and compactness of embedding operators in in Sobolev-Lions type spaces are derived. By applying this result separability properties of degenerate anisotropic differential operator equations, well-posedeness and Strichartz type estimates for solution of corresponding parabolic problem are established


title: Configuration spaces of spatial linkages: Taking Collisions Into Account

abstract: We construct a completed version C(Gamma) of the configuration space of a linkage Gamma in R^3 which takes into account the ways one link can touch another. We also describe a simplified version of C(Gamma) which is a blow-up of the space of immersions of Gamma in R^3 A number of simple detailed examples are given.


title: Higher-Order Operator Precedence Languages

abstract: Floyd's Operator Precedence (OP) languages are a deterministic context-free family having many desirable properties. They are locally and parallely parsable, and languages having a compatible structure are closed under Boolean operations, concatenation and star; they properly include the family of Visibly Pushdown (or Input Driven) languages. OP languages are based on three relations between any two consecutive terminal symbols, which assign syntax structure to words. We extend such relations to k-tuples of consecutive terminal symbols, by using the model of strictly locally testable regular languages of order k at least 3. The new corresponding class of Higher-order Operator Precedence languages (HOP) properly includes the OP languages, and it is still included in the deterministic (also in reverse) context free family. We prove Boolean closure for each subfamily of structurally compatible HOP languages. In each subfamily, the top language is called max-language. We show that such languages are defined by a simple cancellation rule and we prove several properties, in particular that max-languages make an infinite hierarchy ordered by parameter k. HOP languages are a candidate for replacing OP languages in the various applications where they have have been successful though sometimes too restrictive.


title: Emergent Causality and the N-photon Scattering Matrix in Waveguide QED

abstract: In this work we discuss the emergence of approximate causality in a general setup from waveguide QED -i.e. a one-dimensional propagating field interacting with a scatterer. We prove that this emergent causality translates into a structure for the N-photon scattering matrix. Our work builds on the derivation of a Lieb-Robinson-type bound for continuous models and for all coupling strengths, as well as on several intermediate results, of which we highlight (i) the asymptotic independence of space-like separated wave packets, (ii) the proper definition of input and output scattering states, and (iii) the characterization of the ground state and correlations in the model. We illustrate our formal results by analyzing the two-photon scattering from a quantum impurity in the ultrastrong coupling regime, verifying the cluster decomposition and ground-state nature. Besides, we generalize the cluster decomposition if inelastic or Raman scattering occurs, finding the structure of the S-matrix in momentum space for linear dispersion relations. In this case, we compute the decay of the fluorescence (photon-photon correlations) caused by this S-matrix.


title: Finsler structures on holomorphic Lie algebroids

abstract: Complex Finsler vector bundles have been studied mainly by T. Aikou, who defined complex Finsler structures on holomorphic vector bundles. In this paper, we consider the more general case of a holomorphic Lie algebroid E and we introduce Finsler structures, partial and Chern-Finsler connections on it. First, we recall some basic notions on holomorphic Lie algebroids. Then, using an idea from E. Martinez, we introduce the concept of complexified prolongation of such an algebroid. Also, we study nonlinear and linear connections on the tangent bundle of E and on the prolongation of E and we investigate the relation between their coefficients. The analogue of the classical Chern-Finsler connection is defined and studied in the paper for the case of the holomorphic Lie algebroid.


title: Virtual retraction and Howson's theorem in pro-$p$ groups

abstract: We show that for every finitely generated closed subgroup $K$ of a non-solvable Demushkin group $G$, there exists an open subgroup $U$ of $G$ containing $K$, and a continuous homomorphism $\tau \colon U \to K$ satisfying $\tau(k) = k$ for every $k \in K$. We prove that the intersection of a pair of finitely generated closed subgroups of a Demushkin group is finitely generated (giving an explicit bound on the number of generators). Furthermore, we show that these properties of Demushkin groups are preserved under free pro-$p$ products, and deduce that Howson's theorem holds for the Sylow subgroups of the absolute Galois group of a number field. Finally, we confirm two conjectures of Ribes, thus classifying the finitely generated pro-$p$ M. Hall groups.


title: Tetrahedral $4\alpha$ and $^{12}\textrm{C}+\alpha$ cluster structures in $^{16}$O

abstract: We have investigated structures of the ground and excited states of $^{16}\textrm{O}$ with the method of variation after spin-parity projection in the antisymmetrized molecular dynamics model combined with the generator coordinate method of $^{12}\textrm{C}+\alpha$ cluster. The calculation reasonably reproduces the experimental energy spectra, $E2$, $E3$, $E4$, $IS1$ transitions, and $\alpha$-decay properties. The formation of 4 $\alpha$ clusters has been confirmed from nucleon degrees of freedom in the AMD model without assuming existence of any clusters. They form "tetrahedral" $4\alpha$- and $^{12}\textrm{C}+\alpha$-cluster structures. The $^{12}\textrm{C}+\alpha$ structure constructs the $K^\pi=0^+$ band consisting of the $0^+_2$, $2^+_1$, and $4^+_1$ states and the $K^\pi=0^-$ band of the $1^-_2$, $3^-_2$, and $5^-_1$ states. The $0^+_1$, $3^-_1$, and $4^+_2$ states are assigned to the ground band constructed from the tetrahedral 4$\alpha$ structure. The $0^+_1$ and $3^-_1$ are approximately interpreted as $T_d$ band members with the ideal tetrahedral configuration. The ground state $4\alpha$ correlation plays an important role in enhancement of the $E3$ transition strength to the $3^-_1$. The $4^+_2$ state is not the ideal $T_d$ member but constructed from a distorted tetrahedral $4\alpha$ structure. Moreover, significant state mixing of the tetrahedral $4\alpha$ and $^{12}\textrm{C}+\alpha$ cluster structures occurs between $4^+_1$ and $4^+_2$ states, indicating that the $T_d$ configuration of $4\alpha$ is rather fragile at $J^\pi=4^+$.


title: Performance Optimization of Co-Existing Underlay Secondary Networks

abstract: In this paper, we analyze the throughput performance of two co-existing downlink multiuser underlay secondary networks that use fixed-rate transmissions. We assume that the interference temperature limit (ITL) is apportioned to accommodate two concurrent transmissions using an interference temperature apportioning parameter so as to ensure that the overall interference to the primary receiver does not exceed the ITL. Using the derived analytical expressions for throughput, when there is only one secondary user in each network, or when the secondary networks do not employ opportunistic user selection (use round robin scheduling for example), there exists a critical fixed-rate below which sum throughput with co-existing secondary networks is higher than the throughput with a single secondary network. We derive an expression for this critical fixed-rate. Below this critical rate, we show that careful apportioning of the ITL is critical to maximizing sum throughput of the co-existing networks. We derive an expression for this apportioning parameter. Throughput is seen to increase with increase in number of users in each of the secondary networks. Computer simulations demonstrate accuracy of the derived expressions.


title: The Sun in transition? Persistence of near-surface structural changes through Cycle 24

abstract: We examine the frequency shifts in low-degree helioseismic modes from the Birmingham Solar-Oscillations Network (BiSON) covering the period from 1985 - 2016, and compare them with a number of global activity proxies well as a latitudinally-resolved magnetic index. As well as looking at frequency shifts in different frequency bands, we look at a parametrization of the shift as a cubic function of frequency. While the shifts in the medium- and highfrequency bands are very well correlated with all of the activity indices (with the best correlation being with the 10.7 cm radio flux), we confirm earlier findings that there appears to have been a change in the frequency response to activity during solar cycle 23, and the low frequency shifts are less correlated with activity in the last two cycles than they were in Cycle 22. At the same time, the more recent cycles show a slight increase in their sensitivity to activity levels at medium and higher frequencies, perhaps because a greater proportion of activity is composed of weaker or more ephemeral regions. This lends weight to the speculation that a fundamental change in the nature of the solar dynamo may be in progress.


title: Existence, non-degeneracy of proportional positive solutions and least energy solutions for a fractional elliptic system

abstract: In this paper, we study the following fractional nonlinear Schr\"odinger system $$ \left\{% \begin{array}{ll} (-\Delta)^s u +u=\mu_1 |u|^{2p-2}u+\beta |v|^p|u|^{p-2}u,~~x\in \R^N,\vspace{2mm}\\ (-\Delta)^s v +v=\mu_2 |v|^{2p-2}v+\beta |u|^p|v|^{p-2}v,~~x\in \R^N, \end{array}% \right. $$ where $0<s<1, \mu_1 >0, \mu_2>0, 1<p<2_s^*/2, 2_s^*=+\infty$ for $N\le 2s$ and $2_s^*=2N/(N-2s)$ for $N>2s$, and $\beta \in \R$ is a coupling constant. We investigate the existence and non-degeneracy of proportional positive vector solutions for the above system in some ranges of $\mu_1,\mu_2, p, \beta$. We also prove that the least energy vector solutions must be proportional and unique under some additional assumptions.


title: Mobility Management as a Service for 5G Networks

abstract: Mobility Management (MM) techniques have conventionally been centralized in nature, wherein a single network entity has been responsible for handling the mobility related tasks of the mobile nodes attached to the network. However, an exponential growth in network traffic and the number of users has ushered in the concept of providing Mobility Management as a Service (MMaaS) to the wireless nodes attached to the 5G networks. Allowing for on-demand mobility management solutions will not only provide the network with the flexibility that it needs to accommodate the many different use cases that are to be served by future networks, but it will also provide the network with the scalability that is needed alongside the flexibility to serve future networks. And hence, in this paper, a detailed study of MMaaS has been provided, highlighting its benefits and challenges for 5G networks. Additionally, the very important property of granularity of service which is deeply intertwined with the scalability and flexibility requirements of the future wireless networks, and a consequence of MMaaS, has also been discussed in detail.


title: Observation of a Spinning Top in a Bose-Einstein Condensate

abstract: Boundaries strongly affect the behavior of quantized vortices in Bose-Einstein condensates, a phenomenon particularly evident in elongated cigar-shaped traps where vortices tend to orient along a short direction to minimize energy. Remarkably, contributions to the angular momentum of these vortices are tightly confined to the region surrounding the core, in stark contrast to untrapped condensates where all atoms contribute $\hbar$. We develop a theoretical model and use this, in combination with numerical simulations, to show that such localized vortices precess in an analogous manner to that of a classical spinning top. We experimentally verify this spinning-top behavior with our real-time imaging technique that allows for the tracking of position and orientation of vortices as they dynamically evolve. Finally, we perform an in-depth numerical investigation of our real-time expansion and imaging method, with the aim of guiding future experimental implementation, as well as outlining directions for its improvement.


title: Recent progress in many-body localization

abstract: This article is a brief introduction to the rapidly evolving field of many-body localization. Rather than giving an in-depth review of the subject, our aspiration here is simply to introduce the problem and its general context, outlining a few directions where notable progress has been achieved in recent years. We hope that this will prepare the readers for the more specialized articles appearing in the forthcoming dedicated volume of Annalen der Physik, where these developments are discussed in more detail.


title: A remark on the minimal dilation of the semigroup generated by a normal UCP-map

abstract: There are known three ways to construct the minimal dilation of the discrete semigroup generated by a normal unital completely positive map on a von Neumann algebra, which are given by Arveson, Bhat-Skeide and Muhly-Solel. In this paper, we clarify the relation of the constructions by Bhat-Skeide and Muhly-Solel.


title: Construction of the steady state density matrix and quasilocal charges for the spin-1/2 XXZ chain with boundary magnetic fields

abstract: We construct the nonequilibrium steady state (NESS) density operator of the spin-1/2 XXZ chain with non-diagonal boundary magnetic fields coupled to boundary dissipators. The Markovian boundary dis- sipation is found with which the NESS density operator is expressed in terms of the product of the Lax operators by relating the dissipation parameters to the boundary parameters of the spin chain. The NESS density operator can be expressed in terms of a non-Hermitian transfer operator (NHTO) which forms a commuting family of quasilocal charges. The optimization of the Mazur bound for the high temperature Drude weight is discussed by using the quasilocal charges and the conventional local charges constructed through the Bethe ansatz.


title: Intermodal Four-Wave-Mixing and Parametric Amplification in km-long Fibers

abstract: We theoretically and numerically investigate intermodal four-wave-mixing in km-long fibers, where random birefringence fluctuations are present along the fiber length. We identify several distinct regimes that depend on the relative magnitude between the length scale of the random fluctuations and the beat-lengths of the interacting quasi-degenerate modes. In addition, we analyze the impact of polarization mode-dispersion and we demonstrate that random variations of the core radius, which are typically encountered during the drawing stage of the fiber, can represent the major source of bandwidth impairment. These results set a boundary on the limits of validity of the classical Manakov model and may be useful for the design of multimode parametric amplifiers and wavelength converters, as well as for the analysis of nonlinear impairments in long-haul spatial division multiplexed transmission.


title: SLAM based Quasi Dense Reconstruction For Minimally Invasive Surgery Scenes

abstract: Recovering surgical scene structure in laparoscope surgery is crucial step for surgical guidance and augmented reality applications. In this paper, a quasi dense reconstruction algorithm of surgical scene is proposed. This is based on a state-of-the-art SLAM system, and is exploiting the initial exploration phase that is typically performed by the surgeon at the beginning of the surgery. We show how to convert the sparse SLAM map to a quasi dense scene reconstruction, using pairs of keyframe images and correlation-based featureless patch matching. We have validated the approach with a live porcine experiment using Computed Tomography as ground truth, yielding a Root Mean Squared Error of 4.9mm.


title: Effective Temperatures and Radiation Spectra for a Higher-Dimensional Schwarzschild-de-Sitter Black-Hole

abstract: The absence of a true thermodynamical equilibrium for an observer located in the causal area of a Schwarzschild-de Sitter spacetime has repeatedly raised the question of the correct definition of its temperature. In this work, we consider five different temperatures for a higher-dimensional Schwarzschild-de Sitter black hole: the bare $T_0$, the normalised $T_{BH}$ and three effective ones given in terms of both the black hole and cosmological horizon temperatures. We find that these five temperatures exhibit similarities but also significant differences in their behaviour as the number of extra dimensions and the value of the cosmological constant are varied. We then investigate their effect on the energy emission spectra of Hawking radiation. We demonstrate that the radiation spectra for the normalised temperature $T_{BH}$ -- proposed by Bousso and Hawking over twenty years ago -- leads to the dominant emission curve while the other temperatures either support a significant emission rate only at a specific $\Lambda$ regime or they have their emission rates globally suppressed. Finally, we compute the bulk-over-brane emissivity ratio and show that the use of different temperatures may lead to different conclusions regarding the brane or bulk dominance.


title: Definitions of solutions to the IBVP for multiD scalar balance laws

abstract: We consider four definitions of solution to the initial-boundary value problem for a scalar balance laws in several space dimensions. These definitions are generalised to the same most general framework and then compared. The first aim of this paper is to detail differences and analogies among them. We focus then on the ways the boundary conditions are fulfilled according to each definition, providing also connections among these various modes. The main result is the proof of the equivalence among the presented definitions of solution.


title: Radar sounding of Lucus Planum, Mars, by MARSIS

abstract: Lucus Planum, extending for a radius of approximately 500 km around 181{\deg} E, 5{\deg} S, is part of the Medusae Fossae Formation (MFF), a set of several discontinuous deposits of fine-grained, friable material straddling across the Martian highland-lowland boundary. The MFF has been variously hypothesized to consist of pyroclastic flows, pyroclastic airfall, paleopolar deposits, or atmospherically-deposited icy dust driven by climate cycles. MARSIS, a low-frequency subsurface-sounding radar carried by ESA's Mars Express, acquired 238 radar swaths across Lucus Planum, providing sufficient coverage for the study of its internal structure and dielectric properties. Subsurface reflections were found only in three areas, marked by a distinctive surface morphology, while the central part of Lucus Planum appears to be made of radar-attenuating material preventing the detection of basal echoes. The bulk dielectric properties of these areas were estimated and compared with those of volcanic rocks and ice-dust mixtures. Previous interpretations that east Lucus Planum and the deposits on the north-western flanks of Apollinaris Patera consist of high-porosity pyroclastic material are strongly supported by the new results. The north-western part of Lucus Planum is likely to be much less porous, although interpretations about the nature of the subsurface materials are not conclusive. The exact origin of the deposits cannot be constrained by radar data alone, but our results for east Lucus Planum are consistent with an overall pyroclastic origin, likely linked to Tharsis Hesperian and Amazonian activity.


title: Measurement of Energy Spectrum of Ultra-High Energy Cosmic Rays

abstract: Ultra-High Energy Cosmic Rays (UHECRs) are charged particles of energies above $10^{18}$ eV that originate outside of the Galaxy. Because the flux of the UHECRs at Earth is very small, the only practical way of observing UHECRs is by measuring the extensive air showers (EAS) produced by UHECRs in the atmosphere. This is done by using air fluorescence detectors and giant arrays of particle detectors on the ground. The Pierre Auger Observatory (Auger) and Telescope Array (TA) are two large cosmic ray experiments which use such techniques and cover 3000 km$^2$ and 700 km$^2$ areas on the ground, respectively. In this paper, we present the UHECR spectrum reported by the TA, using an exposure of 6300 km$^2$ sr yr accumulated over 7 years of data taking, and the corresponding result of Auger, using 10 years of data with a total exposure exceeding 50000 km$^2$ sr yr. We review the astrophysical interpretation of the two measurements, and discuss their systematic uncertainties.


title: A matrix-based method of moments for fitting multivariate network meta-analysis models with multiple outcomes and random inconsistency effects

abstract: Random-effects meta-analyses are very commonly used in medical statistics. Recent methodological developments include multivariate (multiple outcomes) and network (multiple treatments) meta-analysis. Here we provide a new model and corresponding estimation procedure for multivariate network meta-analysis, so that multiple outcomes and treatments can be included in a single analysis. Our new multivariate model is a direct extension of a univariate model for network meta-analysis that has recently been proposed. We allow two types of unknown variance parameters in our model, which represent between-study heterogeneity and inconsistency. Inconsistency arises when different forms of direct and indirect evidence are not in agreement, even having taken between-study heterogeneity into account. However the consistency assumption is often assumed in practice and so we also explain how to fit a reduced model which makes this assumption. Our estimation method extends several other commonly used methods for meta-analysis, including the method proposed by DerSimonian and Laird (1986). We investigate the use of our proposed methods in the context of a real example.


title: Unidirectional Localization of Photons

abstract: Artificial defects embedded in periodic structures are important foundation for creating localized states with vast range of applications in condensed matter physics, photonics and acoustics. In photonics, localized states are extensively used to confine and manipulate photons. Up to now, all the proposed localized states are reciprocal and restricted by time reversal symmetry. Consequently, localization is bidirectional and photons at the allowed passband in the otherwise forbidden stop band are confined irrespective of the direction of incident beam. In this report, by embedding a single defect in a one-dimensional spatiotemporally modulated photonic lattice, we demonstrate that it is possible to have localization of photon only in one direction. In a spatiotemporally modulated photonics lattice, a time dependent potential generates an effective magnetic biasing, which breaks the reciprocity. Moreover, in such moving lattices the dispersion relation obtains a shift depending on the direction of effective magnetic biasing. A static defect synthesized in a temporally modulated lattice will generate a spatial localization of light in the bandgap. However, due to the shift of the bandgap the localization occurs in different frequencies depending on the direction of incident field. We envisage that this phenomenon might has impact not only in photonics but also other areas of physics and engineering such as condensed matter and acoustics, opens the doors for designing new types of devices such as non-reciprocal traps, sensors, unidirectional tunable filters, and might result in unconventional transports such as unidirectional lasing. Despite its applications, our proposal, namely a defect sate in a driven system, can be considered as a pedagogical example of Floquet problem with analytical solution.

categories: physics.optics cond-mat.other physics.app-ph quant-ph


title: An Exponential Quantum Projection Filter for Open Quantum Systems

abstract: An approximate exponential quantum projection filtering scheme is developed for a class of open quantum systems described by Hudson- Parthasarathy quantum stochastic differential equations, aiming to reduce the computational burden associated with online calculation of the quantum filter. By using a differential geometric approach, the quantum trajectory is constrained in a finite-dimensional differentiable manifold consisting of an unnormalized exponential family of quantum density operators, and an exponential quantum projection filter is then formulated as a number of stochastic differential equations satisfied by the finite-dimensional coordinate system of this manifold. A convenient design of the differentiable manifold is also presented through reduction of the local approximation errors, which yields a simplification of the quantum projection filter equations. It is shown that the computational cost can be significantly reduced by using the quantum projection filter instead of the quantum filter. It is also shown that when the quantum projection filtering approach is applied to a class of open quantum systems that asymptotically converge to a pure state, the input-to-state stability of the corresponding exponential quantum projection filter can be established. Simulation results from an atomic ensemble system example are provided to illustrate the performance of the projection filtering scheme. It is expected that the proposed approach can be used in developing more efficient quantum control methods.


title: Experimental status of the nuclear spin scissors mode

abstract: With the Wigner Function Moments (WFM) method the scissors mode of the actinides and rare earth nuclei are investigated. The unexplained experimental fact that in $^{232}$Th a double hump structure is found finds a natural explanation within WFM. It is predicted that the lower peak corresponds to an isovector spin scissors mode whereas the higher lying states corresponds to the conventional isovector orbital scissors mode. The experimental situation is scrutinized in this respect concerning practically all results of $M1$ excitations.


title: Shortening binary complexes and commutativity of $K$-theory with infinite products

abstract: We show that in Grayson's model of higher algebraic $K$-theory using binary acyclic complexes, the complexes of length two suffice to generate the whole group. Moreover, we prove that the comparison map from Nenashev's model for $K_1$ to Grayson's model for $K_1$ is an isomorphism. It follows that algebraic $K$-theory of exact categories commutes with infinite products.


title: TNOs are Cool: a survey of the Transneptunian Region XII. Thermal light curves of Haumea, 2003 VS2 and 2003 AZ84 with Herschel Space Observatory-PACS

abstract: Time series observations of the dwarf planet Haumea and the Plutinos 2003VS2 and 2003AZ84 with Herschel/PACS are presented in this work. Thermal emission of these trans-Neptunian objects were acquired as part of the TNOs are Cool Herschel Space Observatory key programme. We search for the thermal light curves at 100 and 160um of Haumea and 2003AZ84, and at 70 and 160um for 2003VS2 by means of photometric analysis of the PACS data. The goal of this work is to use these thermal light curves to obtain physical and thermophysical properties of these icy Solar System bodies. Haumea's thermal light curve is clearly detected at 100 and 160um. The effect of the reported dark spot is apparent at 100um. Different thermophysical models were applied to these light curves, varying the thermophysical properties of the surface within and outside the spot. Although no model gives a perfect fit to the thermal observations, results imply an extremely low thermal inertia (< 0.5 MKS) and a high phase integral (> 0.73) for Haumea's surface. We note that the dark spot region appears to be only weakly different from the rest of the object, with modest changes in thermal inertia and/or phase integral. The thermal light curve of 2003VS2 is not firmly detected at 70 and at 160um but a thermal inertia of 2+/-0.5 MKS can be derived from these data. The thermal light curve of 2003AZ84 is not firmly detected at 100um. We apply a thermophysical model to the mean thermal fluxes and to all the Herschel/PACS and Spitzer/MIPS thermal data of 2003AZ84, obtaining a close to pole-on orientation as the most likely for this TNO. For the three TNOs, the thermal inertias derived from light curve analyses or from the thermophysical analysis of the mean thermal fluxes confirm the generally small or very small surface thermal inertias of the TNO population, which is consistent with a statistical mean value of 2.5+/-0.5 MKS.


title: Conformal symmetry of trapped Bose-Einstein condensates and massive Nambu-Goldstone modes

abstract: The Gross-Pitaevskii (GP) or nonlinear Schr\"odinger equation relevant to ultracold atomic gaseous Bose-Einstein condensates possess a modified Schr\"odinger symmetry in two spatial dimensions, in the presence of a harmonic trapping potential, an (artificial) constant magnetic field (or rotation) and an electric field of a quadratic electrostatic potential. We find that a variance and a center of a trapped gas with or without a vorticity can be regarded as massive Nambu-Goldstone (NG) modes associated with spontaneous breaking of the modified Schr\"odinger symmetry. We show that the Noether theorem for the modified Schr\"odinger symmetry gives universal equations of motion which describe exact time-evolutions of the trapped gases such as a harmonic oscillation, a cyclotron motion and a breathing oscillation with frequencies determined by the symmetry independently of the details of the system. We further construct an exact effective action for all the NG modes.


title: A completeness result for implicit justification stit logic

abstract: We present a completeness result for the implicit fragment of justification stit logic. Although this fragment allows for no strongly complete axiomatization, we show that a restricted form of strong completeness (subsuming weak completeness) is available, as well as deduce a version of restricted compactness property.


title: Quantum periods and prepotential in ${\cal N}=2$ SU(2) SQCD

abstract: We study ${\cal N}=2$ SU(2) supersymmetric QCD with massive hypermultiplets deformed in the Nekrasov-Shatashvili limit of the Omega-background. The prepotential of the low-energy effective theory is determined by the WKB solution of the quantum Seiberg-Witten curve. We calculate the deformed Seiberg-Witten periods around the massless monoplole point explicitly up to the fourth order in the deformation parameter.


title: Design and implementation of dynamic logic gates and R-S flip-flop using quasiperiodically driven Murali-Lakshmanan-Chua circuit

abstract: We report the propagation of a square wave signal in a quasi-periodically driven Murali-Lakshmanan-Chua (QPDMLC) circuit system. It is observed that signal propagation is possible only above a certain threshold strength of the square wave or digital signal and all the values above the threshold amplitude are termed as 'region of signal propagation'. Then, we extend this region of signal propagation to perform various logical operations like AND/NAND/OR/NOR and hence it is also designated as the 'region of logical operation'. Based on this region, we propose implementing the dynamic logic gates, namely AND/NAND/OR/NOR, which can be decided by the asymmetrical input square waves without altering the system parameters. Further, we show that a single QPDMLC system will produce simultaneously two outputs which are complementary to each other. As a result, a single QPDMLC system yields either AND as well as NAND or OR as well as NOR gates simultaneously. Then we combine the corresponding two QPDMLC systems in a cross-coupled way and report that its dynamics mimics that of fundamental R-S flip-flop circuit. All these phenomena have been explained with analytical solutions of the circuit equations characterizing the system and finally the results are compared with the corresponding numerical and experimental analysis.


title: Triple covers and a non-simply connected surface spanning an elongated tetrahedron and beating the cone

abstract: By using a suitable triple cover we show how to possibly model the construction of a minimal surface with positive genus spanning all six edges of a tetrahedron, working in the space of BV functions and interpreting the film as the boundary of a Caccioppoli set in the covering space. After a question raised by R. Hardt in the late 1980's, it seems common opinion that an area-minimizing surface of this sort does not exist for a regular tetrahedron, although a proof of this fact is still missing. In this paper we show that there exists a surface of positive genus spanning the boundary of an elongated tetrahedron and having area strictly less than the area of the conic surface.


title: Irreducible fractal structures for Moran's type theorems

abstract: In this paper, we characterize a novel separation property for IFS-attractors on complete metric spaces. Such a separation property is weaker than the strong open set condition (SOSC) and becomes necessary to reach the equality between the similarity and the Hausdorff dimensions of strict self-similar sets. We also investigate the size of the overlaps from the viewpoint of that separation property. In addition, we contribute some equivalent conditions to reach the equality between the similarity dimension and a new Hausdorff type dimension for IFS-attractors introduced by the authors in terms of finite coverings.


title: Locating the QCD critical endpoint through finite-size scaling

abstract: Considering the 3d Ising universality class of the QCD critical endpoint we use a universal effective action for the description of the baryon-number density fluctuations around the critical region. Calculating the baryon-number multiplicity moments and determining their scaling with system's size we show that the critical region is very narrow in the direction of the baryon chemical potential $\mu$ and wide in the temperature direction $T$ for $T > T_c$. In this context, published experimental results on local proton density-fluctuation measurements obtained by intermittency analysis in transverse momentum space in NA49 central A+A collisions at $\sqrt{s_{NN}}=17.2$ GeV (A=C,Si,Pb), restrict significantly the location $(\mu_c,T_c)$ of the QCD critical endpoint. The main constraint is provided by the freeze-out chemical potential of the Si+Si system, which shows non-conventional baryon density fluctuations, restricting $(\mu_c,T_c)$ within a narrow domain, $119~\textrm{MeV} \leq T_c \leq 162~\textrm{MeV}$, $252~\textrm{MeV} \leq \mu_c \leq 258~\textrm{MeV}$, of the phase diagram.


title: Helium-like atoms. The Green's function approach to the Fock expansion calculations

abstract: The renewed Green's function approach to calculating the angular Fock coefficients, $\psi_{k,p}(\alpha,\theta)$ is presented. The final formulas are simplified and specified to be applicable for analytical as well as numerical calculations. The Green's function formulas with the hyperspherical angles $\theta=0,\pi$ (arbitrary $\alpha$) or $\alpha=0,\pi$ (arbitrary $\theta$) are indicated as corresponding to the angular Fock coefficients possessing physical meaning. The most interesting case of $\theta=0$ corresponding to a collinear arrangement of the particles is studied in detail. It is emphasized that this case represents the generalization of the specific cases of the electron-nucleus ($\alpha=0$) and electron-electron ($\alpha=\pi/2$) coalescences. It is shown that the Green's function method for $\theta=0$ enables us to calculate any component/subcomponent of the angular Fock coefficient in the form of a single series representation with arbitrary angle $\theta$. Those cases, where the Green's function approach can not be applied, are thoroughly studied, and the corresponding solutions are found.


title: The hard Pomeron impact on the high-energy elastic scattering of nucleons

abstract: The role of the hard Pomeron (HP) exchanges in the high-energy diffractive interaction of nucleons is explored. It is demonstrated that the HP subdominance at available energies and low transferred momenta is due to the extremely low slope of its Regge trajectory.


title: Momentum-space resummation for transverse observables and the Higgs $p_\perp$ at N$^3$LL+NNLO

abstract: We present an approach to the momentum-space resummation of global, recursive infrared and collinear safe observables featuring kinematic zeros away from the Sudakov limit. In the hadro-production of a generic colour singlet, we consider the family of inclusive observables which do not depend on the rapidity of the radiation, prime examples being the transverse momentum of the singlet, and $\phi^*$ in Drell-Yan pair production. We derive a resummation formula valid up to next-to-next-to-next-to-leading-logaritmic accuracy for the considered observables. This formula reduces exactly to the customary resummation performed in impact-parameter space in the known cases, and it also predicts the correct power-behaved scaling of the cross section in the limit of small value of the observable. We show how this formalism is efficiently implemented by means of Monte Carlo techniques in a fully exclusive generator that allows one to apply arbitrary cuts on the Born variables for any colour singlet, as well as to automatically match the resummed results to fixed-order calculations. As a phenomenological application, we present state-of-the-art predictions for the Higgs-boson transverse-momentum spectrum at the LHC at next-to-next-to-next-to-leading-logarithmic accuracy matched to fixed next-to-next-to-leading order.


title: Nonstandard bilinearization of $\cal{PT}$-invariant nonlocal nonlinear Schr\"{o}dinger equation: Bright soliton solutions

abstract: In this paper, we succeed to bilinearize the $\cal{PT}$-invariant nonlocal nonlinear Schr\"{o}dinger (NNLS) equation through a nonstandard procedure and present more general bright soliton solutions. We achieve this by bilinearizing both the NNLS equation and its associated parity transformed complex conjugate equation in a novel way. The obtained one and two soliton solutions are invariant under combined space and time reversal transformations and are more general than the known ones. Further, by considering the two-soliton solution we bring out certain novel interaction properties of the $\cal{PT}$-invariant multi-soliton solutions.


title: The structure of delta-matroids with width one twists

abstract: The width of a delta-matroid is the difference in size between a maximal and minimal feasible set. We give a Rough Structure Theorem for delta-matroids that admit a twist of width one. We apply this theorem to give an excluded minor characterisation of delta-matroids that admit a twist of width at most one.


title: Topology Induced Oscillations in Majorana Fermions in a Quasiperiodic Superconducting Chain

abstract: Spatial profile of the Majorana fermion wave function in a one-dimensional $p$-wave superconductors ($\cal{PWS}$) with quasi periodic disorder is shown to exhibit spatial oscillations. These oscillations damp out in the interior of the chain and are characterized by a period that has topological origin and is equal to the Chern number determining the Hall conductivity near half-filling of a two-dimensional electron gas in a crystal. This mapping unfolds in view of a correspondence between the critical point for the topological transition in $\cal{PWS}$ and the {\it strong coupling fixed point} of the Harper's equation. Oscillatory character of these modes persist in a generalized model related to an extended Harper system where the electrons also tunnel to the diagonals of a square lattice. However, beyond a bicritical point, the Majorana oscillations occur with a random period, characterized by an invariant fractal set.


title: On discrete homology of a free pro-$p$-group

abstract: For a prime $p$, let $\hat F_p$ be a finitely generated free pro-$p$-group of rank $\geq 2$. We show that the second discrete homology group $H_2(\hat F_p,\mathbb Z/p)$ is an uncountable $\mathbb Z/p$-vector space. This answers a problem of A.K. Bousfield.


title: First-spike based visual categorization using reward-modulated STDP

abstract: Reinforcement learning (RL) has recently regained popularity, with major achievements such as beating the European game of Go champion. Here, for the first time, we show that RL can be used efficiently to train a spiking neural network (SNN) to perform object recognition in natural images without using an external classifier. We used a feedforward convolutional SNN and a temporal coding scheme where the most strongly activated neurons fire first, while less activated ones fire later, or not at all. In the highest layers, each neuron was assigned to an object category, and it was assumed that the stimulus category was the category of the first neuron to fire. If this assumption was correct, the neuron was rewarded, i.e. spike-timing-dependent plasticity (STDP) was applied, which reinforced the neuron's selectivity. Otherwise, anti-STDP was applied, which encouraged the neuron to learn something else. As demonstrated on various image datasets (Caltech, ETH-80, and NORB), this reward modulated STDP (R-STDP) approach extracted particularly discriminative visual features, whereas classic unsupervised STDP extracts any feature that consistently repeats. As a result, R-STDP outperformed STDP on these datasets. Furthermore, R-STDP is suitable for online learning, and can adapt to drastic changes such as label permutations. Finally, it is worth mentioning that both feature extraction and classification were done with spikes, using at most one spike per neuron. Thus the network is hardware friendly and energy efficient.


title: Sarnak's saturation problem for complete intersections

abstract: We study almost prime solutions of systems of Diophantine equations in the Birch setting. Previous work shows that there exist integer solutions of size B with each component having no prime divisors below $B^{1/u}$, where $u=c_0n^{3/2}$, $n$ is the number of variables and $c_0$ is a constant depending on the degree and the number of equations. We improve the polynomial growth $$n^{3/2}$$ to the logarithmic $$\frac{\log n}{\log \log n}.$$ Our main new ingredients are the generalisation of the Br\"udern-Fouvry vector sieve in any dimension and the incorporation of smooth weights into the Davenport-Birch version of the circle method.


title: Freed-Moore K-theory

abstract: The twisted equivariant K-theory given by Freed and Moore is a K-theory which unifies twisted equivariant complex K-theory, Atiyah's `Real' K-theory, and their variants. In a general setting, we formulate this K-theory by using Fredholm operators, and establish basic properties such as the Bott periodicity and the Thom isomorphism. We also provide formulations of the K-theory based on Karoubi's gradations in both infinite and finite dimensions, clarifying their relationship with the Fredholm formulation.