title: Multi-objective Non-cooperative Game Model for Cost-based Task Scheduling in Computational Grid

abstract: Task scheduling is an important and complex problem in computational grid. A computational grid often covers a range of different kinds of nodes, which offers a complex environment. There is a need to develop algorithms that can capture this complexity as while as can be easily implemented and used to solve a wide range of load-balancing scenarios. In this paper, we propose a game theory based algorithm to the grid load balancing problem on the principle of minimizing the cost of the grid. The grid load-balancing problem is treated as a non-cooperative game. The experiment results demonstrate that the game based algorithm has a desirable capability to reduce the cost of the grid.


title: Adaptive Dimension Reduction to Accelerate Infinite-Dimensional Geometric Markov Chain Monte Carlo

abstract: Bayesian inverse problems highly rely on efficient and effective inference methods for uncertainty quantification (UQ). Infinite-dimensional MCMC algorithms, directly defined on function spaces, are robust under refinement of physical models. Recent development of this class of algorithms has started to incorporate the geometry of the posterior informed by data so that they are capable of exploring complex probability structures. However, the required geometric quantities are usually expensive to obtain in high dimensions. On the other hand, most geometric information of the unknown parameter space in this setting is concentrated in an \emph{intrinsic} finite-dimensional subspace. To mitigate the computational intensity and scale up the applications of infinite-dimensional geometric MCMC ($\infty$-GMC), we apply geometry-informed algorithms to the intrinsic subspace to probe its complex structure, and simpler methods like preconditioned Crank-Nicolson (pCN) to its geometry-flat complementary subspace. In this work, we take advantage of dimension reduction techniques to accelerate the original $\infty$-GMC algorithms. More specifically, partial spectral decomposition of the (prior or posterior) covariance operator is used to identify certain number of principal eigen-directions as a basis for the intrinsic subspace. The combination of dimension-independent algorithms, geometric information, and dimension reduction yields more efficient implementation, \emph{(adaptive) dimension-reduced infinite-dimensional geometric MCMC}. With a small amount of computational overhead, we can achieve over 70 times speed-up compared to pCN using a simulated elliptic inverse problem and an inverse problem involving turbulent combustion. A number of error bounds comparing various MCMC proposals are presented to predict the asymptotic behavior of the proposed dimension-reduced algorithms.


title: Anisotropic hydrodynamic modeling of heavy-ion collisions at LHC and RHIC

abstract: In this proceedings contribution, we review 3+1d quasiparticle anisotropic hydrodynamics (aHydroQP). Then, we show some recent phenomenological comparisons between the aHydroQP model and some experimental results. We show comparisons between aHydroQP and Pb-Pb 2.76 TeV collisions from the ALICE collaboration and Au-Au 200 GeV collisions from RHIC experiments. We show that the quasiparticle anisotropic hydrodynamics model is able to describe the experimental results for Pb-Pb and Au-Au collisions quite well for many observables such as the spectra, multiplicity, elliptic flow, and HBT radii in many centrality classes.


title: Asymptotic profile of solutions for semilinear wave equations with structural damping

abstract: This paper is concerned with the initial value problem for semilinear wave equation with structural damping $u_{tt}+(-\Delta)^{\sigma}u_t -\Delta u =f(u)$, where $\sigma \in (0,\frac{1}{2})$ and $f(u) \sim |u|^p$ or $u |u|^{p-1}$ with $p> 1 + {2}/(n - 2 \sigma)$. We first show the global existence for initial data small in some weighted Sobolev spaces on $\mathcal R^n$ ($n \ge 2$). Next, we show that the asymptotic profile of the solution above is given by a constant multiple of the fundamental solution of the corresponding parabolic equation, provided the initial data belong to weighted $L^1$ spaces.


title: Inviscid, incompressible and semiclassical limits of Quantum Navier-Stokes equation

abstract: IIn the paper, we consider the inviscid, incompressible and semiclassical limits limits of the barotropic quantum Navier-Stokes equations of compressible flows in a periodic domain. We show that the limit solutions satisfy the incompressible Euler system based on the relative entropy inequality and on the detailed analysis for general initial data. The rate of convergence is estimated in terms of the Mach number.


title: Object Detection with Deep Learning: A Review

abstract: Due to object detection's close relationship with video analysis and image understanding, it has attracted much research attention in recent years. Traditional object detection methods are built on handcrafted features and shallow trainable architectures. Their performance easily stagnates by constructing complex ensembles which combine multiple low-level image features with high-level context from object detectors and scene classifiers. With the rapid development in deep learning, more powerful tools, which are able to learn semantic, high-level, deeper features, are introduced to address the problems existing in traditional architectures. These models behave differently in network architecture, training strategy and optimization function, etc. In this paper, we provide a review on deep learning based object detection frameworks. Our review begins with a brief introduction on the history of deep learning and its representative tool, namely Convolutional Neural Network (CNN). Then we focus on typical generic object detection architectures along with some modifications and useful tricks to improve detection performance further. As distinct specific detection tasks exhibit different characteristics, we also briefly survey several specific tasks, including salient object detection, face detection and pedestrian detection. Experimental analyses are also provided to compare various methods and draw some meaningful conclusions. Finally, several promising directions and tasks are provided to serve as guidelines for future work in both object detection and relevant neural network based learning systems.


title: From chiral anomaly to two-fluid hydrodynamics for electronic vortices

abstract: Many recent experiments addressed manifestations of electronic crystals, particularly the charge density waves, in nano-junctions, under electric field effect, at high magnetic fields, together with real space visualizations by STM and micro X-ray diffraction. This activity returns the interest to stationary or transient states with static and dynamic topologically nontrivial configurations: electronic vortices as dislocations, instantons as phase slip centers, and ensembles of microscopic solitons. Describing and modeling these states and processes calls for an efficient phenomenological theory which should take into account the degenerate order parameter, various kinds of normal carriers and the electric field. Here we notice that the commonly employed time-depend Ginzburg-Landau approach suffers with violation of the charge conservation law resulting in unphysical generation of particles which is particularly strong for nucleating or moving electronic vortices. We present a consistent theory which exploits the chiral transformations taking into account the principle contribution of the fermionic chiral anomaly to the effective action. The resulting equations clarify partitions of charges, currents and rigidity among subsystems of the condensate and normal carriers. On this basis we perform the numerical modeling of a spontaneously generated coherent sequence of phase slips - the space-time vortices - serving for the conversion among the injected normal current and the collective one.


title: Optimal Credit Investment and Risk Control for an Insurer with Regime-Switching

abstract: This paper studies an optimal investment and risk control problem for an insurer with default contagion and regime-switching. The insurer in our model allocates his/her wealth across multi-name defaultable stocks and a riskless bond under regime-switching risk. Default events have an impact on the distress state of the surviving stocks in the portfolio. The aim of the insurer is to maximize the expected utility of the terminal wealth by selecting optimal investment and risk control strategies. We characterize the optimal trading strategy of defaultable stocks and risk control for the insurer. By developing a truncation technique, we analyze the existence and uniqueness of global (classical) solutions to the recursive HJB system. We prove the verification theorem based on the (classical) solutions of the recursive HJB system.


title: The Temporary Exchange Problem

abstract: We formalize an allocation model under ordinal preferences that is more general than the well-studied Shapley-Scarf housing market. In our model, the agents do not just care which house or resource they get but also care about who gets their own resource. This assumption is especially important when considering temporary exchanges in which each resource is eventually returned to the owner. We show that several positive axiomatic and computational results that hold for housing markets do not extend to the more general setting. We then identify natural restrictions on the preferences of agents for which several positive results do hold. One of our central results is a general class of algorithms that return any allocation that is individually rational and Pareto optimal with respect to the responsive set extension.


title: Magnitude Bounded Matrix Factorisation for Recommender Systems

abstract: Low rank matrix factorisation is often used in recommender systems as a way of extracting latent features. When dealing with large and sparse datasets, traditional recommendation algorithms face the problem of acquiring large, unrestrained, fluctuating values over predictions especially for users/items with very few corresponding observations. Although the problem has been somewhat solved by imposing bounding constraints over its objectives, and/or over all entries to be within a fixed range, in terms of gaining better recommendations, these approaches have two major shortcomings that we aim to mitigate in this work: one is they can only deal with one pair of fixed bounds for all entries, and the other one is they are very time-consuming when applied on large scale recommender systems. In this paper, we propose a novel algorithm named Magnitude Bounded Matrix Factorisation (MBMF), which allows different bounds for individual users/items and performs very fast on large scale datasets. The key idea of our algorithm is to construct a model by constraining the magnitudes of each individual user/item feature vector. We achieve this by converting from the Cartesian to Spherical coordinate system with radii set as the corresponding magnitudes, which allows the above constrained optimisation problem to become an unconstrained one. The Stochastic Gradient Descent (SGD) method is then applied to solve the unconstrained task efficiently. Experiments on synthetic and real datasets demonstrate that in most cases the proposed MBMF is superior over all existing algorithms in terms of accuracy and time complexity.


title: Extended finite automata and decision problems for matrix semigroups

abstract: We make a connection between the subgroup membership and identity problems for matrix groups and extended finite automata. We provide an alternative proof for the decidability of the subgroup membership problem for $ 2 \times 2 $ integer matrices. We show that the emptiness problem for extended finite automata over $ 4 \times 4 $ integer matrix semigroups is undecidable. We prove that the decidability of the universe problem for extended finite automata is a sufficient condition for the decidability of the subgroup membership and identity problems.


title: Boosting Combinatorial Problem Modeling with Machine Learning

