title: Some Exact Properties of the Nonequilibrium Response Function for Transient Photoabsorption

abstract: The physical interpretation of time-resolved photoabsorption experiments is not as straightforward as for the more conventional photoabsorption experiments conducted on equilibrium systems. In fact, the relation between the transient photoabsorption spectrum and the properties of the examined sample can be rather intricate since the former is a complicated functional of both the driving pump and the feeble probe fields. In this work we critically review the derivation of the time-resolved photoabsorption spectrum in terms of the nonequilibrium dipole response function $\chi$ and assess its domain of validity. We then analyze $\chi$ in detail and discuss a few exact properties useful to interpret the transient spectrum {\em during} (overlapping regime) and {\em after} (nonoverlapping regime) the action of the pump. The nonoverlapping regime is the simplest to address. The absorption energies are indeed independent of the delay between the pump and probe pulses and hence the transient spectrum can change only by a rearrangement of the spectral weights. We give a close expression of these spectral weights in two limiting cases (ultrashort and everlasting monochromatic probes) and highlight their strong dependence on coherence and probe-envelope. In the overlapping regime we obtain a Lehmann-like representation of $\chi$ in terms of light-dressed states and provide a unifying framework of various well known effects in pump-driven systems. We also show the emergence of spectral sub-structures due to the finite duration of the pump pulse.


title: Non-convex dynamic programming and optimal investment

abstract: We establish the existence of minimizers in a rather general setting of dynamic stochastic optimization without assuming either convexity or coercivity of the objective function. We apply this to prove the existence of optimal portfolios for non-concave utility maximization problems in financial market models with frictions (such as illiquidity), a first result of its kind. The proofs are based on the dynamic programming principle whose validity is established under quite general assumptions.


title: Cholesky factorisation of linear systems coming from finite difference approximations of singularly perturbed problems

abstract: We consider the solution of large linear systems of equations that arise when two-dimensional singularly perturbed reaction-diffusion equations are discretized. Standard methods for these problems, such as central finite differences, lead to system matrices that are positive definite. The direct solvers of choice for such systems are based on Cholesky factorisation. However, as observed by MacLachlan and Madden (SIAM J. Sci. Comput. 35-5 (2013), pp. A2225-A2254), these solvers may exhibit poor performance for singularly perturbed problems. We provide an analysis of the distribution of entries in the factors based on their magnitude that explains this phenomenon, and give bounds on the ranges of the perturbation and discretization parameters where poor performance is to be expected.


title: On a Conjecture on Linear Systems

abstract: In a remark to Green's conjecture, Paranjape and Ramanan analyzed the vector bundle $E$ which is the pullback by the canonical map of the universal quotient bundle $T_{\Pp^{g-1}}(-1)$ on $\Pp^{g-1}$ and stated a more general conjecture and proved it for the curves with Clifford Index $1$ (trigonal and plane quintic). In this paper, we state the conjecture for general linear systems and obtain the results for the case of hyperelliptic curves.


title: On an a posteriori error analysis of mixed finite element Galerkin approximations to a second order wave equation

abstract: In this article, a posteriori error analysis is developed for mixed finite element Galerkin approximations to a second order linear hyperbolic equation. Based on mixed elliptic reconstructions and an integration tool, which is a variation of Baker's technique introduced earlier by G. Baker ( SIAM J. Numer. Anal., 13 (1976), 564-576) in the context of a priori estimates for a second order wave equation, a posteriori error estimates of the displacement in L{\infty}(L2)-norm for the semidiscrete scheme are derived under minimal regularity. Finally, a first order implicit-in-time discrete scheme is analyzed and a posteriori error estimators are established.


title: Rigorous Estimates on Balance Laws in Bounded Domains

abstract: The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a function of time, of the initial datum and of the boundary datum. The proof follows the general lines in Bardos, Leroux and N\'ed\'elec (1979), striving to provide a rigorous treatment and detailed references.


title: Suzaku and Fermi Observations of Gamma-Ray Bright Radio Galaxies: Origin of the X-ray Emission and Broad-Band Modeling

abstract: We performed a systematic X-ray study of eight nearby $\gamma$-ray bright radio galaxies with {\em Suzaku} for understanding the origin of their X-ray emissions. The {\em Suzaku} spectra for five of those have been presented previously, while the remaining three (M\,87, PKS\,0625$-$354, and 3C\,78) are presented here for the first time. Based on the Fe-K line strength, X-ray variability, and X-ray power-law photon indices, and using additional information on the [O III] line emission, we argue for a jet origin of the observed X-ray emission in these three sources. We also analyzed five years of {\em Fermi} Large Area Telescope (LAT) GeV gamma-ray data on PKS\,0625$-$354 and 3C\,78 to understand these sources within the blazar picture. We found significant $\gamma$-ray variability in the former object. Overall, we note that the {\em Suzaku} spectra for both PKS\,0625$-$354 and 3C\,78 are rather soft, while the LAT spectra are unusually hard when compared with other $\gamma$-ray detected low-power (FR\,I) radio galaxies. We demonstrate that the constructed broad-band spectral energy distributions of PKS\,0625$-$354 and 3C\,78 are well described by a one-zone synchrotron/synchrotron self-Compton model. The results of the modeling indicate lower bulk Lorentz factors compared to those typically found in other BL Lac objects, but consistent with the values inferred from modeling other LAT-detected FR\,I radio galaxies. Interestingly, the modeling also implies very high peak ($\sim 10^{16}$\,Hz) synchrotron frequencies in the two analyzed sources, contrary to previously-suggested scenarios for FR I/BL Lac unification. We discuss the implications of our findings in the context of the FR\,I/BL Lac unification schemes.


title: Continuously Shaping Orbital Angular Momentum with an Analog Optical Vortex Transmitter

abstract: Dynamic generation of obitial angular momentum (OAM) of light has enabled complex manipulation of micro-particles, high-dimension quantum entanglement and optical communication. We report an analog vortex transmitter made of one bilaterally symmetric grating and an aperture, emitting optical vortices with the average OAM value continuously variant in the entire rational range. Benefiting from linearly-varying transverse dislocation along its axis of symmetry, this diffractive transmitter possesses extra degree of freedom in engineering broadband optical vortices meanwhile preserving a novel spiniform phase with equally spaced singularities. It unlimitedly increases the average OAM of light by embracing more singularities, which is significantly different from that for Laguerre-Gaussian (LG) and Bessel vortex beams. Realizing analog generation of OAM in a single device, this technique can be potentially extended to other frequencies and applied to a wide spectrum of developments on quantum physics, aperiodic photonics and optical manipulation.


title: Quantum Quenches in Chern Insulators

abstract: We explore the non-equilibrium response of Chern insulators. Focusing on the Haldane model, we study the dynamics induced by quantum quenches between topological and non-topological phases. A notable feature is that the Chern number, calculated for an infinite system, is unchanged under the dynamics following such a quench. However, in finite geometries, the initial and final Hamiltonians are distinguished by the presence or absence of edge modes. We study the edge excitations and describe their impact on the experimentally-observable edge currents and magnetization. We show that, following a quantum quench, the edge currents relax towards new equilibrium values, and that there is light-cone spreading of the currents into the interior of the sample.


title: A multi-component Langmuir-mode source for the observed pulsar coherent emission

abstract: Several classes of neutron star are sources of coherent emission at frequencies of 10^2 - 10^3 MHz: others are radio-quiet. The primary emission spectra are broadly universal in form over many orders of magnitude in rotation period and polar-cap magnetic flux density. The existence of nulls and mode-changes in some radio-loud pulsars can be understood only as a manifestation of magnetospherical bistability. An ion-proton plasma with a possible background of electron-positron pairs is formed at the polar caps of stars with positive corotational charge density and is shown here to be a physical basis for the presence or absence of coherent emission and a likely reason why bistability may be present in the later stages of a pulsar lifetime.


title: On the torsion part in the K-theory of imaginary quadratic fields

abstract: We obtain upper bounds for the torsion in the $K$-groups of the ring of integers of imaginary quadratic number fields, in terms of their discriminants.


title: Status and implications of neutrino masses: a brief panorama

abstract: With the historic discovery of the Higgs boson our picture of particle physics would have been complete were it not for the neutrino sector and cosmology. I briefly discuss the role of neutrino masses and mixing upon gauge coupling unification, electroweak breaking and the flavor sector. Time is ripe for new discoveries such as leptonic CP violation, charged lepton flavor violation and neutrinoless double beta decay. Neutrinos could also play a role in elucidating the nature of dark matter and cosmic inflation.


title: High-frame rate, fast neutron imaging of two-phase flow in a thin rectangular channel

abstract: We have demonstrated the feasibility of performing high-frame-rate, fast neutron radiography of air-water two-phase flows in a thin channel with rectangular cross section. The experiments have been carried out at the accelerator facility of the Physikalisch-Technische Bundesanstalt. A polychromatic, high-intensity fast neutron beam with average energy of 6 MeV was produced by 11.5 MeV deuterons hitting a thick Be target. Image sequences down to 10 millisecond exposure times were obtained using a fast-neutron imaging detector developed in the context of fast-neutron resonance imaging. Different two-phase flow regimes such as bubbly slug and churn flows have been examined. Two phase flow parameters like the volumetric gas fraction, bubble size and bubble velocities have been measured. The first results are promising, improvements for future experiments are also discussed.


title: A geometric characterisation of Desarguesian spreads

abstract: We provide a characterisation of $(n-1)$-spreads in $\mathrm{PG}(rn-1,q)$ that have $r$ normal elements in general position. In the same way, we obtain a geometric characterisation of Desarguesian $(n-1)$-spreads in $\mathrm{PG}(rn-1,q)$, $r>2$.


title: Mechanical Tuning of Conductance and Thermopower in Helicene Molecular Junctions

