title: Causal Effect Identification from Multiple Incomplete Data Sources: A General Search-based Approach

abstract: Causal effect identification considers whether an interventional probability distribution can be uniquely determined without parametric assumptions from measured source distributions and structural knowledge on the generating system. While complete graphical criteria and procedures exist for many identification problems, there are still challenging but important extensions that have not been considered in the literature. To tackle these new settings, we present a search algorithm directly over the rules of do-calculus. Due to generality of do-calculus, the search is capable of taking more advanced data-generating mechanisms into account along with an arbitrary type of both observational and experimental source distributions. The search is enhanced via a heuristic and search space reduction techniques. The approach, called do-search, is provably sound, and it is complete with respect to identifiability problems that have been shown to be completely characterized by do-calculus. When extended with additional rules, the search is capable of handling missing data problems as well. With the versatile search, we are able to approach new problems such as combined transportability and selection bias, or multiple sources of selection bias. We perform a systematic analysis of bivariate missing data problems and study causal inference under case-control design. We also present the R package dosearch that provides an interface for a C++ implementation of the search.


title: Integrated collinear refractive index sensor with Ge PIN photodiodes

abstract: Refractive index sensing is a highly sensitive and label-free detection method for molecular binding events. Commercial implementations of biosensing concepts based on plasmon resonances typically require significant external instrumentation such as microscopes and spectrometers. Few concepts exist that are based on direct integration of plasmonic nanostructures with optoelectronic devices for on-chip integration. Here, we present a CMOS-compatible refractive index sensor consisting of a Ge heterostructure PIN diode in combination with a plasmonic nanohole array structured directly into the diode Al contact metallization. In our devices, the photocurrent can be used to detect surface refractive index changes under simple top illumination and without the aid of signal amplification circuitry. Our devices exhibit large sensitivities > 1000 nm per refractive index unit in bulk refractive index sensing and could serve as prototypes to leverage the cost-effectiveness of the CMOS platform for ultra-compact, low-cost biosensors.


title: Numerical performance of Penalized Comparison to Overfitting for multivariate kernel density estimation

abstract: Kernel density estimation is a well known method involving a smoothing parameter (the bandwidth) that needs to be tuned by the user. Although this method has been widely used the bandwidth selection remains a challenging issue in terms of balancing algorithmic performance and statistical relevance. The purpose of this paper is to compare a recently developped bandwidth selection method for kernel density estimation to those which are commonly used by now (at least those which are implemented in the R-package). This new method is called Penalized Comparison to Overfitting (PCO). It has been proposed by some of the authors of this paper in a previous work devoted to its statistical relevance from a purely theoretical perspective. It is compared here to other usual bandwidth selection methods for univariate and also multivariate kernel density estimation on the basis of intensive simulation studies. In particular, cross-validation and plug-in criteria are numerically investigated and compared to PCO. The take home message is that PCO can outperform the classical methods without algorithmic additionnal cost.


title: Regulating TNCs: Should Uber and Lyft Set Their Own Rules?

abstract: We evaluate the impact of three proposed regulations of transportation network companies (TNCs) like Uber, Lyft and Didi: (1) a minimum wage for drivers, (2) a cap on the number of drivers or vehicles, and (3) a per-trip congestion tax. The impact is assessed using a queuing theoretic equilibrium model which incorporates the stochastic dynamics of the app-based ride-hailing matching platform, the ride prices and driver wages established by the platform, and the incentives of passengers and drivers. We show that a floor placed under driver earnings pushes the ride-hailing platform to hire more drivers and offer more rides, at the same time that passengers enjoy faster rides and lower total cost, while platform rents are reduced. Contrary to standard economic theory, enforcing a minimum wage for drivers benefits both drivers and passengers, and promotes the efficiency of the entire system. This surprising outcome holds for almost all model parameters, and it occurs because the wage floors curbs TNC labor market power. In contrast to a wage floor, imposing a cap on the number of vehicles hurts drivers, because the platform reaps all the benefits of limiting supply. The congestion tax has the expected impact: fares increase, wages and platform revenue decrease. We also construct variants of the model to briefly discuss platform subsidy, platform competition, and autonomous vehicles.


title: Jumping Manifolds: Geometry Aware Dense Non-Rigid Structure from Motion

abstract: Given dense image feature correspondences of a non-rigidly moving object across multiple frames, this paper proposes an algorithm to estimate its 3D shape for each frame. To solve this problem accurately, the recent state-of-the-art algorithm reduces this task to set of local linear subspace reconstruction and clustering problem using Grassmann manifold representation \cite{kumar2018scalable}. Unfortunately, their method missed on some of the critical issues associated with the modeling of surface deformations, for e.g., the dependence of a local surface deformation on its neighbors. Furthermore, their representation to group high dimensional data points inevitably introduce the drawbacks of categorizing samples on the high-dimensional Grassmann manifold \cite{huang2015projection, harandi2014manifold}. Hence, to deal with such limitations with \cite{kumar2018scalable}, we propose an algorithm that jointly exploits the benefit of high-dimensional Grassmann manifold to perform reconstruction, and its equivalent lower-dimensional representation to infer suitable clusters. To accomplish this, we project each Grassmannians onto a lower-dimensional Grassmann manifold which preserves and respects the deformation of the structure w.r.t its neighbors. These Grassmann points in the lower-dimension then act as a representative for the selection of high-dimensional Grassmann samples to perform each local reconstruction. In practice, our algorithm provides a geometrically efficient way to solve dense NRSfM by switching between manifolds based on its benefit and usage. Experimental results show that the proposed algorithm is very effective in handling noise with reconstruction accuracy as good as or better than the competing methods.


title: Saliency Tubes: Visual Explanations for Spatio-Temporal Convolutions

abstract: Deep learning approaches have been established as the main methodology for video classification and recognition. Recently, 3-dimensional convolutions have been used to achieve state-of-the-art performance in many challenging video datasets. Because of the high level of complexity of these methods, as the convolution operations are also extended to additional dimension in order to extract features from them as well, providing a visualization for the signals that the network interpret as informative, is a challenging task. An effective notion of understanding the network's inner-workings would be to isolate the spatio-temporal regions on the video that the network finds most informative. We propose a method called Saliency Tubes which demonstrate the foremost points and regions in both frame level and over time that are found to be the main focus points of the network. We demonstrate our findings on widely used datasets for third-person and egocentric action classification and enhance the set of methods and visualizations that improve 3D Convolutional Neural Networks (CNNs) intelligibility.


title: Optimal treatment for a phase field system of Cahn-Hilliard type modeling tumor growth by asymptotic scheme

abstract: We consider a particular phase field system which physical context is that of tumor growth dynamics. The model we deal with consists of a Cahn-Hilliard type equation governing the evolution of the phase variable which takes into account the tumor cells proliferation in the tissue coupled with a reaction-diffusion equation for the nutrient. This model has already been investigated from the viewpoint of well-posedness, long time behavior, and asymptotic analyses as some parameters go to zero. Starting from these results, we aim to face a related optimal control problem by employing suitable asymptotic schemes. In this direction, further assumptions have to be required. Mainly, we ought to impose some quite general growth conditions for the involved potential and a smallness restriction for a parameter appearing in the system we are going to face. We provide existence of optimal controls and a necessary condition that an optimal control has to satisfy has been characterized as well.


title: Predictive Uncertainty Quantification with Compound Density Networks

abstract: Despite the huge success of deep neural networks (NNs), finding good mechanisms for quantifying their prediction uncertainty is still an open problem. Bayesian neural networks are one of the most popular approaches to uncertainty quantification. On the other hand, it was recently shown that ensembles of NNs, which belong to the class of mixture models, can be used to quantify prediction uncertainty. In this paper, we build upon these two approaches. First, we increase the mixture model's flexibility by replacing the fixed mixing weights by an adaptive, input-dependent distribution (specifying the probability of each component) represented by NNs, and by considering uncountably many mixture components. The resulting class of models can be seen as the continuous counterpart to mixture density networks and is therefore referred to as compound density networks (CDNs). We employ both maximum likelihood and variational Bayesian inference to train CDNs, and empirically show that they yield better uncertainty estimates on out-of-distribution data and are more robust to adversarial examples than the previous approaches.


title: VHE Gamma-ray Observation of Crab Nebula with HAGAR Telescope Array

abstract: HAGAR is a system of seven Non-imaging Atmospheric Cherenkov Telescopes located at Hanle in the Ladakh region of the Indian Himalayas at an altitude of 4270 meters {\it amsl}. Since 2008, we have observed the Crab Nebula to assess the performance of the HAGAR telescopes. We describe the analysis technique for the estimation of $\gamma$-ray signal amidst cosmic ray background. The consolidated results spanning nine years of the Crab nebula observations show long term performance of the HAGAR telescopes. Based on about 219 hours of data, we report the detection of $\gamma$-rays from the Crab Nebula at a significance level of about 20$\sigma$, corresponding to a time averaged flux of (1.64$\pm$0.09) $\times10^{-10}$ photons cm$^{-2}$ sec$^{-1}$ above 230 GeV. Also, we perform a detailed study of possible systematic effects in our analysis method on data taken with the HAGAR telescopes.


title: Improved Fermi-GBM GRB localizations using BALROG

abstract: The localizations of gamma-ray bursts (GRBs) detected with the Gamma-ray Burst Monitor (GBM) onboard the Fermi satellite are known to be affected by significant systematic errors of 3-15 degrees. This is primarily due to mismatch of the employed Band function templates and the actual GRB spectrum. This problem can be avoided by simultaneously fitting for the location and the spectrum of a GRB, as demonstrated with an advanced localization code, BALROG (arXiv:1610.07385). Here, we analyze in a systematic way a sample of 105 bright GBM-detected GRBs for which accurate reference localizations are available from the Swift observatory. We show that the remaining systematic error can be reduced to $\sim$1-2 degrees.


title: Enhanced flexoelectricity at reduced dimensions revealed by mechanically tunable quantum tunnelling

