title: Non-convex optimization for self-calibration of direction-dependent effects in radio interferometric imaging

abstract: Radio interferometric imaging aims to estimate an unknown sky intensity image from degraded observations, acquired through an antenna array. In the theoretical case of a perfectly calibrated array, it has been shown that solving the corresponding imaging problem by iterative algorithms based on convex optimization and compressive sensing theory can be competitive with classical algorithms such as CLEAN. However, in practice, antenna-based gains are unknown and have to be calibrated. Future radio telescopes, such as the SKA, aim at improving imaging resolution and sensitivity by orders of magnitude. At this precision level, the direction-dependency of the gains must be accounted for, and radio interferometric imaging can be understood as a blind deconvolution problem. In this context, the underlying minimization problem is non-convex, and adapted techniques have to be designed. In this work, leveraging recent developments in non-convex optimization, we propose the first joint calibration and imaging method in radio interferometry, with proven convergence guarantees. Our approach, based on a block-coordinate forward-backward algorithm, jointly accounts for visibilities and suitable priors on both the image and the direction-dependent effects (DDEs). As demonstrated in recent works, sparsity remains the prior of choice for the image, while DDEs are modelled as smooth functions of the sky, i.e. spatially band-limited. Finally, we show through simulations the efficiency of our method, for the reconstruction of both images of point sources and complex extended sources. MATLAB code is available on GitHub.


title: Hybrid-space density matrix renormalization group study of the doped two-dimensional Hubbard model

abstract: The performance of the density matrix renormalization group (DMRG) is strongly influenced by the choice of the local basis of the underlying physical lattice. We demonstrate that, for the two-dimensional Hubbard model, the hybrid real-momentum space formulation of the DMRG is computationally more efficient than the standard real-space formulation. In particular, we show that the computational cost for fixed bond dimension of the hybrid-space DMRG is approximately independent of the width of the lattice, in contrast to the real-space DMRG, for which it is proportional to the width squared. We apply the hybrid-space algorithm to calculate the ground state of the doped two-dimensional Hubbard model on cylinders of width four and six sites; at $n=0.875$ filling, the ground state exhibits a striped charge-density distribution with a wavelength of eight sites for both $U/t=4.0$ and $U/t=8.0$. We find that the strength of the charge ordering depends on $U/t$ and on the boundary conditions.Furthermore, we investigate the magnetic ordering as well as the decay of the static spin, charge, and pair-field correlation functions.


title: Affine q-deformed symmetry and the classical Yang-Baxter sigma-model

abstract: The Yang-Baxter $\sigma$-model is an integrable deformation of the principal chiral model on a Lie group $G$. The deformation breaks the $G \times G$ symmetry to $U(1)^{\textrm{rank}(G)} \times G$. It is known that there exist non-local conserved charges which, together with the unbroken $U(1)^{\textrm{rank}(G)}$ local charges, form a Poisson algebra $\mathscr U_q(\mathfrak{g})$, which is the semiclassical limit of the quantum group $U_q(\mathfrak{g})$, with $\mathfrak{g}$ the Lie algebra of $G$. For a general Lie group $G$ with rank$(G)>1$, we extend the previous result by constructing local and non-local conserved charges satisfying all the defining relations of the infinite-dimensional Poisson algebra $\mathscr U_q(L \mathfrak{g})$, the classical analogue of the quantum loop algebra $U_q(L \mathfrak{g})$, where $L \mathfrak{g}$ is the loop algebra of $\mathfrak{g}$. Quite unexpectedly, these defining relations are proved without encountering any ambiguity related to the non-ultralocality of this integrable $\sigma$-model.


title: Volkov States and Non-linear Compton Scattering in Short and Intense Laser Pulses

abstract: The collision of ultra-relativistic electron beams with intense short laser pulses makes possible to study QED in the high-intensity regime. Present day high-intensity lasers mostly operate with short pulse durations of several tens of femtoseconds, i.e. only a few optical cycles. A profound theoretical understanding of short pulse effects is important not only for studying fundamental aspects of high-intensity laser matter interaction, but also for applications as novel X- and gamma-ray radiation sources. In this article we give a brief overview of the theory of high-intensity QED with focus on effects due to the short pulse duration. The non-linear spectral broadening in non-linear Compton scattering due to the short pulse duration and its compensation is discussed.


title: Multivariate Analysis for Computing Maxima in High Dimensions

abstract: We study the problem of computing the \textsc{Maxima} of a set of $n$ $d$-dimensional points. For dimensions 2 and 3, there are algorithms to solve the problem with order-oblivious instance-optimal running time. However, in higher dimensions there is still room for improvements. We present an algorithm sensitive to the structural entropy of the input set, which improves the running time, for large classes of instances, on the best solution for \textsc{Maxima} to date for $d \ge 4$.


title: The properties of active galaxies at the extreme of eigenvector 1

abstract: Eigenvector 1 (EV1) is the formal parameter which allows the introduction of some order in the properties of the unobscured type 1 active galaxies. We aim to understand the nature of this parameter by analyzing the most extreme examples of quasars with the highest possible values of the corresponding eigenvalues $R_{Fe}$. We selected the appropriate sources from the Sloan Digital Sky Survey (SDSS) and performed detailed modeling, including various templates for the Fe II pseudo-continuum and the starlight contribution to the spectrum. Out of 27 sources with $R_{Fe}$ larger than 1.3 and with the measurement errors smaller than 20\% selected from the SDSS quasar catalog, only six sources were confirmed to have a high value of $R_{Fe}$, defined as being above 1.3. All other sources have $an R_{Fe}$ of approximately 1. Three of the high $R_{Fe}$ objects have a very narrow H$\beta$ line, below 2100 km s$^{-1}$ but three sources have broad lines, above 4500 km s$^{-1}$, that do not seem to form a uniform group, differing considerably in black hole mass and Eddington ratio; they simply have a very similar EW([OIII]5007) line. Therefore, the interpretation of the EV1 remains an open issue.


title: Fast Reconstruction of High-qubit Quantum States via Low Rate Measurements

abstract: Due to the exponential complexity of the resources required by quantum state tomography (QST), people are interested in approaches towards identifying quantum states which require less effort and time. In this paper, we provide a tailored and efficient method for reconstructing mixed quantum states up to $12$ (or even more) qubits from an incomplete set of observables subject to noises. Our method is applicable to any pure or nearly pure state $\rho$, and can be extended to many states of interest in quantum information processing, such as multi-particle entangled $W$ state, GHZ state and cluster states that are matrix product operators of low dimensions. The method applies the quantum density matrix constraints to a quantum compressive sensing optimization problem, and exploits a modified Quantum Alternating Direction Multiplier Method (Quantum-ADMM) to accelerate the convergence. Our algorithm takes $8,35$ and $226$ seconds respectively to reconstruct superposition state density matrices of $10,11,12$ qubits with acceptable fidelity, using less than $1 \%$ of measurements of expectation. To our knowledge it is the fastest realization that people can achieve using a normal desktop. We further discuss applications of this method using experimental data of mixed states obtained in an ion trap experiment of up to $8$ qubits.


title: The role of magnetic fields in the structure and interaction of supershells

abstract: Large-scale shocks formed by clustered feedback of young OB stars are considered an important source of mechanical energy for the ISM and a trigger of molecular cloud formation. Their interaction sites are locations where kinetic energy and magnetic fields are redistributed between ISM phases. In this work we study the effect of the magnetic field on the expansion and fragmentation of supershells and look for the signatures of supershell collisions on dense structures and on the kinetic and magnetic energy distribution of the ISM. We performed a series of high-resolution, three-dimensional simulations of colliding supershells. The shocks are created by time-dependent feedback and evolve in a diffuse turbulent environment that is either unmagnetized or has different initial magnetic field configurations. In the hydrodynamical situation, the expansion law of the superbubbles is consistent with the radius-time relation that is theoretically predicted for wind-blown bubbles. The supershells fragment over their entire surface into small dense clumps that carry more than half of the total kinetic energy in the volume. However, this is not the case when a magnetic field is introduced, either in the direction of the collision or perpendicular to the collision. In magnetized situations, the shell surfaces are more stable to dynamical instabilities. When the magnetic field opposes the collision, the expansion law of the supershells also becomes significantly flatter than in the hydrodynamical case. Although a two-phase medium arises in all cases, in the MHD simulations the cold phase is limited to lower densities.


title: On the Ginzburg -Landau energy with a magnetic field vanishing along a curve

abstract: The energy of a type II superconductor placed in a strong non-uniform, smooth and signed magnetic field is displayed via a universal characteristic function defined by means of a simplified two dimensional Ginzburg-Landau functional. We study the asymptotic behavior of this functional in a specific asymptotic regime, thereby linking it to a one dimensional functional, using methods developed by Almog-Helffer and Fournais-Helffer devoted to the analysis of surface superconductivity in the presence of a uniform magnetic field. As a result, we obtain an asymptotic formula reminiscent of the one for the surface superconductivity regime, where the zero set of the magnetic field plays the role of the superconductor's surface.


title: Schramm's formula and the Green's function for multiple SLE

