title: Neutral ISM, Lyman-Alpha and Lyman-continuum in the nearby starburst Haro 11

abstract: Star forming galaxies are believed to be a major source of Lyman Continuum (LyC) radiation responsible for reionizing the early Universe. Direct observations of escaping ionizing radiation have however been few and with low escape fractions. In the local Universe, only ~10 emitters have been observed, with typical escape fractions of a few percent. The mechanisms regulating this escape need to be strongly evolving with redshift in order to account for the Epoch of Reionization. Gas content and star formation feedback are among the main suspects, known to both regulate neutral gas coverage and evolve with cosmic time. In this paper, we reanalyze HST-COS spectrocopy of the first detected local LyC leaker, Haro 11. We examine the connection between LyC leakage and Lyman-$\alpha$ line shape, and feedback-influenced neutral ISM properties like kinematics and gas distribution. We discuss the two extremes of an optically thin, density bounded ISM and a riddled, optically thick, ionization bounded ISM, and how Haro 11 fits into their theoretical predictions. We find that the most likely ISM model is a clumpy neutral medium embedded in a highly ionized medium with a combined covering fraction of unity and a residual neutral gas column density in the ionized medium high enough to be optically thick to Lyman-$\alpha$, but low enough to be at least partly transparent to Lyman continuum and undetected in Si II. This suggests that SF feedback and galaxy-scale interaction events play a major role in opening passageways for ionizing radiation through the neutral medium.


title: UmUTracker: A versatile MATLAB program for automated particle tracking of 2D light microscopy or 3D digital holography data

abstract: We present a versatile and fast MATLAB program (UmUTracker) that automatically detects and tracks particles by analyzing video sequences acquired by either light microscopy or digital in-line holographic microscopy. Our program detects the 2D lateral positions of particles with an algorithm based on the isosceles triangle transform, and reconstructs their 3D axial positions by a fast implementation of the Rayleigh-Sommerfeld model using a radial intensity profile. To validate the accuracy and performance of our program, we first track the 2D position of polystyrene particles using bright field and digital holographic microscopy. Second, we determine the 3D particle position by analyzing synthetic and experimentally acquired holograms. Finally, to highlight the full program features, we profile the microfluidic flow in a 100 micrometer high flow chamber. This result agrees with computational fluid dynamic simulations. On a regular desktop computer UmUTracker can detect, analyze, and track multiple particles at 5 frames per second for a template size of 201 x 201 in a 1024 x 1024 image. To enhance usability and to make it easy to implement new functions we used object-oriented programming. UmUTracker is suitable for studies related to: particle dynamics, cell localization, colloids and microfluidic flow measurement.


title: Curvature in Hamiltonian Mechanics And The Einstein-Maxwell-Dilaton Action

abstract: Riemannian geometry is a particular case of Hamiltonian mechanics: the orbits of the hamiltonian $H=\frac{1}{2}g^{ij}p_{i}p_{j}$ are the geodesics. Given a symplectic manifold (\Gamma,\omega), a hamiltonian $H:\Gamma\to\mathbb{R}$ and a Lagrangian sub-manifold $M\subset\Gamma$ we find a generalization of the notion of curvature. The particular case $H=\frac{1}{2}g^{ij}\left[p_{i}-A_{i}\right]\left[p_{j}-A_{j}\right]+\phi $ of a particle moving in a gravitational, electromagnetic and scalar fields is studied in more detail. The integral of the generalized Ricci tensor w.r.t. the Boltzmann weight reduces to the action principle $\int\left[R+\frac{1}{4}F_{ik}F_{jl}g^{kl}g^{ij}-g^{ij}\partial_{i}\phi\partial_{j}\phi\right]e^{-\phi}\sqrt{g}d^{n}q$ for the scalar, vector and tensor fields.


title: LocDyn: Robust Distributed Localization for Mobile Underwater Networks

abstract: How to self-localize large teams of underwater nodes using only noisy range measurements? How to do it in a distributed way, and incorporating dynamics into the problem? How to reject outliers and produce trustworthy position estimates? The stringent acoustic communication channel and the accuracy needs of our geophysical survey application demand faster and more accurate localization methods. We approach dynamic localization as a MAP estimation problem where the prior encodes dynamics, and we devise a convex relaxation method that takes advantage of previous estimates at each measurement acquisition step; The algorithm converges at an optimal rate for first order methods. LocDyn is distributed: there is no fusion center responsible for processing acquired data and the same simple computations are performed for each node. LocDyn is accurate: experiments attest to a smaller positioning error than a comparable Kalman filter. LocDyn is robust: it rejects outlier noise, while the comparing methods succumb in terms of positioning error.


title: Biomedical Data Warehouses

abstract: The aim of this article is to present an overview of the existing biomedical data warehouses and to discuss the issues and future trends in this area. We illustrate this topic by presenting the design of an innovative, complex data warehouse for personal, anticipative medicine.


title: Index and Materialized View Selection in Data Warehouses

abstract: The aim of this article is to present an overview of the major families of state-of-the-art index and materialized view selection methods, and to discuss the issues and future trends in data warehouse performance optimization. We particularly focus on data mining-based heuristics we developed to reduce the selection problem complexity and target the most pertinent candidate indexes and materialized views.


title: Model Checking of Cache for WCET Analysis Refinement

abstract: On real-time systems running under timing constraints, scheduling can be performed when one is aware of the worst case execution time (WCET) of tasks. Usually, the WCET of a task is unknown and schedulers make use of safe over-approximations given by static WCET analysis. To reduce the over-approximation, WCET analysis has to gain information about the underlying hardware behavior, such as pipelines and caches. In this paper, we focus on the cache analysis, which classifies memory accesses as hits/misses according to the set of possible cache states. We propose to refine the results of classical cache analysis using a model checker, introducing a new cache model for the least recently used (LRU) policy.


title: Hybrid Kinematic Control for Rigid Body Pose Stabilization using Dual Quaternions

abstract: In this paper, we address the rigid body pose stabilization problem using dual quaternion formalism. We propose a hybrid control strategy to design a switching control law with hysteresis in such a way that the global asymptotic stability of the closed-loop system is guaranteed and such that the global attractivity of the stabilization pose does not exhibit chattering, a problem that is present in all discontinuous-based feedback controllers. Using numerical simulations, we illustrate the problems that arise from existing results in the literature -- as unwinding and chattering -- and verify the effectiveness of the proposed controller to solve the robust global pose stability problem.


title: Traveling waves for degenerate diffusive equations on networks

abstract: In this paper we consider a scalar parabolic equation on a star graph; the model is quite general but what we have in mind is the description of traffic flows at a crossroad. In particular, we do not necessarily require the continuity of the unknown function at the node of the graph and, moreover, the diffusivity can be degenerate. Our main result concerns a necessary and sufficient algebraic condition for the existence of traveling waves in the graph. We also study in great detail some examples corresponding to quadratic and logarithmic flux functions, for different diffusivities, to which our results apply.


title: X-WACoDa: An XML-based approach for Warehousing and Analyzing Complex Data

abstract: Data warehousing and OLAP applications must nowadays handle complex data that are not only numerical or symbolic. The XML language is well-suited to logically and physically represent complex data. However, its usage induces new theoretical and practical challenges at the modeling, storage and analysis levels, and a new trend toward XML warehousing has been emerging for a couple of years. Unfortunately, no standard XML data warehouse architecture emerges. In this paper, we propose a unified XML warehouse reference model that synthesizes and enhances related work, and fits into a global XML warehousing and analysis approach we have developed. We also present a software platform that is based on this model, as well as a case study that illustrates its usage.


title: Scalable Attestation Resilient to Physical Attacks for Embedded Devices in Mesh Networks

abstract: Interconnected embedded devices are increasingly used invarious scenarios, including industrial control, building automation, or emergency communication. As these systems commonly process sensitive information or perform safety critical tasks, they become appealing targets for cyber attacks. A promising technique to remotely verify the safe and secure operation of networked embedded devices is remote attestation. However, existing attestation protocols only protect against software attacks or show very limited scalability. In this paper, we present the first scalable attestation protocol for interconnected embedded devices that is resilient to physical attacks. Based on the assumption that physical attacks require an adversary to capture and disable devices for some time, our protocol identifies devices with compromised hardware and software. Compared to existing solutions, our protocol reduces ommunication complexity and runtimes by orders of magnitude, precisely identifies compromised devices, supports highly dynamic and partitioned network topologies, and is robust against failures. We show the security of our protocol and evaluate it in static as well as dynamic network topologies. Our results demonstrate that our protocol is highly efficient in well-connected networks and robust to network disruptions.


title: Distance biases in the estimation of the physical properties of Hi-GAL compact sources-I. Clump properties and the identification of high-mass star forming candidates

abstract: The degradation of spatial resolution in star-forming regions observed at large distances ($d\gtrsim1$ kpc) with Herschel,can lead to estimates of the physical parameters of the detected compact sources (clumps) which do not necessarily mirror the properties of the original population of cores. This paper aims at quantifying the bias introduced in the estimation of these parameters by the distance effect. To do so, we consider Herschel maps of nearby star-forming regions taken from the Herschel-Gould-Belt survey, and simulate the effect of increased distance to understand what amount of information is lost when a distant star-forming region is observed with Herschel resolution. In the maps displaced to different distances we extract compact sources, and we derive their physical parameters as if they were original Hi-GAL maps of the extracted source samples. In this way, we are able to discuss how the main physical properties change with distance. In particular, we discuss the ability of clumps to form massive stars: we estimate the fraction of distant sources that are classified as high-mass stars-forming objects due to their position in the mass vs radius diagram, that are only "false positives". We give also a threshold for high-mass star-formation $M>1282 \ \left(\frac{r}{[\mathrm{pc}]}\right)^{1.42} M_{\odot}$. In conclusion, this paper provides the astronomer dealing with Herschel maps of distant star-forming regions with a set of prescriptions to partially recover the character of the core population in unresolved clumps.


