title: Phase Transitions in Image Denoising via Sparsely Coding Convolutional Neural Networks

abstract: Neural networks are analogous in many ways to spin glasses, systems which are known for their rich set of dynamics and equally complex phase diagrams. We apply well-known techniques in the study of spin glasses to a convolutional sparsely encoding neural network and observe power law finite-size scaling behavior in the sparsity and reconstruction error as the network denoises 32$\times$32 RGB CIFAR-10 images. This finite-size scaling indicates the presence of a continuous phase transition at a critical value of this sparsity. By using the power law scaling relations inherent to finite-size scaling, we can determine the optimal value of sparsity for any network size by tuning the system to the critical point and operate the system at the minimum denoising error.


title: Computing the Line Index of Balance Using Integer Programming Optimisation

abstract: An important measure of signed graphs is the line index of balance which has several applications in many fields. However, this graph-theoretic measure was underused for decades because of the inherent complexity in its computation which is closely related to solving NP-hard graph optimisation problems like MAXCUT. We develop new quadratic and linear programming models to compute the line index of balance exactly. Using the Gurobi integer programming optimisation solver, we evaluate the line index of balance on real-world and synthetic datasets. The synthetic data involves Erd\H{o}s-R\'{e}nyi graphs, Barab\'{a}si-Albert graphs, and specially structured random graphs. We also use well known datasets from the sociology literature, such as signed graphs inferred from students' choice and rejection as well as datasets from the biology literature including gene regulatory networks. The results show that exact values of the line index of balance in relatively large signed graphs can be efficiently computed using our suggested optimisation models. We find that most real-world social networks and some biological networks have small line index of balance which indicates that they are close to balanced.


title: Exact results of the limited penetrable horizontal visibility graph associated to random time series and its application

abstract: The limited penetrable horizontal visibility algorithm is a new time analysis tool and is a further development of the horizontal visibility algorithm. We present some exact results on the topological properties of the limited penetrable horizontal visibility graph associated with random series. We show that the random series maps on a limited penetrable horizontal visibility graph with exponential degree distribution $P(k)\sim exp[-\lambda (k-2\rho-2)], \lambda = ln[(2\rho+3)/(2\rho+2)],\rho=0,1,2,...,k=2\rho+2,2\rho+3,...$, independent of the probability distribution from which the series was generated. We deduce the exact expressions of the mean degree and the clustering coefficient and demonstrate the long distance visibility property. Numerical simulations confirm the accuracy of our theoretical results. We then examine several deterministic chaotic series (a logistic map, the H$\acute{e}$non map, the Lorentz system, and an energy price chaotic system) and a real crude oil price series to test our results. The empirical results show that the limited penetrable horizontal visibility algorithm is direct, has a low computational cost when discriminating chaos from uncorrelated randomness, and is able to measure the global evolution characteristics of the real time series.


title: Following the Cosmic Evolution of Pristine Gas II: The search for Pop III-Bright Galaxies

abstract: Direct observational searches for Population III (Pop III) stars at high redshift are faced with the question of how to select the most promising targets for spectroscopic follow-up. To help answer this, we use a large-scale cosmological simulation, augmented with a new subgrid model that tracks the fraction of pristine gas, to follow the evolution of high-redshift galaxies and the Pop III stars they contain. We generate rest-frame ultraviolet (UV) luminosity functions for our galaxies and find that they are consistent with current $z \ge 7 $ observations. Throughout the redshift range $7 \le z \le 15$ we identify "Pop III-bright" galaxies as those with at least 75% of their flux coming from Pop III stars. While less than 1% of galaxies brighter than $m_{\rm UV, AB} = 31.4$ mag are Pop III--bright in the range $7\leq z \leq8$, roughly 17% of such galaxies are Pop III--bright at $z=9$, immediately before reionization occurs in our simulation. Moving to $z=10$, $m_{\rm UV, AB} = 31.4$ mag corresponds to larger, more luminous galaxies and the Pop III-bright fraction falls off to 5%. Finally, at the highest redshifts, a large fraction (29% at $z=14$ and 41% at $z=15)$ of all galaxies are Pop III-bright regardless of magnitude. While $m_{\rm UV, AB} = 31.4$ mag galaxies are extremely rare during this epoch, we find that 13% of galaxies at $z = 14$ are Pop III-bright with $m_{\rm UV, AB} \le 33$ mag, an intrisic magnitude within reach of the James Webb Space Telescope using lensing. Thus, we predict that the best redshift to search for luminous Pop III--bright galaxies is just before reionization, while lensing surveys for fainter galaxies should push to the highest redshifts possible.


title: StochSoCs: High performance biocomputing simulations for large scale Systems Biology

abstract: The stochastic simulation of large-scale biochemical reaction networks is of great importance for systems biology since it enables the study of inherently stochastic biological mechanisms at the whole cell scale. Stochastic Simulation Algorithms (SSA) allow us to simulate the dynamic behavior of complex kinetic models, but their high computational cost makes them very slow for many realistic size problems. We present a pilot service, named WebStoch, developed in the context of our StochSoCs research project, allowing life scientists with no high-performance computing expertise to perform over the internet stochastic simulations of large-scale biological network models described in the SBML standard format. Biomodels submitted to the service are parsed automatically and then placed for parallel execution on distributed worker nodes. The workers are implemented using multi-core and many-core processors, or FPGA accelerators that can handle the simulation of thousands of stochastic repetitions of complex biomodels, with possibly thousands of reactions and interacting species. Using benchmark LCSE biomodels, whose workload can be scaled on demand, we demonstrate linear speedup and more than two orders of magnitude higher throughput than existing serial simulators.


title: Naked Singularity as Accelerator for Spinning Particle

abstract: When two particles collide at the horizon of a black hole and one of them satisfies some critical conditions, the relative velocity between them can be arbitrarily large, thus the energy of the center-of-mass will reach infinity. Such a process is called BSW mechanism which can accelerate a particle to arbitrarily high energy. There are also some studies showing that a Kerr naked singularity can be more qualified as a particle accelerator for arbitrarily high energy. Previous researchers mainly concentrate on geodesic motion of particles. In this paper, we will take spinning particles which won't move along a timelike geodesic and carry more parameters into our consideration. By employing the Mathisson-Papapetrou-Dixon equation, we will prove that for a spinning particle in hyper-extremal Reissner-Nordstrom or Kerr spacetime where exists a naked singularity at $r=0$, its Effective Potential $V_{eff}=-\dot{r}^2$ must be able to reach zero within the interval $0 < r < M$, thus an ingoing particle will be able to turn back and then collide with another ingoing particle at $r=M$. If the spacetime is ${\bf slightly}$ hyper-extremal, the energy of center of mass $E_{cm}$ will be arbitrarily high.


title: The median density of the Universe

abstract: Despite the fact that the mean matter density of the universe has been measured to an accuracy of a few percent within the standard $\Lambda$CDM paradigm, its median density is not known even to order of magnitude. Typical points lie in low-density regions and are not part of a collapsed structure of any scale. Locally, the dark matter distribution is then simply a stretched version of that in the early universe. In this single-stream regime, the distribution of unsmoothed density is sensitive to the initial power spectrum on all scales, in particular on very small scales, and hence to the nature of the dark matter. It cannot be estimated reliably using conventional cosmological simulations because of the enormous dynamic range involved, but a suitable excursion set procedure can be used instead. For the Planck cosmological parameters, a 100 GeV WIMP, corresponding to a free-streaming mass $\sim 10^{-6}M_\odot$, results in a median density of $\sim 4\times 10^{-3}$ in units of the mean density, whereas a 10 $\mu$eV axion with free-streaming mass $\sim 10^{-12}M_\odot$ gives $\sim 3\times 10^{-3}$, and Warm Dark Matter with a (thermal relic) mass of 1 keV gives $\sim 8\times 10^{-2}$. In CDM (but not in WDM) universes, single-stream regions are predicted to be topologically isolated by the excursion set formalism. A test by direct N-Body simulations seems to confirm this prediction, although it is still subject to finite size and resolution effects. Unfortunately, it is unlikely that any of these properties is observable and so suitable for constraining the properties of dark matter.


title: Are sdAs helium core stars?

abstract: Evolved stars with a helium core can be formed by non-conservative mass exchange interaction with a companion or by strong mass loss. Their masses are smaller than 0.5 MSun. In the database of the Sloan Digital Sky Survey (SDSS), there are several thousand stars which were classified by the pipeline as dwarf O, B and A stars. Considering the lifetimes of these classes on the main sequence, and their distance modulus at the SDSS bright saturation, if these were common main sequence stars, there would be a considerable population of young stars very far from the galactic disk. Their spectra are dominated by Balmer lines which suggest effective temperatures around 8000-10000K. Several thousand have significant proper motions, indicative of distances smaller than 1kpc. Many show surface gravity in intermediate values between main sequence and white dwarf, 4.75 < log g < 6.5, hence they have been called sdA stars. Their physical nature and evolutionary history remains a puzzle. We propose they are not H-core main sequence stars, but helium core stars and the outcomes of binary evolution. We report the discovery of two new extremely-low mass white dwarfs among the sdAs to support this statement.


title: Feynman integrals as flat bundles over the complement of Landau varieties