abstract: Flexoelectricity is a universal electromechanical coupling effect whereby all dielectric materials polarize in response to strain gradients. In particular, nanoscale flexoelectricity promises exotic phenomena and functions, but reliable characterization methods are required to unlock its potential. Here, we report anomalous mechanical control of quantum tunnelling that allows for characterizing nanoscale flexoelectricity. By applying strain gradients with an atomic force microscope tip, we systematically polarize an ultrathin film of otherwise nonpolar SrTiO$_{3}$, and simultaneously measure tunnel current across it. The measured tunnel current exhibits critical behaviour as a function of strain gradients, which manifests large modification of tunnel barrier profiles via flexoelectricity. Further analysis of this critical behaviour reveals significantly enhanced flexocoupling strength in ultrathin SrTiO$_{3}$, compared to that in bulk, rendering flexoelectricity more potent at the nanoscale. Our study not only suggests possible applications exploiting dynamic mechanical control of quantum effect, but also paves the way to characterize nanoscale flexoelectricity.


title: Paracosm: A Language and Tool for Testing Autonomous Driving Systems

abstract: Systematic testing of autonomous vehicles operating in complex real-world scenarios is a difficult and expensive problem. We present Paracosm, a reactive language for writing test scenarios for autonomous driving systems. Paracosm allows users to programmatically describe complex driving situations with specific visual features, e.g., road layout in an urban environment, as well as reactive temporal behaviors of cars and pedestrians. Paracosm programs are executed on top of a game engine that provides realistic physics simulation and visual rendering. The infrastructure allows systematic exploration of the state space, both for visual features (lighting, shadows, fog) and for reactive interactions with the environment (pedestrians, other traffic). We define a notion of test coverage for Paracosm configurations based on combinatorial testing and low dispersion sequences. Paracosm comes with an automatic test case generator that uses random sampling for discrete parameters and deterministic quasi-Monte Carlo generation for continuous parameters. Through an empirical evaluation, we demonstrate the modeling and testing capabilities of Paracosm on a suite of autonomous driving systems implemented using deep neural networks developed in research and education. We show how Paracosm can expose incorrect behaviors or degraded performance.


title: Software-Defined Metasurface Paradigm: Concept, Challenges, Prospects

abstract: HyperSurfaces (HSFs) are devices whose electromagnetic (EM) behavior is software-driven, i.e., it can be defined programmatically. The key components of this emerging technology are the metasurfaces, artificial layered materials whose EM properties depend on their internal subwavelength structuring. HSFs merge metasurfaces with a network of miniaturized custom electronic controllers, the nanonetwork, in an integrated scalable hardware platform. The nanonetwork receives external programmatic commands expressing the desired end-functionality and appropriately alters the metasurface configuration thus yielding the respective EM behavior for the HSF. In this work, we will present all the components of the HSF paradigm, as well as highlight the underlying challenges and future prospects.


title: Computational Limitations in Robust Classification and Win-Win Results

abstract: We continue the study of statistical/computational tradeoffs in learning robust classifiers, following the recent work of Bubeck, Lee, Price and Razenshteyn who showed examples of classification tasks where (a) an efficient robust classifier exists, in the small-perturbation regime; (b) a non-robust classifier can be learned efficiently; but (c) it is computationally hard to learn a robust classifier, assuming the hardness of factoring large numbers. The question of whether a robust classifier for their task exists in the large perturbation regime seems related to important open questions in computational number theory. In this work, we extend their work in three directions. First, we demonstrate classification tasks where computationally efficient robust classification is impossible, even when computationally unbounded robust classifiers exist. For this, we rely on the existence of average-case hard functions. Second, we show hard-to-robustly-learn classification tasks in the large-perturbation regime. Namely, we show that even though an efficient classifier that is robust to large perturbations exists, it is computationally hard to learn any non-trivial robust classifier. Our first construction relies on the existence of one-way functions, and the second on the hardness of the learning parity with noise problem. In the latter setting, not only does a non-robust classifier exist, but also an efficient algorithm that generates fresh new labeled samples given access to polynomially many training examples (termed as generation by Kearns et. al. (1994)). Third, we show that any such counterexample implies the existence of cryptographic primitives such as one-way functions. This leads us to a win-win scenario: either we can learn an efficient robust classifier, or we can construct new instances of cryptographic primitives.


title: Compensation of the trap-induced quadrupole interaction in trapped Rydberg ions

abstract: The quadrupole interaction between the Rydberg electronic states of a Rydberg ion and the radio frequency electric field of the ion trap is analyzed. Such a coupling is negligible for the lowest energy levels of a trapped ion but it is important for a trapped Rydberg ion due to its large electric dipole moment. This coupling cannot be neglected by the standard rotating-wave approximation because it is comparable to the frequency of the trapping electric field. We investigate the effect of the quadrupole coupling by performing a suitable effective representation of the Hamiltonian. For a single ion we show that in this effective picture the quadrupole interaction is replaced by rescaled laser intensities and additional Stark shifts of the Rydberg levels. Hence this detrimental quadrupole coupling can be efficiently compensated by an appropriate increase of the Rabi frequencies. Moreover, we consider the strong dipole-dipole interaction between a pair of Rydberg ions in the presence of the quadrupole coupling. In the effective representation we observe reducing of the dipole-dipole coupling as well as additional spin-spin interaction.


title: Regular Languages meet Prefix Sorting

abstract: Indexing strings via prefix (or suffix) sorting is, arguably, one of the most successful algorithmic techniques developed in the last decades. Can indexing be extended to languages? The main contribution of this paper is to initiate the study of the sub-class of regular languages accepted by an automaton whose states can be prefix-sorted. Starting from the recent notion of Wheeler graph [Gagie et al., TCS 2017]-which extends naturally the concept of prefix sorting to labeled graphs-we investigate the properties of Wheeler languages, that is, regular languages admitting an accepting Wheeler finite automaton. Interestingly, we characterize this family as the natural extension of regular languages endowed with the co-lexicographic ordering: when sorted, the strings belonging to a Wheeler language are partitioned into a finite number of co-lexicographic intervals, each formed by elements from a single Myhill-Nerode equivalence class. Moreover: (i) We show that every Wheeler NFA (WNFA) with $n$ states admits an equivalent Wheeler DFA (WDFA) with at most $2n-1-|\Sigma|$ states that can be computed in $O(n^3)$ time. This is in sharp contrast with general NFAs. (ii) We describe a quadratic algorithm to prefix-sort a proper superset of the WDFAs, a $O(n\log n)$-time online algorithm to sort acyclic WDFAs, and an optimal linear-time offline algorithm to sort general WDFAs. By contribution (i), our algorithms can also be used to index any WNFA at the moderate price of doubling the automaton's size. (iii) We provide a minimization theorem that characterizes the smallest WDFA recognizing the same language of any input WDFA. The corresponding constructive algorithm runs in optimal linear time in the acyclic case, and in $O(n\log n)$ time in the general case. (iv) We show how to compute the smallest WDFA equivalent to any acyclic DFA in nearly-optimal time.


title: Reworking the Zubarev's approach to non-equilibrium quantum statistical mechanics

abstract: In this work the non-equilibrium density operator approach introduced by Zubarev more than 50 years ago to describe quantum systems at local thermodynamic equilibrium is revisited. This method - which was used to obtain the first ''Kubo" formula of shear viscosity, is especially suitable to describe quantum effects in fluids. This feature makes it a viable tool to describe the physics of the Quark Gluon Plasma in relativistic nuclear collisions.


title: Finite element analysis for identifying the reaction coefficient in PDE from boundary observations

abstract: This work is devoted to the nonlinear inverse problem of identifying the reaction coefficient in an elliptic boundary value problem from single Cauchy data on a part of the boundary. We then examine simultaneously two elliptic boundary value problems generated from the available Cauchy data. The output least squares method with the Tikhonov regularization is applied to find approximations of the sought coefficient. We discretize the PDEs with piecewise linear finite elements. The stability and convergence of this technique are then established. A numerical experiment is presented to illustrate our theoretical findings.


title: YAFS: A simulator for IoT scenarios in fog computing

abstract: We propose a fog computing simulator for analysing the design and deployment of applications through customized and dynamical strategies. We model the relationships among deployed applications, network connections and infrastructure characteristics through complex network theory, enabling the integration of topological measures in dynamic and customizable strategies such as the placement of application modules, workload location, and path routing and scheduling of services. We present a comparative analysis of the efficiency and the convergence of results of our simulator with the most referenced entity, iFogSim. To highlight YAFS functionalities, we model three scenarios that, to the best of our knowledge, cannot be implemented with current fog simulators: dynamic allocation of new application modules, dynamic failures of network nodes and user mobility along the topology.


title: QCD Sum Rules Analysis of Weak Decays of Doubly-Heavy Baryons

abstract: We calculate the weak decay form factors of doubly-heavy baryons using three-point QCD sum rules. The Cutkosky rules are used to derive the double dispersion relations. We include perturbative contributions and condensation contributions up to dimension five, and point out that the perturbative contributions and condensates with lowest dimensions dominate. An estimate of part of gluon-gluon condensates show that it plays a less important role. With these form factors at hand, we present a phenomenological study of semileptonic decays. The future experimental facilities can test these predictions, and deepen our understanding of the dynamics in decays of doubly-heavy baryons.


title: Color Superconductivity in Holographic SYM Theory

abstract: A holographic bottom-up model used in studying the superconducting system is applied to search for the color superconducting phase of supersymmetric Yang-Mills theory. We apply the probe analysis of this model to the supersymmetric Yang-Mills theory in both the confinement and deconfinement phases. In this analysis, we find the color superconductivity in both phases when the baryon chemical potential exceeds a certain critical value. This result implies that, above the critical chemical potential, a color non-singlet diquark operator, namely the Cooper pair, has its vacuum expectation value even in the confinement phase. In order to improve this peculiar situation, we proceed the analysis by taking account of the full back-reaction from the probe. As a result, the color superconducting phase, which is observed in the probe approximation, disappears in both the confinement and deconfinement phases when parameters of the theory are set within their reasonable values.


