title: Prediction of tool-wear in turning of medical grade cobalt chromium molybdenum alloy (ASTM F75) using non-parametric Bayesian models

abstract: We present a novel approach to estimating the effect of control parameters on tool wear rates and related changes in the three force components in turning of medical grade Co-Cr-Mo (ASTM F75) alloy. Co-Cr-Mo is known to be a difficult to cut material which, due to a combination of mechanical and physical properties, is used for the critical structural components of implantable medical prosthetics. We run a designed experiment which enables us to estimate tool wear from feed rate and cutting speed, and constrain them using a Bayesian hierarchical Gaussian Process model which enables prediction of tool wear rates for untried experimental settings. The predicted tool wear rates are non-linear and, using our models, we can identify experimental settings which optimise the life of the tool. This approach has potential in the future for realtime application of data analytics to machining processes.


title: Protection of Hardware: Powering Systems (Power Converter, Normal Conducting, and Superconducting Magnets)

abstract: Along with the protection of magnets and power converters, we have added a section on personnel protection because this is our highest priority in the design and operation of power systems. Thus, our topics are the protection of people, power converters, and magnet loads (protected from the powering equipment), including normal conducting magnets and superconducting magnets.


title: Effective stiffness and formation of secondary structures in a protein-like model

abstract: We use Wang-Landau and replica exchange techniques to study the effect of an increasing stiffness on the formation of secondary structures in protein-like systems. Two possible models are considered. In both models, a polymer chain is formed by tethered beads where non-consecutive backbone beads attract each other via a square-well potential representing the tendency of the chain to fold. In addition, smaller hard spheres are attached to each non-terminal backbone bead along the direction normal to the chain to mimic the steric hindrance of side chains in real proteins. The two models, however, differ in the way bending rigidity is enforced. In the first model, partial overlap between consecutive beads is allowed. This reduces the possible bending angle between consecutive bonds thus producing an effective entropic stiffness that competes with a short-range attraction, and leads to a formation of secondary structures characteristic of proteins. We discuss the low-temperature phase diagram as a function of increasing interpenetration, and find a transition from a planar, beta-like structure, to helical shape. In the second model, an energetic stiffness is explicitly introduced by imposing an infinitely large energy penalty for bending above a critical angle between consecutive bonds, and no penalty below it. The low-temperature phase of this model does not show any sign of protein-like secondary structures. At intermediate temperatures, however, where the chain is still in the coil conformation but stiffness is significant, we find the two models to predict a quite similar dependence of the persistence length as a function of the stiffness. This behaviour is rationalized in terms of a simple geometrical mapping between the two models. Finally, we discuss the effect of shrinking side chains to zero, and find the above mapping to still hold true.


title: Rigidity and Flexibility for Handlebody Groups

abstract: We show that finite index subgroups of the handlebody group are rigid in their ambient mapping class group: any injective map of a finite index subgroup of the genus $g$ handlebody group into the genus $g$ mapping class group is conjugation by a mapping class group element. On the other hand, we construct an injection of the genus $g$ handlebody group into a genus $h>g$ mapping class group which is not conjugate into a handlebody group.


title: Orbital obliquities of transiting planets from starspot occultations

abstract: When a planet passes in front of a starspot during a transit of its host star, it causes a small upward blip in the light curve. Modelling the transit with the starspot allows the size, brightness and position of the spot to be measured. If the same spot can be observed in two different transits, it is possible to track the motion of the spot due to the rotation of the star. The rotation period and velocity of the star (Prot and Vsini) and the sky-projected orbital obliquity of the system (lambda) can then be determined. If one has three or more observations of the same spot, the true orbital obliquity (psi) can be measured. We are performing this analysis for a number of cool stars orbited by transiting planets. We present our results so far and compile a catalogue of lambda and psi measurements from spot crossing events. The method is particularly useful for cool stars, and is therefore complementary to studies of the Rossiter-McLaughlin effect, which perform better on hotter and faster-rotating stars.


title: Protection of Accelerator Hardware: RF systems

abstract: The radio-frequency (RF) system is the key element that generates electric fields for beam acceleration. To keep the system reliable, a highly sophisticated protection scheme is required, which also should be designed to ensure a good balance between beam availability and machine safety. Since RF systems are complex, incorporating high-voltage and high-power equipment, a good portion of machine downtime typically comes from RF systems. Equipment and component damage in RF systems results in long and expensive repairs. Protection of RF system hardware is one of the oldest machine protection concepts, dealing with the protection of individual high-power RF equipment from breakdowns. As beam power increases in modern accelerators, the protection of accelerating structures from beam-induced faults also becomes a critical aspect of protection schemes. In this article, an overview of the RF system is given, and selected topics of failure mechanisms and examples of protection requirements are introduced.


title: Sharp Chandra View of ROSAT All-Sky Survey Bright Sources: I. Improvement of Positional Accuracy

abstract: The ROSAT All-Sky Survey (RASS) represents one of the most complete and sensitive soft X-ray all-sky surveys to date. However, the deficient positional accuracy of the RASS Bright Source Catalog (BSC) and subsequent lack of firm optical identifications affect the multi-wavelength studies of X-ray sources. The widely used positional errors $\sigma_{pos}$ based on the Tycho Stars Catalog (Tycho-1) have previously been applied for identifying objects in the optical band. The considerably sharper Chandra view covers a fraction of RASS sources, whose $\sigma_{pos}$ could be improved by utilizing the sub-arcsec positional accuracy of Chandra observations. We cross-match X-ray objects between the BSC and \emph{Chandra} sources extracted from the Advanced CCD Imaging Spectrometer (ACIS) archival observations. A combined counterparts list (BSCxACIS) with \emph{Chandra} spatial positions weighted by the X-ray flux of multi-counterparts is employed to evaluate and improve the former identifications of BSC with the other surveys. Based on these identification evaluations, we suggest that the point-likeness of BSC sources and INS (isolated neutron stars) candidates should be carefully reconsidered.


title: Bragg projection ptychography on niobium phase domain

abstract: We demonstrate that the highly sensitive phase-contrast properties of Bragg coherent diffraction measurements combined with the translational diversity of ptychography can provide a Bragg "dark field" imaging method capable of revealing the finger print of domain structure in metallic thin films. Experimental diffraction data was taken from a epitaxially grown niobium metallic thin film on sapphire; and analysed with the help of a careful combination of implemented refinement mechanisms.


title: Simulating V+jet processes in heavy ion collisions with JEWEL

abstract: Processes in which a jet recoils against an electroweak boson complement studies of jet quenching in heavy ion collisions at the LHC. As the boson does not interact strongly it escapes the dense medium unmodified and thus provides a more direct access to the hard scattering kinematics than can be obtained in di-jet events. First measurements of jet modification in these processes are now available from the LHC experiments and will improve greatly with better statistics in the future. We present an extension of JEWEL to boson-jet processes. JEWEL is a dynamical framework for jet evolution in a dense background based on perturbative QCD, that is in agreement with a large variety of jet observables. We also obtain a good description of the CMS and ATLAS data for y+jet and Z+jet processes at 2.76 TeV and 5.02 TeV.


title: Estimation from Indirect Supervision with Linear Moments

abstract: In structured prediction problems where we have indirect supervision of the output, maximum marginal likelihood faces two computational obstacles: non-convexity of the objective and intractability of even a single gradient computation. In this paper, we bypass both obstacles for a class of what we call linear indirectly-supervised problems. Our approach is simple: we solve a linear system to estimate sufficient statistics of the model, which we then use to estimate parameters via convex optimization. We analyze the statistical properties of our approach and show empirically that it is effective in two settings: learning with local privacy constraints and learning from low-cost count-based annotations.


title: Dispersion Relation of a Surface Wave at a Rough Metal-Air Interface

abstract: We derived a dispersion relation of a surface wave at a rough metal-air interface. In contrast to previous publications, we assumed that an intrinsic surface impedance due to a finite electric conductivity of the metal can be of the same order as the roughness-induced impedance. We then applied our results to the analysis of a long-standing problem of the discrepancy between the experimental data on the propagation of surface waves in the terahertz range of frequencies and the classical Drude theory.


title: Detecting non-binomial sex allocation when developmental mortality operates

abstract: Optimal sex allocation theory is one of the most intricately developed areas of evolutionary ecology. Under a range of conditions, particularly under population sub-division, selection favours sex being allocated to offspring non-randomly, generating non-binomial variances of offspring group sex ratios. Detecting non-binomial sex allocation is complicated by stochastic developmental mortality, as offspring sex can often only be identified on maturity with the sex of non-maturing offspring remaining unknown. We show that current approaches for detecting non-binomiality have limited ability to detect non-binomial sex allocation when developmental mortality has occurred. We present a new procedure using an explicit model of sex allocation and mortality and develop a Bayesian model selection approach (available as an R package). We use the double and multiplicative binomial distributions to model over- and under-dispersed sex allocation and show how to calculate Bayes factors for comparing these alternative models to the null hypothesis of binomial sex allocation. The ability to detect non-binomial sex allocation is greatly increased, particularly in cases where mortality is common. The use of Bayesian methods allows for the quantification of the evidence in favour of each hypothesis, and our modelling approach provides an improved descriptive capability over existing approaches. We use a simulation study to demonstrate substantial improvements in power for detecting non-binomial sex allocation in situations where current methods fail, and we illustrate the approach in real scenarios using empirically obtained datasets on the sexual composition of groups of gregarious parasitoid wasps.


title: The radiative proton capture on 16O at astrophysical energies

abstract: The possibility of description of the experimental data for the astrophysical S-factor of the proton radiative capture on 16O to the ground and first excited states of 17F was considered in the frame of the modified potential cluster model with forbidden states and classification of the states according to Young tableaux. It was shown that on the basis of the E1 transitions from the P states of p16O scattering to the bound states of 17F in the p16O channel, it generally succeed to explain the value of measured astrophysical S-factors and reaction rates at astrophysical energies.


