title: An improved hybrid CTC-Attention model for speech recognition

abstract: Recently, end-to-end speech recognition with a hybrid model consisting of the connectionist temporal classification(CTC) and the attention encoder-decoder achieved state-of-the-art results. In this paper, we propose a novel CTC decoder structure based on the experiments we conducted and explore the relation between decoding performance and the depth of encoder. We also apply attention smoothing mechanism to acquire more context information for subword-based decoding. Taken together, these strategies allow us to achieve a word error rate(WER) of 4.43% without LM and 3.34% with RNN-LM on the test-clean subset of the LibriSpeech corpora, which by far are the best reported WERs for end-to-end ASR systems on this dataset.


title: Equivariant factorization homology of global quotient orbifolds

abstract: We introduce equivariant factorization homology, extending the axiomatic framework of Ayala-Francis to encompass multiplicative invariants of manifolds equipped with finite group actions. Examples of such equivariant factorization homology theories include Bredon equivariant homology and (twisted versions of) Hochschild homology. Our main result is that equivariant factorization homology satisfies an equivariant version of tensor excision, and is uniquely characterised by this property. We also discuss applications to representation theory, such as constructions of categorical braid group actions.


title: Asymmetric Network Connectedness of Fears

abstract: This paper introduces forward-looking measures of the network connectedness of fears in the financial system, arising due to the good and bad beliefs of market participants about uncertainty that spreads unequally across a network of banks. We argue that this asymmetric network structure extracted from call and put traded option prices of the main U.S. banks contains valuable information for predicting macroeconomic conditions and economic uncertainty, and it can serve as a tool for forward-looking systemic risk monitoring.


title: First observations of $h_c \to$ hadrons

abstract: Based on $(4.48 \pm 0.03) \times 10^{8}$ $\psi(3686)$ events collected with the BESIII detector, five $h_c$ hadronic decays are searched for via process $\psi(3686) \to \pi^0 h_c$. Three of them, $h_c \to p \bar{p} \pi^+ \pi^-$, $\pi^+ \pi^- \pi^0$, and $2(\pi^+ \pi^-) \pi^0$ are observed for the first time, with statistical significances of 7.4$\sigma$, $4.9\sigma$, and 9.1$\sigma$, and branching fractions of $(2.89\pm0.32\pm0.55)\times10^{-3}$, $(1.60\pm0.40\pm0.32)\times10^{-3}$, and $(7.44\pm0.94\pm1.56)\times10^{-3}$, respectively, where the first uncertainties are statistical and the second systematic. No significant signal is observed for the other two decay modes, and the corresponding upper limits of the branching fractions are determined to be $B(h_c \to 3(\pi^+ \pi^-) \pi^0)<8.7\times10^{-3}$ and $B(h_c \to K^+ K^- \pi^+ \pi^-)<5.8\times10^{-4}$ at 90% confidence level.


title: Hydrodynamic interactions between solutes in multiparticle collision dynamics

abstract: Multiparticle collision dynamics (MPCD) enables to simulate fluid dynamics including both hydrodynamics and thermal fluctuations. Its main use concerns complex fluids, where the solvent interacts with concentrated solutes, may they be colloidal particles, polymers or electrolytes. A key difficulty concerns the way one couples the fluid to the solute particles, without losing the key advantages of the MPCD method in term of computational efficiency. In this paper, we investigate the dynamical properties of solutes that are coupled to the fluid within the collision step, {\em i.e.} when local momentum exchange between fluid particles occurs. We quantify how the volume where momentum exchange is performed (the size of the collision cells) constrains the hydrodynamic size of the solute. Moreover, we show that this volume should be taken smaller than the structural size of the solutes. Within these constraints, we find that the hydrodynamic properties of a 1-1 electrolyte solution are similar to the behaviour predicted by the Fuoss-Onsager theory of electrolyte dynamics, and we quantify the limitations of the theory for 2-1 and 2-2 electrolytes. However, it is also clear that mapping the diffusion time scale to that of a real system cannot be done quantitatively with this methodology.


title: Improved partial regularity for manifold-constrained minimisers of subquadratic energies

abstract: We consider minimising $p$-harmonic maps from three-dimensional domains to the real projective plane, for $1<p<2$. These maps arise as least-energy configurations in variational models for nematic liquid crystals. We show that the singular set of such a map decomposes into a $1$-dimensional set, which can be physically interpreted as a non-orientable line defect, and a locally finite set, i.e. a collection of point defects.


title: DeepSymmetry : Using 3D convolutional networks for identification of tandem repeats and internal symmetries in protein structures

abstract: Motivation: Thanks to the recent advances in structural biology, nowadays three-dimensional structures of various proteins are solved on a routine basis. A large portion of these contain structural repetitions or internal symmetries. To understand the evolution mechanisms of these proteins and how structural repetitions affect the protein function, we need to be able to detect such proteins very robustly. As deep learning is particularly suited to deal with spatially organized data, we applied it to the detection of proteins with structural repetitions. Results: We present DeepSymmetry, a versatile method based on three-dimensional (3D) convolutional networks that detects structural repetitions in proteins and their density maps. Our method is designed to identify tandem repeat proteins, proteins with internal symmetries, symmetries in the raw density maps, their symmetry order, and also the corresponding symmetry axes. Detection of symmetry axes is based on learning six-dimensional Veronese mappings of 3D vectors, and the median angular error of axis determination is less than one degree. We demonstrate the capabilities of our method on benchmarks with tandem repeated proteins and also with symmetrical assemblies. For example, we have discovered over 10,000 putative tandem repeat proteins that are not currently present in the RepeatsDB database. Availability: The method is available at https://team.inria.fr/nano-d/software/deepsymmetry. It consists of a C++ executable that transforms molecular structures into volumetric density maps, and a Python code based on the TensorFlow framework for applying the DeepSymmetry model to these maps.


title: Deep Reinforcement Learning based Recommendation with Explicit User-Item Interactions Modeling

abstract: Recommendation is crucial in both academia and industry, and various techniques are proposed such as content-based collaborative filtering, matrix factorization, logistic regression, factorization machines, neural networks and multi-armed bandits. However, most of the previous studies suffer from two limitations: (1) considering the recommendation as a static procedure and ignoring the dynamic interactive nature between users and the recommender systems, (2) focusing on the immediate feedback of recommended items and neglecting the long-term rewards. To address the two limitations, in this paper we propose a novel recommendation framework based on deep reinforcement learning, called DRR. The DRR framework treats recommendation as a sequential decision making procedure and adopts an "Actor-Critic" reinforcement learning scheme to model the interactions between the users and recommender systems, which can consider both the dynamic adaptation and long-term rewards. Furthermore, a state representation module is incorporated into DRR, which can explicitly capture the interactions between items and users. Three instantiation structures are developed. Extensive experiments on four real-world datasets are conducted under both the offline and online evaluation settings. The experimental results demonstrate the proposed DRR method indeed outperforms the state-of-the-art competitors.


title: Equivalence between Type I Liouville dynamical systems in the plane and the sphere

abstract: Separable Hamiltonian systems either in sphero-conical coordinates on a $S^2$ sphere or in elliptic coordinates on a ${\mathbb R}^2$ plane are described in an unified way. A back and forth route connecting these Liouville Type I separable systems is unveiled. It is shown how the gnomonic projection and its inverse map allow us to pass from a Liouville Type I separable system with an spherical configuration space to its Liouville Type I partner where the configuration space is a plane and back. Several selected spherical separable systems and their planar cousins are discussed in a classical context.


title: Out-of-time-ordered correlator in the quantum bakers map and truncated unitary matrices

abstract: The out-of-time-ordered correlator (OTOC) is a measure of quantum chaos that is being vigorously investigated. Analytically accessible simple models that have long been studied in other contexts could provide insights into such measures. This paper investigates the OTOC in the quantum bakers map which is the quantum version of a simple and exactly solvable model of deterministic chaos that caricatures the action of kneading dough. Exact solutions based on the semiquantum approximation are derived that tracks very well the correlators till the Ehrenfest time. The growth occurs at the exponential rate of the classical Lyapunov exponent, but modulated by slowly changing coefficients. Beyond this time saturation occurs as a value close to that of random matrices. Using projectors for observables naturally leads to truncations of the unitary time-$t$ propagator and the growth of their singular values is shown to be intimately related to the growth of the out-of-time-ordered correlators.


title: Simon's problem for linear functions

abstract: Simon's problem asks the following: determine if a function $f: \{0,1\}^n \rightarrow \{0,1\}^n$ is one-to-one or if there exists a unique $s \in \{0,1\}^n$ such that $f(x) = f(x \oplus s)$ for all $x \in \{0,1\}^n$, given the promise that exactly one of the two holds. A classical algorithm that can solve this problem for every $f$ requires $2^{\Omega(n)}$ queries to $f$. Simon showed that there is a quantum algorithm that can solve this promise problem for every $f$ using only $\mathcal O(n)$ quantum queries to $f$. A matching lower bound on the number of quantum queries was given by Koiran et al., even for functions $f: {\mathbb{F}_p^n} \to {\mathbb{F}_p^n}$. We give a short proof that $\mathcal O(n)$ quantum queries is optimal even when we are additionally promised that $f$ is linear. This is somewhat surprising because for linear functions there even exists a classical $n$-query algorithm.


title: On exposed points of Lipschitz free spaces

abstract: In this note we prove that a molecule $d(x,y)^{-1}(\delta(x)-\delta(y))$ is an exposed point of the unit ball of a Lispchitz free space $\mathcal F(M)$ if and only if the metric segment $[x,y]=\{z \in M \; : \; d(x,y)=d(z,x)+d(z,y) \}$ is reduced to $\{x,y\}$. This is based on a recent result due to Aliaga and Perneck\'a which states that the class of Lipschitz free spaces over closed subsets of M is closed under arbitrary intersections when M has finite diameter.