title: Robust Environmental Sound Recognition with Sparse Key-point Encoding and Efficient Multi-spike Learning

abstract: The capability for environmental sound recognition (ESR) can determine the fitness of individuals in a way to avoid dangers or pursue opportunities when critical sound events occur. It still remains mysterious about the fundamental principles of biological systems that result in such a remarkable ability. Additionally, the practical importance of ESR has attracted an increasing amount of research attention, but the chaotic and non-stationary difficulties continue to make it a challenging task. In this study, we propose a spike-based framework from a more brain-like perspective for the ESR task. Our framework is a unifying system with a consistent integration of three major functional parts which are sparse encoding, efficient learning and robust readout. We first introduce a simple sparse encoding where key-points are used for feature representation, and demonstrate its generalization to both spike and non-spike based systems. Then, we evaluate the learning properties of different learning rules in details with our contributions being added for improvements. Our results highlight the advantages of the multi-spike learning, providing a selection reference for various spike-based developments. Finally, we combine the multi-spike readout with the other parts to form a system for ESR. Experimental results show that our framework performs the best as compared to other baseline approaches. In addition, we show that our spike-based framework has several advantageous characteristics including early decision making, small dataset acquiring and ongoing dynamic processing. Our framework is the first attempt to apply the multi-spike characteristic of nervous neurons to ESR. The outstanding performance of our approach would potentially contribute to draw more research efforts to push the boundaries of spike-based paradigm to a new horizon.


title: The status of isochrony in the formation and evolution of self-gravitating systems

abstract: In the potential theory, isochrony was introduced by Michel H\'enon in 1959 to characterize astrophysical observations of some globular clusters. Today, Michel Henon's isochrone potential is mainly used for his integrable property in numerical simulations, but is generally not really known. In a recent paper [29], we have presented new fundamental and theoretical results about isochrony that have particular importance in self-gravitating dynamics and which are detailed in this paper. In particular, new characterization of the isochrone state has been proposed which are investigated in order to analyze the product of the fast relaxation of a self-gravitating system. The general paradigm consists in considering that this product is a lowered isothermal sphere (King Model). By a detailed numerical study we show that this paradigm fails when the isochrone model succeeds in reproducing the quasi-equilibrium state obtained just after fast relaxation.


title: Compatible and Diverse Fashion Image Inpainting

abstract: Visual compatibility is critical for fashion analysis, yet is missing in existing fashion image synthesis systems. In this paper, we propose to explicitly model visual compatibility through fashion image inpainting. To this end, we present Fashion Inpainting Networks (FiNet), a two-stage image-to-image generation framework that is able to perform compatible and diverse inpainting. Disentangling the generation of shape and appearance to ensure photorealistic results, our framework consists of a shape generation network and an appearance generation network. More importantly, for each generation network, we introduce two encoders interacting with one another to learn latent code in a shared compatibility space. The latent representations are jointly optimized with the corresponding generation network to condition the synthesis process, encouraging a diverse set of generated results that are visually compatible with existing fashion garments. In addition, our framework is readily extended to clothing reconstruction and fashion transfer, with impressive results. Extensive experiments with comparisons with state-of-the-art approaches on fashion synthesis task quantitatively and qualitatively demonstrate the effectiveness of our method.


title: Control-enhanced sequential scheme for general quantum parameter estimation at the Heisenberg limit

abstract: The advantage of quantum metrology has been experimentally demonstrated for phase estimations where the dynamics are commuting. General noncommuting dynamics, however, can have distinct features. For example, the direct sequential scheme, which can achieve the Heisenberg scaling for the phase estimation under commuting dynamics, can have even worse performances than the classical scheme under noncommuting dynamics. Here we realize a scalable optimally controlled sequential scheme, which can achieve the Heisenberg precision under general noncommuting dynamics. We also present an intuitive geometrical framework for the controlled scheme and identify sweet spots in time at which the optimal controls used in the scheme can be pre-fixed without adaptation, which simplifies the experimental protocols significantly. We successfully implement the scheme up to eight controls in an optical platform, demonstrate a precision near the Heisenberg limit. Our work opens the avenue for harvesting the power of quantum control in quantum metrology, and provides a control-enhanced recipe to achieve the Heisenberg precision under general noncommuting dynamics.


title: Regularity and inverse theorems for uniformity norms on compact abelian groups and nilmanifolds

abstract: We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we thus obtain the first non-abelian versions of such theorems. We derive these results from a general structure theorem for cubic couplings, thereby unifying these results with the Host-Kra Ergodic Structure Theorem. A unification of this kind had been propounded as a conceptual prospect by Host and Kra. Our work also provides new results on nilspaces. In particular, we obtain a new stability result for nilspace morphisms. We also strengthen a result of Gutman, Manners and Varj\'u, by proving that a $k$-step compact nilspace of finite rank is a toral nilspace (in particular, a connected nilmanifold) if and only if its $k$-dimensional cube set is connected. We also prove that if a morphism from a cyclic group of prime order into a compact finite-rank nilspace is sufficiently balanced (i.e. equidistributed in a certain quantitative and multidimensional sense), then the nilspace is toral. As an application of this, we obtain a new proof of a refinement of the Green-Tao-Ziegler inverse theorem.


title: Magneto-structural properties of the layered quasi-2D triangular-lattice antiferromagnets Cs$_2$CuCl$_{4-x}$Br$_x$ for ${x}$ = 0,1,2 and 4

abstract: We present a study of the magnetic susceptibility $\chi_{mol}$ under variable hydrostatic pressure on single crystals of Cs$_2$CuCl$_{4-x}$Br$_x$. This includes the border compounds \textit{x} = 0 and 4, known as good realizations of the distorted triangular-lattice spin-1/2 Heisenberg antiferromagnet, as well as the isostructural stoichiometric systems Cs$_2$CuCl$_{3}$Br$_1$ and Cs$_2$CuCl$_{2}$Br$_2$. For the determination of the exchange coupling constants $J$ and $J^{\prime}$, $\chi_{mol}$ data were fitted by a $J-J^{\prime}$ model \cite{Schmidt2015}. Its application, validated for the border compounds, yields a degree of frustration $J^{\prime}$/$J$ = 0.47 for Cs$_2$CuCl$_3$Br$_1$ and $J^{\prime}$/$J$ $\simeq$ 0.63 - 0.78 for Cs$_2$CuCl$_2$Br$_2$, making these systems particular interesting representatives of this family. From the evolution of the magnetic susceptibility under pressure up to about 0.4\,GPa, the maximum pressure applied, two observations were made for all the compounds investigated here. First, we find that the overall energy scale, given by $J_c = (J^2$ + $J^{\prime 2}$)$^{1/2}$, increases under pressure, whereas the ratio $J^{\prime}$/$J$ remains unchanged in this pressure range. These experimental observations are in accordance with the results of DFT calculations performed for these materials. Secondly, for the magnetoelastic coupling constants, extraordinarily small values are obtained. We assign these observations to a structural peculiarity of this class of materials.


title: Continuity and monotonicity of solutions to a greedy maximization problem

abstract: Motivated by an application to resource sharing network modelling, we consider a problem of greedy maximization (i.e., maximization of the consecutive minima) of a vector in $R^n$, with the admissible set indexed by the time parameter. The structure of the constraints depends on the underlying network topology. We investigate continuity and monotonicity of the resulting maximizers with respect to time. Our results have important consequences for fluid models of the corresponding networks which are optimal, in the appropriate sense, with respect to handling real-time transmission requests.


title: The Kato square root problem on an arbitrary domain of $\mathbb{R}^d$

abstract: We solve the Kato square root problem for general elliptic operators and systems with measurable and complex coefficients on any domain of the Euclidean space. The operators are subject to Dirichlet boundary conditions. We also allow perturbations by general complex potentials.


title: On Cilleruelo's conjecture for the least common multiple of polynomial sequences

abstract: A conjecture due to Cilleruelo states that for an irreducible polynomial $f$ with integer coefficients of degree $d\geq 2$, the least common multiple $L_f(N)$ of the sequence $f(1), f(2), \dots, f(N)$ has asymptotic growth $\log L_f(N)\sim (d-1)N\log N$ as $N\to \infty$. We establish a version of this conjecture for almost all shifts of a fixed polynomial, the range of $N$ depending on the range of shifts.


title: Kleinian Schottky groups, Patterson-Sullivan measures and Fourier decay

abstract: Let $\Gamma$ be a Zariski dense Kleinian Schottky subgroup of PSL2(C). Let $\Lambda(\Gamma)$ be its limit set, endowed with a Patterson-Sullivan measure $\mu$ supported on $\Lambda(\Gamma)$. We show that the Fourier transform $\widehat{\mu}(\xi)$ enjoys polynomial decay as $\vert \xi \vert$ goes to infinity. This is a PSL2(C) version of the result of Bourgain-Dyatlov [8], and uses the decay of exponential sums based on Bourgain-Gamburd sum-product estimate on C. These bounds on exponential sums require a delicate non-concentration hypothesis which is proved using some representation theory and regularity estimates for stationary measures of certain random walks on linear groups.


title: Nonlinear optical response of collective modes in multiband superconductors assisted by nonmagnetic impurities

abstract: In multiband superconductors, multiple collective modes exist associated with the multiple order parameters. Oscillations of the amplitude and the relative phase of the order parameters are called Higgs and Leggett modes, respectively. Recently, it has been suggested that nonmagnetic impurity scattering would enhance nonlinear coupling between the Higgs mode and an electromagnetic wave with a frequency located in the superconducting gap region, while its effect on the Leggett mode is still unresolved. Here, we theoretically investigated the nonlinear optical response of multiband Bardeen-Cooper-Schrieffer-type superconductors in the presence of nonmagnetic impurities with a density matrix approach extending the Mattis-Bardeen model of linear response. We found that the drastic enhancement of nonlinear optical response due to the nonmagnetic impurity scattering occurs only for the Higgs modes and not for the Leggett mode. As a result, both the light-induced dynamics of the superconducting gaps and the resulting third-harmonic generation are dominated by the Higgs modes. We also examined the role of quasiparticle excitations to find that they give the subdominant contribution to the third-harmonic generation.