title: Do general relativistic effects limit experiments to test the universality of free fall and the weak equivalence principle?

abstract: The Universality of Free Fall and the Weak Equivalence Principle, which are at the basis of General Relativity, have been confirmed to 1 part in 10^13. Space experiments with macroscopic test masses of different composition orbiting the Earth inside a low altitude satellite aim at improving this precision by two orders of magnitude (with the Microscope satellite, launched on 25 April 2016) and up to four orders of magnitude (with the 'Galileo Galilei' - GG satellite). At such a high precision many tiny effects must be taken into account in order to be ruled out as the source of a spurious violation signal. In this work we investigate the general relativistic effects, including those which involve the rotation of both the source body and the test masses, and show that they are by far too small to be considered even in the most challenging experiment. (Paper to appear on Physical Review D)


title: Hamiltonian cycles in some family of cubic $3$-connected plane graphs

abstract: Barnette conjectured that all cubic $3$-connected plane graphs with maximum face size at most $6$ are hamiltonian. We provide a method of construction of a hamiltonian cycle (in dual terms) in an arbitrary cubic, $3$-connected plane graph possessing such a face $g$ that every face incident with $g$ has at most $5$ edges and every other face has at most $6$ edges.


title: Semi-derived Ringel-Hall algebras and Drinfeld double

abstract: Let $\mathcal{A}$ be an arbitrary hereditary abelian category that may not have enough projective objects. For example, $\mathcal{A}$ can be the category of finite-dimensional representations of a quiver or the category of coherent sheaves on a smooth projective curve or on a weighted projective line. Inspired by the works of Bridgeland and Gorsky, we define the semi-derived Ringel-Hall algebra of $\mathcal{A}$, denoted by $\mathcal{S}\mathcal{D}\mathcal{H}_{\mathbb{Z}/2}(\mathcal{A})$, to be the localization of a quotient algebra of the Ringel-Hall algebra of the category of $\mathbb{Z}/2$-graded complexes over $\mathcal{A}$. We obtain the following three main results. The semi-derived Ringel-Hall algebra has a natural basis. A twisted version of the semi-derived Ringel-Hall algebra of $\mathcal{A}$ is isomorphic to the Drinfeld double of the twisted extended Ringel-Hall algebra $\mathcal{H}_{tw}^e(\mathcal{A})$ of $\mathcal{A}$. If $\mathcal{A}$ has a tilting object $T$, then its semi-derived Ringel-Hall algebra is isomorphic to the $\mathbb{Z}/2$-graded semi-derived Hall algebra $\mathcal{S}\mathcal{D}\mathcal{H}_{\mathbb{Z}/2}(\mathrm{add} T)$ of the exact category $\mathrm{add} T$ defined by Gorsky, and so is isomorphic to Bridgeland's Hall algebra of $\mod (\mathrm{End}(T)^{op})$.


title: Higher Order Cut Finite Elements for the Wave Equation

abstract: The scalar wave equation is solved using higher order immersed finite elements. We demonstrate that higher order convergence can be obtained. Small cuts with the background mesh are stabilized by adding penalty terms to the weak formulation. This ensures that the condition numbers of the mass and stiffness matrix are independent of how the boundary cuts the mesh. The penalties consist of jumps in higher order derivatives integrated over the interior faces of the elements cut by the boundary. The dependence on the polynomial degree of the condition number of the stabilized mass matrix is estimated. We conclude that the condition number grows extremely fast when increasing the polynomial degree of the finite element space. The time step restriction of the resulting system is investigated numerically and is concluded not to be worse than for a standard (non-immersed) finite element method.


title: Robust Output Regulation for Continuous-Time Periodic Systems

abstract: We consider controller design for robust output tracking and disturbance rejection for continuous-time periodic linear systems with periodic reference and disturbance signals. As our main results we present four different controllers: A feedforward control law and a discrete-time dynamic error feedback controller for output tracking and disturbance rejection, a robust discrete-time feedback controller, and finally a discrete-time feedback controller that achieves approximate robust output tracking and disturbance rejection. The presented constructions are also new for time-invariant finite and infinite-dimensional systems. The results are illustrated with two examples: A periodically time-dependent system of harmonic oscillators and a nonautonomous two-dimensional heat equation with boundary disturbance.


title: Neyman-Pearson (NP) classification algorithms and NP receiver operating characteristics (NP-ROC)

abstract: In many binary classification applications such as disease diagnosis and spam detection, practitioners often face great needs to control type I errors (i.e., the conditional probability of misclassifying a class 0 observation as class 1) so that it remains below a desired threshold. To address this need, the Neyman-Pearson (NP) classification paradigm is a natural choice; it minimizes type II error (i.e., the conditional probability of misclassifying a class 1 observation as class 0) while enforcing an upper bound, $\alpha$, on the type I error. Although the NP paradigm has a century-long history in hypothesis testing, it has not been well recognized and implemented in classification schemes. Common practices that directly limit the empirical type I error to no more than $\alpha$ do not satisfy the type I error control objective because the resulting classifiers are still likely to have type I errors much larger than $\alpha$. As a result, the NP paradigm has not been properly implemented for many classification scenarios in practice. In this work, we develop the first umbrella algorithm that implements the NP paradigm for all scoring-type classification methods, including popular methods such as logistic regression, support vector machines and random forests. Powered by this umbrella algorithm, we propose a novel graphical tool for NP classification methods: NP receiver operating characteristic (NP-ROC) bands, motivated by the popular receiver operating characteristic (ROC) curves. NP-ROC bands will help choose $\alpha$ in a data adaptive way and compare different NP classifiers. We demonstrate the use and properties of the NP umbrella algorithm and NP-ROC bands, available in the R package nproc, through simulation and real data case studies.


title: Non-Maxwellian electron distribution functions due to self-generated turbulence in collisionless guide-field reconnection

abstract: Non-Maxwellian electron velocity space distribution functions (EVDF) are useful signatures of plasma conditions and non-local consequences of collisionless magnetic reconnection. In the past, EVDFs were obtained mainly for antiparallel reconnection and under the influence of weak guide-fields in the direction perpendicular to the reconnection plane. EVDFs are, however, not well known, yet, for oblique (or component-) reconnection in dependence on stronger guide-magnetic fields and for the exhaust (outflow) region of reconnection away from the diffusion region. In view of the multi-spacecraft Magnetospheric Multiscale Mission (MMS), we derived the non-Maxwellian EVDFs of collisionless magnetic reconnection in dependence on the guide-field strength $b_g$ from small ($b_g\approx0$) to very strong ($b_g=8$) guide-fields, taking into account the feedback of the self-generated turbulence. For this sake, we carried out 2.5D fully-kinetic Particle-in-Cell simulations using the ACRONYM code. We obtained anisotropic EVDFs and electron beams propagating along the separatrices as well as in the exhaust region of reconnection. The beams are anisotropic with a higher temperature in the direction perpendicular rather than parallel to the local magnetic field. The beams propagate in the direction opposite to the background electrons and cause instabilities. We also obtained the guide-field dependence of the relative electron-beam drift speed, threshold and properties of the resulting streaming instabilities including the strongly non-linear saturation of the self-generated plasma turbulence. This turbulence and its non-linear feedback cause non-adiabatic parallel electron acceleration and EVDFs well beyond the limits of the quasi-linear approximation, producing phase space holes and an isotropizing pitch-angle scattering.


title: Chiral extrapolation of nucleon axial charge $g_A$ in effective field theory

abstract: The extrapolation of nucleon axial charge $g_A$ is investigated within the framework of heavy baryon chiral effective field theory. The intermediate octet and decuplet baryons are included in the one loop calculation. Finite range regularization is applied to improve the convergence in the quark-mass expansion. The lattice data from three different groups are used for the extrapolation. At physical pion mass, the extrapolated $g_A$ are all smaller than the experimental value.


title: Iwasawa theory of Rubin-Stark units and class group

abstract: Let $K$ be a totally real number field of degree $r=[K:\mathbb{Q}]$ and let $p$ be an odd rational prime. Let $K_{\infty}$ denote the cyclotomic $\mathbb{Z}_{p}$-extension of $K$ and let $L_{\infty}$ be a finite extension of $K_{\infty}$, abelian over $K$. In this article, we extend results of \cite{Kazim109} relating characteristic ideal of the $\chi$-quotient of the projective limit of the ideal class groups to the $\chi$-quotient of the projective limit of the $r$-th exterior power of units modulo Rubin-Stark units, in the non semi-simple case, for some $\overline{\mathbb{Q}_{p}}$-irreductible characters $\chi$ of $\mathrm{Gal}(L_{\infty}/K_{\infty})$.


title: Machine Protection and Operation for LHC

abstract: Since 2010 the Large Hadron Collider (LHC) is the accelerator with the highest stored energy per beam, with a record of 140 MJ at a beam energy of 4 TeV, almost a factor of 50 higher than other accelerators. With such a high stored energy, machine protection aspects set the boundary conditions for operation during all phases of the machine cycle. Only the low-intensity commissioning beams can be considered as relatively safe. This document discusses the interplay of machine operation and machine protection at the LHC, from commissioning to regular operation.


title: Structural attributes and photo-dynamics of visible spectrum quantum emitters in hexagonal boron nitride