title: Identification of AGN in the XMM-Newton X-ray survey of the SMC

abstract: Context: Finding Active Galactic Nuclei (AGN) behind the Magellanic Clouds (MCs) is difficult because of the high stellar density in these fields. Although the first AGN behind the Small Magellanic Cloud (SMC) were reported in the 1980s, it is only recently that the number of AGN known behind the SMC has increased by several orders of magnitude. Aims: The mid-infrared colour selection technique has been proven to be an efficient means of identifying AGN, especially obscured sources. The X-ray regime is complementary in this regard and we use XMM-Newton observations to support the identification of AGN behind the SMC. Methods: We present a catalogue of AGN behind the SMC by correlating an updated X-ray point source catalogue from our XMM-Newton survey of the SMC with already known AGN from the literature as well as a list of candidates obtained from the ALLWISE mid-infrared colour selection criterion. We studied the properties of the sample with respect to their redshifts, luminosities and X-ray spectral characteristics. We also identified the near-infrared counterpart of the sources from the VISTA observations. Results: The redshift and luminosity distributions of the sample (where known) indicate that we detect sources from nearby Seyfert galaxies to distant and obscured quasars. The X-ray hardness ratios are compatible with those typically expected for AGN. The VISTA colours and variability are also consistent in this regard. A positive correlation was observed between the integrated X-ray flux (0.2--12 keV) and the ALLWISE and VISTA magnitudes. We further present a sample of new candidate AGN and candidates for obscured AGN. All of these make an interesting subset for further follow-up studies. An initial spectroscopic follow-up of 6 out of the 81 new candidates showed all six sources are active galaxies, albeit two with narrow emission lines.


title: Parametric model order reduction and its application to inverse analysis of large nonlinear coupled cardiac problems

abstract: Predictive high-fidelity finite element simulations of human cardiac mechanics co\-mmon\-ly require a large number of structural degrees of freedom. Additionally, these models are often coupled with lumped-parameter models of hemodynamics. High computational demands, however, slow down model calibration and therefore limit the use of cardiac simulations in clinical practice. As cardiac models rely on several patient-specific parameters, just one solution corresponding to one specific parameter set does not at all meet clinical demands. Moreover, while solving the nonlinear problem, 90\% of the computation time is spent solving linear systems of equations. We propose a novel approach to reduce only the structural dimension of the monolithically coupled structure-windkessel system by projection onto a lower-dimensional subspace. We obtain a good approximation of the displacement field as well as of key scalar cardiac outputs even with very few reduced degrees of freedom while achieving considerable speedups. For subspace generation, we use proper orthogonal decomposition of displacement snapshots. To incorporate changes in the parameter set into our reduced order model, we provide a comparison of subspace interpolation methods. We further show how projection-based model order reduction can be easily integrated into a gradient-based optimization and demonstrate its performance in a real-world multivariate inverse analysis scenario. Using the presented projection-based model order reduction approach can significantly speed up model personalization and could be used for many-query tasks in a clinical setting.


title: Software Engineering Challenges of Deep Learning

abstract: Surprisingly promising results have been achieved by deep learning (DL) systems in recent years. Many of these achievements have been reached in academic settings, or by large technology companies with highly skilled research groups and advanced supporting infrastructure. For companies without large research groups or advanced infrastructure, building high-quality production-ready systems with DL components has proven challenging. There is a clear lack of well-functioning tools and best practices for building DL systems. It is the goal of this research to identify what the main challenges are, by applying an interpretive research approach in close collaboration with companies of varying size and type. A set of seven projects have been selected to describe the potential with this new technology and to identify associated main challenges. A set of 12 main challenges has been identified and categorized into the three areas of development, production, and organizational challenges. Furthermore, a mapping between the challenges and the projects is defined, together with selected motivating descriptions of how and why the challenges apply to specific projects. Compared to other areas such as software engineering or database technologies, it is clear that DL is still rather immature and in need of further work to facilitate development of high-quality systems. The challenges identified in this paper can be used to guide future research by the software engineering and DL communities. Together, we could enable a large number of companies to start taking advantage of the high potential of the DL technology.


title: Exploring Security Economics in IoT Standardization Efforts

abstract: The Internet of Things (IoT) propagates the paradigm of interconnecting billions of heterogeneous devices by various manufacturers. To enable IoT applications, the communication between IoT devices follows specifications defined by standard developing organizations. In this paper, we present a case study that investigates disclosed insecurities of the popular IoT standard ZigBee, and derive general lessons about security economics in IoT standardization efforts. We discuss the motivation of IoT standardization efforts that are primarily driven from an economic perspective, in which large investments in security are not considered necessary since the consumers do not reward them. Success at the market is achieved by being quick-to-market, providing functional features and offering easy integration for complementors. Nevertheless, manufacturers should not only consider economic reasons but also see their responsibility to protect humans and technological infrastructures from being threatened by insecure IoT products. In this context, we propose a number of recommendations to strengthen the security design in future IoT standardization efforts, ranging from the definition of a precise security model to the enforcement of an update policy.


title: Small noise limit and convexity for generalized incompressible flows, Schr\"odinger problems, and optimal transport

abstract: This paper is concerned with six variational problems and their mutual connections: The quadratic Monge-Kantorovich optimal transport, the Schr\"odinger problem, Brenier's relaxed model for incompressible fluids, the so-called Br\"odinger problem recently introduced by M. Arnaudon & al. [3], the multiphase Brenier model, and the multiphase Br\"odinger problem. All of them involve the minimization of a kinetic action and/or a relative entropy of some path measures with respect to the reversible Brownian motion. As the viscosity parameter $\nu\to 0$ we establish Gamma-convergence relations between the corresponding problems, and prove the convergence of the associated pressures arising from the incompressibility constraints. We also present new results on the time-convexity of the entropy for some of the dynamical interpolations. Along the way we extend previous results by H. Lavenant [30] and J-D. Benamou & al. [10].


title: Wick-rotations of pseudo-Riemannian Lie groups

abstract: We study Wick-rotations of left-invariant metrics on Lie groups, using results from real GIT (\cite{1}, \cite{2}, \cite{3}). An invariant for Wick-rotation of Lie groups is given, and we describe when a pseudo-Riemannian Lie group can be Wick-rotated to a Riemannian Lie group. We also prove a general version (for general Lie algebras) of $\acute{E}$. Cartan's result, namely the existence and conjugacy of Cartan involutions.


title: Investigation of the 1+1 dimensional Thirring model using the method of matrix product states

abstract: We present preliminary results of a study on the non-thermal phase structure of the (1+1) dimensional massive Thirring model, employing the method of matrix product states. Through investigating the entanglement entropy, the fermion correlators and the chiral condensate, it is found that this approach enables us to observe numerical evidence of a Kosterlitz-Thouless phase transition in the model.


title: 1-Bit Massive MIMO Downlink Based on Constructive Interference

abstract: In this paper, we focus on the multiuser massive multiple-input single-output (MISO) downlink with low-cost 1-bit digital-to-analog converters (DACs) for PSK modulation, and propose a low-complexity refinement process that is applicable to any existing 1-bit precoding approaches based on the constructive interference (CI) formulation. With the decomposition of the signals along the detection thresholds, we first formulate a simple symbol-scaling method as the performance metric. The low-complexity refinement approach is subsequently introduced, where we aim to improve the introduced symbol-scaling performance metric by modifying the transmit signal on one antenna at a time. Numerical results validate the effectiveness of the proposed refinement method on existing approaches for massive MIMO with 1-bit DACs, and the performance improvements are most significant for the low-complexity quantized zero-forcing (ZF) method.


title: Optimized electrical control of a Si/SiGe spin qubit in the presence of an induced frequency shift

abstract: Electron spins confined in quantum dots are an attractive system to realize high-fidelity qubits owing to their long coherence time. With the prolonged spin coherence time, however, the control fidelity can be limited by systematic errors rather than decoherence, making characterization and suppression of their influence crucial for further improvement. Here we report that the control fidelity of Si/SiGe spin qubits can be limited by the microwave-induced frequency shift of electric dipole spin resonance and it can be improved by optimization of control pulses. As we increase the control microwave amplitude, we observe a shift of the qubit resonance frequency, in addition to the increasing Rabi frequency. We reveal that this limits control fidelity with a conventional amplitude-modulated microwave pulse below 99.8%. In order to achieve a gate fidelity > 99.9%, we introduce a quadrature control method, and validate this approach experimentally by randomized benchmarking. Our finding facilitates realization of an ultra-high fidelity qubit with electron spins in quantum dots.


title: SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer

abstract: We describe and evaluate a bug refutation extension for the Clang Static Analyzer (CSA) that addresses the limitations of the existing built-in constraint solver. In particular, we complement CSA's existing heuristics that remove spurious bug reports. We encode the path constraints produced by CSA as Satisfiability Modulo Theories (SMT) problems, use SMT solvers to precisely check them for satisfiability, and remove bug reports whose associated path constraints are unsatisfiable. Our refutation extension refutes spurious bug reports in 8 out of 12 widely used open-source applications; on average, it refutes ca. 7% of all bug reports, and never refutes any true bug report. It incurs only negligible performance overheads, and on average adds 1.2% to the runtime of the full Clang/LLVM toolchain. A demonstration is available at {\tt https://www.youtube.com/watch?v=ylW5iRYNsGA}.


title: Logit Pairing Methods Can Fool Gradient-Based Attacks

abstract: Recently, Kannan et al. [2018] proposed several logit regularization methods to improve the adversarial robustness of classifiers. We show that the computationally fast methods they propose - Clean Logit Pairing (CLP) and Logit Squeezing (LSQ) - just make the gradient-based optimization problem of crafting adversarial examples harder without providing actual robustness. We find that Adversarial Logit Pairing (ALP) may indeed provide robustness against adversarial examples, especially when combined with adversarial training, and we examine it in a variety of settings. However, the increase in adversarial accuracy is much smaller than previously claimed. Finally, our results suggest that the evaluation against an iterative PGD attack relies heavily on the parameters used and may result in false conclusions regarding robustness of a model.


