title: User-Defined Operators Including Name Binding for New Language Constructs

abstract: User-defined syntax extensions are useful to implement an embedded domain specific language (EDSL) with good code-readability. They allow EDSL authors to define domain-natural notation, which is often different from the host language syntax. Nowadays, there are several research works of powerful user-defined syntax extensions. One promising approach uses user-defined operators. A user-defined operator is a function with user-defined syntax. It can be regarded as a syntax extension implemented without macros. An advantage of user-defined operators is that an operator can be statically typed. The compiler can find type errors in the definition of an operator before the operator is used. In addition, the compiler can resolve syntactic ambiguities by using static types. However, user-defined operators are difficult to implement language constructs involving static name binding. Name binding is association between names and values (or memory locations). Our inquiry is whether we can design a system for user-defined operators involving a new custom name binding. This paper proposes a module system for user-defined operators named a dsl class. A dsl class is similar to a normal class in Java but it contains operators instead of methods. We use operators for implementing custom name binding. For example, we use a nullary operator for emulating a variable name. An instance of a dsl class, called a dsl object, reifies an environment that expresses name binding. Programmers can control a scope of instance operators by specifying where the dsl object is active. We extend the host type system so that it can express the activation of a dsl object. In our system, a bound name is propagated through a type parameter to a dsl object. This enables us to implement user-defined language constructs involving static name binding. A contribution of this paper is that we reveal we can integrate a system for managing names and their scopes with a module and type system of an object-oriented language like Java. This allows us to implement a proposed system by adopting eager disambiguation based on expected types so that the compilation time will be acceptable. Eager disambiguation, which prunes out semantically invalid abstract parsing trees (ASTs) while a parser is running, is needed because the parser may generate a huge number of potentially valid ASTs for the same source code. We have implemented ProteaJ2, which is a programming language based on Java and it supports our proposal. We describe a parsing method that adopts eager disambiguation for fast parsing and discuss its time complexity. To show the practicality of our proposal, we have conducted two micro benchmarks to see the performance of our compiler. We also show several use cases of dsl classes for demonstrating dsl classes can express various language constructs. Our ultimate goal is to let programmers add any kind of new language construct to a host language. To do this, programmers should be able to define new syntax, name binding, and type system within the host language. This paper shows programmers can define the former two: their own syntax and name binding.


title: Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming

abstract: Live programming environments enable programmers to edit a running program and obtain immediate feedback on each individual change. The liveness quality is valued by programmers to help work in small steps and continuously add or correct small functionality while maintaining the impression of a direct connection between each edit and its manifestation at run-time. Such immediacy may conflict with the desire to perform a combined set of intermediate steps, such as a refactoring, without immediately taking effect after each individual edit. This becomes important when an incomplete sequence of small-scale changes can easily break the running program. State-of-the-art solutions focus on retroactive recovery mechanisms, such as debugging or version control. In contrast, we propose a proactive approach: Multiple individual changes to the program are collected in an Edit Transaction, which can be made effective if deemed complete. Upon activation, the combined steps become visible together. Edit Transactions are capable of dynamic scoping, allowing a set of changes to be tested in isolation before being extended to the running application. This enables a live programming workflow with full control over change granularity, immediate feedback on tests, delayed effect on the running application, and coarse-grained undos. We present an implementation of Edit Transactions along with Edit-Transaction-aware tools in Squeak/Smalltalk. We asses this implementation by conducting a case study with and without the new tool support, comparing programming activities, errors, and detours for implementing new functionality in a running simulation. We conclude that workflows using Edit Transactions have the potential to increase confidence in a change, reduce potential for run-time errors, and eventually make live programming more predictable and engaging.


title: Miscomputation in software: Learning to live with errors

abstract: Computer programs do not always work as expected. In fact, ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regularity. In this paper, we look at the 60 years history of programming and at the different practical methods that software community developed to live with programming errors. We do so by observing a class of students discussing different approaches to programming errors. While learning about the different methods for dealing with errors, we uncover basic assumptions that proponents of different paradigms follow. We learn about the mathematical attempt to eliminate errors through formal methods, scientific method based on testing, a way of building reliable systems through engineering methods, as well as an artistic approach to live coding that accepts errors as a creative inspiration. This way, we can explore the differences and similarities among the different paradigms. By inviting proponents of different methods into a single discussion, we hope to open potential for new thinking about errors. When should we use which of the approaches? And what can software development learn from mathematics, science, engineering and art? When programming or studying programming, we are often enclosed in small communities and we take our basic assumptions for granted. Through the discussion in this paper, we attempt to map the large and rich space of programming ideas and provide reference points for exploring, perhaps foreign, ideas that can challenge some of our assumptions.


title: Transition Watchpoints: Teaching Old Debuggers New Tricks

abstract: Reversible debuggers and process replay have been developed at least since 1970. This vision enables one to execute backwards in time under a debugger. Two important problems in practice are that, first, current reversible debuggers are slow when reversing over long time periods, and, second, after building one reversible debugger, it is difficult to transfer that achievement to a new programming environment. The user observes a bug when arriving at an error. Searching backwards for the corresponding fault may require many reverse steps. Ultimately, the user prefers to write an expression that will transition to false upon arriving at the fault. The solution is an expression-transition watchpoint facility based on top of snapshots and record/replay. Expression-transition watch- points are implemented as binary search through the timeline of a program execution, while using the snapshots as landmarks within that timeline. This allows for debugging of subtle bugs that appear only after minutes or more of program execution. When a bug occurs within seconds of program startup, repeated debugging sessions suffice. Reversible debugging is preferred for bugs seen only after minutes. This architecture allows for an efficient and easy-to-write snapshot-based reversibe debugger on top of a conventional debugger. The validity of this approach was tested by developing four personalities (for GDB, MATLAB, Perl, and Python), with each personality typically requiring just 100 lines of code.


title: Robinson-Trautman spacetimes and gauge/gravity duality

abstract: We study far-from-equilibrium field theory dynamics using gauge/gravity duality applied to the Robinson-Trautman (RT) class of spacetimes and we present a number of new results. First, we assess the applicability of the hydrodynamic approximation to inhomogeneous plasma dynamics dual to RT spacetimes. We prove that to any order in a late time expansion it is possible to identify variables corresponding to the local energy density and fluid velocity. However, we show using numerical examples that this does not hold at the non-perturbative level; for sufficiently inhomogeneous initial data a local rest frame does not exist. Second, we preset a new class of holographic inhomogeneous plasma flows on the plane. The corresponding spacetimes are not of the RT type but they can be obtained from RT spacetimes with spatially compact boundaries by coordinate transformations which generate Poincar\'e patch-like coordinates with planar boundaries. We demonstrate the application of this procedure using numerical examples.


title: Clairaut anti-invariant submersions from normal almost contact metric manifolds

abstract: We investigate new Clairaut conditions for anti-invariant submersions from normal almost contact metric manifolds onto Riemannian manifolds. We prove that there is no Clairaut anti-invariant submersion admitting vertical Reeb vector field when the total manifold is Sasakian. Several illustrative examples are also included.


title: Qualitative uncertainty principle for Gabor transform on certain locally compact groups

abstract: Classes of locally compact groups having qualitative uncertainty principle for Gabor transform have been investigated. These include Moore groups, Heisenberg Group $\mathbb{H}_n, \mathbb{H}_{n} \times D,$ where $D$ is discrete group and other low dimensional nilpotent Lie groups.


title: Near-Optimal $\varepsilon$-Kernel Construction and Related Problems

abstract: The computation of (i) $\varepsilon$-kernels, (ii) approximate diameter, and (iii) approximate bichromatic closest pair are fundamental problems in geometric approximation. In this paper, we describe new algorithms that offer significant improvements to their running times. In each case the input is a set of $n$ points in $R^d$ for a constant dimension $d \geq 3$ and an approximation parameter $\varepsilon > 0$. We reduce the respective running times (i) from $O((n + 1/\varepsilon^{d-2})\log(1/\varepsilon))$ to $O(n \log(1/\varepsilon) + 1/\varepsilon^{(d-1)/2+\alpha})$, (ii) from $O((n + 1/\varepsilon^{d-2})\log(1/\varepsilon))$ to $O(n \log(1/\varepsilon) + 1/\varepsilon^{(d-1)/2+\alpha})$, and (iii) from $O(n / \varepsilon^{d/3})$ to $O(n / \varepsilon^{d/4+\alpha}),$ for an arbitrarily small constant $\alpha > 0$. Result (i) is nearly optimal since the size of the output $\varepsilon$-kernel is $\Theta(1/\varepsilon^{(d-1)/2})$ in the worst case. These results are all based on an efficient decomposition of a convex body using a hierarchy of Macbeath regions, and contrast to previous solutions that decompose space using quadtrees and grids. By further application of these techniques, we also show that it is possible to obtain near-optimal preprocessing time for the most efficient data structures to approximately answer queries for (iv) nearest-neighbor searching, (v) directional width, and (vi) polytope membership.


title: On-chip quantum tomography of mechanical nano-scale oscillators with guided Rydberg atoms

abstract: Nano-mechanical oscillators as well as Rydberg-atomic waveguides hosted on micro-fabricated chip surfaces hold promise to become pillars of future quantum technologies. In a hybrid platform with both, we show that beams of Rydberg atoms in waveguides can quantum-coherently interrogate and manipulate nanomechanical elements, allowing full quantum state tomography. Central to the tomography are quantum non-demolition measurements using the Rydberg atoms as probes. Quantum coherent displacement of the oscillator is also made possible, by driving the atoms with external fields while they interact with the oscillator. We numerically demonstrate the feasibility of this fully integrated on-chip control and read-out suite for quantum nano-mechanics, taking into account noise and error sources.


title: Superintegrable models on riemannian surfaces of revolution with integrals of any integer degree (I)