abstract: In the past few years, the area of Machine Learning (ML) has witnessed tremendous advancements, becoming a pervasive technology in a wide range of applications. One area that can significantly benefit from the use of ML is Combinatorial Optimization. The three pillars of constraint satisfaction and optimization problem solving, i.e., modeling, search, and optimization, can exploit ML techniques to boost their accuracy, efficiency and effectiveness. In this survey we focus on the modeling component, whose effectiveness is crucial for solving the problem. The modeling activity has been traditionally shaped by optimization and domain experts, interacting to provide realistic results. Machine Learning techniques can tremendously ease the process, and exploit the available data to either create models or refine expert-designed ones. In this survey we cover approaches that have been recently proposed to enhance the modeling process by learning either single constraints, objective functions, or the whole model. We highlight common themes to multiple approaches and draw connections with related fields of research.


title: Syllabification by Phone Categorization

abstract: Syllables play an important role in speech synthesis, speech recognition, and spoken document retrieval. A novel, low cost, and language agnostic approach to dividing words into their corresponding syllables is presented. A hybrid genetic algorithm constructs a categorization of phones optimized for syllabification. This categorization is used on top of a hidden Markov model sequence classifier to find syllable boundaries. The technique shows promising preliminary results when trained and tested on English words.


title: Concept-Based Embeddings for Natural Language Processing

abstract: In this work, we focus on effectively leveraging and integrating information from concept-level as well as word-level via projecting concepts and words into a lower dimensional space while retaining most critical semantics. In a broad context of opinion understanding system, we investigate the use of the fused embedding for several core NLP tasks: named entity detection and classification, automatic speech recognition reranking, and targeted sentiment analysis.


title: Deep Clustering for Unsupervised Learning of Visual Features

abstract: Clustering is a class of unsupervised learning methods that has been extensively applied and studied in computer vision. Little work has been done to adapt it to the end-to-end training of visual features on large scale datasets. In this work, we present DeepCluster, a clustering method that jointly learns the parameters of a neural network and the cluster assignments of the resulting features. DeepCluster iteratively groups the features with a standard clustering algorithm, k-means, and uses the subsequent assignments as supervision to update the weights of the network. We apply DeepCluster to the unsupervised training of convolutional neural networks on large datasets like ImageNet and YFCC100M. The resulting model outperforms the current state of the art by a significant margin on all the standard benchmarks.


title: Probing primordial features with the primary CMB

abstract: CMB photons travel from the last scattering surface, when the primary CMB has been generated, along the surface of the light cone to us. During their travel, they are affected by many secondary effects such as the integrated Sachs-Wolfe effect and CMB lensing. These CMB secondary effects modify the CMB primary power spectrum adding degeneracies and decreasing the sensibility to primordial parameters. The possibility to reconstruct the primary CMB anisotropies will allow us to have a more direct observable to test the physics of the early universe. We propose to study the imprint of features in the primordial power spectrum with the primary CMB after the subtraction of the reconstructed ISW signal from the observed CMB temperature angular power spectrum. We consider the application to features models able to fit two of the large scales anomalies observed in the CMB temperature angular power spectrum: the deficit of power at $\ell \sim 2$ and at $\ell \sim 22$. This method allows to improve significantly the constraints on the features parameters up to $16\%$ for models predicting a suppression of power of the quadrupole and up to $27\%$ for models with features at $\ell \sim 22$, assuming instrumental sensitivity similar to the $Planck$ satellite (depending on the goodness of the ISW reconstruction). Furthermore, it gives the opportunity to understand if these anomalies are attributed to early- or late-time physics.


title: The first constraint from SDSS galaxy-galaxy weak lensing measurements on interacting dark energy models

abstract: We combine constraints from linear and nonlinear scales, for the first time, to study the interaction between dark matter and dark energy. We devise a novel N-body simulation pipeline for cosmological models beyond $\Lambda$CDM. This pipeline is fully self-consistent and opens a new window to study the nonlinear structure formation in general phenomenological interacting dark energy models. By comparing our simulation results with the SDSS galaxy-galaxy weak lensing measurements, we are able to constrain the strength of interaction between dark energy and dark matter. Compared with the previous studies using linear examinations, we point to plausible improvements on the constraints of interaction strength by using small scale information from weak lensing. This improvement is mostly due to the sensitivity of weak lensing measurements on nonlinear structure formation at low redshift. With this new pipeline, it is possible to look for smoking gun signatures of dark matter-dark energy interaction.


title: Improving the Performance of WLANs by Reducing Unnecessary Active Scans

abstract: We consider the problem of excessive and unnecessary active scans in heavily utilized WLANs during which low rate probe requests and responses are broadcast. These management frames severely impact the goodput. Our analysis of two production WLANs reveals that lesser number of non-overlapping channels in $2.4$ GHz makes it more prone to the effects of increased probe frames than $5$ GHz. We find that not only up to $90$% of probe responses carry redundant information but the probe traffic can be as high as $60$\% of the management traffic. Furthermore, active scanning severely impacts real-time applications at a client as it increases the latency by $91$ times. We present a detailed analysis of the impact of active scans on an individual client and the whole network. We discuss three ways to control the probe traffic in production WLANs -- access point configurations, network planning, and client modification. Our proposals for access point configuration are in line with current WLAN deployments, better network planning is device agnostic in nature, and client modification reduces the average number of probe requests per client by up to $50$% without hampering the ongoing WiFi connection.


title: Novel phases in twisted bilayer graphene at magic angles as a result of van Hove singularities and interactions

abstract: The discovery of different phases as a result of correlations, especially in low-dimensional materials, has been always an exciting and fundamental subject of research. Recent experiments on twisted bilayer graphene have revealed reentrant unconventional superconductivity as a function of doping as well as a Mott-like insulating phase when the two layers are twisted with respect to each other at certain "magic" angles for doping corresponding to two particles per moire unit cell. In this work we propose a microscopic model that takes into account interactions and the van Hove singularities in the density of states of the twisted bilayer graphene at doping corresponding to one particle ($\nu$ =1) per moir\'{e} unit cell and study how superconductivity emerges. We identify the possible symmetry of the order parameter as $s^{\pm}$, while if the inter-valley coupling is negligible the symmetry is $s^{++}$. In addition, we find and characterise the insulating region of the system, as a region with a uniform charge instability where there is coexistence of the metallic and insulating phases.


title: A Tight Upper Bound on Bit Error Rate of Joint OFDM and Multi-Carrier Index Keying

abstract: This letter investigates performance enhancement by the concept of multi-carrier index keying in orthogonal frequency division multiplexing (OFDM) systems. For the performance evaluation, a tight closed-form approximation of the bit error rate (BER) is derived introducing the expression for the number of bit errors occurring in both the index domain and the complex domain, in the presence of both imperfect and perfect detection of active multi-carrier indices. The accuracy of the derived BER results for various cases are validated using simulations, which can provide accuracy within 1 dB at favorable channels.


title: Energy response of X-rays under high flux conditions using a thin APD for the energy range of 6-33 keV

abstract: This paper reports on the demonstration of a high-rate energy measurement technique using a thin depletion layer silicon avalanche photodiode (Si-APD). A dedicated amplitude-to-time converter is developed to realize simultaneous energy and timing measurement in a high rate condition. The energy response of the system is systematically studied by using monochromatic X-ray beam with an incident energy ranging from 6 to 33 keV. The obtained energy spectra contain clear peaks and tail distributions. The peak fraction monotonously decreases as the incident photon energy increases. This phenomenon can be explained by considering the distribution of the energy deposit in silicon, which is investigated by using a Monte Carlo simulation.


title: Learning Probabilistic Logic Programs in Continuous Domains

abstract: The field of statistical relational learning aims at unifying logic and probability to reason and learn from data. Perhaps the most successful paradigm in the field is probabilistic logic programming: the enabling of stochastic primitives in logic programming, which is now increasingly seen to provide a declarative background to complex machine learning applications. While many systems offer inference capabilities, the more significant challenge is that of learning meaningful and interpretable symbolic representations from data. In that regard, inductive logic programming and related techniques have paved much of the way for the last few decades. Unfortunately, a major limitation of this exciting landscape is that much of the work is limited to finite-domain discrete probability distributions. Recently, a handful of systems have been extended to represent and perform inference with continuous distributions. The problem, of course, is that classical solutions for inference are either restricted to well-known parametric families (e.g., Gaussians) or resort to sampling strategies that provide correct answers only in the limit. When it comes to learning, moreover, inducing representations remains entirely open, other than "data-fitting" solutions that force-fit points to aforementioned parametric families. In this paper, we take the first steps towards inducing probabilistic logic programs for continuous and mixed discrete-continuous data, without being pigeon-holed to a fixed set of distribution families. Our key insight is to leverage techniques from piecewise polynomial function approximation theory, yielding a principled way to learn and compositionally construct density functions. We test the framework and discuss the learned representations.


title: IDSAC - IUCAA Digital Sampler Array Controller

abstract: IUCAA Digital Sampling Array Controller (IDSAC) is a generic CCD Controller which is flexible and powerful enough to control a wide variety of CCDs and CMOS detectors used for ground-based astronomy. It has a fully scalable architecture, which can control multiple CCDs and can be easily expanded. The controller has a modular backplane architecture consists of Single Board Controller Cards (SBCs) and can control a mosaic or independent of 5 CCDs. Key features of IDSAC contains usage of FPGA as a reconfigurable master controller, implementation of Digital CDS to achieve low noise and ability to process upto four CCD output at 1Mpixels/Sec/Channel with 16-bit resolution. The best feature of IDSAC is it uses the technique of Digital Correlated Double Sampling(DCDS). It is known that CCD video output is dominated by thermal KTC noise contributed from the summing well capacitor of the CCD output circuitry. To eliminate thermal KTC noise Correlated Double Sampling (CDS) is a very standard technique. CDS performed in Digital domain (DCDS) has several advantages over its analog counterpart, such as - less electronics, faster readout and easier post processing. It is also flexible with sampling rate and pixel throughput while maintaining the core circuit topology intact. The noise characterization of the IDSAC CDS signal chain has been performed by analytical modelling, software simulation and practical measurements. Various types of noise such as white, pink, power supply, bias etc. has been considered while creating a analytical noise model tool to predict noise of a controller system like IDSAC. Standard test bench softwares like Pspice and Multisim are used to simulate the noise performance while several tests are performed to measure the actual noise of IDSAC.The theoretical calculation matches very well with component level simulation as well as practical measurements within 10% accuracy.