abstract: We construct martingale observables for systems of multiple SLE curves by applying screening techniques within the CFT framework recently developed by Kang and Makarov, extended to admit multiple SLEs. We illustrate this approach by rigorously establishing explicit expressions for the Green's function and Schramm's formula in the case of two curves growing towards infinity. In the special case when the curves are `fused' and start at the same point, some of the formulas we prove were predicted in the physics literature.


title: Counting Quasi-Idempotent Irreducible Integral Matrices

abstract: Given any polynomial $p$ in $C[X]$, we show that the set of irreducible matrices satisfying $p(A)=0$ is finite. In the specific case $p(X)=X^2-nX$, we count the number of irreducible matrices in this set and analyze the arising sequences and their asymptotics. Such matrices turn out to be related to generalized compositions and generalized partitions.


title: What does a violation of the Bell's inequality prove?

abstract: In this paper I show that the Einstein-Podolsky-Rosen-Bohm Gedankenexperiment and so-called entanglement of photons have a simple explanation within the framework of classical electrodynamics if we take into account the discrete (atomic) structure of the detectors and a specific nature of the light-atom interaction. In this case we do not find such a paradox as "spooky action at a distance". I show that CHSH criterion in EPRB Gedankenexperiment with classical light waves can exceed not only a maximum value S_HV=2 which is predicted by the local hidden-variable theories but also the maximum value S_QM=2.828 predicted by quantum mechanics and in this case there is no desire to construct a local hidden-variable theory.


title: Combining Experiments with Systematic Errors

abstract: We consider fits to two or more datasets for which results from the sa me experiment share a common systematic uncertainty in addition to their individ ual statistical errors. This is important in extracting the maximum information from a set of similar bu t different experiments (or the same experiment under different conditions) an alysing similar but different datasets, as happens at the LHC and other particle colliders. There are two techniques in use: using the full matrix and using extra paramneters, and we show, for a completely general fit, that for an addit ive uncertainty they are in principle equivalent even though in practice the det ails differ. For a multiplicative error the matrix fit is equivalent to the extra parameter fit if the factor is applied to the data points but not if it is applied to the function: the former leads to biassed estimates and the latter avoids them.


title: Predicting the dynamics of bacterial growth inhibition by ribosome-targeting antibiotics

abstract: Understanding how antibiotics inhibit bacteria can help to reduce antibiotic use and hence avoid antimicrobial resistance - yet few theoretical models exist for bacterial growth inhibition by a clinically relevant antibiotic treatment regimen. In particular, in the clinic, antibiotic treatment is time dependent. Here, we use a recently-developed model to obtain predictions for the dynamical response of a bacterial cell to a time-dependent dose of ribosome-targeting antibiotic. Our results depend strongly on whether the antibiotic shows reversible transport and/or low-affinity ribosome binding ("low-affinity antibiotic") or, in contrast, irreversible transport and/or high affinity ribosome binding ("high-affinity antibiotic"). For low-affinity antibiotics, our model predicts that growth inhibition depends on the duration of the antibiotic pulse, with a transient period of very fast growth following removal of the antibiotic. For high-affinity antibiotics, growth inhibition depends on peak dosage rather than dose duration, and the model predicts a pronounced post-antibiotic effect, due to hysteresis, in which growth can be suppressed for long times after the antibiotic dose has ended. These predictions are experimentally testable and may be of clinical significance.


title: Spatial and temporal variations of high-energy electron flux in the outer radiation belt

abstract: The results of observation of short-term variations of high-energy electron flux in the outer radiation belt, obtained in ARINA satellite experiment (2006 - 2016), are presented. Scintillation spectrometer ARINA on board the Resurs-DK1 Russian satellite has been developed in MEPhI. The instrument carried out continuous measurements of high-energy electron flux and its energy spectrum in low-Earth orbits in the range 3-30 MeV with 10 15% energy resolution. A time profile of electron flux at different L - shells has been studied in detail on the example of March 2012, and analysis of experimental data on high-energy (4-6 MeV) electrons in the outer radiation belt zone (L~3-7) was fulfilled. It was shown a large variability of flux of such electrons there. The sharp effects in electron flux (as rise and as fall) in magnetosphere interrelated with geomagnetic storms caused by solar flares and coronal mass ejections have been observed.


title: The full spectrum of AdS5/CFT4 I: Representation theory and one-loop Q-system

abstract: With the formulation of the quantum spectral curve for the AdS5/CFT4 integrable system, it became potentially possible to compute its full spectrum with high efficiency. This is the first paper in a series devoted to the explicit design of such computations, with no restrictions to particular subsectors being imposed. We revisit the representation theoretical classification of possible states in the spectrum and map the symmetry multiplets to solutions of the quantum spectral curve at zero coupling. To this end it is practical to introduce a generalisation of Young diagrams to the case of non-compact representations and define algebraic Q-systems directly on these diagrams. Furthermore, we propose an algorithm to explicitly solve such Q-systems that circumvents the traditional usage of Bethe equations and simplifies the computation effort. For example, our algorithm quickly obtains explicit analytic results for all 495 multiplets that accommodate single-trace operators in N=4 SYM with classical conformal dimension up to 13/2. We plan to use these results as the seed for solving the quantum spectral curve perturbatively to high loop orders in the next paper of the series.


title: Homotopically rigid Sullivan algebras and Their applications

abstract: In this paper we construct an infinite family of homotopically rigid spaces. These examples are then used as building blocks to forge highly connected rational spaces with prescribed finite group of self-homotopy equivalences. They are also exploited to provide highly connected inflexible and strongly chiral manifolds.


title: Surface Counterterms and Regularized Holographic Complexity

abstract: The holographic complexity is UV divergent. As a finite complexity, we propose a "regularized complexity" by employing a similar method to the holographic renormalization. We add codimension-two boundary counterterms which do not contain any boundary stress tensor information. It means that we subtract only non-dynamic background and all the dynamic information of holographic complexity is contained in the regularized part. After showing the general counterterms for both CA and CV conjectures in holographic spacetime dimension 5 and less, we give concrete examples: the BTZ black holes and the four and five dimensional Schwarzschild AdS black holes. We propose how to obtain the counterterms in higher spacetime dimensions and show explicit formulas only for some special cases with enough symmetries. We also compute the complexity of formation by using the regularized complexity.


title: Picosecond control of quantum dot laser emission by coherent phonons

abstract: A picosecond acoustic pulse can be used to control the lasing emission from semiconductor nanostructures by shifting their electronic transitions. When the active medium, here an ensemble of (In,Ga)As quantum dots, is shifted into or out of resonance with the cavity mode, a large enhancement or suppression of the lasing emission can dynamically be achieved. Most interesting, even in the case when gain medium and cavity mode are in resonance, we observe an enhancement of the lasing due to shaking by coherent phonons. In order to understand the interactions of the non-linearly coupled photon-exciton-phonon subsystems, we develop a semiclassical model and find an excellent agreement between theory and experiment.


title: A dynamical interpretation of the Pauli Twirling Approximation and Quantum Error Correction

abstract: One of simplest and most widely used error model in working with quantum circuits is the Pauli Twirling Approximation (PTA). Restricting ourselves to analysis of free dynamics of qubits we show explicitly how application of PTA is equivalent to ignoring most of the quantum back action of the system and give a general argument as to why this approximation leads to low logical error rates in fault tolerant stabilizer circuits as compared to other quantum channels. We provide numerical evidence that PTA's performance in modeling noise gets worse as number of qubits increase.


title: Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs

abstract: Timing and power consumption play an important role in the design of embedded systems. Furthermore, both properties are directly related to the safety requirements of many embedded systems. With regard to availability requirements, power considerations are of uttermost importance for battery operated systems. Validation of timing and power requires observability of these properties. In many cases this is difficult, because the observability is either not possible or requires big extra effort in the system validation process. In this paper, we present a measurement-based approach for the joint timing and power analysis of Synchronous Dataflow (SDF) applications running on a shared memory multiprocessor systems-on-chip (MPSoC) architecture. As a proof-of-concept, we implement an MPSoC system with configurable power and timing measurement interfaces inside a Field Programmable Gate Array (FPGA). Our experiments demonstrate the viability of our approach being able of accurately analyzing different mappings of image processing applications (Sobel filter and JPEG encoder) on an FPGA-based MPSoC implementation.


title: Hierarchical invasion of cooperation in complex networks

abstract: The emergence and survival of cooperation is one of the hardest problems still open in science. Several factors such as the existence of punishment, fluctuations in finite systems, repeated interactions and the formation of prestige may all contribute to explain the counter-intuitive prevalence of cooperation in natural and social systems. The characteristics of the interaction networks have been also signaled as an element favoring the persistence of cooperators. Here we consider the invasion dynamics of cooperative behaviors in complex topologies. The invasion of a heterogeneous network fully occupied by defectors is performed starting from nodes with a given number of connections (degree) $k_0$. The system is then evolved within a Prisoner's Dilemma game and the outcome is analyzed as a function of $k_0$ and the degree $k$ of the nodes adopting cooperation. Carried out using both numerical and analytical approaches, our results show that the invasion proceeds following preferentially a hierarchical order in the nodes from those with higher degree to those with lower degree. However, the invasion of cooperation will succeed only when the initial cooperators are numerous enough to form a cluster from which cooperation can spread. This implies that the initial condition must be a suitable equilibrium between high degree and high numerosity, which usually takes place, when possible, at intermediate values of $k_0$. These findings have potential applications, as they suggest that, in order to promote cooperative behavior on complex networks, one should infect with cooperators \emph{high but not too high} degree nodes.


title: Secants, bitangents, and their congruences

abstract: A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwitz hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ of all lines which are tangent to $S$. We show that its singular locus has two components for general enough $S$: the congruence of bitangents and the congruence of inflectional tangents. We give new proofs for the bidegrees of the secant, bitangent and inflectional congruences, using geometric techniques such as duality, polar loci and projections. We also study the singularities of these congruences.


title: $^{137,138,139}$La($n$, $\gamma$) cross sections constrained with statistical decay properties of $^{138,139,140}$La nuclei

abstract: The nuclear level densities and $\gamma$-ray strength functions of $^{138,139,140}$La were measured using the $^{139}$La($^{3}$He, $\alpha$), $^{139}$La($^{3}$He, $^{3}$He$^\prime$) and $^{139}$La(d, p) reactions. The particle-$\gamma$ coincidences were recorded with the silicon particle telescope (SiRi) and NaI(Tl) (CACTUS) arrays. In the context of these experimental results, the low-energy enhancement in the A$\sim$140 region is discussed. The $^{137,138,139}$La($n, \gamma)$ cross sections were calculated at $s$- and $p$-process temperatures using the experimentally measured nuclear level densities and $\gamma$-ray strength functions. Good agreement is found between $^{139}$La($n, \gamma)$ calculated cross sections and previous measurements.


title: A Large Catalog of Homogeneous Ultra-Violet/Optical GRB Afterglows: Temporal and Spectral Evolution

abstract: We present the second Swift Ultra-Violet/Optical Telescope (UVOT) gamma-ray burst (GRB) afterglow catalog, greatly expanding on the first Swift UVOT GRB afterglow catalog. The second catalog is constructed from a database containing over 120,000 independent UVOT observations of 538 GRBs first detected by Swift, the High Energy Transient Explorer 2 (HETE2), the INTErnational Gamma-Ray Astrophysics Laboratory (INTEGRAL), the Interplanetary Network (IPN), Fermi, and Astro-rivelatore Gamma a Immagini Leggero (AGILE). The catalog covers GRBs discovered from 2005 Jan 17 to 2010 Dec 25. Using photometric information in three UV bands, three optical bands, and a `white' or open filter, the data are optimally co-added to maximize the number of detections and normalized to one band to provide a detailed light curve. The catalog provides positional, temporal, and photometric information for each burst, as well as Swift Burst Alert Telescope (BAT) and X-Ray Telescope (XRT) GRB parameters. Temporal slopes are provided for each UVOT filter. The temporal slope per filter of almost half the GRBs are fit with a single power-law, but one to three breaks are required in the remaining bursts. Morphological comparisons with the X-ray reveal that approximately 75% of the UVOT light curves are similar to one of the four morphologies identified by Evans et al. (2009). The remaining approximately 25% have a newly identified morphology. For many bursts, redshift and extinction corrected UV/optical spectral slopes are also provided at 2000, 20,000, and 200,000 seconds.