abstract: We present a family of superintegrable (SI) sytems living on a riemannian surface of revolution and which exhibits one linear integral and two integrals of any integer degree larger or equal to 2 in the momenta. When this degree is 2 one recovers a metric due to Koenigs. The local structure of these systems is under control of a linear ordinary differential equation of order n which is homogeneous for even integrals and weakly inhomogeneous for odd integrals. The form of the integrals is explicitly given in the so-called simple case (see definition 2). Some globally defined examples are worked out which live either in H2 or in R2.


title: How does light move in a generic metric-affine background?

abstract: Light is the richest information retriever for most physical systems, particularly so for astronomy and cosmology, in which gravitation is of paramount importance, and also for solid state defects and metamaterials, in which some effects can be mimicked by non-Euclidean or even non-Riemannian geometries. Thus, it is expedient to probe light motion in geometrical backgrounds alternative to that of general relativity. Here we investigate this issue in generic metric-affine theories and derive (i) the expression, in the geometrical optics (eikonal) limit, for light trajectories, showing that they still are null (extremal) geodesics and thus, in general, no longer autoparallels, (ii) a generic {formula} to obtain the relation between source (galaxy) and reception (observer) angular size (area) distances, generalizing Etherington's original distance reciprocity relation (DRR), and then applying it to two particular representative non-Riemannian geometries. First in metric-compatible, completely antisymmetric torsion geometries, the generalized DRR is not changed at all, and then in Weyl integrable spacetimes, the generalized DRR assumes a specially simple expression.


title: Double-Longitudinal Spin Asymmetry in Single-Inclusive Lepton Scattering at NLO

abstract: We calculate the double-spin asymmetries $A_{\mathrm{LL}}$ for the processes $\ell N\to h X$ and $\ell N\to {\mathrm{jet}}\, X$ at next-to-leading order accuracy in perturbative QCD. We compare our theoretical results for $A_{\mathrm{LL}}$ to data from the SLAC E155 experiment, finding only partially satisfactory agreement. We conclude that measurements of $A_{\mathrm{LL}}$ and the relevant polarized and unpolarized cross sections should be performed at the present-day fixed-target lepton scattering experiments, as well as at a future electron ion collider, in order to verify our understanding of this process. We present predictions of the longitudinal double-spin asymmetries for these experiments.


title: Open Programming Language Interpreters

abstract: Context: This paper presents the concept of open programming language interpreters and the implementation of a framework-level metaobject protocol (MOP) to support them. Inquiry: We address the problem of dynamic interpreter adaptation to tailor the interpreter's behavior on the task to be solved and to introduce new features to fulfill unforeseen requirements. Many languages provide a MOP that to some degree supports reflection. However, MOPs are typically language-specific, their reflective functionality is often restricted, and the adaptation and application logic are often mixed which hardens the understanding and maintenance of the source code. Our system overcomes these limitations. Approach: We designed and implemented a system to support open programming language interpreters. The prototype implementation is integrated in the Neverlang framework. The system exposes the structure, behavior and the runtime state of any Neverlang-based interpreter with the ability to modify it. Knowledge: Our system provides a complete control over interpreter's structure, behavior and its runtime state. The approach is applicable to every Neverlang-based interpreter. Adaptation code can potentially be reused across different language implementations. Grounding: Having a prototype implementation we focused on feasibility evaluation. The paper shows that our approach well addresses problems commonly found in the research literature. We have a demonstrative video and examples that illustrate our approach on dynamic software adaptation, aspect-oriented programming, debugging and context-aware interpreters. Importance: To our knowledge, our paper presents the first reflective approach targeting a general framework for language development. Our system provides full reflective support for free to any Neverlang-based interpreter. We are not aware of any prior application of open implementations to programming language interpreters in the sense defined in this paper. Rather than substituting other approaches, we believe our system can be used as a complementary technique in situations where other approaches present serious limitations.


title: A recursive algorithm and a series expansion related to the homogeneous Boltzmann equation for hard potentials with angular cutoff

abstract: We consider the spatially homogeneous Boltzmann equation for hard potentials with angular cutoff. This equation has a unique conservative weak solution $(f_t)_{t\geq 0}$, once the initial condition $f_0$ with finite mass and energy is fixed. Taking advantage of the energy conservation, we propose a recursive algorithm that produces a $(0,\infty)\times\mathbb{R}^3$ random variable $(M_t,V_t)$ such that $E[M_t {\bf 1}_{\{V_t \in \cdot\}}]=f_t$. We also write down a series expansion of $f_t$. Although both the algorithm and the series expansion might be theoretically interesting in that they explicitly express $f_t$ in terms of $f_0$, we believe that the algorithm is not very efficient in practice and that the series expansion is rather intractable. This is a tedious extension to non-Maxwellian molecules of Wild's sum and of its interpretation by McKean.


title: DPD sum rules in QCD

abstract: We review the DPD sum rules and establish their validity to all orders in QCD. This is done using a diagrammatic approach and light-front perturbation theory. In the process we furthermore investigate the QCD evolution of double parton distributions and obtain sum rules for $1\to2$ splitting kernels in close analogy to the DPD sum rules themselves.


title: Observation of Gain Spiking and Nonlinear Beating of Optical Frequency Comb in a Microcavity

abstract: Optical frequency combs are crucial for both fundamental science and applications demanding wide frequency spanning and ultra-precision resolutions. Recent advancements of nonlinear Kerr effect based optical frequency combs in microcavities open up new opportunities in a compact platform, however, internal cavity-enhanced nonlinearities are still unclear. Here we demonstrate transient nonlinear dynamics during optical frequency comb formation inside a Kerr microcavity. We show that gain spiking forms due to nonlinear phase modulation, causing comb lines' self-detuning nearby a cavity resonance, this introduces one key mechanism to stabilize optical frequency combs. Moreover, nonlinear beating has be observed by injecting an external probe to exam nonlinear cross-phase modulation between comb lines. Nonlinear transient dynamics here reveal the hidden nonlinear features of Kerr based optical frequency combs, leading to a new direction for ultrawide, ultrastable and ultrafast frequency comb generation in microcavities.


title: Phase Space Sketching for Crystal Image Analysis based on Synchrosqueezed Transforms

abstract: Recent developments of imaging techniques enable researchers to visualize materials at the atomic resolution to better understand the microscopic structures of materials. This paper aims at automatic and quantitative characterization of potentially complicated microscopic crystal images, providing feedback to tweak theories and improve synthesis in materials science. As such, an efficient phase-space sketching method is proposed to encode microscopic crystal images in a translation, rotation, illumination, and scale invariant representation, which is also stable with respect to small deformations. Based on the phase-space sketching, we generalize our previous analysis framework for crystal images with simple structures to those with complicated geometry.


title: Unique equilibrium states for geodesic flows in nonpositive curvature

abstract: We study geodesic flows over compact rank 1 manifolds and prove that sufficiently regular potential functions have unique equilibrium states if the singular set does not carry full pressure. In dimension 2, this proves uniqueness for scalar multiples of the geometric potential on the interval $(-\infty,1)$, which is optimal. In higher dimensions, we obtain the same result on a neighborhood of 0, and give examples where uniqueness holds on all of $\mathbb{R}$. For general potential functions $\varphi$, we prove that the pressure gap holds whenever $\varphi$ is locally constant on a neighborhood of the singular set, which allows us to give examples for which uniqueness holds on a $C^0$-open and dense set of H\"older potentials.


title: Drag Reduction by Herringbone Riblet Texture in Direct Numerical Simulations of Turbulent Channel Flow

abstract: A bird-feather-inspired herringbone riblet texture was investigated for turbulent drag reduction. The texture consists of blade riblets in a converging/diverging or herringbone pattern with spanwise wavelength $\Lambda_f$. The aim is to quantify the drag change for this texture as compared to a smooth wall and to study the underlying mechanisms. To that purpose, Direct Numerical Simulations of turbulent flow in a channel with height $L_z$ were performed. The FIK-identity for drag decomposition was extended to textured walls and was used to study the drag change mechanisms. For $\Lambda_f/L_z \gtrsim O(10)$, the herringbone texture behaves similarly to a conventional parallel-riblet texture in yaw: the suppression of turbulent advective transport results in a slight drag reduction of 2%. For $\Lambda_f/L_z \lesssim O(1)$, the drag increases strongly with a maximum of 73%. This is attributed to enhanced mean and turbulent advection, which results from the strong secondary flow that forms over regions of riblet convergence/divergence. Hence, the employment of convergent/divergent riblets in the texture seems to be detrimental to turbulent drag reduction.


title: Experimental set-up for particle detection in solid crystals of inert gasses

abstract: We report about the experimental set-up designed for the development of an innovative particle detector based on solid crystals of inert gases. The hybrid detection scheme, that exploits the electrons emission through the solid-vacuum interface, is demonstrated in matrices of solid neon and solid methane.


title: (DE)^2 CO: Deep Depth Colorization

abstract: The ability to classify objects is fundamental for robots. Besides knowledge about their visual appearance, captured by the RGB channel, robots heavily need also depth information to make sense of the world. While the use of deep networks on RGB robot images has benefited from the plethora of results obtained on databases like ImageNet, using convnets on depth images requires mapping them into three dimensional channels. This transfer learning procedure makes them processable by pre-trained deep architectures. Current mappings are based on heuristic assumptions over preprocessing steps and on what depth properties should be most preserved, resulting often in cumbersome data visualizations, and in sub-optimal performance in terms of generality and recognition results. Here we take an alternative route and we attempt instead to learn an optimal colorization mapping for any given pre-trained architecture, using as training data a reference RGB-D database. We propose a deep network architecture, exploiting the residual paradigm, that learns how to map depth data to three channel images. A qualitative analysis of the images obtained with this approach clearly indicates that learning the optimal mapping preserves the richness of depth information better than current hand-crafted approaches. Experiments on the Washington, JHUIT-50 and BigBIRD public benchmark databases, using CaffeNet, VGG16, GoogleNet, and ResNet50 clearly showcase the power of our approach, with gains in performance of up to 16% compared to state of the art competitors on the depth channel only, leading to top performances when dealing with RGB-D data