title: Magnetic eddy viscosity of mean shear flows in two-dimensional magnetohydrodynamics

abstract: Magnetic induction in magnetohydrodynamic fluids at magnetic Reynolds number (Rm) less than~1 has long been known to cause magnetic drag. Here, we show that when $\mathrm{Rm} \gg 1$ and the fluid is in a hydrodynamic-dominated regime in which the magnetic energy is much smaller than the kinetic energy, induction due to a mean shear flow leads to a magnetic eddy viscosity. The magnetic viscosity is derived from simple physical arguments, where a coherent response due to shear flow builds up in the magnetic field until decorrelated by turbulent motion. The dynamic viscosity coefficient is approximately $(B_p^2/2\mu_0) \tau_{\rm corr}$, the poloidal magnetic energy density multiplied by the correlation time. We confirm the magnetic eddy viscosity through numerical simulations of two-dimensional incompressible magnetohydrodynamics. We also consider the three-dimensional case, and in cylindrical or spherical geometry, theoretical considerations similarly point to a nonzero viscosity whenever there is differential rotation. Hence, these results serve as a dynamical generalization of Ferraro's law of isorotation. The magnetic eddy viscosity leads to transport of angular momentum and may be of importance to zonal flows in astrophysical domains such as the interior of some gas giants.

categories: physics.plasm-ph astro-ph.EP astro-ph.SR physics.ao-ph physics.flu-dyn


title: Self-referentiality in Justification Logic

abstract: The Logic of Proofs, LP, and other justification logics can have self-referential justifications of the form t:A. Such self-referential justifications are necessary for the realization of S4 in LP. Yu discovered prehistoric cycles in a particular Gentzen system as a necessary condition for S4 theorems that can only be realized using self-referentiality. It was an open problem whether prehistoric cycles also are a sufficient condition. The main results of this paper are: First, with the standard definition of self-referential theorems, prehistoric cycles are not a sufficient condition. Second, with an expansion on that definition, prehistoric cycles become sufficient for self-referential theorems.


title: TCM-NOMA: Joint Multi-user Codeword Design and Detection in Trellis Coded Modulation based NOMA for Beyond 5G

abstract: In this paper, we propose a novel non-orthogonal multiple access (NOMA) scheme based on trellis-coded modulation (TCM). Different from those in the traditional code-domain NOMA, the incoming data streams of multiple users are jointly coded and mapped to the codewords so as to improve the coding gain of the system without any bandwidth extension. Both codeword design and multi-user detection are considered to optimize the TCM for NOMA. The multi-dimensional (MD) constellation is carefully selected and a new set partitioning algorithm is developed for MD signal set labeling. To achieve the trade-off between the BER performance and complexity, a suboptimal two-layer Viterbi algorithm is proposed for joint decoding. Simulation results show that our proposed TCM-based NOMA scheme performs significantly better than the traditional code-domain NOMA and OFDMA schemes in terms of the BER performance under the same channel conditions.


title: 2-D Embedding of Large and High-dimensional Data with Minimal Memory and Computational Time Requirements

abstract: In the advent of big data era, interactive visualization of large data sets consisting of M*10^5+ high-dimensional feature vectors of length N (N ~ 10^3+), is an indispensable tool for data exploratory analysis. The state-of-the-art data embedding (DE) methods of N-D data into 2-D (3-D) visually perceptible space (e.g., based on t-SNE concept) are too demanding computationally to be efficiently employed for interactive data analytics of large and high-dimensional datasets. Herein we present a simple method, ivhd (interactive visualization of high-dimensional data tool), which radically outperforms the modern data-embedding algorithms in both computational and memory loads, while retaining high quality of N-D data embedding in 2-D (3-D). We show that DE problem is equivalent to the nearest neighbor nn-graph visualization, where only indices of a few nearest neighbors of each data sample has to be known, and binary distance between data samples -- 0 to the nearest and 1 to the other samples -- is defined. These improvements reduce the time-complexity and memory load from O(M log M) to O(M), and ensure minimal O(M) proportionality coefficient as well. We demonstrate high efficiency, quality and robustness of ivhd on popular benchmark datasets such as MNIST, 20NG, NORB and RCV1.


title: Strategies for Structuring Story Generation

abstract: Writers generally rely on plans or sketches to write long stories, but most current language models generate word by word from left to right. We explore coarse-to-fine models for creating narrative texts of several hundred words, and introduce new models which decompose stories by abstracting over actions and entities. The model first generates the predicate-argument structure of the text, where different mentions of the same entity are marked with placeholder tokens. It then generates a surface realization of the predicate-argument structure, and finally replaces the entity placeholders with context-sensitive names and references. Human judges prefer the stories from our models to a wide range of previous approaches to hierarchical text generation. Extensive analysis shows that our methods can help improve the diversity and coherence of events and entities in generated stories.


title: On the Probabilistic Representation of the Free Effective Resistance of Infinite Graphs

abstract: We completely characterize when the free effective resistance of an infinite graph can be expressed in terms of simple hitting probabilities of the graphs random walk.


title: Energy shift of the three-particle system in a finite volume

abstract: Using the three-particle quantization condition recently obtained in the particle-dimer framework, the finite-volume energy shift of the two lowest three-particle scattering states is derived up to and including order $L^{-6}$. Furthermore, assuming that a stable dimer exists in the infinite volume, the shift for the lowest particle-dimer scattering state is obtained up to and including order $L^{-3}$. The result for the lowest three-particle state agrees with the results from the literature, and the result for the lowest particle-dimer state reproduces the one obtained by using the Luescher equation.


title: The Maribo CM2 meteorite fall - survival of weak material at high entry speed

abstract: High entry speed (> 25 km/s) and low density (< 2500 kg/m3) are two factors that lower the chance of a meteoroid to drop meteorites. The 26 g carbonaceous (CM2) meteorite Maribo recovered in Denmark in 2009 was delivered by a superbolide observed by several instruments across northern and central Europe. By reanalyzing the available data, we confirmed the previously reported high entry speed of (28.3 +/- 0.3) km/s and trajectory with slope of 31 degrees to horizontal. In order to understand how such a fragile material survived, we applied three different models of meteoroid atmospheric fragmentation to the detailed bolide light curve obtained by radiometers located in Czech Republic. The Maribo meteoroid was found to be quite inhomogeneous with different parts fragmenting at different dynamic pressures. While 30 - 40% of the (2000 +/- 1000) kg entry mass was destroyed already at 0.02 MPa, another 25 - 40%, according to different models, survived without fragmentation until relatively large dynamic pressures of 3 - 5 MPa. These pressures are only slightly lower than the measured tensile strengths of hydrated carbonaceous chondrite (CC) meteorites and are comparable with usual atmospheric fragmentation pressures of ordinary chondritic (OC) meteoroids. While internal cracks weaken OC meteoroids in comparison with meteorites, this effects seems to be absent in CC, enabling meteorite delivery even at high speeds, though in the form of only small fragments.


title: Spectral distortions in CMB by the bulk Comptonization due to Zeldovich pancakes

abstract: If the large scale structure of the Universe was created, even partially, via Zeldovich pancakes, than the fluctuations of the CMB radiation should be formed due to bulk comptonization of black body spectrum on the contracting pancake. Approximate formulas for the CMB energy spectrum after bulk comptonization are obtained. The difference between comptonized energy spectra of the CMB due to thermal and bulk comptonization may be estimated by comparison of the plots for the spectra in these two cases.


title: Entanglement structure of a quantum simulator: the two-component Bose-Hubbard model

abstract: We consider a quantum simulator of the Heisenberg chain with ferromagnetic interactions based on the two-component 1D Bose-Hubbard model at filling equal to two in the strong coupling regime. The entanglement properties of the ground state are compared between the original spin model and the quantum simulator as the interspecies interaction approaches the intraspecies one. A numerical study of the entanglement properties of the quantum simulator state is supplemented with analytical expressions derived from the simulated Hamiltonian. At the isotropic point, the entanglement properties of the simulated system are not properly predicted by the quantum simulator.


title: Dual Path Multi-Scale Fusion Networks with Attention for Crowd Counting

abstract: The task of crowd counting in varying density scenes is an extremely difficult challenge due to large scale variations. In this paper, we propose a novel dual path multi-scale fusion network architecture with attention mechanism named SFANet that can perform accurate count estimation as well as present high-resolution density maps for highly congested crowd scenes. The proposed SFANet contains two main components: a VGG backbone convolutional neural network (CNN) as the front-end feature map extractor and a dual path multi-scale fusion networks as the back-end to generate density map. These dual path multi-scale fusion networks have the same structure, one path is responsible for generating attention map by highlighting crowd regions in images, the other path is responsible for fusing multi-scale features as well as attention map to generate the final high-quality high-resolution density maps. SFANet can be easily trained in an end-to-end way by dual path joint training. We have evaluated our method on four crowd counting datasets (ShanghaiTech, UCF CC 50, UCSD and UCF-QRNF). The results demonstrate that with attention mechanism and multi-scale feature fusion, the proposed SFANet achieves the best performance on all these datasets and generates better quality density maps compared with other state-of-the-art approaches.


title: Notes on bilinear multipliers on Orlicz spaces