title: On the links between argumentation-based reasoning and nonmonotonic reasoning

abstract: In this paper we investigate the links between instantiated argumentation systems and the axioms for non-monotonic reasoning described in [9] with the aim of characterising the nature of argument based reasoning. In doing so, we consider two possible interpretations of the consequence relation, and describe which axioms are met by ASPIC+ under each of these interpretations. We then consider the links between these axioms and the rationality postulates. Our results indicate that argument based reasoning as characterised by ASPIC+ is - according to the axioms of [9] - non-cumulative and non-monotonic, and therefore weaker than the weakest non-monotonic reasoning systems they considered possible. This weakness underpins ASPIC+'s success in modelling other reasoning systems, and we conclude by considering the relationship between ASPIC+ and other weak logical systems.


title: The anisotropic ultrahigh hole mobility in strain-engineering two-dimensional penta-SiC$_2$

abstract: Using the first-principles calculations based on density functional theory, we systematically investigate the strain-engineering (tensile and compressive strain) electronic, mechanical and transport properties of monolayer penta-SiC$_2$. By applying an in-plane tensile or compressive strain, it is easy to modulate the electronic band structure of monolayer penta-SiC$_2$, which subsequently changes the effective mass of carriers. Furthermore, the obtained electronic properties are predicted to change from indirectly semiconducting to metallic. More interestingly, at room temperature, uniaxial strain can enhance the hole mobility of penta-SiC$_2$ along a particular direction by almost three order in magnitude, $i.e.$ from 2.59 $\times10^3 cm^2/V s$ to 1.14 $\times10^6 cm^2/V s$ (larger than the carrier mobility of graphene, 3.5 $\times10^5 cm^2/V s$), with little influence on the electron mobility. The high carrier mobility of monolayer penta-SiC$_2$ may lead to many potential applications in high-performance electronic and optoelectronic devices


title: Optimal Reachability in Divergent Weighted Timed Games

abstract: Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the quality of controllers. Weighted timed games are notoriously difficult and quickly undecidable, even when restricted to non-negative weights. Decidability results exist for subclasses of one-clock games, and for a subclass with non-negative weights defined by a semantical restriction on the weights of cycles. In this work, we introduce the class of divergent weighted timed games as a generalisation of this semantical restriction to arbitrary weights. We show how to compute their optimal value, yielding the first decidable class of weighted timed games with negative weights and an arbitrary number of clocks. In addition, we prove that divergence can be decided in polynomial space. Last, we prove that for untimed games, this restriction yields a class of games for which the value can be computed in polynomial time.


title: Mesonic and nucleon fluctuation effects at finite baryon density

abstract: Mesonic and nucleon fluctuation effects are investigated in medium. We couple the nucleon field to the $2+1$ flavor meson model and investigate the finite temperature and density behavior of the system, in particular, the axial anomaly function. Somewhat contrary to earlier expectations we find that it tends to strengthen at finite density. At lower temperatures nucleon density fluctuations can cause a relative difference in the $U_A(1)$ axial anomaly of about $20\%$. This has important consequences on the mesonic spectra, especially on the $\eta-\eta'$ system, as we observe no drop in the $\eta'$ mass as a function of the baryochemical potential, irrespective of the temperature. Based on the details of chiral symmetry restoration, it is argued that there has to be a competition between underlying QCD effects of the anomaly and fluctuations of the low energy hadronic degrees of freedom, and the fate of the $U_A(1)$ coefficient should be decided by taking into account both effects simultaneously.


title: Non-singular spacetimes with a negative cosmological constant: III. Stationary solutions with matter fields

abstract: Generalising the results in arXiv:1612.00281, we construct infinite-dimensional families of non-singular stationary space times, solutions of Yang-Mills-Higgs-Einstein-Maxwell-Chern-Simons-dilaton-scalar field equations with a negative cosmological constant. The families include an infinite-dimensional family of solutions with the usual AdS conformal structure at conformal infinity.


title: Superradiance in Inverted Multi-level Atomic Clouds

abstract: This work examines superradiance in initially inverted clouds of \textit{multi-level} atoms. We develop a set of equations that can approximately calculate the temporal evolution of $N$ coupled atoms. This allows us to simulate clouds containing hundreds of multi-level atoms while eschewing the assumption and/or approximation of symmetric dipole-dipole interactions. This treatment is used to explore the effects that dephasing caused by elastic dipole-dipole interactions, and competition between multiple transitions have on superradiance. Both of these mechanisms place strong parametrical restrictions on a given transition's ability to superradiate. These results are likely important to recent experiments that probe superradiance in Rydberg atoms.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.optics


title: Multivariate predictions of local reduced-order-model errors and dimensions

abstract: This paper introduces multivariate input-output models to predict the errors and bases dimensions of local parametric Proper Orthogonal Decomposition reduced-order models. We refer to these multivariate mappings as the MP-LROM models. We employ Gaussian Processes and Artificial Neural Networks to construct approximations of these multivariate mappings. Numerical results with a viscous Burgers model illustrate the performance and potential of the machine learning based regression MP-LROM models to approximate the characteristics of parametric local reduced-order models. The predicted reduced-order models errors are compared against the multi-fidelity correction and reduced order model error surrogates methods predictions, whereas the predicted reduced-order dimensions are tested against the standard method based on the spectrum of snapshots matrix. Since the MP-LROM models incorporate more features and elements to construct the probabilistic mappings they achieve more accurate results. However, for high-dimensional parametric spaces, the MP-LROM models might suffer from the curse of dimensionality. Scalability challenges of MP-LROM models and the feasible ways of addressing them are also discussed in this study.


title: Some evaluation of parametric Euler sums

abstract: In this paper, by using the method of Contour Integral Representations and the Theorem of Residues and integral representations of series, we discuss the analytic representa- tions of parametric Euler sums that involve harmonic numbers through zeta values and rational function series, either linearly or nonlinearly. Furthermore, we give explicit formulae for several parametric quadratic and cubic sums in terms of zeta values and rational series. Moreover, some interesting new consequences and illustrative examples are considered.


title: Lie-B\"acklund symmetry and non-invariant solutions of nonlinear evolution equations

abstract: We study the symmetry reduction of nonlinear partial differential equations which are used for describing diffusion processes in nonhomogeneous medium. We find ansatzes reducing partial differential equations to systems of ordinary differential equations. The ansatzes are constructed by using operators of Lie-B\"acklund symmetry of third order ordinary differential equation. The method gives the possibility to find solutions which cannot be obtained by virtue of classical Lie method. Such solutions have been constructed for nonlinear diffusion equations which are invariant with respect to one-parameter, two-parameter and three-parameter Lie groups of point transformations.


title: Computation and theory of Euler sums of generalized hyperharmonic numbers

abstract: Recently, Dil and Boyadzhiev \cite{AD2015} proved an explicit formula for the sum of multiple harmonic numbers whose indices are the sequence $\left( {{{\left\{ 0 \right\}}_r},1} \right)$. In this paper we show that the sums of multiple harmonic numbers whose indices are the sequence $\left( {{{\left\{ 0 \right\}}_r,1};{{\left\{ 1 \right\}}_{k-1}}} \right)$ can be expressed in terms of (multiple) zeta values, multiple harmonic numbers and Stirling numbers of the first kind, and give an explicit formula.


title: Some Evaluation of Quadratic Euler Sums

abstract: In this paper, we obtain some formulas for double nonlinear Euler sums involving harmonic numbers and alternating harmonic numbers. By using these formulas, we give new closed form sums of several quadratic Euler series through Riemann zeta values, polylogarithm functions and linear sums. Furthermore, some relationships between Euler sums and integrals of polylogarithm functions are established.


title: Explicit Evaluations of Sums of Sequence Tails

abstract: In this paper, we use Abel's summation formula to evaluate several quadratic and cubic sums of the form: \[{F_N}\left( {A,B;x} \right) := \sum\limits_{n = 1}^N {\left( {A - {A_n}} \right)\left( {B - {B_n}} \right){x^n}} ,\;x \in [ - 1,1]\] and \[F\left( {A,B,\zeta (r)} \right): = \sum\limits_{n = 1}^\infty {\left( {A - {A_n}} \right)\left( {B - {B_n}} \right)\left( {\zeta \left( r \right) - {\zeta_n}\left( r \right)} \right)} ,\] where the sequences $A_n,B_n$ are defined by the finite sums ${A_n} := \sum\limits_{k = 1}^n {{a_k}} ,\ {B_n} := \sum\limits_{k = 1}^n {{b_k}}\ ( {a_k},{b_k} =o(n^{-p}),{\mathop{\Re}\nolimits} \left( p \right) > 1 $) and $A = \mathop {\lim }\limits_{n \to \infty } {A_n},B = \mathop {\lim }\limits_{n \to \infty } {B_n},F\left( {A,B;x} \right) = \mathop {\lim }\limits_{n \to \infty } {F_n}\left( {A,B;x} \right)$. Namely, the sequences $A_n$ and $B_n$ are the partial sums of the convergent series $A$ and $B$, respectively. We give an explicit formula of ${F_n}\left( {A,B;x} \right)$ by using the method of Abel's summation formula. Then we use apply it to obtain a family of identities relating harmonic numbers to multiple zeta values. Furthermore, we also evaluate several other series involving multiple zeta star values. Some interesting (known or new) consequences and illustrative examples are considered.