title: Friction of rubber with surfaces patterned with rigid spherical asperities

abstract: This paper reports on the frictional properties of smooth rubber substrates sliding against rigid surfaces covered with various densities of colloidal nano-particles (average diameter 77 nm). Friction experiments were carried out using a transparent Poly(dimethyl siloxane) (PDMS) rubber contacting a silica lens with silica nano-particles sintered onto its surface. Using a previously described methodology (Nguyen \textit{et al.}, \textit{J. of Adhesion} \textbf{87} (2011) 235-250 ), surface shear stress and contact-pressure distribution within the contact were determined from a measurement of the displacement field at the surface of the PDMS elastomer. Addition of silica nano-particles results in a strong, pressure-independent enhancement of the frictional shear stress as compared to the smooth lens. The contribution of viscoelastic losses to these increased frictional properties is analyzed in the light of a numerical model that solves the contact problem between the rubber and the rough surface. An order-of-magnitude agreement is obtained between experimental and theoretical results, the latter showing that the calculation of viscoelastic dissipation within the contact is very sensitive to the details of the topography of the rigid asperities.


title: Exact collisional moments for plasma fluid theories

abstract: The velocity-space moments of the often troublesome nonlinear Landau collision operator are expressed exactly in terms of multi-index Hermite-polynomial moments of the distribution functions. The collisional moments are shown to be generated by derivatives of two well-known functions, namely the Rosenbluth-MacDonald-Judd-Trubnikov potentials for a Gaussian distribution. The resulting formula has a nonlinear dependency on the relative mean flow of the colliding species normalised to the root-mean-square of the corresponding thermal velocities, and a bilinear dependency on densities and higher-order velocity moments of the distribution functions, with no restriction on temperature, flow or mass ratio of the species. The result can be applied to both the classic transport theory of plasmas, that relies on the Chapman-Enskog method, as well as to deriving collisional fluid equations that follow Grad's moment approach. As an illustrative example, we provide the collisional ten-moment equations with exact conservation laws for momentum- and energy-transfer rate.

categories: physics.plasm-ph astro-ph.GA math-ph math.MP


title: Cell-to-cell variability and robustness in S-phase duration from genome replication kinetics

abstract: Genome replication, a key process for a cell, relies on stochastic initiation by replication origins, causing a variability of replication timing from cell to cell. While stochastic models of eukaryotic replication are widely available, the link between the key parameters and overall replication timing has not been addressed systematically.We use a combined analytical and computational approach to calculate how positions and strength of many origins lead to a given cell-to-cell variability of total duration of the replication of a large region, a chromosome or the entire genome.Specifically, the total replication timing can be framed as an extreme-value problem, since it is due to the last region that replicates in each cell. Our calculations identify two regimes based on the spread between characteristic completion times of all inter-origin regions of a genome. For widely different completion times, timing is set by the single specific region that is typically the last to replicate in all cells. Conversely, when the completion time of all regions are comparable,an extreme-value estimate shows that the cell-to-cell variability of genome replication timing has universal properties. Comparison with available data shows that the replication program of three yeast species falls in this extreme-value regime.


title: Power dissipation in fractal Feynman-Sierpinski AC circuits

abstract: This paper studies the concept of power dissipation in infinite graphs and fractals associated with passive linear networks consisting of non-dissipative elements. In particular, we analyze the so-called Feynman-Sierpinski ladder, a fractal AC circuit motivated by Feynman's infinite ladder, that exhibits power dissipation and wave propagation for some frequencies. Power dissipation in this circuit is obtained as a limit of quadratic forms, and the corresponding power dissipation measure associated with harmonic potentials is constructed. The latter measure is proved to be continuous and singular with respect to an appropriate Hausdorff measure defined on the fractal dust of nodes of the network.


title: CO2 infrared emission as a diagnostic of planet-forming regions of disks

abstract: [Abridged] The infrared ro-vibrational emission lines from organic molecules in the inner regions of protoplanetary disks are unique probes of the physical and chemical structure of planet forming regions and the processes that shape them. The non-LTE excitation effects of carbon dioxide (CO2) are studied in a full disk model to evaluate: (i) what the emitting regions of the different CO2 ro-vibrational bands are; (ii) how the CO2 abundance can be best traced using CO2 ro-vibrational lines using future JWST data and; (iii) what the excitation and abundances tell us about the inner disk physics and chemistry. CO2 is a major ice component and its abundance can potentially test models with migrating icy pebbles across the iceline. A full non-LTE CO2 excitation model has been built. The characteristics of the model are tested using non-LTE slab models. Subsequently the CO2 line formation has been modelled using a two-dimensional disk model representative of T-Tauri disks. The CO2 gas that emits in the 15 $\mu$m and 4.5 $\mu$m regions of the spectrum is not in LTE and arises in the upper layers of disks, pumped by infrared radiation. The v$_2$ 15 $\mu$m feature is dominated by optically thick emission for most of the models that fit the observations and increases linearly with source luminosity. Its narrowness compared with that of other molecules stems from a combination of the low rotational excitation temperature (~250 K) and the inherently narrower feature for CO2. The inferred CO2 abundances derived for observed disks are more than two orders of magnitude lower than those in interstellar ices (~10$^5$), similar to earlier LTE disk estimates. Line-to-continuum ratios are low, of order a few %, thus high signal-to-noise (S/N > 300) observations are needed for individual line detections. Prospects of accurate abundance retreival with JWST-MIRI and JWST-NIRSpec are discussed.


title: Strain-modulated Bandgap and Piezo-resistive Effect in Black Phosphorus Field-effect Transistors

abstract: Energy bandgap largely determines the optical and electronic properties of a semiconductor. Variable bandgap therefore makes versatile functionality possible in a single material. In layered material black phosphorus, the bandgap can be modulated by the number of layers; as a result, few-layer black phosphorus has discrete bandgap values that are relevant for opto-electronic applications in the spectral range from red, in monolayer, to mid-infrared in the bulk limit. Here, we further demonstrate continuous bandgap modulation by mechanical strain applied through flexible substrates. The strain-modulated bandgap significantly alters the charge transport in black phosphorus at room temperature; we for the first time observe a large piezo-resistive effect in black phosphorus field-effect transistors (FETs). The effect opens up opportunities for future development of electro-mechanical transducers based on black phosphorus, and we demonstrate strain gauges constructed from black phosphorus thin crystals.


title: Single-particle detection of products from atomic and molecular reactions in a cryogenic ion storage ring

abstract: We have used a single-particle detector system, based on secondary electron emission, for counting low-energetic (~keV/u) massive products originating from atomic and molecular ion reactions in the electrostatic Cryogenic Storage Ring (CSR). The detector is movable within the cryogenic vacuum chamber of CSR, and was used to measure production rates of a variety of charged and neutral daughter particles. In operation at a temperature of ~6 K, the detector is characterised by a high dynamic range, combining a low dark event rate with good high-rate particle counting capability. On-line measurement of the pulse height distributions proved to be an important monitor of the detector response at low temperature. Statistical pulse-height analysis allows to infer the particle detection efficiency of the detector, which has been found to be close to unity also in cryogenic operation at 6 K.


title: A stage-structured Bayesian hierarchical model for salmon lice populations at individual salmon farms - Estimated from multiple farm data sets

abstract: Salmon farming has become a prosperous international industry over the last decades. Along with growth in the production farmed salmon, however, an increasing threat by pathogens has emerged. Of special concern is the propagation and spread of the salmon louse, Lepeophtheirus salmonis. In order to gain insight into this parasites population dynamics in large scale salmon farming system, we present a fully mechanistic stage-structured population model for the salmon louse, also allowing for complexities involved in the hierarchical structure of full scale salmon farming. The model estimates parameters controlling a wide range of processes, including temperature dependent demographic rates, fish size and abundance effects on louse transmission rates, effects sizes of various salmon louse control measures, and distance based between farm transmission rates. Model parameters were estimated from data including 32 salmon farms, except the last production months for five farms which were used to evaluate model predictions. We used a Bayesian estimation approach, combining the prior distributions and the data likelihood into a joint posterior distribution for all model parameters. The model generated expected values that fitted the observed infection levels of the chalimus, adult female and other mobile stages of salmon lice, reasonably well. Predictions for the time periods not used for fitting the model were also consistent with the observational data. We argue that the present model for the population dynamics of the salmon louse in aquaculture farm systems may contribute to resolve the complexity of processes that drive that drive this host-parasite relationship, and hence may improve strategies to control the parasite in this production system.


title: A new bijective proof of Babson and Steingr\'{\i}msson's conjecture

abstract: Babson and Steingr\'{\i}msson introduced generalized permutation patterns and showed that most of the Mahonian statistics in the literature can be expressed by the combination of generalized pattern functions. Particularly, they defined a new Mahonian statistic in terms of generalized pattern functions, which is denoted $stat$. Given a permutation $\pi$, let $des(\pi)$ denote the descent number of $\pi$ and $maj(\pi)$ denote the major index of $\pi$. Babson and Steingr\'{\i}msson conjectured that $(des,stat)$ and $(des,maj)$ are equidistributed on $S_n$. Foata and Zeilberger settled this conjecture using q-enumeration, generating functions and Maple packages ROTA and PERCY. Later, Burstein provided a bijective proof of a refinement of this conjecture. In this paper, we give a new bijective proof of this conjecture.


title: Stable ALS Approximation in the TT-Format for Rank-Adaptive Tensor Completion