title: Does Python Smell Like Java? Tool Support for Design Defect Discovery in Python

abstract: The context of this work is specification, detection and ultimately removal of detectable harmful patterns in source code that are associated with defects in design and implementation of software. In particular, we investigate five code smells and four antipatterns previously defined in papers and books. Our inquiry is about detecting those in source code written in Python programming language, which is substantially different from all prior research, most of which concerns Java or C-like languages. Our approach was that of software engineers: we have processed existing research literature on the topic, extracted both the abstract definitions of nine design defects and their concrete implementation specifications, implemented them all in a tool we have programmed and let it loose on a huge test set obtained from open source code from thousands of GitHub projects. When it comes to knowledge, we have found that more than twice as many methods in Python can be considered too long (statistically extremely longer than their neighbours within the same project) than in Java, but long parameter lists are seven times less likely to be found in Python code than in Java code. We have also found that Functional Decomposition, the way it was defined for Java, is not found in the Python code at all, and Spaghetti Code and God Classes are extremely rare there as well. The grounding and the confidence in these results comes from the fact that we have performed our experiments on 32'058'823 lines of Python code, which is by far the largest test set for a freely available Python parser. We have also designed the experiment in such a way that it aligned with prior research on design defect detection in Java in order to ease the comparison if we treat our own actions as a replication. Thus, the importance of the work is both in the unique open Python grammar of highest quality, tested on millions of lines of code, and in the design defect detection tool which works on something else than Java.


title: Stability aspects of relativistic thin magnetized disks

abstract: We adapt the well known "displace, cut and reflect" method to construct exact solutions of the Einstein-Maxwell equations corresponding to infinitesimally thin disks of matter endowed with dipole magnetic fields, which are entirely supported by surface polar currents on the disk. Our starting point is the Gutsunaev-Manko axisymmetric solution describing massive magnetic dipoles in General Relativity, from which we obtain a continuous three-parameter family of asymptotically flat static magnetized disks with finite mass and energy. For strong magnetic fields, the disk surface density profile resembles some well known self-gravitating ring-like structures. We show that many of these solutions can be indeed stable and, hence, they could be in principle useful for the study of the abundant astrophysical situations involving disks of matter and magnetic fields.


title: Commutative Algebra of Generalised Frobenius Numbers

abstract: We study commutative algebra arising from generalised Frobenius numbers. The $k$-th (generalised) Frobenius number of natural numbers $(a_1,\dots,a_n)$ is the largest natural number that cannot be written as a non-negative integral combination of $(a_1,\dots,a_n)$ in $k$ distinct ways. Suppose that $L$ is the lattice of integers points of $(a_1,\dots,a_n)^{\perp}$. Taking cue from the concept of lattice modules due to Bayer and Sturmfels, we define generalised lattice modules $M_L^{(k)}$ whose Castelnuovo-Mumford regularity captures the $k$-th Frobenius number of $(a_1,\dots,a_n)$. We study the sequence $\{M_L^{(k)}\}_{k=1}^{\infty}$ of generalised lattice modules providing an explicit characterisation of their minimal generators. We show that there are only finitely many isomorphism classes of generalized lattice modules. As a consequence of our commutative algebraic approach, we show that the sequence of generalised Frobenius numbers forms a generalised arithmetic progression. We also construct an algorithm to compute the $k$-th Frobenius number.


title: Low frequency Raman study of the Boson peak in a Tellurite-tungstate glass over temperature

abstract: In this work we present our findings performing low frequency Raman measurements over temperature in a tellurite-tungstate glass sample. The spectra could be fitted by using only two log-Gaussians, which suggests that quasi-elastic light scattering is negligible. The positions of the peaks have the same temperature behavior, being the higher frequency one refered as Boson Peak in literature. The similar temperature behavior and depolarization ratio indicates that the peaks may have the same origin, being linked to the tranversal and longitudinal vibrations of some unit.


title: Topological semimetals with double-helix nodal link

abstract: Topological nodal line semimetals are characterized by the crossing of the conduction and valence bands along one or more closed loops in the Brillouin zone. Usually, these loops are either isolated or touch each other at some highly symmetric points. Here, we introduce a new kind of nodal line semimetal, that contains a pair of linked nodal loops. A concrete two-band model was constructed, which supports a pair of nodal lines with a double-helix structure, which can be further twisted into a Hopf link because of the periodicity of the Brillouin zone. The nodal lines are stabilized by the combined spatial inversion $\mathcal{P}$ and time reversal $\mathcal{T}$ symmetry; the individual $\mathcal{P}$ and $\mathcal{T}$ symmetries must be broken. The band exhibits nontrivial topology that each nodal loop carries a $\pi$ Berry flux. Surface flat bands emerge at the open boundary and are exactly encircled by the projection of the nodal lines on the surface Brillouin zone. The experimental implementation of our model using cold atoms in optical lattices is discussed.


title: Bi-class classification of humpback whale sound units against complex background noise with Deep Convolution Neural Network

abstract: Automatically detecting sound units of humpback whales in complex time-varying background noises is a current challenge for scientists. In this paper, we explore the applicability of Convolution Neural Network (CNN) method for this task. In the evaluation stage, we present 6 bi-class classification experimentations of whale sound detection against different background noise types (e.g., rain, wind). In comparison to classical FFT-based representation like spectrograms, we showed that the use of image-based pretrained CNN features brought higher performance to classify whale sounds and background noise.


title: Proof of Irreversibility for Systems with Time Reversal Symmetry

abstract: The positivity of entropy change rate was rigorously proven in a certain microscopic system associated with a Hamiltonian using only information about the microscopic system. This microscopic system obeys an equation with time-reversal symmetry. We proved that a symplectic map with time-reversal symmetry has the same ergodic properties as an Anosov diffeomorphism. This result guarantees that any initial density function defined except for a zero volume set converges to the unique invariant density (uniform distribution) in the sense of mixing. Moreover, we proved that the Kolmogorov--Sinai entropy, which is the entropy change rate, is \textit{positive} using the property of Anosov diffeomorphisms. In addition, we discovered a mathematical structure connecting the convergence of initial density functions to the uniform distribution and positivity of the entropy change rate (Anosov diffeomorphism).


title: Single Image Super Resolution - When Model Adaptation Matters

abstract: In the recent years impressive advances were made for single image super-resolution. Deep learning is behind a big part of this success. Deep(er) architecture design and external priors modeling are the key ingredients. The internal contents of the low resolution input image is neglected with deep modeling despite the earlier works showing the power of using such internal priors. In this paper we propose a novel deep convolutional neural network carefully designed for robustness and efficiency at both learning and testing. Moreover, we propose a couple of model adaptation strategies to the internal contents of the low resolution input image and analyze their strong points and weaknesses. By trading runtime and using internal priors we achieve 0.1 up to 0.3dB PSNR improvements over best reported results on standard datasets. Our adaptation especially favors images with repetitive structures or under large resolutions. Moreover, it can be combined with other simple techniques, such as back-projection or enhanced prediction, for further improvements.


title: Partitioning a macroscopic system into independent subsystems

abstract: We discuss the problem of partitioning a macroscopic system into a collection of independent subsystems. The partitioning of a system into replica-like subsystems is nowadays a subject of major interest in several field of theoretical and applied physics, and the thermodynamic approach currently favoured by practitioners is based on a phenomenological definition of an interface energy associated with the partition, due to a lack of easily computable expressions for a microscopic (i.e.~particle-based) interface energy. In this article, we outline a general approach to derive sharp and computable bounds for the interface free energy in terms of microscopic statistical quantities. We discuss potential applications in nanothermodynamics and outline possible future directions.


title: SALT HRS discovery of a long period double-degenerate binary in the planetary nebula NGC 1360

abstract: Whether planetary nebulae (PNe) are predominantly the product of binary stellar evolution as some population synthesis models (PSM) suggest remains an open question. Around 50 short period binary central stars ($P\sim1$ d) are known, but with only four with measured orbital periods over 10 d, our knowledge is severely incomplete. Here we report on the first discovery from a systematic SALT HRS survey for long period binary central stars. We find a 142 d orbital period from radial velocities of the central star of NGC~1360, HIP~16566. NGC~1360 appears to be the product of common-envelope (CE) evolution, with nebula features similar to post-CE PNe, albeit with an orbital period considerably longer than expected to be typical of post-CE PSM. The most striking feature is a newly-identified ring of candidate low-ionisation structures (LIS). Previous spatio-kinematic modelling of the nebula gives a nebula inclination of $30\pm10$ deg, and assuming the binary nucleus is coplanar with the nebula, multi-wavelength observations best fit a more massive, evolved WD companion. A WD companion in a 142 d orbit is not the focus of many PSM, making NGC~1360 a valuable system with which to improve future PSM work. HIP~16566 is amongst many central stars in which large radial velocity variability was found by low-resolution surveys. The discovery of its binary nature may indicate long period binaries may be more common than PSM models predict.


title: Study of cost functionals for ptychographic phase retrieval to improve the robustness against noise, and a proposal for another noise-robust ptychographic phase retrieval scheme

abstract: Recently, efforts have been made to improve ptychography phase retrieval algorithms so that they are more robust against noise. Often the algorithm is adapted by changing the cost functional that needs to be minimized. In particular, it has been suggested that the cost functional should be obtained using a maximum-likelihood approach that takes the noise statistics into account. Here, we consider the different choices of cost functional, and to how they affect the reconstruction results. We find that seemingly the only consistently reliable way to improve reconstruction results in the presence of noise is to reduce the step size of the update function. In addition, a noise-robust ptychographic reconstruction method has been proposed that relies on adapting the intensity constraints


title: Audio-Visual Speech Enhancement Using Multimodal Deep Convolutional Neural Networks