abstract: Helicenes are inherently chiral polyaromatic molecules composed of all-ortho fused benzene rings possessing a spring-like structure. Here, using a combination of density functional theory and tight-binding calculations, it is demonstrated that controlling the length of the helicene molecule by mechanically stretching or compressing the molecular junction can dramatically change the electronic properties of the helicene, leading to a tunable switching behavior of the conductance and thermopower of the junction with on/off ratios of several orders of magnitude. Furthermore, control over the helicene length and number of rings is shown to lead to more than an order of magnitude increase in the thermopower and thermoelectric figure-of-merit over typical molecular junctions, presenting new possibilities of making efficient thermoelectric molecular devices. The physical origin of the strong dependence of the transport properties of the junction is investigated, and found to be related to a shift in the position of the molecular orbitals.


title: Quantum inferring acausal structures and the Monty Hall problem

abstract: This paper presents a quantum version of the Monty Hall problem based upon the quantum inferring acausal structures, which can be identified with generalization of Bayesian networks. Considered structures are expressed in formalism of quantum information theory, where density operators are identified with quantum generalization of probability distributions. Conditional relations between quantum counterpart of random variables are described by quantum conditional operators. Presented quantum inferring structures are used to construct a model inspired by scenario of well-known Monty Hall game, where we show the differences between classical and quantum Bayesian reasoning.


title: Overview of ALICE results on azimuthal correlations using neutral- and heavy-meson triggers

abstract: The ALICE detector is dedicated to studying the properties of hot and dense matter created in heavy-ion collisions. Among the probes used to investigate these properties are high-momentum particles, which originate in hard-scatterings occurring before the fireball creation. The fragments of hard scatterings interact with the hot and dense matter and via this interaction their spectra and azimuthal distributions are modified. This is probed by the measurement of the nuclear modification factor, where the $p_{\mathrm{T}}$ spectra obtained in Pb-Pb collisions are compared to a pp baseline. A strong suppression of charged hadrons as well as neutral- and heavy-flavor mesons was observed at $p_{\mathrm{T}} > 4$ GeV/$c$. Azimuthal correlations, using high-momentum ($p_{\mathrm{T}} > 4$ GeV/$c$) hadrons as triggers, can provide further insight into how the presence of the medium modifies the final kinematic distributions of the particles. Comparison with theoretical models can be used to test their predictions about the properties of the medium. We give an overview of ALICE azimuthal-correlation measurements of neutral- and heavy-flavor mesons with charged hadrons in pp collisions at $\sqrt{s}=7$ TeV and Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}=2.76$ TeV. We also present a measurement of the $\pi^{0}$ correlation with jets in pp collisions at $\sqrt{s}=7$ TeV.


title: Time-resolved fast-neutron radiography of air-water two-phase flows in a rectangular channel by an improved detection system

abstract: In a previous work we have demonstrated the feasibility of high-frame-rate, fast-neutron radiography of generic air-water two-phase flows in a 1.5 cm thick, rectangular flow channel. The experiments have been carried out at the high-intensity, white-beam facility of the Physikalisch-Technische Bundesanstalt, Germany, using an multi-frame, time-resolved detector developed for fast neutron resonance radiography. The results were however not fully optimal and therefore we have decided to modify the detector and optimize it for the given application, which is described in the present work. Furthermore, we managed to improve the image post-processing methodology and the noise suppression. Using the tailored detector and the improved post-processing significant increase in the image quality and an order of magnitude lower exposure times, down to 3.33 ms, have been achieved with minimized motion artifacts. Similar to the previous study, different two-phase flow regimes such as bubbly slug and churn flows have been examined. The enhanced imaging quality enables an improved prediction of two-phase flow parameters like the instantaneous volumetric gas fraction, bubble size and bubble velocities. Instantaneous velocity fields around the gas enclosures can also be more robustly predicted using optical flow methods as previously.


title: Evaluating Two-Stream CNN for Video Classification

abstract: Videos contain very rich semantic information. Traditional hand-crafted features are known to be inadequate in analyzing complex video semantics. Inspired by the huge success of the deep learning methods in analyzing image, audio and text data, significant efforts are recently being devoted to the design of deep nets for video analytics. Among the many practical needs, classifying videos (or video clips) based on their major semantic categories (e.g., "skiing") is useful in many applications. In this paper, we conduct an in-depth study to investigate important implementation options that may affect the performance of deep nets on video classification. Our evaluations are conducted on top of a recent two-stream convolutional neural network (CNN) pipeline, which uses both static frames and motion optical flows, and has demonstrated competitive performance against the state-of-the-art methods. In order to gain insights and to arrive at a practical guideline, many important options are studied, including network architectures, model fusion, learning parameters and the final prediction methods. Based on the evaluations, very competitive results are attained on two popular video classification benchmarks. We hope that the discussions and conclusions from this work can help researchers in related fields to quickly set up a good basis for further investigations along this very promising direction.


title: Modular invariance and entanglement entropy

abstract: We study the Renyi and entanglement entropies for free 2d CFT's at finite temperature and finite size, with emphasis on their properties under modular transformations of the torus. We address the issue of summing over fermion spin structures in the replica trick, and show that the relation between entanglement and thermal entropy determines two different ways to perform this sum in the limits of small and large interval. Both answers are modular covariant, rather than invariant. Our results are compared with those for a free boson at unit radius in the two limits and complete agreement is found, supporting the view that entanglement respects Bose-Fermi duality. We extend our computations to multiple free Dirac fermions having correlated spin structures, dual to free bosons on the Spin(2d) weight lattice.


title: Proximity effect between a topological insulator and a magnetic insulator with large perpendicular anisotropy

abstract: We report that thin films of a prototype topological insulator, Bi$_{2}$Se$_{3}$, can be epitaxially grown onto the (0001) surface of BaFe$_{12}$O$_{19}$(BaM), a magnetic insulator with high Curie temperature and large perpendicular anisotropy. In the Bi$_2$Se$_3$ thin films grown on non-magnetic substrates, classic weak antilocalization (WAL) is manifested as cusp-shaped positive magnetoresistance (MR) in perpendicular magnetic fields and parabola-shaped positive MR in parallel fields, whereas in Bi$_{2}$Se$_{3}$/BaM heterostructures the low field MR is parabola-shaped, which is positive in perpendicular fields and negative in parallel fields. The magnetic field and temperature dependence of the MR is explained as a consequence of the suppression of WAL due to strong magnetic interactions at the Bi$_{2}$Se$_{3}$/BaM interface.


title: Some remarks on the Cassinian metric

abstract: Some sharp inequalities between the triangular ratio metric and the Cassinian metric are proved in the unit ball.


title: {\Lambda}CDM cosmology from visible matter only

abstract: We discuss physical interpretation of {\Lambda}CDM cosmology from a Machian model of the universe containing nothing but visible matter (ordinary matter, radiation). The Friedmann equation can be derived from a Machian definition of energy, whereby both kinetic and potential energy of a particle are related to all cosmic matter-energy within the particle's gravitational horizon. The distance to this horizon thus appears as a parameter in all forms of matter-energy density. From conservation of Machian energy it follows that all different types of matter-energy are uniformly characterized by \rho\propto 1/a, i.e., by a constant deceleration q=-1/2. This coincides with relative densities \varOmega_{m}=1/3 and \Omega_{\Lambda}=2/3 of {\Lambda}CDM. Thus the Machian cosmological model matches present relative densities of {\Lambda}CDM, without invoking dark components.


title: From topological strings to minimal models

abstract: We glue four refined topological vertices to obtain the building block of 5D $U(2)$ quiver instanton partition functions. We take the 4D limit of the result to obtain the building block of 4D instanton partition functions which, using the AGT correspondence, are identified with Virasoro conformal blocks. We show that there is a choice of the parameters of the topological vertices that we start with, as well as the parameters and the intermediate states involved in the gluing procedure, such that we obtain Virasoro minimal model conformal blocks.


title: Quasistatic dynamical systems

abstract: We introduce the notion of a quasistatic dynamical system, which generalizes that of an ordinary dynamical system. Quasistatic dynamical systems are inspired by the namesake processes in thermodynamics, which are idealized processes where the observed system transforms (infinitesimally) slowly due to external influence, tracing out a continuous path of thermodynamic equilibria over an (infinitely) long time span. Time-evolution of states under a quasistatic dynamical system is entirely deterministic, but choosing the initial state randomly renders the process a stochastic one. In the prototypical setting where the time-evolution is specified by strongly chaotic maps on the circle, we obtain a description of the statistical behaviour as a stochastic diffusion process, under surprisingly mild conditions on the initial distribution, by solving a well-posed martingale problem. We also consider various admissible ways of centering the process, with the curious conclusion that the "obvious" centering suggested by the initial distribution sometimes fails to yield the expected diffusion.


title: Proceedings Tenth International Workshop on Developments in Computational Models

abstract: This volume contains the papers presented at the Tenth International Workshop on Developments in Computational Models (DCM) held in Vienna, Austria on 13th July 2014, as part of the Vienna Summer of Logic. Several new models of computation have emerged in the last years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems.


title: Proceedings Tenth Workshop on Model Based Testing

abstract: The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves. The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains.


title: Edge of chaos as critical local symmetry breaking in dissipative nonautonomous systems

abstract: The fully nonlinear notion of resonance$-$\textit{geometrical resonance}$-$in the general context of dissipative systems subjected to spatially periodic \textit{phase-modulated} potentials is discussed. It is demonstrated that there is an exact local invariant associated with each geometrical resonance solution which reduces to the system's energy when the potential is stationary. The geometrical resonance solutions represent a \textit{local symmetry} whose critical breaking leads to a new analytical criterion for the onset of chaotic instabilities. This physical criterion is deduced in the co-moving frame from the local energy conservation over the shortest significant timescale. Remarkably, the new physical criterion for the onset of chaotic instabilities is shown to be valid over large regions of parameter space, thus being useful beyond the scope of current mathematical techniques. More importantly, the present theory helps to understand the unreasonable effectiveness of the Melnikov's method beyond the perturbative regime.