title: Online Submodular Maximization: Beating 1/2 Made Simple

abstract: The Submodular Welfare Maximization problem (SWM) captures an important subclass of combinatorial auctions and has been studied extensively from both computational and economic perspectives. In particular, it has been studied in a natural online setting in which items arrive one-by-one and should be allocated irrevocably upon arrival. In this setting, it is well known that the greedy algorithm achieves a competitive ratio of 1/2, and recently Kapralov et al. (2013) showed that this ratio is optimal for the problem. Surprisingly, despite this impossibility result, Korula et al. (2015) were able to show that the same algorithm is 0.5052-competitive when the items arrive in a uniformly random order, but unfortunately, their proof is very long and involved. In this work, we present an (arguably) much simpler analysis that provides a slightly better guarantee of 0.5096-competitiveness for the greedy algorithm in the random-arrival model. Moreover, this analysis applies also to a generalization of online SWM in which the sets defining a (simple) partition matroid arrive online in a uniformly random order, and we would like to maximize a monotone submodular function subject to this matroid. Furthermore, for this more general problem, we prove an upper bound of 0.576 on the competitive ratio of the greedy algorithm, ruling out the possibility that the competitiveness of this natural algorithm matches the optimal offline approximation ratio of 1-1/e.


title: Cross-correlations between scalar perturbations and magnetic fields in bouncing universes

abstract: Bouncing scenarios offer an alternative to the inflationary paradigm for the generation of perturbations in the early universe. Recently, there has been a surge in interest in examining the issue of primordial magnetogenesis in the context of bouncing universes. As in the case of inflation, the conformal invariance of the electromagnetic action needs to be broken in bouncing scenarios in order to generate primordial magnetic fields which correspond to observed strengths today. The non-minimal coupling, which typically depends on a scalar field that possibly drives the homogeneous background, leads to a cross-correlation at the level of the three-point function between the perturbation in the scalar field and the magnetic fields. This has been studied in some detail in the context of inflation and, specifically, it has been established that the three-point function satisfies the so-called consistency relation in the squeezed limit. In this work, we study the cross-correlation between the magnetic fields and the perturbation in an auxiliary scalar field in a certain class of bouncing scenarios. We consider couplings that lead to scale invariant spectra of the magnetic field and evaluate the corresponding cross-correlation between the magnetic field and the perturbation in the scalar field. We find that, when compared to de Sitter inflation, the dimensionless non-Gaussianity parameter that characterizes the amplitude of the cross-correlations proves to be considerably larger in bouncing scenarios. We also show that the aforementioned consistency condition governing the cross-correlation is violated in the bouncing models. We discuss the implications of our results.


title: Proper Motions of Sunspots' Umbral Dots at High Temporal and Spatial Resolution

abstract: To deepen the analysis of the photometric properties of the umbra of a sunspot, we study proper motions of small features such as umbral dots (UDs) inside a single sunspot observed by the Solar Optical Telescope of Hinode close to the disk center. We consider horizontal flows with high precision and details to study the transient motion behavior of UDs in short time intervals. Blue continuum images were first deconvolved with the point-spread function, such that the stray light is precisely removed and the original resolution is improved. Several images were co-added to improve the signal-to-noise ratio, keeping a reasonable temporal resolution and checking that the results are reproducible. The Fourier local correlation tracking technique is applied to the new corrected time sequence of images, and horizontal velocity maps were obtained both for the whole umbra and for a high-resolution small region of the umbra to study the smallest details of the velocity fields. We used two different Gaussian tracking windows (0.8arcsec and 0.2arcsec), which reveals two types of horizontal motions for umbral features. First, a global inner penumbra and peripheral umbra inward motion directed to the central parts is revealed as an overall proper motion of bright peripheral fine structures. Second, motions matching small cells inside the darkest parts of the umbra with apparent sink and source areas are revealed, suggesting possible upflows and downflows appearing in different bright and dark locations without a definite answer regarding their brightness identification with a convective or a buoyant cell.


title: Deterministic (1/2 + {\epsilon})-Approximation for Submodular Maximization over a Matroid

abstract: We study the problem of maximizing a monotone submodular function subject to a matroid constraint and present a deterministic algorithm that achieves (1/2 + {\epsilon})-approximation for the problem. This algorithm is the first deterministic algorithm known to improve over the 1/2-approximation ratio of the classical greedy algorithm proved by Nemhauser, Wolsely and Fisher in 1978.


title: Operations that preserve integrability, and truncated Riesz spaces

abstract: For any real number $p\in [1,+\infty)$, we characterise the operations $\mathbb{R}^I \to \mathbb{R}$ that preserve $p$-integrability, i.e., the operations under which, for every measure $\mu$, the set $\mathcal{L}^p(\mu)$ is closed. We investigate the infinitary variety of algebras whose operations are exactly such functions. It turns out that this variety coincides with the category of Dedekind $\sigma$-complete truncated Riesz spaces, where truncation is meant in the sense of R. N. Ball. We also prove that $\mathbb{R}$ generates this variety. From this, we exhibit a concrete model of the free Dedekind $\sigma$-complete truncated Riesz spaces. Analogous results are obtained for operations that preserve $p$-integrability over finite measure spaces: the corresponding variety is shown to coincide with the much studied category of Dedekind $\sigma$-complete Riesz spaces with weak unit, $\mathbb{R}$ is proved to generate this variety, and a concrete model of the free Dedekind $\sigma$-complete Riesz spaces with weak unit is exhibited.


title: Towards general relativity through parametrized theories

abstract: Boundaries, GNH, and parametrized theories. It takes three to tango. This is the motto of my doctoral thesis and the common thread of it. The thesis is structured as follows: after some acknowledgments and a brief introduction, chapter one is devoted to establishing the mathematical background necessary for the rest of the thesis (with special emphasis in the space of embeddings and the Fock construction). Chapter two is based on our papers arXiv:1701.00735, arXiv:1611.09603, and arXiv:1501.05114. We study carefully a system consisting of a string with two masses attached to the ends and try to establish if we can identify degrees of freedom at the boundary both classically and quantically (spoiler alert: it is not possible). The next chapter is a brief introduction to the parametrized theories with the simple example of the parametrized classical mechanics. The 4th chapter deals with the parametrized electromagnetism with boundaries, a generalization of our paper arXiv:1511.00826. The following chapter focuses on the parametrized scalar field with boundaries (see arXiv:1507.05438). The 6th chapter deals with the parametrized Maxwell-Chern-Simons and Chern-Simons theories with boundaries. Chapter seven delves into the theory of general relativity using the GNH algorithm, showing that the Hamiltonian formulation (ADM) can be obtained in a more direct and simple way. The same study is performed over the unimodular gravity. In the last chapter we gather the conclusions and some hints about the future work. Finally, an appendix is included with some additional mathematical topics as well as explicit computations.


title: High precision nuclear mass predictions towards a hundred kilo-electron-volt accuracy

abstract: Mass is a fundamental property and an important fingerprint of atomic nucleus. It provides an extremely useful test ground for nuclear models and is crucial to understand energy generation in stars as well as the heavy elements synthesized in stellar explosions. Nuclear physicists have been attempting at developing a precise, reliable, and predictive nuclear model that is suitable for the whole nuclear chart, while this still remains a great challenge even in recent days. Here we employ the Fourier spectral analysis to examine the deviations of nuclear mass predictions to the experimental data and to present a novel way for accurate nuclear mass predictions. In this analysis, we map the mass deviations from the space of nucleon number to its conjugate space of frequency, and are able to pin down the main contributions to the model deficiencies. By using the radial basis function approach we can further isolate and quantify the sources. Taking a pedagogical mass model as an example, we examine explicitly the correlation between nuclear effective interactions and the distributions of mass deviations in the frequency domain. The method presented in this work, therefore, opens up a new way for improving the nuclear mass predictions towards a hundred kilo-electron-volt accuracy, which is argued to be the chaos-related limit for the nuclear mass predictions.


title: Modeling and Trade-off for Mobile Communication, Computing and Caching Networks

abstract: Computation task service delivery in a computing-enabled and caching-aided multi-user mobile edge computing (MEC) system is studied in this paper, where a MEC server can deliver the input or output datas of tasks to mobile devices over a wireless multicast channel. The computing-enabled and caching-aided mobile devices are able to store the input or output datas of some tasks, and also compute some tasks locally, reducing the wireless bandwidth consumption. The corresponding framework of this system is established, and under the latency constraint, we jointly optimize the caching and computing policy at mobile devices to minimize the required transmission bandwidth. The joint policy optimization problem is shown to be NP-hard, and based on equivalent transformation and exact penalization of the problem, a stationary point is obtained via concave convex procedure (CCCP). Moreover, in a symmetric scenario, gains offered by this approach are derived to analytically understand the influences of caching and computing resources at mobile devices, multicast transmission, the number of mobile devices, as well as the number of tasks on the transmission bandwidth. Our results indicate that exploiting the computing and caching resources at mobile devices can provide significant bandwidth savings.


title: Equality in Suita's conjecture and metrics of constant Gaussian curvature

abstract: Without using the $L^2$ extension theorem, we provide a new proof of the equality part in Suita's conjecture, which states that for any open Riemann surface admitting a Green's function, the Bergman kernel and the logarithmic capacity coincide at one point if and only if the surface is biholomorphic to a disc possibly less a relatively closed polar set. In comparison with Guan and Zhou's proof, our proof essentially depends on Maitani and Yamaguchi's variation formula for the Bergman kernel, and we explore the harmonicity in such variations. As applications, we characterize the above surface by the constant Gaussian curvature property of the Bergman kernel or metric, and also find the relations with disc quotients. Additionally, we obtain results on planar domains without the Bergman-completeness assumption.