abstract: Let $\Phi_1 , \Phi_2 $ and $ \Phi_3$ be Young functions and let $L^{\Phi_1}(\mathbb{R})$, $L^{\Phi_2}(\mathbb{R})$ and $L^{\Phi_3}(\mathbb{R})$ be the corresponding Orlicz spaces. We say that a function $m(\xi,\eta)$ defined on $\mathbb{R}\times \mathbb{R}$ is a bilinear multiplier of type $(\Phi_1,\Phi_2,\Phi_3)$ if \[ B_m(f,g)(x)=\int_\mathbb{R} \int_\mathbb{R} \hat{f}(\xi) \hat{g}(\eta)m(\xi,\eta)e^{2\pi i (\xi+\eta) x}d\xi d\eta \] defines a bounded bilinear operator from $L^{\Phi_1}(\mathbb{R}) \times L^{\Phi_2}(\mathbb{R})$ to $L^{\Phi_3}(\mathbb{R})$. We denote by $BM_{(\Phi_1,\Phi_2,\Phi_3)}(\mathbb{R})$ the space of all bilinear multipliers of type $(\Phi_1,\Phi_2,\Phi_3)$ and investigate some properties of such a class. Under some conditions on the triple $(\Phi_1,\Phi_2,\Phi_3)$ we give some examples of bilinear multipliers of type $(\Phi_1,\Phi_2,\Phi_3)$. We will focus on the case $m(\xi,\eta)=M(\xi-\eta) $ and get necessary conditions on $(\Phi_1,\Phi_2,\Phi_3)$ to get non-trivial multipliers in this class. In particular we recover some of the the known results for Lebesgue spaces.


title: Exploring Temporal Dependencies in Multimodal Referring Expressions with Mixed Reality

abstract: In collaborative tasks, people rely both on verbal and non-verbal cues simultaneously to communicate with each other. For human-robot interaction to run smoothly and naturally, a robot should be equipped with the ability to robustly disambiguate referring expressions. In this work, we propose a model that can disambiguate multimodal fetching requests using modalities such as head movements, hand gestures, and speech. We analysed the acquired data from mixed reality experiments and formulated a hypothesis that modelling temporal dependencies of events in these three modalities increases the model's predictive power. We evaluated our model on a Bayesian framework to interpret referring expressions with and without exploiting a temporal prior.


title: Has the neutral double hypernucleus $_{\Lambda\Lambda}^{4}$n been observed?

abstract: The BNL-AGS E906 experiment was the first fully electronic experiment to produce and study double hypernuclei with large statistics. Two dominant structures were observed in the correlated $\pi^-$--$\pi^-$ momentum matrix at (p$_{\pi-H}$,p$_{\pi-L}$) = (133,114) MeV/c and at (114,104) MeV/c. In this work we argue that the interpretation of the structure at (133,114) MeV/c in terms of $^3_{\Lambda}$H+$^4_{\Lambda}$H pairs is questionable. We show, that neither a scenario where the hypernuclei are produced after capture of a stopped $\Xi^-$ by a $^9$Be nucleus nor interactions of energetic $\Xi^-$ with $^9$Be nuclei in the target material can produce a sufficient amount of such twin pairs. We have therefore explored the conjecture of Avraham Gal that decays of the $_{\Lambda\Lambda}^{4}$n may be responsible for the observed structure. Indeed, the inclusion of $_{\Lambda\Lambda}^{4}$n with a two-body $\pi^-$ branching ratio of 50 % in a statistical multifragmentation model allows to describe the E906 data remarkably well. On the other hand, a bound $^{3}_{\Lambda}$n nucleus would cause a striking structure in the momentum correlation matrix which is clearly inconsistent with the observation of E906.


title: The Natural Language of Actions

abstract: We introduce Act2Vec, a general framework for learning context-based action representation for Reinforcement Learning. Representing actions in a vector space help reinforcement learning algorithms achieve better performance by grouping similar actions and utilizing relations between different actions. We show how prior knowledge of an environment can be extracted from demonstrations and injected into action vector representations that encode natural compatible behavior. We then use these for augmenting state representations as well as improving function approximation of Q-values. We visualize and test action embeddings in three domains including a drawing task, a high dimensional navigation task, and the large action space domain of StarCraft II.


title: Quantum properties of light propagating in a Coherent Population Oscillation Storage Medium

abstract: We study the propagation and storage of a quantum field using ultra-narrow Coherent Population Oscillations (CPO) in a $\Lambda-$type atomic medium. The predictions for classical fields are checked experimentally in a metastable vapor at room temperature. We derive the evolution of its squeezing spectrum in the presence of a large classical pump field which enables CPO to exist. We show that the spontaneous emission of the residual population pumped into the excited state progressively destroys the quantum noise properties of the quantum field along propagation. The output quantum field therefore tends to be a coherent state, discarding the possibility to store quantum states of light with CPO.


title: Metasurfaces with Interleaved Electric and Magnetic Resonances for Broadband Arbitrary Group Delay in Reflection

abstract: Metasurfaces impart phase discontinuities on impinging electromagnetic waves that are typically limited to 0-2$\pi$. Here, we show that they can break free from this limitation and supply arbitrarily-large phase modulation over ultra-wide bandwidths. This is achieved by implementing multiple, properly-arranged resonances in the electric and magnetic sheet admittivities. We demonstrate metasurfaces that can perfectly reflect a broadband pulse imparting a prescribed group delay without distorting the pulse shape, opening new possibilities for temporal control and dispersion engineering across deeply subwavelength physical scales.


title: Adaptive image processing: first order PDE constraint regularizers and a bilevel training scheme

abstract: A bilevel training scheme is used to introduce a novel class of regularizers, providing a unified approach to standard regularizers $TV$, $TGV^2$ and $NsTGV^2$. Optimal parameters and regularizers are identified, and the existence of a solution for any given set of training imaging data is proved by $\Gamma$-convergence. Explicit examples and numerical results are given.


title: Buoyancy-driven flow through a bed of solid particles produces a new form of Rayleigh-Taylor turbulence

abstract: Rayleigh--Taylor fluid turbulence through a bed of rigid, finite-size, spheres is investigated by means of high-resolution Direct Numerical Simulations (DNS), fully coupling the fluid and the solid phase via a state-of-the art Immersed Boundary Method (IBM). The porous character of the medium reveals a totally different physics for the mixing process when compared to the well-known phenomenology of classical RT mixing. For sufficiently small porosity, the growth-rate of the mixing layer is linear in time (instead of quadratical) and the velocity fluctuations tend to saturate to a constant value (instead of linearly growing). We propose an effective continuum model to fully explain these results where porosity originated by the finite-size spheres is parameterized by a friction coefficient.


title: Cuts for 3-D magnetic scalar potentials: visualizing unintuitive surfaces arising from trivial knots

abstract: A wealth of literature exists on computing and visualizing cuts for the magnetic scalar potential of a current carrying conductor via Finite Element Methods (FEM) and harmonic maps to the circle. By a cut we refer to an orientable surface bounded by a given current carrying path (such that the flux through it may be computed) that restricts contour integrals on a curl-zero vector field to those that do not link the current-carrying path, analogous to branch cuts of complex analysis. This work is concerned with a study of a peculiar contour that illustrates topologically unintuitive aspects of cuts obtained from a trivial loop and raises questions about the notion of an optimal cut. Specifically, an unknotted curve that bounds only high genus surfaces in its convex hull is analyzed. The current work considers the geometric realization as a current-carrying wire in order to construct a magnetic scalar potential. Moreover, we consider the problem of choosing an energy functional on the space of maps, suggesting an algorithm for computing cuts via minimizing a conformally invariant functional utilizing Newton iteration.


title: Inhomogeneous Strichartz estimates in some critical cases

abstract: Strong-type inhomogeneous Strichartz estimates are shown to be false for the wave equation outside the so-called acceptable region. On a critical line where the acceptability condition marginally fails, we prove substitute estimates with a weak-type norm in the temporal variable. We achieve this by establishing such weak-type inhomogeneous Strichartz estimates in an abstract setting. The application to the wave equation rests on a slightly stronger form of the standard dispersive estimate in terms of certain Besov spaces.


title: High-frequency Expansion for Floquet Prethermal Phases with Emergent Symmetries: Application to Time Crystals and Floquet Engineering

abstract: Prethermalization, where quasi-steady states are realized in the intermediate long time regime (prethermal regime), in periodically driven (Floquet) systems is an important phenomenon since it provides a platform of nontrivial Floquet many-body physics. In this Letter, we consider Floquet systems with dual energy scales: the Hamiltonian consists of two different terms whose amplitude is either comparable or much smaller than the frequency. As a result, when the larger-amplitude drive induces a $\mathbb{Z}_N$ symmetry operation, we obtain the effective static Hamiltonian respecting a new emergent $\mathbb{Z}_N$ symmetry in high frequency expansions, which describes the dynamics of such Floquet systems in the prethermal regime. As an application of our formulation, we consider prethermal discrete time crystals, in which our formalism gives a general way to analyze them in the prethermal regime in terms of the static effective Hamiltonian. We also provide an application to Floquet engineering, with which we can perform simultaneous control of phases and symmetries of the systems. This enables us to control symmetry protected topological phases even when the original system does not respect the symmetry.


title: Continuation beyond interior gradient blow-up in a semilinear parabolic equation

abstract: It is known that there is a class of semilinear parabolic equations for which interior gradient blow-up (in finite time) occurs for some solutions. We construct a continuation of such solutions after gradient blow-up. This continuation is global in time and we give an example when it never becomes a classical solution again.


title: A Unified Framework for Marketing Budget Allocation

abstract: While marketing budget allocation has been studied for decades in traditional business, nowadays online business brings much more challenges due to the dynamic environment and complex decision-making process. In this paper, we present a novel unified framework for marketing budget allocation. By leveraging abundant data, the proposed data-driven approach can help us to overcome the challenges and make more informed decisions. In our approach, a semi-black-box model is built to forecast the dynamic market response and an efficient optimization method is proposed to solve the complex allocation task. First, the response in each market-segment is forecasted by exploring historical data through a semi-black-box model, where the capability of logit demand curve is enhanced by neural networks. The response model reveals relationship between sales and marketing cost. Based on the learned model, budget allocation is then formulated as an optimization problem, and we design efficient algorithms to solve it in both continuous and discrete settings. Several kinds of business constraints are supported in one unified optimization paradigm, including cost upper bound, profit lower bound, or ROI lower bound. The proposed framework is easy to implement and readily to handle large-scale problems. It has been successfully applied to many scenarios in Alibaba Group. The results of both offline experiments and online A/B testing demonstrate its effectiveness.


