title: Wetting and dewetting processes in the axial retraction of liquid filaments

abstract: We study the hydrodynamic mechanisms involved in the motion of the contact line formed at the end region of a liquid filament laying on a planar and horizontal substrate. Since the flow develops under partially wetting conditions, the tip of the filament recedes and forms a bulged region (head), that subsequently develops a neck region behind it. Later on, the neck breaks up leading to a separated drop, while the rest of the filament restarts the sequence. One main feature of this flow is that the whole dynamics and final drop shapes are strongly influenced by the hysteresis of the contact angle typical in most of the liquid/substrate systems. The time evolution till breakup is studied experimentally and pictured in terms of a hybrid wettability theory which involves the Cox-Voinov hydrodynamic approach combined with the molecular kinetic theory developed by Blake. The parameters of this theory are determined for our liquid/substrate system (silicon oil / coated glass). The experimental results of the retracting filament are described in terms of a simple heuristic model, and also compared with numerical simulations of the full Navier-Stokes equations. This study is of special interest in the context of pulsed laser induce dewetting (PLiD).


title: Random Forests and VGG-NET: An Algorithm for the ISIC 2017 Skin Lesion Classification Challenge

abstract: This manuscript briefly describes an algorithm developed for the ISIC 2017 Skin Lesion Classification Competition. In this task, participants are asked to complete two independent binary image classification tasks that involve three unique diagnoses of skin lesions (melanoma, nevus, and seborrheic keratosis). In the first binary classification task, participants are asked to distinguish between (a) melanoma and (b) nevus and seborrheic keratosis. In the second binary classification task, participants are asked to distinguish between (a) seborrheic keratosis and (b) nevus and melanoma. The other phases of the competition are not considered. Our proposed algorithm consists of three steps: preprocessing, classification using VGG-NET and Random Forests, and calculation of a final score.


title: The Bollob\'as-Eldridge-Catlin conjecture for even girth at least $10$

abstract: Two graphs $G_1$ and $G_2$ on $n$ vertices are said to \textit{pack} if there exist injective mappings of their vertex sets into $[n]$ such that the images of their edge sets are disjoint. A longstanding conjecture due to Bollob\'as and Eldridge and, independently, Catlin, asserts that, if $(\Delta(G_1)+1) (\Delta(G_2)+1) \le n+1$, then $G_1$ and $G_2$ pack. We consider the validity of this assertion under the additional assumptions that neither $G_1$ nor $G_2$ contain a $4$-, $6$- or $8$-cycle, and that $\Delta(G_1)$ or $\Delta(G_2)$ is large enough ($\ge 940060$).


title: Analytic analysis of auxetic metamaterials through analogy with rigid link systems

abstract: Recent progress in advanced additive manufacturing techniques has stimulated the growth of the field of mechanical metamaterials. One area particular interest in this subject is the creation of auxetic material properties through elastic instability. This paper focuses on a novel methodology in the analysis of auxetic metamaterials through analogy with rigid link lattice systems. Our analytic methodology gives extremely good agreement with finite element simulations for both the onset of elastic instability and post-buckling behaviour including Poisson's ratio. The insight into the relationships between mechanisms within lattices and their mechanical behaviour has the potential to guide the rational design of lattice based metamaterials.


title: Monotone wave fronts for $(p, q)$-Laplacian driven reaction-diffusion equations

abstract: We study the existence of monotone heteroclinic traveling waves for the $1$-dimensional reaction-diffusion equation $$ u_t = (| u_x |^{p-2} u_x + | u_x |^{q-2} u_x)_x + f(u), $$ where the non-homogeneous operator appearing on the right-hand side is known as $(p, q)$-Laplacian. Here we assume that $2 \leq q < p$ and $f$ is a nonlinearity of Fisher type, namely it is always positive out of its zeros. We give an estimate of the critical speed and we comment on the roles of $p$ and $q$ in the dynamics, providing some numerical simulations.


title: On some conjectures of Samuels and Feige

abstract: Let $\mu_1 \ge \dotsc \ge \mu_n > 0$ and $\mu_1 + \dotsm + \mu_n = 1$. Let $X_1, \dotsc, X_n$ be independent non-negative random variables with $EX_1 = \dotsc = EX_n = 1$, and let $Z = \sum_{i=1}^n \mu_i X_i$. Let $M = \max_{1 \le i \le n} \mu_i = \mu_1$, and let $\delta > 0$ and $T = 1 + \delta$. Both Samuels and Feige formulated conjectures bounding the probability $P(Z < T)$ from above. We prove that Samuels' conjecture implies a conjecture of Feige.


title: Waves in strong centrifugal fields: dissipationless gas

abstract: Linear waves are investigated in a rotating gas under the condition of strong centrifugal acceleration of the order $10^6 g$ realized in gas centrifuges for separation of uranium isotopes. Sound waves splits into three families of the waves under these conditions. Dispersion equations are obtained. The characteristics of the waves strongly differ from the conventional sound waves on polarisation, velocity of propagation and distribution of energy of the waves in space for two families having frequencies above and below the frequency of the conventional sound waves. The energy of these waves is localized in rarefied region of the gas. The waves of the third family were not specified before. They propagate exactly along the rotational axis with the conventional sound velocity. These waves are polarized only along the rotational axis. Radial and azimuthal motions are not excited. Energy of the waves is concentrated near the wall of the rotor where the density of the gas is largest.


title: Fundamental groups, slalom curves and extremal length

abstract: We define the extremal length of elements of the fundamental group of the twice punctured complex plane and give upper and lower bounds for this invariant. The bounds differ by a multiplicative constant. The main motivation comes from $3$-braid invariants and their application.


title: Lectures on gravitation

abstract: Lecture notes on selected topics in the theory of gravitation.


title: Complexity Dichotomies for the Minimum F-Overlay Problem

abstract: For a (possibly infinite) fixed family of graphs F, we say that a graph G overlays F on a hypergraph H if V(H) is equal to V(G) and the subgraph of G induced by every hyperedge of H contains some member of F as a spanning subgraph.While it is easy to see that the complete graph on |V(H)| overlays F on a hypergraph H whenever the problem admits a solution, the Minimum F-Overlay problem asks for such a graph with the minimum number of edges.This problem allows to generalize some natural problems which may arise in practice. For instance, if the family F contains all connected graphs, then Minimum F-Overlay corresponds to the Minimum Connectivity Inference problem (also known as Subset Interconnection Design problem) introduced for the low-resolution reconstruction of macro-molecular assembly in structural biology, or for the design of networks.Our main contribution is a strong dichotomy result regarding the polynomial vs. NP-hard status with respect to the considered family F. Roughly speaking, we show that the easy cases one can think of (e.g. when edgeless graphs of the right sizes are in F, or if F contains only cliques) are the only families giving rise to a polynomial problem: all others are NP-complete.We then investigate the parameterized complexity of the problem and give similar sufficient conditions on F that give rise to W[1]-hard, W[2]-hard or FPT problems when the parameter is the size of the solution.This yields an FPT/W[1]-hard dichotomy for a relaxed problem, where every hyperedge of H must contain some member of F as a (non necessarily spanning) subgraph.


title: One-Sided Cross-Validation for Nonsmooth Density Functions

abstract: One-sided cross-validation (OSCV) is a bandwidth selection method initially introduced by Hart and Yi (1998) in the context of smooth regression functions. Mart\'{\i}nez-Miranda et al. (2009) developed a version of OSCV for smooth density functions. This article extends the method for nonsmooth densities. It also introduces the fully robust OSCV modification that produces consistent OSCV bandwidths for both smooth and nonsmooth cases. Practical implementations of the OSCV method for smooth and nonsmooth densities are discussed. One of the considered cross-validation kernels has potential for improving the OSCV method's implementation in the regression context.


title: A simulation technique for slurries interacting with moving parts and deformable solids with applications

abstract: A numerical method for particle-laden fluids interacting with a deformable solid domain and mobile rigid parts is proposed and implemented in a full engineering system. The fluid domain is modeled with a lattice Boltzmann representation, the particles and rigid parts are modeled with a discrete element representation, and the deformable solid domain is modeled using a Lagrangian mesh. The main issue of this work, since separately each of these methods is a mature tool, is to develop coupling and model-reduction approaches in order to efficiently simulate coupled problems of this nature, as occur in various geological and engineering applications. The lattice Boltzmann method incorporates a large-eddy simulation technique using the Smagorinsky turbulence model. The discrete element method incorporates spherical and polyhedral particles for stiff contact interactions. A neo-Hookean hyperelastic model is used for the deformable solid. We provide a detailed description of how to couple the three solvers within a unified algorithm. The technique we propose for rubber modeling/coupling exploits a simplification that prevents having to solve a finite-element problem each time step. We also develop a technique to reduce the domain size of the full system by replacing certain zones with quasi-analytic solutions, which act as effective boundary conditions for the lattice Boltzmann method. The major ingredients of the routine are are separately validated. To demonstrate the coupled method in full, we simulate slurry flows in two kinds of piston-valve geometries. The dynamics of the valve and slurry are studied and reported over a large range of input parameters.


title: New Evidence for the Dynamical Decay of a Multiple System in the Orion Kleinmann-Low Nebula

abstract: We have measured astrometry for members of the Orion Nebula Cluster with images obtained in 2015 with the Wide Field Camera 3 on board the Hubble Space Telescope. By comparing those data to previous measurements with NICMOS on Hubble in 1998, we have discovered that a star in the Kleinmann-Low Nebula, source x from Lonsdale et al. (1982), is moving with an unusually high proper motion of 29 mas/yr, which corresponds to 55 km/s at the distance of Orion. Previous radio observations have found that three other stars in the Kleinmann-Low Nebula (BN and sources I and n) have high proper motions (5-14 mas/yr) and were near a single location ~540 years ago, and thus may have been members of a multiple system that dynamically decayed. The proper motion of source x is consistent with ejection from that same location 540 years ago, which provides strong evidence that the dynamical decay did occur and that the runaway star BN originated in the Kleinmann-Low Nebula rather than the nearby Trapezium cluster. However, our constraint on the motion of source n is significantly smaller than the most recent radio measurement, which indicates that it did not participate in the event that ejected the other three stars.