title: Patch-Based Sparse Representation For Bacterial Detection

abstract: In this paper, we propose an unsupervised approach for bacterial detection in optical endomicroscopy images. This approach splits each image into a set of overlapping patches and assumes that observed intensities are linear combinations of the actual intensity values associated with background image structures, corrupted by additive Gaussian noise and potentially by a sparse outlier term modelling anomalies (which are considered to be candidate bacteria). The actual intensity term representing background structures is modelled as a linear combination of a few atoms drawn from a dictionary which is learned from bacteria-free data and then fixed while analyzing new images. The bacteria detection task is formulated as a minimization problem and an alternating direction method of multipliers (ADMM) is then used to estimate the unknown parameters. Simulations conducted using two ex vivo lung datasets show good detection and correlation performance between bacteria counts identified by a trained clinician and those of the proposed method.


title: Hybrid Analog-Digital Precoding for Interference Exploitation

abstract: We study the multi-user massive multiple-input-single-output (MISO) and focus on the downlink systems where the base station (BS) employs hybrid analog-digital precoding with low-cost 1-bit digital-to-analog converters (DACs). In this paper, we propose a hybrid downlink transmission scheme where the analog precoder is formed based on the SVD decomposition. In the digital domain, instead of designing a linear transmit precoding matrix, we directly design the transmit signals by exploiting the concept of constructive interference. The optimization problem is then formulated based on the geometry of the modulation constellations and is shown to be non-convex. We relax the above optimization and show that the relaxed optimization can be transformed into a linear programming that can be efficiently solved. Numerical results validate the superiority of the proposed scheme for the hybrid massive MIMO downlink systems.


title: A Polar large polaron in WO3

abstract: This version withdrawn by arXiv administrators because the author did not have the right to agree to our license at the time of submission


title: Soliton defects and topological $4\pi$-periodic superconductivity from an orbital magnetic field effect in edge Josephson junctions

abstract: Recently, much research has been dedicated to understanding topological superconductivity and Majorana zero modes induced by a magnetic field in hybrid proximity structures. This paper proposes a realization of topological superconductivity in a short Josephson junction at an edge of a 2D topological insulator subject to a perpendicular magnetic field. The magnetic field effect is entirely orbital, coming from a gradient of the order parameter phase at the edge, which results in a soliton defect at the junction with a pair of gapless Andreev bound states. The latter are reducible to Majorana zero modes by a unitary rotation and protected by a chiral symmetry. Furthermore, both ground state and excitations are quasiperiodic in the magnetic flux enclosed in the junction, with the period equal to the double flux quantum $2\Phi_0 = h/e$. This behaviour follows from the gauge invariance of the $4\pi$ - phase periodicity of the Majorana states and manifests itself as $2\Phi_0$ - spaced magnetic oscillations of the critical current. Another proposed observable is a persistent current occurring in the absence of an external phase bias. Beside the oscillations, it shows a sign reversal prompted by the neutral Majorana zero modes. These findings offer the possibility to access topological superconductivity through low-field dc magnetotransport measurements.


title: Simple and Fast BlockQuicksort using Lomuto's Partitioning Scheme

abstract: This paper presents simple variants of the BlockQuicksort algorithm described by Edelkamp and Weiss (ESA 2016). The simplification is achieved by using Lomuto's partitioning scheme instead of Hoare's crossing pointer technique to partition the input. To achieve a robust sorting algorithm that works well on many different input types, the paper introduces a novel two-pivot variant of Lomuto's partitioning scheme. A surprisingly simple twist to the generic two-pivot quicksort approach makes the algorithm robust. The paper provides an analysis of the theoretical properties of the proposed algorithms and compares them to their competitors. The analysis shows that Lomuto-based approaches incur a higher average sorting cost than the Hoare-based approach of BlockQuicksort. Moreover, the analysis is particularly useful to reason about pivot choices that suit the two-pivot approach. An extensive experimental study shows that, despite their worse theoretical behavior, the simpler variants perform as well as the original version of BlockQuicksort.


title: Refined $q$-Trinomial Coefficients and Two Infinite Hierarchies of $q$-Series Identities

abstract: We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem.


title: High energy spectral study of the black hole Cygnus X-1 with INTEGRAL

abstract: We present the analysis of an extended \textit{INTEGRAL} dataset of the high-mass microquasar Cygnus X-1. We first classify, in a model-independent way, all the \textit{INTEGRAL} individual pointings taken between 2003 and 2016 in three basic spectral states. This, in particular, allows us to triple the exposure time of the soft state in comparison with previous publication. We then study the spectral properties of the 5--400 keV stacked spectra of the soft and hard states and provide the parameters obtained with our modelling. Using a refined alternative method of extracting the Compton double events of the IBIS telescope, we then extract high-energy ($>$400 keV) spectra in the two states. We do detect an hard tail in both states. Our refined analysis allows us to obtain a hard state (count) spectrum at a flux lower than previously published by our team. Although a full estimate of the calibration property of this improved software is still needed, this seems to be more inline with the hard state hard tail seen with other instruments.


title: Dissipation-induced topological insulators: A no-go theorem and a recipe

abstract: Nonequilibrium conditions are traditionally seen as detrimental to the appearance of quantum-coherent many-body phenomena, and much effort is often devoted to their elimination. Recently this approach has changed: It has been realized that driven-dissipative dynamics could be used as a resource. By proper engineering of the reservoirs and their couplings to a system, one may drive the system towards desired quantum-correlated steady states, even in the absence of internal Hamiltonian dynamics. An intriguing category of equilibrium many-particle phases are those which are distinguished by topology rather than by symmetry. A natural question thus arises: which of these topological states can be achieved as the result of dissipative Lindblad-type (Markovian) evolution? Beside its fundamental importance, it may offer novel routes to the realization of topologically-nontrivial states in quantum simulators, especially ultracold atomic gases. Here I give a general answer for Gaussian states and quadratic Lindblad evolution, mostly concentrating on the example of 2D Chern insulator states. I prove a no-go theorem stating that a finite-range Lindbladian cannot induce finite-rate exponential decay towards a unique topological pure state above 1D. I construct a recipe for creating such state by exponentially-local dynamics, or a mixed state arbitrarily close to the desired pure one via finite-range dynamics. I also address the cold-atom realization, classification, and detection of these states. Extensions to other types of topological insulators and superconductors are also discussed.


title: Speaking style adaptation in Text-To-Speech synthesis using Sequence-to-sequence models with attention

abstract: Currently, there are increasing interests in text-to-speech (TTS) synthesis to use sequence-to-sequence models with attention. These models are end-to-end meaning that they learn both co-articulation and duration properties directly from text and speech. Since these models are entirely data-driven, they need large amounts of data to generate synthetic speech with good quality. However, in challenging speaking styles, such as Lombard speech, it is difficult to record sufficiently large speech corpora. Therefore, in this study we propose a transfer learning method to adapt a sequence-to-sequence based TTS system of normal speaking style to Lombard style. Moreover, we experiment with a WaveNet vocoder in synthesis of Lombard speech. We conducted subjective evaluations to assess the performance of the adapted TTS systems. The subjective evaluation results indicated that an adaptation system with the WaveNet vocoder clearly outperformed the conventional deep neural network based TTS system in synthesis of Lombard speech.


title: Detection capability of Ultra-Long Gamma-Ray Bursts with the ECLAIRs telescope aboard the SVOM mission

abstract: Ultra-long gamma-ray bursts (ULGRBs) have very atypical durations of more than 2000 seconds. Even if their origins are discussed, the SVOM mission with its soft gamma-ray telescope ECLAIRs could detect ULGRBs and increase the sample of the few which have been detected so far by the Burst Alert Telescope aboard the Neil Gehrels Swift Observatory and some other instruments. In this paper, after a short description of the SVOM mission, we present methods developed to clean detector images from non-flat background and known source contributions in the onboard imaging process. We present an estimate of the ECLAIRs sensitivity to GRBs of various durations. Finally we study the capability of the image-trigger to detect ULGRBs.


title: Geodesic Normal Forms and Hecke Algebras for the Complex Reflection Groups G(de,e,n)

abstract: We establish geodesic normal forms for the general series of complex reflection groups G(de,e,n) by using the presentations of Corran-Picantin and Corran-Lee-Lee of G(e,e,n) and G(de,e,n) for d > 1, respectively. This requires the elaboration of a combinatorial technique in order to explicitly determine minimal word representatives of the elements of G(de,e,n). Using these geodesic normal forms, we construct natural bases for the Hecke algebras associated with the complex reflection groups G(e,e,n) and G(d,1,n). As an application, we obtain a new proof of the BMR freeness conjecture for these groups.


title: Energy-Efficient Soft-Assisted Product Decoders

abstract: We implement a 1-Tb/s 0.63-pJ/bit soft-assisted product decoder in a 28-nm technology. The decoder uses one bit of soft information to improve its net coding gain by 0.2 dB, reaching 10.3-10.4 dB, which is similar to that of more complex hard-decision staircase decoders.


title: $\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time