abstract: Speech enhancement (SE) aims to reduce noise in speech signals. Most SE techniques focus only on addressing audio information. In this work, inspired by multimodal learning, which utilizes data from different modalities, and the recent success of convolutional neural networks (CNNs) in SE, we propose an audio-visual deep CNNs (AVDCNN) SE model, which incorporates audio and visual streams into a unified network model. We also propose a multi-task learning framework for reconstructing audio and visual signals at the output layer. Precisely speaking, the proposed AVDCNN model is structured as an audio-visual encoder-decoder network, in which audio and visual data are first processed using individual CNNs, and then fused into a joint network to generate enhanced speech (the primary task) and reconstructed images (the secondary task) at the output layer. The model is trained in an end-to-end manner, and parameters are jointly learned through back-propagation. We evaluate enhanced speech using five instrumental criteria. Results show that the AVDCNN model yields a notably superior performance compared with an audio-only CNN-based SE model and two conventional SE approaches, confirming the effectiveness of integrating visual information into the SE process. In addition, the AVDCNN model also outperforms an existing audio-visual SE model, confirming its capability of effectively combining audio and visual information in SE.


title: Solving the muon g-2 anomaly in deflected AMSB with messenger-matter interactions

abstract: We proposed to introduce general messenger-matter interactions in the deflected anomaly mediated SUSY breaking scenario to explain the $g_\mu-2$ anomaly. Scenarios with complete or incomplete GUT multiplet messengers are discussed, respectively. The introduction of incomplete GUT mulitiplets can be advantageous in various aspects. We found that the $g_\mu-2$ anomaly can be solved in both scenarios under current constraints including the gluino mass bounds, while the scenarios with incomplete GUT representation messengers are more favored by the $g_\mu-2$ data. We also found that the gluino is upper bounded by about 2.5 TeV (2.0 TeV) in Scenario A and 3.0 TeV (2.7 TeV) in Scenario B if the generalized deflected AMSB scenarios are used to fully account for the $g_\mu-2$ anomaly at $3\sigma$ ($2\sigma$) level. Such a gluino should be accessible in the future LHC searches. Dark matter constraints, including DM relic density and direct detection bounds, favor the scenario B with incomplete GUT multiplets. Much of the allowed parameter space for the scenario B could be covered by the future DM direct detection experiments.


title: A Module-System Discipline for Model-Driven Software Development

abstract: Model-driven development is a pragmatic approach to software development that embraces domain-specific languages (DSLs), where models correspond to DSL programs. A distinguishing feature of model-driven development is that clients of a model can select from an open set of alternative semantics of the model by applying different model transformation. However, in existing model-driven frameworks, dependencies between models, model transformations, and generated code artifacts are either implicit or globally declared in build scripts, which impedes modular reasoning, separate compilation, and programmability in general. We propose the design of a new module system that incorporates models and model transformations as modules. A programmer can apply transformations in import statements, thus declaring a dependency on generated code artifacts. Our design enables modular reasoning and separate compilation by preventing hidden dependencies, and it supports mixing modeling artifacts with conventional code artifacts as well as higher-order transformations. We have formalized our design and the aforementioned properties and have validated it by an implementation and case studies that show that our module system successfully integrates model-driven development into conventional programming languages.


title: BB8: A Scalable, Accurate, Robust to Partial Occlusion Method for Predicting the 3D Poses of Challenging Objects without Using Depth

abstract: We introduce a novel method for 3D object detection and pose estimation from color images only. We first use segmentation to detect the objects of interest in 2D even in presence of partial occlusions and cluttered background. By contrast with recent patch-based methods, we rely on a "holistic" approach: We apply to the detected objects a Convolutional Neural Network (CNN) trained to predict their 3D poses in the form of 2D projections of the corners of their 3D bounding boxes. This, however, is not sufficient for handling objects from the recent T-LESS dataset: These objects exhibit an axis of rotational symmetry, and the similarity of two images of such an object under two different poses makes training the CNN challenging. We solve this problem by restricting the range of poses used for training, and by introducing a classifier to identify the range of a pose at run-time before estimating it. We also use an optional additional step that refines the predicted poses. We improve the state-of-the-art on the LINEMOD dataset from 73.7% to 89.3% of correctly registered RGB frames. We are also the first to report results on the Occlusion dataset using color images only. We obtain 54% of frames passing the Pose 6D criterion on average on several sequences of the T-LESS dataset, compared to the 67% of the state-of-the-art on the same sequences which uses both color and depth. The full approach is also scalable, as a single network can be trained for multiple objects simultaneously.


title: Multi-unit Assignment under Dichotomous Preferences

abstract: I study the problem of allocating objects among agents without using money. Agents can receive several objects and have dichotomous preferences, meaning that they either consider objects to be acceptable or not. In this setup, the egalitarian solution is more appealing than the competitive equilibrium with equal incomes because it is Lorenz dominant, unique in utilities, and group strategy-proof. Moreover, it can be adapted to satisfy a new fairness axiom that arises naturally in this context. Both solutions are disjoint.


title: Thin-Slicing Network: A Deep Structured Model for Pose Estimation in Videos

abstract: Deep ConvNets have been shown to be effective for the task of human pose estimation from single images. However, several challenging issues arise in the video-based case such as self-occlusion, motion blur, and uncommon poses with few or no examples in training data sets. Temporal information can provide additional cues about the location of body joints and help to alleviate these issues. In this paper, we propose a deep structured model to estimate a sequence of human poses in unconstrained videos. This model can be efficiently trained in an end-to-end manner and is capable of representing appearance of body joints and their spatio-temporal relationships simultaneously. Domain knowledge about the human body is explicitly incorporated into the network providing effective priors to regularize the skeletal structure and to enforce temporal consistency. The proposed end-to-end architecture is evaluated on two widely used benchmarks (Penn Action dataset and JHMDB dataset) for video-based pose estimation. Our approach significantly outperforms the existing state-of-the-art methods.


title: $SL(2)\times\mathbb{R}^+$ Exceptional Field Theory: An Action for F-Theory

abstract: Exceptional Field Theory employs an extended spacetime to make supergravity fully covariant under the U-duality groups of M-theory. The 12-dimensional EFT associated to the group $SL(2)\times\mathbb{R}^+$ together with its action is presented. Demanding the closure of the algebra of local symmetries leads to a constraint, known as the section condition, that must be imposed on all fields. This constraint has two inequivalent solutions, one giving rise to 11-dimensional supergravity and the other leading to Type IIB supergravity and F-theory. Thus $SL(2)\times\mathbb{R}^+$ Exceptional Field Theory contains both F-theory and M-theory in a single 12-dimensional formalism.


title: Software frameworks for integral equations in electromagnetic scattering based on Calder\'on identities

abstract: In recent years there have been tremendous advances in the theoretical understanding of boundary integral equations for Maxwell problems. In particular, stable dual pairing of discretisation spaces have been developed that allow robust formulations of the preconditioned electric field, magnetic field and combined field integral equations. Within the BEM++ boundary element library we have developed implementations of these frameworks that allow an intuitive formulation of the typical Maxwell boundary integral formulations within a few lines of code. The basis of these developments is an efficient and robust implementations of Calder\'on identities together with a product algebra that hides and automates most technicalities involved in assembling Galerkin boundary integral equations. In this paper we demonstrate this framework and use it to derive very simple and robust software formulations of the standard preconditioned electric field, magnetic field and regularised combined field integral equations for Maxwell.


title: Unsupervised learning from video to detect foreground objects in single images

abstract: Unsupervised learning from visual data is one of the most difficult challenges in computer vision, being a fundamental task for understanding how visual recognition works. From a practical point of view, learning from unsupervised visual input has an immense practical value, as very large quantities of unlabeled videos can be collected at low cost. In this paper, we address the task of unsupervised learning to detect and segment foreground objects in single images. We achieve our goal by training a student pathway, consisting of a deep neural network. It learns to predict from a single input image (a video frame) the output for that particular frame, of a teacher pathway that performs unsupervised object discovery in video. Our approach is different from the published literature that performs unsupervised discovery in videos or in collections of images at test time. We move the unsupervised discovery phase during the training stage, while at test time we apply the standard feed-forward processing along the student pathway. This has a dual benefit: firstly, it allows in principle unlimited possibilities of learning and generalization during training, while remaining very fast at testing. Secondly, the student not only becomes able to detect in single images significantly better than its unsupervised video discovery teacher, but it also achieves state of the art results on two important current benchmarks, YouTube Objects and Object Discovery datasets. Moreover, at test time, our system is at least two orders of magnitude faster than other previous methods.


title: Fast Predictive Multimodal Image Registration

abstract: We introduce a deep encoder-decoder architecture for image deformation prediction from multimodal images. Specifically, we design an image-patch-based deep network that jointly (i) learns an image similarity measure and (ii) the relationship between image patches and deformation parameters. While our method can be applied to general image registration formulations, we focus on the Large Deformation Diffeomorphic Metric Mapping (LDDMM) registration model. By predicting the initial momentum of the shooting formulation of LDDMM, we preserve its mathematical properties and drastically reduce the computation time, compared to optimization-based approaches. Furthermore, we create a Bayesian probabilistic version of the network that allows evaluation of registration uncertainty via sampling of the network at test time. We evaluate our method on a 3D brain MRI dataset using both T1- and T2-weighted images. Our experiments show that our method generates accurate predictions and that learning the similarity measure leads to more consistent registrations than relying on generic multimodal image similarity measures, such as mutual information. Our approach is an order of magnitude faster than optimization-based LDDMM.


title: Spin Seebeck effect in Y-type hexagonal ferrite thin films