title: A New Unbiased and Efficient Class of LSH-Based Samplers and Estimators for Partition Function Computation in Log-Linear Models

abstract: Log-linear models are arguably the most successful class of graphical models for large-scale applications because of their simplicity and tractability. Learning and inference with these models require calculating the partition function, which is a major bottleneck and intractable for large state spaces. Importance Sampling (IS) and MCMC-based approaches are lucrative. However, the condition of having a "good" proposal distribution is often not satisfied in practice. In this paper, we add a new dimension to efficient estimation via sampling. We propose a new sampling scheme and an unbiased estimator that estimates the partition function accurately in sub-linear time. Our samples are generated in near-constant time using locality sensitive hashing (LSH), and so are correlated and unnormalized. We demonstrate the effectiveness of our proposed approach by comparing the accuracy and speed of estimating the partition function against other state-of-the-art estimation techniques including IS and the efficient variant of Gumbel-Max sampling. With our efficient sampling scheme, we accurately train real-world language models using only 1-2% of computations.


title: Real-Time Panoramic Tracking for Event Cameras

abstract: Event cameras are a paradigm shift in camera technology. Instead of full frames, the sensor captures a sparse set of events caused by intensity changes. Since only the changes are transferred, those cameras are able to capture quick movements of objects in the scene or of the camera itself. In this work we propose a novel method to perform camera tracking of event cameras in a panoramic setting with three degrees of freedom. We propose a direct camera tracking formulation, similar to state-of-the-art in visual odometry. We show that the minimal information needed for simultaneous tracking and mapping is the spatial position of events, without using the appearance of the imaged scene point. We verify the robustness to fast camera movements and dynamic objects in the scene on a recently proposed dataset and self-recorded sequences.


title: Hysteresis in $\eta/s$ for QFTs dual to spherical black holes

abstract: We define and compute the (analogue) shear viscosity to entropy density ratio $\tilde\eta/s$ for the QFTs dual to spherical AdS black holes both in Einstein and Gauss-Bonnet gravity in five spacetime dimensions. Although in this case, owing to the lack of translational symmetry of the background, $\tilde\eta$ does not have the usual hydrodynamic meaning, it can be still interpreted as the rate of entropy production due to a strain. At large and small temperatures, it is found that $\tilde\eta/s$ is a monotonic increasing function of the temperature. In particular, at large temperatures it approaches a constant value, whereas, at small temperatures, when the black hole has a regular, stable extremal limit, $\tilde\eta/s$ goes to zero with scaling law behaviour. Whenever the phase diagram of the black hole has a Van der Waals-like behaviour, i.e. it is characterised by the presence of two stable states (small and large black holes) connected by a meta-stable region (intermediate black holes), the system evolution must occur through the meta-stable region and temperature-dependent hysteresis of $\tilde\eta/s$ is generated by non-equilibrium thermodynamics.


title: Origin of the fundamental plane of elliptical galaxies in the Coma Cluster without fine-tuning

abstract: After thirty years of the discovery of the fundamental plane, explanations to the tilt of the fundamental plane with respect to the virial plane still suffer from the need of fine-tuning. In this paper, we try to explore the origin of this tilt from the perspective of modified Newtonian dynamics (MOND) by applying the 16 Coma galaxies available in Thomas et al.[1]. Based on the mass models that can reproduce de Vaucouleurs' law closely, we find that the tilt of the traditional fundamental plane is naturally explained by the simple form of the MONDian interpolating function, if we assume a well motivated choice of anisotropic velocity distribution, and adopt the Kroupa or Salpeter stellar mass-to-light ratio. Our analysis does not necessarily rule out a varying stellar mass-to-light ratio.


title: Convergent and Divergent Series in Physics

abstract: The aim of this review, based on a series of four lectures held at the 22nd "Saalburg" Summer School (2016), is to cover selected topics in the theory of perturbation series and their summation. The first part is devoted to strategies for accelerating the rate of convergence of convergent series, namely Richardson extrapolation, and the Shanks transformations, and also covers a few techniques for accelerating the convergence of Fourier series. The second part focuses on divergent series, and on the tools allowing one to retrieve information from them. These techniques include Euler summation, Borel summation, generic summation, and the method of continued functions, including in particular the Pad\'e theory based on continued fractions. Finally, a brief discussion of Stieltjes series and functions is given in order to study the convergence properties of Pad\'e approximants.


title: Automatic skin lesion segmentation with fully convolutional-deconvolutional networks

abstract: This paper summarizes our method and validation results for the ISBI Challenge 2017 - Skin Lesion Analysis Towards Melanoma Detection - Part I: Lesion Segmentation


title: LSDCat: Detection and cataloguing of emission-line sources in integral-field spectroscopy datacubes

abstract: We present a robust, efficient, and user-friendly algorithm for detecting faint emission-line sources in large integral-field spectroscopic datacubes together with the public release of the software package LSDCat (Line Source Detection and Cataloguing). LSDCat uses a 3-dimensional matched filter approach, combined with thresholding in signal-to-noise, to build a catalogue of individual line detections. In a second pass, the detected lines are grouped into distinct objects, and positions, spatial extents, and fluxes of the detected lines are determined. LSDCat requires only a small number of input parameters, and we provide guidelines for choosing appropriate values. The software is coded in Python and capable to process very large datacubes in a short time. We verify the implementation with a source insertion and recovery experiment utilising a real datacube taken with the MUSE instrument at the ESO Very Large Telescope.


title: Detection of faint broad emission lines in type 2 AGN: II. On the measurement of the BH mass of type 2 AGN and the unified model

abstract: We report the virial measurements of the BH mass of a sample of 17 type 2 AGN, drawn from the Swift/BAT 70-month 14-195 keV hard X-ray catalogue, where a faint BLR component has been measured via deep NIR (0.8-2.5 $\mu$m) spectroscopy. We compared the type 2 AGN with a control sample of 33 type 1 AGN. We find that the type 2 AGN BH masses span the 5$<$ log(M$_{BH}$ /M$_{\odot}$) $< $7.5 range, with an average log(M$_{BH}$/M$_{\odot}$) = 6.7, which is $\sim$ 0.8 dex smaller than found for type 1 AGN. If type 1 and type 2 AGN of the same X-ray luminosity log($L_{14-195}$/erg s$^{-1}$) $\sim$ 43.5 are compared, type 2 AGN have 0.5 dex smaller BH masses than type 1 AGN. Although based on few tens of objects, this result disagrees with the standard AGN unification scenarios in which type 1 and type 2 AGN are the same objects observed along different viewing angles with respect to a toroidal absorbing material.


title: Blow-up of a critical Sobolev norm for energy-subcritical and energy-supercritical wave equations

abstract: This work concerns the semilinear wave equation in three space dimensions with a power-like nonlinearity which is greater than cubic, and not quintic (i.e. not energy-critical). We prove that a scale-invariant Sobolev norm of any non-scattering solution goes to infinity at the maximal time of existence. This gives a refinement on known results on energy-subcritical and energy-supercritical wave equation, with a unified proof. The proof relies on the channel of energy method, as in arXiv:1204.0031, in weighted scale-invariant Sobolev spaces which were introduced in arXiv:1506.00788. These spaces are local, thus adapted to finite speed of propagation, and related to a conservation law of the linear wave equation. We also construct the adapted profile decomposition.


title: Experimental Bayesian Quantum Phase Estimation on a Silicon Photonic Chip

abstract: Quantum phase estimation is a fundamental subroutine in many quantum algorithms, including Shor's factorization algorithm and quantum simulation. However, so far results have cast doubt on its practicability for near-term, non-fault tolerant, quantum devices. Here we report experimental results demonstrating that this intuition need not be true. We implement a recently proposed adaptive Bayesian approach to quantum phase estimation and use it to simulate molecular energies on a Silicon quantum photonic device. The approach is verified to be well suited for pre-threshold quantum processors by investigating its superior robustness to noise and decoherence compared to the iterative phase estimation algorithm. This shows a promising route to unlock the power of quantum phase estimation much sooner than previously believed.


title: Busy beavers and Kolmogorov complexity

abstract: The idea to find the "maximal number that can be named" can be traced back to Archimedes (see his Psammit). From the viewpoint of computation theory the natural question is "which number can be described by at most n bits"? This question led to the definition of the so-called "busy beaver" numbers (introduced by T. Rado). In this note we consider different versions of the busy beaver-like notions defined in terms of Kolmogorov complexity. We show that these versions differ depending on the version of complexity used (plain, prefix, or a priori complexities) and find out how these notions are related, providing matching lower and upper bounds.


title: Semidefinite programming bounds for constant weight codes

abstract: For nonnegative integers $n,d,w$, let $A(n,d,w)$ be the maximum size of a code $C \subseteq \mathbb{F}_2^n$ with constant weight $w$ and minimum distance at least $d$. We consider two semidefinite programs based on quadruples of code words that yield several new upper bounds on $A(n,d,w)$. The new upper bounds imply that $A(22,8,10)=616$ and $A(22,8,11)=672$. Lower bounds on $A(22,8,10)$ and $A(22,8,11)$ are obtained from the $(n,d)=(22,7)$ shortened Golay code of size $2048$. It can be concluded that the shortened Golay code is a union of constant weight $w$ codes of sizes $A(22,8,w)$.


title: Bayesian adaptive bandit-based designs using the Gittins index for multi-armed trials with normally distributed endpoints