title: Currents in metallic rings with quantum dot

abstract: Currents in a metallic ring with a quantum dot are studied in the framework of a Langevin equation for a magnetic flux passing through the ring. Two scenarios are considered: one in which thermal fluctuations of the dissipative part of the current are modelled by classical Johnson-Nyquist noise and one in which quantum character of thermal fluctuations is taken into account in terms of a quantum Smoluchowski equation. The impact of the amplitude and phase of the transmission coefficient of the electron through a quantum dot on current characteristics is analyzed. In tailored parameter regimes, both scenarios can exhibit the transition from para-- to diamagnetic response of the ring current versus external magnetic flux.


title: Weyl n-algebras

abstract: We introduce Weyl n-algebras and show how their factorization homology may be used to define invariants of manifolds. In the appendix we heuristically explain why these invariants must be perturbative Chern-Simons invariants.


title: Coupling to real and virtual phonons in tunneling spectroscopy of superconductors

abstract: Fine structures in the tunneling spectra of superconductors have been widely used to identify fingerprints of the interaction responsible for Cooper pairing. Here we show that for scanning tunneling microscopy (STM) of Pb, the inclusion of inelastic tunneling processes is crucial for the proper interpretation of these fine structures. For STM the usual McMillan inversion algorithm of tunneling spectra must therefore be modified to include inelastic tunneling events, an insight that is crucial for the identification of the pairing glue in conventional and unconventional superconductors alike.


title: A Bayesian framework for verification and recalibration of ensemble forecasts: How uncertain is NAO predictability?

abstract: Predictability estimates of ensemble prediction systems are uncertain due to limited numbers of past forecasts and observations. To account for such uncertainty, this paper proposes a Bayesian inferential framework that provides a simple 6-parameter representation of ensemble forecasting systems and the corresponding observations. The framework is probabilistic, and thus allows for quantifying uncertainty in predictability measures such as correlation skill and signal-to-noise ratios. It also provides a natural way to produce recalibrated probabilistic predictions from uncalibrated ensembles forecasts. The framework is used to address important questions concerning the skill of winter hindcasts of the North Atlantic Oscillation for 1992-2011 issued by the Met Office GloSea5 climate prediction system. Although there is much uncertainty in the correlation between ensemble mean and observations, there is strong evidence of skill: the 95% credible interval of the correlation coefficient of [0.19,0.68] does not overlap zero. There is also strong evidence that the forecasts are not exchangeable with the observations: With over 99% certainty, the signal-to-noise ratio of the forecasts is smaller than the signal-to-noise ratio of the observations, which suggests that raw forecasts should not be taken as representative scenarios of the observations. Forecast recalibration is thus required, which can be coherently addressed within the proposed framework.


title: Data Mining for Prediction of Human Performance Capability in the Software-Industry

abstract: The recruitment of new personnel is one of the most essential business processes which affect the quality of human capital within any company. It is highly essential for the companies to ensure the recruitment of right talent to maintain a competitive edge over the others in the market. However IT companies often face a problem while recruiting new people for their ongoing projects due to lack of a proper framework that defines a criteria for the selection process. In this paper we aim to develop a framework that would allow any project manager to take the right decision for selecting new talent by correlating performance parameters with the other domain-specific attributes of the candidates. Also, another important motivation behind this project is to check the validity of the selection procedure often followed by various big companies in both public and private sectors which focus only on academic scores, GPA/grades of students from colleges and other academic backgrounds. We test if such a decision will produce optimal results in the industry or is there a need for change that offers a more holistic approach to recruitment of new talent in the software companies. The scope of this work extends beyond the IT domain and a similar procedure can be adopted to develop a recruitment framework in other fields as well. Data-mining techniques provide useful information from the historical projects depending on which the hiring-manager can make decisions for recruiting high-quality workforce. This study aims to bridge this hiatus by developing a data-mining framework based on an ensemble-learning technique to refocus on the criteria for personnel selection. The results from this research clearly demonstrated that there is a need to refocus on the selection-criteria for quality objectives.


title: Double obstacle phase field approach to an inverse problem for a discontinuous diffusion coefficient

abstract: We propose a double obstacle phase field approach to the recovery of piece-wise constant diffusion coefficients for elliptic partial differential equations. The approach to this inverse problem is that of optimal control in which we have a quadratic fidelity term to which we add a perimeter regularisation weighted by a parameter sigma. This yields a functional which is optimised over a set of diffusion coefficients subject to a state equation which is the underlying elliptic PDE. In order to derive a problem which is amenable to computation the perimeter functional is relaxed using a gradient energy functional together with an obstacle potential in which there is an interface parameter epsilon. This phase field approach is justified by proving Gamma-convergence to the functional with perimeter regularisation as epsilon tends to zero. The computational approach is based on a finite element approximation. This discretisation is shown to converge in an appropriate way to the solution of the phase field problem. We derive an iterative method which is shown to yield an energy decreasing sequence converging to a discrete critical point. The efficacy of the approach is illustrated with numerical experiments.


title: $^4$He sample probe for combined microwave and dc transport measurements

abstract: Combined microwave and dc electrical transport measurements at low temperatures represent a valuable experimental method in many research areas. In particular, when samples are conventional superconductors, a typical experiment requires a combination of helium temperatures, a wide range of magnetic fields, and the utilization of coaxial lines along with the usual dc wiring. We report on the general design features and the microwave performance of a custom-made low-temperature sample probe, with a measurement bandwidth tested from dc to 20 GHz. Equipped with 6 coaxial cables, a heater, Hall and temperature sensors, the probe fits into a d32 mm shaft. We present our setup, analyze its microwave performance, and describe two representative experiments enabled by this system. The proposed setup will be essential for a systematic study of the dc and ac response of the vortex dynamics in nanopatterned superconductors subject to combined dc and microwave stimuli. Besides, it will be valuable for the investigation of a broad class of nonlinear stochastic systems where a combination of dc and high-frequency ac driving in a wide temperature range is necessary.


title: Dual cut-off dc-tunable microwave low-pass filter on superconducting Nb microstrips with asymmetric nanogrooves

abstract: We present a dual cut-off, dc-tunable low-pass microwave filter on a superconducting Nb microstrip with uniaxial asymmetric nanogrooves. The frequency response of the device was measured in the range $300$\,KHz to $14$\,GHz at different temperatures, magnetic fields, and dc current values. The microwave loss is most effectively reduced when the Abrikosov vortex lattice spatially matches the underlying washboard pinning landscape. The forward transmission coefficient $S_{21}(f)$ of the microstrip has a dc-tunable cut-off frequency $f_d$ which notably changes under dc bias reversal, due to the two different slope steepnesses of the pinning landscape. The device's operation principle relies upon a crossover from the weakly dissipative response of vortices at low frequencies when they are driven over the grooves, to the strongly dissipative response at high frequencies when the vortices are oscillating within one groove. The filter's cut-off frequency is the vortex depinning frequency tunable by the dc bias as it diminishes the pinning effect induced by the nanopattern. The reported results unveil an advanced microwave functionality of superconducting films with asymmetric (ratchet) pinning landscapes and are relevant for tuning the microwave loss in superconducting planar transmission lines.


title: Borel computation of names in template iterations

abstract: We prove that, for a suitable iteration along a template, we can compute any name for a real from a Borel function coded in the ground model evaluated at only countably many of the generic reals.


title: Supersampling and network reconstruction of urban mobility

abstract: Understanding human mobility is of vital importance for urban planning, epidemiology, and many other fields that aim to draw policies from the activities of humans in space. Despite recent availability of large scale data sets related to human mobility such as GPS traces, mobile phone data, etc., it is still true that such data sets represent a subsample of the population of interest, and then might give an incomplete picture of the entire population in question. Notwithstanding the abundant usage of such inherently limited data sets, the impact of sampling biases on mobility patterns is unclear -- we do not have methods available to reliably infer mobility information from a limited data set. Here, we investigate the effects of sampling using a data set of millions of taxi movements in New York City. On the one hand, we show that mobility patterns are highly stable once an appropriate simple rescaling is applied to the data, implying negligible loss of information due to subsampling over long time scales. On the other hand, contrasting an appropriate null model on the weighted network of vehicle flows reveals distinctive features which need to be accounted for. Accordingly, we formulate a "supersampling" methodology which allows us to reliably extrapolate mobility data from a reduced sample and propose a number of network-based metrics to reliably assess its quality (and that of other human mobility models). Our approach provides a well founded way to exploit temporal patterns to save effort in recording mobility data, and opens the possibility to scale up data from limited records when information on the full system is needed.


title: Shifted Poisson and symplectic structures on derived N-stacks

abstract: We show that on a derived Artin N-stack, there is a canonical equivalence between the spaces of n-shifted symplectic structures and non-degenerate n-shifted Poisson structures.


title: A representation of twisted group algebra of symmetric groups on weight subspaces of free associative complex algebra

abstract: Here we consider two algebras, a free unital associative complex algebra (denoted by ${\mathcal{B}}$) equiped with a multiparametric \textbf{\emph{q}}-differential structure and a twisted group algebra (denoted by ${\mathcal{A}(S_{n})}$), with the motivation to represent the algebra ${\mathcal{A}(S_{n})}$ on the (generic) weight subpaces of the algebra ${\mathcal{B}}$. One of the fundamental problems in ${\mathcal{B}}$ is to describe the space of all constants (the elements which are annihilated by all multiparametric partial derivatives). To solve this problem, one needs some special matrices and their factorizations in terms of simpler matrices. A simpler approach is to study first certain canonical elements in the twisted group algebra ${\mathcal{A}(S_{n})}$. Then one can use certain natural representation of ${\mathcal{A}(S_{n})}$ on the weight subspaces of ${\mathcal{B}}$, which are the subject of this paper.