abstract: Spin Seebeck effect (SSE) has been investigated in thin films of two Y-hexagonal ferrites Ba$_2$Zn$_{2}$Fe$_{12}$O$_{22}$ (Zn2Y) and Ba$_2$Co$_{2}$Fe$_{12}$O$_{22}$ (Co2Y) deposited by a spin-coating method on SrTiO$_3$(111) substrate. The selected hexagonal ferrites are both ferrimagnetic with similar magnetic moments at room temperature and both exhibit easy magnetization plane normal to $c$-axis. Despite that, SSE signal was only observed for Zn2Y, whereas no significant SSE signal was detected for Co2Y. We tentatively explain this different behavior by a presence of two different magnetic ions in Co2Y, whose random distribution over octahedral sites interferes the long range ordering and enhances the Gilbert damping constant. The temperature dependence of SSE for Zn2Y was measured and analyzed with regard to the heat flux and temperature gradient relevant to the SSE signal.


title: A Free-Field Lagrangian for a Gauge Theory of the CPT Symmetry

abstract: A simplified mathematical approach is presented and used to find a suitable free-field Lagrangian to complete previous work on constructing a gauge theory of CPT transformations. The new Lagrangian is a slight but important modification of the previous candidate. The new version satisfies an additional requirement which had been overlooked and not satisfied by the previous candidate.


title: Parton correlations effects in double parton distribution functions

abstract: Double parton distribution functions (dPDFs), measurable in hadron-hadron collisions and encoding information on how partons inside a proton are correlated among each other, could represent a new tool to explore the three dimensional partonic structure of hadrons. In the present contribution, results of the calculations of dPFDs are presented. Phenomenological calculations of experimental observables, sensitive to dPDFs are also discussed showing how double parton correlations could be estimated in the next LHC run.


title: Unsteady High-Lift Mechanisms from Heaving Flat Plate Simulations

abstract: Flapping animal flight is often modeled as a combined pitching and heaving motion in order to investigate the unsteady flow structures and resulting forces that could augment the animal's lift and propulsive capabilities. This work isolates the heaving motion of flapping flight in order to numerically investigate the flow physics at a Reynolds number of 40,000, a regime typical for large birds and bats and challenging to simulate due to the added complexity of laminar to turbulent transition in which boundary layer separation and reattachment are traditionally more difficult to predict. Periodic heaving of a thin flat plate at fixed angles of attacks of 1, 5, 9, 13, and 18 degrees are simulated using a large-eddy simulation (LES). The heaving motion significantly increases the average lift compared with the steady flow, and also surpasses the quasi-steady predictions due to the formation of a leading edge vortex (LEV) that persists well into the static stall region. The progression of the high-lift mechanisms throughout the heaving cycle is presented over the range of angles of attack. Lift enhancement compared with the equivalent steady state flow was found to be up to 17% greater, and up to 24% greater than that predicted by a quasi-steady analysis. For the range of kinematics explored it is found that maximum lift enhancement occurs at an angle of attack of 13 degrees, with a maximum lift coefficient of 2.1, a mean lift coefficient of 1.04.


title: The Cluster-EAGLE project: global properties of simulated clusters with resolved galaxies

abstract: We introduce the Cluster-EAGLE (C-EAGLE) simulation project, a set of cosmological hydrodynamical zoom simulations of the formation of $30$ galaxy clusters in the mass range $10^{14}<M_{200}/\mathrm{M}_{\odot}<10^{15.4}$ that incorporates the Hydrangea sample of Bah\'e et al. (2017). The simulations adopt the state-of-the-art EAGLE galaxy formation model, with a gas particle mass of $1.8\times10^{6}\,\mathrm{M}_{\odot}$ and physical softening length of $0.7\,\mathrm{kpc}$. In this paper, we introduce the sample and present the low-redshift global properties of the clusters. We calculate the X-ray properties in a manner consistent with observational techniques, demonstrating the bias and scatter introduced by using estimated masses. We find the total stellar content and black hole masses of the clusters to be in good agreement with the observed relations. However, the clusters are too gas rich, suggesting that the AGN feedback model is not efficient enough at expelling gas from the high-redshift progenitors of the clusters. The X-ray properties, such as the spectroscopic temperature and the soft-band luminosity, and the Sunyaev-Zel'dovich properties are in reasonable agreement with the observed relations. However, the clusters have too high central temperatures and larger-than-observed entropy cores, which is likely driven by the AGN feedback after the cluster core has formed. The total metal content and its distribution throughout the ICM are a good match to the observations.


title: Quicksilver: Fast Predictive Image Registration - a Deep Learning Approach

abstract: This paper introduces Quicksilver, a fast deformable image registration method. Quicksilver registration for image-pairs works by patch-wise prediction of a deformation model based directly on image appearance. A deep encoder-decoder network is used as the prediction model. While the prediction strategy is general, we focus on predictions for the Large Deformation Diffeomorphic Metric Mapping (LDDMM) model. Specifically, we predict the momentum-parameterization of LDDMM, which facilitates a patch-wise prediction strategy while maintaining the theoretical properties of LDDMM, such as guaranteed diffeomorphic mappings for sufficiently strong regularization. We also provide a probabilistic version of our prediction network which can be sampled during the testing time to calculate uncertainties in the predicted deformations. Finally, we introduce a new correction network which greatly increases the prediction accuracy of an already existing prediction network. We show experimental results for uni-modal atlas-to-image as well as uni- / multi- modal image-to-image registrations. These experiments demonstrate that our method accurately predicts registrations obtained by numerical optimization, is very fast, achieves state-of-the-art registration results on four standard validation datasets, and can jointly learn an image similarity measure. Quicksilver is freely available as an open-source software.


title: A Rosenau-type approach to the approximation of the linear Fokker--Planck equation