abstract: Adaptive designs for multi-armed clinical trials have become increasingly popular recently in many areas of medical research because of their potential to shorten development times and to increase patient response. However, developing response-adaptive trial designs that offer patient benefit while ensuring the resulting trial avoids bias and provides a statistically rigorous comparison of the different treatments included is highly challenging. In this paper, the theory of Multi-Armed Bandit Problems is used to define a family of near optimal adaptive designs in the context of a clinical trial with a normally distributed endpoint with known variance. Through simulation studies based on an ongoing trial as a motivation we report the operating characteristics (type I error, power, bias) and patient benefit of these approaches and compare them to traditional and existing alternative designs. These results are then compared to those recently published in the context of Bernoulli endpoints. Many limitations and advantages are similar in both cases but there are also important differences, specially with respect to type I error control. This paper proposes a simulation-based testing procedure to correct for the observed type I error inflation that bandit-based and adaptive rules can induce. Results presented extend recent work by considering a normally distributed endpoint, a very common case in clinical practice yet mostly ignored in the response-adaptive theoretical literature, and illustrate the potential advantages of using these methods in a rare disease context. We also recommend a suitable modified implementation of the bandit-based adaptive designs for the case of common diseases.


title: Randomly coloring simple hypergraphs with fewer colors

abstract: We study the problem of constructing a (near) uniform random proper $q$-coloring of a simple $k$-uniform hypergraph with $n$ vertices and maximum degree $\Delta$. (Proper in that no edge is mono-colored and simple in that two edges have maximum intersection of size one). We show that if $q\geq \max\{C_k\log n,500k^3\Delta^{1/(k-1)}\}$ then the Glauber Dynamics will become close to uniform in $O(n\log n)$ time, given a random (improper) start. This improves on the results in Frieze and Melsted [5].


title: On the Connectivity Problem of ETSI DCC Algorithm

abstract: The intelligent transportation systems (ITS) framework from European Telecommunication Standards Institute (ETSI) imposes requirements on the exchange of periodic safety messages between components of ITS such as vehicles. In particular, it requires ETSI standardized Decentralized Congestion Control (DCC) algorithm to regulate the beaconing activity of vehicles based on wireless channel utilization. However, the DCC state that defines the beaconing behavior under heavy channel congestion, i.e., the Restrictive state, has a serious connectivity problem that safety beacons do not reach other vehicles in safety-critical distances. In this paper, we demonstrate the problem through analysis, simulation, and on-road measurements. We suggest that DCC change the transmit power setting for the Restrictive state before a full-scale deployment of the ETSI ITS framework starts, and we discuss its consequences in terms of changes in communicability and channel utilization.


title: Prototypical Networks for Few-shot Learning

abstract: We propose prototypical networks for the problem of few-shot classification, where a classifier must generalize to new classes not seen in the training set, given only a small number of examples of each new class. Prototypical networks learn a metric space in which classification can be performed by computing distances to prototype representations of each class. Compared to recent approaches for few-shot learning, they reflect a simpler inductive bias that is beneficial in this limited-data regime, and achieve excellent results. We provide an analysis showing that some simple design decisions can yield substantial improvements over recent approaches involving complicated architectural choices and meta-learning. We further extend prototypical networks to zero-shot learning and achieve state-of-the-art results on the CU-Birds dataset.


title: Descattering of Giant Pulses in PSR B1957+20

abstract: The interstellar medium scatters radio waves which causes pulsars to scintillate. For intrinsically short bursts of emission, the observed signal should be a direct measurement of the impulse response function. We show that this is indeed the case for giant pulses from PSR B1957+20: from baseband observations at 327 MHz, we demonstrate that the observed voltages of a bright pulse allow one to coherently descatter nearby ones. We find that while the scattering timescale is $12.3\,\mu$s, the power in the descattered pulses is concentrated within a span almost two orders of magnitude shorter, of $\lesssim\!200\,$ns. This sets an upper limit to the intrinsic duration of the giant pulses. We verify that the response inferred from the giant pulses is consistent with the scintillation pattern obtained by folding the regular pulsed emission, and that it decorrelates on the same timescale, of~$84\,$s. In principle, with large sets of giant pulses, it should be possible to constrain the structure of the scattering screen much more directly than with other current techniques, such as holography on the dynamic spectrum and cyclic spectroscopy.


title: Quantum Transport in Ambipolar Few-layer Black Phosphorus

abstract: Few-layer black phosphorus possesses unique electronic properties giving rise to distinct quantum phenomena and thus offers a fertile platform to explore the emergent correlation phenomena in low dimensions. A great progress has been demonstrated in improving the quality of hole-doped few-layer black phosphorus and its quantum transport studies, whereas the same achievements are rather modest for electron-doped few-layer black phosphorus. Here, we report the ambipolar quantum transport in few-layer black phosphorus exhibiting undoubtedly the quantum Hall effect for hole transport and showing clear signatures of the quantum Hall effect for electron transport. By bringing the spin-resolved Landau levels of the electron-doped black phosphorus to the coincidence, we measure the spin susceptibility $\chi_s=m^\ast g^\ast=1.1\pm0.03$. This value is larger than for hole-doped black phosphorus and illustrates an energetically equidistant arrangement of spin-resolved Landau levels. Evidently, the n-type black phosphorus offers a unique platform with equidistant sequence of spin-up and spin-down states for exploring the quantum spintronic.


title: Mathematical models for dispersive electromagnetic waves: an overview

abstract: In this work, we investigate mathematical models for electromagnetic wave propagation in dispersive isotropic media. We emphasize the link between physical requirements and mathematical properties of the models. A particular attention is devoted to the notion of non-dissipativity and passivity. We consider successively the case of so-called local media and general passive media. The models are studied through energy techniques, spectral theory and dispersion analysis of plane waves. For making the article self-contained, we provide in appendix some useful mathematical background.


title: Probing the Interstellar Dust towards the Galactic Centre: Dust Scattering Halo around AX J1745.6-2901

abstract: AX J1745.6-2901 is an X-ray binary located at only 1.45 arcmin from Sgr A*, showcasing a strong X-ray dust scattering halo. We combine Chandra and XMM-Newton observations to study the halo around this X-ray binary. Our study shows two major thick dust layers along the line of sight (LOS) towards AX J1745.6-2901. The LOS position and $N_{H}$ of these two layers depend on the dust grain models with different grain size distribution and abundances. But for all the 19 dust grain models considered, dust Layer-1 is consistently found to be within a fractional distance of 0.11 (mean value: 0.05) to AX J1745.6-2901 and contains only (19-34)% (mean value: 26%) of the total LOS dust. The remaining dust is contained in Layer-2, which is distributed from the Earth up to a mean fractional distance of 0.64. A significant separation between the two layers is found for all the dust grain models, with a mean fractional distance of 0.31. Besides, an extended wing component is discovered in the halo, which implies a higher fraction of dust grains with typical sizes $\lesssim$ 590 \AA\ than considered in current dust grain models. Assuming AX J1745.6-2901 is 8 kpc away, dust Layer-2 would be located in the Galactic disk several kpc away from the Galactic Centre (GC). The dust scattering halo biases the observed spectrum of AX J1745.6-2901 severely in both spectral shape and flux, and also introduces a strong dependence on the size of the instrumental point spread function and the source extraction region. We build Xspec models to account for this spectral bias, which allow us to recover the intrinsic spectrum of AX J1745.6-2901 free from dust scattering opacity. If dust Layer-2 also intervenes along the LOS to Sgr A* and other nearby GC sources, a significant spectral correction for the dust scattering opacity would be necessary for all these GC sources.


title: Homogeneity range of ternary 11-type chalcogenides Fe$_{1+y}$Te$_{1-x}$Se$_x$

abstract: The 11-type Fe-chalcogenides belong to the family of Fe-based superconductors. In these compounds, the interstitial Fe is known to strongly influence the magnetic and superconducting properties. Here we present the chemical homogeneity range of ternary compounds Fe$_{1+y}$Te$_{1-x}$Se$_x$ based on powder x-ray diffraction, energy dispersive x-ray analysis and magnetization measurements. Our investigations show that the maximum amount of excess Fe in homogeneous Fe$_{1+y}$Te$_{1-x}$Se$_x$ decreases with increase in Se substitution for Te. Using our synthesis procedure, single-phase Fe$_{1+y}$Te$_{1-x}$Se$_x$, with $~0.5 \leq x <~1$ could not be formed for any amount of excess Fe. Further, the superconducting volume fraction in the material is found to be strongly suppressed by excess Fe.


title: Generation of single skyrmions by picosecond magnetic field pulses

abstract: We numerically demonstrate an ultrafast method to create $\textit{single}$ skyrmions in a $\textit{collinear}$ ferromagnetic sample by applying a picosecond (effective) magnetic field pulse in the presence of Dzyaloshinskii-Moriya interaction. For small samples the applied magnetic field pulse could be either spatially uniform or nonuniform while for large samples a nonuniform and localized field is more effective. We examine the phase diagram of pulse width and amplitude for the nucleation. Our finding could ultimately be used to design future skyrmion-based devices.


title: Perturbing microwave beams by plasma density fluctuations

abstract: The propagation of microwaves across a turbulent plasma density layer is investigated with full-wave simulations. To properly represent a fusion edge-plasma, drift-wave turbulence is considered based on the Hasegawa-Wakatani model. Scattering and broadening of a microwave beam whose amplitude distribution is of Gaussian shape is studied in detail as a function of certain turbulence properties. Parameters leading to the strongest deterioration of the microwave beam are identified and implications for existing experiments are given.


title: Semicircle law for generalized Curie-Weiss matrix ensembles at subcritical temperature

abstract: Hochst\"attler, Kirsch, and Warzel showed that the semicircle law holds for generalized Curie-Weiss matrix ensembles at or above the critical temperature. We extend their result to the case of subcritical temperatures for which the correlations between the matrix entries are stronger. Nevertheless, one may use the concept of approximately uncorrelated ensembles that was first introduced in the paper mentioned above. In order to do so one needs to remove the average magnetization of the entries by an appropriate modification of the ensemble that turns out to be of rank 1 thus not changing the limiting spectral measure.


title: Modelling Jets, Tori and Flares in Pulsar Wind Nebulae