title: Some Evaluations of Parametric Euler Type Sums of Harmonic Numbers

abstract: We establish some identities of Euler related sums. By using these identities, we discuss the closed form representations of sums of harmonic numbers and reciprocal parametric binomial coefficients through parametric harmonic numbers, shifted harmonic numbers and Riemann zeta function with positive integer arguments. In particular we investigate products of quadratic and cubic harmonic numbers and reciprocal parametric binomial coefficients. Some illustrative special cases as well as immediate consequences of the main results are also considered.


title: Identities for the shifted harmonic numbers and binomial coefficients

abstract: We develop new closed form representations of sums of (n + {\alpha})th shifted harmonic numbers and reciprocal binomial coefficients in terms of {\alpha}th shifted harmonic numbers. Some interesting new consequences and illustrative examples are considered.


title: Electrostatic Discharge Currents Representation using the Multi-Peaked Analytically Extended Function by Interpolation on a D-Optimal Design

abstract: Multi-peaked analytically extended function (AEF), previously applied by the authors to modelling of lightning discharge currents, is used in this paper for representation of the electrostatic discharge (ESD) currents. The fitting to data is achieved by interpolation of certain data points. In order to minimize unstable behaviour, the exponents of the AEF are chosen from a certain arithmetic sequence and the interpolated points are chosen according to a D-optimal design. ESD currents' modelling is illustrated through two examples: one corresponding to an approximation of the IEC Standard 61000-4-2 waveshape, and the other to representation of some measured ESD current.


title: Anisotropy in finite continuum percolation: Threshold estimation by Minkowski functionals

abstract: We examine the interplay between anisotropy and percolation, i.e., the spontaneous formation of a system spanning cluster in an anisotropic model. We simulate an extension of a benchmark model of continuum percolation, the Boolean model, which is formed by overlapping grains. Here we introduce an orientation bias of the grains that controls the degree of anisotropy of the generated patterns. We analyze in the Euclidean plane the percolation thresholds above which percolating clusters in $x$- and in $y$-direction emerge. Only in finite systems, distinct differences between effective percolation thresholds for different directions appear. If extrapolated to infinite system sizes, these differences vanish independent of the details of the model. In the infinite system, the uniqueness of the percolating cluster guarantees a unique percolation threshold. While percolation is isotropic even for anisotropic processes, the value of the percolation threshold depends on the model parameters, which we explore by simulating a score of models with varying degree of anisotropy. To which precision can we predict the percolation threshold without simulations? We discuss analytic formulas for approximations (based on the excluded area or the Euler characteristic) and compare them to our simulation results. Empirical parameters from similar systems allow for accurate predictions of the percolation thresholds (with deviations of $<5\%$ in our examples), but even without any empirical parameters, the explicit approximations from integral geometry provide, at least for the systems studied here, lower bounds that capture well the qualitative dependence of the percolation threshold on the system parameters (with deviations of $5\%$--$30\%$). As an outlook, we suggest further candidates for explicit and geometric approximations based on second moments of the so-called Minkowski functionals.


title: Simplified and Space-Optimal Semi-Streaming for $(2+\epsilon)$-Approximate Matching