title: High Kerr nonlinearity of water in THz spectral range

abstract: The values of the nonlinear refractive index coefficient for various materials in the terahertz frequency range exceed the ones in both visible and NIR ranges by several orders of magnitude. We report the direct measurement of the nonlinear refractive index coefficient of liquid water by using the Z-scan method with broadband pulsed THz beam. Our experimental result shows that nonlinear refractive index coefficient in water is positive and can be as large as 3.5$\times$10$^{-10}$ cm$^{2}$/W in the THz frequency range, which exceeds the ones for the visible and NIR ranges by 6 orders of magnitude.


title: The cancellation of projective modules of rank 2 with a trivial determinant

abstract: We study the cancellation property of projective modules of rank $2$ with a trivial determinant over Noetherian rings of dimension $\leq 4$. If $R$ is a smooth affine algebra of dimension $4$ over an algebraically closed field $k$ such that $6 \in k^{\times}$, then we prove that stably free $R$-modules of rank $2$ are free if and only if a Hermitian $K$-theory group $\tilde{V}_{SL} (R)$ is trivial.


title: On the Enactability of Agent Interaction Protocols: Toward a Unified Approach

abstract: Interactions between agents are usually designed from a global viewpoint. However, the implementation of a multi-agent interaction is distributed. This difference can introduce issues. For instance, it is possible to specify protocols from a global viewpoint that cannot be implemented as a collection of individual agents. This leads naturally to the question of whether a given (global) protocol is enactable. We consider this question in a powerful setting (trace expression), considering a range of message ordering interpretations (what does it mean to say that an interaction step occurs before another), and a range of possible constraints on the semantics of message delivery, corresponding to different properties of underlying communication middleware.


title: Optimal upper bounds on expected kth record values from IGFR distributions

abstract: The paper concerns the optimal upper bounds on the expectations of the kth record values (k >= 1) centered about the sample mean. We consider the case, when the records are based on the infinite sequence of the independent identically distributed random variables, which distribution function is restricted to the family of distributions with the increasing generalized failure rate (IGFR). Such a class can be defined in terms of the convex orders of some distribution functions. Particularly important examples of IGFR class are the distributions with the increasing density (ID) and increasing failure rate (IFR). Presented bounds were obtained with use of the projection method, and are expressed in the scale units based on the standard deviation of the underlying distribution function.


title: Carbon 12C/13C isotope ratio of alpha Aurigae revised

abstract: Context. Capella ({\alpha} Aur) is one of the few binaries in the sky with two cool giant stars. With spectral types of G8III and G0III, the two components appear at different but distinct stages in their evolution. The G0 secondary star is a Hertzsprung-gap giant, and the G8 primary star is thought to be a clump giant. Aims. We present a new measure of the carbon 12 C/ 13 C isotope ratio of the primary component of Capella using high-resolution R $\approx$250 000 spectra obtained with the Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) with both the Vatican Advanced Technology Telescope (VATT) and the Large Binocular Telescope (LBT). Methods. Signal-to-noise ratios of up to 2 700 were obtained by averaging nightly spectra. These average spectra were used to disentangle the two binary components. The isotope ratio was derived with the use of spectrum synthesis from the CN lines at 8004 {\AA}. Results. We found that the 12 C/ 13 C ratio of the primary component of Capella is 17.8$\pm$1.9. Our measurement precision is now primarily limited by the spectral-line data and by the grid-step size of the model atmospheres rather than the data. The separated spectrum of the secondary component does not show distinguishable 12 CN and 13 CN lines because of its v sin i and higher temperature. Conclusions. Our new 12 C/ 13 C value is significantly lower than the previous value of 27$\pm$4 but now agrees better with the recent model prediction of 18.8 - 20.7.


title: Siciak's homogeneous extremal functions, holomorphic extension and a generalization of Helgason's support theorem

abstract: We prove that a function, which is defined on a union of lines $\mathbb{C} E$ through the origin in $\mathbb{C}^n$ with direction vectors in $E\subset \mathbb{C}^n$ and is holomorphic of fixed finite order and finite type along each line, extends to an entire holomorphic function on $\mathbb{C}^n$ of the same order and finite type, provided that $E$ has positive homogeneous capacity in the sense of Siciak and all directional derivatives along the lines satisfy a necessary compatibility condition at the origin. We are able to estimate the indicator function of the extension in terms of Siciak's weighted homogeneous extremal function, where the weight is a function of the type of the given function on each given line. As an application we prove a generalization of Helgason's support theorem by showing how the support of a continuous function with rapid decrease at infinity can be located from partial information on the support of its Radon transform.


title: Domain dynamics in LiCuVO$_4$: Evidence for polarized nanoregions

abstract: LiCuVO$_4$ is a model system of a 1D spin-1/2 chain that enters a planar spin-spiral ground state below its N\'eel temperature of 2.4 K due to competing nearest and next nearest neighbor interactions. The spin-spiral state is multiferroic with an electric polarization along the a axis which has been proposed to be caused purely by the spin supercurrent mechanism. With external magnetic fields in c direction T$_N$ can be suppressed down to 0 K at 7.4 T. Here we report dynamical measurements of the polarization from P(E)-hysteresis loops, magnetic field dependent pyro-current and non-linear dielectric spectroscopy as well as thermal expansion and magnetostriction measurements at very low temperatures. The multiferroic transition is accompanied by strong anomalies in the thermal expansion and magnetostriction coefficients and we find slow switching times of electric domain reversal. Both observations suggest a sizable magnetoelastic coupling in LiCuVO$_4$. By analyzing the non-linear polarization dynamics we derive domain sizes in the nm range that are probably caused by Li defects.


title: Directional differentiability for supremum-type functionals: statistical applications

abstract: We show that various functionals related to the supremum of a real function defined on an arbitrary set or a measure space are Hadamard directionally differentiable. We specifically consider the supremum norm, the supremum, the infimum, and the amplitude of a function. The (usually non-linear) derivatives of these maps adopt simple expressions under suitable assumptions on the underlying space. As an application, we improve and extend to the multidimensional case the results in \cite{Raghavachari} regarding the limiting distributions of Kolmogorov-Smirnov type statistics under the alternative hypothesis. Similar results are obtained for analogous statistics associated with copulas. We additionally solve an open problem about the Berk-Jones statistic proposed by \cite{Jager-Wellner-2004}. Finally, the asymptotic distribution of maximum mean discrepancies over Donsker classes of functions is derived.


title: Path-tracing Monte Carlo Library for 3D Radiative Transfer in Highly Resolved Cloudy Atmospheres

abstract: Interactions between clouds and radiation are at the root of many difficulties in numerically predicting future weather and climate and in retrieving the state of the atmosphere from remote sensing observations. The large range of issues related to these interactions, and in particular to three-dimensional interactions, motivated the development of accurate radiative tools able to compute all types of radiative metrics, from monochromatic, local and directional observables, to integrated energetic quantities. In the continuity of this community effort, we propose here an open-source library for general use in Monte Carlo algorithms. This library is devoted to the acceleration of path-tracing in complex data, typically high-resolution large-domain grounds and clouds. The main algorithmic advances embedded in the library are those related to the construction and traversal of hierarchical grids accelerating the tracing of paths through heterogeneous fields in null-collision (maximum cross-section) algorithms. We show that with these hierarchical grids, the computing time is only weakly sensitivive to the refinement of the volumetric data. The library is tested with a rendering algorithm that produces synthetic images of cloud radiances. Two other examples are given as illustrations, that are respectively used to analyse the transmission of solar radiation under a cloud together with its sensitivity to an optical parameter, and to assess a parametrization of 3D radiative effects of clouds.


title: Vortex conveyor belt for matter-wave coherent splitting and interferometry

abstract: We numerically study a matter wave interferometer realized by splitting a trapped Bose-Einstein condensate with phase imprinting. We show that a simple step-like imprinting pattern rapidly decays into a string of vortices that can generate opposite velocities on the two halves of the condensate. We first study in detail the splitting and launching effect of these vortex structures, whose functioning resembles the one of a conveyor belt, and we show that the initial exit velocity along the vortex conveyor belt can be controlled continuously by adjusting the vortex distance. We finally characterize the complete interferometric sequence, demonstrating how the phase of the resulting interference fringe can be used to measure an external acceleration. The proposed scheme has the potential to be developed into compact and high precision accelerometers.


title: Active Automata Learning with Adaptive Distinguishing Sequences

abstract: This document investigates the integration of adaptive distinguishing sequences into the process of active automata learning (AAL). A novel AAL algorithm "ADT" (adaptive discrimination tree) is developed and presented. Since the submission of the original thesis, the presented algorithm has been integrated into LearnLib - an open-source library for active automata learning - and has been successfully used in related fields of research.


title: Variable emission mechanism of a Type IV radio burst

abstract: Context. The Sun is an active star and the source of the largest explosions in the solar system, such as flares and coronal mass ejections (CMEs). Flares and CMEs are powerful particle accelerators that can generate radio emission through various emission mechanisms. Aims. CMEs are often accompanied by Type IV radio bursts that are observed as continuum emission in dynamic spectra at decimetric and metric wavelengths, but their emission mechanism can vary from event to event. Here, we aim to determine the emission mechanism of a complex Type IV burst that accompanied the flare and CME on 22 September 2011. Methods. We used radio imaging from the Nan\c{c}ay Radioheliograph, spectroscopic data from the e-Callisto network, ARTEMIS, Ondrejov, and Phoenix3 spectrometers combined with extreme-ultraviolet observations from NASA's Solar Dynamic Observatory to analyse the Type IV radio burst and determine its emission mechanism. Results. We show that the emission mechanism of the Type IV radio burst changes over time. We identified two components in the Type IV radio burst: an earlier stationary Type IV showing gyro-synchrotron behaviour, and a later moving Type IV burst covering the same frequency band. This second component has a coherent emission mechanism. Fundamental plasma emission and the electroncyclotron maser emission are further investigated as possible emission mechanisms for the generation of the moving Type IV burst. Conclusions. Type IV bursts are therefore complex radio bursts, where multiple emission mechanisms can contribute to the generation of the wide-band continuum observed in dynamic spectra. Imaging spectroscopy over a wide frequency band is necessary to determine the emission mechanisms of Type IV bursts that are observed in dynamic spectra.