abstract: In this contribution we review the recent progress in the modeling of Pulsar Wind Nebulae (PWN). We start with a brief overview of the relevant physical processes in the magnetosphere, the wind-zone and the inflated nebula bubble. Radiative signatures and particle transport processes obtained from 3D simulations of PWN are discussed in the context of optical and X-ray observations. We then proceed to consider particle acceleration in PWN and elaborate on what can be learned about the particle acceleration from the dynamical structures called "wisps" observed in the Crab nebula. We also discuss recent observational and theoretical results of gamma-ray flares and the inner knot of the Crab nebula, which had been proposed as the emission site of the flares. We extend the discussion to GeV flares from binary systems in which the pulsar wind interacts with the stellar wind from a companion star. The chapter concludes with a discussion of solved and unsolved problems posed by PWN.


title: Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view

abstract: Interoperability is the ability of a programming language to work with systems based on different languages and paradigms. These days, many widely used high-level language impementations provide access to external functionalities. In this paper, we present some ideas on CLR interoperability focusing on the kind of constructs desirable by a programmer to this regard.


title: Verified type checker for Jolie programming language

abstract: Jolie is a service-oriented programming language which comes with the formal specification of its type system. However, there is no tool to ensure that programs in Jolie are well-typed. In this paper we provide the results of building a type checker for Jolie as a part of its syntax and semantics formal model. We express the type checker as a program with dependent types in Agda proof assistant which helps to ascertain that the type checker is correct.


title: Supernova-regulated ISM -- V. Space- and time-correlations

abstract: We apply correlation analysis to random fields in numerical simulations of the supernova-driven interstellar medium (ISM) with the magnetic field produced by dynamo action. We solve the thermo-magnetohydrodynamic (MHD) equations in a shearing, Cartesian box representing a local region of the ISM, subject to thermal and kinetic energy injection by supernova explosions, and parameterized optically-thin radiative cooling. We consider the cold, warm\, and hot phases of the ISM separately; the analysis mostly considers the warm gas, which occupies the bulk of the domain. Various physical variables have different correlation lengths in the warm phase: $40 pc$, $50 pc$, and $60 pc$ for random magnetic field, density, and velocity, respectively, in the midplane. The correlation time of the random velocity is comparable to the eddy turnover time, about $10^7 yr$, although it may be shorter in regions with higher star formation rate. The random magnetic field is anisotropic, with the standard deviations of its components $b_x/b_y/b_z$ having approximate ratios $0.5/0.6/0.6$ in the midplane. The anisotropy is attributed to the global velocity shear from galactic differential rotation, and locally inhomogeneous outflow to the galactic halo. The correlation length of Faraday depth along the $z$-axis, $120 pc$, is greater than for electron density, $60 - 90 pc$, and vertical magnetic field, $60 pc$. Such comparisons may be sensitive to the orientation of the line of sight. Uncertainties of the structure functions of synchrotron intensity rapidly increase with the scale. This feature is hidden in power spectrum analysis, which can undermine the usefulness of power spectra for detailed studies of interstellar turbulence.


title: Negative membrane capacitance of outer hair cells: electromechanical coupling near resonance

abstract: The ability of the mammalian ear in processing high frequency sounds, up to $\sim$100 kHz, is based on the capability of outer hair cells (OHCs) responding to stimulation at high frequencies. These cells show a unique motility in their cell body coupled with charge movement. With this motile element, voltage changes generated by stimuli at their hair bundles drives the cell body and that, in turn, amplifies the stimuli. In vitro experiments show that the movement of these charges significantly increases the membrane capacitance, limiting the motile activity by additionally attenuating voltage changes. It was found, however, that such an effect is due to the absence of mechanical load. In the presence of mechanical resonance, such as in vivo conditions, the movement of motile charges is expected to create negative capacitance near the resonance frequency. Therefore this motile mechanism is effective at high frequencies.


title: Student-t Process Quadratures for Filtering of Non-Linear Systems with Heavy-Tailed Noise

abstract: The aim of this article is to design a moment transformation for Student- t distributed random variables, which is able to account for the error in the numerically computed mean. We employ Student-t process quadrature, an instance of Bayesian quadrature, which allows us to treat the integral itself as a random variable whose variance provides information about the incurred integration error. Advantage of the Student- t process quadrature over the traditional Gaussian process quadrature, is that the integral variance depends also on the function values, allowing for a more robust modelling of the integration error. The moment transform is applied in nonlinear sigma-point filtering and evaluated on two numerical examples, where it is shown to outperform the state-of-the-art moment transforms.


title: On some permanence properties of exact groupoids

abstract: A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact groups. Our primary goal is to show that exactness descends to certain types of closed subgroupoids, which in turn gives conditions under which the isotropy groups of an exact groupoid are guaranteed to be exact. As an initial step toward these results, we establish the exactness of any transformation groupoid associated to an action of an exact groupoid on a locally compact Hausdorff space. We also obtain a partial converse to this result, which generalizes a theorem of Kirchberg and Wassermann. We end with some comments on the weak form of exactness known as inner exactness.


title: Characterization of Defect Structure in Electrodeposited Nanocrystalline Ni Films

abstract: The microstructure of electrodeposited Ni films produced without and with organic additives (saccharin and formic acid) was investigated by X-ray diffraction (XRD) line profile analysis and cross-sectional transmission electron microscopy (TEM). Whereas the general effect of these additives on the microstructure (elimination of columnar growth as well as grain refinement) was reproduced, the pronounced intention of this study was to compare the results of various seldom-used high-performance structural characterization methods on identical electrodeposited specimens in order to reveal fine details of structural changes qualitatively not very common in this field. In the film deposited without additives, a columnar structure was observed showing similarities to the T-zone of structure zone models. Both formic acid and saccharin additives resulted in equiaxed grains with reduced size, as well as increased dislocation and twin fault densities in the nanocrystalline films. Moreover, the structure became homogeneous and free of texture within the total film thickness due to the additives. Saccharin yielded smaller grain size and larger defect density than formic acid. A detailed analysis of the grain size and twin boundary spacing distributions was carried out with the complementary application of TEM and XRD, by carefully distinguishing between the TEM and XRD grain sizes.


title: Learning to Discover Cross-Domain Relations with Generative Adversarial Networks

abstract: While humans easily recognize relations between data from different domains without any supervision, learning to automatically discover them is in general very challenging and needs many ground-truth pairs that illustrate the relations. To avoid costly pairing, we address the task of discovering cross-domain relations given unpaired data. We propose a method based on generative adversarial networks that learns to discover relations between different domains (DiscoGAN). Using the discovered relations, our proposed network successfully transfers style from one domain to another while preserving key attributes such as orientation and face identity. Source code for official implementation is publicly available https://github.com/SKTBrain/DiscoGAN


title: Dirac states of an electron in a circular intense magnetic field

abstract: Neutron-star magnetospheres are structured by very intense magnetic fields extending from 100 to 10 5 km traveled by very energetic electrons and positrons with Lorentz factors up to $\sim$ 10 7. In this context, particles are forced to travel almost along the magnetic field with very small gyro-motion, potentially reaching the quantified regime. We describe the state of Dirac particles in a locally uniform, constant and curved magnetic field in the approximation that the Larmor radius is very small compared to the radius of curvature of the magnetic field lines. We obtain a result that admits the usual relativistic Landau states as a limit of null curvature. We will describe the radiation of these states, that we call quantum curvature or synchro-curvature radiation, in an upcoming paper.


title: Energy-Efficient Secrecy in Wireless Networks Based on Random Jamming

abstract: This paper considers secure energy-efficient routing in the presence of multiple passive eavesdroppers. Previous work in this area has considered secure routing assuming probabilistic or exact knowledge of the location and channel-state-information (CSI) of each eavesdropper. In wireless networks, however, the locations and CSIs of passive eavesdroppers are not known, making it challenging to guarantee secrecy for any routing algorithm. We develop an efficient (in terms of energy consumption and computational complexity) routing algorithm that does not rely on any information about the locations and CSIs of the eavesdroppers. Our algorithm guarantees secrecy even in disadvantaged wireless environments, where multiple eavesdroppers try to eavesdrop each message, are equipped with directional antennas, or can get arbitrarily close to the transmitter. The key is to employ additive random jamming to exploit inherent non-idealities of the eavesdropper's receiver, which makes the eavesdroppers incapable of recording the messages. We have simulated our proposed algorithm and compared it with existing secrecy routing algorithms in both single-hop and multi-hop networks. Our results indicate that when the uncertainty in the locations of eavesdroppers is high and/or in disadvantaged wireless environments, our algorithm outperforms existing algorithms in terms of energy consumption and secrecy.


title: Observation of Conductance Quantization in InSb Nanowire Networks

abstract: Majorana Zero Modes (MZMs) are prime candidates for robust topological quantum bits, holding a great promise for quantum computing. Semiconducting nanowires with strong spin orbit coupling offers a promising platform to harness one-dimensional electron transport for Majorana physics. Demonstrating the topological nature of MZMs relies on braiding, accomplished by moving MZMs around each other in a certain sequence. Most of the proposed Majorana braiding circuits require nanowire networks with minimal disorder. Here, the electronic transport across a junction between two merged InSb nanowires is studied to investigate how disordered these nanowire networks are. Conductance quantization plateaus are observed in all contact pairs of the epitaxial InSb nanowire networks; the hallmark of ballistic transport behavior.


title: A Comprehensive Library of X-ray Pulsars in the Small Magellanic Cloud: Time Evolution of their Luminosities and Spin Periods

abstract: We have collected and analyzed the complete archive of {\itshape XMM-Newton\} (116), {\itshape Chandra\} (151), and {\itshape RXTE\} (952) observations of the Small Magellanic Cloud (SMC), spanning 1997-2014. The resulting observational library provides a comprehensive view of the physical, temporal and statistical properties of the SMC pulsar population across the luminosity range of $L_X= 10^{31.2}$--$10^{38}$~erg~s$^{-1}$. From a sample of 67 pulsars we report $\sim$1654 individual pulsar detections, yielding $\sim$1260 pulse period measurements. Our pipeline generates a suite of products for each pulsar detection: spin period, flux, event list, high time-resolution light-curve, pulse-profile, periodogram, and spectrum. Combining all three satellites, we generated complete histories of the spin periods, pulse amplitudes, pulsed fractions and X-ray luminosities. Some pulsars show variations in pulse period due to the combination of orbital motion and accretion torques. Long-term spin-up/down trends are seen in 12/11 pulsars respectively, pointing to sustained transfer of mass and angular momentum to the neutron star on decadal timescales. Of the sample 30 pulsars have relatively very small spin period derivative and may be close to equilibrium spin. The distributions of pulse-detection and flux as functions of spin-period provide interesting findings: mapping boundaries of accretion-driven X-ray luminosity, and showing that fast pulsars ($P<$10 s) are rarely detected, which yet are more prone to giant outbursts. Accompanying this paper is an initial public release of the library so that it can be used by other researchers. We intend the library to be useful in driving improved models of neutron star magnetospheres and accretion physics.