abstract: Newly discovered van der Waals materials like MoS$_2$, WSe$_2$, hexagonal boron nitride (h-BN), and recently $\mathrm{C}_2\mathrm{N}$ have sparked intensive research to unveil the quantum behavior associated with their 2D structure. Of great interest are 2D materials that host single quantum emitters. h-BN, with a band gap of 5.95 eV, has been shown to host single quantum emitters which are stable at room temperature in the UV and visible spectral range. In this paper we investigate correlations between h-BN structural features and emitter location from bulk down to the monolayer at room temperature. We demonstrate that chemical etching and ion irradiation can generate emitters in h-BN. We analyze the emitters' spectral features and show that they are dominated by the interaction of their electronic transition with a single Raman active mode of h-BN. Photodynamics analysis reveals diverse rates between the electronic states of the emitter. The emitters show excellent photo stability even under ambient conditions and in monolayers. Comparing the excitation polarization between different emitters unveils a connection between defect orientation and the h-BN hexagonal structure. The sharp spectral features, color diversity, room-temperature stability, long-lived metastable states, ease of fabrication, proximity of the emitters to the environment, outstanding chemical stability, and biocompatibility of h-BN provide a completely new class of systems that can be used for sensing and quantum photonics applications.


title: Optimality conditions in convex multiobjective SIP

abstract: The purpose of this paper is to characterize the weak efficient solutions, the efficient solutions, and the isolated efficient solutions of a given vector optimization problem with finitely many convex objective functions and infinitely many convex constraints. To do this, we introduce new and already known data qualifications (conditions involving the constraints and/or the objectives) in order to get optimality conditions which are expressed in terms of either Karusk-Kuhn-Tucker multipliers or a new gap function associated with the given problem.


title: Semilattice Indecomposable Finite Semigroups With Large Subsemilattices

abstract: In this paper we show that if $Y$ is a subsemilattice of a finite semilattice indecomposable semigroup $S$ then $|Y|\leq 2\left\lfloor \frac{|S|-1}{4}\right\rfloor+1$. We also characterize finite semilattice indecomposable semigroups $S$ which contains a subsemilattice $Y$ with $|S|=4k+1$ and $|Y|=2\left\lfloor \frac{|S|-1}{4}\right\rfloor+1=2k+1$. They are special inverse semigroups. Our investigation is based on our new result proved in this paper which characterize finite semilattice indecomposable semigroups with a zero by only use the properties of its semigroup algebra.


title: Ring polymers in confined geometries

abstract: The investigation of a dilute solution of phantom ideal ring polymers and ring polymers with excluded volume interactions (EVI) in a good solvent confined in a slit geometry of two parallel repulsive walls and in a solution of colloidal particles of big size was performed. Taking into account the correspondence between the field theoretical $\phi^4$ $O(n)$-vector model in the limit $n\to 0$ and the behaviour of long-flexible polymers in a good solvent, the correspondent depletion forces and the forces which exert phantom ideal ring polymers and ring polymers with EVI on the walls were obtained in the framework of the massive field theory approach at fixed space dimensions $d$=3 up to one-loop order. Besides, taking into account the Derjaguin approximation, the depletion forces between big colloidal particle and a wall and in the case of two big colloidal particles were calculated. The obtained results indicate that phantom ideal ring polymers and ring polymers with EVI due to the complexity of chain topology and for entropical reasons demonstrate a completely different behaviour in confined geometries compared with linear polymers.


title: The Sparse Awakens: Streaming Algorithms for Matching Size Estimation in Sparse Graphs

abstract: Estimating the size of the maximum matching is a canonical problem in graph algorithms, and one that has attracted extensive study over a range of different computational models. We present improved streaming algorithms for approximating the size of maximum matching with sparse (bounded arboricity) graphs. * Insert-Only Streams: We present a one-pass algorithm that takes O(c log^2 n) space and approximates the size of the maximum matching in graphs with arboricity c within a factor of O(c). This improves significantly on the state-of-the-art O~(cn^{2/3})-space streaming algorithms. * Dynamic Streams: Given a dynamic graph stream (i.e., inserts and deletes) of edges of an underlying c-bounded arboricity graph, we present a one-pass algorithm that uses space O~(c^{10/3}n^{2/3}) and returns an O(c)-estimator for the size of the maximum matching. This algorithm improves the state-of-the-art O~(cn^{4/5})-space algorithms, where the O~(.) notation hides logarithmic in $n$ dependencies. In contrast to the previous works, our results take more advantage of the streaming access to the input and characterize the matching size based on the ordering of the edges in the stream in addition to the degree distributions and structural properties of the sparse graphs.


title: Observation of room-temperature spontaneous superradiance from single diamond nanocrystals

abstract: We report the observation of room-temperature superradiance from single, highly luminescent diamond nanocrystals with spatial dimensions much smaller than the wavelength of light, and each containing a large number (~10^3) of embedded nitrogen-vacancy (NV) centres. After excitation of the nanodiamonds with an off-resonant, green laser pulse, we observe i) ultrafast radiative lifetimes down to ~ 1 ns, and ii) super-Poissonian photon bunching in the autocorrelation function of the light emitted from the fastest nanodiamonds. We explain our findings with a detailed theoretical model based on collective Dicke states and well-known properties of NV centres. Using a minimal set of fit parameters, the model captures both the wide range of different lifetimes and the nontrivial photon correlations found in the experiments. The results pave the way towards a systematic study of superradiance in a well controlled, solid-state quantum system at room temperature. Ultimately, quantum engineering of superradiance in diamond has the potential for advancing applications in quantum sensing, energy harvesting, and efficient photon detection.


title: Tristable and multiple bistable activity in complex random binary networks of two-state units

abstract: We study complex networks of stochastic two-state units. Our aim is to model discrete stochastic excitable dynamics with a rest and an excited state. Both states are assumed to possess different waiting time distributions. The rest state is treated as an activation process with an exponentially distributed life time, whereas the latter in the excited state shall have a constant mean which may originate from any distribution. The activation rate of any single unit is determined by its neighbors according to a random complex network structure. In order to treat this problem in an analytical way, we use a heterogeneous mean-field approximation yielding a set of equations general valid for uncorrelated random networks. Based on this derivation we focus on random binary networks where the network is solely comprised of nodes with either of two degrees. The ratio between the two degrees is shown to be a crucial parameter. Dependent on the composition of the network the steady states show the usual transition from disorder to homogeneous ordered bistability as well as new scenarios that include inhomogeneous ordered and disordered bistability as well as tristability. The various steady states differ in their spiking activity expressed by a state dependent spiking rate. Numerical simulations agree with analytic results of the heterogeneous mean-field approximation.


title: New methods for creating superoscillations

abstract: Superoscillating functions, i.e., functions that locally oscillate at a rate faster than their highest Fourier component, are of interest for applications from fundamental physics to engineering. Here, we develop a new method which allows one to construct superoscillations of arbitrarily high frequency and arbitrarily long duration in a computationally efficient way. We also present a method for constructing non-singular Schr\"odinger potentials whose ground state is a superoscillating wave function.


title: Pisot units, Salem numbers and higher dimensional projective manifolds with primitive automorphisms of positive entropy

abstract: We show that, in any dimension greater than one, there are an abelian variety, a smooth rational variety and a Calabi-Yau manifold, with primitive birational automorphisms of first dynamical degree $>1$. We also show that there are smooth complex projective Calabi-Yau manifolds and smooth rational manifolds, of any even dimension, with primitive biregular automorphisms of positive topological entropy.


title: Escaping Local Optima using Crossover with Emergent or Reinforced Diversity

abstract: Population diversity is essential for avoiding premature convergence in Genetic Algorithms (GAs) and for the effective use of crossover. Yet the dynamics of how diversity emerges in populations are not well understood. We use rigorous runtime analysis to gain insight into population dynamics and GA performance for the ($\mu$+1) GA and the $\text{Jump}_k$ test function. We show that the interplay of crossover and mutation may serve as a catalyst leading to a sudden burst of diversity. This leads to improvements of the expected optimisation time of order $\Omega(n/\log n)$ compared to mutation-only algorithms like (1+1) EA. Moreover, increasing the mutation rate by an arbitrarily small constant factor can facilitate the generation of diversity, leading to speedups of order $\Omega(n)$. We also compare seven commonly used diversity mechanisms and evaluate their impact on runtime bounds for the ($\mu$+1) GA. All previous results in this context only hold for unrealistically low crossover probability $p_c=O(k/n)$, while we give analyses for the setting of constant $p_c < 1$ in all but one case. For the typical case of constant $k > 2$ and constant $p_c$, we can compare the resulting expected runtimes for different diversity mechanisms assuming an optimal choice of $\mu$: $O(n^{k-1})$ for duplicate elimination/minim., $O(n^2\log n)$ for maximising the convex hull, $O(n\log n)$ for deterministic crowding (assuming $p_c = k/n$), $O(n\log n)$ for maximising Hamming distance, $O(n\log n)$ for fitness sharing, $O(n\log n)$ for single-receiver island model. This proves a sizeable advantage of all variants of the ($\mu$+1) GA compared to (1+1) EA, which requires time $\Theta(n^k)$. Experiments complement our theoretical findings and further highlight the benefits of crossover and diversity on $\text{Jump}_k$.


title: The Hubble Space Telescope UV Legacy Survey of Galactic Globular Clusters. X. The radial distribution of stellar populations in NGC 2808

abstract: Due to their extreme helium abundance, the multiple stellar populations of the globular cluster NGC 2808 have been widely investigated from a photometric, spectroscopic, and kinematic perspective. The most striking feature of the color-magnitude diagram of NGC 2808 is the triple main sequence (MS), with the red MS corresponding to a stellar population with primordial helium, and the middle and the blue MS being enhanced in helium up to Y$\sim$0.32 and $\sim$0.38, respectively. A recent study has revealed that this massive cluster hosts at least five distinct stellar populations (A, B, C, D, and E). Among them populations A, B, and C correspond to the red MS, while populations C and D are connected to the middle and the blue MS. In this paper we exploit Hubble-Space-Telescope photometry to investigate the radial distribution of the red, the middle and the blue MS from the cluster center out to about 8.5 arcmin. Our analysis shows that the radial distribution of each of the three MSs is different. In particular, as predicted from multiple-population formation models, both the blue MS and the middle MS appears to be more concentrated than the red MS with a significance level for this result wich is above 3{\sigma}.