abstract: {The numerical approximation of the solution of the Fokker--Planck equation is a challenging problem that has been extensively investigated starting from the pioneering paper of Chang and Cooper in 1970. We revisit this problem at the light of the approximation of the solution to the heat equation proposed by Rosenau in 1992. Further, by means of the same idea, we address the problem of a consistent approximation to higher-order linear diffusion equations.


title: Stabilization Bounds for Linear Finite Dynamical Systems

abstract: A common problem to all applications of linear finite dynamical systems is analyzing the dynamics without enumerating every possible state transition. Of particular interest is the long term dynamical behaviour. In this paper, we study the number of iterations needed for a system to settle on a fixed set of elements. As our main result, we present two upper bounds on iterations needed, and each one may be readily applied to a fixed point system test. The bounds are based on submodule properties of iterated images and reduced systems modulo a prime. We also provide examples where our bounds are optimal.


title: Combined effects of local and nonlocal hybridization on formation and condensation of excitons in the extended Falicov-Kimball model

abstract: We study the combined effects of local and nonlocal hybridization on the formation and condensation of the excitonic bound states in the extended Falicov-Kimball model by the density-matrix-renormalization-group (DMRG) method. Analysing the resultant behaviours of the excitonic momentum distribution $N(q)$ we found, that unlike the local hybridization $V$, which supports the formation of the $q=0$ momentum condensate, the nonlocal hybridization $V_n$ supports the formation of the $q=\pi$ momentum condensate. The combined effect of local and nonlocal hybridization further enhances the excitonic correlations in $q=0$ as well as $q=\pi$ state, especially for $V$ and $V_n$ values from the charge-density-wave (CDW) region. Strong effects of local and nonlocal hybridization are observed also for other ground-state quantities of the model such as the $f$-electron density, or the density of unbound $d$-electrons, which are generally enhanced with increasing $V$ and $V_n$. The same calculations performed for nonzero values of $f$-level energy $E_f$ revealed that this model can yield a reasonable explanation for the pressure-induced resistivity anomaly observed experimentally in $TmSe_{0.45}Te_{0.55}$ compound.


title: Bivariant $KK$-Theory and the Baum-Connes conjecure

abstract: This is a survey on Kasparov's bivariant $KK$-theory in connection with the Baum-Connes conjecture on the $K$-theory of crossed products $A\rtimes_rG$ by actions of a locally compact group $G$ on a C*-algebra $A$. In particular we shall discuss Kasparov's Dirac dual-Dirac method as well as the permanence properties of the conjecture and the "Going-Down principle" for the left hand side of the conjecture, which often allows to reduce $K$-theory computations for $A\rtimes_rG$ to computations for crossed products by compact subgroups of $G$. We give several applications for this principle including a discussion of a method developed by Cuntz, Li and the author for explicit computations of the $K$-theory groups of crossed products for certain group actions on totally disconnected spaces. This provides an important tool for the computation of $K$-theory groups of semi-group C*-algebras.


title: Algebraic Independence Relations in Randomizations

abstract: We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations $T^R$ of complete first order theories $T$. If algebraic and definable closure coincide in $T$, then algebraic independence in $T^R$ satisfies extension and has local character with the smallest possible bound, but has neither finite character nor base monotonicity. For arbitrary $T$, pointwise algebraic independence in $T^R$ satisfies extension for countable sets, has finite character, has local character with the smallest possible bound, and satisfies base monotonicity if and only if algebraic independence in $T$ does.


title: Unraveling a Structure-Property Relationship for Methylammonium Lead/Tin Trihalide Organic-Inorganic Hybrid Perovskite Solar Cells

abstract: The esoteric importance of intermolecular hydrogen bonding interaction to design novel methylammonium trihalide organic-inorganic hybrid perovskite solar cell materials is uncovered, establishing the unified structure-property relationship between the calculated Y...H intermolecular hydrogen bonding distance and the experimentally reported onset of optical absorption (bandgap) for the bulk geometries of the ten-membered methylammonium lead trihalide (CH3NH3PbY3) perovskite solar cell series, where Y = X (X = Cl, Br, I) and the mixed halogen derivatives. The same relationship is also revealed for the ten-membered methylammonium tin trihalide (CH3NH3SnY3) perovskite solar cell series. The relationship unequivocally demonstrates that the intermolecular hydrogen bonding interaction does not only enforce the aforesaid materials to become functional for optoelectronic application, but also serve as an asset to partially address the often debated question what is the role played by the CH3NH3+ organic cation.


title: Provisioning Low Latency, Resilient Mobile Edge Clouds for 5G

abstract: Network virtualization and SDN-based routing allow carriers to flexibly configure their networks in response to demand and unexpected network disruptions. However, cellular networks, by nature, pose some unique challenges because of user mobility and control/data plane partitioning, which calls for new architectures and provisioning paradigms. In this paper, we address the latter part by devising algorithms that can provision the data plane to create a distributed Mobile Edge Cloud (MEC), which provides opportunities for lower latencies and increased resilience (through placement of network functions at more distributed datacenter locations) and accounts for service disruption that could be incurred because of user mobility between the service areas of different datacenters. Through evaluations with topology and traffic data from a major carriers's network, we show that, compared to static, centralized networks, careful virtualized provisioning can yield significant savings in network costs while still minimizing service disruption due to mobility. We demonstrate that up to a 75% reduction in redundant datacenter capacity over the operator's current topology (while achieving the same level of resilience) is possible by distributing load over many mobile cloud datacenters.


title: A Fermionic bi-Doublet Effective Field Theory for Dark Matter

abstract: We study an effective field theory which includes the Standard Model extended by a Dark Sector consisting of two fermionic $SU(2)_{L}$-doublets. A $Z_2$ parity guarantees that, after electroweak symmetry breaking, the lightest neutral particle is stable, acting as a WIMP. The dark sector interacts with the Higgs and gauge bosons through renormalizable and non-renormalizable $d=5$ operators. We find that a WIMP with a mass around the electroweak scale, i.e. accessible at the LHC, is consistent with collider and astrophysical data only when non-trivial magnetic dipole interactions with the gauge bosons exist.


title: Boundedness results for 2-adic Galois images associated to hyperelliptic Jacobians

abstract: Let $K$ be a number field, and let $C$ be a hyperelliptic curve over $K$ with Jacobian $J$. Suppose that $C$ is defined by an equation of the form $y^{2} = f(x)(x - \lambda)$ for some irreducible monic polynomial $f \in \mathcal{O}_{K}[x]$ of discriminant $\Delta$ and some element $\lambda \in \mathcal{O}_{K}$. Our first main result says that if there is a prime $\mathfrak{p}$ of $K$ dividing $(f(\lambda))$ but not $(2\Delta)$, then the image of the natural $2$-adic Galois representation is open in $\mathrm{GSp}(T_{2}(J))$ and contains a certain congruence subgroup of $\mathrm{Sp}(T_{2}(J))$ depending on the maximal power of $\mathfrak{p}$ dividing $(f(\lambda))$. We also present and prove a variant of this result that applies when $C$ is defined by an equation of the form $y^{2} = f(x)(x - \lambda)(x - \lambda')$ for distinct elements $\lambda, \lambda' \in K$. We then show that the hypothesis in the former statement holds for almost all $\lambda \in \mathcal{O}_{K}$ and prove a quantitative form of a uniform boundedness result of Cadoret and Tamagawa.


title: Unlocking of predicate: application to non-anticipating selections

abstract: We consider an approach to constructing a non-anticipating selection of a multivalued mapping; such a problem arises in control theory under conditions of uncertainty. The approach is called "unlocking of predicate" and consists in the reduction of finding the truth set of a predicate to searching fixed points of some mappings. Unlocking of predicate gives an extra opportunity to analyze the truth set and to build its elements with desired properties. In this article, we outline how to build "unlocking mappings" for some general types of predicates: we give a formal definition of the predicate unlocking operation, the rules for the construction and calculation of "unlocking mappings" and their basic properties. As an illustration, we routinely construct two unlocking mappings for the predicate "be non-anticipating mapping" and then on this base we provide the expression for the greatest non-anticipating selection of a given multifunction.


title: Hard color singlet BFKL exchange and gaps between jets at the LHC

abstract: We explore the perturbative QCD dynamics of hard parton-parton scattering through the exchange of a color singlet two-gluon ladder as described by the BFKL equation, resulting in a rapidity gap between two high transverse momentum jets. Implementing this in a complete Monte Carlo event simulation that also accounts for additional QCD processes at softer scales provides dynamical modeling of gap survival probabilities, which makes possible a detailed comparison with data on such jet-gap-jet events. New data from CMS at the LHC extend the dynamic range of the previous Tevatron data, and can be reproduced reasonably well provided that the Soft Color Interaction model is modified based on the idea of reduced resolution power of softer gluon exchanges. This indicates the need for further theoretical developments in connection with other color exchange processes related to rapidity gaps in the hadronic final state.


title: On the Recovery of Core and Crustal Components of Geomagnetic Potential Fields

abstract: In Geomagnetism it is of interest to separate the Earth's core magnetic field from the crustal magnetic field. However, measurements by satellites can only sense the sum of the two contributions. In practice, the measured magnetic field is expanded in spherical harmonics and separation into crust and core contribution is achieved empirically, by a sharp cutoff in the spectral domain. In this paper, we derive a mathematical setup in which the two contributions are modeled by harmonic potentials $\Phi_0$ and $\Phi_1$ generated on two different spheres $\mathbb{S}_{R_0}$ (crust) and $\mathbb{S}_{R_1}$ (core) with radii $R_1<R_0$. Although it is not possible in general to recover $\Phi_0$ and $\Phi_1$ knowing their superposition $\Phi_0+\Phi_1$ on a sphere $\mathbb{S}_{R_2}$ with radius $R_2>R_0$, we show that it becomes possible if the magnetization $\mathbf{m}$ generating $\Phi_0$ is localized in a strict subregion of $\mathbb{S}_{R_0}$. Beyond unique recoverability, we show in this case how to numerically reconstruct characteristic features of $\Phi_0$ (e.g., spherical harmonic Fourier coefficients). An alternative way of phrasing the results is that knowledge of $\mathbf{m}$ on a nonempty open subset of $\mathbb{S}_{R_0}$ allows one to perform separation.


title: Temperature Dependence of the Anisotropy Field of L10 FePt near the Curie Temperature

abstract: Near the Curie temperature the anisotropy field of magnetically uniaxial L10 FePt is expected to follow the scaling law $(1-T/Tc)^\beta$ where $T$ is the temperature and $T_c$ the Curie temperature. In the literature $\beta$ values between 0.36 and 0.65 have been reported. Based on recording measurements and micromagnetic analysis, we show that only the values of $\beta$ near the low end of the reported range are compatible with the data. We also conclude that thermally activated magnetization reversal at temperatures near $T_c$ cannot be ignored, even at time scales smaller than 1 ns. We demonstrate that thermally activated magnetization reversal at temperatures close to $T_c$ is well described by conventional theory with a frequency factor $f_0$ of the order of $10^{12}$ Hz. It is reasoned that the unusually high value for $f_0$ is a consequence of the temperature-induced reduction of the degree of alignment of the micro-spins within the grains.


title: Topology of automorphism groups of parabolic geometries

abstract: We prove for the automorphism group of an arbitrary parabolic geometry that the $C^0$ and $C^{\infty}$ topologies coincide, and the group admits the structure of a Lie group in this topology. We further show that this automorphism group is closed in the homeomorphism group of the underlying manifold.


title: Probing Noncommutativities of Phase Space by Using Persistent Charged Current and Its Asymmetry

abstract: We study the physical properties of the persistent charged current in a metal ring on a noncommutative phase space, and temperature dependence of the noncommutative corrections are also analyzed. We find that the coordinate noncommutativity only affects the total magnitude of the current, and it is difficult to observe it. In contrast, the momentum noncommutativity can violate symmetry property of the current, and this violation of symmetry holds at a finite temperature. Based on this violation effect, we introduce an asymmetry observable to measure the momentum noncommutativity.


title: The Neutrino Option

abstract: The minimal seesaw scenario can radiatively generate the Higgs potential to induce electroweak symmetry breaking while supplying an origin of the Higgs vacuum expectation value from an underlying Majorana scale. If the Higgs potential and (derived) electroweak scale have this origin, the heavy $\rm SU(3) \times SU(2) \times U(1)_Y$ singlet states are expected to reside at $m_N \sim 10-500 \, {\rm PeV} $ for couplings $|\omega| \sim 10^{-4.5}-10^{-6}$ between the Majorana sector and the Standard Model. In this framework, the challenge of the electroweak scale hierarchy problem is replaced with a need to generate or accommodate PeV Majorana mass scales in ultraviolet models; the usual hierarchy problem is absent as the electroweak scale is not a fundamental scale.


title: Naturally realized two dark Z's near the electroweak scale

abstract: Chiral representations are the key in obtaining light fermions from some ultra-violet completed theories. The well-known chiral example is one family set of fifteen chiral fields in the standard model. We find a new chiral theory SU(2)$_{\rm dark}\times$U(1)$_Q$ with sixteen chiral fields, which does not have any gauge and gravitational anomalies. The group SU(2)$_{\rm dark}\times$U(1)$_Q$ may belong to the dark sector, and we present a derivation of the spectrum from the E$_8\times$E$_8'$ hetrotic string. Necessarily, there appear two degrees at low energy: two dark Z's, or a dark Z plus a dark-photon. Being chiral, there is a chance to probe this theory at TeV accelerators. Since the model belongs to the dark sector, the way to probe it is through the kinetic mixing.


title: EMULATOR vs REAL PHONE: Android Malware Detection Using Machine Learning

abstract: The Android operating system has become the most popular operating system for smartphones and tablets leading to a rapid rise in malware. Sophisticated Android malware employ detection avoidance techniques in order to hide their malicious activities from analysis tools. These include a wide range of anti-emulator techniques, where the malware programs attempt to hide their malicious activities by detecting the emulator. For this reason, countermeasures against antiemulation are becoming increasingly important in Android malware detection. Analysis and detection based on real devices can alleviate the problems of anti-emulation as well as improve the effectiveness of dynamic analysis. Hence, in this paper we present an investigation of machine learning based malware detection using dynamic analysis on real devices. A tool is implemented to automatically extract dynamic features from Android phones and through several experiments, a comparative analysis of emulator based vs. device based detection by means of several machine learning algorithms is undertaken. Our study shows that several features could be extracted more effectively from the on-device dynamic analysis compared to emulators. It was also found that approximately 24% more apps were successfully analysed on the phone. Furthermore, all of the studied machine learning based detection performed better when applied to features extracted from the on-device dynamic analysis.


title: Feature functional theory - binding predictor (FFT-BP) for the blind prediction of binding free energies

abstract: We present a feature functional theory - binding predictor (FFT-BP) for the protein-ligand binding affinity prediction. The underpinning assumptions of FFT-BP are as follows: i) representability: there exists a microscopic feature vector that can uniquely characterize and distinguish one protein-ligand complex from another; ii) feature-function relationship: the macroscopic features, including binding free energy, of a complex is a functional of microscopic feature vectors; and iii) similarity: molecules with similar microscopic features have similar macroscopic features, such as binding affinity. Physical models, such as implicit solvent models and quantum theory, are utilized to extract microscopic features, while machine learning algorithms are employed to rank the similarity among protein-ligand complexes. A large variety of numerical validations and tests confirms the accuracy and robustness of the proposed FFT-BP model. The root mean square errors (RMSEs) of FFT-BP blind predictions of a benchmark set of 100 complexes, the PDBBind v2007 core set of 195 complexes and the PDBBind v2015 core set of 195 complexes are 1.99, 2.02 and 1.92 kcal/mol, respectively. Their corresponding Pearson correlation coefficients are 0.75, 0.80, and 0.78, respectively.