title: A note on the geometry of the MAP partition in Conjugate Exponential Bayesian Mixture Models

abstract: We investigate the geometry of the maximal a posteriori (MAP) partition in the Bayesian Mixture Model where the component and the base distributions are chosen from conjugate exponential families. We prove that in this case the clusters are separated by the contour lines of a linear functional of the sufficient statistic. As a particular example, we describe Bayesian Mixture of Normals with Normal-inverse-Wishart prior on the component mean and covariance, in which the clusters in any MAP partition are separated by a quadratic surface. In connection with results of Rajkowski (2018), where the linear separability of clusters in the Bayesian Mixture Model with a fixed component covariance matrix was proved, it gives a nice Bayesian analogue of the geometric properties of Fisher Discriminant Analysis (LDA and QDA).


title: CMB-S4 forecast on the primordial non-Gaussianity parameter of feature models

abstract: We present forecasts on the primordial non-Gaussianity parameter $f_\text{NL}$ of feature models for the future Cosmic Microwave Background Stage-4 (CMB-S4) experiments. The Fisher matrix of the bispectrum estimator was computed using noise covariances expected for preliminary CMB-S4 specifications including ones for the Simons Observatory. We introduce a novel method that improves the computation by orthonormalising the covariance matrix. The most sensitive CMB-S4 experiment with 1' beam and 1$\mu K$-arcmin noise would yield a factor of 1.7-2.2 times more stringent constraints compared to Planck. Under the Simons Observatory baseline conditions the improvement would be about 1.3-1.6 times to Planck. We also thoroughly studied the effects of various model and experimental parameters on the forecast. Detailed analysis on the constraints coming from temperature and E-mode polarisation, in particular, provided some insight into detecting oscillatory features in the CMB bispectrum.


title: Evolving methods for rational de novo design of functional RNA molecules

abstract: Artificial RNA molecules with novel functionality have many applications in synthetic biology, pharmacy and white biotechnology. The de novo design of such devices using computational methods and prediction tools is a resource-efficient alternative to experimental screening and selection pipelines. In this review, we describe methods common to many such computational approaches, thoroughly dissect these methods and highlight open questions for the individual steps. Initially, it is essential to investigate the biological target system, the regulatory mechanism that will be exploited, as well as the desired components in order to define design objectives. Subsequent computational design is needed to combine the selected components and to obtain novel functionality. This process can usually be split into constrained sequence sampling, the formulation of an optimization problem and an in silico analysis to narrow down the number of candidates with respect to secondary goals. Finally, experimental analysis is important to check whether the defined design objectives are indeed met in the target environment and detailed characterization experiments should be performed to improve the mechanistic models and detect missing design requirements.


title: Riemannian adaptive stochastic gradient algorithms on matrix manifolds

abstract: Adaptive stochastic gradient algorithms in the Euclidean space have attracted much attention lately. Such explorations on Riemannian manifolds, on the other hand, are relatively new, limited, and challenging. This is because of the intrinsic non-linear structure of the underlying manifold and the absence of a canonical coordinate system. In machine learning applications, however, most manifolds of interest are represented as matrices with notions of row and column subspaces. In addition, the implicit manifold-related constraints may also lie on such subspaces. For example, the Grassmann manifold is the set of column subspaces. To this end, such a rich structure should not be lost by transforming matrices to just a stack of vectors while developing optimization algorithms on manifolds. We propose novel stochastic gradient algorithms for problems on Riemannian matrix manifolds by adapting the row and column subspaces of gradients. Our algorithms are provably convergent and they achieve the convergence rate of order $\mathcal{O}(\log (T)/\sqrt{T})$, where $T$ is the number of iterations. Our experiments illustrate the efficacy of the proposed algorithms on several applications.


title: Quantum thermodynamics in adiabatic open systems and its trapped-ion experimental realization

abstract: Quantum thermodynamics aims at investigating both the emergence and the limits of the laws of thermodynamics from a quantum mechanical microscopic approach. In this scenario, thermodynamic processes with no heat exchange, namely, adiabatic transformations, can be implemented through quantum evolutions in closed systems, even though the notion of a closed system is always an idealization and approximation. Here, we begin by theoretically discussing thermodynamic adiabatic processes in open quantum systems, which evolve non-unitarily under decoherence due to its interaction with its surrounding environment. From a general approach for adiabatic non-unitary evolution, we establish heat and work in terms of the underlying Liouville superoperator governing the quantum dynamics. As a consequence, we derive the conditions that an adiabatic open-system quantum dynamics implies in the absence of heat exchange, providing a connection between quantum and thermal adiabaticity. Moreover, we determine families of decohering systems exhibiting the same maximal heat exchange, which imply in classes of thermodynamic adiabaticity in open systems. We then approach the problem experimentally using a hyperfine energy-level quantum bit of an Ytterbium $^{171}$Yb$^+$ trapped ion, which provides a work substance for thermodynamic processes, allowing for the analysis of heat and internal energy throughout a controllable engineered dynamics.


title: Chiral Symmetry Breaking by Monopole Condensation

abstract: Under the assumption of Abelian dominance in QCD, we show that either color charge or chirality of quark is not conserved, when the low energy massless quark collides with QCD monopole. Because the color charge is conserved in reality, the chirality is not conserved. We show by using chiral anomaly that chiral non symmetric quark pair production takes place when a classical color charge is putted in a vacuum with monopole condensation, while chiral symmetric pair production takes place in a vacuum with no monopole condensation. Our results indicate that the chiral symmetry is broken by the monopole condensation.


title: Is Spiking Secure? A Comparative Study on the Security Vulnerabilities of Spiking and Deep Neural Networks

abstract: Spiking Neural Networks (SNNs) claim to present many advantages in terms of biological plausibility and energy efficiency compared to standard Deep Neural Networks (DNNs). Recent works have shown that DNNs are vulnerable to adversarial attacks, i.e., small perturbations added to the input data can lead to targeted or random misclassifications. In this paper, we aim at investigating the key research question: ``Are SNNs secure?'' Towards this, we perform a comparative study of the security vulnerabilities in SNNs and DNNs w.r.t. the adversarial noise. Afterwards, we propose a novel black-box attack methodology, i.e., without the knowledge of the internal structure of the SNN, which employs a greedy heuristic to automatically generate imperceptible and robust adversarial examples (i.e., attack images) for the given SNN. We perform an in-depth evaluation for a Spiking Deep Belief Network (SDBN) and a DNN having the same number of layers and neurons (to obtain a fair comparison), in order to study the efficiency of our methodology and to understand the differences between SNNs and DNNs w.r.t. the adversarial examples. Our work opens new avenues of research towards the robustness of the SNNs, considering their similarities to the human brain's functionality.


title: Theoretical evidence for adversarial robustness through randomization

abstract: This paper investigates the theory of robustness against adversarial attacks. It focuses on the family of randomization techniques that consist in injecting noise in the network at inference time. These techniques have proven effective in many contexts, but lack theoretical arguments. We close this gap by presenting a theoretical analysis of these approaches, hence explaining why they perform well in practice. More precisely, we make two new contributions. The first one relates the randomization rate to robustness to adversarial attacks. This result applies for the general family of exponential distributions, and thus extends and unifies the previous approaches. The second contribution consists in devising a new upper bound on the adversarial generalization gap of randomized neural networks. We support our theoretical claims with a set of experiments.


title: Partition regularity and multiplicatively syndetic sets

abstract: We show how multiplicatively syndetic sets can be used in the study of partition regularity of dilation invariant systems of polynomial equations. In particular, we prove that a dilation invariant system of polynomial equations is partition regular if and only if it has a solution inside every multiplicatively syndetic set. We also adapt the methods of Green-Tao and Chow-Lindqvist-Prendiville to develop a syndetic version of Roth's density increment strategy. This argument is then used to obtain bounds on the Rado numbers of configurations of the form $\{x, d, x + d, x + 2d\}$.


title: Estimates of norms of log-concave random matrices with dependent entries