title: A Note on the Expressiveness of BIP

abstract: We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Priority) framework does not possess the strong full expressiveness. In this paper, we show that BIP has the weak form of this notion and provide results detailing weak and strong full expressiveness for classical BIP and several modifications, obtained by relaxing the constraints imposed on priority models.


title: Higher-order Processes with Parameterization over Names and Processes

abstract: Parameterization extends higher-order processes with the capability of abstraction and application (like those in lambda-calculus). This extension is strict, i.e., higher-order processes equipped with parameterization is computationally more powerful. This paper studies higher-order processes with two kinds of parameterization: one on names and the other on processes themselves. We present two results. One is that in presence of parameterization, higher-order processes can encode first-order (name-passing) processes in a quite neat fashion, in contrast to the fact that higher-order processes without parameterization cannot encode first-order processes at all. In the other result, we provide a simpler characterization of the (standard) context bisimulation for higher-order processes with parameterization, in terms of the normal bisimulation that stems from the well-known normal characterization for higher-order calculus. These two results demonstrate more essence of the parameterization method in the higher-order paradigm toward expressiveness and behavioural equivalence.


title: Self-Similarity Breeds Resilience

abstract: Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience to adversarial behaviour. We formalise the notions of system, adversary and resilience in operational terms, based on transition systems and observations. While the general problem of proving systems to be behaviourally self-similar is undecidable, we show, by casting them in the framework of well-structured transition systems, that there is an interesting class of systems for which the problem is decidable. We illustrate our prescriptive framework for resilience with some small examples, e.g., systems robust to failures in a fail-stop model, and those avoiding side-channel attacks.


title: Unique Parallel Decomposition for the Pi-calculus

abstract: A (fragment of a) process algebra satisfies unique parallel decomposition if the definable behaviours admit a unique decomposition into indecomposable parallel components. In this paper we prove that finite processes of the pi-calculus, i.e. processes that perform no infinite executions, satisfy this property modulo strong bisimilarity and weak bisimilarity. Our results are obtained by an application of a general technique for establishing unique parallel decomposition using decomposition orders.


title: Reversible Multiparty Sessions with Checkpoints

abstract: Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back to some checkpoints, where possibly different choices may be taken. In this way communications can be undone and different conversations may be tried. Interactions are typed with global types, which control also rollbacks. Typeability of session participants in agreement with global types ensures session fidelity and progress of reversible communications.


title: Ghost features in Doppler-broadened spectra of rovibrational transitions in trapped HD$^+$ ions

abstract: Doppler broadening plays an important role in laser rovibrational spectroscopy of trapped deuterated molecular hydrogen ions (HD$^+$), even at the millikelvin temperatures achieved through sympathetic cooling by laser-cooled beryllium ions. Recently, Biesheuvel \textit{et al.} \cite{Biesheuvel2016} presented a theoretical lineshape model for such transitions which not only considers linestrengths and Doppler broadening, but also the finite sample size and population redistribution by blackbody radiation, which are important in view of the long storage and probe times achievable in ion traps. Here, we employ the rate equation model developed by Biesheuvel \textit{et al.} to theoretically study the Doppler-broadened hyperfine structure of the $(v,L):(0,3)\rightarrow(4,2)$ rovibrational transition in HD$^+$ at 1442~nm. We observe prominent yet hitherto unrecognized ghost features in the simulated spectrum, whose positions depend on the Doppler width, transition rates, and saturation levels of the hyperfine components addressed by the laser. We explain the origin and behavior of such features, and we provide a simple quantitative guideline to assess whether ghost features may appear. As such ghost features may be common to saturated Doppler-broadened spectra of rotational and vibrational transitions in trapped ions composed of partly overlapping lines, our work illustrates the necessity to use lineshape models that take into account all the relevant physics.


title: Proceedings 9th Interaction and Concurrency Experience

abstract: This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite event of DisCoTec 2016. The ICE procedure for paper selection allows PC members to interact, anonymously, with authors. During the review phase, each submitted paper is published on a discussion forum whose access is restricted to the authors and to all the PC members not declaring a conflict of interest. The PC members post comments and questions that the authors reply to. For the first time, the 2016 edition of ICE included a feature targeting review transparency: reviews of accepted papers were made public on the workshop website and workshop participants in particular were able to access them during the workshop. Each paper was reviewed by three PC members, and altogether nine papers were accepted for publication (the workshop also featured three brief announcements which are not part of this volume). We were proud to host two invited talks, by Alexandra Silva and Uwe Nestmann. The abstracts of these two talks are included in this volume together with the regular papers.


title: NEBULAR: A simple synthesis code for the hydrogen and helium nebular spectrum

abstract: NEBULAR is a lightweight code to synthesize the spectrum of an ideal, mixed hydrogen and helium gas in ionization equilibrium, over a useful range of densities, temperatures and wavelengths. Free-free, free-bound and two-photon continua are included as well as parts of the HI, HeI and HeII line series. NEBULAR interpolates over publicly available data tables; it can be used to easily extract information from these tables without prior knowledge about their data structure. The resulting spectra can be used to e.g. determine equivalent line widths, constrain the contribution of the nebular continuum to a bandpass, and for educational purposes. NEBULAR can resample the spectrum on a user-defined wavelength grid for direct comparison with an observed spectrum; however, it can not be used to fit an observed spectrum.


title: Do Black Holes Exist in a Finite Universe Having the Topology of a Flat 3-Torus?

abstract: Based on perturbation theory, we present the exact first-order solution to the Einstein equations for the exterior static gravitational field of an isolated non-rotating star in a spatially finite universe having the topology of a flat 3-torus. Since the method of images leads to a divergent Poincare' series, one needs a regularization which we achieve by using the Appell respectively the Epstein zeta function. The solution depends on a new positive constant which is completely fixed by the mass of the star and the spatial volume of the universe. The physical interpretation is that a stable or metastable equilibrium requires a topological dark energy which fills the whole universe with positive energy density and negative pressure. The properties of the gravitational field are discussed in detail. In particular, its anisotropy is made explicit by deriving an exact multipole expansion which shows that in this case Birkhoff's theorem does not hold. While the monopole describes the Newtonian potential, there is no dipole but always a non-vanishing quadrupole which leads to a repulsive force experienced by a planet at rest. Finally, we put forward the conjecture that black holes exist in a toroidal universe and that their gravitational field is in the weak-field limit well approximated by the first-order field.


title: Some unified integrals associated with generalized struve function

abstract: This paper is devoted for the study of a new generalization of Struve function type. In this paper , We establish four new integral formulas involving the Galue type Struve function, which are express in term of the generalized (Wright) hypergeometric functions. The result established here are general in nature and are likely to find useful in applied problem of Sciences, engineering and technology.


title: Local duality for structured ring spectra

abstract: We use the abstract framework constructed in our earlier paper to study local duality for Noetherian $\mathbb{E}_{\infty}$-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of ring spectra, thereby generalizing the local duality theorem of Benson and Greenlees. We then explain how our results apply to the modular representation theory of compact Lie groups and finite group schemes, which recovers the theory previously developed by Benson, Iyengar, Krause, and Pevtsova.


title: Local Well-Posedness for the Derivative Nonlinear Schr\"odinger Equations with $L^2$ Subcritical Data