title: Normalization of closed Ekedahl-Oort strata

abstract: We apply our theory of partial flag spaces developed in previous articles to study a group-theoretical generalization of the canonical filtration of a truncated Barsotti-Tate group of level 1. As an application, we determine explicitly the normalization of the Zariski closures of Ekedahl-Oort strata of Shimura varieties of Hodge-type as certain closed coarse strata in the associated partial flag spaces.


title: Coherent Transport of Levitons Through the Kondo Resonance

abstract: We study coherent transport of levitons through a single-level quantum dot system driven by Lorentzian-shaped voltage pulses. We demonstrate the repeated emergence of the Kondo resonance in the dynamical regimes where the Fermi sea is driven by optimal pulses free of particle-hole excitations. The formation of the Kondo resonance significantly enhances the dc transport of levitons.


title: Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps

abstract: We study the problem of testing unateness of functions $f:\{0,1\}^d \to \mathbb{R}.$ We give a $O(\frac{d}{\epsilon} \cdot \log\frac{d}{\epsilon})$-query nonadaptive tester and a $O(\frac{d}{\epsilon})$-query adaptive tester and show that both testers are optimal for a fixed distance parameter $\epsilon$. Previously known unateness testers worked only for Boolean functions, and their query complexity had worse dependence on the dimension both for the adaptive and the nonadaptive case. Moreover, no lower bounds for testing unateness were known. We also generalize our results to obtain optimal unateness testers for functions $f:[n]^d \to \mathbb{R}$. Our results establish that adaptivity helps with testing unateness of real-valued functions on domains of the form $\{0,1\}^d$ and, more generally, $[n]^d$. This stands in contrast to the situation for monotonicity testing where there is no adaptivity gap for functions $f:[n]^d \to \mathbb{R}$.


title: The sporadic group J2, Hauptmodul and Belyi map

abstract: Determining Fourier coefficients of modular forms of a finite index noncongruence subgroups of the modular group is still a non-trivial task. In this brief note we describe a new algorithm to reliably calculate an approximation for a modular form of a given weight. As an example we calculate the hauptmodul and Belyi map of a genus zero subgroup of the modular group defined via a canonical homomorphism by the second Janko group. Our main result is the field of definition of its Belyi map, the explicit Belyi map and the Fourier coefficients of its hauptmodul.


title: Fuzzy Rankings: Properties and Applications

abstract: In practice, a ranking of objects with respect to given set of criteria is of considerable importance. However, due to lack of knowledge, information of time pressure, decision makers might not be able to provide a (crisp) ranking of objects from the top to the bottom. Instead, some objects might be ranked equally, or better than other objects only to some degree. In such cases, a generalization of crisp rankings to fuzzy rankings can be more useful. The aim of the article is to introduce the notion of a fuzzy ranking and to discuss its several properties, namely orderings, similarity and indecisiveness. The proposed approach can be used both for group decision making or multiple criteria decision making when uncertainty is involved.


title: Two-channel conduction in YbPtBi

abstract: We investigated transport, magnetotransport, and broadband optical properties of the half-Heusler compound YbPtBi. Hall measurements evidence two types of charge carriers: highly mobile electrons with a temperature-dependent concentration and low-mobile holes; their concentration stays almost constant within the investigated temperature range from 2.5 to 300 K. The optical spectra (10 meV - 2.7 eV) can be naturally decomposed into contributions from intra- and interband absorption processes, the former manifesting themselves as two Drude bands with very different scattering rates, corresponding to the charges with different mobilities. These results of the optical measurements allow us to separate the contributions from electrons and holes to the total conductivity and to implement a two-channel-conduction model for description of the magnetotransport data. In this approach, the electron and hole mobilities are found to be around 50000 and 10 cm$^{2}$/Vs at the lowest temperatures (2.5 K), respectively.


title: Growing simplified vine copula trees: improving Di{\ss}mann's algorithm

abstract: Vine copulas are pair-copula constructions enabling multivariate dependence modeling in terms of bivariate building blocks. One of the main tasks of fitting a vine copula is the selection of a suitable tree structure. For this the prevalent method is a heuristic called Di{\ss}mann's algorithm. It sequentially constructs the vine's trees by maximizing dependence at each tree level, where dependence is measured in terms of absolute Kendall's $\tau$. However, the algorithm disregards any implications of the tree structure on the simplifying assumption that is usually made for vine copulas to keep inference tractable. We develop two new algorithms that select tree structures focused on producing simplified vine copulas for which the simplifying assumption is violated as little as possible. For this we make use of a recently developed statistical test of the simplifying assumption. In a simulation study we show that our proposed methods outperform the benchmark given by Di{\ss}mann's algorithm by a great margin. Several real data applications emphasize their practical relevance.


title: On Inconsistency Indices and Inconsistency Axioms in Pairwise Comparisons

abstract: Pairwise comparisons are an important tool of modern (multiple criteria) decision making. Since human judgments are often inconsistent, many studies focused on the ways how to express and measure this inconsistency, and several inconsistency indices were proposed as an alternative to Saaty inconsistency index and inconsistency ratio for reciprocal pairwise comparisons matrices. This paper aims to: firstly, introduce a new measure of inconsistency of pairwise comparisons and to prove its basic properties; secondly, to postulate an additional axiom, an upper boundary axiom, to an existing set of axioms; and the last, but not least, the paper provides proofs of satisfaction of this additional axiom by selected inconsistency indices as well as it provides their numerical comparison.


title: Statistical mechanics of phase-space partitioning in large-scale spiking neuron circuits

abstract: Synaptic interactions structure the phase space of the dynamics of neural circuits and constrain neural computation. Understanding how requires methods that handle those discrete interactions, yet few exist. Recently, it was discovered that even random networks exhibit dynamics that partitions the phase space into numerous attractor basins. Here we utilize this phenomenon to develop theory for the geometry of phase space partitioning in spiking neural circuits. We find basin boundaries structuring the phase space are pre-images of spike-time collision events. Formulating a statistical theory of spike-time collision events, we derive expressions for the rate of divergence of neighboring basins and for their size distribution. This theory reveals that the typical basin diameter grows with inhibitory coupling strength and shrinks with the rate of spike events. Our study provides an analytical and generalizable approach for dissecting how connectivity, coupling strength, single neuron dynamics and population activity shape the phase space geometry of spiking circuits.


title: Chance-Constrained Unit Commitment with N-1 Security and Wind Uncertainty

abstract: As renewable wind energy penetration rates continue to increase, one of the major challenges facing grid operators is the question of how to control transmission grids in a reliable and a cost-efficient manner. The stochastic nature of wind forces an alteration of traditional methods for solving day-ahead and look-ahead unit commitment and dispatch. In particular, the variability of wind generation increases the risk of unexpected overloads and cascading events. To address these questions, we present an N-1 Security and Chance-Constrained Unit Commitment (SCCUC) that includes models of generation reserves that respond to wind fluctuations and component outages. We formulate the SCCUC as a mixed-integer, second-order cone problem that limits the probability of failure. We develop a modified Benders decomposition algorithm to solve the problem to optimality and present detailed case studies on the IEEE RTS-96 three-area and the IEEE 300 NESTA test systems. The case studies assess the economic impacts of contingencies and various degrees of wind power penetration and demonstrate the effectiveness and scalability of the algorithm.


title: Asymptotic stability of harmonic maps between 2D hyperbolic spaces under the wave map equation. II. Small energy case

abstract: In this paper, we prove that the small energy harmonic maps from $\Bbb H^2$ to $\Bbb H^2$ are asymptotically stable under the wave map equation in the subcritical perturbation class. This result may be seen as an example supporting the soliton resolution conjecture for geometric wave equations without equivariant assumptions on the initial data. In this paper, we construct Tao's caloric gauge in the case when nontrivial harmonic map occurs. With the "dynamic separation" the master equation of the heat tension field appears as a semilinear magnetic wave equation. By the endpoint and weighted Strichartz estimates for magnetic wave equations obtained by the first author \cite{Lize1}, the asymptotic stability follows by a bootstrap argument.


title: Understanding the Probabilistic Latent Component Analysis Framework

abstract: Probabilistic Component Latent Analysis (PLCA) is a statistical modeling method for feature extraction from non-negative data. It has been fruitfully applied to various research fields of information retrieval. However, the EM-solved optimization problem coming with the parameter estimation of PLCA-based models has never been properly posed and justified. We then propose in this short paper to re-define the theoretical framework of this problem, with the motivation of making it clearer to understand, and more admissible for further developments of PLCA-based computational systems.


title: Transient Response Improvement for Interconnected Linear Systems: Low-Dimensional Controller Retrofit Approach

abstract: In this paper, we propose a method of designing low-dimensional retrofit controllers for interconnected linear systems. In the proposed method, by retrofitting an additional low-dimensional controller to a preexisting control system, we aim at improving transient responses caused by spatially local state deflections, which can be regarded as a local fault occurring at a specific subsystem. It is found that a type of state-space expansion, called hierarchical state-space expansion, is the key to systematically designing a low-dimensional retrofit controller, whose action is specialized to controlling the corresponding subsystem. Furthermore, the state-space expansion enables theoretical clarification of the fact that the performance index of the transient response control is improved by appropriately tuning the retrofit controller. The efficiency of the proposed method is shown through a motivating example of power system control where we clarify the trade-off relation between the dimension of a retrofit controller and its control performance.