title: The method of codifferential descent for convex and global piecewise affine optimization

abstract: The class of nonsmooth codifferentiable functions was introduced by professor V.F.~Demyanov in the late 1980s. He also proposed a method for minimizing these functions called the method of codifferential descent (MCD). However, until now almost no theoretical results on the performance of this method on particular classes of nonsmooth optimization problems were known. In the first part of the paper, we study the performance of the method of codifferential descent on a class of nonsmooth convex functions satisfying some regularity assumptions, which in the smooth case are reduced to the Lipschitz continuity of the gradient. We prove that in this case the MCD has the iteration complexity bound $\mathcal{O}(1 / \varepsilon)$. In the second part of the paper we obtain new global optimality conditions for piecewise affine functions in terms of codifferentials. With the use of these conditions we propose a modification of the MCD for minimizing piecewise affine functions (called the method of global codifferential descent) that does not use line search, and discards those "pieces" of the objective functions that are no longer useful for the optimization process. Then we prove that the MCD as well as its modification proposed in the article find a point of global minimum of a nonconvex piecewise affine function in a finite number of steps.


title: Carbonate-Bridged Dinuclear and Trinuclear Dysprosium(III) Single-Molecule Magnets

abstract: In 2016, we reported a single-ion magnet [Dy(bbpen)Br] with an energy barrier over 1000 K. Here a dimeric [Dy2(mu-CO3)(bbpen)2(H2O)].H2O.CH3OH (1) and a trimeric [Dy3(mu3-CO3)(bppen)3](CF3SO3).H2O (2) single-molecule magnets (SMMs) were obtained through replacing the Br- anion with the carbonate bridge. Their effective relaxation barriers at zero dc field are decrease to 51 K and 422 K, respectively, which are consist with their structural modifications.


title: A Survey on Expert Recommendation in Community Question Answering

abstract: Community question answering (CQA) represents the type of Web applications where people can exchange knowledge via asking and answering questions. One significant challenge of most real-world CQA systems is the lack of effective matching between questions and the potential good answerers, which adversely affects the efficient knowledge acquisition and circulation. On the one hand, a requester might experience many low-quality answers without receiving a quality response in a brief time, on the other hand, an answerer might face numerous new questions without being able to identify their questions of interest quickly. Under this situation, expert recommendation emerges as a promising technique to address the above issues. Instead of passively waiting for users to browse and find their questions of interest, an expert recommendation method raises the attention of users to the appropriate questions actively and promptly. The past few years have witnessed considerable efforts that address the expert recommendation problem from different perspectives. These methods all have their issues that need to be resolved before the advantages of expert recommendation can be fully embraced. In this survey, we first present an overview of the research efforts and state-of-the-art techniques for the expert recommendation in CQA. We next summarize and compare the existing methods concerning their advantages and shortcomings, followed by discussing the open issues and future research directions.


title: Can Conformal and Disformal Couplings Between Dark Sectors Explain the EDGES 21cm Anomaly?

abstract: The recently announced result by EDGES points an unexpected excess in the 21 cm global brightness temperature from cosmic dawn at $z\sim 17$, potentially indicating new phenomena beyond the $\Lambda$CDM model. A generic cosmological model which allows conformal and disformal couplings between dark matter and dark energy is employed to investigate the impact on the 21cm absorption signal and understand the EDGES anomaly. After exploring a wide range of parameter space for couplings, we find that the coupling effects can lead to a moderate change in the Hubble parameter while a negligible change in the spin temperature in the early Universe. Consequently, the decrease of the Hubble parameter from the mixed conformal and disformal couplings can reproduce the 21cm absorption approximately in consistent with the EDGES result at $z=17.5$. However, there is still tension in corresponding parameter space between EDGES and other cosmological observations for this model.


title: Simulating non-axisymmetric flows in disc galaxies

abstract: We present a two-step method to simulate and study non-circular motions in strongly barred galaxies. The first step is to constrain the initial parameters using a Bayesian analysis of each galaxy's azimuthally averaged rotation curve, the 3.6 $\rm \mu m$ surface brightness, and the gas surface density. The second step is to generate equilibrium models using the GalactICS code and evolve them via GADGET-2. The bar strengths and mock velocity maps of the resulting snapshots are compared to observations in order to determine the best representation of the galaxy. We test our method on the unbarred galaxy NGC 3621 and the barred galaxies NGC 1300 and NGC 1530. NGC 3621 provides a validation of our method of generating initial conditions. NGC 1530 has an intermediate bar orientation that allows for a comparison to DiskFit. Finally NGC 1300 has a bar oriented parallel to the galaxy's major axis, where other algorithms tend to fail. Our models for NGC 3621 and NGC 1530 are comparable to those obtained using commonly available algorithms. Moreover, we have produced one of the first mass distribution models for NGC 1300.


title: Maximizing Ergodic Throughput in Wireless Powered Communication Networks

abstract: This paper considers a single-antenna wirelesspowered communication network (WPCN) over a flat-fading channel. We show that, by using our probabilistic harvestand-transmit (PHAT) strategy, which requires the knowledge of instantaneous full channel state information (CSI) and fading probability distribution, the ergodic throughput of this system may be greatly increased relative to that achieved by the harvestthen-transmit (HTT) protocol. To do so, instead of dividing every frame to the uplink (UL) and downlink (DL), the channel is allocated to the UL wireless information transmission (WIT) and DL wireless power transfer (WPT) based on the estimated channel power gain. In other words, based on the fading probability distribution, we will derive some thresholds that determine the association of a frame to the DL WPT or UL WIT. More specifically, if the channel gain falls below or goes over these thresholds, the channel will be allocated to WPT or WIT. Simulation results verify the performance of our proposed scheme.


title: Analytical solutions of causal relativistic hydrodynamic equations for Bjorken and Gubser flows

abstract: We obtain general analytical solutions of third-order viscous hydrodynamic equations for Bjorken and Gubser flows in systems with vanishing bulk viscosity and chemical potential, and having a constant shear relaxation time. We also analytically characterize and determine the hydrodynamic attractors for such systems by studying the universal behavior of these solutions at both early and late times. Finally we study the properties of these hydrodynamic attractors for transport coefficients obtained from relativistic kinetic theory in the relaxation-time approximation.


title: Calculation of the four-spin cyclic exchange in cuprates

abstract: Starting from the three-band Hubbard model for the cuprates, we calculate analytically the four-spin cyclic exchange in the limit of infinite on-site Coulomb repulsion and zero O-O hopping $t_{pp}$ using two methods: i) perturbation theory in $t_{pd}/\Delta$, where $t_{pd}$ is the Cu-O hopping and $\Delta$ the Cu-O charge transfer energy and ii) exact solution of a Cu$_4$O$_4$ plaquette. The latter method coincides with the first to order eight in $t_{pd}$ and permits to extend the results to $t_{pd}/\Delta$ of order one. The results are relevant to recent experimental and theoretical research that relate the splitting of certain spin excitations with $\Delta$ and the superconducting critical temperature.


title: Entangling three qubits without ever touching

abstract: All identical particles are inherently correlated from the outset, regardless of how far apart their creation took place. In this paper, this fact is used for extraction of entanglement from independent particles unaffected by any interactions. Specifically, we are concerned with operational schemes for generation of all tripartite entangled states, essentially the GHZ state and the W state, which prevent the particles from touching one another over the entire evolution. The protocols discussed in the paper require only three particles in linear optical setups with equal efficiency for boson, fermion or anyon statistics. Within this framework indistinguishability of particles presents itself as a useful resource of entanglement accessible for practical applications.


title: $(2P_2,K_4)$-Free Graphs are 4-Colorable

abstract: In this paper, we show that every $(2P_2,K_4)$-free graph is 4-colorable. The bound is attained by the five-wheel and the complement of the seven-cycle. This answers an open question by Wagon \cite{Wa80} in the 1980s. Our result can also be viewed as a result in the study of the Vizing bound for graph classes. A major open problem in the study of computational complexity of graph coloring is whether coloring can be solved in polynomial time for $(4P_1,C_4)$-free graphs. Lozin and Malyshev \cite{LM17} conjecture that the answer is yes. As an application of our main result, we provide the first positive evidence to the conjecture by giving a 2-approximation algorithm for coloring $(4P_1,C_4)$-free graphs.


title: Diffractive dijet production: breakdown of factorization

abstract: We analyse the origin of dramatic breakdown of diffractive factorisation, observed in single-diffractive (SD) dijet production in hadronic collisions. One of the sources is the application of the results of measurements of the diagonal diffractive DIS to the off-diagonal hadronic diffractive process. The suppression caused by a possibility of inelastic interaction with the spectator partons is calculated at the amplitude level, differently from the usual probabilistic description. It turns out, however, that interaction with the spectator partons not only suppresses the SD cross section, but also gives rise to the main mechanism of SD dijet production, which is another important source of factorization failure. Our parameter-free calculations of SD-to-inclusive cross section ratio, performed in the dipole representation, agrees with the corresponding CDF Tevatron (Run II) data at $\sqrt{s}=1.96$ TeV in the relevant kinematic regions. The energy and hard scale dependences demonstrate a trend, opposite to the factorisation-based expectations, similarly to the effect observed earlier in diffractive Abelian radiation.


title: Symmetric tensor categories in characteristic 2

abstract: We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category $\mathcal{C}_1$ described by Venkatesh and the category $\mathcal{C}_2$ defined by Ostrik. The Grothendieck rings of the categories $\mathcal{C}_{2n}$ and $\mathcal{C}_{2n+1}$ are both isomorphic to the ring of real cyclotomic integers defined by a primitive $2^{n+2}$-th root of unity, $\mathcal{O}_n=\mathbb Z[2\cos(\pi/2^{n+1})]$.


title: Convergence of the Quantile Admission Process with Veto Power