abstract: Low rank tensor completion is a highly ill-posed inverse problem, particularly when the data model is not accurate, and some sort of regularization is required in order to solve it. In this article we focus on the calibration of the data model. For alternating optimization, we observe that existing rank adaption methods do not enable a continuous transition between manifolds of different ranks. We denote this characteristic as $\textit{instability (under truncation)}$. As a consequence of this property, arbitrarily small changes in the iterate can have arbitrarily large influence on the further reconstruction. We therefore introduce a singular value based regularization to the standard alternating least squares (ALS), which is motivated by averaging in microsteps. We prove its $\textit{stability}$ and derive a natural semi-implicit rank adaption strategy. We further prove that the standard ALS microsteps for completion problems are only stable on manifolds of fixed ranks, and only around points that have what we define as $\textit{internal tensor restricted isometry property, iTRIP}$. In conclusion, numerical experiments are provided that show improvements of the reconstruction quality up to orders of magnitude in the new Stable ALS Approximation (SALSA) compared to standard ALS and the well known Riemannian optimization RTTC.


title: Automatic smoothness detection of the resolvent Krylov subspace method for the approximation of $C_0$-semigroups

abstract: The resolvent Krylov subspace method builds approximations to operator functions $f(A)$ times a vector $v$. For the semigroup and related operator functions, this method is proved to possess the favorable property that the convergence is automatically faster when the vector $v$ is smoother. The user of the method does not need to know the presented theory and alterations of the method are not necessary in order to adapt to the (possibly unknown) smoothness of $v$. The findings are illustrated by numerical experiments.


title: Top-quark and Higgs boson perspectives at heavy-ion colliders

abstract: The perspectives for measuring the top quark and the Higgs boson in nuclear collisions at the LHC and Future Circular Collider (FCC) are summarized. Perturbative QCD calculations at (N)NLO accuracy, including nuclear parton distribution functions, are used to determine their cross sections and visible yields after standard analysis cuts in PbPb and pPb collisions at the LHC ($\sqrt{s_{NN}}$ = 5.5, 8.8 TeV) and FCC ($\sqrt{s_{NN}}$ = 39, 63 TeV). In their "cleanest" decay channels, $\rm t\bar{t}\to b\bar{b} 2 \ell 2\nu$ and $\rm H\to \gamma\gamma, 4\ell$, about 10$^3$ ($10^5$) top-quark and 10 (10$^3$) Higgs-boson events are expected at the LHC (FCC) for their total nominal integrated luminosities. Whereas the $\rm t \bar{t}$ observation is clearcut at both colliders, evidence for Higgs production, perfectly possible at the FCC, requires integrating $\times$30 more luminosities at the LHC.


title: Structural, thermodynamic, and transport properties of CH$_2$ plasma in the two-temperature regime

abstract: This paper covers calculation of radial distribution functions, specific energy and static electrical conductivity of CH$_2$ plasma in the two-temperature regime. The calculation is based on the quantum molecular dynamics, density functional theory and the Kubo-Greenwood formula. The properties are computed at 5 kK $\le$ $T_i$ $\le$ $T_e$ $\le$ 40 kK and \rho = 0.954 g/cm$^3$ and depend severely on the presence of chemical bonds in the system. Chemical compounds exist at the lowest temperature $T_i$ = $T_e$ = 5 kK considered; they are destroyed rapidly at the growth of $T_i$ and slower at the increase of $T_e$. A significant number of bonds are present in the system at 5 kK $\le$ $T_i$ $\le$ $T_e$ $\le$ 10 kK. The destruction of bonds correlates with the growth of specific energy and static electrical conductivity under these conditions.


title: On a conjecture of Sokal concerning roots of the independence polynomial

abstract: A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $\Delta \ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(\Delta-1)^{\Delta-1}}{(\Delta-2)^{\Delta}})$ on which the independence polynomial of any graph with maximum degree at most $\Delta$ does not vanish. We show here that Sokal's Conjecture holds, as well as a multivariate version, and prove optimality for the domain of non-vanishing. An important step is to translate the setting to the language of complex dynamical systems.


title: Mixed Weyl semimetals and dissipationless magnetization control in insulators by spin-orbit torques

abstract: Reliable and energy efficient magnetization switching by electrically-induced spin-orbit torques is of crucial technological relevance for spintronic devices implementing memory and logic functionality. Here we predict that the strength of spin-orbit torques and the related Dzyaloshinskii-Moriya interaction in topologically non-trivial magnetic insulators can exceed by far that of conventional metallic magnets. In analogy to the quantum anomalous Hall effect, we explain this extraordinary response in absence of longitudinal currents as a hallmark of magnetic monopoles in the electronic structure of systems that are interpreted most naturally within the framework of mixed Weyl semimetals. We thereby launch the effect of spin-orbit torque into the field of topology and reveal its crucial role in mediating the topological phase transitions arising due to the complex interplay between magnetization direction and momentum-space topology. The concepts presented here may be exploited to understand and utilize magneto-electric coupling phenomena in insulating ferromagnets and antiferromagnets.


title: Efficient Kinematic Planning for Mobile Manipulators with Non-holonomic Constraints Using Optimal Control

abstract: This work addresses the problem of kinematic trajectory planning for mobile manipulators with non-holonomic constraints, and holonomic operational-space tracking constraints. We obtain whole-body trajectories and time-varying kinematic feedback controllers by solving a Constrained Sequential Linear Quadratic Optimal Control problem. The employed algorithm features high efficiency through a continuous-time formulation that benefits from adaptive step-size integrators and through linear complexity in the number of integration steps. In a first application example, we solve kinematic trajectory planning problems for a 26 DoF wheeled robot. In a second example, we apply Constrained SLQ to a real-world mobile manipulator in a receding-horizon optimal control fashion, where we obtain optimal controllers and plans at rates up to 100 Hz.


title: Database Benchmarks

abstract: The aim of this article is to present an overview of the major families of state-of-the-art data-base benchmarks, namely: relational benchmarks, object and object-relational benchmarks, XML benchmarks, and decision-support benchmarks, and to discuss the issues, tradeoffs and future trends in database benchmarking. We particularly focus on XML and decision-support benchmarks, which are currently the most innovative tools that are developed in this area.


title: Data Warehouse Benchmarking with DWEB

abstract: Performance evaluation is a key issue for designers and users of Database Management Systems (DBMSs). Performance is generally assessed with software benchmarks that help, e.g., test architectural choices, compare different technologies or tune a system. In the particular context of data warehousing and On-Line Analytical Processing (OLAP), although the Transaction Processing Performance Council (TPC) aims at issuing standard decision-support benchmarks, few benchmarks do actually exist. We present in this chapter the Data Warehouse Engineering Benchmark (DWEB), which allows generating various ad-hoc synthetic data warehouses and workloads. DWEB is fully parameterized to fulfill various data warehouse design needs. However, two levels of parameterization keep it relatively easy to tune. We also expand on our previous work on DWEB by presenting its new Extract, Transform, and Load (ETL) feature as well as its new execution protocol. A Java implementation of DWEB is freely available on-line, which can be interfaced with most existing relational DMBSs. To the best of our knowledge, DWEB is the only easily available, up-to-date benchmark for data warehouses.


title: Indices in XML Databases

abstract: With XML becoming a standard for business information representation and exchange, stor-ing, indexing, and querying XML documents have rapidly become major issues in database research. In this context, query processing and optimization are primordial, native-XML data-bases not being mature yet. Data structures such as indices, which help enhance performances substantially, are extensively researched, especially since XML data bear numerous specifici-ties with respect to relational data. In this paper, we survey state-of-the-art XML indices and discuss the main issues, tradeoffs and future trends in XML indexing. We also present an in-dex that we specifically designed for the particular architecture of XML data warehouses.


title: Modelling Competitive Sports: Bradley-Terry-\'{E}l\H{o} Models for Supervised and On-Line Learning of Paired Competition Outcomes

abstract: Prediction and modelling of competitive sports outcomes has received much recent attention, especially from the Bayesian statistics and machine learning communities. In the real world setting of outcome prediction, the seminal \'{E}l\H{o} update still remains, after more than 50 years, a valuable baseline which is difficult to improve upon, though in its original form it is a heuristic and not a proper statistical "model". Mathematically, the \'{E}l\H{o} rating system is very closely related to the Bradley-Terry models, which are usually used in an explanatory fashion rather than in a predictive supervised or on-line learning setting. Exploiting this close link between these two model classes and some newly observed similarities, we propose a new supervised learning framework with close similarities to logistic regression, low-rank matrix completion and neural networks. Building on it, we formulate a class of structured log-odds models, unifying the desirable properties found in the above: supervised probabilistic prediction of scores and wins/draws/losses, batch/epoch and on-line learning, as well as the possibility to incorporate features in the prediction, without having to sacrifice simplicity, parsimony of the Bradley-Terry models, or computational efficiency of \'{E}l\H{o}'s original approach. We validate the structured log-odds modelling approach in synthetic experiments and English Premier League outcomes, where the added expressivity yields the best predictions reported in the state-of-art, close to the quality of contemporary betting odds.


title: Equilibration and Order in Quantum Floquet Matter

abstract: Equilibrium theormodynamics is characterized by two fundamental ideas: thermalisation--that systems approach a late time thermal state; and phase structure--that thermal states exhibit singular changes as various parameters characterizing the system are changed. We summarise recent progress that has established generalizations of these ideas to periodically driven, or Floquet, closed quantum systems. This has resulted in the discovery of entirely new phases which exist only out of equilibrium, such as the $\pi$-spin glass or Floquet time crystal.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Level crossings induced by a longitudinal coupling in the transverse field Ising chain

abstract: We study the effect of antiferromagnetic longitudinal coupling on the one-dimensional transverse field Ising model with nearest-neighbour couplings. In the topological phase where, in the thermodynamic limit, the ground state is twofold degenerate, we show that, for a finite system of N sites, the longitudinal coupling induces N level crossings between the two lowest lying states as a function of the field. We also provide strong arguments suggesting that these N level crossings all appear simultaneously as soon as the longitudinal coupling is switched on. This conclusion is based on perturbation theory, and a mapping of the problem onto the open Kitaev chain, for which we write down the complete solution in terms of Majorana fermions.