title: Neural Networks retrieving Boolean patterns in a sea of Gaussian ones

abstract: Restricted Boltzmann Machines are key tools in Machine Learning and are described by the energy function of bipartite spin-glasses. From a statistical mechanical perspective, they share the same Gibbs measure of Hopfield networks for associative memory. In this equivalence, weights in the former play as patterns in the latter. As Boltzmann machines usually require real weights to be trained with gradient descent like methods, while Hopfield networks typically store binary patterns to be able to retrieve, the investigation of a mixed Hebbian network, equipped with both real (e.g., Gaussian) and discrete (e.g., Boolean) patterns naturally arises. We prove that, in the challenging regime of a high storage of real patterns, where retrieval is forbidden, an extra load of Boolean patterns can still be retrieved, as long as the ratio among the overall load and the network size does not exceed a critical threshold, that turns out to be the same of the standard Amit-Gutfreund-Sompolinsky theory. Assuming replica symmetry, we study the case of a low load of Boolean patterns combining the stochastic stability and Hamilton-Jacobi interpolating techniques. The result can be extended to the high load by a non rigorous but standard replica computation argument.


title: Uniform diamond coatings on WC-Co hard alloy cutting inserts deposited by a microwave plasma CVD

abstract: Polycrystalline diamond coatings have been grown on cemented carbide substrates with different aspect ratios by a microwave plasma CVD in methane-hydrogen gas mixtures. To protect the edges of the substrates from non-uniform heating due to the plasma edge effect, a special plateholder with pockets for group growth has been used. The difference in heights of the substrates and plateholder, and its influence on the diamond film mean grain size, growth rate, phase composition and stress was investigated. The substrate temperature range, within which uniform diamond films are produced with good adhesion, is determined. The diamond-coated cutting inserts produced at optimized process exhibited a reduction of cutting force and wear resistance by a factor of two, and cutting efficiency increase by 4.3 times upon turning A390 Al-Si alloy as compared to performance of uncoated tools.


title: Existence of strongly proper dyadic subbases

abstract: We consider a topological space with its subbase which induces a coding for each point. Every second-countable Hausdorff space has a subbase that is the union of countably many pairs of disjoint open subsets. A dyadic subbase is such a subbase with a fixed enumeration. If a dyadic subbase is given, then we obtain a domain representation of the given space. The properness and the strong properness of dyadic subbases have been studied, and it is known that every strongly proper dyadic subbase induces an admissible domain representation regardless of its enumeration. We show that every locally compact separable metric space has a strongly proper dyadic subbase.


title: Direct Comparison of Fractional and Integer Quantized Hall Resistance

abstract: We present precision measurements of the fractional quantized Hall effect where the quantized resistance $R^{[1/3]}$ in the fractional quantum Hall state at filling factor 1/3 was compared with a quantized resistance $R^{[2]}$, represented by an integer quantum Hall state at filling factor 2. A cryogenic current comparator bridge capable of currents down to the nanoampere range was used to directly compare two resistance values of two GaAs-based devices located in two cryostats. A value of $1 - (5.3 \pm 6.3) 10^{-8}$ (95% confidence level) was obtained for the ratio $(R^{[1/3]}/6R^{[2]})$. This constitutes the most precise comparison of integer resistance quantization (in terms of $h/e^2$) in single-particle systems and of fractional quantization in fractionally charged quasi-particle systems. While not relevant for practical metrology, such a test of the validity of the underlying physics is of significance in the context of the up-coming revision of the SI.


title: Rayleigh-Taylor instability for the two-phase Navier-Stokes equations with surface tension in cylindrical domains

abstract: This article is concerned with the dynamic behaviour of two immiscible and incompressible fluids in a cylindrical domain, which are separated by a sharp interface. In case that the heavy fluid is situated on top of the light fluid, one expects that the fluid on top sags down into the lower phase. This effect is known as the Rayleigh-Taylor-Instability. We present a rather complete analysis of the corresponding free boundary problem which involves a contact angle. Our main result implies the existence of a critical surface tension with the following property. In case that the surface tension of the interface separating the two fluids is smaller than the critical surface tension, one has Rayleigh-Taylor-Instability. On the contrary, if the interface has a greater surface tension than the critical value, the instability effect does not occur and one has exponential stability of a flat interface. The last part of this article is concerned with the bifurcation of nontrivial equilibria in multiple eigenvalues. The invariance of the corresponding bifurcation equation with respect to rotations and reflections yields the existence of bifurcating subcritical equilibria. Finally it is proven that the bifurcating equilibria are unstable.


title: Algebraic Foundations of Proof Refinement

abstract: We contribute a general apparatus for dependent tactic-based proof refinement in the LCF tradition, in which the statements of subgoals may express a dependency on the proofs of other subgoals; this form of dependency is extremely useful and can serve as an algorithmic alternative to extensions of LCF based on non-local instantiation of schematic variables. Additionally, we introduce a novel behavioral distinction between refinement rules and tactics based on naturality. Our framework, called Dependent LCF, is already deployed in the nascent RedPRL proof assistant for computational cubical type theory.


title: The Harmonic Analysis of Kernel Functions

abstract: Kernel-based methods have been recently introduced for linear system identification as an alternative to parametric prediction error methods. Adopting the Bayesian perspective, the impulse response is modeled as a non-stationary Gaussian process with zero mean and with a certain kernel (i.e. covariance) function. Choosing the kernel is one of the most challenging and important issues. In the present paper we introduce the harmonic analysis of this non-stationary process, and argue that this is an important tool which helps in designing such kernel. Furthermore, this analysis suggests also an effective way to approximate the kernel, which allows to reduce the computational burden of the identification procedure.


title: Correspondence between genus expansion and $\alpha^{\prime}$ expansion in string theory