abstract: In a recent breakthrough, Paz and Schwartzman (SODA'17) presented a single-pass ($2+\epsilon$)-approximation algorithm for the maximum weight matching problem in the semi-streaming model. Their algorithm uses $O(n\log^2 n)$ bits of space, for any constant $\epsilon>0$. We present two simplified and more intuitive analyses, for essentially the same algorithm, which also improve the space complexity to the optimal bound of $O(n\log n)$ bits --- this is optimal as the output matching requires $\Omega(n\log n)$ bits. Our analyses rely on a simple use of the primal-dual method and a simple accounting method.


title: Neutrinos and Cosmic Rays Observed by IceCube

abstract: The core mission of the IceCube Neutrino observatory is to study the origin and propagation of cosmic rays. IceCube, with its surface component IceTop, observes multiple signatures to accomplish this mission. Most important are the astrophysical neutrinos that are produced in interactions of cosmic rays, close to their sources and in interstellar space. IceCube is the first instrument that measures the properties of this astrophysical neutrino flux, and constrains its origin. In addition, the spectrum, composition and anisotropy of the local cosmic-ray flux are obtained from measurements of atmospheric muons and showers. Here we provide an overview of recent findings from the analysis of IceCube data, and their implications on our understanding of cosmic rays.


title: An Auction Approach to Spectrum Management in HetNets

abstract: The growing demand in mobile Internet access calls for high capacity and energy efficient cellular access with better cell coverage. The in-band relaying solution, proposed in LTE-Advanced, improves coverage without requiring additional spectrum for backhauling, making its deployment more economical and practical. However, in-band relay without careful management incurs low spectrum utilization and reduces the system capacity. We propose auction-based solutions that aim at dynamic spectrum resource sharing, maximizing the utilization of precious spectrum resources. We first present a truthful auction that ensures a theoretical performance guarantee in terms of social welfare. Then in an extended system model that focuses on addressing the heterogeneity of resource blocks, we design a more practical auction mechanism. We implement our proposed auctions under large scale real-world settings. Simulation results verify the efficacy of proposed auctions, showing improvements in both cell coverage and spectrum efficiency.


title: Uncertainty principle and geometry of the infinite Grassmann manifold

abstract: We study the pairs of projections $$ P_If=\chi_If ,\ \ Q_Jf= \left(\chi_J \hat{f}\right)\check{\ } , \ \ f\in L^2(\mathbb{R}^n), $$ where $I, J\subset \mathbb{R}^n$ are sets of finite Lebesgue measure, $\chi_I, \chi_J$ denote the corresponding characteristic functions and $\hat{\ } , \check{\ }$ denote the Fourier-Plancherel transformation $L^2(\mathbb{R}^n)\to L^2(\mathbb{R}^n)$ and its inverse. These pairs of projections have been widely studied by several authors in connection with the mathematical formulation of Heisenberg's uncertainty principle. Our study is done from a differential geometric point of view. We apply known results on the Finsler geometry of the Grassmann manifold ${\cal P}({\cal H})$ of a Hilbert space ${\cal H}$ to establish that there exists a unique minimal geodesic of ${\cal P}({\cal H})$, which is a curve of the form $$ \delta(t)=e^{itX_{I,J}}P_Ie^{-itX_{I,J}} $$ which joins $P_I$ and $Q_J$ and has length $\pi/2$. As a consequence we obtain that if $H$ is the logarithm of the Fourier-Plancherel map, then $$ \|[H,P_I]\|\ge \pi/2. $$ The spectrum of $X_{I,J}$ is denumerable and symmetric with respect to the origin, it has a smallest positive eigenvalue $\gamma(X_{I,J})$ which satisfies $$ \cos(\gamma(X_{I,J}))=\|P_IQ_J\|. $$


title: Applying Data Compression Techniques on Systolic Neural Network Accelerator

abstract: New directions in computing and algorithms has lead to some new applications that have tolerance to imprecision. Although, These applications are creating large volumes of data which exceeds the capability of today's computing systems. Therefore, researchers are trying to find new techniques to alleviate this crisis. Approximate Computing is one promising technique that uses a trade off between precision and efficiency of computing. Acceleration is another solution that uses specialized logics in order to do computations in a way that is more power efficient. Another technique is Data compression which is used in memory systems in order to save capacity and bandwidth.


title: Classes of Polish spaces under effective Borel isomorphism

abstract: We study the equivalence classes under $\Delta^1_1$ isomorphism, otherwise effective-Borel isomorphism, between complete separable metric spaces which admit a recursive presentation and we show the existence of strictly increasing and strictly decreasing sequences as well as of infinite antichains under the natural notion of $\Delta^1_1$-reduction, as opposed to the non-effective case, where only two such classes exist, the one of the Baire space and the one of the naturals. A key tool for our study is a mapping $T \mapsto \mathcal{N}^T$ from the space of all trees on the naturals to the class of Polish spaces, for which every recursively presented space is $\Delta^1_1$-isomorphic to some $\mathcal{N}^T$ for a recursive $T$, so that the preceding spaces are representatives for the classes of $\Delta^1_1$-isomorphism. We isolate two large categories of spaces of the type $\mathcal{N}^T$, the Kleene spaces and the Spector-Gandy spaces and we study them extensively. Moreover we give results about hyperdegrees in the latter spaces and characterizations of the Baire space up to $\Delta^1_1$-isomorphism.


title: CO-Dark Star Formation and Black Hole Activity in 3C 368 at z = 1.131: Coeval Growth of Stellar and Supermassive Black Hole Masses

abstract: We present the detection of four far-infrared fine-structure oxygen lines, as well as strong upper limits for the CO(2-1) and [N II] 205 um lines, in 3C 368, a well-studied radio-loud galaxy at z = 1.131. These new oxygen lines, taken in conjunction with previously observed neon and carbon fine-structure lines, suggest a powerful active galactic nucleus (AGN), accompanied by vigorous and extended star formation. A starburst dominated by O8 stars, with an age of ~6.5 Myr, provides a good fit to the fine-structure line data. This estimated age of the starburst makes it nearly concurrent with the latest episode of AGN activity, suggesting a link between the growth of the supermassive black hole and stellar population in this source. We do not detect the CO(2-1) line, down to a level twelve times lower than the expected value for star forming galaxies. This lack of CO line emission is consistent with recent star formation activity if the star-forming molecular gas has low metallicity, is highly fractionated (such that CO is photodissociated through much of the clouds), or is chemically very young (such that CO has not yet had time to form). It is also possible, though we argue unlikely, that the ensemble of fine structure lines are emitted from the region heated by the AGN.


title: Essentially orthogonal subspaces

abstract: We study the set ${\cal C}$ consisting of pairs of orthogonal projections $P,Q$ acting in a Hilbert space ${\cal H}$ such that $PQ$ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted in three subclasses: ${\cal C}_0$ which consists of pairs where $P$ or $Q$ have finite rank, ${\cal C}_1$ of pairs such that $Q$ lies in the restricted Grassmannian (also called Sato Grassmannian) of the polarization ${\cal H}=N(P)\oplus R(P)$, and ${\cal C}_\infty$. Belonging to this last subclass one has the pairs $$ P_If=\chi_If ,\ \ Q_Jf= \left(\chi_J \hat{f}\right)\check{\ } , \ \ f\in L^2(\mathbb{R}^n), $$ where $I, J\subset \mathbb{R}^n$ are sets of finite Lebesgue measure, $\chi_I, \chi_J$ denote the corresponding characteristic functions and $\hat{\ } , \check{\ }$ denote the Fourier-Plancherel transform $L^2(\mathbb{R}^2)\to L^2(\mathbb{R}^2)$ and its inverse. We characterize the connected components of these classes: the components of ${\cal C}_0$ are parametrized by the rank, the components of ${\cal C}_1$ are parametrized by the Fredholm index of the pairs, and ${\cal C}_\infty$ is connected. We show that these subsets are (non complemented) differentiable submanifolds of ${\cal B}({\cal H})\times {\cal B}({\cal H})$.


title: Nucleon resonances $N(1875)$ and $N(2100)$ as strange partners of LHCb pentaquarks

abstract: In this work, we investigate the possibility of interpreting two nucleon resonances, the $N(1875)$ and the $N(2100)$, as hadronic molecular states from the $\Sigma^*K$ and $\Sigma K^*$ interactions, respectively. With the help of effective Lagrangians in which coupling constants are determined by the SU(3) symmetry, the $\Sigma^*K$ and $\Sigma K^*$ interactions are described by the vector-meson and pseudoscalar-meson exchanges. With the one-boson-exchange potential obtained, bound states from the $\Sigma^*K$ and $\Sigma K^*$ interactions are searched for in a quasipotential Bethe-Saltpeter equation approach. A bound state with quantum number $I(J^P)=1/2(3/2^-)$ is produced from the $\Sigma^*K$ interaction, which can be identified as the $N(1875)$ listed in PDG. It can be seen as a strange partner of the LHCb pentaquark $P_c(4380)$ with the same quantum numbers in the molecular state picture. The $\Sigma K^*$ interaction also produces a bound state with quantum number $I(J^P)=1/2(3/2^-)$, which is related to experimentally observed $N(2100)$ in the $\phi$ photoproduction. Our results suggest that the $N(2120)$ observed in the $K\Lambda(1520)$ photoproduction and the $N(2100)$ observed in the $\phi$ photoproduction have different origins. The former is a conventional three-quark state while the latter is a $\Sigma K^*$ molecular state, which can be seen as a strange partner of the $P_c(4450)$ with different spin parity.


title: Collinear order and chirality-reorientation transition in the Cairo pentagonal magnet Bi$_4$Fe$_5$O$_{13}$F

abstract: We show that interlayer spins play a dual role in the Cairo pentagonal magnet Bi$_4$Fe$_5$O$_{13}$F, on one hand mediating the three-dimensional (3D) magnetic order and on the other driving spin-reorientation transitions both within and between the planes. The corresponding sequence of magnetic orders unraveled by neutron diffraction and M\"ossbauer spectroscopy features two orthogonal magnetic structures described by opposite local vector chiralities, and an intermediate, partly disordered phase with nearly collinear spins. A similar collinear phase has been predicted theoretically to be stabilized by quantum fluctuations, but Bi$_4$Fe$_5$O$_{13}$F is very far from the relevant parameter regime. While the observed in-plane reorientation cannot be explained by any standard frustration mechanism, our ab initio band-structure calculations reveal strong single-ion anisotropy of the interlayer Fe$^{3+}$ spins that turns out to be instrumental in controlling the local vector chirality and the associated interlayer order.


title: Parallel mean curvature surfaces in four-dimensional homogeneous spaces

abstract: We survey different classification results for surfaces with parallel mean curvature immersed into some Riemannian homogeneous four-manifolds, including real and complex space forms, and product spaces. We provide a common framework for this problem, with special attention to the existence of holomorphic quadratic differentials on such surfaces. The case of spheres with parallel mean curvature is also explained in detail, as well as the state-of-the-art advances in the general problem.


title: The Gaia-ESO Survey: Structural and dynamical properties of the young cluster Chamaeleon I

abstract: The young (~2 Myr) cluster Chamaeleon I is one of the closest laboratories to study the early stages of star cluster dynamics in a low-density environment. We studied its structural and kinematical properties combining parameters from the high-resolution spectroscopic survey Gaia-ESO with data from the literature. Our main result is the evidence of a large discrepancy between the velocity dispersion (sigma = 1.14 \pm 0.35 km s^{-1}) of the stellar population and the dispersion of the pre-stellar cores (~0.3 km s^{-1}) derived from submillimeter observations. The origin of this discrepancy, which has been observed in other young star clusters is not clear. It may be due to either the effect of the magnetic field on the protostars and the filaments, or to the dynamical evolution of stars driven by two-body interactions. Furthermore, the analysis of the kinematic properties of the stellar population put in evidence a significant velocity shift (~1 km s^{-1}) between the two sub-clusters located around the North and South main clouds. This result further supports a scenario, where clusters form from the evolution of multiple substructures rather than from a monolithic collapse. Using three independent spectroscopic indicators (the gravity indicator $\gamma$, the equivalent width of the Li line, and the H_alpha 10\% width), we performed a new membership selection. We found six new cluster members located in the outer region of the cluster. Starting from the positions and masses of the cluster members, we derived the level of substructure Q, the surface density \Sigma and the level of mass segregation $\Lambda_{MSR}$ of the cluster. The comparison between these structural properties and the results of N-body simulations suggests that the cluster formed in a low density environment, in virial equilibrium or supervirial, and highly substructured.


title: Optical properties of dielectric plates coated with gapped graphene

abstract: The optical properties of dielectric plates coated with gapped graphene are investigated on the basis of first principles of quantum electrodynamics. The reflection coefficients and reflectivities of graphene-coated plates are expressed in terms of the polarization tensor of gapped graphene and the dielectric permittivity of plate material. Simple approximate expressions for the required combinations of components of the polarization tensor applicable in the wide frequency region, where the presence of a gap influences the optical properties, are found. Numerical computations of the reflectivities of graphene-coated SiO${}_2$ plates are performed for different values of the mass-gap parameter at different temperatures. It is shown that with an increasing gap width the reflectivity of a graphene-coated plate at the normal incidence decreases by up to a factor of 8 depending on the values of frequency and mass-gap parameter. The angle dependences of reflectivities for both polarizations of the incident electromagnetic waves have been computed for Si and SiO${}_2$ plates coated with gapped graphene. We demonstrate that the TM reflectivity has a minimum value at some angle of incidence depending on the mass-gap parameter, frequency and temperature, whereas the TE reflectivity depends on the angle of incidence monotonously. However, for the graphene coatings with a nonzero mass-gap parameter the reflected light cannot be fully polarized. Possible applications of the obtained results are discussed.


title: Truncation-free Hybrid Inference for DPMM

abstract: Dirichlet process mixture models (DPMM) are a cornerstone of Bayesian non-parametrics. While these models free from choosing the number of components a-priori, computationally attractive variational inference often reintroduces the need to do so, via a truncation on the variational distribution. In this paper we present a truncation-free hybrid inference for DPMM, combining the advantages of sampling-based MCMC and variational methods. The proposed hybridization enables more efficient variational updates, while increasing model complexity only if needed. We evaluate the properties of the hybrid updates and their empirical performance in single- as well as mixed-membership models. Our method is easy to implement and performs favorably compared to existing schemas.


title: Grothendieck groups of categories of abelian varieties

abstract: We compute the Grothendieck group of the category of abelian varieties over an algebraically closed field $k$. We also compute the Grothendieck group of the category of $A$-isotypic abelian varieties, for any simple abelian variety $A$, assuming $k$ has characteristic 0, and for any elliptic curve $A$ in any characteristic.


title: Conjugates of integral functionals on continuous functions

abstract: This article gives necessary and sufficient conditions for the dual representation of Rockafellar in (Integrals which are convex functionals. II, Pacific J. Math., 39:439--469, 1971) for integral functionals on the space of continuous functions.


title: Uniform spaces and the Newtonian structure of (big)data affinity kernels

abstract: Let $X$ be a (data) set. Let $K(x,y)>0$ be a measure of the affinity between the data points $x$ and $y$. We prove that $K$ has the structure of a Newtonian potential $K(x,y)=\varphi(d(x,y))$ with $\varphi$ decreasing and $d$ a quasi-metric on $X$ under two mild conditions on $K$. The first is that the affinity of each $x$ to itself is infinite and that for $x\neq y$ the affinity is positive and finite. The second is a quantitative transitivity; if the affinity between $x$ and $y$ is larger than $\lambda>0$ and the affinity of $y$ and $z$ is also larger than $\lambda$, then the affinity between $x$ and $z$ is larger than $\nu(\lambda)$. The function $\nu$ is concave, increasing, continuous from $\mathbb{R}^+$ onto $\mathbb{R}^+$ with $\nu(\lambda)<\lambda$ for every $\lambda>0$.


title: Limit Theorems in Mallows Distance for Processes with Gibssian Dependence

abstract: In this paper, we explore the connection between convergence in distribution and Mallows distance in the context of positively associated random variables. Our results extend some known invariance principles for sequences with FKG property. Applications for processes with Gibbssian dependence structures are included.


title: Ferroelectric $\pi$-stacks of molecules with the energy gaps in the sunlight range

abstract: Ferroelectric $\pi$-stacked molecular wires for solar cell applications are theoretically designed, in such a way that their energy gaps fall within visible and infrared range of the Sun radiation. Band engineering is tailored by a modification of the number of the aromatic rings and via a choice of the number and kind of the dipole groups. The electronic structures of molecular wires and the chemical character of the electron-hole pair are analyzed within the density functional theory (DFT) framework and the hybrid DFT approach by means of the B3LYP scheme. Moreover, it is found that one of the advantageous properties of these systems - namely the separate-path electron and hole transport - reported earlier, still holds for the larger molecules, due to the dipole selection rules for the electron-hole generation, which do not allow the lowest optical transitions between the states localized at the same part of the molecule.


title: Control of surface induced phase separation in immiscible semiconductor alloy core-shell nanowires

abstract: Semiconductor nanowires have been shown to exhibit novel optoelectronic properties with respect to bulk specimens made of the same material. However, if a semiconductor alloy has a miscibility gap in its phase diagram, at equilibrium it will phase separate, leading to deterioration of the aforementioned properties. One way to prevent this separation is to grow the material at low temperatures and therefore to suppress kinetics. Such growth often needs to be followed by high-temperature annealing in order to rid the system of undesirable growth-induced defects. In this study, we propose a method to control phase separation in core-shell nanowires during high temperature annealing by tailoring geometry and strain. Using a phase field model we determined that phase separation in nanowires begins at the free surface and propagates into the bulk. We discovered that including a thin shell around the core delays the phase separation whereas a thick shell suppresses the separation almost entirely.


title: On Lie algebras associated with modules over polynomial rings

abstract: Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Define the Lie algebra $L_V=\mathbb K\langle P,Q\rangle \rightthreetimes V$ as the semidirect product of two abelian Lie algebras with the natural action of $\mathbb K\langle P,Q\rangle$ on $V$. We show that if $\mathbb K[x,y]$-modules $V$ and $W$ are isomorphic or weakly isomorphic, then the corresponding associated Lie algebras $L_V$ and $L_W$ are isomorphic. The converse is not true: we construct two $\mathbb K[x,y]$-modules $V$ and $W$ of dimension $4$ that are not weakly isomorphic but their associated Lie algebras are isomorphic. We characterize such pairs of $\mathbb K[x, y]$-modules of arbitrary dimension. We prove that indecomposable modules $V$ and $W$ with $\dim V=\dim W\geq 7$ are weakly isomorphic if and only if their associated Lie algebras $L_V$ and $L_W$ are isomorphic.


title: Generation of Union Closed Sets and Moore families

abstract: In this article we will describe an algorithm to constructively enumerate non-isomorphic Union closed Sets and Moore sets. We confirm the number of isomorphism classes of Union closed Sets and Moore sets on n<=6 elements presented by other authors and give the number of isomorphism classes of Union closed Sets and Moore sets on 7 elements. Due to the enormous growth of the number of isomorphism classes it seems unlikely that constructive enumeration for 8 or more elements will be possible in the foreseeable future.


title: Choice free Fixed Point Property in separable Banach spaces

abstract: We show that the standard approach of minimal invariant sets, which applies Zorn's Lemma and is used to prove fixed point theorems for non-expansive mappings in Banach spaces can be applied without any reference to the full Axiom of Choice when the given Banach space is separable. Our method applies results from classical and effective descriptive set theory.


title: Spectral and Energy Efficiency of Uplink D2D Underlaid Massive MIMO Cellular Networks

abstract: One of key 5G scenarios is that device-to-device (D2D) and massive multiple-input multiple-output (MIMO) will be co-existed. However, interference in the uplink D2D underlaid massive MIMO cellular networks needs to be coordinated, due to the vast cellular and D2D transmissions. To this end, this paper introduces a spatially dynamic power control solution for mitigating the cellular-to-D2D and D2D-to-cellular interference. In particular, the proposed D2D power control policy is rather flexible including the special cases of no D2D links or using maximum transmit power. Under the considered power control, an analytical approach is developed to evaluate the spectral efficiency (SE) and energy efficiency (EE) in such networks. Thus, the exact expressions of SE for a cellular user or D2D transmitter are derived, which quantify the impacts of key system parameters such as massive MIMO antennas and D2D density. Moreover, the D2D scale properties are obtained, which provide the sufficient conditions for achieving the anticipated SE. Numerical results corroborate our analysis and show that the proposed power control solution can efficiently mitigate interference between the cellular and D2D tier. The results demonstrate that there exists the optimal D2D density for maximizing the area SE of D2D tier. In addition, the achievable EE of a cellular user can be comparable to that of a D2D user.


title: LayerBuilder: Layer Decomposition for Interactive Image and Video Color Editing

abstract: Exploring and editing colors in images is a common task in graphic design and photography. However, allowing for interactive recoloring while preserving smooth color blends in the image remains a challenging problem. We present LayerBuilder, an algorithm that decomposes an image or video into a linear combination of colored layers to facilitate color-editing applications. These layers provide an interactive and intuitive means for manipulating individual colors. Our approach reduces color layer extraction to a fast iterative linear system. Layer Builder uses locally linear embedding, which represents pixels as linear combinations of their neighbors, to reduce the number of variables in the linear solve and extract layers that can better preserve color blending effects. We demonstrate our algorithm on recoloring a variety of images and videos, and show its overall effectiveness in recoloring quality and time complexity compared to previous approaches. We also show how this representation can benefit other applications, such as automatic recoloring suggestion, texture synthesis, and color-based filtering.


title: What Can I Do Now? Guiding Users in a World of Automated Decisions

abstract: More and more processes governing our lives use in some part an automatic decision step, where -- based on a feature vector derived from an applicant -- an algorithm has the decision power over the final outcome. Here we present a simple idea which gives some of the power back to the applicant by providing her with alternatives which would make the decision algorithm decide differently. It is based on a formalization reminiscent of methods used for evasion attacks, and consists in enumerating the subspaces where the classifiers decides the desired output. This has been implemented for the specific case of decision forests (ensemble methods based on decision trees), mapping the problem to an iterative version of enumerating $k$-cliques.


title: Quantitative in-situ monitoring of germinating barley seeds using X-ray dark-field radiography

abstract: During production of malt from barley seeds, cell walls and starch granules in the endosperm are degraded. Although this modification process is important for malt quality, the modification patterns of individual barley seeds have yet to be reported. The use of destructive microscopy methods have previously limited the investigations to ensemble averages. X-ray dark-field radiography is a recent non-destructive imaging method which is sensitive to microstructural variations. In this study, the method was applied for quantitative in-situ monitoring of barley seeds. Microstructural changes relating to water uptake and modification were monitored over a 43-55 h period. Sub-resolution stress cracks as well as a dark-field signal believed to originate from starch granules were detected. The evolution of the dark-field signal followed the known modification pattern in barley seeds. Through image analysis, quantitative parameters describing the movement of the front of the observed pattern were obtained. Based on these findings, X-ray dark-field radiography presents a possible novel approach to monitor the modification of germinating barley seeds.


title: Deep Probabilistic Programming

abstract: We propose Edward, a Turing-complete probabilistic programming language. Edward defines two compositional representations---random variables and inference. By treating inference as a first class citizen, on a par with modeling, we show that probabilistic programming can be as flexible and computationally efficient as traditional deep learning. For flexibility, Edward makes it easy to fit the same model using a variety of composable inference methods, ranging from point estimation to variational inference to MCMC. In addition, Edward can reuse the modeling representation as part of inference, facilitating the design of rich variational models and generative adversarial networks. For efficiency, Edward is integrated into TensorFlow, providing significant speedups over existing probabilistic systems. For example, we show on a benchmark logistic regression task that Edward is at least 35x faster than Stan and 6x faster than PyMC3. Further, Edward incurs no runtime overhead: it is as fast as handwritten TensorFlow.


title: Counting triangles, tunable clustering and the small-world property in random key graphs (Extended version)

abstract: Random key graphs were introduced to study various properties of the Eschenauer-Gligor key predistribution scheme for wireless sensor networks (WSNs). Recently this class of random graphs has received much attention in contexts as diverse as recommender systems, social network modeling, and clustering and classification analysis. This paper is devoted to analyzing various properties of random key graphs. In particular, we establish a zero-one law for the the existence of triangles in random key graphs, and identify the corresponding critical scaling. This zero-one law exhibits significant differences with the corresponding result in Erdos-Renyi (ER) graphs. We also compute the clustering coefficient of random key graphs, and compare it to that of ER graphs in the many node regime when their expected average degrees are asymptotically equivalent. For the parameter range of practical relevance in both wireless sensor network and social network applications, random key graphs are shown to be much more clustered than the corresponding ER graphs. We also explore the suitability of random key graphs as small world models in the sense of Watts and Strogatz.


title: The Velocity of the Propagating Wave for General Coupled Scalar Systems

abstract: We consider spatially coupled systems governed by a set of scalar density evolution equations. Such equations track the behavior of message-passing algorithms used, for example, in coding, sparse sensing, or constraint-satisfaction problems. Assuming that the "profile" describing the average state of the algorithm exhibits a solitonic wave-like behavior after initial transient iterations, we derive a formula for the propagation velocity of the wave. We illustrate the formula with two applications, namely Generalized LDPC codes and compressive sensing.


title: Performance of a novel PMMA polymer imaging bundle for field acquisition and wavefront sensing

abstract: Imaging bundles provide a convenient way to translate a spatially coherent image, yet conventional imaging bundles made from silica fibre optics typically remain expensive with large losses due to poor filling factors (~40%). We present the characterisation of a novel polymer imaging bundle made from poly(methyl methacrylate) (PMMA) that is considerably cheaper and a better alternative to silica imaging bundles over short distances (~1 m; from the middle to the edge of a telescope's focal plane). The large increase in filling factor (92% for the polymer imaging bundle) outweighs the large increase in optical attenuation from using PMMA (1 dB/m) instead of silica (10^{-3} dB/m). We present and discuss current and possible future multi-object applications of the polymer imaging bundle in the context of astronomical instrumentation including: field acquisition, guiding, wavefront sensing, narrow-band imaging, aperture masking, and speckle imaging. The use of PMMA limits its use in low light applications (e.g. imaging of galaxies), however it is possible to fabricate polymer imaging bundles from a range of polymers that are better suited to the desired science.


title: Compositional study of asteroids in the Erigone collisional family using visible spectroscopy at the 10.4 m GTC

abstract: Two primitive near Earth asteroids, (101955) Bennu and (162173) Ryugu, will be visited by a spacecraft with the aim of returning samples back to Earth. Since these objects are believed to originate in the inner main belt primitive collisional families (Erigone, Polana, Clarissa, and Sulamitis) or in the background of asteroids outside these families, the characterization of these primitive populations will enhance the scientific return of the missions. The main goal of this work is to shed light on the composition of the Erigone collisional family by means of visible spectroscopy. Asteroid (163) Erigone has been classified as a primitive object, and we expect the members of this family to be consistent with the spectral type of the parent body. We have obtained visible spectra (0.5 to 0.9 microns) for 101 members of the Erigone family, using the OSIRIS instrument at the 10.4 m Gran Telescopio Canarias. We found that 87 percent of the objects have typically primitive visible spectra consistent with that of (163) Erigone. In addition, we found that a significant fraction of these objects (approximately 50 percent) present evidence of aqueous alteration.


title: Statics and dynamics of a self-bound dipolar matter-wave droplet

abstract: We study the statics and dynamics of a stable, mobile, self-bound three-dimensional dipolar matter-wave droplet created in the presence of a tiny repulsive three-body interaction. In frontal collision with an impact parameter and in angular collision at large velocities {along all directions} two droplets behave like quantum solitons. Such collision is found to be quasi elastic and the droplets emerge undeformed after collision without any change of velocity. However, in a collision at small velocities the axisymmeric dipolar interaction plays a significant role and the collision dynamics is sensitive to the direction of motion. For an encounter along the $z$ direction at small velocities, two droplets, polarized along the $z$ direction, coalesce to form a larger droplet $-$ a droplet molecule. For an encounter along the $x$ direction at small velocities, the same droplets stay apart and never meet each other due to the dipolar repulsion. The present study is based on an analytic variational approximation and a numerical solution of the mean-field Gross-Pitaevskii equation using the parameters of $^{52}$Cr atoms.


title: Elastic collision and molecule formation of spatiotemporal light bullets in a cubic-quintic nonlinear medium

abstract: We consider the statics and dynamics of a stable, mobile three-dimensional (3D) spatiotemporal light bullet in a cubic-quintic nonlinear medium with a focusing cubic nonlinearity above a critical value and any defocusing quintic nonlinearity. The 3D light bullet can propagate with a constant velocity in any direction. Stability of the light bullet under a small perturbation is established numerically.We consider frontal collision between two light bullets with different relative velocities. At large velocities the collision is elastic with the bullets emerge after collision with practically no distortion. At small velocities two bullets coalesce to form a bullet molecule. At a small range of intermediate velocities the localized bullets could form a single entity which expands indefinitely leading to a destruction of the bullets after collision. The present study is based on an analytic Lagrange variational approximation and a full numerical solution of the 3D nonlinear Schr\"odinger equation.


title: The Velocity of the Decoding Wave for Spatially Coupled Codes on BMS Channels

abstract: We consider the dynamics of belief propagation decoding of spatially coupled Low-Density Parity-Check codes. It has been conjectured that after a short transient phase, the profile of "error probabilities" along the spatial direction of a spatially coupled code develops a uniquely-shaped wave-like solution that propagates with constant velocity v. Under this assumption, and for transmission over general Binary Memoryless Symmetric channels, we derive a formula for v. We also propose approximations that are simpler to compute and support our findings using numerical data.


title: Accurate halo-galaxy mocks from automatic bias estimation and particle mesh gravity solvers

abstract: Reliable extraction of cosmological information from clustering measurements of galaxy surveys requires estimation of the error covariance matrices of observables. The accuracy of covariance matrices is limited by our ability to generate sufficiently large number of independent mock catalogs that can describe the physics of galaxy clustering across a wide range of scales. Furthermore, galaxy mock catalogs are required to study systematics in galaxy surveys and to test analysis tools. In this investigation, we present a fast and accurate approach for generation of mock catalogs for the upcoming galaxy surveys. Our method relies on low-resolution approximate gravity solvers to simulate the large scale dark matter field, which we then populate with halos according to a flexible nonlinear and stochastic bias model. In particular, we extend the \textsc{patchy} code with an efficient particle mesh algorithm to simulate the dark matter field (the \textsc{FastPM} code), and with a robust MCMC method relying on the \textsc{emcee} code for constraining the parameters of the bias model. Using the halos in the BigMultiDark high-resolution $N$-body simulation as a reference catalog, we demonstrate that our technique can model the bivariate probability distribution function (counts-in-cells), power spectrum, and bispectrum of halos in the reference catalog. Specifically, we show that the new ingredients permit us to reach percentage accuracy in the power spectrum up to $k\sim 0.4\; \,h\,{\rm Mpc}^{-1}$ (within 5\% up to $k\sim 0.6\; \,h\,{\rm Mpc}^{-1}$) with accurate bispectra improving previous results based on Lagrangian perturbation theory.


title: The 2-adic complexity of a class of binary sequences with almost optimal autocorrelation

abstract: Pseudo-random sequences with good statistical property, such as low autocorrelation, high linear complexity and large 2-adic complexity, have been applied in stream cipher. In general, it is difficult to give both the linear complexity and 2-adic complexity of a periodic binary sequence. Cai and Ding \cite{Cai Ying} gave a class of sequences with almost optimal autocorrelation by constructing almost difference sets. Wang \cite{Wang Qi} proved that one type of those sequences by Cai and Ding has large linear complexity. Sun et al. \cite{Sun Yuhua} showed that another type of sequences by Cai and Ding has also large linear complexity. Additionally, Sun et al. also generalized the construction by Cai and Ding using $d$-form function with difference-balanced property. In this paper, we first give the detailed autocorrelation distribution of the sequences was generalized from Cai and Ding \cite{Cai Ying} by Sun et al. \cite{Sun Yuhua}. Then, inspired by the method of Hu \cite{Hu Honggang}, we analyse their 2-adic complexity and give a lower bound on the 2-adic complexity of these sequences. Our result show that the 2-adic complexity of these sequences is at least $N-\mathrm{log}_2\sqrt{N+1}$ and that it reach $N-1$ in many cases, which are large enough to resist the rational approximation algorithm (RAA) for feedback with carry shift registers (FCSRs).


title: Analysis of Coupled Scalar Systems by Displacement Convexity

abstract: Potential functionals have been introduced recently as an important tool for the analysis of coupled scalar systems (e.g. density evolution equations). In this contribution, we investigate interesting properties of this potential. Using the tool of displacement convexity, we show that, under mild assumptions on the system, the potential functional is displacement convex. Furthermore, we give the conditions on the system such that the potential is strictly displacement convex, in which case the minimizer is unique.


title: Complexity of regular bifix-free languages

abstract: We study descriptive complexity properties of the class of regular bifix-free languages, which is the intersection of prefix-free and suffix-free regular languages. We show that there exist a single ternary universal (stream of) bifix-free languages that meet all the bounds for the state complexity basic operations (Boolean operations, product, star, and reversal). This is in contrast with suffix-free languages, where it is known that there does not exist such a stream. Then we present a stream of bifix-free languages that is most complex in terms of all basic operations, syntactic complexity, and the number of atoms and their complexities, which requires a superexponential alphabet. We also complete the previous results by characterizing state complexity of product, star, and reversal, and establishing tight upper bounds for atom complexities of bifix-free languages. We show that to meet the bound for reversal we require at least 3 letters and to meet the bound for atom complexities $n+1$ letters are sufficient and necessary. For the cases of product, star, and reversal we show that there are no gaps (magic numbers) in the interval of possible state complexities of the languages resulted from an operation; in particular, the state complexity of the product $L_m L_n$ is always $m+n-2$, while of the star is either $n-1$ or $n-2$.


title: A General Approach for Cure Models in Survival Analysis

abstract: In survival analysis it often happens that some subjects under study do not experience the event of interest; they are considered to be `cured'. The population is thus a mixture of two subpopulations: the one of cured subjects, and the one of `susceptible' subjects. When covariates are present, a so-called mixture cure model can be used to model the conditional survival function of the population. It depends on two components: the probability of being cured and the conditional survival function of the susceptible subjects. In this paper we propose a novel approach to estimate a mixture cure model when the data are subject to random right censoring. We work with a parametric model for the cure proportion (like e.g. a logistic model), while the conditional survival function of the uncured subjects is unspecified. The approach is based on an inversion which allows to write the survival function as a function of the distribution of the observable random variables. This leads to a very general class of models, which allows a flexible and rich modeling of the conditional survival function. We show the identifiability of the proposed model, as well as the weak consistency and the asymptotic normality of the model parameters. We also consider in more detail the case where kernel estimators are used for the nonparametric part of the model. The new estimators are compared with the estimators from a Cox mixture cure model via finite sample simulations. Finally, we apply the new model and estimation procedure on two medical data sets.


title: The structural constraints of income inequality in Latin America

abstract: Recent work has shown that a country's productive structure constrains its level of economic growth and income inequality. Here, we compare the productive structure of countries in Latin America and the Caribbean (LAC) with that of China and other High-Performing Asian Economies (HPAE) to expose the increasing gap in their productive capabilities. Moreover, we use the product space and the Product Gini Index to reveal the structural constraints on income inequality. Our network maps reveal that HPAE have managed to diversify into products typically produced by countries with low levels of income inequality, while LAC economies have remained dependent on products related to high levels of income inequality. We also introduce the Xgini, a coefficient that captures the constraints on income inequality imposed by the mix of products a country makes. Finally, we argue that LAC countries need to emphasize a smart combination of social and economic policies to overcome the structural constraints for inclusive growth.


title: A note on Dirichlet $L$-functions

abstract: We study the relation between the size of $L(1,\chi)$ and the width of the zero-free interval to the left of that point.


title: Additive Partially Linear Models for Massive Heterogeneous Data

abstract: We consider an additive partially linear framework for modelling massive heterogeneous data. The major goal is to extract multiple common features simultaneously across all sub-populations while exploring heterogeneity of each sub-population. We propose an aggregation type of estimators for the commonality parameters that possess the asymptotic optimal bounds and the asymptotic distributions as if there were no heterogeneity. This oracle result holds when the number of sub-populations does not grow too fast and the tuning parameters are selected carefully. A plug-in estimator for the heterogeneity parameter is further constructed, and shown to possess the asymptotic distribution as if the commonality information were available. Furthermore, we develop a heterogeneity test for the linear components and a homogeneity test for the non-linear components accordingly. The performance of the proposed methods is evaluated via simulation studies and an application to the Medicare Provider Utilization and Payment data.


title: Model Theory and Proof Theory of Coalgebraic Predicate Logic

abstract: We propose a generalization of first-order logic originating in a neglected work by C.C. Chang: a natural and generic correspondence language for any types of structures which can be recast as Set-coalgebras. We discuss axiomatization and completeness results for several natural classes of such logics. Moreover, we show that an entirely general completeness result is not possible. We study the expressive power of our language, both in comparison with coalgebraic hybrid logics and with existing first-order proposals for special classes of Set-coalgebras (apart from relational structures, also neighbourhood frames and topological spaces). Basic model-theoretic constructions and results, in particular ultraproducts, obtain for the two classes that allow completeness---and in some cases beyond that. Finally, we discuss a basic sequent system, for which we establish a syntactic cut-elimination result.


title: Linear Hypergraph List Edge Coloring - Generalizations of the EFL Conjecture to List Coloring

abstract: Motivated by the Erd\H{o}s-Faber-Lov\'asz (EFL) conjecture for hypergraphs, we consider the list edge coloring of linear hypergraphs. We discuss several conjectures for list edge coloring linear hypergraphs that generalize both EFL and Vizing's theorem for graphs. For example, we conjecture that in a linear hypergraph of rank 3, the list edge chromatic number is at most 2 times the maximum degree plus 1. We show that for sufficiently large fixed rank and sufficiently large degree, the conjectures are true.


title: Percolation thresholds for photonic quantum computing

abstract: Any quantum algorithm can be implemented by an adaptive sequence of single node measurements on an entangled cluster of qubits in a square lattice topology. Photons are a promising candidate for encoding qubits but assembling a photonic entangled cluster with linear optical elements relies on probabilistic operations. Given a supply of $n$-photon-entangled microclusters, using a linear optical circuit and photon detectors, one can assemble a random entangled state of photons that can be subsequently "renormalized" into a logical cluster for universal quantum computing. In this paper, we prove that there is a fundamental tradeoff between $n$ and the minimum success probability $\lambda_c^{(n)}$ that each two-photon linear-optical fusion operation must have, in order to guarantee that the resulting state can be renormalized: $\lambda_c^{(n)} \ge 1/(n-1)$. We present a new way of formulating this problem where $\lambda_c^{(n)}$ is the bond percolation threshold of a logical graph and provide explicit constructions to produce a percolated cluster using $n=3$ photon microclusters (GHZ states) as the initial resource. We settle a heretofore open question by showing that a renormalizable cluster can be created with $3$-photon microclusters over a 2D graph without feedforward, which makes the scheme extremely attractive for an integrated-photonic realization. We also provide lattice constructions, which show that $0.5 \le \lambda_c^{(3)} \le 0.5898$, improving on a recent result of $\lambda_c^{(3)} \le 0.625$. Finally, we discuss how losses affect the bounds on the threshold, using loss models inspired by a recently-proposed method to produce photonic microclusters using quantum dot emitters.


title: The discoveries of WASP-91b, WASP-105b and WASP-107b: two warm Jupiters and a planet in the transition region between ice giants and gas giants

abstract: We report the discoveries of three transiting exoplanets. WASP-91b is a warm Jupiter (1.34 $M_{\rm Jup}$, 1.03 $R_{\rm Jup}$) in a 2.8-day orbit around a metal-rich K3 star. WASP-105b is a warm Jupiter (1.8 $M_{\rm Jup}$, 0.96 $R_{\rm Jup}$) in a 7.9-day orbit around a metal-rich K2 star. WASP-107b is a warm super-Neptune/sub-Saturn (0.12 $M_{\rm Jup}$, 0.94 $R_{\rm Jup}$) in a 5.7-day orbit around a solar-metallicity K6 star. Considering that giant planets seem to be more common around stars of higher metallicity and stars of higher mass, it is notable that the hosts are all metal-rich, late-type stars. With orbital separations that place both WASP-105b and WASP-107b in the weak-tide regime, measurements of the alignment between the planets' orbital axes and their stars' spin axes may help us to understand the inward migration of short-period, giant planets. The mass of WASP-107b (2.2 $M_{\rm Nep}$, 0.40 $M_{\rm Sat}$) places it in the transition region between the ice giants and gas giants of the Solar System. Its radius of 0.94 $R_{\rm Jup}$ suggests that it is a low-mass gas giant with a H/He-dominated composition. The planet thus sets a lower limit of 2.2 $M_{\rm Nep}$ on the planetary mass above which large gaseous envelopes can be accreted and retained by proto-planets on their way to becoming gas giants. We may discover whether WASP-107b more closely resembles an ice giant or a gas giant by measuring its atmospheric metallicity via transmission spectroscopy, for which WASP-107b is a very good target.


title: Self-Consistent Black Hole Accretion Spectral Models and the Forgotten Role of Coronal Comptonization of Reflection Emission

abstract: Continuum and reflection spectral models have each been widely employed in measuring the spins of accreting black holes. However, the two approaches have not been implemented together in a photon-conserving, self-consistent framework. We develop such a framework using the black-hole X-ray binary GX 339-4 as a touchstone source, and we demonstrate three important ramifications: (1) Compton scattering of reflection emission in the corona is routinely ignored, but is an essential consideration given that reflection is linked to the regimes with strongest Comptonization. Properly accounting for this causes the inferred reflection fraction to increase substantially, especially for the hard state. Another important impact of the Comptonization of reflection emission by the corona is the downscattered tail. Downscattering has the potential to mimic the relativistically-broadened red wing of the Fe line associated with a spinning black hole. (2) Recent evidence for a reflection component with a harder spectral index than the power-law continuum is naturally explained as Compton-scattered reflection emission. (3) Photon conservation provides an important constraint on the hard state's accretion rate. For bright hard states, we show that disk truncation to large scales (R much larger than the ISCO radius) is unlikely as this would require accretion rates far in excess of the brightest soft states. Our principal conclusion is that when modeling relativistically-broadened reflection, spectral models should allow for coronal Compton scattering of the reflection features, and when possible, take advantage of the additional constraining power from linking to the thermal disk component.


title: Aspects of algebraic Algebras

abstract: In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces.


title: Tumour Ellipsification in Ultrasound Images for Treatment Prediction in Breast Cancer

abstract: Recent advances in using quantitative ultrasound (QUS) methods have provided a promising framework to non-invasively and inexpensively monitor or predict the effectiveness of therapeutic cancer responses. One of the earliest steps in using QUS methods is contouring a region of interest (ROI) inside the tumour in ultrasound B-mode images. While manual segmentation is a very time-consuming and tedious task for human experts, auto-contouring is also an extremely difficult task for computers due to the poor quality of ultrasound B-mode images. However, for the purpose of cancer response prediction, a rough boundary of the tumour as an ROI is only needed. In this research, a semi-automated tumour localization approach is proposed for ROI estimation in ultrasound B-mode images acquired from patients with locally advanced breast cancer (LABC). The proposed approach comprised several modules, including 1) feature extraction using keypoint descriptors, 2) augmenting the feature descriptors with the distance of the keypoints to the user-input pixel as the centre of the tumour, 3) supervised learning using a support vector machine (SVM) to classify keypoints as "tumour" or "non-tumour", and 4) computation of an ellipse as an outline of the ROI representing the tumour. Experiments with 33 B-mode images from 10 LABC patients yielded promising results with an accuracy of 76.7% based on the Dice coefficient performance measure. The results demonstrated that the proposed method can potentially be used as the first stage in a computer-assisted cancer response prediction system for semi-automated contouring of breast tumours.