abstract: The quantile admission process with veto power is a stochastic processes suggested by Alon, Feldman, Mansour, Oren and Tennenholtz as a model for the evolution of an exclusive social group. The model itself consists of a growing multiset of real numbers, representing the opinions of the members of the club. On each round two new candidates, holding i.i.d. $\mu$-distributed opinions, apply for admission to the club. The one whose opinion is minimal is then admitted if the percentage of current members closer in their opinion to his is at least $r$. Otherwise neither of the candidates is admitted. We show that for any $\mu$ and $r$, the empirical distribution of opinions in the club converges to a limit distribution. We further analyse this limit, show that it may be non-deterministic and provide conditions under which it is deterministic. The results rely on a recent work of the authors relating tail probabilities of mean and maximum of any pair of unbounded i.i.d. random variables, and on a coupling of the evolution of the empirical $r$-quantile of the club with a random walk in a changing environment.


title: Theoretical prediction of the homogeneous ice nucleation rate: disentangling thermodynamics and kinetics

abstract: Estimating the homogeneous ice nucleation rate from undercooled liquid water is at the same time crucial for understanding many important physical phenomena and technological applications, and challenging for both experiments and theory. From a theoretical point of view, difficulties arise due to the long time scales required, as well as the numerous nucleation pathways involved to form ice nuclei with different stacking disorders. We computed the homogeneous ice nucleation rate at a physically relevant undercooling for a single-site water model, taking into account the diffuse nature of ice-water interfaces, stacking disorders in ice nuclei, and the addition rate of particles to the critical nucleus.We disentangled and investigated the relative importance of all the terms, including interfacial free energy, entropic contributions and the kinetic prefactor, that contribute to the overall nucleation rate.There has been a long-standing discrepancy for the predicted homogeneous ice nucleation rates, and our estimate is faster by 9 orders of magnitude compared with previous literature values. Breaking down the problem into segments and considering each term carefully can help us understand where the discrepancy may come from and how to systematically improve the existing computational methods.


title: A Fourier continuation framework for high-order approximations

abstract: It is well known that approximation of functions on $[0,1]$ whose periodic extension is not continuous fail to converge uniformly due to rapid Gibbs oscillations near the boundary. Among several approaches that have been proposed toward the resolution of Gibbs phenomenon in recent years, a Fourier continuation (FC) based approximation scheme has been suggested by Bruno and collaborators in the context of certain PDE solvers where approximation grids used are equispaced. While the practical efficacy of FC based schemes in obtaining a high-order numerical solution of PDEs is well known, theoretical convergence analyses largely remain unavailable. The primary objective of this paper is to take a step in this direction where we analyze the convergence rates of a Fourier continuation framework for approximations based on discrete functional data coming from equispaced grids. In this context, we explore a certain two-point Hermite interpolation strategy for constructing Fourier continuations that, not only simplifies the implementation of such approximations but also makes possible a rigorous analysis of its numerical properties. In particular, we show that the approximations converge with order $r+1$ for functions coming from a subspace of $C^{r,1}([0,1])$, the space of $r$-times continuously differentiable function whose $r$th derivative is Lipschitz continuous. We also demonstrate that theoretical rates are indeed achieved in practice, through a variety of numerical experiments.


title: On the Fundamental Limits of MIMO Massive Multiple Access Channels

abstract: In this paper, we study the multiple-antenna wireless communication networks, where a large number of devices simultaneously communicate with an access point. The capacity region of multiple-input multiple-output massive multiple access channels (MIMO mMAC) is investigated. While joint typicality decoding is utilized to establish the achievability of capacity region for conventional MAC with fixed number of users, the technique is not directly applicable for MIMO mMAC. Instead, an information-theoretic approach based on Gallager's error exponent analysis is exploited to characterize the \textcolor[rgb]{0,0,0}{finite dimension region} of MIMO mMAC. Theoretical results reveal that the finite dimension region of MIMO mMAC is dominated by sum rate constraint only, and the individual user rate is determined by a specific factor that corresponds to the allocation of sum rate. The rate in conventional MAC is not achievable with massive multiple access, which is due to the fact that successive interference cancellation cannot guarantee an arbitrary small error decoding probability for MIMO mMAC. The results further imply that, asymptotically, the individual user rate is independent of the number of transmit antennas, and channel hardening makes the individual user rate close to that when only statistic knowledge of channel is available at receiver. The finite dimension region of MIMO mMAC is a generalization of the symmetric rate in Chen \emph{et al.} (2017).


title: A new lower bound for classic online bin packing

abstract: We improve the lower bound on the asymptotic competitive ratio of any online algorithm for bin packing to above 1.54278. We demonstrate for the first time the advantage of branching and the applicability of full adaptivity in the design of lower bounds for the classic online bin packing problem. We apply a new method for weight based analysis, which is usually applied only in proofs of upper bounds. The values of previous lower bounds were approximately 1.5401 and 1.5403.


title: Briefly on Bottom-up

abstract: These short notes are meant as a quick reference for the construction of SLR(1), of LR(1), and of LALR(1) parsing tables.


title: Lattice computation of the electromagnetic contributions to kaon and pion masses

abstract: We present a lattice calculation of the electromagnetic (EM) effects on the masses of light pseudoscalar mesons. The simulations employ 2+1 dynamical flavors of asqtad QCD quarks, and quenched photons. Lattice spacings vary from $\approx 0.12$ fm to $\approx 0.045$ fm. We compute the quantity $\epsilon$, which parameterizes the corrections to Dashen's theorem for the $K^+$-$K^0$ EM mass splitting, as well as $\epsilon_{K^0}$, which parameterizes the EM contribution to the mass of the $K^0$ itself. An extension of the nonperturbative EM renormalization scheme introduced by the BMW group is used in separating EM effects from isospin-violating quark mass effects. We correct for leading finite-volume effects in our realization of lattice electrodynamics in chiral perturbation theory, and remaining finite-volume errors are relatively small. While electroquenched effects are under control for $\epsilon$, they are estimated only qualitatively for $\epsilon_{K^0}$, and constitute one of the largest sources of uncertainty for that quantity. We find $\epsilon = 0.78(1)_{\rm stat}({}^{+\phantom{1}8}_{-11})_{\rm syst}$ and $\epsilon_{K^0}=0.035(3)_{\rm stat}(20)_{\rm syst}$. We then use these results on 2+1+1 flavor pure QCD HISQ ensembles and find $m_u/m_d = 0.4529(48)_{\rm stat}( {}_{-\phantom{1}67}^{+150})_{\rm syst}$.


title: Confronting hydrodynamic predictions with Xe-Xe data

abstract: Comparing collision systems of different size, at near the same collision energy, offers us the opportunity to probe the scaling behavior and therefore the nature of the system itself. Recently, we made predictions for Xe-Xe collisions at 5.44 TeV using viscous hydrodynamic simulations, noting that the scaling from the larger Pb-Pb system is rather generic, and arguing that robust predictions can be made that do not depend on details of the model. Here we confront our predictions with measurements that were subsequently made in a short Xe-Xe run at the LHC by the ALICE, ATLAS, and CMS collaborations. We find that the predictions are largely confirmed. Of particular interest is a strong indication of a non-spherical shape for the $^{129}$Xe nucleus.


title: On finite polynomial mappings

abstract: Let $X\subset \mathbb{C}^n$ be a smooth irreducible affine variety of dimension $k$ and let $F: X\to \mathbb{C}^m$ be a polynomial mapping. We prove that if $m\ge k$, then there is a Zariski open dense subset $U$ in the space of linear mappings ${\mathcal L}( \mathbb{C}^n, \mathbb{C}^m)$ such that for every $L\in U$ the mapping $F+L$ is a finite mapping. Moreover, we can choose $U$ in this way, that all mappings $F+L; L\in U$ are topologically equivalent.


title: All-dielectric free-electron-driven holographic light sources

abstract: It has recently been shown that holographically nanostructured surfaces can be employed to control the wavefront of (predominantly plasmonic) optical-frequency light emission generated by the injection of medium-energy electrons into a gold surface. Here we apply the concept to manipulation of the spatial distribution of transition radiation emission from high-refractive-index dielectric/semiconductor target materials, finding that concomitant incoherent luminescent emission at the same wavelength is unperturbed by holographic surface-relief structures, and thereby deriving a means of discriminating between the two emission components.


title: DeepInf: Social Influence Prediction with Deep Learning

abstract: Social and information networking activities such as on Facebook, Twitter, WeChat, and Weibo have become an indispensable part of our everyday life, where we can easily access friends' behaviors and are in turn influenced by them. Consequently, an effective social influence prediction for each user is critical for a variety of applications such as online recommendation and advertising. Conventional social influence prediction approaches typically design various hand-crafted rules to extract user- and network-specific features. However, their effectiveness heavily relies on the knowledge of domain experts. As a result, it is usually difficult to generalize them into different domains. Inspired by the recent success of deep neural networks in a wide range of computing applications, we design an end-to-end framework, DeepInf, to learn users' latent feature representation for predicting social influence. In general, DeepInf takes a user's local network as the input to a graph neural network for learning her latent social representation. We design strategies to incorporate both network structures and user-specific features into convolutional neural and attention networks. Extensive experiments on Open Academic Graph, Twitter, Weibo, and Digg, representing different types of social and information networks, demonstrate that the proposed end-to-end model, DeepInf, significantly outperforms traditional feature engineering-based approaches, suggesting the effectiveness of representation learning for social applications.


title: Spatio-Temporal Structured Sparse Regression with Hierarchical Gaussian Process Priors