abstract: In this paper, we demonstrate that locally, the $\alpha^{\prime}$ expansion of a string propagating in AdS can be summed into a closed expression, where the $\alpha'$ dependence is manifested. The T-dual of this sum exactly matches the expression controlling all genus expansion in the Goparkumar-Vafa formula, which in turn also matches the loop expansion of the Chern-Simons gauge theory. We therefore find an exact correspondence between the $\alpha^{\prime}$ expansion for a string moving in AdS and the genus expansion of a string propagating in four dimensional flat spacetime. We are then able to give a closed form of the $\alpha'$ expansion for all values of $\sqrt{\alpha'}/R_{AdS}$. Moreover, the correspondence makes it possible to conjecture the exact $g_s$ dependence of the strongly coupled theories.


title: An Investigation of the Rotational Properties of Magnetic Chemically Peculiar Stars

abstract: The magnetic chemically peculiar (mCP) stars of the upper main sequence exhibit strong, globally-organised magnetic fields which are inclined to the rotational axis and facilitate the development of surface abundance inhomogeneities resulting in photometric and spectroscopic variability. Therefore, mCP stars are perfectly suited for a direct measurement of the rotational period without the need for any additional calibrations. We have investigated the rotational properties of mCP stars based on an unprecedentedly large sample consisting of more than 500 objects with known rotational periods. Using precise parallaxes from the Hipparcos and Gaia satellite missions, well-established photometric calibrations and state-of-the-art evolutionary models, we have determined the location of our sample stars in the Hertzsprung-Russell diagram and derived astrophysical parameters such as stellar masses, effective temperature, radii, inclinations and critical rotational velocities. We have confirmed the conservation of angular momentum during the main sequence evolution; no signs of additional magnetic braking were found. The inclination angles of the rotational axes are randomly distributed, although an apparent excess of fast rotators with comparable inclination angles has been observed. We have found a rotation rate of $\upsilon/\upsilon_{\rm crit} \geq 0.5$ for several stars, whose characteristics cannot be explained by current models. For the first time, we have derived the relationship between mass and rotation rate of mCP stars, and provide an analysis that links mass and rotation with magnetic field strength. Our sample is unique and offers crucial input for forthcoming evolutionary models that include the effects of magnetic fields for upper main sequence stars.


title: Model Predictive Control meets robust Kalman filtering

abstract: Model Predictive Control (MPC) is the principal control technique used in industrial applications. Although it offers distinguishable qualities that make it ideal for industrial applications, it can be questioned its robustness regarding model uncertainties and external noises. In this paper we propose a robust MPC controller that merges the simplicity in the design of MPC with added robustness. In particular, our control system stems from the idea of adding robustness in the prediction phase of the algorithm through a specific robust Kalman filter recently introduced. Notably, the overall result is an algorithm very similar to classic MPC but that also provides the user with the possibility to tune the robustness of the control. To test the ability of the controller to deal with errors in modeling, we consider a servomechanism system characterized by nonlinear dynamics.


title: Modeling ultrafast all-optical switching in synthetic ferrimagnets

abstract: Based on numerical simulations, we demonstrate thermally induced magnetic switching in synthetic ferrimagnets composed of multilayers of rare-earth and transition metals. Our findings show that deterministic magnetization reversal occurs above a certain threshold temperature if the ratio of transition metal atoms to rare-earth atoms is sufficiently large. Surprisingly, the total thickness of the multilayer system has little effect on the occurence of switching. We further provide a simple argument to explain the temperature dependence of the reversal process.


title: The Sym2Int program: going from symmetries to interactions

abstract: Model builders often need to find the most general Lagrangian which can be constructed from a given list of fields. These fields are actually representations of the Lorentz and gauge groups (and maybe of some discrete symmetry group as well). I will describe a simple program (Sym2Int) which helps to automate this task by listing all possible interactions between Lorentz/gauge group representations.


title: Generalized uncertainty principle and extra dimensions

abstract: The generalized uncertainty principle (GUP) is a modification of standard quantum mechanics due to Planck scale effects. The GUP has recently been used to improve the short distance behaviour of classical black hole spacetimes by invoking nonlocal modifications of the gravity action. We present the problem of extending such a GUP scenario to higher dimensional spacetimes and we critically review the existing literature on the topic.


title: Dynamical centers for the elliptic quantum algebra ${\mathcal{B}}_{q,\lambda}(\hat{gl}_2)_c$

abstract: We identify generating functionals that satisfy dynamical exchange relations with the Lax matrices defining the face-type elliptic quantum algebra ${\mathcal{B}}_{q,\lambda}(\hat{gl}_{2})_c$, when the central charge takes the two possible values $c =\pm 2$. These generating functionals are constructed as quadratic trace-like objects in terms of the Lax matrices. The obtained structures are characterized as "dynamical centers", i.e. the centrality property is deformed by dynamical shifts. For these values, the functionals define (genuine) abelian subalgebras of ${\mathcal{B}}_{q,\lambda}(\hat{gl}_{2})_c$.


title: Measurement of the electron charge $q_e$ using Schottky noise. Problem of the 6-th Experimental Physics Olympiad. Sofia 8 December 2018

abstract: Several consecutive experiments are described with a printed circuit board PCB set-up, especially designed for these experiments. Doing the consecutive experimental tasks opens up possibility to determine the value of electron charge $q_e.$ The fluctuations of the voltage $U(t)$ should be measured for different illuminations of a photodiode. The voltage is amplified 1 million times $Y=10^6$. The amplified voltage $YU(t)$ is applied to the device, which gives the result of the value of the time averaged square of the voltage $U_\mathrm{S}=\left<(Y U(t))^2\right>/U_0$. This voltage $U_\mathrm{S}$ is measured with a multimeter. The series of measurements gives the possibility to determine the $q_e$ using the well known Schottky formula for the spectral density of the current noise $(I^2)_f=2q_e\left<I\right>.$ For the junior high school students, the basic problem is to analyze the analog squaring. Students' work is separated and graded in four categories S, M, L, XL divided by age of students. For the last XL categories, the tasks contain problems oriented to physics university education program and include theoretical research of the PCB set-up as an engineering device. This is the problem of EPO6, December 2018 ``Day of the Charge'' considered. EPO6 is organized by Sofia branch of Union of physicists in Bulgaria in cooperation with Faculty of physics of Sofia University and Society of Physicists of Republic of Macedonia.


title: On the relationship between topological and geometric defects

abstract: The study of topology in solids is undergoing a renaissance following renewed interest in the properties of ferroic domain walls as well as recent discoveries regarding topological insulators and skyrmionic lattices. Each of these systems possess a property that is `protected' in a symmetry sense, and is defined rigorously using a branch of mathematics known as topology. In this article we review the formal definition of topological defects as they are classified in terms of homotopy theory, and discuss the precise symmetry-breaking conditions that lead to their formation. We distinguish topological defects from geometric defects, which arise from the details of the stacking or structure of the material but are not protected by symmetry. We provide simple material examples of both topological and geometric defect types, and discuss the implications of the classification on the resulting material properties.


title: Graded linearisations

abstract: When the action of a reductive group on a projective variety has a suitable linearisation, Mumford's geometric invariant theory (GIT) can be used to construct and study an associated quotient variety. In this article we describe how Mumford's GIT can be extended effectively to suitable actions of linear algebraic groups which are not necessarily reductive, with the extra data of a graded linearisation for the action. Any linearisation in the traditional sense for a reductive group action induces a graded linearisation in a natural way. The classical examples of moduli spaces which can be constructed using Mumford's GIT are moduli spaces of stable curves and of (semi)stable bundles over a fixed nonsingular curve. This more general construction can be used to construct moduli spaces of unstable objects, such as unstable curves or unstable bundles (with suitable fixed discrete invariants in each case, related to their singularities or Harder--Narasimhan type).


title: Compiling Purely Functional Structured Programs

abstract: We present a marriage of functional and structured imperative programming that embeds in pure lambda calculus. We describe how we implement the core of this language in a monadic DSL which is structurally equivalent to our intended source language and which, when evaluated, generates pure lambda terms in continuation-passing-style.


title: Domain engineering of the metastable domains in the 4f-uniaxial-ferromagnet CeRu$_2$Ga$_2$B

abstract: In search of novel, improved materials for magnetic data storage and spintronic devices, compounds that allow a tailoring of magnetic domain shapes and sizes are essential. Good candidates are materials with intrinsic anisotropies or competing interactions, as they are prone to host various domain phases that can be easily and precisely selected by external tuning parameters such as temperature and magnetic field. Here, we utilize vector magnetic fields to visualize directly the magnetic anisotropy in the uniaxial ferromagnet CeRu$_2$Ga$_2$B. We demonstrate a feasible control both globally and locally of domain shapes and sizes by the external field as well as a smooth transition from single stripe to bubble domains, which opens the door to future applications based on magnetic domain tailoring.


title: Electron-hole collision limited transport in charge-neutral bilayer graphene

abstract: Ballistic transport occurs whenever electrons propagate without collisions deflecting their trajectory. It is normally observed in conductors with a negligible concentration of impurities, at low temperature, to avoid electron-phonon scattering. Here, we use suspended bilayer graphene devices to reveal a new regime, in which ballistic transport is not limited by scattering with phonons or impurities, but by electron-hole collisions. The phenomenon manifests itself in a negative four-terminal resistance that becomes visible when the density of holes (electrons) is suppressed by gate-shifting the Fermi level in the conduction (valence) band, above the thermal energy. For smaller densities transport is diffusive, and the measured conductivity is reproduced quantitatively, with no fitting parameters, by including electron-hole scattering as the only process causing velocity relaxation. Experiments on a trilayer device show that the phenomenon is robust and that transport at charge neutrality is governed by the same physics. Our results provide a textbook illustration of a transport regime that had not been observed previously and clarify the nature of conduction through charge-neutral graphene under conditions in which carrier density inhomogeneity is immaterial. They also demonstrate that transport can be limited by a fully electronic mechanism, originating from the same microscopic processes that govern the physics of Dirac-like plasmas.


title: Texture segmentation with Fully Convolutional Networks

abstract: In the last decade, deep learning has contributed to advances in a wide range computer vision tasks including texture analysis. This paper explores a new approach for texture segmentation using deep convolutional neural networks, sharing important ideas with classic filter bank based texture segmentation methods. Several methods are developed to train Fully Convolutional Networks to segment textures in various applications. We show in particular that these networks can learn to recognize and segment a type of texture, e.g. wood and grass from texture recognition datasets (no training segmentation). We demonstrate that Fully Convolutional Networks can learn from repetitive patterns to segment a particular texture from a single image or even a part of an image. We take advantage of these findings to develop a method that is evaluated on a series of supervised and unsupervised experiments and improve the state of the art on the Prague texture segmentation datasets.


title: Fisher Metric, Geometric Entanglement and Spin Networks

abstract: Starting from recent results on the geometric formulation of quantum mechanics, we propose a new information geometric characterization of entanglement for spin network states in the context of quantum gravity. For the simple case of a single-link fixed graph (Wilson line), we detail the construction of a Riemannian Fisher metric tensor and a symplectic structure on the graph Hilbert space, showing how these encode the whole information about separability and entanglement. In particular, the Fisher metric defines an entanglement monotone which provides a notion of distance among states in the Hilbert space. In the maximally entangled gauge-invariant case, the entanglement monotone is proportional to a power of the area of the surface dual to the link thus supporting a connection between entanglement and the (simplicial) geometric properties of spin network states. We further extend such analysis to the study of non-local correlations between two non-adjacent regions of a generic spin network graph characterized by the bipartite unfolding of an Intertwiner state. Our analysis confirms the interpretation of spin network bonds as a result of entanglement and to regard the same spin network graph as an information graph, whose connectivity encodes, both at the local and non-local level, the quantum correlations among its parts. This gives a further connection between entanglement and geometry.


title: Modeling and Identification of Worst-Case Cascading Failures in Power Systems

abstract: Cascading failures in power systems normally occur as a result of initial disturbance or faults on electrical elements, closely followed by errors of human operators. It remains a great challenge to systematically trace the source of cascading failures in power systems. In this paper, we develop a mathematical model to describe the cascading dynamics of transmission lines in power networks. In particular, the direct current (DC) power flow equation is employed to calculate the transmission power on the branches. By regarding the disturbances on the elements as the control inputs, we formulate the problem of determining the initial disturbances causing the cascading blackout of power grids in the framework of optimal control theory, and the magnitude of disturbances or faults on the selected branch can be obtained by solving the system of algebraic equations. Moreover, an iterative search algorithm is proposed to look for the optimal solution leading to the worst case of cascading failures. Theoretical analysis guarantees the asymptotic convergence of the iterative search algorithm. Finally, numerical simulations are carried out in IEEE 9 Bus System and IEEE 14 Bus System to validate the proposed approach.


title: A Distributed Algorithm for Computing a Common Fixed Point of a Finite Family of Paracontractions

abstract: A distributed algorithm is described for finding a common fixed point of a family of m>1 nonlinear maps M_i : R^n -> R^n assuming that each map is a paracontraction and that at least one such common fixed point exists. The common fixed point is simultaneously computed by m agents assuming each agent i knows only M_i, the current estimates of the fixed point generated by its neighbors, and nothing more. Each agent recursively updates its estimate of a fixed point by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-varying directed graph N(t). It is shown under suitably general conditions on N(t), that the algorithm causes all agents estimates to converge to the same common fixed point of the m nonlinear maps.


title: Phishing for Phools in the Internet of Things: Modeling One-to-Many Deception using Poisson Signaling Games

abstract: Strategic interactions ranging from politics and pharmaceuticals to e-commerce and social networks support equilibria in which agents with private information manipulate others which are vulnerable to deception. Especially in cyberspace and the Internet of things, deception is difficult to detect and trust is complicated to establish. For this reason, effective policy-making, profitable entrepreneurship, and optimal technological design demand quantitative models of deception. In this paper, we use game theory to model specifically one-to-many deception. We combine a signaling game with a model called a Poisson game. The resulting Poisson signaling game extends traditional signaling games to include 1) exogenous evidence of deception, 2) an unknown number of receivers, and 3) receivers of multiple types. We find closed-form equilibrium solutions for a subset of Poisson signaling games, and characterize the rates of deception that they support. We show that receivers with higher abilities to detect deception can use crowd-defense tactics to mitigate deception for receivers with lower abilities to detect deception. Finally, we discuss how Poisson signaling games could be used to defend against the process by which the Mirai botnet recruits IoT devices in preparation for a distributed denial-of-service attack.


title: Transfer Learning for Melanoma Detection: Participation in ISIC 2017 Skin Lesion Classification Challenge

abstract: This manuscript describes our participation in the International Skin Imaging Collaboration's 2017 Skin Lesion Analysis Towards Melanoma Detection competition. We participated in Part 3: Lesion Classification. The two stated goals of this binary image classification challenge were to distinguish between (a) melanoma and (b) nevus and seborrheic keratosis, followed by distinguishing between (a) seborrheic keratosis and (b) nevus and melanoma. We chose a deep neural network approach with a transfer learning strategy, using a pre-trained Inception V3 network as both a feature extractor to provide input for a multi-layer perceptron as well as fine-tuning an augmented Inception network. This approach yielded validation set AUC's of 0.84 on the second task and 0.76 on the first task, for an average AUC of 0.80. We joined the competition unfortunately late, and we look forward to improving on these results.


title: Search for associated production of dark matter with a Higgs boson decaying to b b-bar or gamma-gamma at sqrt(s) = 13 TeV

abstract: A search for dark matter is performed using events with large missing transverse momentum and a Higgs boson decaying either to a pair of bottom quarks or to a pair of photons. The data from proton-proton collisions at a center-of-mass energy of 13 TeV, collected in 2015 with the CMS detector at the LHC, correspond to an integrated luminosity of 2.3 inverse femtobarns. Results are interpreted in the context of a Z'-two-Higgs-doublet model, where the gauge symmetry of the standard model is extended to a U(1)[Z'] group, with a new massive Z' gauge boson, and the Higgs sector is extended with four additional Higgs bosons. In this model, a high-mass resonance Z' decays into a pseudoscalar boson A and a light SM-like Higgs boson, and the A decays to a pair of dark matter particles. No significant excesses are observed over the background prediction. Combining results from the two decay channels yields exclusion limits in the signal cross section in the m[Z']-m[A] phase space. For example, the observed data exclude the Z' mass range from 600 to 1860 GeV, for Z' coupling strength g[Z'] = 0.8, the coupling of A with dark matter particles g[chi] = 1, the ratio of the vacuum expectation values tan[beta] = 1, and m[A] = 300 GeV. The results of this analysis are valid for any dark matter particle mass below 100 GeV.


title: Cosmic rays, gas and dust in nearby anticentre clouds : I -- CO-to-H2 conversion factors and dust opacities

abstract: We aim to explore the capabilities of dust emission and rays for probing the properties of the interstellar medium in the nearby anti-centre region, using gamma-ray observations with the Fermi Large Area Telescope (LAT), and the thermal dust optical depth inferred from Planck and IRAS observations. In particular, we aim at quantifying potential variations in cosmic-ray density and dust properties per gas nucleon across the different gas phases and different clouds, and at measuring the CO-to-H2 conversion factor, X$_{CO}$ , in different environments. We have separated six nearby anti-centre clouds that are coherent in velocities and distances, from the Galactic-disc background in HI 21-cm and $^{12}$CO 2.6-mm line emission. We have jointly modelled the gamma-ray intensity recorded between 0.4 and 100 GeV, and the dust optical depth at 353 GHz as a combination of HI-bright, CO-bright, and ionised gas components. The complementary information from dust emission and gamma rays was used to reveal the gas not seen, or poorly traced, by HI , free-free, and $^{12}$CO emissions, namely (i) the opaque HI and diffuse H$_2$ present in the Dark Neutral Medium at the atomic-molecular transition, and (ii) the dense H$_2$ to be added where $^{12}$CO lines saturate. The measured interstellar gamma-ray spectra support a uniform penetration of the cosmic rays with energies above a few GeV through the clouds. We find a gradual increase in grain opacity as the gas becomes more dense. The increase reaches a factor of four to six in the cold molecular regions that are well shielded from stellar radiation. Consequently, the X$_{CO}$ factor derived from dust is systematically larger by 30% to 130% than the gamma-ray estimate. We also evaluate the average gamma-ray X$_{CO}$ factorfor each cloud, and find that X$_{CO}$ tends to decrease from diffuse to more compact molecular clouds, as expected from theory.


title: Non-exponential and oscillatory decays in quantum mechanics

abstract: The quantum-mechanical theory of the decay of unstable states is revisited. We show that the decay is non-exponential both in the short-time and long-time limits using a more physical definition of the decay rate than the one usually used. We report results of numerical studies based on Winter's model that may elucidate qualitative features of exponential and non-exponential decay more generally. The main exponential stage is related to the formation of a radiating state that maintains the shape of its wave function with exponentially diminishing normalization. We discuss situations where the radioactive decay displays several exponents. The transient stages between different regimes are typically accompanied by interference of various contributions and resulting oscillations in the decay curve. The decay curve can be fully oscillatory in a two-flavor generalization of Winter's model with some values of the parameters. We consider the implications of that result for models of the oscillations reported by GSI.


title: On the validity of the guiding-center approximation in the presence of strong magnetic gradients

abstract: The motion of a charged particle in a nonuniform straight magnetic field with a uniform magnetic-field gradient is solved exactly in terms of elliptic functions. The connection between this problem and the guiding-center approximation is discussed. It is shown that, for this problem, the predictions of guiding-center theory agree very well with the orbit-averaged particle motion and hold well beyond the standard guiding-center limit $\epsilon \equiv \rho/L \ll 1$, where $\rho$ is the gyromotion length scale and $L$ is the magnetic-field gradient length scale.


title: Humans of Simulated New York (HOSNY): an exploratory comprehensive model of city life

abstract: The model presented in this paper experiments with a comprehensive simulant agent in order to provide an exploratory platform in which simulation modelers may try alternative scenarios and participation in policy decision-making. The framework is built in a computationally distributed online format in which users can join in and visually explore the results. Modeled activity involves daily routine errands, such as shopping, visiting the doctor or engaging in the labor market. Further, agents make everyday decisions based on individual behavioral attributes and minimal requirements, according to social and contagion networks. Fully developed firms and governments are also included in the model allowing for taxes collection, production decisions, bankruptcy and change in ownership. The contributions to the literature are multifold. They include (a) a comprehensive model with detailing of the agents and firms' activities and processes and original use of simultaneously (b) reinforcement learning for firm pricing and demand allocation; (c) social contagion for disease spreading and social network for hiring opportunities; and (d) Bayesian networks for demographic-like generation of agents. All of that within a (e) visually rich environment and multiple use of databases. Hence, the model provides a comprehensive framework from where interactions among citizens, firms and governments can be easily explored allowing for learning and visualization of policies and scenarios.


title: On the fate of the Hoop Conjecture in quantum gravity

abstract: We consider a closed region $R$ of 3d quantum space modeled by $SU(2)$ spin-networks. Using the concentration of measure phenomenon we prove that, whenever the ratio between the boundary $\partial R$ and the bulk edges of the graph overcomes a finite threshold, the state of the boundary is always thermal, with an entropy proportional to its area. The emergence of a thermal state of the boundary can be traced back to a large amount of entanglement between boundary and bulk degrees of freedom. Using the dual geometric interpretation provided by loop quantum gravity, we interprete such phenomenon as a pre-geometric analogue of Thorne's "Hoop conjecture", at the core of the formation of a horizon in General Relativity.


title: On low-codimensional decompositions

abstract: Decompositions on manifolds appear in various geometric structures. Necessary and sufficient conditions for quotient spaces of decompositions to be manifolds are widely characterized. We characterize necessary and sufficient conditions to be $k$-manifolds $(k = 1, 2)$, which generalize characterizations in the codimension-$k$ cases for the leaf spaces of foliations, the orbit spaces of group-actions, decomposition spaces of upper semi-continuous decompositions, and leaf class spaces of Riemannian foliation with regular closure. To prove such characterizations, we generalize a characterization of upper semi-continuity for decomposition into one for a class decomposition. In addition, we completely characterize upper semi-continuity for class decompositions of homeomorphisms on orientable compact surfaces and of homeomorphisms isotopic to identity on non-orientable compact surfaces. Furthermore, a flow on a connected compact $3$-manifold whose class decomposition is upper semi-continuous is "almost $k$ dimensional" $(k=0, 1, 2, 3)$ or has "complicated" minimal sets.


title: A Hybrid Supervised-unsupervised Method on Image Topic Visualization with Convolutional Neural Network and LDA

abstract: Given the progress in image recognition with recent data driven paradigms, it's still expensive to manually label a large training data to fit a convolutional neural network (CNN) model. This paper proposes a hybrid supervised-unsupervised method combining a pre-trained AlexNet with Latent Dirichlet Allocation (LDA) to extract image topics from both an unlabeled life-logging dataset and the COCO dataset. We generate the bag-of-words representations of an egocentric dataset from the softmax layer of AlexNet and use LDA to visualize the subject's living genre with duplicated images. We use a subset of COCO on 4 categories as ground truth, and define consistent rate to quantitatively analyze the performance of the method, it achieves 84% for consistent rate on average comparing to 18.75% from a raw CNN model. The method is capable of detecting false labels and multi-labels from COCO dataset. For scalability test, parallelization experiments are conducted with Harp-LDA on a Intel Knights Landing cluster: to extract 1,000 topic assignments for 241,035 COCO images, it takes 10 minutes with 60 threads.


title: Maps on positive operators preserving R\'enyi type relative entropies and maximal $f$-divergences

abstract: In this paper we deal with two quantum relative entropy preserver problems on the cones of positive (either positive definite or positive semidefinite) operators. The first one is related to a quantum R\'enyi relative entropy like quantity which plays an important role in classical-quantum channel decoding. The second one is connected to the so-called maximal $f$-divergences introduced by D. Petz and M. B. Ruskai who considered this quantity as a generalization of the usual Belavkin-Staszewski relative entropy. We emphasize in advance that all the results are obtained for finite dimensional Hilbert spaces.