title: MOTChallenge 2015: Towards a Benchmark for Multi-Target Tracking

abstract: In the recent past, the computer vision community has developed centralized benchmarks for the performance evaluation of a variety of tasks, including generic object and pedestrian detection, 3D reconstruction, optical flow, single-object short-term tracking, and stereo estimation. Despite potential pitfalls of such benchmarks, they have proved to be extremely helpful to advance the state of the art in the respective area. Interestingly, there has been rather limited work on the standardization of quantitative benchmarks for multiple target tracking. One of the few exceptions is the well-known PETS dataset, targeted primarily at surveillance applications. Despite being widely used, it is often applied inconsistently, for example involving using different subsets of the available data, different ways of training the models, or differing evaluation scripts. This paper describes our work toward a novel multiple object tracking benchmark aimed to address such issues. We discuss the challenges of creating such a framework, collecting existing and new data, gathering state-of-the-art methods to be tested on the datasets, and finally creating a unified evaluation system. With MOTChallenge we aim to pave the way toward a unified evaluation framework for a more meaningful quantification of multi-target tracking.


title: Tunable magnetism on the lateral mesoscale by post-processing of Co/Pt heterostructures

abstract: Controlling magnetic properties on the nm-scale is essential for basic research in micro-magnetism and spin-dependent transport, as well as for various applications such as magnetic recording, imaging and sensing. This has been accomplished to a very high degree by means of layered heterostructures in the vertical dimension. Here we present a complementary approach that allows for a controlled tuning of the magnetic properties of Co/Pt heterostructures on the lateral mesoscale. By means of in-situ post-processing of Pt- and Co-based nano-stripes prepared by focused electron beam induced deposition (FEBID) we are able to locally tune their coercive field and remanent magnetization. Whereas single Co-FEBID nano-stripes show no hysteresis, we find hard-magnetic behavior for post-processed Co/Pt nano-stripes with coercive fields up to 850 Oe. We attribute the observed effects to the locally controlled formation of the CoPt L1$_{0}$ phase, whose presence has been revealed by transmission electron microscopy.


title: About Bifurcational Parametric Simplification

abstract: A concept of "critical" simplification was proposed by Yablonsky and Lazman in 1996 for the oxidation of carbon monoxide over a platinum catalyst using a Langmuir-Hinshelwood mechanism. The main observation was a simplification of the mechanism at ignition and extinction points. The critical simplification is an example of a much more general phenomenon that we call \emph{a bifurcational parametric simplification}. Ignition and extinction points are points of equilibrium multiplicity bifurcations, i.e., they are points of a corresponding bifurcation set for parameters. Any bifurcation produces a dependence between system parameters. This is a mathematical explanation and/or justification of the "parametric simplification". It leads us to a conjecture that "maximal bifurcational parametric simplification" corresponds to the "maximal bifurcation complexity." This conjecture can have practical applications for experimental study, because at points of "maximal bifurcation complexity" the number of independent system parameters is minimal and all other parameters can be evaluated analytically or numerically. We illustrate this method by the case of the simplest possible bifurcation, that is a multiplicity bifurcation of equilibrium and we apply this analysis to the Langmuir mechanism. Our analytical study is based on a coordinate-free version of the method of invariant manifolds (proposed recently in 2006 ). As a result we obtain a more accurate description of the "critical (parametric) simplifications." With the help of the "bifurcational parametric simplification" kinetic mechanisms and reaction rate parameters may be readily identified from a monoparametric experiment (reaction rate vs. reaction parameter).


title: Post-growth purification of Co nanostructures prepared by focused electron beam induced deposition

abstract: In the majority of cases nanostructures prepared by focused electron beam induced deposition (FEBID) employing an organometallic precursor contain predominantly carbon-based ligand dissociation products. This is unfortunate with regard to using this high-resolution direct-write approach for the preparation of nanostructures for various fields, such as mesoscopic physics, micromagnetism, electronic correlations, spin-dependent transport and numerous applications. Here we present an in-situ cleaning approach to obtain pure Co-FEBID nanostructures. The purification procedure lies in the exposure of heated samples to a H$_2$ atmosphere in conjunction with the irradiation by low-energy electrons. The key finding is that the combination of annealing at $300^\circ$C, H$_2$ exposure and electron irradiation leads to compact, carbon- and oxygen free Co layers down to a thickness of about 20\,nm starting from as-deposited Co-FEBID structures. In addition to this, in temperature-dependent electrical resistance measurements on post-processed samples we find a typical metallic behavior. In low-temperature magneto-resistance and Hall effect measurements we observe ferromagnetic behavior.


title: Orthogonal Polynomials appearing in SIE grid representations

abstract: We show in this article how orthogonal polynomials appear in certain representations of grid shaped quivers. After a short introduction into the general notion of quivers and their representations by linear operators we define the notion of an SIE quiver representation: All intrinsic endomorphisms arising from circuits in the quiver act as scalar multipliers. We then present several lemmas that ensure this SIE property of a quiver representation. Ladder commutator conditions and certain diagram commutativity "up to scalar multiples" play a central role. The theory will then be applied to three examples. Extensive calculations shows how Associated Laguerre, Legendre--Gegenbauer polynomials and binomial distributions fit into the framework of grid shaped SIE quivers. One can see, that this algebraic point of view is foundational for orthogonal polynomials and special functions.


title: K\"ahler-Einstein metrics: from cones to cusps

abstract: In this note, we prove that on a compact K\"ahler manifold $X$ carrying a smooth divisor $D$ such that $K_X+D$ is ample, the K\"ahler-Einstein cusp metric is the limit (in a strong sense) of the K\"ahler-Einstein conic metrics when the cone angle goes to $0$. We further investigate the boundary behavior of those and prove that the rescaled metrics converge to a cylindrical metric on $\mathbb C^*\times \mathbb C^{n-1}$.


title: Cheating is evolutionarily assimilated with cooperation in the continuous snowdrift game

abstract: It is well known that in contrast to the Prisoner's Dilemma, the snowdrift game can lead to a stable coexistence of cooperators and cheaters. Recent theoretical evidence on the snowdrift game suggests that gradual evolution for individuals choosing to contribute in continuous degrees can result in the social diversification to a 100% contribution and 0% contribution through so-called evolutionary branching. Until now, however, game-theoretical studies have shed little light on the evolutionary dynamics and consequences of the loss of diversity in strategy. Here we analyze continuous snowdrift games with quadratic payoff functions in dimorphic populations. Subsequently, conditions are clarified under which gradual evolution can lead a population consisting of those with 100% contribution and those with 0% contribution to merge into one species with an intermediate contribution level. The key finding is that the continuous snowdrift game is more likely to lead to assimilation of different cooperation levels rather than maintenance of diversity. Importantly, this implies that allowing the gradual evolution of cooperative behavior can facilitate social inequity aversion in joint ventures that otherwise could cause conflicts that are based on commonly accepted notions of fairness.


title: A lower bound on the order of the largest induced forest in planar graphs with high girth

abstract: We give here new upper bounds on the size of a smallest feedback vertex set in planar graphs with high girth. In particular, we prove that a planar graph with girth $g$ and size $m$ has a feedback vertex set of size at most $\frac{4m}{3g}$, improving the trivial bound of $\frac{2m}{g}$. We also prove that every $2$-connected graph with maximum degree $3$ and order $n$ has a feedback vertex set of size at most $\frac{n+2}{3}$.


title: Le Her and Other Problems in Probability Discussed by Bernoulli, Montmort and Waldegrave

abstract: Part V of the second edition of Pierre R\'{e}mond de Montmort's Essay d'analyse sur les jeux de hazard published in 1713 contains correspondence on probability problems between Montmort and Nicolaus Bernoulli. This correspondence begins in 1710. The last published letter, dated November 15, 1713, is from Montmort to Nicolaus Bernoulli. There is some discussion of the strategy of play in the card game Le Her and a bit of news that Montmort's friend Waldegrave in Paris was going to take care of the printing of the book. From earlier correspondence between Bernoulli and Montmort, it is apparent that Waldegrave had also analyzed Le Her and had come up with a mixed strategy as a solution. He had also suggested working on the "problem of the pool," or what is often called Waldegrave's problem. The Universit\"{a}tsbibliothek Basel contains an additional forty-two letters between Bernoulli and Montmort written after 1713, as well as two letters between Bernoulli and Waldegrave. The letters are all in French, and here we provide translations of key passages. The trio continued to discuss probability problems, particularly Le Her which was still under discussion when the Essay d'analyse went to print. We describe the probability content of this body of correspondence and put it in its historical context. We also provide a proper identification of Waldegrave based on manuscripts in the Archives nationales de France in Paris.


title: Magnetic and nonmagnetic phases in doped AB2 t-J Hubbard chains

abstract: We discuss the rich phase diagram of doped AB2 $t-J$ chains by using data from density matrix renormalization group and exact diagonalization techniques. The $J$ vs $\delta$ (hole doping) phase diagram exhibits regions of itinerant ferrimagnetism, incommensurate, resonating valence bond and Nagaoka states, phase separation, and Luttinger liquid (LL) physics. Several features are highlighted, such as the modulated ferrimagnetic structure, the occurrence of Nagaoka spin polarons in the underdoped regime and small values of $J=4t^2/U$, where $t$ is the first-neighbor hopping amplitude and $U$ is the on-site repulsive Coulomb interaction, incommensurate structures with nonzero magnetization, and strong-coupling LL physics in the high-doped regime. We also verify that relevant findings are in agreement with the corresponding findings in square and n-leg ladder lattices. In particular, we mention the instability of Nagaoka ferromagnetism against $J$ and $\delta$.


title: TRIQS: A Toolbox for Research on Interacting Quantum Systems