title: Optimal Communication Strategies in Networked Cyber-Physical Systems with Adversarial Elements

abstract: This paper studies optimal communication and coordination strategies in cyber-physical systems for both defender and attacker within a game-theoretic framework. We model the communication network of a cyber-physical system as a sensor network which involves one single Gaussian source observed by many sensors, subject to additive independent Gaussian observation noises. The sensors communicate with the estimator over a coherent Gaussian multiple access channel. The aim of the receiver is to reconstruct the underlying source with minimum mean squared error. The scenario of interest here is one where some of the sensors are captured by the attacker and they act as the adversary (jammer): they strive to maximize distortion. The receiver (estimator) knows the captured sensors but still cannot simply ignore them due to the multiple access channel, i.e., the outputs of all sensors are summed to generate the estimator input. We show that the ability of transmitter sensors to secretly agree on a random event, that is "coordination", plays a key role in the analysis...


title: Efficient Medium Access Arbitration Among Interfering WBANs Using Latin Rectangles

abstract: The overlap of transmission ranges among multiple Wireless Body Area Networks (WBANs) is referred to as coexistence. The interference is most likely to affect the communication links and degrade the performance when sensors of different WBANs simultaneously transmit using the same channel. In this paper, we propose a distributed approach that adapts to the size of the network, i.e., the number of coexisting WBANs, and to the density of sensors forming each individual WBAN in order to minimize the impact of co-channel interference through dynamic channel hopping based on Latin rectangles. Furthermore, the proposed approach opts to reduce the overhead resulting from channel hopping, and lowers the transmission delay, and saves the power resource at both sensor- and WBAN-levels. Specifically, we propose two schemes for channel allocation and medium access scheduling to diminish the probability of inter-WBAN interference. The first scheme, namely, Distributed Interference Avoidance using Latin rectangles (DAIL), assigns channel and time-slot combination that reduces the probability of medium access collision. DAIL suits crowded areas, e.g., high density of coexisting WBANs, and involves overhead due to frequent channel hopping at the WBAN coordinator and sensors. The second scheme, namely, CHIM, takes advantage of the relatively lower density of collocated WBANs to save power by hopping among channels only when interference is detected at the level of the individual nodes. We present an analytical model that derives the collision probability and network throughput. The performance of DAIL and CHIM is further validated through simulations.


title: Balanced subdivisions and flips on surfaces

abstract: In this paper, we show that two balanced triangulations of a closed surface are not necessary connected by a sequence of balanced stellar subdivisions and welds. This answers a question posed by Izmestiev, Klee and Novik. We also show that two balanced triangulations of a closed surface are connected by a sequence of three local operations, which we call the pentagon contraction, the balanced edge subdivision and the balanced edge weld. In addition, we prove that two balanced triangulations of the 2-sphere are connected by a sequence of pentagon contractions and their inverses if none of them are octahedral spheres.


title: Rational design and fabrication of versatile active colloidal molecules

abstract: Active colloids, also known as artificial microswimmers, are self-propelled micro and nanoparticles that convert uniform sources of fuel (e.g. chemical) or uniform external driving fields (e.g. magnetic or electric) into directed motion by virtue of asymmetry in their shape or composition. These materials are currently attracting enormous scientific attention for two main end uses. First, active colloids are prototypical internally driven, out-of-equilibrium systems and their study has led to new emergent material properties, such as swarming and living crystallization. Secondly, they hold the promise to be used as micro- and nanoscale devices with tremendous potential from medical to environmental applications. However, the current fabrication of active colloids is limited in the programmability of materials, geometry, and modes of motion. Here, we use sequential capillarity- assisted particle assembly (sCAPA) to link microspheres of different materials into clusters of prescribed shapes ("colloidal molecules") that can actively translate, circulate and rotate powered by asymmetric electro-hydrodynamic flows. Further engineering of the geometry and composition provides active colloids that switch motion under external triggers or perform simple pick-up and transport tasks. Our fabrication strategy enables both physicists and engineers to design and create customized active colloids to explore novel fundamental phenomena in active matter and to investigate materials and propulsion schemes that are compatible with future applications.


title: Binding energies and pairing gaps in semi-magic nuclei obtained using new regularized higher-order EDF generators

abstract: We present results of the Hartree-Fock-Bogolyubov calculations performed using nuclear energy density functionals based on regularized functional generators at next-to-leading and next-to-next-to-leading order. We discuss properties of binding energies and pairing gaps determined in semi-magic spherical nuclei. The results are compared with benchmark calculations performed for the functional generator SLyMR0 and functional UNEDF0.


title: Integrability of the Dirac Equation on Backgrounds that are the Direct Product of Bidimensional Spaces

abstract: The field equation for a spin 1/2 massive charged particle propagating in spacetimes that are the direct product of 2-dimensional spaces is separated. Moreover, we use this result to attain the separability of the Dirac equation in some specific static black hole solutions whose horizons have topology $\mathbb{R}\times \mathbb{S}^2 \times \cdots \times \mathbb{S}^2$.


title: Directional Emission from Dielectric Leaky-Wave Nanoantennas

abstract: An important source of innovation in nanophotonics is the idea to scale down known radio wave technologies to the optical regime. One thoroughly investigated example of this approach are metallic nanoantennas which employ plasmonic resonances to couple localized emitters to selected far-field modes. While metals can be treated as perfect conductors in the microwave regime, their response becomes Drude-like at optical frequencies. Thus, plasmonic nanoantennas are inherently lossy. Moreover, their resonant nature requires precise control of the antenna geometry. A promising way to circumvent these problems is the use of broadband nanoantennas made from low-loss dielectric materials. Here, we report on highly directional emission from active dielectric leaky-wave nanoantennas made of Hafnium dioxide. Colloidal semiconductor quantum dots deposited in the nanoantenna feed gap serve as a local light source. The emission patterns of active nanoantennas with different sizes are measured by Fourier imaging. We find for all antenna sizes a highly directional emission, underlining the broadband operation of our design.


title: Control of superconductivity with a single ferromagnetic layer in niobium/erbium bilayers

abstract: Superconducting spintronics in hybrid superconductor/ferromagnet (S-F) heterostructures provides an exciting potential new class of device. The prototypical super-spintronic device is the superconducting spin-valve, where the critical temperature, $T_c$, of the S-layer can be controlled by the relative orientation of two (or more) F-layers. Here, we show that such control is also possible in a simple S/F bilayer. Using field history to set the remanent magnetic state of a thin Er layer, we demonstrate for a Nb/Er bilayer a high level of control of both $T_c$ and the shape of the resistive transition, R(T), to zero resistance. We are able to model the origin of the remanent magnetization, treating it as an increase in the effective exchange field of the ferromagnet and link this, using conventional S-F theory, to the suppression of $T_c$. We observe stepped features in the R(T) which we argue is due to a fundamental interaction of superconductivity with inhomogeneous ferromagnetism, a phenomena currently lacking theoretical description.


title: Deconvolution of the energy loss function of the KATRIN experiment

abstract: The KATRIN experiment aims at a direct and model independent determination of the neutrino mass with 0.2 eV/c^2 sensitivity (at 90% C.L.) via a measurement of the endpoint region of the tritium beta-decay spectrum. The main components of the experiment are a windowless gaseous tritium source (WGTS), differential and cryogenic pumping sections and a tandem of a pre- and a main-spectrometer, applying the concept of magnetic adiabatic collimation with an electrostatic retardation potential to analyze the energy of beta decay electrons and to guide electrons passing the filter onto a segmented silicon PIN detector. One of the important systematic uncertainties of such an experiment are due to energy losses of beta-decay electrons by elastic and inelastic scattering off tritium molecules within the source volume which alter the shape of the measured spectrum. To correct for these effects an independent measurement of the corresponding energy loss function is required. In this work we describe a deconvolution method to extract the energy loss function from measurements of the response function of the experiment at different column densities of the WGTS using a monoenergetic electron source.


title: Design of Capacity Approaching Ensembles of LDPC Codes for Correlated Sources using EXIT Charts

abstract: This paper is concerned with the design of capacity approaching ensembles of Low-Densiy Parity-Check (LDPC) codes for correlated sources. We consider correlated binary sources where the data is encoded independently at each source through a systematic LDPC encoder and sent over two independent channels. At the receiver, a iterative joint decoder consisting of two component LDPC decoders is considered where the encoded bits at the output of each component decoder are used at the other decoder as the a priori information. We first provide asymptotic performance analysis using the concept of extrinsic information transfer (EXIT) charts. Compared to the conventional EXIT charts devised to analyze LDPC codes for point to point communication, the proposed EXIT charts have been completely modified to able to accommodate the systematic nature of the codes as well as the iterative behavior between the two component decoders. Then the developed modified EXIT charts are deployed to design ensembles for different levels of correlation. Our results show that as the average degree of the designed ensembles grow, the thresholds corresponding to the designed ensembles approach the capacity. In particular, for ensembles with average degree of around 9, the gap to capacity is reduced to about 0.2dB. Finite block length performance evaluation is also provided for the designed ensembles to verify the asymptotic results.


title: An Enhanced Lumped Element Electrical Model of a Double Barrier Memristive Device

abstract: The massive parallel approach of neuromorphic circuits leads to effective methods for solving complex problems. It has turned out that resistive switching devices with a continuous resistance range are potential candidates for such applications. These devices are memristive systems - nonlinear resistors with memory. They are fabricated in nanotechnology and hence parameter spread during fabrication may aggravate reproducible analyses. This issue makes simulation models of memristive devices worthwhile. Kinetic Monte-Carlo simulations based on a distributed model of the device can be used to understand the underlying physical and chemical phenomena. However, such simulations are very time-consuming and neither convenient for investigations of whole circuits nor for real-time applications, e.g. emulation purposes. Instead, a concentrated model of the device can be used for both fast simulations and real-time applications, respectively. We introduce an enhanced electrical model of a valence change mechanism (VCM) based double barrier memristive device (DBMD) with a continuous resistance range. This device consists of an ultra-thin memristive layer sandwiched between a tunnel barrier and a Schottky-contact. The introduced model leads to very fast simulations by using usual circuit simulation tools while maintaining physically meaningful parameters. Kinetic Monte-Carlo simulations based on a distributed model and experimental data have been utilized as references to verify the concentrated model.