abstract: Let $G$ be a permutation group on a finite set $\Omega$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(\Omega)$ having the same orbits as $G$ on the $k$-th Cartesian power $\Omega^k$ of $\Omega$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_\alpha$ on the set $\Omega\setminus\{\alpha\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $\Omega$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups.


title: Coherent cohomology of Shimura varieties and automorphic forms

abstract: We show that the cohomology of canonical extensions of automorphic vector bundles over toroidal compactifications of Shimura varieties can be computed by relative Lie algebra cohomology of automorphic forms. Our result is inspired by and parallel to Borel and Franke's work on the cohomology of automorphic local systems on locally symmetric spaces, and also generalizes a theorem of Mumford.


title: On the status of plane and solid angles in the International System of Units (SI)

abstract: The article analyzes the arguments that became the basis for declaring in 1995, at the 20th General Conference on Weights and Measures that the plane and solid angles are dimensionless derived quantities in the International System of Units. The inconsistency of these arguments is shown. It is found that a plane angle is not a derived quantity in the SI, and its unit, the radian, is not a derived unit. A solid angle is the derived quantity of a plane angle, but not a length. Its unit, the steradian, is a coherent derived unit of the radian.


title: Traffic Light Queues and the Poisson Clumping Heuristic

abstract: In discrete time, $\ell$-blocks of red lights are separated by $\ell$-blocks of green lights. Cars arrive at random. We seek the distribution of maximum line length of idle cars, and justify conjectured probabilistic asymptotics for $2 \leq \ell \leq 3$.


title: Studio e confronto delle strutture di Apache Spark

abstract: English. This document is designed to study the data structures that can be used in the Apache Spark framework and to evaluate the best performing ones to implement solutions, in particular we will evaluate advantages / disadvantages deriving from the use of Dataset for job creation. The observation of the results provides further support in evaluating the use of Dataset as an alternative to RDD, in order to understand its strengths and weaknesses. The examination of the results is possible thanks to specifically designed and implemented in Java 1.8 language. The execution of the jobs, entrusted to a suitable distributed environment, will end with the comparison between execution times and results obtained. Italiano. Il presente documento nasce allo scopo di studiare le strutture dati utilizzabili nel framework Apache Spark e valutare quelle pi\`u performanti per implementare soluzioni; valuteremo in articolare i vantaggi / svantaggi derivanti dall'utilizzo dei Dataset nella progettazione dei job. L'osservazione dei risultati fornisce ulteriore supporto nel valutare l'utilizzo dei Dataset in alternativa a RDD, al fine di comprederne i punti di forza e di debolezza. L'esame dei risultati \`e possibile in virt\`u di due casi appositamente pensati e implementati in linguaggio Java 1.8. L'esecuzione dei job, affidata a un adeguato ambiente distribuito, si concluder\`a con il confronto tra tempi di esecuzione e risultati ottenuti.


title: Properties of dyons in ${\cal N}=4$ theories at small charges

abstract: We study three properties of $1/4$ BPS dyons at small charges in string compactifications which preserve ${\cal N}=4$ supersymmetry. We evaluate the non-trivial constant present in the one loop statistical entropy for ${\cal N}=4$ compactifications of type IIB theory on $K3\times T^2$ orbifolded by an order $\mathbb{Z}_N$ freely acting orbifold $g'$ including all CHL compactifications. This constant is trivial for the un-orbifolded model but we show that it contributes crucially to the entropy of low charge dyons in all the orbifold models. We then show that the meromorphic Jacobi form which captures the degeneracy of $1/4$ BPS states for the first two non-trivial magnetic charges can be decomposed into an Appell-Lerch sum and a mock Jacobi form transforming under $\Gamma_0(N)$. This generalizes the earlier observation of Dabholkar-Murthy-Zagier to the orbifold models. Finally we study the sign of the Fourier coefficients of the inverse Siegel modular form which counts the index of $1/4$ BPS dyons in ${\cal N}=4$ models obtained by freely acting $\mathbb{Z}_2$ and $\mathbb{Z}_3$ orbifolds of type II theory compactified on $T^6$. We show that sign of the index for sufficiently low charges and ensuring that it counts single centered black holes, violates the positivity conjecture of Sen which indicates that these states posses non-trivial hair.


title: PartsNet: A Unified Deep Network for Automotive Engine Precision Parts Defect Detection

abstract: Defect detection is a basic and essential task in automatic parts production, especially for automotive engine precision parts. In this paper, we propose a new idea to construct a deep convolutional network combining related knowledge of feature processing and the representation ability of deep learning. Our algorithm consists of a pixel-wise segmentation Deep Neural Network (DNN) and a feature refining network. The fully convolutional DNN is presented to learn basic features of parts defects. After that, several typical traditional methods which are used to refine the segmentation results are transformed into convolutional manners and integrated. We assemble these methods as a shallow network with fixed weights and empirical thresholds. These thresholds are then released to enhance its adaptation ability and realize end-to-end training. Testing results on different datasets show that the proposed method has good portability and outperforms the state-of-the-art algorithms.


title: Unified Mechanism of Atrial Fibrillation in a Simple Model

abstract: The mechanism of atrial fibrillation (AF) is poorly understood, resulting in disappointing success rates of ablative treatment. Different mechanisms defined largely by different atrial activation patterns have been proposed and, arguably, this dispute has slowed the progress of AF research. Recent clinical evidence suggests a unifying mechanism based on sustained re-entrant circuits in the complex atrial architecture. Here, we present a simple computational model showing spontaneous emergence of AF that strongly supports, and gives a theoretical explanation for, the clinically observed diversity of activation. We show that the difference in surface activation patterns is a direct consequence of the thickness of the discrete network of heart muscle cells through which electrical signals percolate to reach the imaged surface. The model naturally follows the clinical spectrum of AF spanning sinus rhythm, paroxysmal and persistent AF as the decoupling of myocardial cells results in the lattice approaching the percolation threshold. This allows the model to make additional predictions beyond the current clinical understanding, showing that for paroxysmal AF re-entrant circuits emerge near the endocardium, but in persistent AF they emerge deeper in the bulk of the atrial wall where endocardial ablation is less effective. If clinically confirmed, this may explain the lower success rate of ablation in long-lasting persistent AF.


title: Impact of the top quark cross section data on parton distribution functions

abstract: Recent measurements of top quark pair production cross section, which is performed at the LHC and the Tevatron collider, are studied using Hessian profiling technique to obtain their impact on the parton distribution functions (PDFs). The top quark production data covers different center-of-mass energies $\sqrt{s}$= 1.96, 5.02, 7, 8 and 13 TeV in either $pp$ or $p\bar{p}$ collisions. It is explained how the Hessian profiling method may be used to assess the impact of these new data on PDFs and consequently on their predictions. In this research, the impact of recent measurements of top quark pair cross sections on different CT14, MMHT2014, and NNPDF3.0 PDF sets is investigated. The analysis results show that the recent top quark production at the LHC and Tevatron data provide significant constraints in particular on the central value, relative uncertainties or both for the $s$-quark distribution and the gluon PDFs in both of CT14, MMHT2014 PDF sets and are insensitive to valence quark PDFs. A small constraint on the $\bar u$- sea quark distribution for CT14 PDF is also observed. There is no impact on the NNPDF3.0 PDF set in presence of these data.


title: Poly-Sarcosine and Poly(ethylene-glycol) interactions with proteins investigated using molecular dynamics simulations

abstract: Nanoparticles coated with hydrophilic polymers often show a reduction in unspecific interactions with the biological environment, which improves their biocompatibility. The molecular determinants of this reduction are not very well understood yet, and their knowledge may help improving nanoparticle design. Here we address, using molecular dynamics simulations, the interactions of human serum albumin, the most abundant serum protein, with two promising hydrophilic polymers used for the coating of therapeutic nanoparticles, poly(ethylene-glycol) and poly-sarcosine. By simulating the protein immersed in a polymer-water mixture, we show that the two polymers have a very similar affinity for the protein surface, both in terms of the amount of polymer adsorbed and also in terms of the type of amino acids mainly involved in the interactions. We further analyze the kinetics of adsorption and how it affects the polymer conformations. Minor differences between the polymers are observed in the thickness of the adsorption layer, that are related to the different degree of flexibility of the two molecules. In comparison poly-alanine, an isomer of poly-sarcosine known to self-aggregate and induce protein aggregation, shows a significantly larger affinity for the protein surface than PEG and PSar, which we show to be related not to a different patterns of interactions with the protein surface, but to the different way the polymer interacts with water.


title: On the Convergence Rate of Training Recurrent Neural Networks

abstract: How can local-search methods such as stochastic gradient descent (SGD) avoid bad local minima in training multi-layer neural networks? Why can they fit random labels even given non-convex and non-smooth architectures? Most existing theory only covers networks with one hidden layer, so can we go deeper? In this paper, we focus on recurrent neural networks (RNNs) which are multi-layer networks widely used in natural language processing. They are harder to analyze than feedforward neural networks, because the $\textit{same}$ recurrent unit is repeatedly applied across the entire time horizon of length $L$, which is analogous to feedforward networks of depth $L$. We show when the number of neurons is sufficiently large, meaning polynomial in the training data size and in $L$, then SGD is capable of minimizing the regression loss in the linear convergence rate. This gives theoretical evidence of how RNNs can memorize data. More importantly, in this paper we build general toolkits to analyze multi-layer networks with ReLU activations. For instance, we prove why ReLU activations can prevent exponential gradient explosion or vanishing, and build a perturbation theory to analyze first-order approximation of multi-layer networks.


title: A tutorial on the synthesis and validation of a closed-loop wind farm controller using a steady-state surrogate model

abstract: In wind farms, wake interaction leads to losses in power capture and accelerated structural degradation when compared to freestanding turbines. One method to reduce wake losses is by misaligning the rotor with the incoming flow using its yaw actuator, thereby laterally deflecting the wake away from downstream turbines. However, this demands an accurate and computationally tractable model of the wind farm dynamics. This problem calls for a closed-loop solution. This tutorial paper fills the scientific gap by demonstrating the full closed-loop controller synthesis cycle using a steady-state surrogate model. Furthermore, a novel, computationally efficient and modular communication interface is presented that enables researchers to straight-forwardly test their control algorithms in large-eddy simulations. High-fidelity simulations of a 9-turbine farm show a power production increase of up to 11% using the proposed closed-loop controller compared to traditional, greedy wind farm operation.


title: Large AdS black holes from QFT

abstract: We study the index of $\mathcal{N}=4$ Yang-Mills theory on $S^3\times\mathbb{R}$ at large angular momenta. A generalized Cardy limit exhibits macroscopic entropy at large $N$. Our result is derived using free QFT analysis, and also a background field method on $S^3$. The index sets a lower bound on the entropy. It saturates the Bekenstein-Hawking entropy of known supersymmetric AdS$_5$ black holes, thus accounting for their microstates. We further analyze the so-called Macdonald index, exploring small black holes and possibly new black holes reminiscent of hairy black holes. Finally, we study aspects of large supersymmetric AdS$_7$ black holes, using background field method on $S^5$ and 't Hooft anomalies.


title: Modelling rankings in R: the PlackettLuce package

abstract: This paper presents the R package PlackettLuce, which implements a generalization of the Plackett-Luce model for rankings data. The generalization accommodates both ties (of arbitrary order) and partial rankings (complete rankings of subsets of items). By default, the implementation adds a set of pseudo-comparisons with a hypothetical item, ensuring that the underlying network of wins and losses between items is always strongly connected. In this way, the worth of each item always has a finite maximum likelihood estimate, with finite standard error. The use of pseudo-comparisons also has a regularization effect, shrinking the estimated parameters towards equal item worth. In addition to standard methods for model summary, PlackettLuce provides a method to compute quasi standard errors for the item parameters. This provides the basis for comparison intervals that do not change with the choice of identifiability constraint placed on the item parameters. Finally, the package provides a method for model-based partitioning using covariates whose values vary between rankings, enabling the identification of subgroups of judges or settings that have different item worths. The features of the package are demonstrated through application to classic and novel data sets.


title: Marginal Replay vs Conditional Replay for Continual Learning

abstract: We present a new replay-based method of continual classification learning that we term "conditional replay" which generates samples and labels together by sampling from a distribution conditioned on the class. We compare conditional replay to another replay-based continual learning paradigm (which we term "marginal replay") that generates samples independently of their class and assigns labels in a separate step. The main improvement in conditional replay is that labels for generated samples need not be inferred, which reduces the margin for error in complex continual classification learning tasks. We demonstrate the effectiveness of this approach using novel and standard benchmarks constructed from MNIST and FashionMNIST data, and compare to the regularization-based \textit{elastic weight consolidation} (EWC) method.


title: Cosmological evolution in DHOST theories

abstract: In the context of Degenerate Higher-Order Scalar-Tensor (DHOST) theories, we study cosmological solutions and their stability properties. In particular, we explicitly illustrate the crucial role of degeneracy by showing how the higher order homogeneous equations in the physical frame (where matter is minimally coupled) can be recast in a system of equations that do not involve higher order derivatives. We study the fixed points of the dynamics, finding the conditions for having a de Sitter attractor at late times. Then we consider the coupling to matter field (described for convenience by a k-essence Lagrangian) and find the conditions to avoid gradient and ghost instabilities at linear order in cosmological perturbations, extending previous work. Finally, we apply these results to a simple subclass of DHOST theories, showing that de Sitter attractor conditions, no ghost and no gradient instabilities conditions (both in the self-accelerating era and in the matter dominated era) can be compatible.


title: A combined X-ray, optical and radio view of the merging galaxy cluster MACS J0417.5-1154

abstract: We present a comprehensive multi-wavelength analysis of the merging galaxy cluster MACS~J0417.5-1154 at a redshift of $z=0.44$, using available images red obtained with \chandra\ in X-ray, {\it Subaru}, {\it Hubble Space Telescope} (HST) in optical, {\it Giant Metrewave Radio Telescope} (GMRT) in radio and {\it Bolocam} at 2.1~mm wavelength. This is an example of a complex merging galaxy cluster also hosting a steep-spectrum Mpc scale radio halo. The mass distribution obtained by weak lensing reconstruction shows that MACS~J0417.5-1154 belongs to the dissociative class of mergers, where one of its substructures has had its gas content detached after the pericentric passage. We find the main cluster mass $M_{200}~=~11.5^{+3.0}_{-3.5} \times 10^{14}\ M_\odot$ and the smaller second (sub)cluster mass to be $M_{200}~=~1.96^{+1.60}_{-0.95} \times 10^{14}\ M_\odot$, leading to a large total mass of $M_{200}~=~13.8^{+2.6}_{-2.8} \times 10^{14}\ M_\odot$. The overall structure, surface brightness profile, temperature and metal abundance of the intra-cluster medium (ICM) all point towards the presence of a cold front and merger induced gas-sloshing motion near the core. We detect a surface brightness edge to the south$-$east direction at a projected distance of $\sim$45 arcsec ($\sim$255\,kpc) from the centre of this cluster. The X-ray spectral analysis across the inner and outer edge allows us to confirm the detected edge as a cold front. The GMRT 235\,MHz observation shows a comet$-$like extended sychrotron radio halo emission trailing behind the cold front. The peak of the Sunyaev-Zel'dovich decrement is found displaced from the centre of X-ray emission, which is interpreted as consequence of the merger dynamics.


title: A numerical method for the solution of the two-phase fractional Lame-Clapeyron-Stefan problem

abstract: In this paper we present a numerical solution of a two-phase fractional Stefan problem with time derivative described in the Caputo sense. In the proposed algorithm, we use a special case of front-fixing method supplemented by the iterative procedure, which allows us to determine the position of the moving boundary. In the final part, we also present some examples illustrating the comparison of the analytical solution with the results received by the proposed numerical method.


title: Variational Wave Function for Inhomogeneous Bose--Einstein Condensate with 3/2-Body Correlations

abstract: We construct a variational wave function for inhomogeneous weakly interacting Bose--Einstein condensates beyond the mean-field approximation by incorporating $3/2$-body correlations. From our numerical results calculated for a system trapped by a one-dimensional harmonic oscillator, the $3/2$-body correlations give a contribution comparable to the mean- field energy toward lowering the ground-state energy.


title: Non-Mie Optical Resonances in Anisotropic Biomineral Nanoparticles

abstract: Optical properties of nanoparticles attract continuous attention owing to their high fundamental and applied importance across many disciplines. Recently emerged field of all-dielectric nanophotonics employs optically induced electric and magnetic Mie resonances in dielectric nanoparticles with a high refractive index. This property allows obtaining additional valuable degrees of freedom to control optical responses of nanophotonic structures. Here we propose a conceptually distinct approach towards reaching optical resonances in dielectric nanoparticles. We show that lacking conventional Mie resonances, low-index nanoparticles can exhibit a novel anisotropy-induced family of non-Mie eigenmodes. Specifically, we investigate light interactions with calcite and vaterite nanospheres and compare them with the Mie scattering by a fused silica sphere. Having close permittivities and same dimensions, these particles exhibit significantly different scattering behavior owing to their internal structure. While a fused silica sphere does not demonstrate any spectral features, the uniaxial structure of the permittivity tensor for calcite and non-diagonal permittivity tensor for vaterite result in a set of distinguishable peaks in scattering spectra. Multipole decomposition and eigenmode analysis reveal that these peaks are associated with a new family of electric and magnetic resonances. We identify magnetic dipole modes of ordinary, extraordinary and hybrid polarization as well as complex electric dipole resonances, featuring a significant toroidal electric dipole moment. As both vaterite and calcite are biominerals, naturally synthesized and exploited by a variety of living organisms, our results provide an indispensable toolbox for understanding and elucidation of mechanisms behind optical functionalities of true biological systems.


title: Asymptotic Upper Capacity Bound for Receive Antenna Selection in Massive MIMO Systems

abstract: This paper studies the receive antenna selection in massive multiple-input multiple-output (MIMO) system. The receiver, equipped with a large-scale antenna array whose size is much larger than that of the transmitter, selects a subset of antennas to receive messages. A low-complexity asymptotic approximated upper capacity bound is derived in the limit of massive MIMO systems over independent and identical distributed flat fading Rayleigh channel, assuming that the channel side information (CSI) is only available at the receiver. Furthermore, the asymptotic theory is separately applied to two scenarios which is based on whether the total amount of the selected antennas exceed that of the transmit antennas. Besides analytical derivations, simulation results are provided to demonstrate the approximation precision of the asymptotic results and the tightness of the capacity bound.


title: Finite groups, 2-generation and the uniform domination number

abstract: Let $G$ be a finite $2$-generated non-cyclic group. The spread of $G$ is the largest integer $k$ such that for any nontrivial elements $x_1, \ldots, x_k$, there exists $y \in G$ such that $G = \langle x_i, y\rangle$ for all $i$. The more restrictive notion of uniform spread, denoted $u(G)$, requires $y$ to be chosen from a fixed conjugacy class of $G$, and a theorem of Breuer, Guralnick and Kantor states that $u(G) \geqslant 2$ for every non-abelian finite simple group $G$. For any group with $u(G) \geqslant 1$, we define the uniform domination number $\gamma_u(G)$ of $G$ to be the minimal size of a subset $S$ of conjugate elements such that for each nontrivial $x \in G$ there exists $y \in S$ with $G = \langle x, y \rangle$ (in this situation, we say that $S$ is a uniform dominating set for $G$). We introduced the latter notion in a recent paper, where we used probabilistic methods to determine close to best possible bounds on $\gamma_u(G)$ for all simple groups $G$. In this paper we establish several new results on the spread, uniform spread and uniform domination number of finite groups and finite simple groups. For example, we make substantial progress towards a classification of the simple groups $G$ with $\gamma_u(G)=2$, and we study the associated probability that two randomly chosen conjugate elements form a uniform dominating set for $G$. We also establish new results concerning the $2$-generation of soluble and symmetric groups, and we present several open problems.


title: An Optimal Construction for the Barthelmann-Schwentick Normal Form on Classes of Structures of Bounded Degree

abstract: Building on the locality conditions for first-order logic by Hanf and Gaifman, Barthelmann and Schwentick showed in 1999 that every first-order formula is equivalent to a formula of the shape $\exists x_1 \dotsc \exists x_k \forall y\,\phi$ where quantification in $\phi$ is relativised to elements of distance $\leq r$ from $y$. Such a formula will be called Barthelmann-Schwentick normal form (BSNF) in the following. However, although the proof is effective, it leads to a non-elementary blow-up of the BSNF in terms of the size of the original formula. We show that, if equivalence on the class of all structures, or even only finite forests, is required, this non-elementary blow-up is indeed unavoidable. We then examine restricted classes of structures where more efficient algorithms are possible. In this direction, we show that on any class of structures of degree $\leq 2$, BSNF can be computed in 2-fold exponential time with respect to the size of the input formula. And for any class of structures of degree $\leq d$ for some $d\geq 3$, this is possible in 3-fold exponential time. For both cases, we provide matching lower bounds.


title: Hybridized CutFEM for Elliptic Interface Problems

abstract: We design and analyze a hybridized cut finite element method for elliptic interface problems. In this method very general meshes can be coupled over internal unfitted interfaces, through a skeletal variable, using a Nitsche type approach. We discuss how optimal error estimates for the method are obtained using the tools of cut finite element methods and prove a condition number estimate for the Schur complement. Finally, we present illustrating numerical examples.


title: Preserving levels of projective determinacy by tree forcings

abstract: We prove that various classical tree forcings -- for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing -- preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes classes are added to thin projective transitive relations by these forcings.


title: A Physical Perspective on Classical Cloning

abstract: The celebrated quantum no-cloning theorem states that an arbitrary quantum state cannot be cloned perfectly. This raises questions about cloning of classical states, which have also attracted attention. Here, we present a physical approach to the classical cloning process showing how cloning can be realised using Hamiltonians. After writing down a canonical transformation that clones classical states, we show how this can be implemented by Hamiltonian evolution. We then propose an experiment using the tools of nonlinear optics to realise the ideas presented here. Finally, to understand the cloning process in a more realistic context, we introduce statistical mechanical noise to the system and study how this affects the cloning process. While most of our work deals with linear systems and harmonic oscillators, we give some examples of cloning maps on manifolds and show that any system whose configuration space is a group manifold admits a cloning canonical transformation.


title: Learning to Teach with Dynamic Loss Functions

abstract: Teaching is critical to human society: it is with teaching that prospective students are educated and human civilization can be inherited and advanced. A good teacher not only provides his/her students with qualified teaching materials (e.g., textbooks), but also sets up appropriate learning objectives (e.g., course projects and exams) considering different situations of a student. When it comes to artificial intelligence, treating machine learning models as students, the loss functions that are optimized act as perfect counterparts of the learning objective set by the teacher. In this work, we explore the possibility of imitating human teaching behaviors by dynamically and automatically outputting appropriate loss functions to train machine learning models. Different from typical learning settings in which the loss function of a machine learning model is predefined and fixed, in our framework, the loss function of a machine learning model (we call it student) is defined by another machine learning model (we call it teacher). The ultimate goal of teacher model is cultivating the student to have better performance measured on development dataset. Towards that end, similar to human teaching, the teacher, a parametric model, dynamically outputs different loss functions that will be used and optimized by its student model at different training stages. We develop an efficient learning method for the teacher model that makes gradient based optimization possible, exempt of the ineffective solutions such as policy optimization. We name our method as "learning to teach with dynamic loss functions" (L2T-DLF for short). Extensive experiments on real world tasks including image classification and neural machine translation demonstrate that our method significantly improves the quality of various student models.


title: Understanding and engineering phonon-mediated tunneling into graphene on metal surfaces

abstract: Metal-intercalated graphene on Ir(111) exhibits phonon signatures in inelastic elec- tron tunneling spectroscopy with strengths that depend on the intercalant. Extraor- dinarily strong graphene phonon signals are observed for Cs intercalation. Li interca- lation likewise induces clearly discriminable phonon signatures, albeit less pronounced than observed for Cs. The signal can be finely tuned by the alkali metal coverage and gradually disappears upon increasing the junction conductance from tunneling to con- tact ranges. In contrast to Cs and Li, for Ni-intercalated graphene the phonon signals stay below the detection limit in all transport ranges. Going beyond the conventional two-terminal approach, transport calculations provide a comprehensive understanding of the subtle interplay between the graphene{electrode coupling and the observation of graphene phonon spectroscopic signatures.


title: MALT90 molecular content on high-mass IR-dark clumps

abstract: High mass stars form in groups or clusters within massive cores in dense molecular clumps with sizes of 1pc and masses of 200Msun which are important laboratories for high-mass star formation in order to study the initial conditions. We investigate the physical and chemical properties of high-mass clumps in order to better understand the early evolutionary stages and find targets that show star formation signs. We selected the high-mass clumps from ATLASGAL survey that were identified as dark at 8/24$\mu$m wavelengths and used MALT90 data which provides a molecular line set to investigate the physical and chemical conditions in early evolutionary stages. Eleven sources have significant SiO detection (over 3$\sigma$) which usually indicates outflow activities. Thirteen sources are found with blue profiles in both or either HCO$^+$ and/or HNC lines and clump mass infall rates are estimated to be in the range of 0.2E+3 Msunyr$^{-1}$ $-$ 1.8E-2 Msunyr$^{-1}$. The excitation temperature is obtained as <24K for all sources. The column densities for optically thin lines of H$^{13}$CO$^{+}$ and HN$^{13}$C are in the range of 0.4-8.8(E+12) cm$^{-2}$, and 0.9-11.9(E+12) cm$^{-2}$, respectively, while it is in the range of 0.1-7.5(E+14) cm$^{-2}$ for HCO$^{+}$ and HNC lines. The column densities for N$_{2}$H$^{+}$ were ranging between 4.4-275.7(E+12) cm$^{-2}$ as expected from cold dense regions. Large line widths of N$_{2}$H$^{+}$ might indicate turbulence and large line widths of HCO$^{+}$, HNC, and SiO indicate outflow activities. Mean optical depths are 20.32, and 23.19 for optically thick HCO$^{+}$ and HCN lines, and 0.39 and 0.45 for their optically thin isotopologues H$^{13}$CO$^{+}$ and HN$^{13}$C, respectively. This study reveals the physical and chemical properties of 30 high-mass IR-dark clumps and the interesting targets among them based on their emission line morphology and kinematics.


title: The Most Considered Type of Student Characteristics by Primary School Teacher

abstract: This study aims to determine what type of student characteristic most considered by teachers in primary school and their influence on student learning achievement. For this purpose, 37 class teachers of grade 4th to 6th from seven primary schools were the respondents. Categorizing the level of identification students characteristics by the teacher using a questionnaire on the application of student characteristics that is deepened by the study of learning planning documents intended to provide an overview of the types of students characteristics that are considered most important to be done by primary school teachers. The results show that the level of student intelligence is the type of student characteristics most considered by primary school teachers. By comparing the value of student achievement it can be seen that the learning developed by paying attention to students intelligence levels are better than learning that does not pay attention to it.


title: Extractive Summarization of EHR Discharge Notes

abstract: Patient summarization is essential for clinicians to provide coordinated care and practice effective communication. Automated summarization has the potential to save time, standardize notes, aid clinical decision making, and reduce medical errors. Here we provide an upper bound on extractive summarization of discharge notes and develop an LSTM model to sequentially label topics of history of present illness notes. We achieve an F1 score of 0.876, which indicates that this model can be employed to create a dataset for evaluation of extractive summarization methods.


title: A study on load-balanced variants of the bin packing problem

abstract: We consider several extensions of the fractional bin packing problem, a relaxation of the traditional bin packing problem where the objects may be split across multiple bins. In these extensions, we introduce load-balancing constraints imposing that the share of each object which is assigned to a same bin must be equal. We propose a Mixed-Integer Programming (MIP) formulation and show that the problem becomes NP-hard if we limit to at most 3 the number of bins across which each object can be split. We then consider a variant where the balanced allocations of objects to bins may be done in successive rounds; this problem was inspired by telecommunication applications, and may be used to model simple Live Streaming networks. We show that two rounds are always sufficient to completely assign all objects to the bins and then provide an optimal polynomial-time allocation algorithm for this problem.


title: A note on the scalar products in sLQC

abstract: Solvable loop quantum cosmology provides a simple model of spatially flat, homogeneous, and isotropic quantum cosmology where the initial singularity is resolved. A close inspection of the literature reveals that there exist two different proposals for a scalar product that are usually assumed to be identical, but agree only in the large volume limit. The small volume limit, and thus the reported difference, turns out to be important for questions such as coarse graining fundamental quantum states in full theory embeddings of these cosmological models.


title: Lattice QCD Can Study Parton Distribution Function Inside Hadron

abstract: Recently we have reported that the lattice QCD can not study the physical hadron formation from the unphysical quarks and gluons because it operates the unphysical QCD Hamiltonian of all the partons inside the hadron on the physical energy eigenstate of the hadron to obtain the physical energy eigenvalue of the hadron. However, since the parton distribution function (PDF) inside the hadron is unphysical (although it is well defined in QCD), we find in this paper that the unphysical energy of all the partons inside the hadron (instead of the physical energy of the hadron) can be used to study the PDF using the lattice QCD. Hence we find that the lattice QCD can study the parton distribution function inside the hadron from the first principle.


title: Real Signals in the Microcosm

abstract: It is known that the transition from quantum to classical physics occurs when the action constant h decreases to an infinitesimal value. As shown in the article, for signals this statement is applicable to their classical model only and it is far from all real signals existing in nature and having a threshold on action more than h. Such threshold is the threshold of perception that exists for any natural macro and micro signal receivers, including atoms and particles. It was revealed that above the boundary frequency of the classical thermal noise v-high, found by Planck, the properties of real signals correspond to quantum constraints. It is asserted that in the frequency range above v-high inertness appears and dominates, i.e. the integration of the signals. As a result of it a transition from the perception threshold on energy to the perception threshold on action happens. Besides, instead of disappearing thermal noise on energy, an indestructible sub-threshold noise on action appears that is associated with the uncertainty relation. The concept of algebraic, not integer logic is introduced for real sub-threshold signals. It is demonstrated that in combination of sub-threshold random states of several signals, their integration leads to a joint probability, i.e. to superposition states of QM.


title: SNe Ia Redshift in a Non-Adiabatic Universe

abstract: By relaxing the constraint of adiabatic universe used in most cosmological models, we have shown that the new approach provides a better fit to the supernovae Ia redshift data with a single parameter, the Hubble constant $H_0$, than the standard $\Lambda$CDM model with two parameters, $H_0$ and the cosmological constant $\Lambda$ related density $\Omega_{\Lambda}$. The new approach is compliant with the cosmological principle. It yields the H_0=68.28 (+- 0.53) km s-1Mpc-1 with an analytical value of the deceleration parameter q_0=-0.4. The analysis presented is for a matter only, flat universe. The cosmological constant $\Lambda$ may thus be considered as a manifestation of a non-adiabatic universe that is treated as an adiabatic universe.


title: Embedding Geographic Locations for Modelling the Natural Environment using Flickr Tags and Structured Data

abstract: Meta-data from photo-sharing websites such as Flickr can be used to obtain rich bag-of-words descriptions of geographic locations, which have proven valuable, among others, for modelling and predicting ecological features. One important insight from previous work is that the descriptions obtained from Flickr tend to be complementary to the structured information that is available from traditional scientific resources. To better integrate these two diverse sources of information, in this paper we consider a method for learning vector space embeddings of geographic locations. We show experimentally that this method improves on existing approaches, especially in cases where structured information is available.


title: On Coding for Reliable VNF Chaining in DCNs

abstract: We study how erasure coding can improve service reliability in Data Center Networks (DCN). To this end, we find that coding can be best deployed in systems, where i) traffic is split into multiple parallel sub-flows, ii) each sub-flow is encoded; iii) SFC along with their corresponding Virtual Network Functions (VNF) concatenated are replicated into at least as many VNF instances as there are sub-flows, resulting in parallel sub- SFCs; and iv) all coded sub-flows are distributed over parallel paths and processed in parallel. We study service reliability as function of the level of parallelization within DCN and the resulting amount of redundancy. Based on the probability theory and by considering failures of path segments, VNF and server failures, we analytically derive the probability that parallel subflows are successfully processed by the parallelized SFC and that the original serial traffic can be successfully recovered without service interruptions.We compare the proposed failure protection with coding and the standard backup protection and evaluate the related overhead of both methods, including decoding, traffic redirection and VNF migration. The results not only show the benefit of our scheme for reliability, but also a reduced overhead required in comparison to backup protection.


title: 80-Channel WDM-MDM Transmission over 50-km Ring-Core Fiber Using a Compact OAM DEMUX and Modular 4x4 MIMO Equalization

abstract: 8-OAM modes each carrying 10 wavelengths with 2.56-Tbit/s aggregated capacity and 10.24-bit/s/Hz spectral efficiency have been transmitted over 50-km specially designed ring-core fiber, using a compact OAM mode sorter and only modular 4x4 MIMO equalization.


title: Inertial Theorem: Overcoming the quantum adiabatic limit

abstract: We present a new theorem describing stable solutions for a driven quantum system. The theorem, coined `inertial theorem', is applicable for fast driving, provided the acceleration rate is small. The theorem states that in the inertial limit eigenoperators of the propagator remain invariant throughout the dynamics, accumulating dynamical and geometric phases. The proof of the theorem utilizes the structure of Liouville space and a closed Lie algebra of operators. We demonstrate applications of the theorem by studying three explicit solutions of a harmonic oscillator, a two-level and three-level system models. These examples demonstrate that the inertial solution is superior to that obtained with the adiabatic approximation. Inertial protocols can be combined to generate a new family of solutions. The inertial theorem is then employed to extend the validity of the Markovian Master equation to strongly driven open quantum systems. In addition, we explore the consequence of new geometric phases associated with the driving parameters.


title: On the Power of Quantum Queue Automata in Real-time

abstract: This paper proposed a quantum analogue of classical queue automata by using the definition of the quantum Turing machine and quantum finite-state automata. However, quantum automata equipped with storage medium of a stack has been considered, but the concept of quantum queue automata has not been introduced so far. The classical Turing machines can be simulated by classical queue automata. Motivated by the efficiency of the quantum Turing machine and nature of classical queue automata, we have introduced the notion of quantum queue automata using unitary criteria. Our contributions are as follows. We have also introduced a generalization of real-time deterministic queue automata, the real-time quantum queue automata which work in real-time i.e. the input head can move towards the right direction only and takes exactly one step per input symbol. We have shown that real-time quantum queue automata is more superior than its real-time classical variants by using quantum transitions. We have proved the existence of the language that can be recognized by real-time quantum queue automata and cannot be recognized by real-time deterministic (reversible) queue automata. Further, we have shown that there is a language that can be recognized by real-time quantum queue automata but not by real-time non-deterministic queue automata.


title: Relative complete reducibility and normalised subgroups

abstract: We study a relative variant of Serre's notion of $G$-complete reducibility for a reductive algebraic group $G$. We let $K$ be a reductive subgroup of $G$, and consider subgroups of $G$ which normalise the identity component $K^{\circ}$. We show that such a subgroup is relatively $G$-completely reducible with respect to $K$ if and only if its image in the automorphism group of $K^{\circ}$ is completely reducible. This allows us to generalise a number of fundamental results from the absolute to the relative setting. We also derive analogous results for Lie subalgebras of the Lie algebra of $G$, as well as 'rational' versions over non-algebraically closed fields.


title: Ruuh: A Deep Learning Based Conversational Social Agent

abstract: Dialogue systems and conversational agents are becoming increasingly popular in the modern society but building an agent capable of holding intelligent conversation with its users is a challenging problem for artificial intelligence. In this demo, we demonstrate a deep learning based conversational social agent called "Ruuh" (facebook.com/Ruuh) designed by a team at Microsoft India to converse on a wide range of topics. Ruuh needs to think beyond the utilitarian notion of merely generating "relevant" responses and meet a wider range of user social needs, like expressing happiness when user's favorite team wins, sharing a cute comment on showing the pictures of the user's pet and so on. The agent also needs to detect and respond to abusive language, sensitive topics and trolling behavior of the users. Many of these problems pose significant research challenges which will be demonstrated in our demo. Our agent has interacted with over 2 million real world users till date which has generated over 150 million user conversations.


title: Optimal non-adaptive approximation of convex bodies by polytopes

abstract: In this paper we consider the problem of constructing numerical algorithms for approximating of convex compact bodies in d-dimensional Euclidean space by polytopes with any given accuracy. It is well known that optimal with respect to the order algorithms produces polytopes for which the accuracy in Hausdorff metric is inversely proportional to the number of vertices (faces) in the degree of 2/(d-1). Numerical approximation algorithms can be adaptive (active) when the vertices or faces are constructed successively, depending on the information obtained in the process of approximation, and non-adaptive (passive) when parameters of algorithms are defined on the basis of a priory information available. Approximation algorithms differ in the use of operations applied to the approximated body. Most common are indicator, support and distance (Minkowski) functions calculations. Some optimal active algorithms for arbitrary bodies approximation are known using support or distance function calculation operation. Optimal passive algorithms for smooth bodies approximation are known using support function calculation operation and extremal curvature information. It is known that there are no optimal non-adaptive algorithms for arbitrary bodies approximation using support function calculation operation. We consider optimal non-adaptive algorithms for arbitrary bodies approximation using projection function calculation operation.


title: Intraday Seasonalities and Nonstationarity of Trading Volume in Financial Markets: Individual and Cross-Sectional Features

abstract: We study the intraday behaviour of the statistical moments of the trading volume of the blue chip equities that composed the Dow Jones Industrial Average index between 2003 and 2014. By splitting that time interval into semesters, we provide a quantitative account of the non-stationary nature of the intraday statistical properties as well. Explicitly, we prove the well-known U-shape exhibited by the average trading volume-as well as the volatility of the price fluctuations-experienced a significant change from 2008 (the year of the sub-prime financial crisis) onwards. That has resulted in a faster relaxation after the market opening and relates to a consistent decrease in the convexity of the average trading volume intraday profile. Simultaneously, the last part of the session has become steeper as well, a modification that is likely to have been triggered by the new short-selling rules that were introduced in 2007 by the Securities and Exchange Commission. The combination of both results reveals that the has been turning into a t. Additionally, the analysis of higher-order cumulants namely the skewness and the kurtosis-shows that the morning and the afternoon parts of the trading session are each clearly associated with different statistical features and hence dynamical rules. Concretely, we claim that the large initial trading volume is due to wayward stocks whereas the large volume during the last part of the session hinges on a cohesive increase of the trading volume. That dissimilarity between the two parts of the trading session is stressed in periods of higher uproar in the market.


title: The FOLE Table

abstract: This paper continues the discussion of the representation of ontologies in the first-order logical environment FOLE. According to Gruber, an ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives, consisting of classes, relationships and properties, are represented by the entity-relationship-attribute ERA data model of Chen. An ontology uses formal axioms to constrain the interpretation of these primitives. In short, an ontology specifies a logical theory. A series of three papers by the author provide a rigorous mathematical representation for the ERA data model in particular, and ontologies in general, within FOLE. The first two papers, which provide a foundation and superstructure for FOLE, represent the formalism and semantics of (many-sorted) first-order logic in a classification form corresponding to ideas discussed in the Information Flow Framework (IFF). The third paper will define an interpretation of FOLE in terms of the transformational passage, first described in (Kent, 2013), from the classification form of first-order logic to an equivalent interpretation form, thereby defining the formalism and semantics of first-order logical/relational database systems. Two papers will provide a precise mathematical basis for FOLE interpretation: the current paper develops the notion of a FOLE relational table following the relational model of Codd, and a follow-up paper will develop the notion of a FOLE relational database. Both of these papers expand on material found in the paper (Kent, 2011). Although the classification form follows the entity-relationship-attribute data model of Chen, the interpretation form follows the relational data model of Codd. In general, the FOLE representation uses a conceptual structures approach, that is completely compatible with formal concept analysis and information flow.


title: The Role of Language in Teaching and Learning Mathematics

abstract: The purpose of this paper is to emphasize the role of language in the process of teaching and learning mathematics. We will begin with the definition of mathematics given by Cassiodorus (in its essential features repeated in Kolmogorov's famous article "Mathematics" from the "Great Soviet Encyclopedia" and explored in the author's book "Humanitarian oriented mathematics teaching in general school" (Ryazan, Ryazan Institute of Education Development, 2000, 112 p.). This definition illuminates the exceptional role of language in the building, discovering, understanding, teaching, and learning of mathematics. We show that this role is predetermined by the abstract character of mathematics. The abstract object cannot be shown; it can only be described with the help of language. This gives rise to the problem of identifying abstract entities on the grounds of their descriptions. We accentuate the way the language of set theory helps finding the solution to this problem. We illustrate this through the examples from elementary geometry and elementary algebra. And we especially underline the importance of this solution when working with events in the probability theory. After that, we are going to show how proof and language help to form and develop imagery thinking and, thereby, illuminate the possibility of the left brain hemisphere to participate in the formation of imagery thinking. Keywords: mathematics, teaching, and learning, language, imagery thinking, functional brain asymmetry


title: Quadratic residues and quartic residues modulo primes

abstract: In this paper we study some products related to quadratic residues and quartic residues modulo primes. Let $p$ be an odd prime and let $A$ be any integer. We mainly determine completely the product $$f_p(A):=\prod_{1\le i,j\le(p-1)/2\atop p\nmid i^2-Aij-j^2}(i^2-Aij-j^2)$$ modulo $p$; for example, if $p\equiv1\pmod4$ then $$f_p(A)\equiv\begin{cases}-(A^2+4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=1, \\(-A^2-4)^{(p-1)/4}\pmod p&\text{if}\ (\frac{A^2+4}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also determine $$\prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2+5ij+2j^2}\left(2i^2+5ij+2j^2\right) \ \text{and}\ \prod^{(p-1)/2}_{i,j=1\atop p\nmid 2i^2-5ij+2j^2}\left(2i^2-5ij+2j^2\right)$$ modulo $p$.


title: Lens Generalisation of $\tau$-functions for the Elliptic Discrete Painlev\'e Equation

abstract: We propose a new bilinear Hirota equation for $\tau$-functions associated with the $E_8$ root lattice, that provides a "lens" generalisation of the $\tau$-functions for the elliptic discrete Painlev\'e equation. Our equations are characterized by a positive integer $r$ in addition to the usual elliptic parameters, and involve a mixture of continuous variables with additional discrete variables, the latter taking values on the $E_8$ root lattice. We construct explicit $W(E_7)$-invariant hypergeometric solutions of this bilinear Hirota equation, which are given in terms of elliptic hypergeometric sum/integrals.


title: Tsallis Agegraphic Dark Energy Model

abstract: Using the nonextensive Tsallis entropy and the holographic hypothesis, we propose a new dark energy (DE) model with time scale as infrared (IR) cutoff. Considering the age of the Universe as well as the conformal time as IR cutoffs, we investigate the cosmological consequences of the proposed DE models and study the evolution of the Universe filled by a pressureless matter and the obtained DE candidates. We find that although these models can describe the late time acceleration and the density, deceleration and the equation of state parameters show satisfactory behavior by themselves, however, these models are classically unstable unless the interaction between the two dark sectors of the Universe is taken into account. In addition, the results of the existence of a mutual interaction between the cosmos sectors are also addressed. We find out that the interacting models are stable at the classical level which is in contrast to the original interacting agegraphic dark energy models which are classically unstable [1].


title: Estimating grouped data models with a binary dependent variable and fixed effect via logit vs OLS: the impact of dropped units

abstract: This letter deals with a very simple issue: if we have grouped data with a binary dependent variable and want to include fixed effects (group specific intercepts) in the specification, is Ordinary Least Squares (OLS) in any way superior to a logit form because the OLS method \emph{appears} to keep all observations whereas the logit drops all groups which have either all zeros or all ones on the dependent variable? It is shown that OLS averages the estimates for the all zero (and all one) groups, which by definition have all slope coefficients of zero, with the slope coefficients for the groups with a mix of zeros and ones. Thus the correct comparison of OLS to logit is to only look at groups with some variation in the dependent variable. Researchers using OLS are urged to report results both for all groups and for the subset of groups where the dependent variable varies. The interpretation of the difference between these two results depends upon assumptions which cannot be empirically assessed.


title: Electrodynamics of the strong-field approximation and deficiencies of the tunneling model

abstract: The strong-field laser physics enterprise is investing important resources in the study of the effects of oscillatory electric fields on matter using the tunneling concept, whereas laser fields are vector fields that do not support the tunneling model. Oscillatory electric fields and propagating plane-wave laser fields are different electrodynamic phenomena, and similarities in their effects diminish as field intensity increases. Major differences are known in the case of very low frequencies where oscillatory electric fields act adiabatically as the frequency declines, in contrast to extreme relativistic effects of strong laser fields. Many supposed new phenomena, such as ATI (Above-Threshold Ionization), channel closing, and stabilization were studied in terms of propagating fields before they came to the attention of the atomic physics community. This illustrates the efficiency of using proper electrodynamic methods for the treatment of laser effects. Problems arising from the conflation of the effects of oscillatory electric fields and propagating fields are exacerbated by using ill-defined nomenclature, such as KFR and SFA, that has been used indiscriminately to apply both to oscillatory electric fields and to propagating fields. Research resources can be applied with much-improved efficiency if proper electrodynamic treatment of laser fields is employed.


title: Symmetry and Stability of Homogenuous Flocks. A Position Paper

abstract: The study of the movement of flocks, whether biological or technological is motivated by the desire to understand the capability of coherent motion of a large number of agents that only receive very limited information. In a biological flock a large group of animals seek their course while moving in a more or less fixed formation. It seems reasonable that the immediate course is determined by leaders at the boundary of the flock. The others follow: what is their algorithm? The most popular technological application consists of cars on a one-lane road. The light turns green and the lead car accelerates. What is the efficient algorithm for the others to closely follow without accidents? In this position paper we present some general questions from a more fundamental point of view. We believe that the time is right to solve many of these questions: they are within our reach.


title: Design Schemes for Fair Dice

abstract: A cube is used as a fair die of 6 faces. However, there are many dice of different shapes on the market. To make them fair, most of them usually have some symmetric shapes. We here classify these variants of dice on the market into two groups. We first consider that a sphere as a model of a fair die with infinity faces. Based on this model, many symmetric shapes can be modeled as dice obtained by caving spheres. We also have a familiar fair device; a coin. That is, a fair coin can be seen as a fair die with 2 faces. However, a real coin has a thickness, and hence it is, in fact, an unfair die with 3 faces. From this viewpoint, we propose a way for designing a fair die with n faces for arbitrary n.


title: Modification of relativistic beam fields under the influence of external conducting and ferromagnetic flat boundaries

abstract: We derive analytical expressions for external fields of a relativistic bunch of charged particles with a circular and an elliptical cross section under different boundary conditions and interaction of the fields with an accelerator structural elements. The particle density in the bunch is assumed to be uniform as well as non-uniform. At distances far apart from the bunch, in free space the field reduces to the relativistic modified Coulomb form for a pointlike charge and at small distances the expressions reproduce the external fields of a continuous beam. In an ultra-relativistic limit the longitudinal components of the internal and external electric fields of the bunch are strongly suppressed by the Lorentz factor. If the bunch is surrounded by conducting surfaces, the bunch self-fields are modified. Image fields generated by a bunch between two parallel conducting plates are studied in detail. Exact summation of the electric, $E_y$, and magnetic, $B_x$, image field components allows the infinite series to be represented in terms of elementary trigonometric functions. The new expressions for modified fields are applied to study image forces acting on the bunch constituents and the bunch as a whole. The coherent and incoherent tune shifts for an arbitrary bunch displacement from the midplane are calculated in the framework of an improved linear theory, for both infinite and finite parallel flat surfaces. Moreover, the developed method allows us to generalize the Laslett image coefficients $\epsilon_1$, $\epsilon_2$, $\xi_1$, $\xi_2$ to the case of an arbitrary bunch offset and reveal relationships between these coefficients. Appendix C provides a brief historical background of the development of the method of electrical images.


title: Existence of incompressible and immiscible flows in critical function spaces on bounded domains

abstract: We study global existence and uniqueness of solutions to instationary inhomogeneous Navier-Stokes equations on bounded domains of $\R^n, n\geq 3$, with initial velocity in $B^0_{q,\infty}(\Om)$, $q\geq n$, and piecewise constant initial density. \par To this end, first, existence for momentum equations with prescribed density is obtained based on maximal $L^\infty_\ga$-regularity of the Stokes operator in little Nicolskii space $b^{s}_{q,\infty}(\Om)$, $s\in\R$, exploited in \cite{RiZh14} and existence for divergence problem in $b^{-s}_{q,\infty}(\Om)$, $s>0$. Then, we obtain an existence result for transport equations in the space of pointwise multipliers for $b^{-s}_{q,\infty}(\Om)$, $s>0$. Finally, the existence of the inhomogeneous Navier-Stokes equations is proved via an iterate scheme while the proof of uniqueness is done via a Lagrangian approach based on the prior results on momentum equations and transport equation.