abstract: This paper introduces a new sparse spatio-temporal structured Gaussian process regression framework for online and offline Bayesian inference. This is the first framework that gives a time-evolving representation of the interdependencies between the components of the sparse signal of interest. A hierarchical Gaussian process describes such structure and the interdependencies are represented via the covariance matrices of the prior distributions. The inference is based on the expectation propagation method and the theoretical derivation of the posterior distribution is provided in the paper. The inference framework is thoroughly evaluated over synthetic, real video and electroencephalography (EEG) data where the spatio-temporal evolving patterns need to be reconstructed with high accuracy. It is shown that it achieves 15% improvement of the F-measure compared with the alternating direction method of multipliers, spatio-temporal sparse Bayesian learning method and one-level Gaussian process model. Additionally, the required memory for the proposed algorithm is less than in the one-level Gaussian process model. This structured sparse regression framework is of broad applicability to source localisation and object detection problems with sparse signals.


title: Improvement of Thermoelectric properties of Lanthanum cobaltate by Sr and Mn co-substitution

abstract: We report thermoelectric (TE) properties of Sr and Mn co-substituted LaCoO3 system from room temperature to 700 K. Sr-substitutions at La and Mn at Co site in LaCoO3 improves the electrical conductivity ({\sigma}). Thermal conductivity (\k{appa}) of all the samples increases with the increase in temperature but decreases with the substitution in LaCoO3. An estimation of the electronic thermal conductivity (\k{appa}e) suggests a dominant phonon contribution to thermal conductivity in this system. A maximum value of the figure of merit is 0.14 at 480 K for La0.95Sr0.05Co0.95Mn0.05O3


title: Thermoelectric Properties of (1-x)LaCoO$_{3.x}$La$_{0.7}$Sr$_{0.3}$MnO$_3$ Composite

abstract: We report the thermoelectric (TE) properties of (1-x)LaCoO3.xLa0.7Sr0.3MnO3 (0 < x < 0.10) composite in a temperature range 320-800 K. Addition of La0.7Sr0.3MnO3 to LaCoO3 in small amount (5 weight %) improves the overall Seebeck coefficient ({\alpha}) at higher temperatures. The electrical conductivity, however, decreases due to a decrease in carrier concentration of the composite. The decrease in electrical conductivity of the composite at high temperature may be attributed to the insulating nature of the LSMO above room temperature. Thermal conductivity (\k{appa}) of all the samples increases with an increase in the temperature but decreases with increasing LSMO content. We also report the local variation of the Seebeck coefficient across the composite samples measured using a precision Seebeck measurement system. A maximum value of 0.09 for the figure of merit (ZT) is obtained for 0.95LaCoO3.0.05La0.7Sr0.3MnO3 at 620 K which is significantly higher than the ZT of either of LaCoO3 or La0.7Sr0.3MnO3 at 620 K. This suggests the potential for enhancement of operating temperatures of hitherto well known low-temperature thermoelectric materials through suitable compositing approach.


title: K-matrix formulation of two-particle scattering in a wave guide in the presence of one-dimensional spin-orbit coupling

abstract: The creation of artificial gauge fields in neutral ultracold atom systems has opened the possibility to study the effects of spin-orbit coupling terms in clean environments. This work considers the multi-channel scattering properties of two atoms confined by a wave guide in the presence of spin-orbit coupling terms within a K-matrix scattering framework. The tunability of resonances, induced by the interplay of the external wave guide geometry, the interactions, and the spin-orbit coupling terms, is demonstrated. Our results for the K-matrix elements as well as partial and total reflection coefficients for two identical fermions interacting through a finite-range interaction potential in the singlet channel only are compared with those obtained for a strictly one-dimensional effective low- energy Hamiltonian, which uses the effective coupling constant derived in Zhang et al. [Scientific Reports 4, 1 (2014)] and Zhang et al. [Phys. Rev. A 88, 053605 (2013)] as input. In the regime where the effective Hamiltonian is applicable, good agreement is obtained, provided the energy- dependence of the coupling constant is accounted for. Our approach naturally describes the energy regime in which the bands associated with excited transverse modes lie below a subset of the bands associated with the lowest transverse modes. The threshold behavior is discussed and scattering observables are linked to bound state properties.


title: Directed flow of quarks from the RHIC Beam Energy Scan measured by STAR

abstract: Directed flow ($v_1$) is a good probe of the early-stage dynamics of collision systems, and the $v_1$ slope at midrapidity ($dv_1/dy|_{y=0}$) is sensitive to the system's equation of state. STAR has published $v_1(y)$ measurements for ten particle species ($\pi^\pm$, $p$, $\bar{p}$, $\Lambda$, $\bar{\Lambda}$, $\phi$, $K^\pm$ and $K^0_{S}$) in Au+Au collisions at eight beam energies from $\sqrt{s_{NN}} = 7.7$ GeV to 200 GeV. In this study, we employ a simple coalescence idea to decompose $v_1$ of hadrons into $v_1$ of constituent quarks. The $dv_1/dy$ values of $\bar{p}$, $K^-$ and $\bar{\Lambda}$ are used to test the coalescence sum rule for produced quarks. Data involving produced quarks support the coalescence picture at $\sqrt{s_{NN}} = 11.5$ GeV to 200 GeV, and a sharp deviation from this picture is observed at 7.7 GeV. The $dv_1/dy$ of transported quarks is studied via net particles (net $p$ and net $\Lambda$). In these proceedings, we further extract the $v_1$ slopes of produced and transported quarks, assuming that the coalescence sum rule is valid.


title: SHARP - V. Modelling gravitationally-lensed radio arcs imaged with global VLBI observations

abstract: We present milliarcsecond (mas) angular resolution observations of the gravitationally lensed radio source MG J0751+2716 (at z=3.2) obtained with global Very Long Baseline Interferometry (VLBI) at 1.65 GHz. The background object is highly resolved in the tangential and radial directions, showing evidence of both compact and extended structure across several gravitational arcs that are 200 to 600~mas in size. By identifying compact sub-components in the multiple images, we constrain the mass distribution of the foreground z=0.35 gravitational lens using analytic models for the main deflector [power-law elliptical mass model; $\rho(r) \propto r^{-\gamma}$, where $\gamma=2$ corresponds to isothermal] and for the members of the galaxy group. Moreover, our mass models with and without the group find an inner mass-density slope steeper than isothermal for the main lensing galaxy, with $\gamma_1 = 2.08 \pm 0.02$ and $\gamma_2 = 2.16 \pm 0.02$ at the 4.2$\sigma$ level and 6.8$\sigma$ level, respectively, at the Einstein radius ($b_1 = 0.4025 \pm 0.0008$ and $b_2 = 0.307 \pm 0.002$ arcsec, respectively). We find randomly distributed image position residuals of about 3 mas, which are much larger that the measurement errors ($40$ $\mu$as on average). This suggests that at the mas level, the assumption of a smooth mass distribution fails, requiring additional structure in the model. However, given the environment of the lensing galaxy, it is not clear whether this extra mass is in the form of sub-haloes within the lens or along the line of sight, or from a more complex halo for the galaxy group.


title: Contextuality in spin-orbit laser modes

abstract: We experimentally observed the violation of Kujula-Dzhafarov noncontextuality inequalities by non-separable spin-orbit laser modes. Qubits are encoded on polarization and transverse modes of an intense laser beam. A spin-orbit non-separable mode was produced by means of a radial polarization converter (S-plate). The results show that contextuality can be investigated by using spin-orbit modes in a simple way, corroborating recent works stating that such system can emulate single-photon experiments. Additionally, an improvement in the non-separable mode preparation allowed us to observe a greater violation of the Clauser-Horne-Shimony-Holt inequality for such system. The results are in very good agreement with the theoretical predictions of quantum mechanics.


title: Adjoint shadowing directions in hyperbolic systems for sensitivity analysis

abstract: For hyperbolic diffeomorphisms, we define adjoint shadowing directions as a bounded inhomogeneous adjoint solution whose initial condition has zero component in the unstable adjoint direction. For hyperbolic flows, we define adjoint shadowing directions similarly, with the additional requirement that the average of its inner-product with the trajectory direction is zero. In both cases, we show unique existence of adjoint shadowing directions, and how they can be used for adjoint sensitivity analysis. Our work set a theoretical foundation for efficient adjoint sensitivity methods for long-time-averaged objectives such as NILSAS.


title: Optomechanical Kerker effect

abstract: Tunable directional scattering is of paramount importance for operation of antennas, routing of light, and design of topologically protected optical states. For visible light scattered on a nanoparticle the directionality could be provided by the Kerker effect, exploiting the interference of electric and magnetic dipole emission patterns. However, magnetic optical resonances in small sub-100-nm particles are relativistically weak. Here, we predict inelastic scattering with the unexpectedly strong tunable directivity up to 5.25 driven by a trembling of small particle without any magnetic resonance. The proposed optomechanical Kerker effect originates from the vibration-induced multipole conversion. We also put forward an optomechanical spin Hall effect, the inelastic polarization-dependent directional scattering. Our results uncover an intrinsically multipolar nature of the interaction between light and mechanical motion. They apply to a variety of systems from cold atoms to two-dimensional materials to superconducting qubits and can be instructive to engineer chiral optomechanical coupling.


title: A unifying theory of exactness of linear penalty functions II: parametric penalty functions

abstract: In this article we develop a general theory of exact parametric penalty functions for constrained optimization problems. The main advantage of the method of parametric penalty functions is the fact that a parametric penalty function can be both smooth and exact unlike the standard (i.e. non-parametric) exact penalty functions that are always nonsmooth. We obtain several necessary and/or sufficient conditions for the exactness of parametric penalty functions, and for the zero duality gap property to hold true for these functions. We also prove some convergence results for the method of parametric penalty functions, and derive necessary and sufficient conditions for a parametric penalty function to not have any stationary points outside the set of feasible points of the constrained optimization problem under consideration. In the second part of the paper, we apply the general theory of exact parametric penalty functions to a class of parametric penalty functions introduced by Huyer and Neumaier, and to smoothing approximations of nonsmooth exact penalty functions. The general approach adopted in this article allowed us to unify and significantly sharpen many existing results on parametric penalty functions.


title: Understanding the Twitter Usage of Humanities and Social Sciences Academic Journals