title: Limiting eigenvectors of outliers for Spiked Information-Plus-Noise type matrices

abstract: We consider an Information-Plus-Noise type matrix where the Information matrix is a spiked matrix. When some eigenvalues of the random matrix separate from the bulk, we study how the corresponding eigenvectors project onto those of the spikes. Note that, in an Appendix, we present alternative versions of the earlier results of Bai and Silverstein about the lack of eigenvalues outside the support of the deterministic equivalent measure and of Capitaine about the exact separation phenomenon, where we remove some technical assumptions.


title: An improved parametric model for hysteresis loop approximation

abstract: A number of improvements have been added to the existing analytical model of hysteresis loop defined in parametric form. In particular, three phase shifts are included in the model, which permits to tilt the hysteresis loop smoothly by the required angle at the split point as well as to smoothly change the curvature of the loop. As a result, the error of approximation of a hysteresis loop by the improved model does not exceed 1%, which is several times less than the error of the existing model. The improved model is capable of approximating most of the known types of rate-independent symmetrical hysteresis loops encountered in the practice of physical measurements. The model allows building smooth, piecewise-linear, hybrid, minor, mirror-reflected, inverse, reverse, double and triple loops. One of the possible applications of the model developed is linearization of a probe microscope piezoscanner. The improved model can be found useful for the tasks of simulation of scientific instruments that contain hysteresis elements.


title: Emotion Recognition From Speech With Recurrent Neural Networks

abstract: In this paper the task of emotion recognition from speech is considered. Proposed approach uses deep recurrent neural network trained on a sequence of acoustic features calculated over small speech intervals. At the same time special probabilistic-nature CTC loss function allows to consider long utterances containing both emotional and neutral parts. The effectiveness of such an approach is shown in two ways. Firstly, the comparison with recent advances in this field is carried out. Secondly, human performance on the same task is measured. Both criteria show the high quality of the proposed method.


title: Gravitation radiation observations

abstract: The notion of gravitational radiation begins with electromagnetic radiation. In 1887 Heinrich Hertz, working in one room, generated and received electromagnetic radiation. Maxwell's equations describe the electromagnetic field. The quanta of electromagnetic radiation are spin 1 photons. They are fundamental to atomic physics and quantum electrodynamics.


title: The Planck numbers and the essence of gravitation: phenomenology

abstract: We introduce phenomenological understanding of the electromagnetic component of the physical vacuum, the EM vacuum, as a basic medium for all masses of the expanding Universe, and "Casimir polarization" of this medium arising in the vicinity of any material object in the Universe as a result of conjugation of the electric field components of the EM vacuum on both sides ("external" and "internal") of atomic nucleus boundary of the each mass with vacuum. It is shown that the gravitational attraction of two material objects in accordance with Newton's law of gravity arises as a result of overlapping of the domains of the EM vacuum Casimir polarization created by atomic nuclei of the objects, taking into account the long-range gravitational influence of all masses of the Universe on each nucleus of these objects (Mach's idea). Newton's law of gravitational attraction between two bodies is generalized to the case of gravitational interaction of a system of bodies when the center of mass of the pair of bodies shifted relative to the center of mass of the system. The unique smallness of gravitational interactions as compared with the fundamental nuclear (strong and weak) and electromagnetic ones is determined by the ratio of the characteristic size of the domain of EM vacuum Casimir polarization in the vicinity of atomic nuclei to the Hubble radius of the Universe.


title: Model-Free Control of Thermostatically Controlled Loads Connected to a District Heating Network

abstract: Optimal control of thermostatically controlled loads connected to a district heating network is considered a sequential decision- making problem under uncertainty. The practicality of a direct model-based approach is compromised by two challenges, namely scalability due to the large dimensionality of the problem and the system identification required to identify an accurate model. To help in mitigating these problems, this paper leverages on recent developments in reinforcement learning in combination with a market-based multi-agent system to obtain a scalable solution that obtains a significant performance improvement in a practical learning time. The control approach is applied on a scenario comprising 100 thermostatically controlled loads connected to a radial district heating network supplied by a central combined heat and power plant. Both for an energy arbitrage and a peak shaving objective, the control approach requires 60 days to obtain a performance within 65% of a theoretical lower bound on the cost.


title: Categorical Probabilistic Theories

abstract: We present a simple categorical framework for the treatment of probabilistic theories, with the aim of reconciling the fields of Categorical Quantum Mechanics (CQM) and Operational Probabilistic Theories (OPTs). In recent years, both CQM and OPTs have found successful application to a number of areas in quantum foundations and information theory: they present many similarities, both in spirit and in formalism, but they remain separated by a number of subtle yet important differences. We attempt to bridge this gap, by adopting a minimal number of operationally motivated axioms which provide clean categorical foundations, in the style of CQM, for the treatment of the problems that OPTs are concerned with.


title: Structural scale $q-$derivative and the LLG-Equation in a scenario with fractionality

abstract: In the present contribution, we study the Landau-Lifshitz-Gilbert equation with two versions of structural derivatives recently proposed: the scale $q-$derivative in the non-extensive statistical mechanics and the axiomatic metric derivative, which presents Mittag-Leffler functions as eigenfunctions. The use of structural derivatives aims to take into account long-range forces, possible non-manifest or hidden interactions and the dimensionality of space. Having this purpose in mind, we build up an evolution operator and a deformed version of the LLG equation. Damping in the oscillations naturally show up without an explicit Gilbert damping term.

categories: math-ph cond-mat.stat-mech hep-th math.MP quant-ph


title: An assessment of the two-layer quasi-laminar theory of relaminarization through recent high-Re accelerated TBL experiments

abstract: The phenomenon of relaminarization is observed in many flow situations, including that of an initially turbulent boundary layer subjected to strong favourable pressure gradients. Available turbulence models have hitherto been unsuccessful in correctly predicting boundary layer parameters for such flows. Narasimha and Sreenivasan \cite{narasimha1973relaminarization} proposed a quasi-laminar theory (QLT) based on a two-layer model to explain the later stages of relaminarization. This theory showed good agreement with the experimental data available, which at the time was at relatively low $Re$. QLT, therefore, could not be validated at high $Re$. Some of the more recent experiments report for the first time comprehensive studies of a relaminarizing flow at relatively high Reynolds numbers (of order $5\times 10^3$ in momentum thickness), where all the boundary layer quantities of interest are measured. In the present work, the two-layer model is revisited for these relaminarizing flows with an improved code in which the inner-layer equations for quasi-laminar theory have been solved exactly. It is shown that even for high-$Re$ flows with high acceleration, QLT provides a much superior match with the experimental results than the standard turbulent boundary layer codes. This agreement can be seen as strong support for QLT, which therefore has the potential to be used in RANS simulations along with turbulence models.


title: Toward III-V/Si co-integration by controlling biatomic steps on hydrogenated Si(001)

abstract: The integration of III-V on silicon is still a hot topic as it will open up a way to co-integrate Si CMOS logic with photonic vices. To reach this aim, several hurdles should be solved, and more particularly the generation of antiphase boundaries (APBs) at the III-V/Si(001) interface. Density functional theory (DFT) has been used to demonstrate the existence of a double-layer steps on nominal Si(001) which is formed during annealing under proper hydrogen chemical potential. This phenomenon could be explained by the formation of dimer vacancy lines which could be responsible for the preferential and selective etching of one type of step leading to the double step surface creation. To check this hypothesis, different experiments have been carried in an industrial 300 mm MOCVD where the total pressure during the anneal step of Si(001) surface has been varied. Under optimized conditions, an APBs-free GaAs layer was grown on a nominal Si(001) surface paving the way for III-V integration on silicon industrial platform.


title: Development of Wind Power Generation Model with DFIG for Varying Wind Speed and Frequency Control for Wind Diesel Power Plant

abstract: The power generation with non-renewable energy sources has very harmful effects on the environment as well as these sources are depleting. On the other side the renewable energy sources are quite unpredictable source of power. The best trade-off is to use the combination of both kind of sources to make a hybrid system so that their individual power generation constraints can be overcome. The hybrid system taken for analysis in this work comprises of wind and diesel power generation systems. The complete modelling of the system has been done in MATLAB/SIMULINK environment. Doubly fed induction generator (DFIG) is used for power generation in wind power system. The modelling has been done considering the changing wind speed and varying load conditions. The mathematical models of DFIG and diesel power generator have been used to develop the simulink model which can be used for analysis of various performances of the system like frequency response and power sharing between different sources with load variation .The generating margin of DFIG is also simulated for the frequency support during varying load conditions .The generating margin is created by the control of active power output from DFIG. Also as the power demand rises the generating margin of DFIG keeps the balance between the power generation and load. Proportional Integral controller has been used for diesel generator plant for frequency control. The controller gains have been optimized with Particle Swarm Optimization technique. The proper selection of controller gains and wind power reserve help to achieve the enhanced frequency response of the hybrid system.


title: The Exchange Hole in the Dirac Sea

abstract: This work is motivated by the long-standing question about the internal stability of the electron. While one cannot investigate internal properties of a point-like particle, it is fair to analyze the response of the Dirac sea to an electron. For this purpose the concept of an exchange hole is generalized from the Fermi sea of condensed matter physics to the Dirac sea of quantum electrodynamics. In order to conserve charge and angular momentum, an exchange electron is added to the exchange hole, forming a neutral exchange exciton. Consequently, the pair correlation defining the exchange hole is generalized to a three-fermion correlation. An approximation by sequential pair correlations provides analytic results for charge densities, average distances, and force densities of the exchange hole and electron. The analysis is supported by analogies to the negative ion of positronium.