abstract: We present the TRIQS library, a Toolbox for Research on Interacting Quantum Systems. It is an open-source, computational physics library providing a framework for the quick development of applications in the field of many-body quantum physics, and in particular, strongly-correlated electronic systems. It supplies components to develop codes in a modern, concise and efficient way: e.g. Green's function containers, a generic Monte Carlo class, and simple interfaces to HDF5. TRIQS is a C++/Python library that can be used from either language. It is distributed under the GNU General Public License (GPLv3). State-of-the-art applications based on the library, such as modern quantum many-body solvers and interfaces between density-functional-theory codes and dynamical mean-field theory (DMFT) codes are distributed along with it.


title: Structure Preserving Discretizations of the Liouville Equation and their Numerical Tests

abstract: The main purpose of this article is to show how symmetry structures in partial differential equations can be preserved in a discrete world and reflected in difference schemes. Three different structure preserving discretizations of the Liouville equation are presented and then used to solve specific boundary value problems. The results are compared with exact solutions satisfying the same boundary conditions. All three discretizations are on four point lattices. One preserves linearizability of the equation, another the infinite-dimensional symmetry group as higher symmetries, the third one preserves the maximal finite-dimensional subgroup of the symmetry group as point symmetries. A 9-point invariant scheme that gives a better approximation of the equation, but significantly worse numerical results for solutions is presented and discussed.


title: Image Subset Selection Using Gabor Filters and Neural Networks

abstract: An automatic method for the selection of subsets of images, both modern and historic, out of a set of landmark large images collected from the Internet is presented in this paper. This selection depends on the extraction of dominant features using Gabor filtering. Features are selected carefully from a preliminary image set and fed into a neural network as a training data. The method collects a large set of raw landmark images containing modern and historic landmark images and non-landmark images. The method then processes these images to classify them as landmark and non-landmark images. The classification performance highly depends on the number of candidate features of the landmark.


title: Estimating Structural Mean Models with Multiple Instrumental Variables Using the Generalised Method of Moments

abstract: Instrumental variables analysis using genetic markers as instruments is now a widely used technique in epidemiology and biostatistics. As single markers tend to explain only a small proportion of phenotypic variation, there is increasing interest in using multiple genetic markers to obtain more precise estimates of causal parameters. Structural mean models (SMMs) are semiparametric models that use instrumental variables to identify causal parameters. Recently, interest has started to focus on using these models with multiple instruments, particularly for multiplicative and logistic SMMs. In this paper we show how additive, multiplicative and logistic SMMs with multiple orthogonal binary instrumental variables can be estimated efficiently in models with no further (continuous) covariates, using the generalised method of moments (GMM) estimator. We discuss how the Hansen J-test can be used to test for model misspecification, and how standard GMM software routines can be used to fit SMMs. We further show that multiplicative SMMs, like the additive SMM, identify a weighted average of local causal effects if selection is monotonic. We use these methods to reanalyse a study of the relationship between adiposity and hypertension using SMMs with two genetic markers as instruments for adiposity. We find strong effects of adiposity on hypertension.


title: Infimal convolution regularisation functionals of BV and $\mathrm{L}^{p}$ spaces. Part I: The finite $p$ case

abstract: We study a general class of infimal convolution type regularisation functionals suitable for applications in image processing. These functionals incorporate a combination of the total variation ($\mathrm{TV}$) seminorm and $\mathrm{L}^{p}$ norms. A unified well-posedness analysis is presented and a detailed study of the one dimensional model is performed, by computing exact solutions for the corresponding denoising problem and the case $p=2$. Furthermore, the dependency of the regularisation properties of this infimal convolution approach to the choice of $p$ is studied. It turns out that in the case $p=2$ this regulariser is equivalent to Huber-type variant of total variation regularisation. We provide numerical examples for image decomposition as well as for image denoising. We show that our model is capable of eliminating the staircasing effect, a well-known disadvantage of total variation regularisation. Moreover as $p$ increases we obtain almost piecewise affine reconstructions, leading also to a better preservation of hat-like structures.


title: Video Contents Prior Storing Server for Optical Access Network

abstract: One of the most important multimedia applications is Internet protocol TV (IPTV) for next-generation networks. IPTV provides triple-play services that require high-speed access networks with the functions of multicasting and quality of service (QoS) guarantees. Among optical access networks, Ethernet passive optical networks (EPONs) are regarded as among the best solutions to meet higher bandwidth demands. In this paper, we propose a new architecture for multicasting live IPTV traffic in optical access network. The proposed mechanism involves assigning a unique logical link identifier to each IPTV channel. To manage multicasting, a prior storing server in the optical line terminal (OLT) and in each optical network unit (ONU) is constructed. In this work, we propose a partial prior storing strategy that considers the changes in the popularity of the video content segments over time and the access patterns of the users to compute the utility of the objects in the prior storage. We also propose to partition the prior storage to avoid the eviction of the popular objects (those not accessed frequently) by the unpopular ones which are accessed with higher frequency. The popularity distribution and ageing of popularity are measured from two online datasets and use the parameters in simulations. Simulation results show that our proposed architecture can improve the system performance and QoS parameters in terms of packet delay, jitter and packet loss.


title: Temporal characterization of individual harmonics of an attosecond pulse train by THz streaking

abstract: We report on the global temporal pulse characteristics of individual harmonics in an attosecond pulse train by means of photo-electron streaking in a strong low-frequency transient. The scheme allows direct retrieval of pulse durations and first order chirp of individual harmonics without the need of temporal scanning. The measurements were performed using an intense THz field generated by tilted phase front technique in LiNbO_3 . Pulse properties for harmonics of order 23, 25 and 27 show that the individual pulse durations and linear chirp are decreasing by the harmonic order.


title: Parametrizing linear generalized Langevin dynamics from explicit molecular dynamics simulations

abstract: Fundamental understanding of complex dynamics in many-particle systems on the atomistic level is of utmost importance. Often the systems of interest are of macroscopic size but can be partitioned into few important degrees of freedom which are treated most accurately and others which constitute a thermal bath. Particular attention in this respect attracts the linear generalized Langevin equation (GLE), which can be rigorously derived by means of a linear projection (LP) technique. Within this framework a complicated interaction with the bath can be reduced to a single memory kernel. This memory kernel in turn is parametrized for a particular system studied, usually by means of time-domain methods based on explicit molecular dynamics data. Here we discuss that this task is most naturally achieved in frequency domain and develop a Fourier-based parametrization method that outperforms its time-domain analogues. Very surprisingly, the widely used rigid bond method turns out to be inappropriate in general. Importantly, we show that the rigid bond approach leads to a systematic underestimation of relaxation times, unless the system under study consists of a harmonic bath bi-linearly coupled to the relevant degrees of freedom.


title: 2-Selmer Parity for Hyperelliptic Curves in Quadratic Extensions

abstract: We study the 2-parity conjecture for Jacobians of hyperelliptic curves over number fields. Under some mild assumptions on their reduction, we prove the conjecture over quadratic extensions of the base field. The proof proceeds via a generalisation of a formula of Kramer and Tunnell relating local invariants of the curve, which may be of independent interest. A new feature of this generalisation is the appearance of terms which govern whether or not the Cassels--Tate pairing on the Jacobian is alternating, which first appeared in work of Poonen--Stoll. We establish the local formula in many instances and show that in remaining cases it follows from standard global conjectures.


title: Quantum dynamics of scalar bosons in a cosmic string background

abstract: The quantum dynamics of scalar bosons embedded in the background of a cosmic string is considered. In this work, scalar bosons are described by the Duffin-Kemmer-Petiau (DKP) formalism. In particular, the effects of this topological defect in the equation of motion, energy spectrum and DKP spinor are analyzed and discussed in details. The exact solutions for the DKP oscillator in this background are presented in a closed form.


title: On the Spectral Gap of a Quantum Graph

abstract: We consider the problem of finding universal bounds of "isoperimetric" or "isodiametric" type on the spectral gap of the Laplacian on a metric graph with natural boundary conditions at the vertices, in terms of various analytical and combinatorial properties of the graph: its total length, diameter, number of vertices and number of edges. We investigate which combinations of parameters are necessary to obtain non-trivial upper and lower bounds and obtain a number of sharp estimates in terms of these parameters. We also show that, in contrast to the Laplacian matrix on a combinatorial graph, no bound depending only on the diameter is possible. As a special case of our results on metric graphs, we deduce estimates for the normalised Laplacian matrix on combinatorial graphs which, surprisingly, are sometimes sharper than the ones obtained by purely combinatorial methods in the graph theoretical literature.


title: Quantum state reconstruction on Atom-Chips

abstract: We realize on an Atom-Chip a practical, experimentally undemanding, tomographic reconstruction algorithm relying on the time-resolved measurements of the atomic population distribution among atomic internal states. More specifically, we estimate both the state density matrix as well as the dephasing noise present in our system by assuming complete knowledge of the Hamiltonian evolution. The proposed scheme is based on routinely performed measurements and established experimental procedures, hence providing a simplified methodology for quantum technological applications.


title: A Robust Approximation to a Lambert-Type Function

abstract: The function $y = g(x) = \mathrm{log}\big(W(e^x)\big)$, where $W()$ denotes the Lambert W function, is the solution to the equation $y + e^y = x$. It appears in various problem situations, for instance the calculation of current-voltage curves for solar cells. A direct calculation of $g(x)$ may be inaccurate because of arithmetic underflow or overflow. We present a simple algorithm for calculating $g(x)$ that is robust, in that it will work for almost all $x$ values which are representable in the arithmetic of one's chosen computer language. The algorithm does not assume that the chosen computer language implements the Lambert W function.


title: Measurements and TCAD simulation of novel ATLAS planar pixel detector structures for the HL-LHC upgrade

abstract: The LHC accelerator complex will be upgraded between 2020-2022, to the High-Luminosity-LHC, to considerably increase statistics for the various physics analyses. To operate under these challenging new conditions, and maintain excellent performance in track reconstruction and vertex location, the ATLAS pixel detector must be substantially upgraded and a full replacement is expected. Processing techniques for novel pixel designs are optimised through characterisation of test structures in a clean room and also through simulations with Technology Computer Aided Design (TCAD). A method to study non-perpendicular tracks through a pixel device is discussed. Comparison of TCAD simulations with Secondary Ion Mass Spectrometry (SIMS) measurements to investigate the doping profile of structures and validate the simulation process is also presented.