title: Relaxation dynamics of modulated magnetic phases in skyrmion host GaV4S8: an ac magnetic susceptibility study

abstract: We report on the slow magnetization dynamics observed upon the magnetic phase transitions of GaV4S8, a multiferroic compound featuring a long-ranged cycloidal magnetic order and a N\'eel-type skyrmion lattice in a relatively broad temperature range below its Curie temperature. The fundamental difference between GaV4S8 and the chiral helimagnets, wherein the skyrmion phase was first discovered, lies within the polar symmetry of GaV4S8, promoting a cycloidal instead of a helical magnetic order and rendering the magnetic phase diagram essentially different from that in the cubic helimagnets. Our ac magnetic susceptibility study reveals slow relaxation dynamics at the field-driven phase transitions between the cycloidal, skyrmion lattice and field-polarized states. At each phase boundary, the characteristic relaxation times were found to exhibit a strong temperature dependence, starting from the minute range at low temperatures, decreasing to the micro- to millisecond range at higher temperatures.


title: Amoeboid-mesenchymal migration plasticity promotes invasion only in complex heterogeneous microenvironments

abstract: During tissue invasion individual tumor cells exhibit two interconvertible migration modes, namely mesenchymal and amoeboid migration. The cellular microenvironment triggers the switch between both modes, thereby allowing adaptation to dynamic conditions. It is, however, unclear if this amoeboid-mesenchymal migration plasticity contributes to a more effective tumor invasion. We address this question with a mathematical model, where the amoeboid-mesenchymal migration plasticity is regulated in response to local extracellular matrix resistance. Our numerical analysis reveals that extracellular matrix structure and presence of a chemotactic gradient are key determinants of the model behavior. Only in complex microenvironments, if the extracellular matrix is highly heterogeneous and a chemotactic gradient directs migration, the amoeboid-mesenchymal migration plasticity allows a more widespread invasion compared to the non-switching amoeboid and mesenchymal modes. Importantly, these specific conditions are characteristic for in vivo tumor invasion. Thus, our study suggests that \emph{in vitro} systems aiming at unraveling the underlying molecular mechanisms of tumor invasion should take into account the complexity of the microenvironment by considering the combined effects of structural heterogeneities and chemical gradients on cell migration.


title: The Rytov Approximation in Electron Scattering

abstract: In this work we introduce the Rytov approximation in the scope of high-energy electron scattering with the motivation of developing better linear models for electron scattering. Such linear models play an important role in tomography and similar reconstruction techniques. Conventional linear models, such as the Phase Grating Approximation, have reached their limits in current and forsee- able applications, most importantly in achieving three-dimensional atomic resolution using electron holographic tomography. The Rytov approximation incorporates propagation effects which are the most pressing limitation of conventional models. While predominately used in the weak-scattering regime of light microscopy we show that the Rytov approximation can give reasonable results in the inherently strong-scattering regime of transmission electron microscopy.


title: Sentence Simplification with Deep Reinforcement Learning

abstract: Sentence simplification aims to make sentences easier to read and understand. Most recent approaches draw on insights from machine translation to learn simplification rewrites from monolingual corpora of complex and simple sentences. We address the simplification problem with an encoder-decoder model coupled with a deep reinforcement learning framework. Our model, which we call {\sc Dress} (as shorthand for {\bf D}eep {\bf RE}inforcement {\bf S}entence {\bf S}implification), explores the space of possible simplifications while learning to optimize a reward function that encourages outputs which are simple, fluent, and preserve the meaning of the input. Experiments on three datasets demonstrate that our model outperforms competitive simplification systems.


title: Unifying Message Passing Algorithms Under the Framework of Constrained Bethe Free Energy Minimization

abstract: Variational message passing (VMP), belief propagation (BP) and expectation propagation (EP) have found their wide applications in complex statistical signal processing problems. In addition to viewing them as a class of algorithms operating on graphical models, this paper unifies them under an optimization framework, namely, Bethe free energy minimization with differently and appropriately imposed constraints. This new perspective in terms of constraint manipulation can offer additional insights on the connection between different message passing algorithms and is valid for a generic statistical model. It also founds a theoretical framework to systematically derive message passing variants. Taking the sparse signal recovery (SSR) problem as an example, a low-complexity EP variant can be obtained by simple constraint reformulation, delivering better estimation performance with lower complexity than the standard EP algorithm. Furthermore, we can resort to the framework for the systematic derivation of hybrid message passing for complex inference tasks. Notably, a hybrid message passing algorithm is exemplarily derived for joint SSR and statistical model learning with near-optimal inference performance and scalable complexity.


title: Measurement of the Shared Momentum Fraction $z_g$ using Jet Reconstruction in p+p and Au+Au Collisions with STAR

abstract: One key difference in current energy loss models lies in the treatment of the Altarelli-Parisi, AP, splitting functions. It has been shown that the shared momentum fraction, henceforth called Jet Splitting Function $z_g$ as determined by the SoftDrop grooming process can be made a Sudakov-safe measurement of the symmetrized AP functions in p+p collisions. The STAR collaboration presents the first $z_g$ measurements at $\sqrt{s_{NN}}=200$ GeV in p+p and Au+Au collisions, where in Au+Au we use the specific di-jet selection introduced in our previous momentum imbalance measurement. For a jet resolution parameter of $R=0.4$, these di-jet pairs were found to be significantly imbalanced with respect to p+p, yet regained balance when all soft constituents were included. We find that within uncertainties there are no signs of a modified Jet Splitting Function on trigger or recoil side of this di-jet selection.


title: Exposing Twitter Users to Contrarian News