abstract: We will show its local well-posedness in modulation spaces $M^{1/2}_{2,q}({\Real})$ $(2\leq q<\infty) $. It is well-known that $H^{1/2}$ is a critical Sobolev space of DNLS so that it is locally well-posedness in $H^s$ for $s\geq 1/2$ and ill-posed in $H^{s'}$ with $s'<1/2.$ Noticing that that $M^{1/2}_{2,q} \subset B^{1/q}_{2,q}$ is a sharp embedding and $L^2 \subset B^0_{2,\infty}$, our result contains all of the subcritical data in $M^{1/2}_{2,q}$, which contains a class of functions in $L^2\setminus H^{1/2}$.


title: On the structure of virtually nilpotent compact $p$-adic analytic groups

abstract: Let $G$ be a compact $p$-adic analytic group. We recall the well-understood finite radical $\Delta^+$ and FC-centre $\Delta$, and introduce a $p$-adic analogue of Roseblade's subgroup $\mathrm{nio}(G)$, the unique largest orbitally sound open normal subgroup of $G$. Further, when $G$ is nilpotent-by-finite, we introduce the finite-by-(nilpotent $p$-valuable) radical $\mathbf{FN}_p(G)$, an open characteristic subgroup of $G$ contained in $\mathrm{nio}(G)$. By relating the already well-known theory of isolators with Lazard's notion of $p$-saturations, we introduce the isolated lower central (resp. isolated derived) series of a nilpotent (resp. soluble) $p$-valuable group of finite rank, and use this to study the conjugation action of $\mathrm{nio}(G)$ on $\mathbf{FN}_p(G)$. We emerge with a structure theorem for $G$, $$1 \leq \Delta^+ \leq \Delta \leq \mathbf{FN}_p(G) \leq \mathrm{nio}(G) \leq G,$$ in which the various quotients of this series of groups are well understood. This sheds light on the ideal structure of the Iwasawa algebras (i.e. the completed group rings $kG$) of such groups, and will be used in future work to study the prime ideals of these rings.


title: Linear evolution equations in scales of Banach spaces

abstract: This work is devoted to the study of a class of linear time-inhomogeneous evolution equations in a scale of Banach spaces. Existence, uniquenss and stability for classical solutions is provided. We study also the associated dual Cauchy problem for which we prove uniqueness in the dual scale of Banach spaces. The results are applied to an infinite system of ordinary differential equations but also to the Fokker-Planck equation associated with the spatial logistic model in the continuum.


title: Liquid crystal defects in the Landau-de Gennes theory in two dimensions-beyond the one-constant approximation

abstract: We consider the two-dimensional Landau-de Gennes energy with several elastic constants, subject to general $k$-radially symmetric boundary conditions. We show that for generic elastic constants the critical points consistent with the symmetry of the boundary conditions exist only in the case $k=2$. In this case we identify three types of radial profiles: with two, three of full five components and numerically investigate their minimality and stability depending on suitable parameters. We also numerically study the stability properties of the critical points of the Landau-de Gennes energy and capture the intricate dependence of various qualitative features of these solutions on the elastic constants and the physical regimes of the liquid crystal system.


title: A Mid-level Planning System for Object Reorientation

abstract: This paper presents a mid-level planning system for object reorientation. It includes a grasp planner, a placement planner, and a regrasp sequence solver. Given the initial and goal poses of an object, the mid-level planning system finds a sequence of hand configurations that reorient the object from the initial to the goal. This mid-level planning system is open to low-level motion planning algorithm by providing two end-effector poses as the input. It is also open to high-level symbolic planners by providing interface functions like placing an object to a given position at a given rotation. The planning system is demonstrated with several simulation examples and real-robot executions using a Kawada Hiro robot and Robotiq 85 grippers.


title: Fermion Bag Approach for Massive Thirring Model at Finite Density

abstract: We consider the 2+1 dimensional massive Thirring model with one flavor at finite density. Two numerical methods, fermion bag approach and complex Langevin dynamics, are used to calculate the chiral condensate and fermion density of this model. The numerical results obtained by fermion bag approach are compared with those obtained by complex Langevin dynamics. They are also compared with those obtained under phase quenched approximation. We show that in some range of fermion coupling strength and chemical potential the sign problem in fermion bag approach is mild, while it becomes severe for the complex Langevin dynamics.


title: On the irreducibility of associated varieties of W-algebras

abstract: We investigate the irreducibility of the nilpotent Slodowy slices that appear as the associated variety of W-algebras. Furthermore, we provide new examples of vertex algebras whose associated variety has finitely many symplectic leaves.


title: Some notes on Morita equivalence of Operator Algebras

abstract: In this paper we present some key moments in the history of Morita equivalence for operator algebras.


title: The multiplicity problem for periodic orbits of magnetic flows on the 2-sphere

abstract: We consider magnetic Tonelli Hamiltonian systems on the cotangent bundle of the 2-sphere, where the magnetic form is not necessarily exact. It is known that, on very low and on high energy levels, these systems may have only finitely many periodic orbits. Our main result asserts that almost all energy levels in a precisely characterized intermediate range $(e_0,e_1)$ possess infinitely many periodic orbits. Such a range of energies is non-empty, for instance, in the physically relevant case where the Tonelli Lagrangian is a kinetic energy and the magnetic form is oscillating (in which case, $e_0=0$ is the minimal energy of the system).


title: Physical model of the genotype-to-phenotype map of proteins

abstract: How DNA is mapped to functional proteins is a basic question of living matter. We introduce and study a physical model of protein evolution which suggests a mechanical basis for this map. Many proteins rely on large-scale motion to function. We therefore treat protein as learning amorphous matter that evolves towards such a mechanical function: Genes are binary sequences that encode the connectivity of the amino acid network that makes a protein. The gene is evolved until the network forms a shear band across the protein, which allows for long-range, soft modes required for protein function. The evolution reduces the high-dimensional sequence space to a low-dimensional space of mechanical modes, in accord with the observed dimensional reduction between genotype and phenotype of proteins. Spectral analysis of the space of $10^6$ solutions shows a strong correspondence between localization around the shear band of both mechanical modes and the sequence structure. Specifically, our model shows how mutations of the gene and their correlations occur at amino acids whose interactions determine the functional mode.


title: SPM Bulletin 39

abstract: With the approaching TOPOSYM'16 (http://www.toposym.cz/programme.php), it is a pleasure to see selection principles gain increasing attention and becoming a standard part of topology and set theory. At least eight of the 28 speakers, and a good number of the contributed lecture speakers, made substantial contributions to this topic in their career. For some of these, SPs constitute the main topic of research in the last few years. This is in accordance with the continuous progress on the topic, some of which reported in this bulletin.


title: Spirals in protoplanetary disks from photon travel time

abstract: Spiral structures are a common feature in scattered-light images of protoplanetary disks, and of great interest as possible tracers of the presence of planets. However, other mechanisms have been put foward to explain them, including self-gravity, disk-envelope interactions, and dead zone boundaries. These mechanisms explain many spirals very well, but are unable to easily account for very loosely wound spirals and single spiral arms. We study the effect of light travel time on the shape of a shadow cast by a clump orbiting close (within ${\sim}1\,$au) of the central star, where there can be significant orbital motion during the light travel time from the clump to the outer disk and then to the sky plane. This delay in light rays reaching the sky plane gives rise to a variety of spiral- and arc-shaped shadows, which we describe with a general fitting formula for a flared, inclined disk.


title: New perspective for black hole thermodynamics in Gauss-Bonnet-Born-Infeld massive gravity

abstract: Following earlier study regarding Einstein-Gauss-Bonnet-massive black holes in the presence of Born-Infeld nonlinear electromagnetic field [S. H. Hendi, B. Eslam Panah and S. Panahiyan, arXiv:1510.00108], we study thermodynamical structure and critical behavior of these black holes through various methods in this paper. Geometrical thermodynamics is employed to give a picture regarding phase transition of these black holes. Next, a new method is used to derive critical pressure and horizon radius of these black holes. In addition, Maxwell equal area law is employed to study the Van der Waals like behavior of these black holes. Moreover, the critical exponents are calculated and by using Ehrenfest equations, the type of the phase transitions are determined.


title: Ejector and propeller spin-down: How might a superluminous supernova millisecond magnetar become the 6.67 hr pulsar in RCW103

abstract: The X-ray source 1E 161348-5055 in the supernova remnant RCW 103 recently exhibited X-ray activity typical of magnetars, i.e. neutron stars with magnetic fields > 10^14-10^15 G. However, 1E 161348-5055 has an observed period of 6.67 hr, in contrast to magnetars which have a spin period of seconds. Here we describe a simple model which can explain the spin evolution of 1E 161348-5055, as well as other magnetars, from an initial period of milliseconds that would be required for dynamo generation of magnetar-strength magnetic fields. We propose that the key difference between 1E 161348-5055 and other magnetars is the persistence of a remnant disk of small total mass. This disk caused 1E 161348-5055 to undergo ejector and propeller phases in its life, during which strong torques caused a rapid increase of its spin period. By matching its observed spin period and ~1-3 kyr age, we find that 1E 161348-5055 has the (slightly) highest magnetic field of all known magnetars, with B~5x10^15 G, and that its disk had a mass of ~10^24 g, comparable to that of the asteroid Ceres.


title: Spatio-Temporal Steering for Testing Nonclassical Correlations in Quantum Networks

abstract: We introduce the concept of spatio-temporal steering (STS), which reduces, in special cases, to Einstein-Podolsky-Rosen steering and the recently-introduced temporal steering. We describe two measures of this effect referred to as the STS weight and robustness. We suggest that these STS measures enable a new way to assess nonclassical correlations in an open quantum network, such as quantum transport through nano-structures or excitation transfer in a complex biological system. As one of our examples, we apply STS to check nonclassical correlations among sites in a photosynthetic pigment-protein complex in the Fenna-Matthews-Olson model.


title: Squareness for the Monopole-Dimer model

abstract: The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a perfect square. We give a combinatorial interpretation of the square-root of the partition function for such graphs in terms of a monopole-dimer model on a new kind of graph with two types of edges which we call a dicot. The partition function of the latter can be written as a determinant, this time of a complex adjacency matrix. This formulation generalises T. T. Wu's assignment of imaginary orientation for the grid graph to planar dicots. As an application, we compute the partition function for a family of non-planar dicots with positive weights.


title: Antiferromagnetic spin cantings as a driving force of ferroelectricity in multiferroic Cu2OSeO3

abstract: Ferroelectric properties of cubic chiral magnet Cu2OSeO3 can emerge due to the spin noncollinearity induced by antiferromagnetic cantings. These cantings are the result of the Dzyaloshinskii-Moriya interaction and in many ways similar to the ferromagnetic cantings in weak ferromagnets. An expression for the local electric polarization is derived, including terms with gradients of magnetization M(r). When averaged over the crystal the electric polarization has a non-vanishing part associated with the anisotropy of the crystal point group 23. In the framework of the microscopic theory, it is shown that both scalar and vector products of spins, (s1 . s2) and [s1 x s2], can give contributions of the same order in the electric polarization.


title: Fast approximate delivery of fluence maps: the VMAT case

abstract: In this article we provide a method to generate the trade-off between delivery time and fluence map matching quality for volumetric modulated arc therapy (VMAT). At the heart of our method lies a mathematical programming model that, for a given duration of delivery, optimizes leaf trajectories and dose rates such that the desired fluence map is reproduced as well as possible. This model was presented for the single map case in a companion paper (Fast approximate delivery of fluence maps: the single map case). The resulting large-scale, non-convex optimization problem was solved using a heuristic approach. The single-map approach cannot directly be applied to the full arc case due to the large increase in model size, the issue of allocating delivery times to each of the arc segments, and the fact that the ending leaf positions for one map will be the starting leaf positions for the next map. In this article the method proposed in \cite{dm1} is extended to solve the full map treatment planning problem. We test our method using a prostate case and a head and neck case, and present the resulting trade-off curves. Analysis of the leaf trajectories reveal that short time plans have larger leaf openings in general than longer delivery time plans. Our method allows one to explore the continuum of possibilities between coarse, large segment plans characteristic of direct aperture approaches and narrow field plans produced by sliding window approaches. Exposing this trade off will allow for an informed choice between plan quality and solution time. Further research is required to speed up the optimization process to make this method clinically implementable.


title: Modelling, simulation and inference for multivariate time series of counts

abstract: This article presents a new continuous-time modelling framework for multivariate time series of counts which have an infinitely divisible marginal distribution. The model is based on a mixed moving average process driven by L\'{e}vy noise - called a trawl process - where the serial correlation and the cross-sectional dependence are modelled independently of each other. Such processes can exhibit short or long memory. We derive a stochastic simulation algorithm and a statistical inference method for such processes. The new methodology is then applied to high frequency financial data, where we investigate the relationship between the number of limit order submissions and deletions in a limit order book.


title: Classification of $\mathfrak{sl}_3$ relations in the Witt group of nondegenerate braided fusion categories

abstract: The Witt group of nondegenerate braided fusion categories $\mathcal{W}$ contains a subgroup $\mathcal{W}_\text{un}$ consisting of Witt equivalence classes of pseudo-unitary nondegenerate braided fusion categories. For each finite-dimensional simple Lie algebra $\mathfrak{g}$ and positive integer $k$ there exists a pseudo-unitary category $\mathcal{C}(\mathfrak{g},k)$ consisting of highest weight integerable $\hat{g}$-modules of level $k$ where $\hat{\mathfrak{g}}$ is the corresponding affine Lie algebra. Relations between the classes $[\mathcal{C}(\mathfrak{sl}_2,k)]$, $k\geq1$ have been completely described in the work of Davydov, Nikshych, and Ostrik. Here we give a complete classification of relations between the classes $[\mathcal{C}(\mathfrak{sl}_3,k)]$, $k\geq1$ with a view toward extending these methods to arbitrary simple finite dimensional Lie algebras $\mathfrak{g}$ and positive integer levels $k$.


title: Kinetic small angle neutron scattering of the Skyrmion lattice in MnSi

abstract: We report a kinetic small angle neutron scattering study of the skyrmion lattice (SL) in MnSi. Induced by an oscillatory tilting of the magnetic field direction, the elasticity and relaxation of the SL along the magnetic field direction have been measured with microsecond resolution. For the excitation frequency of 325 Hz the SL begins to track the tilting motion of the applied magnetic field under tilting angles exceeding $\alpha_c$ > 0.4{\deg}. Empirically the associated angular velocity of the tilting connects quantitatively with the critical charge carrier velocity of approx. 0.1mm/s under current driven spin transfer torques, for which the SL unpins. In addition, a pronounced temperature dependence of the skyrmion motion is attributed to the variation of the skyrmion stiffness. Taken together our study highlights the power of kinetic small angle neutron scattering as a new experimental tool to explore, in a rather general manner, the elasticity and impurity pinning of magnetic textures across a wide parameter space without parasitic signal interferences due to ohmic heating or Oersted magnetic fields.


title: A Multi-Index Quasi-Monte Carlo Algorithm for Lognormal Diffusion Problems

abstract: We present a Multi-Index Quasi-Monte Carlo method for the solution of elliptic partial differential equations with random coefficients. By combining the multi-index sampling idea with randomly shifted rank-1 lattice rules, the algorithm constructs an estimator for the expected value of some functional of the solution. The efficiency of this new method is illustrated on a three-dimensional subsurface flow problem with lognormal diffusion coefficient with underlying Mat\'ern covariance function. This example is particularly challenging because of the small correlation length considered, and thus the large number of uncertainties that must be included. We show numerical evidence that it is possible to achieve a cost inversely proportional to the requested tolerance on the root-mean-square error, for problems with a smoothly varying random field


title: Impact of ADC non-linearities on the sensitivity to sterile keV neutrinos with a KATRIN-like experiment

abstract: ADC non-linearities are a major systematic effect in the search for keV-scale sterile neutrinos with tritium $\beta$-decay experiments like KATRIN. They can significantly distort the spectral shape and thereby obscure the tiny kink-like signature of a sterile neutrino. In this work we demonstrate various mitigation techniques to reduce the impact of ADC non-linearities on the tritium $\beta$-decay spectrum to a level of $<$ ppm. The best results are achieved with a multi-pixel ($\geq10^4$ pixels) detector using full waveform digitization. In this case, active-to-sterile mixing angles of the order of $\sin^2 \theta = 10^{-7}$ would be accessible from the viewpoint of ADC non-linearities. With purely peak-sensing ADCs a comparable sensitivity could be reached with highly linear ADCs, sufficient non-linearity corrections or by increasing the number of pixels to $\geq 10^5$.


title: Beam Cleaning and Collimation Systems

abstract: Collimation systems in particle accelerators are designed to dispose of unavoidable losses safely and efficiently during beam operation. Different roles are required for different types of accelerator. The present state of the art in beam collimation is exemplified in high-intensity, high-energy superconducting hadron colliders, like the CERN Large Hadron Collider (LHC), where stored beam energies reach levels up to several orders of magnitude higher than the tiny energies required to quench cold magnets. Collimation systems are essential systems for the daily operation of these modern machines. In this document, the design of a multistage collimation system is reviewed, taking the LHC as an example case study. In this case, unprecedented cleaning performance has been achieved, together with a system complexity comparable to no other accelerator. Aspects related to collimator design and operational challenges of large collimation systems are also addressed.


title: Weyl-Majorana solenoid

abstract: A Weyl semimetal wire with an axial magnetization has metallic surface states (Fermi arcs) winding along its perimeter, connecting bulk Weyl cones of opposite topological charge (Berry curvature). We investigate what happens to this "Weyl solenoid" if the wire is covered with a superconductor, by determining the dispersion relation of the surface modes propagating along the wire. Coupling to the superconductor breaks up the Fermi arc into a pair of Majorana modes, separated by an energy gap. Upon variation of the coupling strength along the wire there is a gap inversion that traps the Majorana fermions.


title: Minimax Design of Nonlinear Phase FIR Filters with Optimality Certificates

abstract: The Parks-McClellan algorithm provides an efficient method for designing a linear phase FIR filter with a pre-specified weight function on the approximation error. For the given filter order and the specified weight function, the filter designed with this algorithm will have the unique optimal frequency response that approximates a desired filter response as certified by the alternation theorem. In this paper, a nonlinear phase FIR filter design algorithm is provided that allows the specification of a piecewise constant weight function on the approximation error in an analogous manner to linear phase FIR filters. For the given filter order and weight function, the resulting filter will provably have the unique optimal magnitude response that approximates a desired filter response, where the certification of optimality is given and is also based on the alternations that the weighted error function exhibits. Furthermore, the method is applicable to designing filters with both real- and complex-valued coefficients, which in turn determines the number of required alternations.


title: Glassy Dynamics of Brownian Particles with Velocity-Dependent Friction

abstract: We consider a two-dimensional model system of Brownian particles in which slow particles are accelerated while fast particles are damped. The motion of the individual particles are described by a Langevin equation with Rayleigh-Helmholtz velocity dependent friction. In case of noninteracting particles, the time evolution equations lead to a non-Gaussian velocity distribution. The velocity dependent friction allows negative values of the friction or energy intakes by slow particles which we consider as active motion, and also causes breaking of the fluctuation dissipation relation. Defining the effective temperature proportional to the second moment of velocity, it is shown that for a constant effective temperature the higher the noise strength, the lower are the number of active particles in the system. Using the Mori-Zwanzig formalism and the mode-coupling approximation, the equation of motion for the density auto-correlation function are derived. The equations are solved using the equilibrium structure factors. The integration-through-transients approach is used to derive a relation between the structure factor in the stationary state considering the interacting forces, and the conventional equilibrium static structure factor.


title: Strongly not relatives Kaehler manifolds

abstract: In this paper we study Kaehler manifolds that are strongly not relative to any projective Kaehler manifold, i.e. those Kaehler manifolds that do not share a Kaehler submanifold with any projective Kaehler manifold even when their metric is rescaled by the multiplication by a positive constant. We prove two results which highlight some relations between this property and the existence of a full Kaehler immersion into the infinite dimensional complex projective space. As application we get that the 1-parameter families of Bergman-Hartogs and Fock-Bargmann-Hartogs domains are strongly not relative to projective Kaehler manifolds.


title: Beyond lensing by the cosmological constant

abstract: The long-standing problem of whether the cosmological constant affects directly the deflection of light caused by a gravitational lens is reconsidered. We use a new approach based on the Hawking quasilocal mass of a sphere grazed by light rays and on its splitting into local and cosmological parts. Previous literature restricted to the cosmological constant is extended to any form of dark energy accelerating the universe in which the gravitational lens is embedded.


title: Linear Programming based Converses for Finite Blocklength Lossy Joint Source-Channel Coding

abstract: A linear programming (LP) based framework is presented for obtaining converses for finite blocklength lossy joint source-channel coding problems. The framework applies for any loss criterion, generalizes certain previously known converses, and also extends to multi-terminal settings. The finite blocklength problem is posed equivalently as a nonconvex optimization problem and using a lift-and-project-like method, a close but tractable LP relaxation of this problem is derived. Lower bounds on the original problem are obtained by the construction of feasible points for the dual of the LP relaxation. A particular application of this approach leads to new converses which recover and improve on the converses of Kostina and Verdu for finite blocklength lossy joint source-channel coding and lossy source coding. For finite blocklength channel coding, the LP relaxation recovers the converse of Polyanskiy, Poor and Verdu and leads to a new improvement on the converse of Wolfowitz, showing thereby that our LP relaxation is asymptotically tight with increasing blocklengths for channel coding, lossless source coding and joint source-channel coding with the excess distortion probability as the loss criterion. Using a duality based argument, a new converse is derived for finite blocklength joint source-channel coding for a class of source-channel pairs. Employing this converse, the LP relaxation is also shown to be tight for all blocklengths for the minimization of the expected average symbol-wise Hamming distortion of a $q$-ary uniform source over a $q$-ary symmetric memoryless channel for any $q \in N$. The optimization formulation and the lift-and-project method are extended to networked settings and demonstrated by obtaining an improvement on a converse of Zhou et al. for the successive refinement problem for successively refinable source-distortion measure triplets.


title: Ehrhart Theory of Spanning Lattice Polytopes

abstract: A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.


title: Molecular electric moments calculated by using natural orbital functional theory

abstract: The molecular electric dipole, quadrupole and octupole moments of a selected set of 21 spin-compensated molecules are determined employing the extended version of the Piris natural orbital functional 6 (PNOF6), using the triple-$\zeta$ Gaussian basis set with polarization functions developed by Sadlej, at the experimental geometries. The performance of the PNOF6 is established by carrying out a statistical analysis of the mean absolute errors with respect to the experiment. The calculated PNOF6 electric moments agree satisfactorily with the corresponding experimental data, and are in good agreement with the values obtained by accurate ab initio methods, namely, the coupled-cluster single and doubles (CCSD) and multi-reference single and double excitation configuration interaction (MRSD-CI) methods.


title: Numerical simulation of the interactions of domain walls with breathers in two-dimensional O(3) nonlinear sigma model

abstract: By methods of numerical simulation the interaction of 180-degree domain walls with oscillating solitons in (2+1)-dimensional O(3) nonlinear sigma model is investigated. A model of the collisions in which there is observed a reflection of solitons from each other, long-range interactions, as well as the decay of the oscillating soliton are obtained.


title: CMB Lensing Beyond the Power Spectrum: Cosmological Constraints from the One-Point PDF and Peak Counts

abstract: Unprecedentedly precise cosmic microwave background (CMB) data are expected from ongoing and near-future CMB Stage-III and IV surveys, which will yield reconstructed CMB lensing maps with effective resolution approaching several arcminutes. The small-scale CMB lensing fluctuations receive non-negligible contributions from nonlinear structure in the late-time density field. These fluctuations are not fully characterized by traditional two-point statistics, such as the power spectrum. Here, we use $N$-body ray-tracing simulations of CMB lensing maps to examine two higher-order statistics: the lensing convergence one-point probability distribution function (PDF) and peak counts. We show that these statistics contain significant information not captured by the two-point function, and provide specific forecasts for the ongoing Stage-III Advanced Atacama Cosmology Telescope (AdvACT) experiment. Considering only the temperature-based reconstruction estimator, we forecast 9$\sigma$ (PDF) and 6$\sigma$ (peaks) detections of these statistics with AdvACT. Our simulation pipeline fully accounts for the non-Gaussianity of the lensing reconstruction noise, which is significant and cannot be neglected. Combining the power spectrum, PDF, and peak counts for AdvACT will tighten cosmological constraints in the $\Omega_m$-$\sigma_8$ plane by $\approx 30\%$, compared to using the power spectrum alone.


title: A Convergent Adaptive Finite Element Method for Electrical Impedance Tomography

abstract: In this work we develop and analyze an adaptive finite element method for efficiently solving electrical impedance tomography -- a severely ill-posed nonlinear inverse problem for recovering the conductivity from boundary voltage measurements. The reconstruction technique is based on Tikhonov regularization with a Sobolev smoothness penalty and discretizing the forward model using continuous piecewise linear finite elements. We derive an adaptive finite element algorithm with an a posteriori error estimator involving the concerned state and adjoint variables and the recovered conductivity. The convergence of the algorithm is established, in the sense that the sequence of discrete solutions contains a convergent subsequence to a solution of the optimality system for the continuous formulation. Numerical results are presented to verify the convergence and efficiency of the algorithm.


title: Scalable $M$-Channel Critically Sampled Filter Banks for Graph Signals

abstract: We investigate a scalable $M$-channel critically sampled filter bank for graph signals, where each of the $M$ filters is supported on a different subband of the graph Laplacian spectrum. For analysis, the graph signal is filtered on each subband and downsampled on a corresponding set of vertices. However, the classical synthesis filters are replaced with interpolation operators. For small graphs, we use a full eigendecomposition of the graph Laplacian to partition the graph vertices such that the $m^{th}$ set comprises a uniqueness set for signals supported on the $m^{th}$ subband. The resulting transform is critically sampled, the dictionary atoms are orthogonal to those supported on different bands, and graph signals are perfectly reconstructable from their analysis coefficients. We also investigate fast versions of the proposed transform that scale efficiently for large, sparse graphs. Issues that arise in this context include designing the filter bank to be more amenable to polynomial approximation, estimating the number of samples required for each band, performing non-uniform random sampling for the filtered signals on each band, and using efficient reconstruction methods. We empirically explore the joint vertex-frequency localization of the dictionary atoms, the sparsity of the analysis coefficients for different classes of signals, the reconstruction error resulting from the numerical approximations, and the ability of the proposed transform to compress piecewise-smooth graph signals. The proposed filter bank also yields a fast, approximate graph Fourier transform with a coarse resolution in the spectral domain.


title: Topological Nodal Line Semimetals in CaP3 family of materials

abstract: We propose that CaP3 family of materials, which include CaP3, CaAs3, SrP3, SrAs3 and BaAs3 can host a three-dimensional topological nodal line semimetal states. Based on first-principle calculations and kp model analysis, we show that a closed topological nodal line exists near the Fermi energy, which is protected by the coexistence of time-reversal and spatial inversion symmetry when the band inversion happens. A drumhead-like surface states are also obtained on the c-direction surface of these materials.


title: Magnetic Reconnection on Jet-Accretion disk Systems

abstract: Fast Magnetic Reconnection is currently regarded as an important process also beyond the solar system, specially in magnetically dominated regions of galactic and extragalactic sources like the surrounds of black holes and relativistic jets. In this lecture we discuss briefly the theory of fast magnetic reconnection, specially when driven by turbulence which is very frequent in Astrophysical flows, and its implications for relativistic particle acceleration. Then we discuss these processes in the context of the sources above, showing recent analytical and multidimensional numerical MHD studies that indicate that fast reconnection can be a powerful process to accelerate particles to relativistic velocities, produce the associated high energy non-thermal emission, and account for efficient conversion of magnetic into kinetic energy in these flows.


title: A formula for $\zeta$(2n + 1) and some related expressions

abstract: Using a polylogarithmic identity, we express the values of $\zeta$ at odd integers $2n+1$ as integrals over unit $n-$dimensional hypercubes of simple functions involving products of logarithms. We also prove a useful property of those functions as some of their variables are raised to a power. In the case $n=2$, we prove two closed-form expressions concerning related integrals. Finally, another family of related one-dimensional integrals is studied.


title: Similarity Search on Automata Processors

abstract: Similarity search is a critical primitive for a wide variety of applications including natural language processing, content-based search, machine learning, computer vision, databases, robotics, and recommendation systems. At its core, similarity search is implemented using the k-nearest neighbors (kNN) algorithm, where computation consists of highly parallel distance calculations and a global top-k sort. In contemporary von-Neumann architectures, kNN is bottlenecked by data movement which limits throughput and latency. In this paper, we present and evaluate a novel automata-based algorithm for kNN on the Micron Automata Processor (AP), which is a non-von Neumann near-data processing architecture. By employing near-data processing, the AP minimizes the data movement bottleneck and is able to achieve better performance. Unlike prior work in the automata processing space, our work combines temporal encodings with automata design to augment the space of applications for the AP. We evaluate our design's performance on the AP and compare to state-of-the-art CPU, GPU, and FPGA implementations; we show that the current generation of AP hardware can achieve over 50x speedup over CPUs while maintaining competitive energy efficiency gains. We also propose several automata optimization techniques and simple architectural extensions that highlight the potential of the AP hardware.


title: Electronic, Optical and Mechanical Properties of Silicene Derivatives

abstract: Successful isolation of graphene from graphite opened a new era for material science and con- densed matter physics. Due to this remarkable achievement, there has been an immense interest to synthesize new two dimensional materials and to investigate their novel physical properties. Silicene, form of Si atoms arranged in a buckled honeycomb geometry, has been successfully synthesized and emerged as a promising material for nanoscale device applications. However, the major obstacle for using silicene in electronic applications is the lack of a band gap similar to the case of graphene. Therefore, tuning the electronic properties of silicene by using chemical functionalization methods such as hydrogenation, halogenation or oxidation has been a focus of interest in silicene research. In this paper, we review the recent studies on the structural, electronic, optical and mechanical proper- ties of silicene-derivative structures. Since these derivatives have various band gap energies, they are promising candidates for the next generation of electronic and optoelectronic device applications.


title: Sampling bipartite graphs with given vertex degrees and fixed edges and non-edges

abstract: We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$ This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that $4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our cases.


title: Energy-Efficient Small Cell with Spectrum-Power Trading

abstract: In this paper, we investigate spectrum-power trading between a small cell (SC) and a macro cell (MC), where the SC consumes power to serve the macro cell users (MUs) in exchange for some bandwidth from the MC. Our goal is to maximize the system energy efficiency (EE) of the SC while guaranteeing the quality of service of each MU as well as small cell users (SUs). Specifically, given the minimum data rate requirement and the bandwidth provided by the MC, the SC jointly optimizes MU selection, bandwidth allocation, and power allocation while guaranteeing its own minimum required system data rate. The problem is challenging due to the binary MU selection variables and the fractional- form objective function. We first show that the bandwidth of an MU is shared with at most one SU in the SC. Then, for a given MU selection, the optimal bandwidth and power allocation is obtained by exploiting the fractional programming. To perform MU selection, we first introduce the concept of the trading EE to characterize the data rate obtained as well as the power consumed for serving an MU. We then reveal a sufficient and necessary condition for serving an MU without considering the total power constraint and the minimum data rate constraint: the trading EE of the MU should be higher than the system EE of the SC. Based on this insight, we propose a low complexity MU selection method and also investigate the optimality condition. Simulation results verify our theoretical findings and demonstrate that the proposed resource allocation achieves near-optimal performance.


title: High-rate axial-field ionization chamber for particle identification of radioactive beams

abstract: The design, construction and performance characteristics of a simple axial-field ionization chamber suitable for identifying ions in a radioactive beam are presented. Optimized for use with low-energy radioactive beams (< 5 MeV/A) the detector presents only three 0.5 $\mu$m/cm$^2$ foils to the beam in addition to the detector gas. A fast charge sensitive amplifier (CSA) integrated into the detector design is also described. Coupling this fast CSA to the axial field ionization chamber produces an output pulse with a risetime of 60-70 ns and a fall time of 100 ns, making the detector capable of sustaining a relatively high rate. Tests with an $\alpha$ source establish the detector energy resolution as $\sim$8 $\%$ for an energy deposit of $\sim$3.5 MeV. The energy resolution with beams of 2.5 and 4.0 MeV/A $^{39}$K ions and the dependence of the energy resolution on beam intensity is measured. At an instantaneous rate of 3 x 10$^5$ ions/s the energy resolution has degraded to 14% with a pileup of 12%. The good energy resolution of this detector at rates up to 3 x 10$^5$ ions/s makes it an effective tool in the characterization of low-energy radioactive beams.


title: Cyclical Multiple Access in UAV-Aided Communications: A Throughput-Delay Tradeoff

abstract: This letter studies a wireless system consisting of distributed ground terminals (GTs) communicating with an unmanned aerial vehicle (UAV) that serves as a mobile base station (BS). The UAV flies cyclically above the GTs at a fixed altitude, which results in a cyclical pattern of the strength of the UAV-GT channels. To exploit such periodic channel variations, we propose a new cyclical multiple access (CMA) scheme to schedule the communications between the UAV and GTs in a cyclical time-division manner based on the flying UAV's position. The time allocations to different GTs are optimized to maximize their minimum throughput. It is revealed that there is a fundamental tradeoff between throughput and access delay in the proposed CMA. Simulation results show significant throughput gains over the case of a static UAV BS in delay-tolerant applications.


title: Uncertainty-Driven Black-Box Test Data Generation

abstract: We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence of source code or elaborate specifications and models, tests are usually generated or chosen randomly. However, rather than randomly choosing tests, it would be preferable to choose those tests that decrease our uncertainty about correctness the most. In order to guide test generation, we apply what is referred to in Machine Learning as "Query Strategy Framework": We infer a behavioural model of the system under test and select those tests which the inferred model is "least certain" about. Running these tests on the system under test thus directly targets those parts about which tests so far have failed to inform the model. We provide an implementation that uses a genetic programming engine for model inference in order to enable an uncertainty sampling technique known as "query by committee", and evaluate it on eight subject systems from the Apache Commons Math framework and JodaTime. The results indicate that test generation using uncertainty sampling outperforms conventional and Adaptive Random Testing.


title: On the limitations of deterministic de-randomizations for online bipartite matching and max-sat

abstract: The surprising results of Karp, Vazirani and Vazirani and (respectively) Buchbinder et al are examples where rather simple randomizations provide provably better approximations than the corresponding deterministic counterparts for online bipartite matching and (respectively) unconstrained non-monotone submodular maximization. We show that seemingly strong extensions of the deterministic online computation model can at best match the performance of naive randomization. More specifically, for bipartite matching, we show that in the priority model (allowing very general ways to order the input stream), we cannot improve upon the trivial 1/2-approximation achieved by any greedy maximal matching algorithm and likewise cannot improve upon this approximation by any log n/log log n number of online algorithms running in parallel. The latter result yields an improved log log n - log log log n lower bound for the number of advice bits needed. For max-sat, we adapt the recent de-randomization approach of Buchbinder and Feldman applied to the Buchbinbder et al algorithm for max-sat to obtain a deterministic 3/4-approximation algorithm using width 2n parallelism. In order to improve upon this approximation, we show that exponential width parallelism of online algorithms is necessary (in a model that is more general than what is needed for the width 2n algorithm).


title: Potential energy curves for P2 and P2+ constructed from a strictly N-representable natural orbital functional

abstract: The potential energy curves of P2 and P2+ have been calculated using an approximate, albeit strictly N-representable, energy functional of the one-particle reduced density matrix: PNOF5. Quite satisfactory accord is found for the equilibrium bond lengths and dissociation energies for both species. The predicted vertical ionization energy for P2 by means of the extended Koopmans' theorem is 10.57 eV in good agreement with the experimental data. Comparison of the vibrational energies and anharmonicities with their corresponding experimental values supports the quality of the resultant potential energy curves.


title: Theoretical estimates for flat voids coalescence by internal necking

abstract: Coalescence of voids by internal necking is in most cases the last microscopic event related to ductile fracture and corresponds to a localized plastic flow between adjacent voids. Macroscopic load associated to the onset of coalescence is classically estimated based on limit analysis. However, a rigorous upper-bound mathematical expression for the limitload required for flat voids coalescence that remains finite for penny-shaped voids/cracks is still unavailable. Therefore, based on limit analysis, theoretical upper-bound estimates - both integral expression and closed-form formula - are obtained for the limit-load of cylindrical flat voids in cylindrical unit-cell subjected to boundary conditions allowing the assessment of coalescence, for axisymmetric stress state. These estimates, leading to finite limit-loads for pennyshaped cracks, are shown to be in very good agreement with numerical limit analysis, for both cylindrical and spheroidal voids. Approximate formula is also given for coalescence under combined tension and shear loading. These coalescence criteria can thus be used to predict onset of coalescence of voids by internal necking in ductile fracture modelling.


title: The ACS Fornax Cluster Survey. XII. Diffuse Star Clusters in Early-type Galaxies

abstract: Diffuse star clusters (DSCs) are old and dynamically hot stellar systems that have lower surface brightness and more extended morphology than globular clusters (GCs). Using the images from HST/ACS Fornax Cluster Survey, we find that 12 out of 43 early-type galaxies (ETGs) in the Fornax cluster host significant numbers of DSCs. Together with literature data from the HST/ACS Virgo Cluster Survey, where 18 out of 100 ETGs were found to host DSCs, we systematically study the relationship of DSCs with GCs, and their host galaxy environment. Two DSC hosts are post-merger galaxies, with most of the other hosts either having low mass or showing clear disk components. We find that while the number ratio of DSCs to GCs is nearly constant in massive galaxies, the DSC-to-GC ratio becomes systematically higher in lower mass hosts. This suggests that DSCs may be more efficient at forming (or surviving) in low density environments. DSC hosts are not special either in their position in the cluster, or in the galactic color-magnitude diagram. Why some disk and low-mass galaxies host DSCs while others do not is still a puzzle, however. The mean ages of DSC hosts and non-hosts are similar at similar masses, implying that formation efficiency, rather than survival, is the reason behind different DSC number fractions in early-type galaxies.


title: Very high frequency gravitational waves from magnetars and gamma-ray burst

abstract: Extremely powerful astrophysical electromagnetic (EM) system could be possible source of high-frequency gravitational waves (HFGWs). Here based on properties of magnetars and gamma-ray bursts (GRBs), we address "Gamma-HFGWs" (with very high-frequency around 10^{20}Hz) caused by ultra-strong EM radiations (in the radiation-dominated phase of GRBs fireball) interacting with super-high magnetar surface magnetic fields (around 10^{11}Tesla). By certain parameters of distance and power, the Gamma-HFGWs would have far field energy density around 10^{-6}, and they would cause perturbed signal EM waves of around 10^{-20}Watt/m^2 in planned HFGW detection system based on EM response to GWs. Specially, Gamma-HFGWs would possess distinctive envelopes with characteristic shapes depending on the particular structures of surface magnetic fields of magnetars, which could be exclusive features helpful to distinguish them from background noise. Results obtained suggest that magnetars could involve in possible astrophysical EM sources of GWs in very high-frequency band, and Gamma-HFGWs would be potential targets for observations in the future.


title: Anomalous Inner-Gap Structure in Transport Characteristics of Superconducting Junctions with Degraded Interfaces

abstract: Quantitative description of charge transport across tunneling and break-junction devices with novel superconductors encounters some problems not present, or not as severe for traditional superconducting materials. In this work, we explain unexpected features in related transport characteristics as an effect of a degraded nano-scaled sheath at the superconductor surface. Model capturing main aspects of the ballistic charge transport across hybrid superconducting structures with normally-conducting nm-thick interlayers is proposed. The calculations are based on a scattering formalism taking into account Andreev electron-into-hole (and inverse) reflections at normal metal-superconductor interfaces as well as transmission and backscattering events in insulating barriers between the electrodes. Current-voltage characteristics of such devices exhibit a rich diversity of anomalous (from the viewpoint of the standard theory) features, in particular, shift of differential-conductance maximums at gap voltages to lower positions and appearance of well-defined dips instead expected coherence peaks. We compare our results with related experimental data.


title: Flavour singlets in gauge theory as Permutations

abstract: Gauge-invariant operators can be specified by equivalence classes of permutations. We develop this idea concretely for the singlets of the flavour group $SO(N_f)$ in $U(N_c)$ gauge theory by using Gelfand pairs and Schur-Weyl duality. The singlet operators, when specialised at $N_f =6$, belong to the scalar sector of ${\cal N}=4$ SYM. A simple formula is given for the two-point functions in the free field limit of $g_{YM}^2 =0$. The free two-point functions are shown to be equal to the partition function on a 2-complex with boundaries and a defect, in a topological field theory of permutations. The permutation equivalence classes are Fourier transformed to a representation basis which is orthogonal for the two-point functions at finite $N_c , N_f$. Counting formulae for the gauge-invariant operators are described. The one-loop mixing matrix is derived as a linear operator on the permutation equivalence classes.