abstract: Scholarly communication has the scope to transcend the limitations of the physical world through social media extended coverage and shortened information paths. Accordingly, publishers have created profiles for their journals in Twitter to promote their publications and to initiate discussions with public. This paper investigates the Twitter presence of humanities and social sciences (HSS) journal titles obtained from mainstream citation indices, by analysing the interaction and communication patterns. This study utilizes webometric data collection, descriptive analysis, and social network analysis. Findings indicate that the presence of HSS journals in Twitter across disciplines is not yet substantial. Sharing of general websites appears to be the key activity performed by HSS journals in Twitter. Among them, web content from news portals and magazines are highly disseminated. Sharing of research articles and retweeting was not majorly observed. Inter-journal communication is apparent within the same citation index, but it is very minimal with journals from the other index. However, there seems to be an effort to broaden communication beyond the research community, reaching out to connect with the public.


title: Efficient quantum algorithms for $GHZ$ and $W$ states, and implementation on the IBM quantum computer

abstract: We propose efficient algorithms with logarithmic step complexities for the generation of entangled $GHZ_N$ and $W_N$ states useful for quantum networks, and we demonstrate an implementation on the IBM quantum computer up to $N=16$. Improved quality is then investigated using full quantum tomography for low-$N$ GHZ and W states. This is completed by parity oscillations and histogram distance for large $N$ GHZ and W states respectively. We are capable to robustly build states with about twice the number of quantum bits which were previously achieved. Finally we attempt quantum error correction on GHZ using recent schemes proposed in the literature, but with the present amount of decoherence they prove detrimental.


title: Burkholder-Davis-Gundy inequalities in UMD Banach spaces

abstract: In this paper we prove Burkholder-Davis-Gundy inequalities for a general martingale $M$ with values in a UMD Banach space $X$. Assuming that $M_0=0$, we show that the following two-sided inequality holds for all $1\leq p<\infty$: \begin{align}\label{eq:main}\tag{{$\star$}} \mathbb E \sup_{0\leq s\leq t} \|M_s\|^p \eqsim_{p, X} \mathbb E \gamma([\![M]\!]_t)^p ,\;\;\; t\geq 0. \end{align} Here $ \gamma([\![M]\!]_t) $ is the $L^2$-norm of the unique Gaussian measure on $X$ having $[\![M]\!]_t(x^*,y^*):= [\langle M,x^*\rangle, \langle M,y^*\rangle]_t$ as its covariance bilinear form. This extends to general UMD spaces a recent result by Veraar and the author, where a pointwise version of \eqref{eq:main} was proved for UMD Banach functions spaces $X$. We show that for continuous martingales, \eqref{eq:main} holds for all $0<p<\infty$, and that for purely discontinuous martingales the right-hand side of \eqref{eq:main} can be expressed more explicitly in terms of the jumps of $M$. For martingales with independent increments, \eqref{eq:main} is shown to hold more generally in reflexive Banach spaces $X$ with finite cotype. In the converse direction, we show that the validity of \eqref{eq:main} for arbitrary martingales implies the UMD property for $X$. As an application we prove various It\^o isomorphisms for vector-valued stochastic integrals with respect to general martingales, which extends earlier results by van Neerven, Veraar, and Weis for vector-valued stochastic integrals with respect to a Brownian motion. We also provide It\^o isomorphisms for vector-valued stochastic integrals with respect to compensated Poisson and general random measures.


title: WordNet-Based Information Retrieval Using Common Hypernyms and Combined Features

abstract: Text search based on lexical matching of keywords is not satisfactory due to polysemous and synonymous words. Semantic search that exploits word meanings, in general, improves search performance. In this paper, we survey WordNet-based information retrieval systems, which employ a word sense disambiguation method to process queries and documents. The problem is that in many cases a word has more than one possible direct sense, and picking only one of them may give a wrong sense for the word. Moreover, the previous systems use only word forms to represent word senses and their hypernyms. We propose a novel approach that uses the most specific common hypernym of the remaining undisambiguated multi-senses of a word, as well as combined WordNet features to represent word meanings. Experiments on a benchmark dataset show that, in terms of the MAP measure, our search engine is 17.7% better than the lexical search, and at least 9.4% better than all surveyed search systems using WordNet. Keywords Ontology, word sense disambiguation, semantic annotation, semantic search.


title: Fluctuation Theorems for Continuous Quantum Measurement and Absolute Irreversibility

abstract: Fluctuation theorems are relations constraining the out-of-equilibrium fluctuations of thermodynamic quantities like the entropy production that were initially introduced for classical or quantum systems in contact with a thermal bath. Here we show, in the absence of thermal bath, the dynamics of continuously measured quantum systems can also be described by a fluctuation theorem, expressed in terms of a recently introduced arrow of time measure. This theorem captures the emergence of irreversible behavior from microscopic reversibility in continuous quantum measurements. From this relation, we demonstrate that measurement-induced wave-function collapse exhibits absolute irreversibility, such that Jarzynski and Crooks-like equalities are violated. We apply our results to different continuous measurement schemes on a qubit: dispersive measurement, homodyne and heterodyne detection of a qubit's fluorescence.


title: Semantic Search by Latent Ontological Features

abstract: Both named entities and keywords are important in defining the content of a text in which they occur. In particular, people often use named entities in information search. However, named entities have ontological features, namely, their aliases, classes, and identifiers, which are hidden from their textual appearance. We propose ontology-based extensions of the traditional Vector Space Model that explore different combinations of those latent ontological features with keywords for text retrieval. Our experiments on benchmark datasets show better search quality of the proposed models as compared to the purely keyword-based model, and their advantages for both text retrieval and representation of documents and queries.


title: Analytic properties of bivariate representation and conjugacy class zeta functions of finitely generated nilpotent groups

abstract: Let $\mathbf{G}$ be a unipotent group scheme defined in terms of a nilpotent Lie lattice over the ring $\mathcal{O}$ of integers of a number field. We consider bivariate zeta functions of groups of the form $\mathbf{G}(\mathcal{O})$ encoding, respectively, the numbers of isomorphism classes of irreducible complex representations of finite dimensions and the numbers of conjugacy classes of congruence quotients of the associated groups. We show that the domains of convergence and meromorphic continuation of these zeta functions of groups $\mathbf{G}(\mathcal{O})$ are independent of the number field $\mathcal{O}$ considered, up to finitely many local factors.


title: Discovering Latent Concepts and Exploiting Ontological Features for Semantic Text Search

abstract: Named entities and WordNet words are important in defining the content of a text in which they occur. Named entities have ontological features, namely, their aliases, classes, and identifiers. WordNet words also have ontological features, namely, their synonyms, hypernyms, hyponyms, and senses. Those features of concepts may be hidden from their textual appearance. Besides, there are related concepts that do not appear in a query, but can bring out the meaning of the query if they are added. The traditional constrained spreading activation algorithms use all relations of a node in the network that will add unsuitable information into the query. Meanwhile, we only use relations represented in the query. We propose an ontology-based generalized Vector Space Model to semantic text search. It discovers relevant latent concepts in a query by relation constrained spreading activation. Besides, to represent a word having more than one possible direct sense, it combines the most specific common hypernym of the remaining undisambiguated multi-senses with the form of the word. Experiments on a benchmark dataset in terms of the MAP measure for the retrieval performance show that our model is 41.9% and 29.3% better than the purely keyword-based model and the traditional constrained spreading activation model, respectively.


title: Ontology-Based Query Expansion with Latently Related Named Entities for Semantic Text Search

abstract: Traditional information retrieval systems represent documents and queries by keyword sets. However, the content of a document or a query is mainly defined by both keywords and named entities occurring in it. Named entities have ontological features, namely, their aliases, classes, and identifiers, which are hidden from their textual appearance. Besides, the meaning of a query may imply latent named entities that are related to the apparent ones in the query. We propose an ontology-based generalized vector space model to semantic text search. It exploits ontological features of named entities and their latently related ones to reveal the semantics of documents and queries. We also propose a framework to combine different ontologies to take their complementary advantages for semantic annotation and searching. Experiments on a benchmark dataset show better search quality of our model to other ones.


title: The connecting solution of the Painlev\'e phase transition model

abstract: The second Painlev\'e O.D.E. $y''-xy-2y^3=0$, $x\in \mathbb{R},$ is known to play an important role in the theory of integrable systems, random matrices, Bose-Einstein condensates and other problems. The generalized second Painlev\'e equation $\Delta y -x_1 y - 2 y^3=0$, $(x_1,x_2)\in \mathbb{R}^2$, is obtained by multiplying by $-x_1$ the linear term $u$ of the Allen-Cahn equation $\Delta u =u^3-u$. It involves a non autonomous potential $H(x_1,y)$ which is bistable for every fixed $x_1<0$, and thus describes as the Allen-Cahn equation a phase transition model. The scope of this paper is to construct a solution $y$ connecting along the vertical direction $x_2$, the two branches of minima of $H$ parametrized by $x_1$. This solution plays a similar role that the heteroclinic orbit for the Allen-Cahn equation. It is the the first to our knowledge solution of the Painlev\'e P.D.E. both relevant from the applications point of view (liquid crystals), and mathematically interesting.


title: The Trailer of Blockchain Governance Game

abstract: This paper deals with the design of the secure blockchain network framework to prevent damages from an attacker. The decentralized network design called the Blockchain Governance Game is a new hybrid theoretical model and it provides the stochastic game framework to find best strategies towards preparation for preventing a network malfunction by an attacker. Analytically tractable results are obtained by using the fluctuation theory and the mixed strategy game theory. These results enable to predict the moment for operations and deliver the optimal portion of backup nodes to protect the blockchain network. This research helps for whom considers the initial coin offering or launching new blockchain based services with enhancing the security features.


title: Aligning Technical Debt Prioritization with Business Objectives: A Multiple-Case Study