title: Design of PI Controller for Automatic Generation Control of Multi Area Interconnected Power System using Bacterial Foraging Optimization

abstract: The system comprises of three interconnected power system networks based on thermal, wind and hydro power generation. The load variation in any one of the network results in frequency deviation in all the connected systems.The PI controllers have been connected separately with each system for the frequency control and the gains (Kp and Ki) of all the controllers have been optimized along with frequency bias (Bi) and speed regulation parameter (Ri). The computationally intelligent techniques like bacterial foraging optimization (BFO) and particle swarm optimization (PSO) have been applied for the tuning of controller gains along with variable parameters Bi and Ri. The gradient descent (GD) based conventional method has also been applied for optimizing the parameters Kp, Ki,Bi and Ri.The frequency responses are obtained with all the methods. The performance index chosen is the integral square error (ISE). The settling time, peak overshoot and peak undershoot of all the frequency responses on applying three optimization techniques have been compared. It has been observed that the peak overshoot and peak undershoot significantly reduce with BFO technique followed by the PSO and GD techniques. While obtaining such optimum response the settling time is increased marginally with bacterial foraging technique due to large number of mathematical equations used for the computation in BFO. The comparison of frequency response using three techniques show the superiority of BFO over the PSO and GD techniques. The designing of the system and tuning of the parameters with three techniques has been done in MATLAB/SIMULINK environment.


title: Application of Spin-Exchange Relaxation-Free Magnetometry to the Cosmic Axion Spin Precession Experiment

abstract: The Cosmic Axion Spin Precession Experiment (CASPEr) seeks to measure oscillating torques on nuclear spins caused by axion or axion-like-particle (ALP) dark matter via nuclear magnetic resonance (NMR) techniques. A sample spin-polarized along a leading magnetic field experiences a resonance when the Larmor frequency matches the axion/ALP Compton frequency, generating precessing transverse nuclear magnetization. Here we demonstrate a Spin-Exchange Relaxation-Free (SERF) magnetometer with sensitivity $\approx 1~{\rm fT/\sqrt{Hz}}$ and an effective sensing volume of 0.1 $\rm{cm^3}$ that may be useful for NMR detection in CASPEr. A potential drawback of SERF-magnetometer-based NMR detection is the SERF's limited dynamic range. Use of a magnetic flux transformer to suppress the leading magnetic field is considered as a potential method to expand the SERF's dynamic range in order to probe higher axion/ALP Compton frequencies.


title: Ensemble Estimation of Generalized Mutual Information with Applications to Genomics

abstract: Mutual information is a measure of the dependence between random variables that has been used successfully in myriad applications in many fields. Generalized mutual information measures that go beyond classical Shannon mutual information have also received much interest in these applications. We derive the mean squared error convergence rates of kernel density-based plug-in estimators of general mutual information measures between two multidimensional random variables $\mathbf{X}$ and $\mathbf{Y}$ for two cases: 1) $\mathbf{X}$ and $\mathbf{Y}$ are continuous; 2) $\mathbf{X}$ and $\mathbf{Y}$ may have any mixture of discrete and continuous components. Using the derived rates, we propose an ensemble estimator of these information measures called GENIE by taking a weighted sum of the plug-in estimators with varied bandwidths. The resulting ensemble estimators achieve the $1/N$ parametric mean squared error convergence rate when the conditional densities of the continuous variables are sufficiently smooth. To the best of our knowledge, this is the first nonparametric mutual information estimator known to achieve the parametric convergence rate for the mixture case, which frequently arises in applications (e.g. variable selection in classification). The estimator is simple to implement and it uses the solution to an offline convex optimization problem and simple plug-in estimators. A central limit theorem is also derived for the ensemble estimators and minimax rates are derived for the continuous case. We demonstrate the ensemble estimator for the mixed case on simulated data and apply the proposed estimator to analyze gene relationships in single cell data.


title: Erasure Coding for Small Objects in In-Memory KV Storage

abstract: We present MemEC, an erasure-coding-based in-memory key-value (KV) store that achieves high availability and fast recovery while keeping low data redundancy across storage servers. MemEC is specifically designed for workloads dominated by small objects. By encoding objects in entirety, MemEC is shown to incur 60% less storage redundancy for small objects than existing replication- and erasure-coding-based approaches. It also supports graceful transitions between decentralized requests in normal mode (i.e., no failures) and coordinated requests in degraded mode (i.e., with failures). We evaluate our MemEC prototype via testbed experiments under read-heavy and update-heavy YCSB workloads. We show that MemEC achieves high throughput and low latency in both normal and degraded modes, and supports fast transitions between the two modes.


title: The Biological Consequences of the Computational World: Mathematical Reflections on Cancer Biology

abstract: The role of continua has been clear since antiquity in the mathematical approaches to physics, while discrete manifolds were brought to the limelight mostly by Quantum and Information Theories, in the XX century. We first recall how theorizing and measuring radically change in physics when using discrete vs. continuous mathematical manifolds. It will follow that the reference to discrete structures and digital information is far from neutral in knowledge construction. In biology, in particular, the introduction of information as a new observable on discrete data types has been promoting a dramatic reorganization of the tools for knowledge. We briefly analyze the origin and the nature, then some consequences of the bias thus induced in life sciences, with particular emphasis on research on cancer. We finally summarize new theoretical frames that propose different directions as for the organizing principles for biological thinking and experimenting, including in cancer research. Cancer is now viewed as an organismal, tissue based issue, according to the perspective proposed in (Sonnenschein, Soto, 1999; Baker, 2015).


title: Sequence-based prediction of function site and protein-ligand interaction by a functionally annotated domain profile database

abstract: Identifying protein functional sites (PFSs) and protein-ligand interactions (PLIs) are critically important in understanding the protein function and the involved biochemical reactions. As large amount of unknown proteins are quickly accumulated in this post-genome era, an urgent task arises to predict PFSs and PLIs at residual level. Nowadays many knowledge-based methods have been well developed for prediction of PFSs, however, accurate methods for PLI prediction are still lacking. In this study, we have presented a new method for prediction of PLIs and PFSs based on sequence of the inquiry protein. The key of the method hinges on a function- and interaction-annotated protein domain profile database, called fiDPD, which was built from the Structural Classification of Proteins (SCOP) database, using a hidden Markov model program. The method was applied to 13 target proteins from the recent Critical Assessment of Structure Prediction (CASP10/11). Our calculations gave a Matthews correlation coefficient (MCC) value of 0.66 for prediction of PFSs, and an 80% recall in prediction of PLIs. Our method reveals that PLIs are conserved during the evolution of proteins, and they can be reliably predicted from fiDPD. fiDPD can be used as a complement to existent bioinformatics tools for protein function annotation.


title: Cohen-Macaulayness and canonical module of residual intersections

abstract: We show the Cohen-Macaulayness and describe the canonical module of residual intersections $J=\mathfrak{a}\colon_R I$ in a Cohen-Macaulay local ring $R$, under sliding depth type hypotheses. For this purpose, we construct and study, using a recent article of Hassanzadeh and the second named author, a family of complexes that contains important informations on a residual intersection and its canonical module. We also determine several invariants of residual intersections as the graded canonical module, the Hilbert series, the Castelnuovo-Mumford regularity and the type. Finally, whenever $I$ is strongly Cohen-Macaulay, we show duality results for residual intersections that are closely connected to results by Eisenbud and Ulrich. It establishes some tight relations between the Hilbert series of some symmetric powers of $I/\mathfrak{a}$. We also provide closed formulas for the types and for the Bass numbers of some symmetric powers of $I/\mathfrak{a}.$


title: Query Performance Optimization in XML Data Warehouses

abstract: XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native-XML database management systems (DBMSs) currently bear limited performances and it is necessary to research for ways to optimize them. In this chapter, we present two such techniques. First, we propose a join index that is specifically adapted to the multidimensional architecture of XML warehouses. It eliminates join operations while preserving the information contained in the original warehouse. Second, we present a strategy for selecting XML materialized views by clustering the query workload. To validate these proposals, we measure the response time of a set of decision-support XQueries over an XML data warehouse, with and without using our optimization techniques. Our experimental results demonstrate their efficiency, even when queries are complex and data are voluminous.


title: Comments on the temperature dependence of the gauge topology

abstract: Recent efforts in lattice evaluation of the topological susceptibility had shown that at high temperatures it is given by well-separated instantons (even in QCD with light fermions, where those are highly suppressed). Recent development of the semiclassical theory suggest that below $T_{max}\sim 2.5T_c$, where Polyakov line has values between one and zero, the topology ensemble can be represented by a plasma of instanton constituents (called instanton-dyons or instanton-monopoles). It has been shown that such ensemble undergoes deconfinement and chiral transitions, semi-qualitatively reproducing the lattice results. There are ongoing efforts to locate them on the lattice, or use (flavor-dependent) periodicity phases of the deformed versions of QCD on the lattice and semiclassically, in order to test this theory. We here propose another possibly useful tool: the topological susceptibility of a sub-lattice.


title: Fano Resonances in a Photonic Crystal Covered with a Perforated Gold Film and its Application to Biosensing

abstract: Optical properties of the photonic crystal covered with a perforated metal film were investigated and the existence of the Fano-type resonances was shown. The Fano resonances originate from the interaction between the optical Tamm state and the waveguide modes of the photonic crystal. It manifests itself as a narrow dip in a broad peak in the transmission spectrum related to the optical Tamm state. The design of a sensor based on this Fano resonance that is sensitive to the change of the environment refractive index is suggested.


title: The correlation between the Nernst effect and fluctuation diamagnetism in strongly fluctuating superconductors