title: Electronic Spectra from TDDFT and Machine Learning in Chemical Space

abstract: Due to its favorable computational efficiency time-dependent (TD) density functional theory (DFT) enables the prediction of electronic spectra in a high-throughput manner across chemical space. Its predictions, however, can be quite inaccurate. We resolve this issue with machine learning models trained on deviations of reference second-order approximate coupled-cluster singles and doubles (CC2) spectra from TDDFT counterparts, or even from DFT gap. We applied this approach to low-lying singlet-singlet vertical electronic spectra of over 20 thousand synthetically feasible small organic molecules with up to eight CONF atoms. The prediction errors decay monotonously as a function of training set size. For a training set of 10 thousand molecules, CC2 excitation energies can be reproduced to within $\pm$0.1 eV for the remaining molecules. Analysis of our spectral database via chromophore counting suggests that even higher accuracies can be achieved. Based on the evidence collected, we discuss open challenges associated with data-driven modeling of high-lying spectra, and transition intensities.


title: A mean value of the representation function for the sum of two primes in arithmetic progressions

abstract: In this note, assuming a variant of the Generalized Riemann Hypothesis, which does not exclude the existence of real zeros, we prove an asymptotic formula for the mean value of the representation function for the sum of two primes in arithmetic progressions. This is an improvement of the result of F. R\"uppel in 2009, and the generalization of the result of A. Languasco and A. Zaccagnini concerning the ordinary Goldbach problem in 2012.


title: Spin Selective Filtering of Polariton Condensate Flow

abstract: Spin-selective spatial filtering of propagating polariton condensates, using a controllable spin-dependent gating barrier, in a one-dimensional semiconductor microcavity ridge waveguide is reported. A nonresonant laser beam provides the source of propagating polaritons while a second circularly polarized weak beam imprints a spin dependent potential barrier, which gates the polariton flow and generates polariton spin currents. A complete spin-based control over the blocked and transmitted polaritons is obtained by varying the gate polarization.


title: Efficient Dual Spin-Valley Filter In Strained Silicene

abstract: We propose a highly efficient silicene device for dual spin and valley filtering. The device consists of two different barrier regions: the first is a region under uniaxial strain, with an exchange field induced by adjacent top and bottom magnetic insulators, while the second comprises of two ferromagnetic stripes which produces a delta-function fringe magnetic field, and a gate electrode to modify the electrochemical potential. For the first region, we investigated the effect of the uniaxial strain in inducing angular separation of the two valley spins in momentum-space, and further spin separation by the spin dependent electric potential induced by the exchange field. We then evaluated the delta-function magnetic field and electrochemical potential combination in the second region to yield the transverse displacement for the selection of the requisite spin-valley combination. We demonstrated the optimal conditions in the first barrier to induce a highly anisotropic transmission profile, which enables controllable and efficient filtering (> 90% efficiency) by the second region for all four spin-valley combinations. Based on the analytical results, we predict the feasibility of experimental realization of dual spin-valley silicene-based filtering device.


title: Testing the Kerr Nature of Black Hole Candidates using Iron Line Spectra in the CPR Framework

abstract: The iron K$\alpha$ line commonly observed in the X-ray spectrum of both stellar-mass and supermassive black hole candidates originates from X-ray fluorescence of the inner accretion disk. Accordingly, it can be used to map the spacetime geometry around these objects. In this paper, we extend previous work using the iron K$\alpha$ line to test the Kerr black hole hypothesis. We adopt the Cardoso-Pani-Rico parametrization and we test the possibility of constraining possible deviations from the Kerr solution that can be obtained from observations across the range of black hole spins and inclination angles. We confirm previous claims that the iron K$\alpha$ line is potentially a quite powerful probe for testing the Kerr metric given sufficiently high quality data and with systematics under control, especially in the case of fast-rotating black holes and high inclination angles since both conditions serve to maximize relativistic effects. We find that some geometric perturbations from Kerr geometry manifest more strongly in the iron line profile than others. While the perturbation parameter $\epsilon^t_3$ can be well constrained by the iron line profile, an orthogonal data set is necessary to constrain departures from Kerr geometry in $\epsilon^r_3$.


title: Topological States on the Gold Surface

abstract: Gold surfaces host special electronic states that have been understood as a prototype of Shockley surface states (SSs). These SSs are commonly employed to benchmark the capability of angle-resolved photoemission spectroscopy (ARPES) and scanning tunneling spectroscopy. We find that these Shockley SSs can be reinterpreted as topologically derived surface states (TDSSs) of a topological insulator (TI), a recently discovered quantum state. Based on band structure calculations, the Z2 topological invariant can be well defined to characterize the nontrivial features of gold that we detect by ARPES. The same TDSSs are also recognized on surfaces of other well-known noble metals (e.g., silver, copper, platinum, and palladium). Besides providing a new understanding of noble metal SSs, finding topological states on late transition metals provokes interesting questions on the role of topological effects in surface-related processes, such as adsorption and catalysis.


title: Notes on orbit and spin tracking in an electrostatic storage ring

abstract: Two documents have recently been posted on the arXiv describing a numerical integration algorithm: "symplectic orbit/spin tracking code for all-electric storage rings" [1] and some computational results therefrom [2]. This note comments critically on some of the claims in [1] and [2]. In particular, it is not clear that the orbit tracking algorithm described in [1] is really symplectic. Specifically, for electrostatic beamline elements, the so-called "zero length elements," which are treated as position dependent kicks in the formalism in [1], are in fact {\em not} symplectic.


title: Existence results in dislocation based rate-independent isotropic gradient plasticity with kinematical hardening and plastic spin: The case with symmetric local backstress

abstract: In this paper we use convex analysis and variational inequality methods to establish an existence result for a model of infinitesimal rate-independent gradient plasticity with kinematic hardening and plastic spin, in which the local backstress tensor remains symmetric. The model features a defect energy contribution which is quadratic in the dislocation density tensor Curl p, giving rise to nonlocal non-symmetric kinematic hardening. Use is made of a recently established Korn's type inequality for incompatible tensor fields. The solution space for the non-symmetric plastic distortion is naturally H(Curl) together with suitable tangential boundary conditions on the plastic distortion. Connections to other models are established as well.


title: Secure two-party quantum computation for non-rational and rational settings

abstract: Since the negative result of Lo (Physical Review A, 1997), it has been left open whether there exist some functions that can be securely computed in two-party setting in quantum domain when one of the parties is malicious. In this paper, we for the first time, show that there are some functions for which secure two-party quantum computation is indeed possible for non-simultaneous channel model. This is in sharp contrast with the impossibility result of Ben -Or et al. (FOCS, 2006) in broadcast channel model. The functions we study are of two types - one is any function without an embedded XOR, and the other one is a particular function containing an embedded XOR. Contrary to classical solutions, security against adversaries with unbounded power of computation is achieved by the quantum protocols due to entanglement. Further, in the context of secure multi-party quantum computation, for the first time we introduce rational parties, each of whom tries to maximize its utility by obtaining the function output alone. We adapt our quantum protocols for both the above types of functions in rational setting to achieve fairness and strict Nash equilibrium.


title: On the b-chromatic number of the Cartesian product of two complete graphs

abstract: A b-coloring of a graph $G$ is a coloring of its vertices such that every color class contains a vertex that has neighbors in all other classes. The b-chromatic number of $G$ is the largest integer $k$ such that $G$ has a b-coloring with $k$ colors. Javadi and Omoomi ("On b-coloring of cartesian product of graphs", Ars Combinatoria 107 (2012) 521-536) proved that the b-chromatic number of $K_n \times K_n$ (the Cartesian product of two complete graphs on $n$ vertices) is in the set $\{2n-3, 2n-2\}$ and conjectured that the exact value is $2n-3$ for all $n \ge 5$. We give counterexamples to this conjecture for $n=5$, $n=6$ and $n=7$.


title: On the (K.2) supercongruence of Van Hamme

abstract: We prove the last remaining case of the original 13 Ramanujan-type supercongruence conjectures due to Van Hamme from 1997. The proof utilizes classical congruences and a WZ pair due to Guillera. Additionally, we mention some future directions concerning this type of supercongruence.


title: Proofs of Technical Results Justifying and Illustrating an Algorithm of Navigation for Monitoring Unsteady Environmental Boundaries

abstract: We consider a single non-holonomic Dubins-like robot traveling with a constant longitudinal speed in an a priori unknown and unsteady planar environment. The robot should detect, locate, and track the boundary of a dynamic environmental scalar field. The field is measured by an on-board sensor in a point-wise fashion at the robot's location. The focus is on unsteady boundaries that evolve over time in an arbitrary fashion, including deformations, i.e., changes of shapes and sizes. We present a sliding mode control method for localizing and tracking such boundaries: the robot is steered to the boundary and circulates in its close proximity afterwards. The proposed control algorithm does not require estimation of the spatial gradient of the field and is non-demanding with respect to both computation and motion. The paper offers the proofs of technical facts required for rigorous justification of non-local convergence of the proposed control law, as well as theoretical illustrations of its performance in specific scenarios.


title: A simplified view of blazars: contribution to the X-ray and gamma-ray cosmic backgrounds