abstract: Technical debt (TD) is a metaphor to describe the trade-off between short-term workarounds and long-term goals in software development. Despite being widely used to explain technical issues in business terms, industry and academia still lack a proper way to manage technical debt while explicitly considering business priorities. In this paper, we report on a multiple-case study of how two big software development companies handle technical debt items, and we show how taking the business perspective into account can improve the decision making for the prioritization of technical debt. We also propose a first step toward an approach that uses business process management (BPM) to manage technical debt. We interviewed a set of IT business stakeholders, and we collected and analyzed different sets of technical debt items, comparing how these items would be prioritized using a purely technical versus a business-oriented approach. We found that the use of business process management to support technical debt management makes the technical debt prioritization decision process more aligned with business expectations. We also found evidence that the business process management approach can help technical debt management achieve business objectives.


title: Non-commutative generalization of integrable quadratic ODE systems

abstract: We find all homogeneous quadratic systems of ODEs with two dependent variables that have polynomial first integrals and satisfy the Kowalevski-Lyapunov test. Such systems have infinitely many polynomial infinitesimal symmetries. We describe all possible non-commutative generalizations of these systems and their symmetries. As a result, new integrable quadratic homogeneous systems of ODEs with two non-commutative variables are constructed. Their integrable non-commutative inhomogeneous generalizations are found. In particular, a non-commutative generalization of a Hamiltonian flow on the elliptic curve is presented.


title: In search of a UV completion of the Standard Model - 378.000 models that don't work

abstract: Asymptotically safe extensions of the Standard Model have been searched for by adding vector-like fermions charged under the Standard Model gauge group and having Yukawa-like interactions with new scalar fields. Here we study the corresponding renormalization group beta functions to next and next-to-next to leading order in the perturbative expansion, varying the number of extra fermions and the representations they carry. We test the fixed points of the beta functions against various criteria of perturbativity to single out those that are potentially viable. We show that all the candidate ultraviolet fixed points are unphysical for these models: either they are unstable under radiative corrections, or they cannot be matched to the Standard Model at low energies.


title: Tunable double-Weyl Fermion semimetal state in the SrSi$_2$ materials class

abstract: We discuss first-principles topological electronic structure of noncentrosymmetric SrSi$_2$ materials class based on the hybrid exchange-correlation functional. Topological phase diagram of SrSi$_2$ is mapped out as a function of the lattice constant with focus on the semimetal order. A tunable double-Weyl Fermion state in Sr$_{1-x}$Ca$_{x}$Si$_2$ and Sr$_{1-x}$Ba$_{x}$Si$_2$ alloys is identified. Ca doping in SrSi$_2$ is shown to yield a double-Weyl semimetal with a large Fermi arc length, while Ba doping leads to a transition from the topological semimetal to a gapped insulator state. Our study indicates that SrSi$_2$ materials family could provide an interesting platform for accessing the unique topological properties of Weyl semimetals.


title: Initial conditions for nuclear collisions: theory overview

abstract: We overview the current status and recent developments on initial conditions in ultra-relativistic nucleus-nucleus collisions. Specifically, we look at the progress in understanding the role of sub-nucleonic fluctuations in large and small collision systems. Next, we review the current ideas of going beyond boost invariant initial conditions and introducing physically motivated rapidity fluctuations at RHIC and LHC energies. Finally, we discuss the time evolution of initial stages and the matching between different descriptions of the QGP.


title: On Zeroes of Random Polynomials and Applications to Unwinding

abstract: Let $\mu$ be a probability measure in $\mathbb{C}$ with a continuous and compactly supported density function, let $z_1, \dots, z_n$ be independent random variables, $z_i \sim \mu$, and consider the random polynomial $$ p_n(z) = \prod_{k=1}^{n}{(z - z_k)}.$$ We determine the asymptotic distribution of $\left\{z \in \mathbb{C}: p_n(z) = p_n(0)\right\}$. In particular, if $\mu$ is radial around the origin, then those solutions are also distributed according to $\mu$ as $n \rightarrow \infty$. Generally, the distribution of the solutions will reproduce parts of $\mu$ and condense another part on curves. We use these insights to study the behavior of the Blaschke unwinding series on random data.


title: A polynomial eigenvalue approach for multiplex networks

abstract: We explore the block nature of the matrix representation of multiplex networks, introducing a new formalism to deal with its spectral properties as a function of the inter-layer coupling parameter. This approach allows us to derive interesting results based on an interpretation of the traditional eigenvalue problem. More specifically, we reduce the dimensionality of our matrices but increase the power of the characteristic polynomial, i.e, a polynomial eigenvalue problem. Such an approach may sound counterintuitive at first glance, but it allows us to relate the quadratic problem for a 2-Layer multiplex system with the spectra of the aggregated network and to derive bounds for the spectra, among many other interesting analytical insights. Furthermore, it also permits to directly obtain analytical and numerical insights on the eigenvalue behavior as a function of the coupling between layers. Our study includes the supra-adjacency, supra-Laplacian, and the probability transition matrices, which enable us to put our results under the perspective of structural phases in multiplex networks. We believe that this formalism and the results reported will make it possible to derive new results for multiplex networks in the future.


title: Exciton-Peierls mechanism and universal many-body gaps in carbon nanotubes

abstract: "Metallic" carbon nanotubes exhibit quasiparticle gaps when isolated from a screening environment. The gap-opening mechanism is expected to be of electronic origin, but the precise nature is debated. In this work, we show that hybrid density functional theory predicts a set of excitonic instabilities capable of opening gaps of the size found in experiment. The excitonic instabilities are coupled to vibrational modes and, in particular, the modes associated with the ${\bf \Gamma}-E_{2g}$ and ${\bf K}-A'_1$ Kohn anomalies of graphene, inducing Peierls lattice distortions with a strong electron-phonon coupling. In the larger tubes, the longitudinal optical phonon mode becomes a purely electronic dimerization that is fully symmetry conserving in the zigzag and chiral tubes, but breaks the symmetry in the armchair tubes. The resulting gaps are universal (i.e., independent of chirality) and scale as 1/R with tube radius.


title: Anisotropy of Neel "orange-peel" coupling in magnetic multilayers

abstract: We calculate the energy of the magnetostatic interaction between two ferromagnetic films with uniform magnetization and correlated interfaces (the "orange-peel" effect). The "orange-peel" coupling is anisotropic: the interaction is ferromagnetic when the films are magnetized in-plane; and it is antiferromagnetic when magnetization is out-of-plane. The interaction anisotropy can be used to distinguish the "orange-peel" effect from the interlayer exchange coupling.


title: Sharpness of the Percolation Phase Transition for the Contact Process on $\mathbb{Z}^d$

abstract: We study percolation properties of the upper invariant measure of the contact process on $\mathbb{Z}^d$. Our main result is a sharp percolation phase transition with exponentially small clusters throughout the subcritical regime and a mean-field lower bound for the infinite cluster density in the supercritical regime. This generalizes and simplifies an earlier result of Van den Berg [Ann. App. Prob., 2011], who proved a sharp percolation phase transition on $\mathbb{Z}^2$. Our proof relies on the OSSS inequality for Boolean functions and is inspired by a series of papers by Duminil-Copin, Raoufi and Tassion in which they prove similar sharpness results for a variety of models.


title: Pseudo-linear regression identification based on generalized orthonormal transfer functions: Convergence conditions and bias distribution

abstract: In this paper we generalize three identification recursive algorithms belonging to the pseudo-linear class, by introducing a predictor established on a generalized orthonormal function basis. Contrary to the existing identification schemes that use such functions, no constraint on the model poles is imposed. Not only this predictor parameterization offers the opportunity to relax the convergence conditions of the associated recursive schemes, but it entails a modification of the bias distribution linked to the basis poles. This result is specific to pseudo-linear regression properties, and cannot be transposed to most of prediction error method algorithms. A detailed bias distribution is provided, using the concept of equivalent prediction error, which reveals strong analogies between the three proposed schemes, corresponding to ARMAX, Output Error and a generalization of ARX models. That leads to introduce an indicator of the basis poles location effect on the bias distribution in the frequency domain. As shown by the simulations, the said basis poles play the role of tuning parameters, allowing to manage the model fit in the frequency domain, and allowing efficient identification of fast sampled or stiff discrete-time systems.


title: Visualizing test diversity to support test optimisation

abstract: Diversity has been used as an effective criteria to optimise test suites for cost-effective testing. Particularly, diversity-based (alternatively referred to as similarity-based) techniques have the benefit of being generic and applicable across different Systems Under Test (SUT), and have been used to automatically select or prioritise large sets of test cases. However, it is a challenge to feedback diversity information to developers and testers since results are typically many-dimensional. Furthermore, the generality of diversity-based approaches makes it harder to choose when and where to apply them. In this paper we address these challenges by investigating: i) what are the trade-off in using different sources of diversity (e.g., diversity of test requirements or test scripts) to optimise large test suites, and ii) how visualisation of test diversity data can assist testers for test optimisation and improvement. We perform a case study on three industrial projects and present quantitative results on the fault detection capabilities and redundancy levels of different sets of test cases. Our key result is that test similarity maps, based on pair-wise diversity calculations, helped industrial practitioners identify issues with their test repositories and decide on actions to improve. We conclude that the visualisation of diversity information can assist testers in their maintenance and optimisation activities.


title: Coexistence in chase-escape

abstract: We study a competitive stochastic growth model called chase-escape in which red particles spread to adjacent uncolored sites and blue only to adjacent red sites. Red particles are killed when blue occupies the same site. If blue has rate-1 passage times and red rate-$\lambda$, a phase transition occurs for the probability red escapes to infinity on $\mathbb Z^d$, $d$-ary trees, and the ladder graph $\mathbb Z \times \{0,1\}$. The result on the tree was known, but we provide a new, simpler calculation of the critical value, and observe that it is a lower bound for a variety of graphs. We conclude by showing that red can be stochastically slower than blue, but still escape with positive probability for large enough $d$ on oriented $\mathbb Z^d$ with passage times that resemble Bernoulli bond percolation.