abstract: We study the Nernst effect in fluctuating superconductors by calculating the transport coefficient $\alpha_{xy}$ in a phenomenological model where relative importance of phase and amplitude fluctuations of the order parameter is tuned continuously to smoothly evolve from an effective XY model to more conventional Ginzburg-Landau description. To connect with a concrete experimental realization we choose the model parameters appropriate for cuprate superconductors and calculate $\alpha_{xy}$ and the magnetization ${\bf M}$ over the entire range of experimentally accessible values of field, temperature and doping. We argue that $\alpha_{xy}$ and ${\bf M}$ are both determined by the equilibrium properties of the superconducting fluctuations (and not their dynamics) despite the former being a transport quantity. Thus, the experimentally observed correlation between the Nernst signal and the magnetization arises primarily from the correlation between $\alpha_{xy}$ and ${\bf M}$. Further, there exists a dimensionless ratio ${\bf M}/(T \alpha_{xy})$ that quantifies this correlation. We calculate, for the first time, this ratio over the entire phase diagram of the cuprates and find it agrees with previous results obtained in specific parts of the phase diagram. We conclude that that there appears to be no sharp distinction between the regimes dominated by phase fluctuations and Gaussian fluctuations for this ratio in contrast to $\alpha_{xy}$ and ${\bf M}$ individually. The utility of this ratio is that it can be used to determine the extent to which superconducting fluctuations contribute to the Nernst effect in different parts of the phase diagram given the measured values of magnetization.


title: Double-sided probing by map of Asplund's distances using Logarithmic Image Processing in the framework of Mathematical Morphology

abstract: We establish the link between Mathematical Morphology and the map of Asplund's distances between a probe and a grey scale function, using the Logarithmic Image Processing scalar multiplication. We demonstrate that the map is the logarithm of the ratio between a dilation and an erosion of the function by a structuring function: the probe. The dilations and erosions are mappings from the lattice of the images into the lattice of the positive functions. Using a flat structuring element, the expression of the map of Asplund's distances can be simplified with a dilation and an erosion of the image; these mappings stays in the lattice of the images. We illustrate our approach by an example of pattern matching with a non-flat structuring function.


title: A local diagnostic energy to study diabatic effects on a class of degenerate Hamiltonian systems with application to mixing in stratified flows

abstract: In Hamiltonian systems characterized by a degenerate Poisson algebra, we show how to construct a local energy-like quantity that can be used to study diabatic effects on the evolution of the Available Energy of the system, the latter concept formalizing the original idea of Margules'. We calculate the local diagnostic energy for geophysically relevant flows. For the particular case of stratified Boussinesq flows, we show that under moderately general conditions, in inertial frames where the initial distribution of potential vorticity is even around the origin, our framework recovers the Available Potential Energy introduced by Holliday and McIntyre \cite{HollidayM81}, and as such depends only on the mass distribution of the flow. In non-inertial frames, we show that the local diagnostic energy of flows which are, in an appropriate sense, characterized by a low-Rossby number ${\rm Ro}$ ground state, has to lowest order in ${\rm Ro}$, a universal character.


title: Energetic frustrations in protein folding at residue resolution: a simulation study of homologous immunoglobulin-like \b{eta}-sandwich proteins

abstract: Nonnative residual interactions have attracted increasing attention in recent protein folding researches. Experimental and theoretical investigations had been set out to catch nonnative contacts that might dominate key events in protein folding. However, energetic frustrations caused by nonnative inter-residue interactions are not systematically characterized, due to the complicated folding mechanism. Recently, we studied the folding of a set of homologous all-{\alpha} proteins and found that nonnative-contact-based energetic frustrations are closely related to protein native-contact networks. In this paper, we studied the folding of nine homologous immunoglobulin-like (Ig-like) \b{eta}-sandwich proteins and examined energetic frustrations caused by nonnative inter-residue interactions, based on analyses of residual phi-values and contact maps of transition state ensembles. The proteins share similar tertiary structures, thus minimize topology frustration differences in protein folding and highlighting the effects of energetic frustrations as caused by hydrophilic-hydrophobic mutations. Our calculations showed that energetic frustrations have highly heterogeneous effects on the folding of most secondary structures and on the folding correlations between different folding-patches of \b{eta}-sandwich proteins. The simulations revealed a strong interplay between energetic frustrations and native-contact networks in \b{eta}-sandwich domains, which ensures that \b{eta}-sandwich domains follow a common folding mechanism. Our results suggested that the folding processes of \b{eta}-sandwich proteins might be redesigned by carefully manipulating energetic frustrations at residue level.


title: Experimental observations and modelling of intrinsic rotation reversals in tokamaks

abstract: The progress made in understanding spontaneous toroidal rotation reversals in tokamaks is reviewed and current ideas to solve this ten-year-old puzzle are explored. The paper includes a summarial synthesis of the experimental observations in AUG, C-Mod, KSTAR, MAST and TCV tokamaks, reasons why turbulent momentum transport is thought to be responsible for the reversals, a review of the theory of turbulent momentum transport and suggestions for future investigations.


title: Efficiently Summarising Event Sequences with Rich Interleaving Patterns

abstract: Discovering the key structure of a database is one of the main goals of data mining. In pattern set mining we do so by discovering a small set of patterns that together describe the data well. The richer the class of patterns we consider, and the more powerful our description language, the better we will be able to summarise the data. In this paper we propose \ourmethod, a novel greedy MDL-based method for summarising sequential data using rich patterns that are allowed to interleave. Experiments show \ourmethod is orders of magnitude faster than the state of the art, results in better models, as well as discovers meaningful semantics in the form patterns that identify multiple choices of values.


title: Dissipation dynamics with two distinct chaotic baths

abstract: Dissipation using a finite environment coupled to a single harmonic oscillator have been studied quite extensively. We extend the study by looking at the dynamics of the dissipation when we introduce a second bath of N identical quartic systems different from the 1st bath. We look at the energy flow into the environment as a function of the chaotic parameters of the bath and also try to develop a linear response theory to describe the system. The energy flow is always more to the more chaotic system irrespective of the initial energy of the baths.


title: MON: Mission-optimized Overlay Networks

abstract: Large organizations often have users in multiple sites which are connected over the Internet. Since resources are limited, communication between these sites needs to be carefully orchestrated for the most benefit to the organization. We present a Mission-optimized Overlay Network (MON), a hybrid overlay network architecture for maximizing utility to the organization. We combine an offline and an online system to solve non-concave utility maximization problems. The offline tier, the Predictive Flow Optimizer (PFO), creates plans for routing traffic using a model of network conditions. The online tier, MONtra, is aware of the precise local network conditions and is able to react quickly to problems within the network. Either tier alone is insufficient. The PFO may take too long to react to network changes. MONtra only has local information and cannot optimize non-concave mission utilities. However, by combining the two systems, MON is robust and achieves near-optimal utility under a wide range of network conditions. While best-effort overlay networks are well studied, our work is the first to design overlays that are optimized for mission utility.


title: Cooper pairs in the Borromean nuclei $^6$He and $^{11}$Li using continuum single particle level density

abstract: A Borromean nucleus is a bound three-body system which is pairwise unbound because none of the two-body subsystem interactions are strong enough to bind them in pairs. As a consequence, the single-particle spectrum of a neutron in the core of a Borromean nucleus is purely continuum, similarly to the spectrum of a free neutron, but two valence neutrons are bound up in such a core. Most of the usual approaches do not use the true continuum to solve the three-body problem but use a discrete basis, like for example, wave functions in a finite box. In this paper the proper continuum is used to solve the pairing Hamiltonian in the continuum spectrum of energy by using the single particle level density devoid of the free gas. It is shown that the density defined in this way modulates the pairing in the continuum. The partial-wave occupation probabilities for the Borromean nuclei $^6$He and $^{11}$Li are calculated as a function of the pairing strength. While at the threshold strength the $(s_{1/2})^2$ and $(p_{3/2})^2$ configurations are equally important in $^6$He, the $(s_{1/2})^2$ configuration is the main one in $^{11}$Li. For very small strength the $(s_{1/2})^2$ configuration becomes the dominant in both Borromean nuclei. At the physical strength, the calculated wave function amplitudes show a good agreement with other methods and experimental data which indicates that this simple model grasps the essence of the pairing in the continuum.


title: The Causal Frame Problem: An Algorithmic Perspective

abstract: The Frame Problem (FP) is a puzzle in philosophy of mind and epistemology, articulated by the Stanford Encyclopedia of Philosophy as follows: "How do we account for our apparent ability to make decisions on the basis only of what is relevant to an ongoing situation without having explicitly to consider all that is not relevant?" In this work, we focus on the causal variant of the FP, the Causal Frame Problem (CFP). Assuming that a reasoner's mental causal model can be (implicitly) represented by a causal Bayes net, we first introduce a notion called Potential Level (PL). PL, in essence, encodes the relative position of a node with respect to its neighbors in a causal Bayes net. Drawing on the psychological literature on causal judgment, we substantiate the claim that PL may bear on how time is encoded in the mind. Using PL, we propose an inference framework, called the PL-based Inference Framework (PLIF), which permits a boundedly-rational approach to the CFP to be formally articulated at Marr's algorithmic level of analysis. We show that our proposed framework, PLIF, is consistent with a wide range of findings in causal judgment literature, and that PL and PLIF make a number of predictions, some of which are already supported by existing findings.


title: Sum-Product Type Estimates for Subsets of Finite Valuation Rings

abstract: Let $R$ be a finite valuation ring of order $q^r.$ Using a point-plane incidence estimate in $R^3$, we obtain sum-product type estimates for subsets of $R$. In particular, we prove that for $A\subset R$, $$|AA+A|\gg \min\left\{q^{r}, \frac{|A|^3}{q^{2r-1}}\right\}.$$ We also show that if $|A+A||A|^{2}>q^{3r-1}$, then $$|A^2+A^2||A+A|\gg q^{\frac{r}{2}}|A|^{\frac{3}{2}}.$$