abstract: The "blazar simplified view" is a new paradigm that explains well the diverse statistical properties of blazars observed over the entire electromagnetic spectrum on the basis of minimal assumptions on blazars' physical and geometrical properties. In this paper, the fourth in a series, we extend the predictions of this paradigm below the sensitivity of existing surveys and estimate the contribution of blazars to the X-ray and gamma-ray extragalactic backgrounds. We find that the integrated light from blazars can explain up to 100% of the cosmic background at energies larger than ~10 GeV, and contribute ~40 to 70% of the gamma-ray diffuse radiation between 100 MeV and 10 GeV. The contribution of blazars to the X-ray background, between 1 and 50 keV, is approximately constant and of the order of 4-5%. On the basis of an interpolation between the estimated flux at X-ray and gamma-ray energies we can expect that the contribution of blazars raises to ~10% at 100 keV, and continues to increase with energy until it becomes the dominant component at a few MeV. Finally, we show that a strong dependence of the synchrotron peak frequency on luminosity, as postulated by the "blazar sequence", is ruled out by the observational data as it predicts a gamma-ray background above a few GeV that is far in excess of the observed value.


title: On realizations of Pachner moves in 4D

abstract: The combinatorial structure of Pachner moves in four dimensions is analyzed in the case of a distinguished move of the type (3,3) and few examples of solutions are reviewed. In particular, solutions associated to Pontryagin self-dual locally compact abelian groups are characterized with remarkable symmetry properties which, in the case of finite abelian groups, give rise to a simple model of combinatorial TQFT with corners in four dimensions.


title: Disorder Enhanced Nuclear Spin Relaxation at Landau Level Filling Factor One

abstract: The nuclear spin relaxation rate (1/$T_1$) is measured for GaAs two-dimensional electron systems in the quantum Hall regime with an all-electrical technique for agitating and probing the nuclear spins. A "tilted plateau" feature is observed near the Landau level filling factor $\nu=1$ in 1/$T_1$ versus $\nu$. Both width and magnitude of the plateau increase with decreasing electron density. At low temperatures, 1/$T_1$ exhibits an Arrhenius temperature dependence within the tilted plateau regime. The extracted energy gaps are up to two orders of magnitude smaller than the corresponding charge transport gaps. These results point to a nontrivial mechanism for the disorder enhanced nuclear spin relaxation, in which microscopic inhomogeneities play a key role for the low energy spin excitations related to skyrmions.


title: On the uniqueness of quasihyperbolic geodesics

abstract: In this work we solve a couple of well known open problems related to the quasihyperbolic metric. In the case of planar domains, our first main result states that quasihyperbolic geodesics are unique in simply connected domains. As the second main result, we prove that for an arbitrary plane domain the geodesics are unique for all pairs of points with quasihyperbolic distance less than $\pi$. This bound is sharp and improves the best known bound. Concerning the $n$-dimensional case, we prove the existence of a universal constant $c$ (independent of dimension) such that any quasihyperbolic ball with radius less than $c$ is convex.


title: Adaptive Diffusion Schemes for Heterogeneous Networks

abstract: In this paper, we deal with distributed estimation problems in diffusion networks with heterogeneous nodes, i.e., nodes that either implement different adaptive rules or differ in some other aspect such as the filter structure or length, or step size. Although such heterogeneous networks have been considered from the first works on diffusion networks, obtaining practical and robust schemes to adaptively adjust the combiners in different scenarios is still an open problem. In this paper, we study a diffusion strategy specially designed and suited to heterogeneous networks. Our approach is based on two key ingredients: 1) the adaptation and combination phases are completely decoupled, so that network nodes keep purely local estimations at all times; and 2) combiners are adapted to minimize estimates of the network mean-square-error. Our scheme is compared with the standard Adapt-then-Combine scheme and theoretically analyzed using energy conservation arguments. Several experiments involving networks with heterogeneous nodes show that the proposed decoupled Adapt-then-Combine approach with adaptive combiners outperforms other state-of-the-art techniques, becoming a competitive approach in these scenarios.


title: Degenerations of Abelian Differentials

abstract: Consider degenerations of Abelian differentials with prescribed number and multiplicity of zeros and poles. Motivated by the theory of limit linear series, we define twisted canonical divisors on pointed nodal curves to study degenerate differentials, give dimension bounds for their moduli spaces, and establish smoothability criteria. As applications, we show that the spin parity of holomorphic and meromorphic differentials extends to distinguish twisted canonical divisors in the locus of stable pointed curves of pseudocompact type. We also justify whether zeros and poles on general curves in a stratum of differentials can be Weierstrass points. Moreover, we classify twisted canonical divisors on curves with at most two nodes in the minimal stratum in genus three. Our techniques combine algebraic geometry and flat geometry. Their interplay is a main flavor of the paper.


title: Spin squeezing of the non-Hermitian one-axis twisting model

abstract: In the absence of decay, the conditional dynamics for an opensystem is often describable by a non-Hermitian Hamiltonian. This study investigates spin squeezing (SS) in non-Hermitian one-axis twisting (OAT) model. Somewhat surprisingly, SS close to the limit of Hermitian two-axis counter twisting (TACT) Hamiltonian is achievable for some parameters, which significantly improves upon the optimal value realizable by Hermitian OAT model. The drawback is like with all conditional schemes, it takes on average longer time to evolve into steady state, and the probability of no decay or success decreases as number of atoms (spins) increases. The result above for steady state SS in non-Hermitian OAT Hamiltonian is thus limited to small systems. For other parameter regimes, however, desirable SS arrives dynamically before steady state is achieved, with greatly shortened evolution time and enhanced probability of success, while still remain significantly improved over the limit of Hermitian OAT.


title: Covariance models on the surface of a sphere: when does it matter?

abstract: There is a growing interest in developing covariance functions for processes on the surface of a sphere due to wide availability of data on the globe. Utilizing the one-to-one mapping between the Euclidean distance and the great circle distance, isotropic and positive definite functions in a Euclidean space can be used as covariance functions on the surface of a sphere. This approach, however, may result in physically unrealistic distortion on the sphere especially for large distances. We consider several classes of parametric covariance functions on the surface of a sphere, defined with either the great circle distance or the Euclidean distance, and investigate their impact upon spatial prediction. We fit several isotropic covariance models to simulated data as well as real data from NCEP/NCAR reanalysis on the sphere. We demonstrate that covariance functions originally defined with the Euclidean distance may not be adequate for some global data.


title: The Flanders theorem over division rings

abstract: Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the $\mathbb{F}$-vector space $M_{n,p}(\mathbb{D})$ in which every matrix has rank less than or equal to $r$. Using a new method, we prove that $\dim_{\mathbb{F}} \mathcal{V} \leq \max(n,p)\,rd$ and we characterize the spaces for which equality holds. This extends a famous theorem of Flanders which was known only for fields.


title: Designing a Linked Data Migrational Framework for Singapore Government Datasets

abstract: The subject area of this report is Linked Data and its application to the Government domain. Linked Data is an alternative method of data representation that aims to interlink data from varied sources through relationships. Governments around the world have started publishing their data in this format to assist citizens in making better use of public services. This report provides an eight step migrational framework for converting Singapore Government data from legacy systems to Linked Data format. The framework formulation is based on a study of the Singapore data ecosystem with help from Infocomm Development Authority (iDA) of Singapore. Each step in the migrational framework has been constructed with objectives, recommendations, best practices and issues with entry and exit points. This work builds on the existing Linked Data literature, implementations in other countries and cookbooks provided by Linked Data researchers. iDA can use this report to gain an understanding of the effort and work involved in the implementation of Linked Data system on top of their legacy systems. The framework can be evaluated by building a Proof of Concept (POC) application.


title: A generalized model for optimal transport of images including dissipation and density modulation

abstract: In this paper the optimal transport and the metamorphosis perspectives are combined. For a pair of given input images geodesic paths in the space of images are defined as minimizers of a resulting path energy. To this end, the underlying Riemannian metric measures the rate of transport cost and the rate of viscous dissipation. Furthermore, the model is capable to deal with strongly varying image contrast and explicitly allows for sources and sinks in the transport equations which are incorporated in the metric related to the metamorphosis approach by Trouv\'e and Younes. In the non-viscous case with source term existence of geodesic paths is proven in the space of measures. The proposed model is explored on the range from merely optimal transport to strongly dissipative dynamics. For this model a robust and effective variational time discretization of geodesic paths is proposed. This requires to minimize a discrete path energy consisting of a sum of consecutive image matching functionals. These functionals are defined on corresponding pairs of intensity functions and on associated pairwise matching deformations. Existence of time discrete geodesics is demonstrated. Furthermore, a finite element implementation is proposed and applied to instructive test cases and to real images. In the non-viscous case this is compared to the algorithm proposed by Benamou and Brenier including a discretization of the source term. Finally, the model is generalized to define discrete weighted barycentres with applications to textures and objects.


title: Pixel-wise Deep Learning for Contour Detection

abstract: We address the problem of contour detection via per-pixel classifications of edge point. To facilitate the process, the proposed approach leverages with DenseNet, an efficient implementation of multiscale convolutional neural networks (CNNs), to extract an informative feature vector for each pixel and uses an SVM classifier to accomplish contour detection. In the experiment of contour detection, we look into the effectiveness of combining per-pixel features from different CNN layers and verify their performance on BSDS500.


title: Infrared Solar Energy Harvesting using Nano-Rectennas

abstract: Rectennas formed from nanodipole antennas terminated by plasmonic metal-insulator-metal (MIM) travelling wave transmission line rectifiers are developed for ambient thermal energy harvesting at 30 THz. The transmission lines are formed from two strips coupled either vertically or laterally. A systematic design approach is presented, that shows how different components can be integrated with each other with maximum radiation receiving nantenna efficiency, maximum coupling efficiency between nantenna and rectifier, and maximum MIM diode rectifier efficiency. The tunneling current of the rectifier is calculated using the transfer matrix method (TMM) and the nonequilibrium Green's function (NEGF). The figures of merit of the rectifier are analyzed, and the effect of the metals and insulator choices on these merits is investigated. A detailed parametric study of the coupled strips plasmonic transmission lines is presented and thoroughly discussed. The overall efficiencies of the proposed travelling wave rectennas are fully expressed and compared. Due to the extremely small spacing between its two strips, the nanodipole terminated by vertical coupled strips plasmonic transmission line offers significantly higher efficiency than that terminated by a lateral coupled strips line. However, the overall efficiency of the vertical coupled strips rectenna is still very low due to the extremely low efficiency of the MIM rectifier.