abstract: We demonstrate that Feynman integrals of a fixed diagram form a flat vector bundle over the complement of Landau varieties that possesses a connection \begin{equation} \frac{\partial}{\partial p_{i,\mu}}f_\beta(p_{i,\mu})=\sum_{\beta'} \sum_k \sum_{I_1,...,I_k} \frac{A^{I_1,...,I_k}_{i,\mu,\beta,\beta'}(p)}{L_{I_1}(p)...L_{I_k}(p)} f_{\beta'}(p) \end{equation} where $L_I(p)$ are the Landau polynomials (multidiscriminants). This is the Gauss-Manin connection for the original integral. This result suggests a shift of focus from the integrals to the geometry of the complement of Landau varieties and Riemann-Hilbert data associated with these varieties.


title: On Quantum Stabilizer Codes derived from Local Frobenius Rings

abstract: In this paper we consider stabilizer codes over local Frobenius rings. First, we study the relative minimum distances of a stabilizer code and its reduction onto the residue field. We show that for various scenarios, a free stabilizer code over the ring does not underperform the according stabilizer code over the field. This leads us to conjecture that the same is true for all free stabilizer codes. Secondly, we focus on the isometries of stabilizer codes. We present some preliminary results and introduce some interesting open problems.


title: Regularity of Kobayashi metric

abstract: We review some recent results on existence and regularity of Monge-Amp\`ere exhaustions on the smoothly bounded strongly pseudoconvex domains, which admit at least one such exhaustion of sufficiently high regularity. A main consequence of our results is the fact that the Kobayashi pseudo-metric k on an appropriare open subset of each of the above domains is actually a smooth Finsler metric. The class of domains to which our result apply is very large. It includes for instance all smoothly bounded strongly pseudoconvex complete circular domains and all their sufficiently small deformations.


title: First-principles identification of defect levels in Er-doped GaN

abstract: Erbium (Er) doped GaN has been studied extensively for optoelectronic applications, yet its defect physics is still not well understood. In this work, we report a first-principles hybrid density functional study of the structure, energetics, and thermodynamic transition levels of Er-related defect complexes in GaN. We discover for the first time that Er$_{\rm Ga}$-C$_{\rm N}$-$V_{\rm N}$, a defect complex of Er, a C impurity, and an N vacancy, and Er$_{\rm Ga}$-O$_{\rm N}$-$V_{\rm N}$, a complex of Er, an O impurity, and an N vacancy, form defect levels at 0.18 and 0.46 eV below the conduction band, respectively. Together with Er$_{\rm Ga}$-$V_{\rm N}$, a defect complex of Er and an N vacancy which has recently been found to produce a donor level at 0.61 eV, these defect complexes provide explanation for the Er-related defect levels observed in experiments. The role of these defects in optical excitation of the luminescent Er center is also discussed.


title: Critical trees: counterexamples in model checking of CSM systems using CBS algorithm

abstract: The important feature of temporal model checking is the generation of counterexamples. In the report, the requirements for generation of counterexample (called critical tree) in model checking of CSM systems are described. The output of TempoRG model checker for QsCTL logic (a version of CTL) is presented. A contradiction between counterexample generation and state space reduction is commented.


title: Itinerant spin fluctuations in iron-based superconductors

abstract: Multiband systems, which possess a wide parameter space, allow to explore a variety of competing ground states. Bright examples are the Fe-based pnictides and chalcogenides, which demonstrate metallic, superconducting, and various magnetic phases. Here I discuss only one of the many interesting topics, namely, spin fluctuations in metallic multiband systems. I show how to calculate the effect of itinerant spin excitations on the electronic properties and formulate a theory of spin fluctuation-induced superconductivity. The superconducting state is unconventional and thus the system demonstrates unusual spin response with the spin resonance feature. I discuss its origin, consequences, and relation to experimental observations. Role of the spin-orbit coupling is specifically emphasized.


title: Pulse shaping in the terahertz frequency range for the control of photo-excited carriers in graphene

abstract: The shape of a few-cycle terahertz (THz) laser pulse can be optimized to provide control over conduction band populations in graphene. To demonstrate this control in a theoretical way, a spectral parametrization of the driving pulse using $B$-splines is used in order to obtain experimentally realistic pulses of bandwidth $\sim$ 30 THz. Optimization of the spectral shape is performed via differential evolution, using the $B$-splines expansion coefficients as decision variables. Numerical results show the possibility of changing the carrier density in graphene by a factor of 4 for a fixed pulse energy. In addition, we show that it is possible to selectively suppress or enhance multi-photon absorption features by optimizing over narrow windows in reciprocal space. The application of pulse shaping to the control of scattering mechanisms in graphene is also discussed.

categories: cond-mat.mes-hall physics.comp-ph physics.optics quant-ph


title: Bayesian Nonparametric Models for Biomedical Data Analysis

abstract: In this dissertation, we develop nonparametric Bayesian models for biomedical data analysis. In particular, we focus on inference for tumor heterogeneity and inference for missing data. First, we present a Bayesian feature allocation model for tumor subclone reconstruction using mutation pairs. The key innovation lies in the use of short reads mapped to pairs of proximal single nucleotide variants (SNVs). In contrast, most existing methods use only marginal reads for unpaired SNVs. In the same context of using mutation pairs, in order to recover the phylogenetic relationship of subclones, we then develop a Bayesian treed feature allocation model. In contrast to commonly used feature allocation models, we allow the latent features to be dependent, using a tree structure to introduce dependence. Finally, we propose a nonparametric Bayesian approach to monotone missing data in longitudinal studies with non-ignorable missingness. In contrast to most existing methods, our method allows for incorporating information from auxiliary covariates and is able to capture complex structures among the response, missingness and auxiliary covariates. Our models are validated through simulation studies and are applied to real-world biomedical datasets.


title: Revisiting Generalized Bertand's Postulate and Prime Gaps

abstract: It is a well-known fact that for any natural number $n$, there always exists a prime in $[n, 2n]$. Our aim in this note is to generalize this result to $[n, kn]$. A lower as well as an upper bound on the number of primes in $[n, kn]$ were conjectured by Mitra et al. [Arxiv 2009]. In 2016, Christian Axler provided a proof of the lower bound which is valid only when $n$ is greater than a very large threshold. In this paper, after almost a decade, we for the first time provide a direct proof of the lower bound that holds for all $n \geq 2$. Further, we show that the upper bound is a consequence of Firoozbakht's conjecture. Finally, we also prove a stronger version of the bounded gaps between primes.


title: Quadrupolar charge dynamics in the nonmagnetic FeSe$_{1-x}$S$_x$ superconductors

abstract: We use polarization-resolved electronic Raman spectroscopy to study charge dynamics in non-magnetic FeSe$_{1-x}$S$_x$ superconductor. We observe two features of the $XY$ quadrupole symmetry: a low-energy quasi-elastic peak (QEP) and an electronic continuum. The QEP exhibits critical enhancement upon cooling towards the structural transition at $T_S(x)$. Below $T_S(x)$, the QEP diminishes gradually, and a gap with temperature evolution reminiscent of a mean-field order parameter opens in the continuum. The intensity of the QEP develops with increasing sulfur doping $x$ and maximizes at $x\approx$ 0.15, while the gap magnitude decreases with the suppression of $T_S(x)$. We interpret the development of the gap in the quadrupole scattering channel as the formation of a stripe quadrupole order: a wave of quadrupole moment without charge or spin modulation.


title: Supernova and prompt gravitational-wave precursors to LIGO gravitational-wave sources and short-GRBs

abstract: Binary black-holes (BHs) and binary neutron-stars (NSs) mergers had been recently detected through gravitational-wave (GW) emission, with the latter followed by post-merger electromagnetic counterparts, appearing seconds up to weeks after the merger. While post-merger electromagnetic counterparts had been anticipated theoretically, very little electromagnetic precursors to GW-sources had been proposed, and non observed yet. Here we show that a fraction of ${\rm a}\,{\rm few\times}10^{-4}-10^{-1}$ of LIGO GW-sources and short-GRBs, could be preceded by supernovae-explosions years up to decades before the merger. Each of the BH/NS-progenitors in GW-sources are thought to form following a supernova, likely accompanied by a natal velocity-kick to the newly born compact object. The evolution and natal-kicks determine the orbits of surviving binaries, and hence the delay-time between the birth of the compact-binary and its final merger through GW-emission. We use data from binary evolution population-synthesis models to show that the delay-time distribution has a non-negligible tail of ultra-short delay-times between 1-100 yrs, thereby giving rise to potentially observable supernovae precursors to GW-sources. Moreover, future LISA/DECIGO GW space-detectors will enable the detection of GW-inspirals in the pre-mergers stage weeks to decades before the final merger. These ultra-short delay-time sources could therefore produce a unique type of promptly appearing LISA/DECIGO-GW-sources accompanied by \emph{coincident} supernovae. The archival (and/or direct) detection of precursor (coincident) SNe with GW and/or short-GRBs will provide unprecedented characterizations of the merging-binaries, and their prior evolution through supernovae and natal kicks, otherwise inaccessible through other means.


title: Modulations in Spectra of Galactic Gamma-ray sources as a result of photon-ALPs mixing

abstract: Axion like particles (ALPs) are fundamental pseudo scalar particles with properties similar to Axions which are a well-known extension of the standard model to solve the strong CP problem in Quantum Chromodynamics. ALPs can oscillate into photons and vice versa in the presence of an external tranversal magnetic field. This oscillation of photon and ALPs could have important implications for astronomical observations, i.e. a characteristic energy dependent attenuation in Gamma ray spectra for astrophysical sources. Here we have revisited the opportunity to search Photon-ALPs coupling in the disappearance channel. We use eight years of Fermi Pass 8 data of a selection of promising galactic Gamma-ray source candidates and study the modulation in the spectra in accordance with Photon-ALPs mixing and estimate best fit values of the parameters i.e. Photon-ALPs coupling constant$ (g_{\alpha\gamma\gamma} )$ and ALPs mass($m_{\alpha} $). For the magnetic field we use large scale galactic magnetic field models based on Faraday rotation measurements and we have also studied the survival probability of photons in the Galactic plane.


title: First-principles theory of doping in layered oxide electrode materials

abstract: Doping lithium-ion battery electrode materials LiMO$_2$ (M = Co, Ni, Mn) with impurities has been shown to be an effective way to optimize their electrochemical properties. Here, we report a detailed first-principles study of layered oxides LiCoO$_2$, LiNiO$_2$, and LiMnO$_2$ lightly doped with transition-metal (Fe, Co, Ni, Mn) and non-transition-metal (Mg, Al) impurities using hybrid-density-functional defect calculations. We find that the lattice site preference is dependent on both the dopant's charge and spin states, which are coupled strongly to the local lattice environment and can be affected by the presence of co-dopant(s), and the relative abundance of the host compound's constituting elements in the synthesis environment. On the basis of the structure and energetics of the impurities and their complexes with intrinsic point defects, we determine all possible low-energy impurity-related defect complexes, thus providing defect models for further analyses of the materials. From a materials modeling perspective, these lightly doped compounds also serve as model systems for understanding the more complex, mixed-metal, LiMO$_2$-based battery cathode materials.


title: The study of temperature field impact on velocity of fluid in streamlines coordinates in free convection problem

abstract: A transition to coordinates formed by streamlines and orthogonal ones are convenient to simplify the Navier-Stokes and Fourier-Kirchoff system. We derive transformation to such coordinates, taking into account a necessity to introduce integrating factor that is not equal to unity in a viscous flow. The transition allows to express approximately velocity module and the velocity vector inclination to vertical direction in terms of temperature gradient in explicit form.


title: Global analysis of a geometric PDAV controller by means of coordinate-free linearization

abstract: Tracking a desired Pointing Direction and simultaneously obtaining a reference Angular Velocity (PDAV) around the pointing direction constitutes a very involved and complicated motion encountered in a variaty of robotic, industrial and military applications. In this paper through the utilization of global analysis and simulation techniques, the smooth closed-loop vector fields induced by the geometric PDAV controller from [1], are visualized to gain a deeper understanding of its global stabilization properties. First through the calculation of a coordinate-free form of the closed-loop linearized dynamics, the local stability of each equilibrium of the system is analyzed. The results acquired by means of eigenstructure analysis, are used in predicting the frequency of complex precession/nutation oscillations that arise during PDAV trajectory tracking; an important tool in actuator selection. Finally, by utilizing variational integration schemes, the flow converging to the desired equilibrium and the flow "close" to the stable manifold of the saddle equilibrium of the closed-loop system is visualized and analyzed. Results offer intimate knowledge of the closed-loop vector fields bestowing to the control engineer the ability to anticipate and/or have a rough estimate of the evolution of the solutions.


title: The spread of fire on a random multigraph

abstract: We study a model for the destruction of a random network by fire. Suppose that we are given a multigraph of minimum degree at least 2 having real-valued edge-lengths. We pick a uniform point from along the length and set it alight; the edges of the multigraph burn at speed 1. If the fire reaches a vertex of degree 2, the fire gets directly passed on to the neighbouring edge; a vertex of degree at least 3, however, passes the fire either to all of its neighbours or none, each with probability $1/2$. If the fire goes out before the whole network is burnt, we again set fire to a uniform point. We are interested in the number of fires which must be set in order to burn the whole network, and the number of points which are burnt from two different directions. We analyse these quantities for a random multigraph having $n$ vertices of degree 3 and $\alpha(n)$ vertices of degree 4, where $\alpha(n)/n \to 0$ as $n \to \infty$, with i.i.d. standard exponential edge-lengths. Depending on whether $\alpha(n) \gg \sqrt{n}$ or $\alpha(n)=O(\sqrt{n})$, we prove that as $n \to \infty$ these quantities converge jointly in distribution when suitably rescaled to either a pair of constants or to (complicated) functionals of Brownian motion. We use our analysis of this model to make progress towards a conjecture of Aronson, Frieze and Pittel concerning the number of vertices which remain unmatched when we use the Karp-Sipser algorithm to find a matching on the Erd\H{o}s-R\'enyi random graph.


title: AC-Gorenstein rings and their stable module categories

abstract: We introduce what is meant by an AC-Gorenstein ring. It is a generalized notion of Gorenstein ring which is compatible with the Gorenstein AC-injective and Gorenstein AC-projective modules of Bravo-Gillespie-Hovey. It is also compatible with the notion of $n$-coherent rings introduced by Bravo-Perez: So a $0$-coherent AC-Gorenstein ring is precisely a usual Gorenstein ring in the sense of Iwanaga, while a $1$-coherent AC-Gorenstein ring is precisely a Ding-Chen ring. We show that any AC-Gorenstein ring admits a stable module category that is compactly generated and is the homotopy category of two Quillen equivalent abelian model category structures. One is projective with cofibrant objects the Gorenstein AC-projective modules while the other is an injective model structure with fibrant objects the Gorenstein AC-injectives.


title: A Spectroscopic Survey of the Fields of 28 Strong Gravitational Lenses: Implications for $H_0$

abstract: Strong gravitational lensing provides an independent measurement of the Hubble parameter ($H_0$). One remaining systematic is a bias from the additional mass due to a galaxy group at the lens redshift or along the sightline. We quantify this bias for more than 20 strong lenses that have well-sampled sightline mass distributions, focusing on the convergence $\kappa$ and shear $\gamma$. In 23% of these fields, a lens group contributes a $\ge$1% convergence bias; in 57%, there is a similarly significant line-of-sight group. For the nine time delay lens systems, $H_0$ is overestimated by 11$^{+3}_{-2}$% on average when groups are ignored. In 67% of fields with total $\kappa \ge$ 0.01, line-of-sight groups contribute $\gtrsim 2\times$ more convergence than do lens groups, indicating that the lens group is not the only important mass. Lens environment affects the ratio of four (quad) to two (double) image systems; all seven quads have lens groups while only three of 10 doubles do, and the highest convergences due to lens groups are in quads. We calibrate the $\gamma$-$\kappa$ relation: $\log(\kappa_{\rm{tot}}) = (1.94 \pm 0.34) \log(\gamma_{\rm{tot}}) + (1.31 \pm 0.49)$ with a rms scatter of 0.34 dex. Shear, which, unlike convergence, can be measured directly from lensed images, can be a poor predictor of $\kappa$; for 19% of our fields, $\kappa$ is $\gtrsim 2\gamma$. Thus, accurate cosmology using strong gravitational lenses requires precise measurement and correction for all significant structures in each lens field.


title: Optimal Crowdsourced Classification with a Reject Option in the Presence of Spammers

abstract: We explore the design of an effective crowdsourcing system for an $M$-ary classification task. Crowd workers complete simple binary microtasks whose results are aggregated to give the final decision. We consider the scenario where the workers have a reject option so that they are allowed to skip microtasks when they are unable to or choose not to respond to binary microtasks. We present an aggregation approach using a weighted majority voting rule, where each worker's response is assigned an optimized weight to maximize crowd's classification performance.


title: A comparison of the excess mass around CFHTLenS galaxy-pairs to predictions from a semi-analytic model using galaxy-galaxy-galaxy lensing

abstract: The matter environment of galaxies is connected to the physics of galaxy formation and evolution. Utilising galaxy-galaxy-galaxy lensing as a direct probe, we map out the distribution of correlated surface mass-density around galaxy pairs for different lens separations in the Canada-France-Hawaii Telescope Lensing Survey (CFHTLenS). We compare, for the first time, these so-called excess mass maps to predictions provided by a recent semi-analytic model, which is implanted within the dark-matter Millennium Simulation. We analyse galaxies with stellar masses between $10^9-10^{11}\,{\rm M}_\odot$ in two photometric redshift bins, for lens redshifts $z\lesssim0.6$, focusing on pairs inside groups and clusters. To allow us a better interpretation of the maps, we discuss the impact of chance pairs, i.e., galaxy pairs that appear close to each other in projection only. Our tests with synthetic data demonstrate that the patterns observed in the maps are essentially produced by correlated pairs that are close in redshift ($\Delta z\lesssim5\times10^{-3}$). We also verify the excellent accuracy of the map estimators. In an application to the galaxy samples in the CFHTLenS, we obtain a $3\sigma-6\sigma$ significant detection of the excess mass and an overall good agreement with the galaxy model predictions. There are, however, a few localised spots in the maps where the observational data disagrees with the model predictions on a $\approx3.5\sigma$ confidence level. Although we have no strong indications for systematic errors in the maps, this disagreement may be related to the residual B-mode pattern observed in the average of all maps. Alternatively, misaligned galaxy pairs inside dark matter halos or lensing by a misaligned distribution of the intra-cluster gas might also cause the unanticipated bulge in the distribution of the excess mass between lens pairs.


title: The Navier-slip thin-film equation for 3D fluid films: existence and uniqueness

abstract: We consider the thin-film equation $\partial_t h + \nabla \cdot \left(h^2 \nabla \Delta h\right) = 0$ in physical space dimensions (i.e., one dimension in time $t$ and two lateral dimensions with $h$ denoting the height of the film in the third spatial dimension), which corresponds to the lubrication approximation of the Navier-Stokes equations of a three-dimensional viscous thin fluid film with Navier-slip at the substrate. This equation can have a free boundary (the contact line), moving with finite speed, at which we assume a zero contact angle condition (complete-wetting regime). Previous results have focused on the $1+1$-dimensional version, where it has been found that solutions are not smooth as a function of the distance to the free boundary. In particular, a well-posedness and regularity theory is more intricate than for the second-order counterpart, the porous-medium equation, or the thin-film equation with linear mobility (corresponding to Darcy dynamics in the Hele-Shaw cell). Here, we prove existence and uniqueness of classical solutions that are perturbations of an asymptotically stable traveling-wave profile. This leads to control on the free boundary and in particular its velocity.


title: Tachyon Dynamics - for Neutrinos?

abstract: Following earlier studies that provided a consistent theory of kinematics for tachyons (faster-than-light particles) we here embark on a study of tachyon dynamics, both in classical physics and in the quantum theory. Examining a general scattering process we come to recognize that the labels given to "in" and "out" states are not Lorentz invariant for tachyons; and this lets us find a sensible interpretation of negative energy states. For statistical mechanics, as well as for scattering problems, we study what should be the proper expression for density of states for tachyons. We review the previous work on quantization of a Dirac field for tachyons and go on to expand earlier considerations of neutrinos as tachyons in the context of cosmology. We stumble into the realization that tachyon neutrinos would contribute to gravitation with the opposite sign compared to tachyon antineutrinos. This leads to the gobsmacking prediction that the Cosmic Neutrino Background, if they are indeed tachyons, might explain both phenomena of Dark Matter and Dark Energy. This theoretical study also makes contact with the anticipated results from the experiments KATRIN and PTOLEMY, which focus on beta decay and neutrino absorption by Tritium.


title: Hot new directions for quasi-Monte Carlo research in step with applications

abstract: This article provides an overview of some interfaces between the theory of quasi-Monte Carlo (QMC) methods and applications. We summarize three QMC theoretical settings: first order QMC methods in the unit cube $[0,1]^s$ and in $\mathbb{R}^s$, and higher order QMC methods in the unit cube. One important feature is that their error bounds can be independent of the dimension $s$ under appropriate conditions on the function spaces. Another important feature is that good parameters for these QMC methods can be obtained by fast efficient algorithms even when $s$ is large. We outline three different applications and explain how they can tap into the different QMC theory. We also discuss three cost saving strategies that can be combined with QMC in these applications. Many of these recent QMC theory and methods are developed not in isolation, but in close connection with applications.


title: Duality pairs and stable module categories

abstract: Let $R$ be a commutative ring. We show that any complete duality pair gives rise to a theory of relative homological algebra, analogous to Gorenstein homological algebra. Indeed Gorenstein homological algebra over a commutative Noetherian ring of finite Krull dimension can be recovered from the duality pair $(\mathcal{F},\mathcal{I})$ where $\mathcal{F}$ is the class of flat $R$-modules and $\mathcal{I}$ is the class of injective $R$-modules. For a general $R$, the AC-Gorenstein homological algebra of Bravo-Gillespie-Hovey is the one coming from the duality pair $(\mathcal{L},\mathcal{A})$ where $\mathcal{L}$ is the class of level $R$-modules and $\mathcal{A}$ is class of absolutely clean $R$-modules. Indeed we show here that the work of Bravo-Gillespie-Hovey can be extended to obtain similar abelian model structures on $R$-Mod from any a complete duality pair $(\mathcal{L},\mathcal{A})$. It applies in particular to the original duality pairs constructed by Holm-J{\o} rgensen.


title: Non-London electrodynamics in a multiband London model: anisotropy-induced non-localities and multiple magnetic field penetration lengths

abstract: The London model describes strongly type-2 superconductors as massive vector field theories, where the magnetic field decays exponentially at the length scale of the London penetration length. This also holds for isotropic multi-band extensions, where the presence of multiple bands merely renormalises the London penetration length. We show that, by contrast, the magnetic properties of anisotropic multi-band London models are not this simple, and the anisotropy leads to the inter-band phase differences becoming coupled to the magnetic field. This results in the magnetic field in such systems having N+1 penetration lengths, where N is the number of field components or bands. That is, in a given direction, the magnetic field decay is described by N+1 modes with different amplitudes and different decay length scales. For certain anisotropies we obtain magnetic modes with complex masses. That means that magnetic field decay is not described by a monotonic exponential increment set by a real penetration length but instead is oscillating. Some of the penetration lengths are shown to diverge away from the superconducting phase transition when the mass of the phase-difference mode vanishes. Finally the anisotropy-driven hybridization of the London mode with the Leggett modes can provide an effectively non-local magnetic response in the nominally local London model. Focusing on the two-component model, we discuss the magnetic field inversion that results from the effective non-locality, both near the surface of the superconductor and around vortices. In the regime where the magnetic field decay becomes non-monotonic, the multiband London superconductor is shown to form weakly-bound states of vortices.


title: A Spectroscopic Survey of the Fields of 28 Strong Gravitational Lenses: The Group Catalog

abstract: With a large, unique spectroscopic survey in the fields of 28 galaxy-scale strong gravitational lenses, we identify groups of galaxies in the 26 adequately-sampled fields. Using a group finding algorithm, we find 210 groups with at least five member galaxies; the median number of members is eight. Our sample spans redshifts of 0.04 $\le z_{grp} \le$ 0.76 with a median of 0.31, including 174 groups with $0.1 < z_{grp} < 0.6$. Groups have radial velocity dispersions of 60 $\le \sigma_{grp} \le$ 1200 km s$^{-1}$ with a median of 350 km s$^{-1}$. We also discover a supergroup in field B0712+472 at $z =$ 0.29 consisting of three main groups. We recover groups similar to $\sim$ 85% of those previously reported in these fields within our redshift range of sensitivity and find 187 new groups with at least five members. The properties of our group catalog, specifically 1) the distribution of $\sigma_{grp}$, 2) the fraction of all sample galaxies that are group members, and 3) the fraction of groups with significant substructure, are consistent with those for other catalogs. The distribution of group virial masses agrees well with theoretical expectations. Of the lens galaxies, 12 of 26 (46%) (B1422+231, B1600+434, B2114+022, FBQS J0951+2635, HE0435-1223, HST J14113+5211, MG0751+2716, MGJ1654+1346, PG 1115+080, Q ER 0047-2808, RXJ1131-1231, and WFI J2033-4723) are members of groups with at least five galaxies, and one more (B0712+472) belongs to an additional, visually identified group candidate. There are groups not associated with the lens that still are likely to affect the lens model; in six of 25 (24%) fields (excluding the supergroup), there is at least one massive ($\sigma_{grp} \ge$ 500 km s$^{-1}$) group or group candidate projected within 2$^{\prime}$ of the lens.


title: Light Curve Modulation of Low Mass Stars in K2. I. Identification of 508 Fast Rotators in the Solar Neighborhood

abstract: The K2 mission is targeting large numbers of nearby (d<100 pc) GKM dwarfs selected from the SUPERBLINK proper motion survey (mu>40 mas yr^-1, V<20). Additionally, the mission is targeting low-mass, high proper motion stars associated with the local (d<500 pc) Galactic halo population also selected from SUPERBLINK. K2 campaigns 0 through 8 monitored a total of 27,382 of these cool main-sequence stars. We used the auto-correlation function to search for fast rotators by identifying short-period photometric modulations in the K2 light curves. We identified 508 candidate fast rotators with rotation periods <4 days that show light curve modulations consistent with star spots. Their kinematics show low average transverse velocities, suggesting they are part of the young disk population. A subset (13) of the fast rotators are found among those targets with colors and kinematics consistent with the local Galactic halo population and may represent stars spun up by tidal interactions in close binary systems. We further demonstrate the M dwarf fast rotators selected from the K2 light curves are significantly more likely to have UV excess, and discuss the potential of the K2 mission to identify new nearby young GKM dwarfs on the basis of their fast rotation rates. Finally, we discuss the possible use of local halo stars as fiducial, non-variable sources in the Kepler fields.


title: Hard X-ray properties of NuSTAR blazars

abstract: Context. Investigation of the hard X-ray emission properties of blazars is key to the understanding of the central engine of the sources and associated jet process. In particular, simultaneous spectral and timing analyses of the intra-day hard X-ray observations provide us a means to peer into the compact innermost blazar regions, not accessible to our current instruments. Aims. The primary objective of the work is to associate the observed hard X-ray variability properties in the blazars to their flux and spectral states, thereby, based on the correlation among them, extract the details about the emission regions and the processes occurring near the central engine. Methods. We carried out timing, spectral and cross-correlation analysis of 31 NuSTAR observations of 13 blazars. We investigated the spectral shapes of the sources using single power-law, broken power-law and log-parabola models. We also studies the co-relation between the soft and the hard emission using z-transformed discrete correlation function. Results. We found that for most of the sources the hard X-ray emission can be well represented by log-parabola model; and that the spectral slopes for different blazar sub-classes are consistent with so called blazar sequence. We noted a close connection between the flux and spectral slope within the source sub-class in the sense that high flux and/or flux states tend to be harder in spectra. In BL Lacertae objects, assuming particle acceleration by diffusive shocks and synchrotron cooling as the dominant processes governing the observed flux variability, we constrain the magnetic field of the emission region to be a few gauss; whereas in flat-spectrum radio quasars, using external Compton models, we estimate the energy of the lower end of the injected electrons to be a few Lorentz factors.


title: A Survey on Solvable Sesquilinear Forms

abstract: The aim of this paper is to present a unified theory of many Kato type representation theorems in terms of solvable forms on Hilbert spaces. In particular, for some sesquilinear forms $\Omega$ on a dense domain $\mathcal{D}$ one looks for an expression $$ \Omega(\xi,\eta)=\langle T\xi , \eta\rangle, \qquad \forall \xi\in D(T),\eta \in \mathcal{D}, $$ where $T$ is a densely defined closed operator with domain $D(T)\subseteq \mathcal{D}$. There are two characteristic aspects of solvable forms. Namely, one is that the domain of the form can be turned into a reflexive Banach space need not be a Hilbert space. The second one is the existence of a perturbation with a bounded form which is not necessarily a multiple of the inner product.


title: Iterative Detection for Orthogonal Precoding in Doubly Selective Channels

abstract: Ultra-reliable wireless communication links require the utilization of all diversity sources of a wireless communication channel. Hadani et al. propose a two dimensional discrete symplectic Fourier transform (DSFT) as orthogonal pre-coder for a time-frequency modulation scheme. In this paper we explore \emph{general} orthogonal precoding (OP) and its performance in time- and frequency-selective channels. We show that iterative parallel interference cancellation (PIC) and iterative channel estimation methods can be used for the detection of OP. A scalar signal model for OP transmission is obtained by PIC. Based on this signal model, we can prove that all constant modulus sequences, e.g. the DSFT basis functions or Walsh-Hadamard sequences, lead to the same performance for OP. We validate our receiver structure by numerical link level simulations of a vehicle-to-vehicle communication link with a relative velocity of $0\ldots200\,\text{km/h}$. We demonstrate that OP achieves a gain of about $4.8\,\text{dB}$ if compared to orthogonal frequency division multiplexing at a bit error rate of $10^{-4}$. Our performance results for coded OP are the best results for a fully documented receiver architecture, published so far.


title: Double-grid quadrature with interpolation-projection (DoGIP) as a novel discretisation approach: An application to FEM on simplexes

abstract: This paper is focused on the double-grid integration with interpolation-projection (DoGIP), which is a novel matrix-free discretisation method of variational formulations introduced for Fourier--Galerkin approximation. Here, it is described as a more general approach with an application to the finite element method (FEM) on simplexes. The approach is based on treating the trial and a test function in variational formulation together, which leads to the decomposition of a linear system into interpolation and (block) diagonal matrices. It usually leads to reduced memory demands, especially for higher-order basis functions, but with higher computational requirements. The numerical examples are studied here for two variational formulations: weighted projection and scalar elliptic problem modelling, e.g. diffusion or stationary heat transfer. This paper also opens a room for further investigation, which is discussed in the conclusion.


title: Novel Potassium Polynitrides at High Pressures

abstract: Polynitrogen compounds have attracted great interest due to their potential applications as high energy density materials. Most recently, a rich variety of alkali polynitrogens (R_{x}N_{y}; R=Li, Na, and Cs) have been predicted to be stable at high pressures and one of them, CsN_{5} has been recently synthesized. In this work, various potassium polynitrides are investigated using first-principles crystal structure search methods. Several novel molecular crystals consisting of N_{4} chains, N_{5} rings, and N_{6} rings stable at high pressures are discovered. In addition, an unusual nitrogen-rich metallic crystal with stoichiometry K_{2}N_{16} consisting of a planar two-dimensional extended network of nitrogen atoms arranged in fused eighteen atom rings is found to be stable above 70 GPa. An appreciable electron transfer from K to N atoms is responsible for the appearance of unexpected chemical bonding in these crystals. The thermodynamic stability and high pressure phase diagram is constructed. The electronic and vibrational properties of the layered polynitrogen K_{2}N_{16} compound are investigated, and the pressure-dependent IR-spectrum is obtained to assist in experimental discovery of this new high-nitrogen content material.


title: Probabilistic Available Delivery Capability Assessment of General Distribution Network with Renewables

abstract: Rapid increase of renewable energy sources and electric vehicles in utility distribution feeders introduces more and more uncertainties. To investigate how such uncertainties may affect the available delivery capability (ADC) of the distribution network, it is imperative to employ a probabilistic analysis framework. In this paper, a formulation for probabilistic ADC incorporating renewable generators and load variations is proposed; a computationally efficient method to solve the probabilistic ADC is presented, which combines the up-to-date sparse polynomial chaos expansion (PCE) and the continuation method. A numerical example in the IEEE 13 node test feeder is given to demonstrate the accuracy and efficiency of the proposed method.


title: Low-Complexity Equalization for Orthogonal Time and Frequency Signaling (OTFS)

abstract: Recently, a new precoding technique called orthogonal time-frequency signaling (OTFS) has been proposed for time- and frequency-selective communication channels. OTFS precodes a data frame with a complete set of spreading sequences and transmits the results via orthogonal frequency division multiplexing (OFDM). OTFS uses two dimensional (2D) linear spreading sequences in time and frequency which are the basis functions of a symplectic Fourier transform. OTFS allows the utilization of time- and frequency-diversity but requires maximum likelihood decoding to achieve full diversity. In this paper we show performance results of a low-complexity equalizer using soft-symbol feedback for interference cancellation after an initial minimum-mean square error equalization step. Performance results for an implementation in the delay-Doppler domain and in the time-frequency domain are compared. With our equalizer, OTFS achieves a gain of 5dB compared to OFDM for a bit error rate of $10^{-4}$ and a velocity of $200\,\text{km/h}$.


title: A De Giorgi Iteration-based Approach for the Establishment of ISS Properties of a Class of Semi-linear Parabolic PDEs with Boundary and In-domain Disturbances

abstract: This paper addresses input-to-state stability (ISS) properties with respect to boundary and in-domain disturbances for a class of semi-linear partial differential equations (PDEs) subject to Dirichlet boundary conditions. The developed approach is a combination of the method of De Giorgi iteration and the technique of Lyapunov functionals by adequately splitting the original problem into two subsystems. The ISS in $L^\infty$-norm for a 1-$D$ transport equation and the ISS in $L^2$-norm for Burgers' equation have been established using this method. As an application of the main result for the 1-D transport equation, a study on ISS properties in $L^\infty$-norm of a 1-D transport equation with anti-stable term under boundary feedback control is carried out. This is the first time that the method of De Giorgi iteration is introduced in the ISS theory for infinite dimensional systems, and the developed method can be generalized for tackling some problems on multidimensional spatial domains and be applied to a wider class of nonlinear parabolic PDEs.


title: EduCTX: A blockchain-based higher education credit platform

abstract: Blockchain technology enables the creation of a decentralized environment where transactions and data are not under the control of any third party organization. Any transaction ever completed is recorded in a public ledger in a verifiable and permanent way. Based on blockchain technology, we propose a global higher education credit platform, named EduCTX. This platform is based on the concept of the European Credit Transfer and Accumulation System (ECTS). It constitutes a globally trusted, decentralized higher education credit and grading system that can offer a globally unified viewpoint for students and higher education institutions (HEIs), as well as for other potential stakeholders such as companies, institutions, and organizations. As a proof of concept, we present a prototype implementation of the environment, based on the open-source Ark Blockchain Platform. Based on a globally distributed peer-to-peer network, EduCTX will process, manage and control ECTX tokens, which represent credits that students gain for completed courses such as ECTS. HEIs are the peers of the blockchain network. The platform is a first step towards a more transparent and technologically advanced form of higher education systems. The EduCTX platform represents the basis of the EduCTX initiative which anticipates that various HEIs would join forces in order to create a globally efficient, simplified and ubiquitous environment in order to avoid language and administrative barriers. Therefore we invite and encourage HEIs to join the EduCTX initiative and the EduCTX blockchain network.


title: JND-Based Perceptual Video Coding for 4:4:4 Screen Content Data in HEVC

abstract: The JCT-VC standardized Screen Content Coding (SCC) extension in the HEVC HM RExt + SCM reference codec offers an impressive coding efficiency performance when compared with HM RExt alone; however, it is not significantly perceptually optimized. For instance, it does not include advanced HVS-based perceptual coding methods, such as JND-based spatiotemporal masking schemes. In this paper, we propose a novel JND-based perceptual video coding technique for HM RExt + SCM. The proposed method is designed to further improve the compression performance of HM RExt + SCM when applied to YCbCr 4:4:4 SC video data. In the proposed technique, luminance masking and chrominance masking are exploited to perceptually adjust the Quantization Step Size (QStep) at the Coding Block (CB) level. Compared with HM RExt 16.10 + SCM 8.0, the proposed method considerably reduces bitrates (Kbps), with a maximum reduction of 48.3%. In addition to this, the subjective evaluations reveal that SC-PAQ achieves visually lossless coding at very low bitrates.


title: Soliton operators in the quantum equivalence of the $CP_1$ and $O(3)-\sigma$ models

abstract: We discuss some interesting aspects of the well known quantum equivalence between the $O(3)-\sigma$ and $CP_1$ models in $3D$, working in the canonical and in the path integral formulations. We show first that the canonical quantization in the hamiltonian formulation is free of ordering ambiguities for both models. We use the canonical map between the fields and momenta of the two models and compute the relevant functional determinant to verify the equivalence between the phase-space partition functions and the quantum equivalence in all the topological sectors. We also use the explicit form of the map to construct the soliton operator of the $O(3)-\sigma$ model starting from the representation of the operator in the $CP_1$ model, and discuss their properties


title: Exploiting Commutativity For Practical Fast Replication

abstract: Traditional approaches to replication require client requests to be ordered before making them durable by copying them to replicas. As a result, clients must wait for two round-trip times (RTTs) before updates complete. In this paper, we show that this entanglement of ordering and durability is unnecessary for strong consistency. Consistent Unordered Replication Protocol (CURP) allows clients to replicate requests that have not yet been ordered, as long as they are commutative. This strategy allows most operations to complete in 1 RTT (the same as an unreplicated system). We implemented CURP in the Redis and RAMCloud storage systems. In RAMCloud, CURP improved write latency by ~2x (13.8 us -> 7.3 us) and write throughput by 4x. Compared to unreplicated RAMCloud, CURP's latency overhead for 3-way replication is just 0.4 us (6.9 us vs 7.3 us). CURP transformed a non-durable Redis cache into a consistent and durable storage system with only a small performance overhead.


title: Hitchin fibrations on moduli of irregular Higgs bundles and motivic wall-crossing

abstract: In this paper we give a complete description of the Hitchin fibration on all 2-dimensional moduli spaces of rank 2 irregular Higgs bundles with two poles on the projective line. We describe the dependence of the singular fibers of the fibration on the eigenvalues of the Higgs fields, and describe the corresponding motivic wall-crossing phenomenon in the parameter space of parabolic weights.


title: Evaluation of Treatment Effect Modification by Biomarkers Measured Pre- and Post-randomization in the Presence of Non-monotone Missingness

abstract: In vaccine studies, investigators are often interested in studying effect modifiers of clinical treatment efficacy by biomarker-based principal strata, which is useful for selecting biomarker study endpoints for evaluating treatments in new trials, exploring biological mechanisms of clinical treatment efficacy, and studying mediators of clinical treatment efficacy. However, in trials where participants may enter the study with prior exposure therefore with variable baseline biomarker values, clinical treatment efficacy may depend jointly on a biomarker measured at baseline and measured at a fixed time after vaccination. Therefore, it is of interest to conduct a bivariate effect modification analysis by biomarker-based principal strata and baseline biomarker values. Previous methods allow this assessment if participants who have the biomarker measured at the the fixed time point post randomization would also have the biomarker measured at baseline. However, additional complications in study design could happen in practice. For example, in the Dengue correlates study, baseline biomarker values were only available from a fraction of participants who have biomarkers measured post-randomization. How to conduct the bivariate effect modification analysis in these studies remains an open research question. In this article, we propose an estimated likelihood method to utilize the sub-sampled baseline biomarker in the effect modification analysis and illustrate our method with datasets from two dengue phase 3 vaccine efficacy trials.


title: Optimal Ensemble Control of Loads in Distribution Grids with Network Constraints

abstract: Flexible loads, e.g. thermostatically controlled loads (TCLs), are technically feasible to participate in demand response (DR) programs. On the other hand, there is a number of challenges that need to be resolved before it can be implemented in practice en masse. First, individual TCLs must be aggregated and operated in sync to scale DR benefits. Second, the uncertainty of TCLs needs to be accounted for. Third, exercising the flexibility of TCLs needs to be coordinated with distribution system operations to avoid unnecessary power losses and compliance with power flow and voltage limits. This paper addresses these challenges. We propose a network-constrained, open-loop, stochastic optimal control formulation. The first part of this formulation represents ensembles of collocated TCLs modelled by an aggregated Markov Process (MP), where each MP state is associated with a given power consumption or production level. The second part extends MPs to a multi-period distribution power flow optimization. In this optimization, the control of TCL ensembles is regulated by transition probability matrices and physically enabled by local active and reactive power controls at TCL locations. The optimization is solved with a Spatio-Temporal Dual Decomposition (ST-D2) algorithm. The performance of the proposed formulation and algorithm is demonstrated on the IEEE 33-bus distribution model.


title: Polaron formation, native defects, and electronic conduction in metal tungstates

abstract: Iron tungstate (FeWO$_4$) and manganese tungstate (MnWO$_4$) belong to a family of wolframite-type materials that has applications in various areas, including supercapacitors, batteries, and multiferroics. A detailed understanding of bulk properties and defect physics in these transition-metal tungstates has been lacking, however, impeding possible improvement of their functional properties. Here, we report a first-principles study of FeWO$_4$ and MnWO$_4$ using screened hybrid density-functional calculations. We find that in both compounds the electronic structure near the band edges are predominantly the highly localized transition-metal $d$ states, which allows for the formation of both hole polarons at the Fe (Mn) sites and electron polarons at the W sites. The dominant native point defects in FeWO$_4$ (MnWO$_4$) under realistic synthesis conditions are, however, the hole polarons at the Fe (Mn) sites and negatively charged Fe (Mn) vacancies. The presence of low-energy and highly mobile polarons provides explanation for the good p-type conductivity observed in experiments and the ability of the materials to store energy via a pseudocapacitive mechanism.


title: Image Compression: Sparse Coding vs. Bottleneck Autoencoders

abstract: Bottleneck autoencoders have been actively researched as a solution to image compression tasks. However, we observed that bottleneck autoencoders produce subjectively low quality reconstructed images. In this work, we explore the ability of sparse coding to improve reconstructed image quality for the same degree of compression. We observe that sparse image compression produces visually superior reconstructed images and yields higher values of pixel-wise measures of reconstruction quality (PSNR and SSIM) compared to bottleneck autoencoders. % In addition, we find that using alternative metrics that correlate better with human perception, such as feature perceptual loss and the classification accuracy, sparse image compression scores up to 18.06\% and 2.7\% higher, respectively, compared to bottleneck autoencoders. Although computationally much more intensive, we find that sparse coding is otherwise superior to bottleneck autoencoders for the same degree of compression.


title: T-duality of singular spacetime compactifications in an H-flux

abstract: We begin by presenting a symmetric version of the circle equivariant T-duality result in a joint work of the second author with Siye Wu, thereby generalising the results there. We then initiate the study of twisted equivariant Courant algebroids and equivariant generalised geometry and apply it to our context. As before, T-duality exchanges type II A and type II B string theories. In our theory, both spacetime and the T-dual spacetime can be singular spaces when the fixed point set is non-empty; the singularities correspond to Kaluza-Klein monopoles. We propose that the Ramond-Ramond charges of type II string theories on the singular spaces are classified by twisted equivariant cohomology groups, consistent with the previous work of Mathai and Wu, and prove that they are naturally isomorphic. We also establish the corresponding isomorphism of twisted equivariant Courant algebroids.


title: Parity-violating hybridization in heavy Weyl semimetals

abstract: We introduce a simple model to describe the formation of heavy Weyl semimetals in non-centrosymmetric heavy fermion compounds under the influence of a parity-mixing, onsite hybridization. A key aspect of interaction-driven heavy Weyl semimetals is the development of surface Kondo breakdown, which is expected to give rise to a temperature-dependent re-configuration of the Fermi arcs and the Weyl cyclotron orbits which connect them via the chiral bulk states. Our theory predicts a strong temperature dependent transformation in the quantum oscillations at low temperatures. In addition to the effects of surface Kondo breakdown, the renormalization effects in heavy Weyl semimetals will appear in a variety of thermodynamic and transport measurements.


title: Pairwise Ising model analysis of human cortical neuron recordings

abstract: During wakefulness and deep sleep brain states, cortical neural networks show a different behavior, with the second characterized by transients of high network activity. To investigate their impact on neuronal behavior, we apply a pairwise Ising model analysis by inferring the maximum entropy model that reproduces single and pairwise moments of the neuron's spiking activity. In this work we first review the inference algorithm introduced in Ferrari,Phys. Rev. E (2016). We then succeed in applying the algorithm to infer the model from a large ensemble of neurons recorded by multi-electrode array in human temporal cortex. We compare the Ising model performance in capturing the statistical properties of the network activity during wakefulness and deep sleep. For the latter, the pairwise model misses relevant transients of high network activity, suggesting that additional constraints are necessary to accurately model the data.


title: The convergence-theoretic approach to g-first countable and symmetrizable spaces

abstract: This article fits in the context of the approach to topological problems in terms of the underlying convergence space structures, and serves as yet another illustration of the power of the method. More specifically, we spell out convergence-theoretic characterizations of the notions of weak base, weakly first-countable space, semi-metrizable space, and symmetrizable spaces. With the help of the already established similar characterizations of the notions of Fr\'echet-Ursyohn, sequential, and accessibility spaces, we give a simple algebraic proof of a classical result regarding when a symmetrizable (respectively, weakly first-countable, respectively sequential) space is semi-metrizable (respectively first-countable, respectively Fr\'echet) that clarifies the situation for non-Hausdorff spaces. Using additionally known results on the commutation of the topologizer with product, we obtain simple algebraic proofs of various results of Y. Tanaka on the stability under product of symmetrizability and weak first-countability, and we obtain the same way a new characterization of spaces whose product with every metrizable topology is weakly first-countable, respectively symmetrizable.


title: X-ray reflection from cold white dwarfs in magnetic cataclysmic variables

abstract: We model X-ray reflection from white dwarfs (WD) in magnetic cataclysmic variables (mCVs) with a Monte Carlo simulation. A point source with a power-law spectrum or a realistic post-shock accretion column (PSAC) source irradiates a cool and spherical WD. The PSAC source emits thermal spectra of various temperatures stratified along the column according to the PSAC model. In the point source simulation, we confirm (1) a source harder and nearer to the WD enhances the reflection, (2) higher iron abundance enhances the equivalent widths (EWs) of fluorescent iron K${\alpha}_{1,2}$ lines and their Compton shoulder, and increases cut-off energy of a Compton hump, and (3) significant reflection appears from an area that is more than 90 deg apart from the position right under the point X-ray source because of the WD curvature. The PSAC simulation reveals that (1) a more massive WD basically enhances the intensities of the fluorescent iron K${\alpha}_{1,2}$ lines and the Compton hump, except for some specific accretion rate, because the more massive WD makes the hotter PSAC from which higher energy X-rays are preferentially emitted, (2) a larger specific accretion rate monotonically enhances the reflection because it makes the hotter and shorter PSAC, and (3) the intrinsic thermal component hardens by occultation of the cool base of the PSAC by the WD. We quantitatively evaluate influences of the parameters on the EWs and the Compton hump with both types of sources. We also calculate X-ray modulation profiles brought about by the WD spin. They depend on angles of the spin axis from the line of sight and from the PSAC, and whether the two PSACs can be seen. The reflection spectral model and the modulation model involve the fluorescent lines and the Compton hump and can directly be compared to the data which allow us to evaluate these geometrical parameters with unprecedented accuracy.


title: A polynomial time algorithm to compute geodesics in CAT(0) cubical complexes

abstract: This paper presents the first polynomial time algorithm to compute geodesics in a CAT(0) cubical complex in general dimension. The algorithm is a simple iterative method to update breakpoints of a path joining two points using Miller, Owen and Provan's algorithm (2015) as a subroutine. Our algorithm is applicable to any CAT(0) space in which geodesics between two close points can be computed, not limited to CAT(0) cubical complexes.


title: SEGMENT3D: A Web-based Application for Collaborative Segmentation of 3D images used in the Shoot Apical Meristem

abstract: The quantitative analysis of 3D confocal microscopy images of the shoot apical meristem helps understanding the growth process of some plants. Cell segmentation in these images is crucial for computational plant analysis and many automated methods have been proposed. However, variations in signal intensity across the image mitigate the effectiveness of those approaches with no easy way for user correction. We propose a web-based collaborative 3D image segmentation application, SEGMENT3D, to leverage automatic segmentation results. The image is divided into 3D tiles that can be either segmented interactively from scratch or corrected from a pre-existing segmentation. Individual segmentation results per tile are then automatically merged via consensus analysis and then stitched to complete the segmentation for the entire image stack. SEGMENT3D is a comprehensive application that can be applied to other 3D imaging modalities and general objects. It also provides an easy way to create supervised data to advance segmentation using machine learning models.


title: Data-driven Feature Sampling for Deep Hyperspectral Classification and Segmentation

abstract: The high dimensionality of hyperspectral imaging forces unique challenges in scope, size and processing requirements. Motivated by the potential for an in-the-field cell sorting detector, we examine a $\textit{Synechocystis sp.}$ PCC 6803 dataset wherein cells are grown alternatively in nitrogen rich or deplete cultures. We use deep learning techniques to both successfully classify cells and generate a mask segmenting the cells/condition from the background. Further, we use the classification accuracy to guide a data-driven, iterative feature selection method, allowing the design neural networks requiring 90% fewer input features with little accuracy degradation.


title: The electrothermal conductance and heat capacity of black phosphorus

abstract: We study a thermal gradient induced current $\left(I_{th}\right)$ flow in potassium-doped two-dimensional anisotropic black phosphorus (BP) with semi-Dirac dispersion. The prototype device is a BP channel clamped between two contacts maintained at unequal temperatures. The choice of BP lies in the predicted efficient thermolectric behaviour. A temperature-induced difference in the Fermi levels of the two contacts drives the current (typified by the electro-thermal conductance) which we calculate using the Landauer transport equation. The current shows an initial rise when the device is operated at lower temperatures. The rise stalls at progressively higher temperatures and $I_{th}$ acquires a plateau-like flat profile indicating a competing effect between a larger number of transmission modes and a corresponding drop in the Fermi level difference between the contacts. The current is computed for both \textit{n}- and \textit{p}-type BP and the difference thereof is attributed to the particle-hole asymmetry. The utility of such calculations lie in conversion of the heat production and an attendant temperature gradient in miniaturized devices to useful electric power and a possible realization of solid-state Peltier cooling. Unlike the flow of $I_{th}$ that removes heat, the ability of a material to maintain a steady temperature is reflected in its heat capacity which is formulated in this work for BP via a Sommerfeld expansion. In the concluding part, we draw a microscopic connection between the two seemingly disparate processes of heat removal and absorption by pinning down their origin to the underlying density of states. Finally, a qualitative analysis of a Carnot-like efficiency of the considered thermoelectric engine is performed drawing upon the previous results on thermal current and heat capacity.


title: Popoviciu's type inequalityies for h-MN-convex functions

abstract: In this work, several inequalities of Popoviciu type for h-MN-convex functions are proved, where M or N are denote to Arithmetic, Geometric and Harmonic means and $h$ is a non-negative superadditive or subadditive function.


title: Almost invariant half-spaces for operators on Hilbert space. II: operator matrices

abstract: This paper is a sequel to [6]. In that paper we transferred the discussions in [1] and [13] concerning almost invariant half-spaces for operators on complex Banach spaces to the context of operators on Hilbert space, and we gave easier proofs of the main results in [1] and [13]. In the present paper we discuss consequences of the above-mentioned results for the matricial structure of operators on Hilbert space.


title: Nonaffine deformation and tunable yielding of colloidal assemblies at the air-water interface

abstract: Silica nanoparticles trapped at air-water interface form a 2D solid state with amorphous order. We propose a theoretical model to describe how this solid-like state deforms under a shear strain ramp up to and beyond a yielding point which leads to plastic flow. The model accounts for all the particle-level and many-body physics of the system: nonaffine displacements, local connectivity and its evolution in terms of cage-breaking, and interparticle interactions mediated by the particle chemistry and colloidal forces. The model is able to reproduce experimental data with only two non-trivial fitting parameters: the relaxation time of the cage and the viscous relaxation time. The interparticle spring constant contains information about the strength of interparticle bonding which is tuned by the amount of surfactant that renders the particles hydrophobic and mutually attractive. This framework opens up the possibility of quantitatively tuning and rationally designing the mechanical response of colloidal assemblies at the air-water interface. Also, it provides a mechanistic explanation to the observed non-monotonic dependence of yield strain on surfactant concentration.


title: Coarse-graining in the derivation of Markovian master equations and its significance in quantum thermodynamics

abstract: The coarse-graining approach to deriving the quantum Markovian master equation is revisited, with close attention given to the underlying approximations. It is further argued that the time interval over which the coarse-graining is performed is a free parameter that can be given a physical measurement-based interpretation. In the case of the damping of composite systems to reservoirs of different temperatures, currently of much interest in the study of quantum thermal machines with regard to the validity of `local' and `global' forms of these equations, the coupling of the subsystems leads to a further timescale with respect to which the coarse-graining time interval can be chosen. Different choices lead to different master equations that correspond to the local and global forms. These can be then understood as having different physical interpretations based on the role of the coarse-graining, as well as different limitations in application.


title: MASTER OT J132104.04+560957.8: A Polar with Absorption-Emission Line Reversals

abstract: We present time-resolved photometry and spectroscopy of the recently classified polar MASTER OT J132104.04+560957.8. The spectrum shows a smooth, non-thermal continuum at the time of maximum light, without any individually discernible cyclotron harmonics. Using homogeneous cyclotron modeling, we interpret this as cyclotron radiation whose individual harmonics have blended together, and on this basis, we loosely constrain the magnetic field strength to be less than ~30 MG. In addition, for about one-tenth of the orbital period, the Balmer and He I emission lines transition into absorption features, with He II developing an absorption core. We use our observations of this phenomenon to test theoretical models of the accretion curtain and conclude that the H and He I lines are produced throughout the curtain, in contravention of theoretical predictions of separate H and He I line-forming regions. Moreover, a significant amount of He II emission originates within the accretion curtain, implying that the curtain is significantly hotter than expected from theory. Finally, we comment on the object's long-term photometry, including evidence that it recently transitioned into a prolonged, exceptionally stable high state following a potentially decades-long low state.


title: Realistic simplified gaugino-higgsino models in the MSSM

abstract: We present simplified MSSM models for light neutralinos and charginos with realistic mass spectra and realistic gaugino-higgsino mixing, that can be used in experimental searches at the LHC. The formerly used naive approach of defining mass spectra and mixing matrix elements manually and independently of each other does not yield genuine MSSM benchmarks. We suggest the use of less simplified, but realistic MSSM models, whose mass spectra and mixing matrix elements are the result of a proper matrix diagonalisation. We propose a novel strategy targeting the design of such benchmark scenarios, accounting for user-defined constraints in terms of masses and particle mixing. We apply it to the higgsino case and implement a scan in the four relevant underlying parameters {{\mu}, tan\beta, M_1, M_2} for a given set of light neutralino and chargino masses. We define a measure for the quality of the obtained benchmarks, that also includes criteria to assess the higgsino content of the resulting charginos and neutralinos. We finally discuss the distribution of the resulting models in the MSSM parameter space as well as their implications for supersymmetric dark matter phenomenology.


title: CANDiS: Coupled & Attention-Driven Neural Distant Supervision

abstract: Distant Supervision for Relation Extraction uses heuristically aligned text data with an existing knowledge base as training data. The unsupervised nature of this technique allows it to scale to web-scale relation extraction tasks, at the expense of noise in the training data. Previous work has explored relationships among instances of the same entity-pair to reduce this noise, but relationships among instances across entity-pairs have not been fully exploited. We explore the use of inter-instance couplings based on verb-phrase and entity type similarities. We propose a novel technique, CANDiS, which casts distant supervision using inter-instance coupling into an end-to-end neural network model. CANDiS incorporates an attention module at the instance-level to model the multi-instance nature of this problem. CANDiS outperforms existing state-of-the-art techniques on a standard benchmark dataset.


title: General framework for treating generation, propagation, and polarization of luminescence in anisotropic media

abstract: Complete polarimeters deliver the full polarization transfer matrix of a medium that relates input polarization states to output polarization states. In order to interpret the Mueller matrix of a luminescent medium at the emission frequency, accountings are required for polarization transformations of the medium at the excitation frequency, the light scattering event, and the polarization transformations at the emission frequency. A general framework for this kind of analysis is presented herein. The fluorescence Mueller matrix is expressed as a product of Mueller matrices of the medium at the excitation and emission frequencies and a scattering matrix, integrated over path length. The Stokes vector for the incident light, evolving according to the Mueller matrix of the medium at the excitation frequency, is multiplied by the scattering matrix to give a Stokes vector of the emitted light along the propagation direction. The scattering matrix is derived from an incoherent orientation ensemble average over a phenomenological scattering tensor that embodies intrinsic molecular scattering proprieties, and dynamical processes that occur during the excited state. The general framework is evaluated for three anisotropic materials carrying luminescent dye molecules including the following: a chiral fluid, a stretched polymer film, and a chiral, biaxial crystal. In the latter case, the most complex, the Mueller matrix was collected in conoscopic illumination and the fluorescence Mueller matrix, mapped in k-space, was fully simulated by the strategy outlined above. Luminescence spectroscopy has typically stood apart from the developments in polarimetry of the past two generations. This need not be indefinite.


title: How We Make Sense of the World: Information, Map-Making, and The Scientific Narrative

abstract: Science is a constructed narrative of the natural world based on information gathering and its subsequent analysis. In this essay, we develop a novel approach to the epistemic foundations of the scientific narrative, as based on our experiential interactions with the natural world. We first review some of the basic aspects of both Bayesian statistics and Shannon's information theory as applied to the construction of meaningful conceptualization of the natural world. This conceptualization is rendered through the maps we construct of the world based on our limited knowledge of reality. We propose a path from experience to information and physics based on the notion that information is experience that induces change in an Epistemic Agent (EA): the change may be local and focused to a minor aspect of reality or it may be broad and worldview-changing. We illustrate our approach through an analysis of a measure of spatial complexity proposed by one of us called Configuration Entropy (CE), and establish a link between experience at the cognitive level and information content, showing that the CE is a quantitative measure of how much information in spatial-complexity the external world hides from an EA.


title: New insights into the statistical properties of $M$-estimators

abstract: This paper proposes an original approach to better understanding the behavior of robust scatter matrix $M$-estimators. Scatter matrices are of particular interest for many signal processing applications since the resulting performance strongly relies on the quality of the matrix estimation. In this context, $M$-estimators appear as very interesting candidates, mainly due to their flexibility to the statistical model and their robustness to outliers and/or missing data. However, the behavior of such estimators still remains unclear and not well understood since they are described by fixed-point equations that make their statistical analysis very difficult. To fill this gap, the main contribution of this work is to prove that these estimators distribution is more accurately described by a Wishart distribution than by the classical asymptotical Gaussian approximation. To that end, we propose a new `Gaussian-core' representation for Complex Elliptically Symmetric (CES) distributions and we analyze the proximity between $M$-estimators and a Gaussian-based Sample Covariance Matrix (SCM), unobservable in practice and playing only a theoretical role. To confirm our claims we also provide results for a widely used function of $M$-estimators, the Mahalanobis distance. Finally, Monte Carlo simulations for various scenarios are presented to validate theoretical results.


title: Fate of Ising ferromagnets and antiferromagnets by zero-temperature Glauber dynamics on the two-dimensional Archimedean and 2-uniform lattices

abstract: The fate of the Ising ferromagnet and antiferromagnet by the zero-temperature Glauber dynamics from random initial spin configuration is investigated in the two-dimensional Archimedean and 2-uniform lattices. Blinker states are found in addition to the ground state and metastable state. We show that an even-coordinated lattice can arrive at a blinker state or a metastable state without stripe structure, in contrast to common expectation. The universal relationship between the critical percolation and the probability of stripe final state is confirmed for six lattices. Results about the fate of the antiferromagnetic Ising model show that the geometric frustration suppresses ordering more and promotes blinker state.


title: Tidal origin of NGC 1427A in the Fornax cluster

abstract: We present new HI observations from the Australia Telescope Compact Array and deep optical imaging from OmegaCam on the VLT Survey Telescope of NGC 1427A, an arrow-shaped dwarf irregular galaxy located in the Fornax cluster. The data reveal a star-less HI tail that contains ~10% of the atomic gas of NGC 1427A as well as extended stellar emission that shed new light on the recent history of this galaxy. Rather than being the result of ram pressure induced star-formation, as previously suggested in the literature, the disturbed optical appearance of NGC 1427A has tidal origins. The galaxy itself likely consists of two individual objects in an advanced stage of merging. The HI tail may be made of gas expelled to large radii during the same tidal interaction. It is possible that some of this gas is subject to ram pressure, which would be considered a secondary effect and imply a northwest trajectory of NGC 1427A within the Fornax cluster.


title: Endothermic singlet fission does not proceed via an excimer intermediate

abstract: Singlet fission is a process whereby two triplet excitons can be produced from one photon, potentially increasing the efficiency of photovoltaic devices. Endothermic singlet fission is desired for maximum energy conversion efficiency, and such systems have been shown to form an excimer-like state with multi-excitonic character prior to the appearance of triplets. However, the role of the excimer as an intermediate has, until now, been unclear. Here we show, using 5,12-bis((triisopropylsilyl)ethynyl)tetracene in solution as a prototypical example, that, rather than acting as an intermediate, the excimer serves to trap excited states, to the detriment of singlet fission yield. We clearly demonstrate that singlet fission and its conjugate process, triplet-triplet annihilation, occur at a longer intermolecular distance than an excimer intermediate would impute. These results establish that an endothermic singlet fission material must be designed that avoids excimer formation, thus allowing singlet fission to reach its full potential in enhancing photovoltaic energy conversion.


title: Tunable Resonance Coupling in Single Si Nanoparticle-Monolayer WS2 Structures

abstract: Two-dimensional semiconducting transition metal dichalcogenides (TMDCs) are extremely attractive materials for optoelectronic applications in the visible and near-IR range. Here, we address for the first time to the best of our knowledge the issue of resonance coupling in hybrid exciton-polariton structures based on single Si nanoparticles coupled to monolayer WS2. We predict a transition from weak to strong coupling regime , with a Rabi splitting energy exceeding 200 meV for a Si nanoparticle covered by monolayer WS 2 at the magnetic optical Mie resonance. This large transition is achieved due to the symmetry of magnetic dipole Mie mode and by changing the surrounding dielectric material from air to water. The prediction is based on the experimental estimation of TMDC dipole moment variation obtained from measured photoluminescence (PL) spectra of WS2 monolayers in different solvents. An ability of such a system to tune the resonance coupling is realized experimentally for optically resonant spherical Si nanoparticles placed on a WS2 monolayer. The Rabi splitting energy obtained for this scenario increases from 49.6 meV to 86.6 meV after replacing air by water. Our findings pave the way to develop high-efficiency optoelectronic, nanophotonic and quantum optical devices.


title: Numerical Bifurcation and Spectral Stability of Wavetrains in Bidirectional Whitham Models

abstract: We consider several different bidirectional Whitham equations that have recently appeared in the literature. Each of these models combine the full two-way dispersion relation from the incompressible Euler equations with a canonical shallow water nonlinearity, providing nonlocal model equations that may be expected to exhibit some of the interesting high-frequency phenomena present in the Euler equations that standard "long-wave" theories fail to capture. Of particular interest here is the existence and stability of periodic traveling wave solutions in such models. Using numerical bifurcation techniques we construct global bifurcation diagrams for each system and compare the global structure of branches, together with the possibility of bifurcation branches terminating in a "highest" singular (peaked/cusped) wave. We also numerically approximate the stability spectrum along these bifurcation branches and compare the stability predictions of these models. Our results confirm a number of analytical results concerning the stability of asymptotically small waves in these models and provide new insights into the existence and stability of large amplitude waves.


title: Probabilistic Couplings for Probabilistic Reasoning

abstract: This thesis explores proofs by coupling from the perspective of formal verification. Long employed in probability theory and theoretical computer science, these proofs construct couplings between the output distributions of two probabilistic processes. Couplings can imply various guarantees comparing two runs of a probabilistic computation. We first show that proofs in the program logic pRHL describe couplings. We formalize couplings that establish various probabilistic properties, including distribution equivalence, convergence, and stochastic domination. Then we give a proofs-as-programs interpretation: a coupling proof encodes a probabilistic product program, whose properties imply relational properties of the original programs. We design the logic xpRHL to construct the product, with extensions to model shift coupling and path coupling. We then propose an approximate version of probabilistic coupling and a corresponding proof technique---proof by approximate coupling---inspired by the logic apRHL, a version of pRHL for building approximate liftings. Drawing on ideas from existing privacy proofs, we extend apRHL with novel proof rules for constructing new approximate couplings. We give an approximate coupling proof of privacy for the Sparse Vector mechanism, a well-known algorithm from the privacy literature whose privacy proof is notoriously subtle, and produce the first formalized proof of privacy for Sparse Vector in apRHL. Finally, we propose several more sophisticated constructions for approximate couplings: a principle for showing accuracy-dependent privacy, a generalization of the advanced composition theorem, and an optimal approximate coupling relating two subsets. We also show equivalences between our approximate couplings and other existing definitions. These ingredients support the first formalized proof of privacy for the Between Thresholds mechanism.


title: Enhancements of linked data expressiveness for ontologies

abstract: The semantic web has received many contributions of researchers as ontologies which, in this context, i.e. within RDF linked data, are formalized conceptualizations that might use different protocols, such as RDFS, OWL DL and OWL FULL. In this article, we describe new expressive techniques which were found necessary after elaborating dozens of OWL ontologies for the scientific academy, the State and the civil society. They consist in: 1) stating possible uses a property might have without incurring into axioms or restrictions; 2) assigning a level of priority for an element (class, property, triple); 3) correct depiction in diagrams of relations between classes, between individuals which are imperative, and between individuals which are optional; 4) a convenient association between OWL classes and SKOS concepts. We propose specific rules to accomplish these enhancements and exemplify both its use and the difficulties that arise because these techniques are currently not established as standards to the ontology designer.


title: The Error Probability of Random Fourier Features is Dimensionality Independent

abstract: We show that the error probability of reconstructing kernel matrices from Random Fourier Features for the Gaussian kernel function is at most $\mathcal{O}(R^{2/3} \exp(-D))$, where $D$ is the number of random features and $R$ is the diameter of the data domain. We also provide an information-theoretic method-independent lower bound of $\Omega((1-\exp(-R^2)) \exp(-D))$. Compared to prior work, we are the first to show that the error probability for random Fourier features is independent of the dimensionality of data points. As applications of our theory, we obtain dimension-independent bounds for kernel ridge regression and support vector machines.


title: Audiovisual Analytics Vocabulary and Ontology (AAVO): initial core and example expansion

abstract: Visual Analytics might be defined as data mining assisted by interactive visual interfaces. The field has been receiving prominent consideration by researchers, developers and the industry. The literature, however, is complex because it involves multiple fields of knowledge and is considerably recent. In this article we describe an initial tentative organization of the knowledge in the field as an OWL ontology and a SKOS vocabulary. This effort might be useful in many ways that include conceptual considerations and software implementations. Within the results and discussions, we expose a core and an example expansion of the conceptualization, and incorporate design issues that enhance the expressive power of the abstraction.


title: Strong Ramsey Games in Unbounded Time

abstract: For two graphs $B$ and $H$ the strong Ramsey game $\mathcal{R}(B,H)$ on the board $B$ and with target $H$ is played as follows. Two players alternately claim edges of $B$. The first player to build a copy of $H$ wins. If none of the players win, the game is declared a draw. A notorious open question of Beck asks whether the first player has a winning strategy in $\mathcal{R}(K_n,K_k)$ in bounded time as $n\rightarrow\infty$. Surprisingly, in a recent paper Hefetz et al. constructed a $5$-uniform hypergraph $\mathcal{H}$ for which they proved that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(5)},\mathcal{H})$ in bounded time. They naturally ask whether the same result holds for graphs. In this paper we make further progress in decreasing the rank. In our first result, we construct a graph $G$ (in fact $G=K_6\setminus K_4$) and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n \sqcup K_n,G)$ in bounded time. As an application of this result we deduce our second result in which we construct a $4$-uniform hypergraph $G'$ and prove that the first player does not have a winning strategy in $\mathcal{R}(K_n^{(4)},G')$ in bounded time. This improves the result in the paper above. An equivalent formulation of our first result is that the game $\mathcal{R}(K_\omega\sqcup K_\omega,G)$ is a draw. Another reason for interest on the board $K_\omega\sqcup K_\omega$ is a folklore result that the disjoint union of two finite positional games both of which are first player wins is also a first player win. An amusing corollary of our first result is that at least one of the following two natural statements is false: (1) for every graph $H$, $\mathcal{R}(K_\omega,H)$ is a first player win; (2) for every graph $H$ if $\mathcal{R}(K_\omega,H)$ is a first player win, then $\mathcal{R}(K_\omega\sqcup K_\omega,H)$ is also a first player win.


title: Magnetic monopoles in multi-vector boson theories

abstract: A classical solution for a magnetic monopole is found in a specific multi-vector boson theory. We consider the model whose $[SU(2)]^{N+1}$ gauge group is broken by sigma-model fields (\`a la dimensional deconstruction) and further spontaneously broken by an adjoint scalar (\`a la triplet Higgs mechanism). In this multi-vector boson theory, we find the solution for the monopole whose mass is $M_N\sim\frac{4\pi v}{g}\sqrt{N+1}$, where $g$ is the common gauge coupling constant and $v$ is the vacuum expectation value of the triplet Higgs field, by using a variational method with the simplest set of test functions.


title: Attosecond dynamics of light-induced resonant hole transfer in high-order-harmonic generation

abstract: We present a study of high-order-harmonic generation (HHG) assisted by extreme ultraviolet (XUV) attosecond pulses, which can lead to the excitation of inner-shell electrons and the generation of a second HHG plateau. With the treatment of a one-dimensional model of krypton, based on time-dependent configuration interaction singles (TDCIS) of an effective two-electron system, we show that the XUV-assisted HHG spectrum reveals the duration of the semiclassical electron trajectories. The results are interpreted by the strong-field approximation (SFA) and the importance of the hole transfer during the tunneling process is emphasized. Finally, coherent population transfer between the inner and outer holes with attosecond pulse trains is discussed.


title: Cooling dynamics of a single trapped ion via elastic collisions with small-mass atoms

abstract: We demonstrated sympathetic cooling of a single ion in a buffer gas of ultracold atoms with small mass. Efficient collisional cooling was realized by suppressing collision-induced heating. We attempt to explain the experimental results with a simple rate equation model and provide a quantitative discussion of the cooling efficiency per collision. The knowledge we obtained in this work is an important ingredient for advancing the technique of sympathetic cooling of ions with neutral atoms.