title: Spacetime Spin and Chirality Operators for Minimal 4D, $\cal N$ = 1 Supermultiplets From BC${}_4$ Adinkra-Tessellation of Riemann Surfaces

abstract: We propose an explicit mathematical construction and plausibility arguments for how spacetime chirality and Lorentz generators emerge for minimal, off-shell 4D, $\cal N$ = 1 supermultiplets by use of a 4.4.4.4 tesselation of Riemann surfaces based on plaquettes originating from Coxeter Group BC${}_4$ adinkras.


title: Complementarity Analysis of Interference between Frequency-Displaced Photonic Wave-Packets

abstract: The complementarity relation between the visibility and the spectral distinguishability of frequency-displaced photonic wave-packets in a Hong-Ou-Mandel interferometer is studied. An experimental definition of $K$, the distinguishability parameter, is proposed and tested for the $K^2+\mathcal{V}^2\leq 1$ complementarity inequality when a consistent visibility parameter is defined. The results show that the spectral distinguishability is, indeed, complementary to the visibility and that the quantum aspect of the two-photon interference phenomenon can be examined by employing weak-coherent states.


title: FM-Delta: Fault Management Packet Compression

abstract: Fault Management (FM) is a cardinal feature in communication networks. One of the most common FM approaches is to use periodic keepalive messages. Hence, switches and routers are required to transmit a large number of FM messages periodically, requiring a hardware-based packet generator that periodically transmits a set of messages that are stored in an expensive on-chip memory. With the rapid growth of carrier networks, and as 5G technologies emerge, the number of users and the traffic rates are expected to significantly increase over the next few years. Consequently, we expect the on-chip memories used for FM to become a costly component in switch and router chips. We introduce a novel approach in which FM messages are stored in compressed form in the on-chip memory, allowing to significantly reduce the memory size. We present FM-Delta, a simple hardware-friendly delta encoding algorithm that allows FM messages to be compressed by a factor of 2.6. We show that this compression ratio is very close to the results of the zlib compression library, which requires much higher implementation complexity.


title: Introduction to the theory of Gibbs point processes

abstract: The Gibbs point processes (GPP) constitute a large class of point processes with interaction between the points. The interaction can be attractive, repulsive, depending on geometrical features whereas the null interaction is associated to the so-called Poisson point process. In a first part of this mini-course, we present several aspects of finite volume GPP defined on a bounded window in Rd. In a second part, we introduce the more complicated formalism of infinite volume GPP defined on the full space Rd. Existence, uniqueness and non-uniqueness of GPP are non-trivial questions which we treat here with completely self-contained proofs. The DLR equations, the GNZ equations and the variational principle are presented as well. Finally, in a last part, we investigate the estimation of parameters. The main standard estimators (MLE, MPLE, Takac-Fiksel and variational estimators) are presented and we prove their consistency. For sake of simplicity, during all the mini-course, we consider only the case of finite range interaction and the setting of marked points is not presented.


title: Faster Discovery of Faster System Configurations with Spectral Learning

abstract: Despite the huge spread and economical importance of configurable software systems, there is unsatisfactory support in utilizing the full potential of these systems with respect to finding performance-optimal configurations. Prior work on predicting the performance of software configurations suffered from either (a) requiring far too many sample configurations or (b) large variances in their predictions. Both these problems can be avoided using the WHAT spectral learner. WHAT's innovation is the use of the spectrum (eigenvalues) of the distance matrix between the configurations of a configurable software system, to perform dimensionality reduction. Within that reduced configuration space, many closely associated configurations can be studied by executing only a few sample configurations. For the subject systems studied here, a few dozen samples yield accurate and stable predictors - less than 10% prediction error, with a standard deviation of less than 2%. When compared to the state of the art, WHAT (a) requires 2 to 10 times fewer samples to achieve similar prediction accuracies, and (b) its predictions are more stable (i.e., have lower standard deviation). Furthermore, we demonstrate that predictive models generated by WHAT can be used by optimizers to discover system configurations that closely approach the optimal performance.


title: Deconvolution and Restoration of Optical Endomicroscopy Images

abstract: Optical endomicroscopy (OEM) is an emerging technology platform with preclinical and clinical imaging applications. Pulmonary OEM via fibre bundles has the potential to provide in vivo, in situ molecular signatures of disease such as infection and inflammation. However, enhancing the quality of data acquired by this technique for better visualization and subsequent analysis remains a challenging problem. Cross coupling between fiber cores and sparse sampling by imaging fiber bundles are the main reasons for image degradation, and poor detection performance (i.e., inflammation, bacteria, etc.). In this work, we address the problem of deconvolution and restoration of OEM data. We propose a hierarchical Bayesian model to solve this problem and compare three estimation algorithms to exploit the resulting joint posterior distribution. The first method is based on Markov chain Monte Carlo (MCMC) methods, however, it exhibits a relatively long computational time. The second and third algorithms deal with this issue and are based on a variational Bayes (VB) approach and an alternating direction method of multipliers (ADMM) algorithm respectively. Results on both synthetic and real datasets illustrate the effectiveness of the proposed methods for restoration of OEM images.


title: Existence of Evolutionarily Stable Strategies Remains Hard to Decide for a Wide Range of Payoff Values

abstract: The concept of an evolutionarily stable strategy (ESS), introduced by Smith and Price, is a refinement of Nash equilibrium in 2-player symmetric games in order to explain counter-intuitive natural phenomena, whose existence is not guaranteed in every game. The problem of deciding whether a game possesses an ESS has been shown to be $\Sigma_{2}^{P}$-complete by Conitzer using the preceding important work by Etessami and Lochbihler. The latter, among other results, proved that deciding the existence of ESS is both NP-hard and coNP-hard. In this paper we introduce a "reduction robustness" notion and we show that deciding the existence of an ESS remains coNP-hard for a wide range of games even if we arbitrarily perturb within some intervals the payoff values of the game under consideration. In contrast, ESS exist almost surely for large games with random and independent payoffs chosen from the same distribution.


title: Observation of thermal equilibrium in capillary wave turbulenc

abstract: We consider capillary wave turbulence at scales larger than the forcing one. At such scales, our measurements show that the surface waves dynamics is the one of a thermal equilibrium state in which the effective temperature is related to the injected power. We characterize this evolution with a scaling law and report the statistical properties of the large-scale surface elevation depending on this effective temperature.


title: The Conformal BMS Group

abstract: We describe the conformal symmetries of asymptotically flat spacetime. These represent an extension of the BMS group that we call the conformal BMS group. Its general features are discussed.


title: The Hybrid k-Deck Problem: Reconstructing Sequences from Short and Long Traces

abstract: We introduce a new variant of the $k$-deck problem, which in its traditional formulation asks for determining the smallest $k$ that allows one to reconstruct any binary sequence of length $n$ from the multiset of its $k$-length subsequences. In our version of the problem, termed the hybrid k-deck problem, one is given a certain number of special subsequences of the sequence of length $n - t$, $t > 0$, and the question of interest is to determine the smallest value of $k$ such that the $k$-deck, along with the subsequences, allows for reconstructing the original sequence in an error-free manner. We first consider the case that one is given a single subsequence of the sequence of length $n - t$, obtained by deleting zeros only, and seek the value of $k$ that allows for hybrid reconstruction. We prove that in this case, $k \in [\log t+2, \min\{ t+1, O(\sqrt{n \cdot (1+\log t)}) \} ]$. We then proceed to extend the single-subsequence setup to the case where one is given $M$ subsequences of length $n - t$ obtained by deleting zeroes only. In this case, we first aggregate the asymmetric traces and then invoke the single-trace results. The analysis and problem at hand are motivated by nanopore sequencing problems for DNA-based data storage.


title: Landau's theorem for slice regular functions on the quaternionic unit ball

abstract: Along with the development of the theory of slice regular functions over the real algebra of quaternions $\mathbb{H}$ during the last decade, some natural questions arose about slice regular functions on the open unit ball $\mathbb{B}$ in $\mathbb{H}$. This work establishes several new results in this context. Along with some useful estimates for slice regular self-maps of $\mathbb{B}$ fixing the origin, it establishes two variants of the quaternionic Schwarz-Pick lemma, specialized to maps $\mathbb{B}\to\mathbb{B}$ that are not injective. These results allow a full generalization to quaternions of two theorems proven by Landau for holomorphic self-maps $f$ of the complex unit disk with $f(0)=0$. Landau had computed, in terms of $a:=|f'(0)|$, a radius $\rho$ such that $f$ is injective at least in the disk $\Delta(0,\rho)$ and such that the inclusion $f(\Delta(0,\rho))\supseteq\Delta(0,\rho^2)$ holds. The analogous result proven here for slice regular functions $\mathbb{B}\to\mathbb{B}$ allows a new approach to the study of Bloch-Landau-type properties of slice regular functions $\mathbb{B}\to\mathbb{H}$.


title: Stokes phenomenon, Gelfand-Zeitlin systems and relative Ginzburg-Weinstein linearization

abstract: In 2007, Alekseev-Meinrenken proved that there exists a Ginzburg-Weinstein diffeomorphism from the dual Lie algebra ${\rm u}(n)^*$ to the dual Poisson Lie group $U(n)^*$ compatible with the Gelfand-Zeitlin integrable systems. In this paper, we explicitly construct such diffeomorphisms via Stokes phenomenon and Boalch's dual exponential maps. Then we introduce a relative version of the Ginzburg-Weinstein linearization motivated by irregular Riemann-Hilbert correspondence, and generalize the results of Enriquez-Etingof-Marshall to this relative setting. In particular, we prove the connection matrix for a certain irregular Riemann-Hilbert problem satisfies a relative gauge transformation equation of the Alekseev-Meinrenken dynamical r-matrices. This gauge equation is then derived as the semiclassical limit of the relative Drinfeld twist equation.