abstract: We prove estimates for $\mathbb{E} \| X: \ell_{p'}^n \to \ell_q^m\|$ for $p,q\ge 2$ and any random matrix $X$ having the entries of the form $a_{ij}Y_{ij}$, where $Y=(Y_{ij})_{1\le i\le m, 1\le j\le n}$ has i.i.d. isotropic log-concave rows. This generalises the result of Gu\'edon, Hinrichs, Litvak, and Prochno for Gaussian matrices with independent entries. Our estimate is optimal up to logarithmic factors. As a byproduct we provide the analogue bound for $m\times n$ random matrices, which entries form an unconditional vector in $\mathbb{R}^{mn}$. We also prove bounds for norms of matrices which entries are certain Gaussian mixtures.


title: CapStore: Energy-Efficient Design and Management of the On-Chip Memory for CapsuleNet Inference Accelerators

abstract: Deep Neural Networks (DNNs) have been established as the state-of-the-art algorithm for advanced machine learning applications. Recently, CapsuleNets have improved the generalization ability, as compared to DNNs, due to their multi-dimensional capsules. However, they pose high computational and memory requirements, which makes energy-efficient inference a challenging task. In this paper, we perform an extensive analysis to demonstrate their key limitations due to intense memory accesses and large on-chip memory requirements. To enable efficient CaspuleNet inference accelerators, we propose a specialized on-chip memory hierarchy which minimizes the off-chip memory accesses, while efficiently feeding the data to the accelerator. We analyze the on-chip memory requirements for each memory component of the architecture. By leveraging this analysis, we propose a methodology to explore different on-chip memory designs and a power-gating technique to further reduce the energy consumption, depending upon the utilization across different operations of a CapsuleNet. Our memory designs can significantly reduce the energy consumption of the on-chip memory by up to 86%, when compared to a state-of-the-art memory design. Since the power consumption of the memory elements is the major contributor in the power breakdown of the CapsuleNet accelerator, as we will also show in our analyses, the proposed memory design can effectively reduce the overall energy consumption of the complete CapsuleNet accelerator architecture.


title: Spin-current induced mechanical torque in a chiral molecular junction

abstract: We analyse the appearance of a mechanical torque that acts on a chiral molecule: a single-stranded DNA, in which the spin-orbit interaction is expected to induce a spin-selectivity effect. The mechanical torque is shown to appear as a result of the non-conservation of the spin current in the presence of the spin-orbit interaction. Adopting a simple microscopic model Hamiltonian for a chiral molecule connected to source and drain leads, and accounting for the mechanical torque acting on the chiral molecule as the back action on the electrons traversing the molecule, we derive the spin continuity-equation. It connects the spin current expressed by a Landauer-type formula and the mechanical torque. Thus, by injecting a spin-polarized current from the source electrode, it is possible to generate a torque, which will rotate the DNA molecule.


title: Statistical Mechanics of the Periodic Benjamin-Ono Equation

abstract: The periodic Benjamin-Ono equation is an autonomous Hamiltonian system with a Gibbs measure on $L^2({\mathbb T})$. The paper shows that the Gibbs measures on bounded balls of $L^2$ satisfy some logarithmic Sobolev inequalities. The space of $n$-soliton solutions of the periodic Benjamin-Ono equation, as discovered by Case, is a Hamiltonian system with an invariant Gibbs measure. As $n\rightarrow\infty$, these Gibbs measures exhibit a concentration of measure phenomenon. Case introduced soliton solutions that are parameterised by atomic measures in the complex plane. The limiting distributions of these measures gives the density of a compressible gas that satisfies the isentropic Euler equations.


title: Large tensor products and Littlewood-Richardson coefficients

abstract: The Littlewood-Richardson coefficients describe the decomposition of tensor products of irreducible representations of a simple Lie algebra into irreducibles. Assuming the number of factors is large, one gets a measure on the space of weights. This limiting measure was extensively studied by many authors. In particular, Kerov computed the corresponding density in a special case in type A and Kuperberg gave a formula for the general case. The goal of this paper is to give a short, self-contained and pure Lie theoretic proof of the formula for the density of the limiting measure. Our approach is based on the link between the limiting measure induced by the Littlewood-Richardson coefficients and the measure defined by the weight multiplicities of the tensor products.


title: Statistical mechanical properties of sequence space determine the efficiency of the various algorithms to predict interaction energies and native contacts from protein coevolution

abstract: Studying evolutionary correlations in alignments of homologous sequences by means of an inverse Potts model has proven useful to obtain residue-residue contact energies and to predict contacts in proteins. The quality of the results depend much on several choices of the detailed model and on the algorithms used. We built, in a very controlled way, synthetic alignments with statistical properties similar to those of real proteins, and used them to assess the performance of different inversion algorithms and of their variants. Realistic synthetic alignments display typical features of low--temperature phases of disordered systems, a feature that affects the inversion algorithms. We showed that a Boltzmann--learning algorithm is computationally feasible and performs well in predicting the energy of native contacts. However, all algorithms suffer of false positives quite equally, making the quality of the prediction of native contacts with the different algorithm much system--dependent.


title: Four tensors determining thermal and electric conductivities of degenerate electrons in magnetized plasma

abstract: A solution to the Boltzmann equation is obtained for a magnetized plasma with strongly degenerate nonrelativistic electrons and nondegenerate nuclei. The components of the diffusion, thermal diffusion and diffusion thermoeffect tensors in a nonquantizing magnetic field are calculated in the Lorentz approximation without allowance for electron-electron collisions, which is asymptotically accurate for plasma with strongly degenerate electrons. Asymptotically accurate analytical expressions for the electron diffusion, thermal diffusion and diffusion thermoeffect tensors in the presence of a magnetic field are obtained for the first time. The expressions reveal a considerably more complicated dependence on magnetic field than analogous dependences derived in the previous publications on this subject.


title: Optimal market making under partial information with general intensities

abstract: Starting from the Avellaneda-Stoikov framework, we consider a market maker who wants to optimally set bid/ask quotes over a finite time horizon, to maximize her expected utility. The intensities of the orders she receives depend not only on the spreads she quotes, but also on unobservable factors modelled by a hidden Markov chain. We tackle this stochastic control problem under partial information with a model that unifies and generalizes many existing ones under full information, combining several risk metrics and constraints, and using general decreasing intensity functionals. We use stochastic filtering, control and piecewise-deterministic Markov processes theory, to reduce the dimensionality of the problem and characterize the reduced value function as the unique continuous viscosity solution of its dynamic programming equation. We then solve the analogous full information problem and compare the results numerically through a concrete example. We show that the optimal full information spreads are biased when the exact market regime is unknown, and the market maker needs to adjust for additional regime uncertainty in terms of P&L sensitivity and observed order flow volatility. This effect becomes higher, the longer the waiting time in between orders.


title: Small 4-regular planar graphs that are not circle representable

abstract: A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lov\'asz (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.


title: Trajectories of a droplet driven by an internal active device

abstract: We consider a liquid droplet which is propelled solely by internal flow. In a simple model, this flow is generated by an autonomous actuator, which moves on a prescribed trajectory inside the droplet. In a biological system, the device could represent a motor, carrying cargo and moving on a filamentary track. We work out the general framework to compute the self-propulsion of the droplet as a function of the actuating forces and the trajectory. The simplest autonomous device is composed of three point forces. Such a device gives rise to linear, circular or spiraling motion of the droplet, depending on whether the device is stationary or moving along a radial track. As an example of a more complex track we study in detail a spherical looped helix, inspired by recent studies on the propulsion of Synechococcus1 and Myxobacteria2. The droplet trajectories are found to depend strongly on the orientation of the device and the direction of the forces relative to the track with the posibility of unbounded motion even for time independent forcing.


title: Computational Aspects for Interface Identification Problems with Stochastic Modelling

abstract: In this paper, a shape optimization problem constrained by a random elliptic partial differential equation with a pure Neumann boundary is presented. The model is motivated by applications in interface identification, where we assume coefficients and inputs are subject to uncertainty. The problem is posed as a minimization of the expectation of a random objective functional depending on the uncertain parameters. A numerical method for iteratively solving the problem is presented, which is a generalization of the classical stochastic gradient method in shape spaces. Moreover, we perform numerical experiments, which demonstrate the effectiveness of the algorithm.


title: Super-Convergent Implicit-Explicit Peer Methods with Variable Step Sizes

abstract: Dynamical systems with sub-processes evolving on many different time scales are ubiquitous in applications. Their efficient solution is greatly enhanced by automatic time step variation. This paper is concerned with the theory, construction and application of IMEX-Peer methods that are super-convergent for variable step sizes and A-stable in the implicit part. IMEX schemes combine the necessary stability of implicit and low computational costs of explicit methods to efficiently solve systems of ordinary differential equations with both stiff and non-stiff parts included in the source term. To construct super-convergent IMEX-Peer methods which keep their higher order for variable step sizes and exhibit favourable linear stability properties, we derive necessary and sufficient conditions on the nodes and coefficient matrices and apply an extrapolation approach based on already computed stage values. New super-convergent IMEX-Peer methods of order $s+1$ for $s=2,3,4$ stages are given as result of additional order conditions which maintain the super-convergence property independent of step size changes. Numerical experiments and a comparison to other super-convergent IMEX-Peer methods show the potential of the new methods when applied with local error control.


title: Boundary behavior of multi-type continuous-state branching processes with immigration

abstract: In this article we provide a sufficient condition for a continuous-state branching process with immigration (CBI process) to not hit its boundary, i.e. for non-extinction. Our result applies to arbitrary dimension $d \geq 1$ and is formulated in terms of an integrability condition for its immigration and branching mechanisms $F$ and $R$. The proof is based on a suitable comparison with one-dimensional CBI processes and an existing result for one-dimensional CBI processes. The same technique is also used to provide a sufficient condition for transience of multi-type CBI processes.


title: Lateral inhibition provides a unifying framework for spatiotemporal pattern formation in media comprising relaxation oscillators

abstract: The collective dynamics seen in a wide variety of chemical, biological and ecological systems involve interactions between relaxation oscillators that typically involve fast activation process coupled with a slower inactivation. In this paper, we show that systems of such oscillators having distinct kinetics governing local dynamical behavior and whose interactions are described by different connection topologies, can exhibit strikingly similar spatiotemporal patterns when diffusively coupled via their inactivation component. We explain the apparent universality of this global behavior by showing that relaxation oscillators interacting via lateral inhibition will generally yield two basic classes of patterns, viz., one comprising one or more clusters of synchronized oscillators while the other is a time-invariant spatially inhomogeneous state resulting from oscillation death. All observed collective states can be interpreted either as specific instances of these fundamental patterns or as resulting from their competition.


abstract: This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurrency, here we use an approach based on process calculus, like CCS and CSP, and Action Models Logic. Our approach makes possible the proof of soundness, completeness and decidability, different from the others approaches. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.


title: Construction and box dimension of recurrent fractal interpolation surfaces

abstract: In this paper, we present a general framework to construct recurrent fractal interpolation surfaces (RFISs) on rectangular grids. Then we introduce bilinear RFISs, which are easy to be generated while there are no restrictions on interpolation points and vertical scaling factors. We also obtain the box dimension of bilinear RFISs under certain constraints, where the main assumption is that vertical scaling factors have uniform sums under a compatible partition.