title: Generalised Majority Colourings of Digraphs

abstract: The purpose of this note is to draw attention to problems related to a concept called majority colouring recently studied by Kreutzer, Oum, Seymour, van der Zypen and Wood. They raised a problem of determining, for a natural number $k$, the smallest number $m=m(k)$ such that every digraph can be coloured with $m$ colours where each vertex has the same colour as at most $1/k$ proportion of its out-neighbours. We show that $m(k)\in\{2k-1,2k\}$. We also prove a result supporting the conjecture that $m(2)=3$. Moreover, we prove similar results for a more general concept called majority choosability.


title: Evolutionary Description of Giant Molecular Cloud Mass Functions on Galactic Disks

abstract: Recent radio observations show that the giant molecular cloud (GMC) mass functions noticeably vary across galactic disks. High-resolution magnetohydrodynamics simulations show that multiple episodes of compression are required for creating a molecular cloud in the magnetized interstellar medium. In this article, we formulate the evolution equation for the GMC mass function to reproduce the observed profiles, for which multiple compression are driven by the network of expanding shells due to HII regions and supernova remnants. We introduce the cloud-cloud collision (CCC) terms in the evolution equation in contrast to the previous work (Inutsuka et al. 2015). The computed time evolution suggests that the GMC mass function slope is governed by the ratio of GMC formation timescale to its dispersal timescale, and that the CCC effect is limited only in the massive-end of the mass function. In addition, we identify a gas resurrection channel that allows the gas dispersed by massive stars to regenerate GMC populations or to accrete onto the pre-existing GMCs. Our results show that almost all of the dispersed gas contribute to the mass growth of pre-existing GMCs in arm regions whereas less than 60 per cent in inter-arm regions. Our results also predict that GMC mass functions have a single power-law exponent in the mass range < 10^5.5 Msun (where Msun represents the solar mass), which is well characterized by GMC self-growth and dispersal timescales. Measurement of the GMC mass function slope provides a powerful method to constrain those GMC timescales and the gas resurrecting factor in various environment across galactic disks.


title: Candidates for Universal Measures of Multipartite Entanglement

abstract: We propose and examine several candidates for universal multipartite entanglement measures. The most promising candidate for applications needing entanglement in the full Hilbert space is the ent-concurrence, which detects all entanglement correlations while distinguishing between different types of distinctly multipartite entanglement, and simplifies to the concurrence for two-qubit mixed states. For applications where subsystems need internal entanglement, we develop the absolute ent-concurrence which detects the entanglement in the reduced states as well as the full state.