title: Stellar laboratories. V. The Xe VI ultraviolet spectrum and the xenon abundance in the hot DO-type white dwarf RE0503-289

abstract: For the spectral analysis of spectra of hot stars with a high resolution and high signal-to-noise ratio (S/N), advanced non-local thermodynamic equilibrium (NLTE) model atmospheres are mandatory. These are strongly dependent on the reliability of the atomic data that are used for their calculation. Reliable Xe VI oscillator strengths are used to identify Xe lines in the ultraviolet spectrum of the DO-type white dwarf RE0503-289 and to determine its photospheric Xe abundance. We publish newly calculated oscillator strengths that are based on a recently measured Xe VI laboratory line spectrum. These strengths were used to consider their radiative and collisional bound-bound transitions in detail in our NLTE stellar-atmosphere models to analyze Xe VI lines exhibited in high-resolution and high S/N UV observations of RE0503-289. We identify three hitherto unknown Xe VI lines in the ultraviolet spectrum of RE0503-289 and confirm the previously measured photospheric Xe abundance of this white dwarf (log Xe = -4.2 +/- 0.6). Reliable measurements and calculations of atomic data are prerequisite for stellar-atmosphere modeling. Observed Xe VI line profiles in the ultraviolet spectrum of the white dwarf RE0503-289 were well reproduced with the newly calculated Xe VI oscillator strengths.


title: Gradient Flows of Penalty Functions in the Space of Smooth Embeddings

abstract: Motivated by manifold learning techniques, we give an explicit lower bound for how far a smoothly embedded compact submanifold in ${\mathbb R}^N$ can move in a normal direction and remain an embedding. In addition, given a penalty function $P : \text{Emb}(M,\mathbb{R}^N) \rightarrow \mathbb{R} $ on the space of embeddings, we give a condition which guarantees that the gradient $\nabla P$ of the penalty function is normal to $\phi(M)$ at every point.


title: The surgery exact triangle in Pin(2)-monopole Floer homology

abstract: We prove the existence of an exact triangle for the Pin(2)-monopole Floer homology groups of three manifolds related by specific Dehn surgeries on a given knot. Unlike the counterpart in usual monopole Floer homology, only two of the three maps are those induced by the corresponding elementary cobordism. We use this triangle to describe the invariants associated to homology spheres obtained by (\pm1)-surgery on alternating knots.


title: Modules of constant Jordan type, pullbacks of bundles and generic kernel filtrations

abstract: Let $kE$ denote the group algebra of an elementary abelian $p$-group of rank $r$ over an algebraically closed field of characteristic $p$. We investigate the functors $\mathcal{F}_i$ from $kE$-modules of constant Jordan type to vector bundles on $\mathbb{P}^{r-1}(k)$, constructed by Benson and Pevtsova. For a $kE$-module $M$ of constant Jordan type, we show that restricting the sheaf $\mathcal{F}_i(M)$ to a dimension $s-1$ linear subvariety of $\mathbb{P}^{r-1}(k)$ is equivalent to restricting $M$ along a corresponding rank $s$ shifted subgroup of $kE$ and then applying $\mathcal{F}_i$. In the case $r=2$, we examine the generic kernel filtration of $M$ in order to show that $\mathcal{F}_i(M)$ may be computed on certain subquotients of $M$ whose Loewy lengths are bounded in terms of $i$. More precise information is obtained by applying similar techniques to the $n$th power generic kernel filtration of $M$. The latter approach also allows us to generalise our results to higher ranks $r$.


title: Solving the Closest Vector Problem in $2^n$ Time--- The Discrete Gaussian Strikes Again!

abstract: We give a $2^{n+o(n)}$-time and space randomized algorithm for solving the exact Closest Vector Problem (CVP) on $n$-dimensional Euclidean lattices. This improves on the previous fastest algorithm, the deterministic $\widetilde{O}(4^{n})$-time and $\widetilde{O}(2^{n})$-space algorithm of Micciancio and Voulgaris. We achieve our main result in three steps. First, we show how to modify the sampling algorithm from [ADRS15] to solve the problem of discrete Gaussian sampling over lattice shifts, $L- t$, with very low parameters. While the actual algorithm is a natural generalization of [ADRS15], the analysis uses substantial new ideas. This yields a $2^{n+o(n)}$-time algorithm for approximate CVP for any approximation factor $\gamma = 1+2^{-o(n/\log n)}$. Second, we show that the approximate closest vectors to a target vector $t$ can be grouped into "lower-dimensional clusters," and we use this to obtain a recursive reduction from exact CVP to a variant of approximate CVP that "behaves well with these clusters." Third, we show that our discrete Gaussian sampling algorithm can be used to solve this variant of approximate CVP. The analysis depends crucially on some new properties of the discrete Gaussian distribution and approximate closest vectors, which might be of independent interest.


title: A Topological Property of Asymptotically Conical Self-Shrinkers of Small Entropy

abstract: For any asymptotically conical self-shrinker with entropy less than or equal to that of a cylinder we show that the link of the asymptotic cone must separate the unit sphere into exactly two connected components, both diffeomorphic to the self-shrinker. Combining this with recent work of Brendle, we conclude that the round sphere uniquely minimizes the entropy among all non-flat two-dimensional self-shrinkers. This confirms a conjecture of Colding-Ilmanen-Minicozzi-White in dimension two.


title: A few problems on monodromy and discriminants

abstract: A problem list in singularity theory. Most of these problems are related with the algorithmic enumeration of possible topological types of non-discriminant Morsifications of real function singularities, and/or with the Picard--Lefschetz theory.


title: A $BV$ Functional and its Relaxation for Joint Motion Estimation and Image Sequence Recovery

abstract: The estimation of motion in an image sequence is a fundamental task in image processing. Frequently, the image sequence is corrupted by noise and one simultaneously asks for the underlying motion field and a restored sequence. In smoothly shaded regions of the restored image sequence the brightness constancy assumption along motion paths leads to a pointwise differential condition on the motion field. At object boundaries which are edge discontinuities both for the image intensity and for the motion field this condition is no longer well defined. In this paper a total-variation type functional is discussed for joint image restoration and motion estimation. This functional turns out not to be lower semicontinuous, and in particular fine-scale oscillations may appear around edges. By the general theory of vector valued $BV$ functionals its relaxation leads to the appearance of a singular part of the energy density, which can be determined by the solution of a local minimization problem at edges. Based on bounds for the singular part of the energy and under appropriate assumptions on the local intensity variation one can exclude the existence of microstructures and obtain a model well-suited for simultaneous image restoration and motion estimation. Indeed, the relaxed model incorporates a generalized variational formulation of the brightness constancy assumption. The analytical findings are related to ambiguity problems in motion estimation such as the proper distinction between foreground and background motion at object edges.


title: Random walks on the random graph

abstract: We study random walks on the giant component of the Erd\H{o}s-R\'enyi random graph ${\cal G}(n,p)$ where $p=\lambda/n$ for $\lambda>1$ fixed. The mixing time from a worst starting point was shown by Fountoulakis and Reed, and independently by Benjamini, Kozma and Wormald, to have order $\log^2 n$. We prove that starting from a uniform vertex (equivalently, from a fixed vertex conditioned to belong to the giant) both accelerates mixing to $O(\log n)$ and concentrates it (the cutoff phenomenon occurs): the typical mixing is at $(\nu {\bf d})^{-1}\log n \pm (\log n)^{1/2+o(1)}$, where $\nu$ and ${\bf d}$ are the speed of random walk and dimension of harmonic measure on a ${\rm Poisson}(\lambda)$-Galton-Watson tree. Analogous results are given for graphs with prescribed degree sequences, where cutoff is shown both for the simple and for the non-backtracking random walk.


title: Survey of the inverse spectral problem for the Notices of the ICCM

abstract: This is an updated survey on the inverse spectral problem written for the Notices of the ICCM. It rapidly reviews some of the material in the previous survey of the same title (arXiv:math/0402356) and then discusses some relatively new results (rigidity results for the ellipse, phase shifts in scattering theory). The last section poses a number of open problems involving "inverse results for oscillatory integrals".


title: Constraining application behaviour by generating languages

abstract: Writing a platform for reactive applications which enforces operational constraints is difficult, and has been approached in various ways. In this experience report, we detail an approach using an embedded DSL which can be used to specify the structure and permissions of a program in a given application domain. Once the developer has specified which components an application will consist of, and which permissions each one needs, the specification itself evaluates to a new, tailored, language. The final implementation of the application is then written in this specialised environment where precisely the API calls associated with the permissions which have been granted, are made available. Our prototype platform targets the domain of mobile computing, and is implemented using Racket. It demonstrates resource access control (e.g., camera, address book, etc.) and tries to prevent leaking of private data. Racket is shown to be an extremely effective platform for designing new programming languages and their run-time libraries. We demonstrate that this approach allows reuse of an inter-component communication layer, is convenient for the application developer because it provides high-level building blocks to structure the application, and provides increased control to the platform owner, preventing certain classes of errors by the developer.


title: Spin Seebeck Power Conversion

abstract: Spin caloritronics is the science and technology to control spin, charge, and heat currents in magnetic nanostructures. The spin degree of freedom provides new strategies for thermolelectric power generation that have not yet been fully explored. After an elementary introduction into conventional thermoelectrics and spintronics, we give a brief review of the physics of spin caloritronics. We discuss spin-dependent thermoelectrics based on the the two-current model in metallic magnets as well as the spin Seebeck and Peltier effects that are based on spin wave excitations in ferromagnets. We derive expressions for the efficiency and figure of merit ZT of several spin caloritronic devices.