abstract: Polarized topics often spark discussion and debate on social media. Recent studies have shown that polarized debates have a specific clustered structure in the endorsement net- work, which indicates that users direct their endorsements mostly to ideas they already agree with. Understanding these polarized discussions and exposing social media users to content that broadens their views is of paramount importance. The contribution of this demonstration is two-fold. (i) A tool to visualize retweet networks about controversial issues on Twitter. By using our visualization, users can understand how polarized discussions are shaped on Twitter, and explore the positions of the various actors. (ii) A solution to reduce polarization of such discussions. We do so by exposing users to information which presents a contrarian point of view. Users can visually inspect our recommendations and understand why and how these would play out in terms of the retweet network. Our demo (https://users.ics.aalto.fi/kiran/reducingControversy/ homepage) provides one of the first steps in developing automated tools that help users explore, and possibly escape, their echo chambers. The ideas in the demo can also help content providers design tools to broaden their reach to people with different political and ideological backgrounds.


title: The Risk of Machine Learning

abstract: Many applied settings in empirical economics involve simultaneous estimation of a large number of parameters. In particular, applied economists are often interested in estimating the effects of many-valued treatments (like teacher effects or location effects), treatment effects for many groups, and prediction models with many regressors. In these settings, machine learning methods that combine regularized estimation and data-driven choices of regularization parameters are useful to avoid over-fitting. In this article, we analyze the performance of a class of machine learning estimators that includes ridge, lasso and pretest in contexts that require simultaneous estimation of many parameters. Our analysis aims to provide guidance to applied researchers on (i) the choice between regularized estimators in practice and (ii) data-driven selection of regularization parameters. To address (i), we characterize the risk (mean squared error) of regularized estimators and derive their relative performance as a function of simple features of the data generating process. To address (ii), we show that data-driven choices of regularization parameters, based on Stein's unbiased risk estimate or on cross-validation, yield estimators with risk uniformly close to the risk attained under the optimal (unfeasible) choice of regularization parameters. We use data from recent examples in the empirical economics literature to illustrate the practical applicability of our results.


title: Prediction of infectious disease epidemics via weighted density ensembles

abstract: Accurate and reliable predictions of infectious disease dynamics can be valuable to public health organizations that plan interventions to decrease or prevent disease transmission. A great variety of models have been developed for this task, using different model structures, covariates, and targets for prediction. Experience has shown that the performance of these models varies; some tend to do better or worse in different seasons or at different points within a season. Ensemble methods combine multiple models to obtain a single prediction that leverages the strengths of each model. We considered a range of ensemble methods that each form a predictive density for a target of interest as a weighted sum of the predictive densities from component models. In the simplest case, equal weight is assigned to each component model; in the most complex case, the weights vary with the region, prediction target, week of the season when the predictions are made, a measure of component model uncertainty, and recent observations of disease incidence. We applied these methods to predict measures of influenza season timing and severity in the United States, both at the national and regional levels, using three component models. We trained the models on retrospective predictions from 14 seasons (1997/1998 - 2010/2011) and evaluated each model's prospective, out-of-sample performance in the five subsequent influenza seasons. In this test phase, the ensemble methods showed overall performance that was similar to the best of the component models, but offered more consistent performance across seasons than the component models. Ensemble methods offer the potential to deliver more reliable predictions to public health decision makers.


title: Towards a complete classification of fermionic symmetry protected topological phases in 3D and a general group supercohomology theory

abstract: Classification and construction of symmetry protected topological (SPT) phases in interacting boson and fermion systems have become a fascinating theoretical direction in recent years. It has been shown that the (generalized) group cohomology theory or cobordism theory can give rise to a complete classification of SPT phases in interacting boson/spin systems. Nevertheless, the construction and classification of SPT phases in interacting fermion systems are much more complicated, especially in 3D. In this work, we revisit this problem based on the equivalent class of fermionic symmetric local unitary (FSLU) transformations. We construct very general fixed point SPT wavefunctions for interacting fermion systems. We naturally reproduce the partial classifications given by special group super-cohomology theory, and we show that with an additional $\tilde{B}H^2(G_b, \mathbb Z_2)$ (the so-called obstruction free subgroup of $H^2(G_b, \mathbb Z_2)$) structure, a complete classification of SPT phases for three-dimensional interacting fermion systems with a total symmetry group $G_f=G_b\times \mathbb Z_2^f$ can be obtained for unitary symmetry group $G_b$. We also discuss the procedure of deriving a general group super-cohomology theory in arbitrary dimensions.


title: On repetitive right application of B-terms

abstract: B-terms are built from the B combinator alone defined by B f g x = f (g x), which is well-known as a function composition operator. This paper investigates an interesting property of B-terms, that is, whether repetitive right applications of a B-term circulates or not. We discuss conditions for B-terms to and not to have the property through a sound and complete equational axiomatization. Specifically, we give examples of B-terms which have the property and show that there are infinitely many B-terms which does not have the property. Also, we introduce a canonical representation of B-terms that is useful to detect cycles, or equivalently, to prove the property, with an efficient algorithm.


title: A Fourier-Chebyshev Spectral Method for Cavitation Computation in Nonlinear Elasticity

abstract: A Fourier-Chebyshev spectral method is proposed in this paper for solving the cavitation problem in nonlinear elasticity. The interpolation error for the cavitation solution is analyzed, the elastic energy error estimate for the discrete cavitation solution is obtained, and the convergence of the method is proved. An algorithm combined a gradient type method with a damped quasi-Newton method is applied to solve the discretized nonlinear equilibrium equations. Numerical experiments show that the Fourier-Chebyshev spectral method is efficient and capable of producing accurate numerical cavitation solutions.


title: Consistent estimation in Cox proportional hazards model with measurement errors and unbounded parameter set

abstract: Cox proportional hazards model with measurement error is investigated. In Kukush et al. (2011) [Journal of Statistical Research 45, 77-94] and Chimisov and Kukush (2014) [Modern Stochastics: Theory and Applications 1, 13-32] asymptotic properties of simultaneous estimator $\lambda_n(\cdot)$, $\beta_n$ were studied for baseline hazard rate $\lambda(\cdot)$ and regression parameter $\beta$, at that the parameter set $\Theta=\Theta_{\lambda}\times \Theta_{\beta}$ was assumed bounded. In the present paper, the set $\Theta_{\lambda}$ is unbounded from above and not separated away from $0$. We construct the estimator in two steps: first we derive a strongly consistent estimator and then modify it to provide its asymptotic normality.


title: Nuclear dependence of the transverse-single-spin asymmetry for forward neutron production in polarized $p$$+$$A$ collisions at $\sqrt{s_{_{NN}}}=200$ GeV

abstract: During 2015 the Relativistic Heavy Ion Collider (RHIC) provided collisions of transversely polarized protons with Au and Al nuclei for the first time, enabling the exploration of transverse-single-spin asymmetries with heavy nuclei. Large single-spin asymmetries in very forward neutron production have been previously observed in transversely polarized $p$$+$$p$ collisions at RHIC, and the existing theoretical framework that was successful in describing the single-spin asymmetry in $p$$+$$p$ collisions predicts only a moderate atomic-mass-number ($A$) dependence. In contrast, the asymmetries observed at RHIC in $p$$+$$A$ collisions showed a surprisingly strong $A$ dependence in inclusive forward neutron production. The observed asymmetry in $p$$+$Al collisions is much smaller, while the asymmetry in $p$$+$Au collisions is a factor of three larger in absolute value and of opposite sign. The interplay of different neutron production mechanisms is discussed as a possible explanation of the observed $A$ dependence.


title: Separable commutative rings in the stable module category of cyclic groups

abstract: We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module category and of the stable module category of any finite group.


title: A resource theory of superposition

abstract: The superposition principle lies at the heart of many non-classical properties of quantum mechanics. Motivated by this, we introduce a rigorous resource theory framework for the quantification of superposition of a finite number of linear independent states. This theory is a generalization of resource theories of coherence. We determine the general structure of operations which do not create superposition, find an elementary connection to unambiguous state discrimination, and propose several general quantitative superposition measures. We show that several main results from resource theories of coherence still hold in our more general setting. Of special importance are two results about the free completion of trace decreasing operations and the free probabilistic transformation between pure states that are also valid for the special case of coherence.


title: Sensitivity of Love and quasi-Rayleigh waves to model parameters

abstract: We examine the sensitivity of the Love and the quasi-Rayleigh waves to model parameters. Both waves are guided waves that propagate in the same model of an elastic layer above an elastic halfspace. We study their dispersion curves without any simplifying assumptions, beyond the standard approach of elasticity theory in isotropic media. We examine the sensitivity of both waves to elasticity parameters, frequency and layer thickness, for varying frequency and different modes. In the case of Love waves, we derive and plot the absolute value of a dimensionless sensitivity coefficient in terms of partial derivatives, and perform an analysis to find the optimum frequency for determining the layer thickness. For a coherency of the background information, we briefly review the Love-wave dispersion relation and provide details of the less common derivation of the quasi-Rayleigh relation in an appendix. We compare that derivation to past results in the literature, finding certain discrepancies among them.


title: Petahertz optical response in graphene

abstract: The temporal dynamics of charge carriers determines the speed with which electronics can be realized in condensed matter, and their direct manipulation with optical fields promises electronic processing at unprecedented petahertz frequencies, consisting in a million-fold increase from state of the art technology. Graphene is of particular interest for the implementation of petahertz optoelectronics due to its unique transport properties, such as high carrier mobility with near-ballistic transport and exceptionally strong coupling to optical fields. The back action of carriers in response to an optical field is therefore of key importance towards applications. Here we investigate the instantaneous response of graphene to petahertz optical fields and elucidate the role of hot carriers on a sub-100 fs timescale. Measurements of the nonlinear response and its dependence on interaction time and field polarization allow us to identify the back action of hot carriers over timescales that are commensurate with the optical field. An intuitive picture is given for the carrier trajectories in response to the optical-field polarization state. We note that the peculiar interplay between optical fields and charge carriers in graphene may also apply to surface states in topological insulators with similar Dirac cone dispersion relations.


title: Dynamical structure of entangled polymers simulated under shear flow

abstract: The non-linear response of entangled polymers to shear flow is complicated. Its current understanding is framed mainly as a rheological description in terms of the complex viscosity. However, the full picture requires an assessment of the dynamical structure of individual polymer chains which give rise to the macroscopic observables. Here we shed new light on this problem, using a computer simulation based on a blob model, extended to describe shear flow in polymer melts and semi-dilute solutions. We examine the diffusion and the intermediate scattering spectra during a steady shear flow. The relaxation dynamics are found to speed up along the flow direction, but slow down along the shear gradient direction. The third axis, vorticity, shows a slowdown at the short scale of a tube, but reaches a net speedup at the large scale of the chain radius of gyration.


title: Geometric counting on wavefront real spherical spaces

abstract: We provide $L^p$-versus $L^\infty$-bounds for eigenfunctions on a real spherical space $Z$ of wavefront type. It is shown that these bounds imply a non-trivial error term estimate for lattice counting on $Z$. The paper also serves as an introduction to geometric counting on spaces of the mentioned type. Section 7 on higher rank is new and extends the result from v1 to higher rank. Final version. To appear in Acta Math. Sinica.


title: Evidence of evolutionary selection for co-translational folding

abstract: Recent experiments and simulations have demonstrated that proteins can fold on the ribosome. However, the extent and generality of fitness effects resulting from co-translational folding remain open questions. Here we report a genome-wide analysis that uncovers evidence of evolutionary selection for co-translational folding. We describe a robust statistical approach to identify loci within genes that are both significantly enriched in slowly translated codons and evolutionarily conserved. Surprisingly, we find that domain boundaries can explain only a small fraction of these conserved loci. Instead, we propose that regions enriched in slowly translated codons are associated with co-translational folding intermediates, which may be smaller than a single domain. We show that the intermediates predicted by a native-centric model of co-translational folding account for the majority of these loci across more than 500 E. coli proteins. By making a direct connection to protein folding, this analysis provides strong evidence that many synonymous substitutions have been selected to optimize translation rates at specific locations within genes. More generally, our results indicate that kinetics, and not just thermodynamics, can significantly alter the efficiency of self-assembly in a biological context.


title: Broadband terahertz emission from two-color fs-laser-induced microplasmas

abstract: We investigate terahertz emission from two-color fs-laser-induced microplasmas. Under strongest focusing conditions, microplasmas are shown to act as point-sources for broadband terahertz-to-far-infrared radiation, where the emission bandwidth is determined by the plasma density. Semi-analytical modeling allows us to identify scaling laws with respect to important laser parameters. In particular, we find that the optical-to-THz conversion efficiency crucially depends on the focusing conditions. We use this insight to demonstrate by means of Maxwell-consistent 3D simulations, that for only 10-$\mu$J laser energy a conversion efficiency well above $10^{-4}$ can be achieved.