title: Learning Fuzzy Set Representations of Partial Shapes on Dual Embedding Spaces

abstract: Modeling relations between components of 3D objects is essential for many geometry editing tasks. Existing techniques commonly rely on labeled components, which requires substantial annotation effort and limits components to a dictionary of predefined semantic parts. We propose a novel framework based on neural networks that analyzes an uncurated collection of 3D models from the same category and learns two important types of semantic relations among full and partial shapes: complementarity and interchangeability. The former helps to identify which two partial shapes make a complete plausible object, and the latter indicates that interchanging two partial shapes from different objects preserves the object plausibility. Our key idea is to jointly encode both relations by embedding partial shapes as fuzzy sets in dual embedding spaces. We model these two relations as fuzzy set operations performed across the dual embedding spaces, and within each space, respectively. We demonstrate the utility of our method for various retrieval tasks that are commonly needed in geometric modeling interfaces.


title: A Universe that does not know the time

abstract: In this paper we propose that cosmological time is a quantum observable that does not commute with other quantum operators essential for the definition of cosmological states, notably the cosmological constant. This is inspired by properties of a measure of time---the Chern-Simons time---and the fact that in some theories it appears as a conjugate to the cosmological constant, with the two promoted to non-commuting quantum operators. Thus, the Universe may be "delocalised" in time: it does not {\it know} the time, a property which opens up new cosmological scenarios, as well as invalidating several paradoxes, such as the timelike tower of turtles associated with an omnipresent time line. Alternatively, a Universe with a sharply defined clock time must have an indeterminate cosmological constant. The challenge then is to explain how islands of localized time may emerge, and give rise to localized histories. In some scenarios this is achieved by backward transitions in quantum time, cycling the Universe in something akin to a time machine cycle, with classical flow and quantum ebbing. The emergence on matter in a sea of Lambda probably provides the ballast behind classical behaviour.


title: Curiosity Driven Exploration of Learned Disentangled Goal Spaces

abstract: Intrinsically motivated goal exploration processes enable agents to autonomously sample goals to explore efficiently complex environments with high-dimensional continuous actions. They have been applied successfully to real world robots to discover repertoires of policies producing a wide diversity of effects. Often these algorithms relied on engineered goal spaces but it was recently shown that one can use deep representation learning algorithms to learn an adequate goal space in simple environments. However, in the case of more complex environments containing multiple objects or distractors, an efficient exploration requires that the structure of the goal space reflects the one of the environment. In this paper we show that using a disentangled goal space leads to better exploration performances than an entangled goal space. We further show that when the representation is disentangled, one can leverage it by sampling goals that maximize learning progress in a modular manner. Finally, we show that the measure of learning progress, used to drive curiosity-driven exploration, can be used simultaneously to discover abstract independently controllable features of the environment.


title: The SAMI Galaxy Survey: Spatially Resolved Metallicity and Ionization Mapping

abstract: We present gas-phase metallicity and ionization parameter maps of 25 star-forming face-on spiral galaxies from the SAMI Galaxy Survey Data Release 1. Self-consistent metallicity and ionization parameter maps are calculated simultaneously through an iterative process to account for the interdependence of the strong emission line diagnostics involving ([OII]+[OIII])/H$\beta$ (R23) and [OIII]/[OII] (O32). The maps are created on a spaxel-by-spaxel basis because HII regions are not resolved at the SAMI spatial resolution. We combine the SAMI data with stellar mass, star formation rate (SFR), effective radius (R$_e$), ellipticity, and position angles (PA) from the GAMA survey to analyze their relation to the metallicity and ionization parameter. We find a weak trend of steepening metallicity gradient with galaxy stellar mass, with values ranging from -0.03 to -0.20 dex/R$_e$. Only two galaxies show radial gradients in ionization parameter. We find that the ionization parameter has no significant correlation with either SFR, sSFR (specific star formation rate), or metallicity. For several individual galaxies we find structure in the ionization parameter maps suggestive of spiral arm features. We find a typical ionization parameter range of $7.0 < \log(q) < 7.8$ for our galaxy sample with no significant overall structure. An ionization parameter range of this magnitude is large enough to caution the use of metallicity diagnostics which have not considered the effects of a varying ionization parameter distribution.


title: Impurity-bound excitons in one and two dimensions

abstract: We study three-body Schr\"odinger operators in one and two dimensions modelling an exciton interacting with a charged impurity. We consider certain classes of multiplicative interaction potentials proposed in the physics literature. We show that if the impurity charge is larger than some critical value, then three-body bound states cannot exist. Our spectral results are confirmed by variational numerical computations based on projecting on a finite dimensional subspace generated by a Gaussian basis.


title: Adaptive Least-Squares Finite Element Methods for Linear Transport Equations Based on an H(div) Flux Reformulation

abstract: In this paper, we study the least-squares finite element methods (LSFEM) for the linear hyperbolic transport equations. The linear transport equation naturally allows discontinuous solutions and discontinuous inflow conditions, while the normal component of the flux across the mesh faces needs to be continuous. Traditional LSFEMs using continuous finite element approximations will introduce unnecessary extra error for discontinuous solutions and boundary conditions. In order to separate the continuity requirements, a new flux variable is introduced. With this reformulation, the continuities of the flux and the solution can be handled separately in natural $H(\mbox{div};\Omega)\times L^2(\Omega)$ conforming finite element spaces. Several variants of the methods are developed to handle the inflow boundary condition strongly or weakly. With the reformulation, the new LSFEMs can handle discontinuous solutions and boundary conditions much better than the traditional LSFEMs with continuous polynomial approximations. With least-squares functionals as a posteriori error estimators, the adaptive methods can naturally identify error sources including singularity and non-matching discontinuity. For discontinuity aligned mesh, no extra error is introduced. If an $RT_0 \times P_0$ pair is used to approximate the flux and the solution, the new adaptive LSFEMs can approximate discontinuous solutions with almost no overshooting even when the mesh is not aligned with discontinuity. Existence and uniqueness of the solutions and a priori and a posteriori error estimates are established for the proposed methods. Extensive numerical tests are performed to show the effectiveness of the methods developed in the paper.


title: Edge currents driven by terahertz radiation in graphene in quantum Hall regime

abstract: We observe that the illumination of unbiased graphene in the quantum Hall regime with polarized terahertz laser radiation results in a direct edge current. This photocurrent is caused by an imbalance of persistent edge currents, which are driven out of thermal equilibrium by indirect transitions within the chiral edge channel. The direction of the edge photocurrent is determined by the polarity of the external magnetic field, while its magnitude depends on the radiation polarization. The microscopic theory developed in this paper describes well the experimental data.


title: $\psi$-Epistemic Models and Bell Theorem

abstract: We consider a question in what condition a mixed state which can be decomposed in different ways cannot be described by a single set of hidden variables. The condition is closely related with Bell theorem.


title: Distributed super point cardinality estimation under sliding time window for high speed network

abstract: Super point is a special kind of host whose cardinality, the number of contacting hosts in a certain period, is bigger than a threshold. Super point cardinality estimation plays important roles in network field. This paper proposes a super point cardinality estimation algorithm under sliding time window. To maintain the state of previous hosts with few updating operations, a novel counter, asynchronous time stamp (AT), is proposed. For a sliding time window containing k time slices, AT only needs to be updated every k time slices at the cost of 1 more bit than a previous state-of-art counter which requires $log_2(k+1)$ bits but updates every time slice. Fewer updating operations mean that more AT could be contained to acquire higher accuracy in real-time. This paper also devises a novel reversible hash function scheme to restore super point from a pool of AT. Experiments on several real-world network traffic illustrate that the algorithm proposed in this paper could detect super points and estimate their cardinalities under sliding time window in real time.


title: Linear stability analysis of a rotating thin-shell wormhole

abstract: We cut and paste two Banados-Teitelboim-Zanelli (BTZ) spacetimes at a throat by the Darmois-Israel method to construct a rotating wormhole with a thin shell filled with a barotropic fluid. The thin shell at the throat and both sides of the throat corotate. We investigate the linear stability of the thin shell of the rotating wormhole against radial perturbations. We show that the wormhole becomes more and more stable the larger its angular momentum is until the angular momentum reaches a critical value and that the behavior of a condition for stability significantly changes when the angular momentum exceeds the critical value. We find that the overcritical rotating wormhole has the radius of the thin shell, which is stable regardless of the equation of state for the barotropic fluid.


title: Analysis of fractional integro-differential equations of thermistor type

abstract: We survey methods and results of fractional differential equations in which an unknown function is under the operation of integration and/or differentiation of fractional order. As an illustrative example, we review results on fractional integral and differential equations of thermistor type. Several nonlocal problems are considered: with Riemann-Liouville, Caputo, and time-scale fractional operators. Existence and uniqueness of positive solutions are obtained through suitable fixed-point theorems in proper Banach spaces. Additionally, existence and continuation theorems are given, ensuring global existence.


title: A median approach to differentiation bases

abstract: We study a version of the Lebesgue differentiation theorem in which the integral averages are replaced with medians over Busemann--Feller differentiation bases. Our main result gives several characterizations for the differentiation property in terms of the corresponding median maximal function. As an application, we study pointwise behaviour in Besov and Triebel--Lizorkin spaces, where functions are not necessarily locally integrable. Most of our results apply also for functions defined on metric measure spaces.


title: The First Stars May Shed Light on Dark Matter

abstract: Recent observations of hydrogen absorption that occurred when the first stars turned on may give insights into the nature of dark matter.


title: An Integration of Bottom-up and Top-Down Salient Cues on RGB-D Data: Saliency from Objectness vs. Non-Objectness

abstract: Bottom-up and top-down visual cues are two types of information that helps the visual saliency models. These salient cues can be from spatial distributions of the features (space-based saliency) or contextual / task-dependent features (object based saliency). Saliency models generally incorporate salient cues either in bottom-up or top-down norm separately. In this work, we combine bottom-up and top-down cues from both space and object based salient features on RGB-D data. In addition, we also investigated the ability of various pre-trained convolutional neural networks for extracting top-down saliency on color images based on the object dependent feature activation. We demonstrate that combining salient features from color and dept through bottom-up and top-down methods gives significant improvement on the salient object detection with space based and object based salient cues. RGB-D saliency integration framework yields promising results compared with the several state-of-the-art-models.


title: Distributed Estimation Via a Roaming Token

abstract: We present an algorithm for the problem of linear distributed estimation of a parameter in a network where a set of agents are successively taking measurements. The approach considers a roaming token in a network that carries the estimate, and jumps from one agent to another in its vicinity according to the probabilities of a Markov chain. When the token is at an agent it records the agent's local information. We analyze the proposed algorithm and show that it is consistent and asymptotically optimal, in the sense that its mean-square-error (MSE) rate of decay approaches the centralized one as the number of iterations increases. We show these results for a scenario where the network changes over time, and we consider two different set of assumptions on the network instantiations: they are i.i.d. and connected on the average, or they are deterministic and strongly connected for every finite time window of a fixed size. Simulations show our algorithm is competitive with consensus+innovations type algorithms, achieving a smaller MSE at each iteration in all considered scenarios.


title: Lefschetz exceptional collections in $S_k$-equivariant categories of $(\mathbb{P}^n)^k$

abstract: We consider the bounded derived category of $S_k$-equivariant coherent sheaves on $(\mathbb{P}^n)^k$. The goal of this paper is to construct in this category a rectangular Lefschetz exceptional collection when this is possible, or a minimal Lefschetz exceptional collection when a rectangular one does not exist. The main results of the paper include the construction of a rectangular Lefschetz exceptional collection in the case $k=3$ and in the case $n=1$ when $\mathrm{gcd}(n+1,k)=1$. We also construct minimal Lefschetz exceptional collection for $n=1$ and even $k$, and for $n=2$ and $k=3$.


title: Weak coherent pulses for single-photon quantum memories

abstract: Attenuated laser pulses are often employed in place for single photons in order to test the efficiency of the elements of a quantum network. In this work we analyse theoretically the dynamics of storage of an attenuated light pulse (where the pulse intensity is at the single photon level) propagating along a transmission line and impinging on the mirror of a high finesse cavity. Storage is realised by the controlled transfer of the photonic excitations into a metastable state of an atom confined inside the cavity and occurs via a Raman transition with a suitably tailored laser pulse, which drives the atom and minimizes reflection at the cavity mirror. We determine the storage efficiency of the weak coherent pulse which is reached by protocols optimized for single-photon storage. We determine the figures of merit and we identify the conditions on an arbitrary pulse for which the storage dynamics approaches the one of a single photon. Our formalism can be extended to arbitrary types of input pulses and to quantum memories composed by spin ensembles, and serves as a basis for identifying the optimal protocols for storage and readout.


title: Quantum Langlands duality of representations of W-algebras

abstract: We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results.


title: Nature of nematic to twist bend nematic phase transition

abstract: The critical behavior at the transition from uniform nematic to twist-bend modulated nematic phase is revealed and shown to be well explained by the mean field approximation. The study was performed on a group of materials that exhibit an unusually broad temperature range of the nematic phase above the twist-bend modulated nematic phase, so the critical range in which the order parameter fluctuations are strong and can be experimentally observed is wide. The formation of instantaneous helices is observed already several degrees above the transition temperature, strongly influencing the birefringence of the system. The analysis of a critical part of the birefringence changes provides a set of critical exponents that are consistent with the mean field approximation, indicating a large correlation length of helical fluctuations in the nematic phase.


title: Revealing cracks inside conductive bodies by electric surface measurements

abstract: An algorithm is introduced for using electrical surface measurements to detect and monitor cracks inside a two-dimensional conductive body. The technique is based on transforming the probing functions of the classical enclosure method by the Kelvin transform. The transform makes it possible to use virtual discs for probing the interior of the body using electric measurements performed on a flat surface. Theoretical results are presented to enable probing of the full domain to create a profile indicating cracks in the domain. Feasibility of the method is demonstrated with a simulated model of attaching metal sheets together by resistance spot welding.


title: Dirac's Method for the Two-Dimensional Damped Harmonic Oscillator in the Extended Phase Space

abstract: The system of two-dimensional damped harmonic oscillator is revisited in the extended phase space. It is an old problem already addressed by many authors that we present here in some fresh points of view and carry on smoothly a whole discussion. We show that the system is singular. The classical Hamiltonian is proportional to the first-class constraint. We pursue with the Dirac's canonical quantization procedure by fixing the gauge and provide a reduced phase space description of the system. As result the quantum system is simply modeled by the original quantum Hamiltonian.


title: Magnitude meets persistence. Homology theories for filtered simplicial sets

abstract: The Euler characteristic is an invariant of a topological space that in a precise sense captures its canonical notion of size, akin to the cardinality of a set. The Euler characteristic is closely related to the homology of a space, as it can be expressed as the alternating sum of its Betti numbers, whenever the sum is well-defined. Thus, one says that homology categorifies the Euler characteristic. In his work on the generalisation of cardinality-like invariants, Leinster introduced the magnitude of a metric space, a real number that counts the "effective number of points" of the space and has been shown to encode many invariants of metric spaces from integral geometry and geometric measure theory. In 2015, Hepworth and Willerton introduced a homology theory for metric graphs, called magnitude homology, which categorifies the magnitude of a finite metric graph. This work was subsequently generalised to enriched categories by Leinster and Shulman, and the homology theory that they introduced categorifies magnitude for arbitrary finite metric spaces. When studying a metric space, one is often only interested in the metric space up to a rescaling of the distance of the points by a non-negative real number. The magnitude function describes how the effective number of points changes as one scales the distance, and is completely encoded by magnitude homology. When studying a finite metric space in topological data analysis using persistent homology, one approximates the space through a nested sequence of simplicial complexes so as to recover topological information about the space by studying the homology of this sequence. Here we relate magnitude homology and persistent homology as two different ways of computing homology of filtered simplicial sets.


title: Tensor Decomposition for EEG Signal Retrieval

abstract: Prior studies have proposed methods to recover multi-channel electroencephalography (EEG) signal ensembles from their partially sampled entries. These methods depend on spatial scenarios, yet few approaches aiming to a temporal reconstruction with lower loss. The goal of this study is to retrieve the temporal EEG signals independently which was overlooked in data pre-processing. We considered EEG signals are impinging on tensor-based approach, named nonlinear Canonical Polyadic Decomposition (CPD). In this study, we collected EEG signals during a resting-state task. Then, we defined that the source signals are original EEG signals and the generated tensor is perturbed by Gaussian noise with a signal-to-noise ratio of 0 dB. The sources are separated using a basic non-negative CPD and the relative errors on the estimates of the factor matrices. Comparing the similarities between the source signals and their recovered versions, the results showed significantly high correlation over 95%. Our findings reveal the possibility of recoverable temporal signals in EEG applications.


title: A CEMP-no star in the ultra-faint dwarf galaxy Pisces II

abstract: A probable carbon enhanced metal-poor (CEMP) star, Pisces II 10694, was discovered recently in the ultra-faint (UFD) galaxy Pisces II. This galaxy is supposed to be very old, suspected to include dark matter, and likely formed the bulk of its stars before the reionisation of the Universe. New abundances have been obtained from observations of Pisces II 10694 at the Kueyen ESO VLT telescope, using the high-efficiency spectrograph: X-Shooter. We found that Pisces II 10694 is a CEMP-no star with [Fe/H]=-2.60 dex. Careful measurements of the CH and C2 bands confirm the enhancement of the C abundance ([C/Fe]=+1.23). This cool giant has very probably undergone extra mixing and thus its original C abundance could be even higher. Nitrogen, O, Na, and Mg are also strongly enhanced, but from Ca to Ni the ratios [X/Fe] are similar to those observed in classical galactic very metal-poor stars. With its low Ba abundance ([Ba/Fe] =-1.10 dex) Pisces II 10694 is a CEMP-no star. No variation in the radial velocity could be detected between the years 2015 and 2017. The pattern of the elements abundance has a shape similar to the pattern found in galactic CEMP-no stars like CS 22949-037 ([Fe/H]=-4.0) or SDSS J1349+1407 ([Fe/H]=-3.6). The existence of a CEMP-no star in the UFD galaxy Pisc II suggests that this small galaxy likely hosted zero-metallicity stars. This is consistent with theoretical predictions of cosmological models supporting the idea that UFD galaxies are the living fossils of the first star-forming systems.


title: Predictability of the solar cycle over one cycle

abstract: The prediction of the strength of future solar cycles is of interest because of its practical significance for space weather and as a test of our theoretical understanding of the solar cycle. The Babcock-Leighton mechanism allows predictions by assimilating the observed magnetic field on the surface. But the emergence of sunspot groups has the random properties, which make it impossible to accurately predict the solar cycle and also strongly limit the scope of cycle predictions. Hence we develop the scheme to investigate the predictability of the solar cycle over one cycle. When a cycle has been ongoing for more than 3 years, the sunspot group emergence can be predicted along with its uncertainty during the rest time of the cycle. The method for doing this is to start by generating a set of random realizations which obey the statistical relations of the sunspot emergence. We then use a surface flux transport model to calculate the possible axial dipole moment evolutions. The correlation between the axial dipole moment at cycle minimum and the subsequent cycle strength and other empirical properties of solar cycles are used to predict the possible profiles of the subsequent cycle. We apply this scheme to predict the large-scale field evolution from 2018 to the end of cycle 25, whose maximum strength is expected to lie in the range from 93 to 155 with a probability of 95\%.


title: TextSnake: A Flexible Representation for Detecting Text of Arbitrary Shapes

abstract: Driven by deep neural networks and large scale datasets, scene text detection methods have progressed substantially over the past years, continuously refreshing the performance records on various standard benchmarks. However, limited by the representations (axis-aligned rectangles, rotated rectangles or quadrangles) adopted to describe text, existing methods may fall short when dealing with much more free-form text instances, such as curved text, which are actually very common in real-world scenarios. To tackle this problem, we propose a more flexible representation for scene text, termed as TextSnake, which is able to effectively represent text instances in horizontal, oriented and curved forms. In TextSnake, a text instance is described as a sequence of ordered, overlapping disks centered at symmetric axes, each of which is associated with potentially variable radius and orientation. Such geometry attributes are estimated via a Fully Convolutional Network (FCN) model. In experiments, the text detector based on TextSnake achieves state-of-the-art or comparable performance on Total-Text and SCUT-CTW1500, the two newly published benchmarks with special emphasis on curved text in natural images, as well as the widely-used datasets ICDAR 2015 and MSRA-TD500. Specifically, TextSnake outperforms the baseline on Total-Text by more than 40% in F-measure.


title: Wideband Time-Domain Digital Backpropagation via Subband Processing and Deep Learning

abstract: We propose a low-complexity sub-banded DSP architecture for digital backpropagation where the walk-off effect is compensated using simple delay elements. For a simulated 96-Gbaud signal and 2500 km optical link, our method achieves a 2.8 dB SNR improvement over linear equalization.


title: Quantum correlations and the neutrino mass degeneracy problem

abstract: Many facets of nonclassicality are probed in neutrino system in the context of three flavour neutrino oscillations. The analysis is carried out for parameters relevant to two ongoing experiments NO$\nu$A and T2K, and also for the upcoming experiment DUNE. The various quantum correlations turn out to be sensitive to the mass-hierarchy problem in neutrinos. This sensitivity is found to be more prominent in DUNE experiment as compared to NO$\nu$A and T2K experiments. This can be attributed to the large baseline and high energy of the DUNE experiment. Further, we find that to probe these correlations, the neutrino (antineutrino) beam should be preferred if the sign of mass square difference $\Delta_{31}$ turns out to be positive (negative).


title: Effect of baffles on pressurization and thermal stratification in a LN2 tank under micro-gravity

abstract: Researches on the impact of existing baffles on sloshing suppression of two-phase fluids in storage tanks have been widely conducted in literature. However, few studies focus on the effect of the baffles on self-pressurization or thermal stratification of the fluids in containers. This paper uses Volume of Fluid (VOF) method to simulate the thermodynamic and fluid dynamic behavior of liquid nitrogen in a tank with different baffle structures under microgravity environment. Groups of gravity levels, fill levels and distances, angles and gaps of baffles, are compared and analyzed. Up to 54\% difference in pressurization can be observed by optimizing the baffle structure and metrics, which is significant to achieve the highest performance of storage fluid control in the tank.


title: Generalized forms of an overconstrained sliding mechanism consisting of two congruent tetrahedra

abstract: We investigate the motions of a bar structure consisting of two congruent tetrahedra, whose edges in their basic position form the face diagonals of a rectangular parallelepiped. The constraint of the motion is that the originally intersecting edges should remain coplanar. We determine all finite motions of our bar structure. This generalizes our earlier work, where we did the same for the case when the rectangular parallelepiped was a cube. At the end of the paper we point out three further possibilities to generalize the question about the cube, and give for them examples of finite motions.


title: Homogeneous Subspaces of Products of Extremally Disconnected Spaces

abstract: Homogeneous countably compact spaces $X$ and $Y$ whose product $X\times Y$ is not pseudocompact are constructed. It is proved that all compact subsets of homogeneous subspaces of the third power of an extremally disconnected space are finite. Moreover, under CH, all compact subsets of homogeneous subspaces of any finite power of an extremally disconnected space are finite and all compact subsets of homogeneous subspaces of the countable power of an extremally disconnected space are metrizable. It is also proved that all compact homogeneous subspaces of finite powers of an extremally disconnected space are finite, which strengthens Frol\'{\i}k's theorem.


title: Navier-Stokes and stochastic Navier-Stokes equations via Lagrange multipliers

abstract: We show that the Navier-Stokes as well as a random perturbation of this equation can be derived from a stochastic variational principle where the pressure is introduced as a Lagrange multiplier. Moreover we describe how to obtain corresponding constants of the motion.


title: Spectral gaps, missing faces and minimal degrees

abstract: Let $X$ be a simplicial complex with $n$ vertices. A missing face of $X$ is a simplex $\sigma\notin X$ such that $\tau\in X$ for any $\tau\subsetneq \sigma$. For a $k$-dimensional simplex $\sigma$ in $X$, its degree in $X$ is the number of $(k+1)$-dimensional simplices in $X$ containing it. Let $\delta_k$ denote the minimal degree of a $k$-dimensional simplex in $X$. Let $L_k$ denote the $k$-Laplacian acting on real $k$-cochains of $X$ and let $\mu_k(X)$ denote its minimal eigenvalue. We prove the following lower bound on the spectral gaps $\mu_k(X)$, for complexes $X$ without missing faces of dimension larger than $d$: \[ \mu_k(X)\geq (d+1)(\delta_k+k+1)-d n. \] As a consequence we obtain a new proof of a vanishing result for the homology of simplicial complexes without large missing faces. We present a family of examples achieving equality at all dimensions, showing that the bound is tight. For $d=1$ we characterize the equality case.


title: On the structure of the set of algebraic elements in a Banach algebra and their liftings

abstract: We generalize earlier results about connected components of idempotents in Banach algebras, due to B. Sz\H{o}kefalvi Nagy, Y. Kato, S. Maeda, Z. V. Kovarik, J. Zem\'anek, J. Esterle. Let $A$ be a unital complex Banach algebra, and $p(\lambda) = \prod\limits_{i = 1}^n (\lambda - \lambda_i)$ a polynomial over $\Bbb C$, with all roots distinct. Let $E_p(A) := \{a \in A \mid p(a) = 0\}$. Then all connected components of $E_p(A)$ are pathwise connected (locally pathwise connected) via each of the following three types of paths: 1)~similarity via a finite product of exponential functions (via an exponential function); 2)~a polynomial path (a cubic polynomial path); 3)~a polygonal path (a polygonal path consisting of $n$ segments). If $A$ is a $C^*$-algebra, $\lambda_i \in \Bbb R$, let $S_p(A):= \{a\in A \mid a = a^*$, $p(a) = 0\}$. Then all connected components of $S_p(A)$ are pathwise connected (locally pathwise connected), via a path of the form $e^{-ic_mt}\dots e^{-ic_1t} ae^{ic_1t}\dots e^{ic_mt}$, where $c_i = c_i^*$, and $t \in [0, 1]$ (of the form $e^{-ict} ae^{ict}$, where $c = c^*$, and $t \in [0,1]$). For (self-adjoint) idempotents we have by these old papers that the distance of different connected components of them is at least~$1$. For $E_p(A)$, $S_p(A)$ we pose the problem if the distance of different connected components is at least $\min \bigl\{|\lambda_i - \lambda_j| \mid 1 \leq i,j \leq n, \ i \neq j\bigr\}$. For the case of $S_p(A)$, we give a positive lower bound for these distances, that depends on $\lambda_1, \dots, \lambda_n$. We show that several local and global lifting theorems for analytic families of idempotents, along analytic families of surjective Banach algebra homomorphisms, from our recent paper with B. Aupetit and M. Mbekhta, have analogues for elements of $E_p(A)$ and $S_p(A)$.


title: Multiwall nanotubes of molybdenum disulfide as optical resonators

abstract: We study the optical properties of MoS$_2$ nanotubes (NTs) with walls comprising dozens of monolayers. We reveal strong peaks in micro-photoluminescence ($\mu$-PL) spectra when detecting the light polarized along the NT axis. We develop a model describing the optical properties of the nanotubes acting as optical resonators which support the quantization of whispering gallery modes inside the NT wall. The experimental observation of the resonances in $\mu$-PL allows one to use them as a contactless method of the estimation of the wall width. Our findings open a way to use such NTs as polarization-sensitive components of nanophotonic devices.


title: Sequence-to-Sequence Data Augmentation for Dialogue Language Understanding

abstract: In this paper, we study the problem of data augmentation for language understanding in task-oriented dialogue system. In contrast to previous work which augments an utterance without considering its relation with other utterances, we propose a sequence-to-sequence generation based data augmentation framework that leverages one utterance's same semantic alternatives in the training data. A novel diversity rank is incorporated into the utterance representation to make the model produce diverse utterances and these diversely augmented utterances help to improve the language understanding module. Experimental results on the Airline Travel Information System dataset and a newly created semantic frame annotation on Stanford Multi-turn, Multidomain Dialogue Dataset show that our framework achieves significant improvements of 6.38 and 10.04 F-scores respectively when only a training set of hundreds utterances is represented. Case studies also confirm that our method generates diverse utterances.


title: The recurrent nova RS Oph - simultaneous B and V band observations of the flickering variability

abstract: We performed 48.6 hours (in 28 nights) of simultaneous B and V band observations of the flickering variability of the recurrent nova RS Oph in quiescence. During the time of our observations the brightness of the system varied between 13.2 > B > 11.1 and the colour in the range 0.86 < B-V < 1.33 . We find that RS~Oph becomes more blue, as it becomes brighter, however the hot component becomes more red as it becomes brighter (assuming that the red giant is non-variable). During all the runs RS Oph exhibits flickering with amplitude 0.16 - 0.59 mag in B band. For the flickering source we find that it has colour -0.14 < B-V < 0.40, temperature in the range 7200 < T_fl < 18900, and average radius 1.1 < R_fl < 6.7 R_sun. We do not find a correlation between the temperature of the flickering and the brightness. However, we do find a strong correlation (correlation coefficient 0.81, significance 1.1x10^{-7} ) between B band magnitude and the average radius of the flickering source - as the brightness of the system increases the size of the flickering source also increases. The estimated temperature is similar to that of the bright spot of cataclysmic variables. The persistent presence of flickering indicates that the white dwarf is actively accreting material for the next outburst.


title: Maximizing Secrecy Rate of an OFDM-based Multi-hop Underwater Acoustic Sensor Network

abstract: In this paper, we consider an eavesdropping attack on a multi-hop, UnderWater Acoustic Sensor Network (UWASN) that consists of $M+1$ underwater sensors which report their sensed data via Orthogonal Frequency Division Multiplexing (OFDM) scheme to a sink node on the water surface. Furthermore, due to the presence of a passive malicious node in nearby vicinity, the multi-hop UnderWater Acoustic (UWA) channel between a sensor node and the sink node is prone to eavesdropping attack on each hop. Therefore, the problem at hand is to do (helper/relay) node selection (for data forwarding onto the next hop) as well as power allocation (across the OFDM sub-carriers) in a way that the secrecy rate is maximized at each hop. To this end, this problem of Node Selection and Power Allocation (NSPA) is formulated as a mixed binary-integer optimization program, which is then optimally solved via decomposition approach, and by exploiting duality theory along with the Karush-Kuhn-Tucker conditions. We also provide a computationally-efficient, sub-optimal solution to the NSPA problem, where we reformulate it as a mixed-integer linear program and solve it via decomposition and geometric approach. Moreover, when the UWA channel is multipath (and not just line-of-sight), we investigate an additional, machine learning-based approach to solve the NSPA problem. Finally, we compute the computational complexity of all the three proposed schemes (optimal, sub-optimal, and learning-based), and do extensive simulations to compare their performance against each other and against the baseline schemes (which allocate equal power to all the sub-carriers and do depth-based node selection). In a nutshell, this work proposes various (optimal and sub-optimal) methods for providing information-theoretic security at the physical layer of the protocol stack through resource allocation.


title: Quantum mechanical response to a driven Caldeira-Leggett bath

abstract: We determine the frequency-dependent response characteristics of a quantum system to a driven Caldeira-Leggett bath. The bath degrees of freedom are explicitly driven by an external time-dependent force, in addition to the direct time-dependent forcing of the system itself. After general considerations of driven Caldeira-Leggett baths, we consider the Rubin model of a chain of quantum particles coupled by linear springs as an important model of a quantum dissipative system. We show that in the presence of time-dependent driving of the chain, this model can be mapped to a quantum system which couples to a driven Caldeira-Leggett bath. The effect of the bath driving is captured by a time-dependent force on the central system, which is, in principle, non-Markovian in nature. We study two specific examples, the exactly solvable case of a harmonic potential, and a quantum two-state system for which we assume a weak system-bath coupling. We evaluate the dynamical response to a periodic driving of the system and the bath. The dynamic susceptibility is shown to be altered qualitatively by the bath drive: The dispersive part is enhanced at low frequencies and acquires a maximum at zero frequency. The absorptive part develops a shoulder-like behavior in this frequency regime. These features seem to be generic for quantum systems in a driven Caldeira-Leggett bath.


title: In search of higher Bochner theorem

abstract: We initiate the study of a natural generalisation of the classical Bochner-Krall problem asking which linear ordinary differential operators possess sequences of eigenpolynomials satisfying linear recurrence relations of finite length; the classical case corresponds to the 3-term recurrence relations with real coefficients subject to some extra restrictions. We formulate a general conjecture and prove it in the first non-trivial case of operators of order 3.


title: Random band matrices in the delocalized phase, I: Quantum unique ergodicity and universality

abstract: Consider $N\times N$ symmetric one-dimensional random band matrices with general distribution of the entries and band width $W \geq N^{3/4+\varepsilon}$ for any $\varepsilon>0$. In the bulk of the spectrum and in the large $N$ limit, we obtain the following results. (i) The semicircle law holds up to the scale $N^{-1+\varepsilon}$ for any $\varepsilon>0$. (ii) The eigenvalues locally converge to the point process given by the Gaussian orthogonal ensemble at any fixed energy. (iii) All eigenvectors are delocalized, meaning their ${\rm L}^\infty$ norms are all simultaneously bounded by $N^{-\frac{1}{2}+\varepsilon}$ (after normalization in ${\rm L}^2$) with overwhelming probability, for any $\varepsilon>0$. (iv )Quantum unique ergodicity holds, in the sense that the local ${\rm L}^2$ mass of eigenvectors becomes equidistributed with overwhelming probability. We extend the mean-field reduction method \cite{BouErdYauYin2017}, which required $W=\Omega(N)$, to the current setting $W \ge N^{3/4+\varepsilon}$. Two new ideas are: (1) A new estimate on the "generalized resolvent" of band matrices when $W \geq N^{3/4+\varepsilon}$. Its proof, along with an improved fluctuation average estimate, will be presented in parts 2 and 3 of this series \cite {BouYanYauYin2018,YanYin2018}. (2) A strong (high probability) version of the quantum unique ergodicity property of random matrices. For its proof, we construct perfect matching observables of eigenvector overlaps and show they satisfying the eigenvector moment flow equation \cite{BouYau2017} under the matrix Brownian motions.


title: Differential equations for loop integrals without squared propagators

abstract: We provide a sufficient condition for avoiding squared propagators in the intermediate stages of setting up differential equations for loop integrals. This condition is satisfied in a large class of two- and three-loop diagrams. For these diagrams, the differential equations can thus be computed using "unitarity-compatible" integration-by-parts reductions, which simplify the reduction problem by avoiding integrals with higher-power propagators.


title: Generating subgroups of ray class groups with small prime ideals

abstract: Explicit bounds are given on the norms of prime ideals generating arbitrary subgroups of ray class groups of number fields, assuming the Extended Riemann Hypothesis. These are the first explicit bounds for this problem, and are significantly better than previously known asymptotic bounds. Applied to the integers, they express that any subgroup of index $i$ of the multiplicative group of integers modulo $m$ is generated by prime numbers smaller than $16(i\log m)^2$, subject to the Riemann Hypothesis. Two particular consequences relate to mathematical cryptology. Applied to cyclotomic fields, they provide explicit bounds on generators of the relative class group, needed in some previous work on the shortest vector problem on ideal lattices. Applied to Jacobians of hyperelliptic curves, they allow one to derive bounds on the degrees of isogenies required to make their horizontal isogeny graphs connected. Such isogeny graphs are used to study the discrete logarithm problem on said Jacobians.


title: Random band matrices in the delocalized phase, II: Generalized resolvent estimates

abstract: This is the second part of a three part series abut delocalization for band matrices. In this paper, we consider a general class of $N\times N$ random band matrices $H=(H_{ij})$ whose entries are centered random variables, independent up to a symmetry constraint. We assume that the variances $\mathbb E |H_{ij}|^2$ form a band matrix with typical band width $1\ll W\ll N$. We consider the generalized resolvent of $H$ defined as $G(Z):=(H - Z)^{-1}$, where $Z$ is a deterministic diagonal matrix such that $Z_{ij}=\left(z 1_{1\leq i \leq W}+\widetilde z 1_{ i > W} \right) \delta_{ij}$, with two distinct spectral parameters $z\in \mathbb C_+:=\{z\in \mathbb C:{\rm Im} z>0\}$ and $\widetilde z\in \mathbb C_+\cup \mathbb R$. In this paper, we prove a sharp bound for the local law of the generalized resolvent $G$ for $W\gg N^{3/4}$. This bound is a key input for the proof of delocalization and bulk universality of random band matrices in \cite{PartI}. Our proof depends on a fluctuations averaging bound on certain averages of polynomials in the resolvent entries, which will be proved in \cite{PartIII}.


title: Scaling of submicrometric Turing patterns in concentrated growing systems

abstract: The wavelength of a periodic spatial structure of Turing type is an intrinsic property of the considered reaction-diffusion dynamics and we address the question of its control at the microscopic scale for given dynamical parameters. The direct simulation Monte Carlo method, initially introduced to simulate particle dynamics in rarefied gases, is adapted to the simulation of concentrated solutions. We perform simulations of a submicrometric Turing pattern with appropriate boundary conditions and show that taking into account the role of the solvent in the chemical mechanism allows us to control the wavelength of the structure. Typically, doubling the concentration of the solution leads to decreasing the wavelength by two. The results could be used to design materials with controled submicrometric properties in chemical engineering. They could also be considered as a possible interpretation of proportion preservation of embryos in morphogenesis.


title: On the zero set of the partial theta function

abstract: We consider the partial theta function $\theta (q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$, where $q\in (-1,0)\cup (0,1)$ and either $x\in \mathbb{R}$ or $x\in \mathbb{C}$. We prove that for $x\in \mathbb{R}$, in each of the two cases $q\in (-1,0)$ and $q\in (0,1)$, its zero set consists of countably-many smooth curves in the $(q,x)$-plane each of which (with the exception of one curve for $q\in (-1,0)$) has a single point with a tangent line parallel to the $x$-axis. These points define double zeros of the function $\theta (q,.)$; their $x$-coordinates belong to the interval $[-38.83\ldots ,-e^{1.4}=4.05\ldots )$ for $q\in (0,1)$ and to the interval $(-13.29,23.65)$ for $q\in (-1,0)$. For $q\in (0,1)$, infinitely-many of the complex conjugate pairs of zeros to which the double zeros give rise cross the imaginary axis and then remain in the half-disk $\{ |x|<18$, Re\,$x>0\}$. For $q\in (-1,0)$, complex conjugate pairs do not cross the imaginary axis.


title: Trace of the energy-momentum tensor and macroscopic properties of neutron stars

abstract: A generic feature of scalar extensions of general relativity is the coupling of the scalar degrees of freedom to the trace $T$ of the energy-momentum tensor of matter fields. Interesting phenomenology arises when the trace becomes positive---when pressure exceeds one third of the energy density---a condition that may be satisfied in the core of neutron stars. In this work, we study how the positiveness of the trace of the energy-momentum tensor correlates with macroscopic properties of neutron stars. We first show that the compactness for which $T=0$ at the stellar center is approximately equation-of-state independent, and given by $C = 0.262_{-0.017}^{+0.011}$ (90% confidence interval). Next, we exploit Bayesian inference to derive a probability distribution function for the value of $T$ at the stellar center given a putative measurement of the compactness of a neutron star. This investigation is a necessary step in order to use present and future observations of neutron star properties to constrain scalar-tensor theories based on effects that depend on the sign of $T$.


title: Analyzing Big Datasets of Genomic Sequences: Fast and Scalable Collection of k-mer Statistics

abstract: Distributed approaches based on the map-reduce programming paradigm have started to be proposed in the bioinformatics domain, due to the large amount of data produced by the next-generation sequencing techniques. However, the use of map-reduce and related Big Data technologies and frameworks (e.g., Apache Hadoop and Spark) does not necessarily produce satisfactory results, in terms of both efficiency and effectiveness. We discuss how the development of distributed and Big Data management technologies has affected the analysis of large datasets of biological sequences. Moreover, we show how the choice of different parameter configurations and the careful engineering of the software with respect to the specific framework under consideration may be crucial in order to achieve good performance, especially on very large amounts of data. We choose k-mers counting as a case study for our analysis, and Spark as the framework to implement FastKmer, a novel approach for the extraction of k-mer statistics from large collection of biological sequences, with arbitrary values of k. One of the most relevant contributions of FastKmer is the introduction of a module for balancing the statistics aggregation workload over the nodes of a computing cluster, in order to overcome data skew while allowing for a fully exploitation of the underly- ing distributed architecture. We also present the results of a comparative experimental analysis showing that our approach is currently the fastest among the ones based on Big Data technologies, while exhibiting a very good scalability. We provide evidence that the usage of technologies such as Hadoop or Spark for the analysis of big datasets of biological sequences is productive only if the architectural details and the peculiar aspects of the considered framework are carefully taken into account for the algorithm design and implementation.


title: Higher-order QCD corrections to hadronic $\tau$ decays from Pad\'e approximants

abstract: Perturbative QCD corrections to hadronic $\tau$ decays and $e^+e^-$ annihilation into hadrons below charm are obtained from the Adler function, which at present is known in the chiral limit to five-loop accuracy. Extractions of the strong coupling, $\alpha_s$, from these processes suffer from an ambiguity related to the treatment of unknown higher orders in the perturbative series. In this work, we exploit the method of Pad\'e approximants and its convergence theorems to extract information about higher-order corrections to the Adler function in a systematic way. First, the method is tested in the large-$\beta_0$ limit of QCD, where the perturbative series is known to all orders. We devise strategies to accelerate the convergence of the method employing renormalization scheme variations and the so-called D-log Pad\'e approximants. The success of these strategies can be understood in terms of the analytic structure of the series in the Borel plane. We then apply the method to full QCD and obtain reliable model-independent predictions for the higher-order coefficients of the Adler function. For the six-, seven-, and eight-loop coefficients we find $c_{5,1} = 277\pm 51$, $c_{6,1}=3460\pm 690$, and $c_{7,1}=(2.02\pm0.72)\times 10^4$, respectively, with errors to be understood as lower and upper bounds. Our model-independent reconstruction of the perturbative QCD corrections to the $\tau$ hadronic width strongly favours the use of fixed-order perturbation theory (FOPT) for the renormalization-scale setting.


title: Nonlocality in Bell's theorem, in Bohm's theory, and in Many Interacting Worlds theorising

abstract: 'Locality' is a fraught word, even within the restricted context of Bell's theorem. As one of us has argued elsewhere, that is partly because Bell himself used the word with different meanings at different stages in his career. The original, weaker, meaning for locality was in his 1964 theorem: that the choice of setting by one party could never affect the outcome of a measurement performed by a distant second party. The epitome of a quantum theory violating this weak notion of locality (and hence exhibiting a strong form of nonlocality) is Bohmian mechanics. Recently, a new approach to quantum mechanics, inspired by Bohmian mechanics, has been proposed: Many Interacting Worlds. While it is conceptually clear how the interaction between worlds can enable this strong nonlocality, technical problems in the theory have thus far prevented a proof by simulation. Here we report significant progress in tackling one of the most basic difficulties that needs to be overcome: correctly modelling wavefunctions with nodes.


title: The SEN1-2 Dataset for Deep Learning in SAR-Optical Data Fusion

abstract: While deep learning techniques have an increasing impact on many technical fields, gathering sufficient amounts of training data is a challenging problem in remote sensing. In particular, this holds for applications involving data from multiple sensors with heterogeneous characteristics. One example for that is the fusion of synthetic aperture radar (SAR) data and optical imagery. With this paper, we publish the SEN1-2 dataset to foster deep learning research in SAR-optical data fusion. SEN1-2 comprises 282,384 pairs of corresponding image patches, collected from across the globe and throughout all meteorological seasons. Besides a detailed description of the dataset, we show exemplary results for several possible applications, such as SAR image colorization, SAR-optical image matching, and creation of artificial optical images from SAR input data. Since SEN1-2 is the first large open dataset of this kind, we believe it will support further developments in the field of deep learning for remote sensing as well as multi-sensor data fusion.


title: Emergent de Sitter Cosmology from Decaying AdS

abstract: Recent developments in string compactifications demonstrate obstructions to the simplest constructions of low energy cosmologies with positive vacuum energy. The existence of obstacles to creating scale-separated de Sitter solutions indicates a UV/IR puzzle for embedding cosmological vacua in a unitary theory of quantum gravity. Motivated by this puzzle, we propose an embedding of positive energy Friedmann-Lemaitre-Robertson-Walker cosmology within string theory. Our proposal involves confining 4D gravity on a brane which mediates the decay from a non-supersymmetric false AdS5 vacuum to a true vacuum. In this way, it is natural for a 4D observer to experience an effective positive cosmological constant coupled to matter and radiation, avoiding the need for scale separation or a fundamental de Sitter vacuum.


title: $VHH$ production at the High-Luminosity LHC

abstract: We study the phenomenology of associated production of a vector boson with a pair of Higgs bosons ($VHH$) at the High-Luminosity LHC. Despite the low rate of this channel, the scaling of the cross section suggests a measurement could be a useful probe of modifications of the trilinear Higgs boson coupling and anomalous interactions in the gauge-Higgs sector. We focus on both $WHH$ and $ZHH$ production, using the leptonic ($W \to l \nu$, $Z \to ll$, $Z \to \nu \nu$) decay modes of the vector bosons and the $HH \to 4b$ di-Higgs decay mode. We show that top pair backgrounds are problematic for the $W \to l \nu$ and $Z \to \nu \nu$ channels, leaving $Z \to ll$ as the most promising decay mode. However, even for this channel, we find limited sensitivity due to a low signal rate. We discuss some potential avenues for improvement.


title: On the set of critical exponents of discrete groups acting on regular trees

abstract: We study the set of critical exponents of discrete groups acting on regular trees. We prove that for every real number $\delta$ between $0$ and $\frac{1}{2}\log q$, there is a discrete subgroup $\Gamma$ acting without inversion on a $(q+1)$-regular tree whose critical exponent is equal to $\delta$. Explicit construction of edge-indexed graphs corresponding to a quotient graph of groups are given.


title: Reproducibility and monitoring of the instrumental particle background for the X-Ray Integral Field Unit

abstract: The X-ray Integral Field Unit (X-IFU) is the cryogenic imaging spectrometer on board the future X-ray observatory \textsl{Athena}. With a hexagonal array of 3840 AC-biased Transition Edge Sensors (TES), it will provide narrow-field observations (5$^{\prime}$ equivalent diameter) with unprecedented high spectral resolution (2.5 eV up to 7 keV) over the 0.2 - 12 keV bandpass. Throughout its observations, the X-IFU will face various sources of X-ray background. Specifically, the so-called Non-X-ray Background (NXB) caused by the interaction of high-energy cosmic rays with the instrument, may lead to a degradation of its sensitivity in the observation of faint extended sources (e.g. galaxy clusters outskirts). To limit this effect, a cryogenic anti-coincidence detector (CryoAC) will be placed below the detector plane to lower the NXB level down to the required level of $5 \times 10^{-3}$ cts/s/cm$^{2}$/keV over 2 - 10 keV. In this contribution, we investigate ways to accurately monitor the NXB and ensure the highest reproducibility in-flight. Using the limiting science case of the background-dominated observation of galaxy clusters outskirts, we demonstrate that a reproducibility of 2\% on the absolute knowledge of the background is required to perform driving science objectives, such as measuring abundances and turbulence in the outskirts. Monitoring of the NXB in-flight through closed observations, the detector's CryoAC or the companion instrument (Wide Field Imager) will be used to meet this requirement.


title: Numerical investigations of the fluid-structure interaction of a NACA0012 airfoil based on large-eddy simulations

abstract: The purpose of this work is to expand the work of Streher (2017) in order to investigate the aeroelastic instabilities generated by the flow around a moving NACA0012 airfoil. The profile has a chord length of $c=0.1 m and is exposed to a flow at a Reynolds number of Re=30,000. The airfoil has only two degrees of freedom: Translation in relation to the vertical direction and a rotation around the span-wise axis. A partitioned approach based on two separate solvers and a fluid-structure interaction (FSI) coupling scheme is applied. The in-house CFD solver FASTEST-3D computes the fluid sub-problem according to the wall-resolved large-eddy simulation (LES) combined with the Smagorinsky model (1963). The structural sub-problem is solved by a rigid movement solver implemented by Viets (2013), which is based on the equations of motion for rigid bodies. The FSI coupling exchanges information between both solvers based on loose or strong coupling algorithms. A thorough analysis of the problem is primarily performed in order to acquire a computational setup that provides the best compromise between accuracy and CPU-time requirements. Three system configurations are then tested and thoroughly investigated: One leads to an oscillatory behavior of the airfoil characterized by limited small amplitudes. The other is characterized by the presence of the torsional divergence aeroelastic instability. Finally, a configuration aimed at the flutter phenomenon is established. However, not enough data are currently available and therefore this dynamic aeroelastic instability can not be thoroughly investigated in the present work. In the near future, this study will serve as a base for the flutter experiments and computations performed at the Department of Fluid Mechanics located of the Helmut-Schmidt-University.


title: Geometry of motion and nutation stability of free axisymmetric variable mass systems

abstract: In classical mechanics, the 'geometry of motion' refers to a development to visualize the motion of freely spinning bodies. In this paper, such an approach of studying the rotational motion of axisymmetric variable mass systems is developed. An analytic solution to the second Euler angle characterising nutation naturally falls out of this method, without explicitly solving the nonlinear differential equations of motion. This is used to examine the coning motion of a free axisymmetric cylinder subject to three idealized models of mass loss and new insight into their rotational stability is presented. It is seen that the angular speeds for some configurations of these cylinders grow without bounds. In spite of this phenomenon, all configurations explored here are seen to exhibit nutational stability, a desirable property in solid rocket motors.


title: Large-eddy simulations of the flow around a NACA0012 airfoil at different angles of attack

abstract: The purpose of this work is to investigate the flow around a fixed NACA0012 airfoil profile at different angles of attack using wall-resolved LES. The profile has a chord length of c=0.1 m and is exposed to a flow at a Reynolds number of Re=100,000. The background is that in the next step the coupled problem should be considered, dealing with the flutter problem. The software ANSYS ICEM CFD is utilized in order to generate the meshes, which are then applied for the simulation with the in-house software FASTEST-3D. This is based on a finite-volume approach and a three sub-steps predictor-corrector scheme as spatial and temporal discretizations, respectively. The turbulence is modeled by the large-eddy simulation technique and the subgrid-scales are modeled according to Smagorinsky. An analysis of the meshes concerning the dimensionless wall distances is performed based on the spatial and time-averaged results of the velocities, the spatial and time-averaged streamlines, the instantaneous velocities, the spatial and time-averaged Reynolds stresses and the aerodynamic coefficients. A selection of the less computational time demanding grids that can correctly approximate the solutions of the test case is made. In a near future these will be applied to investigate the fluid-structure interaction and particularly the flutter phenomenon of the NACA0012 profile within a turbulent flow.


title: VideoKifu, or the automatic transcription of a Go game

abstract: In two previous papers [arXiv:1508.03269, arXiv:1701.05419] we described the techniques we employed for reconstructing the whole move sequence of a Go game. That task was at first accomplished by means of a series of photographs, manually shot, as explained during the scientific conference held within the LIX European Go Congress (Liberec, CZ). The photographs were subsequently replaced by a possibly unattended video live stream (provided by webcams, videocameras, smartphones and so on) or, were the live stream not available, by means of a pre-recorded video of the game itself, on condition that the goban and the stones were clearly visible more often than not. As we hinted in the latter paper, in the last two years we have improved both the algorithms employed for reconstructing the grid and detecting the stones, making extensive usage of the multicore capabilities offered by modern CPUs. Those capabilities prompted us to develop some asynchronous routines, capable of double-checking the position of the grid and the number and colour of any stone previously detected, in order to get rid of minor errors possibly occurred during the main analysis, and that may pass undetected especially in the course of an unattended live streaming. Those routines will be described in details, as they address some problems that are of general interest when reconstructing the move sequence, for example what to do when large movements of the whole goban occur (deliberate or not) and how to deal with captures of dead stones $-$ that could be wrongly detected and recorded as "fresh" moves if not promptly removed.


title: Quantization of Fields by Averaging Classical Evolution Equations

abstract: This paper extends the formalism for quantizing field theories via a microcanonical quantum field theory and Hamilton's principle to classical evolution equations. These are based on the well-known correspondence under a Wick rotation between quantum field theories and 4-D statistical mechanical theories. By placing quantum field theories on a 4+1-D under Wick rotation to 5-D, expectations of observables are calculated for a microcanonical field theory averaging Hamiltonian flow over a fifth spacelike dimension, a technique common in lattice gauge simulations but not in perturbation theory. In a novel demonstration, averaging pairs of external lines in the classical Feynman diagrams over the fifth dimension generates diagrams with loops and vacuum fluctuations identical to Standard Model diagrams. Because it is microcanonical, this approach, while equivalent for standard quantum fields theories in the Standard Model, is able to quantize theories that have no canonical quantization. It is also unique in representing expectations as averages over solutions to an ordinary, classical PDE rather than a path integral or operator based approaches. Hence, this approach draws a clear connection between quantum field theory and classical field theory in higher dimensions which has implications towards how quantum effects are interpreted. In particular, it raises questions about how violations of the ergodic hypothesis could influence quantum measurements even in standard, non-statistical quantum field theory.


title: Indirect inference through prediction

abstract: By recasting indirect inference estimation as a prediction rather than a minimization and by using regularized regressions, we can bypass the three major problems of estimation: selecting the summary statistics, defining the distance function and minimizing it numerically. By substituting regression with classification we can extend this approach to model selection as well. We present three examples: a statistical fit, the parametrization of a simple real business cycle model and heuristics selection in a fishery agent-based model. The outcome is a method that automatically chooses summary statistics, weighs them and use them to parametrize models without running any direct minimization.


title: Aut($\Gamma$)=det($M_\Gamma$)

abstract: In this article, we will show that the automorphism group of any hypergraph is essentially equal to the determinant of some matrix over a ring generated from the set of ground points. With this, we are also able to determine whether two graphs are isomorphic.


title: A new class of entropic information measures, formal group theory and information geometry

abstract: In this work, we study generalized entropies and information geometry in a group-theoretical framework. We explore the conditions that ensure the existence of some natural properties and at the same time of a group-theoretical structure for a large class of entropies. In addition, a method for defining new entropies, using previously known ones with some desired group-theoretical properties is proposed. In the second part of this work, the information geometrical counterpart of the previous construction is examined and a general class of divergences are proposed and studied. Finally, a method of constructing new divergences from known ones is discussed; in particular, some results concerning the Riemannian structure associated with the class of divergences under investigation are formulated.

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


title: Testing the X-IFU calibration requirements: an example for quantum efficiency and energy resolution

abstract: With its array of 3840 Transition Edge Sensors (TESs) operated at 90 mK, the X-Ray Integral Field Unit (X-IFU) on board the ESA L2 mission Athena will provide spatially resolved high-resolution spectroscopy (2.5 eV FWHM up to 7 keV) over the 0.2 to 12 keV bandpass. The in-flight performance of the X-IFU will be strongly affected by the calibration of the instrument. Uncertainties in the knowledge of the overall system, from the filter transmission to the energy scale, may introduce systematic errors in the data, which could potentially compromise science objectives - notably those involving line characterisation e.g. turbulence velocity measurements - if not properly accounted for. Defining and validating calibration requirements is therefore of paramount importance. In this paper, we put forward a simulation tool based on the most up-to-date configurations of the various subsystems (e.g. filters, detector absorbers) which allows us to estimate systematic errors related to uncertainties in the instrumental response. Notably, the effect of uncertainties in the energy resolution and of the instrumental quantum efficiency on X-IFU observations is assessed, by taking as a test case the measurements of the iron K complex in the hot gas surrounding clusters of galaxies. In-flight and ground calibration of the energy resolution and the quantum efficiency is also addressed. We demonstrate that provided an accurate calibration of the instrument, such effects should be low in both cases with respect to statistics during observations.


title: Quantum Mechanics from Relational Properties, Part III: Path Integral Implementation

abstract: Relational formulation of quantum mechanics is based on the idea that relational properties among quantum systems, instead of the independent properties of a quantum system, are the most fundamental elements to construct quantum mechanics. In a recent paper (J. M. Yang, Sci. Rep. 8:13305, 2018), basic relational quantum mechanics framework is formulated to derive quantum probability, Born's Rule, Schr\"{o}dinger Equations, and measurement theory. This paper further extends the reformulation effort in three aspects. First, it gives a clearer explanation of the key concepts behind the framework to calculate measurement probability. Second, we provide a concrete implementation of the relational probability amplitude by extending the path integral formulation. The implementation not only clarifies the physical meaning of the relational probability amplitude, but also allows us to elegantly explain the double slit experiment, to describe the interaction history between the measured system and a series of measuring systems, and to calculate entanglement entropy based on path integral and influence functional. In return, the implementation brings back new insight to path integral itself by completing the explanation on why measurement probability can be calculated as modulus square of probability amplitude. Lastly, we clarify the connection between our reformulation and the quantum reference frame theory. A complete relational formulation of quantum mechanics needs to combine the present works with the quantum reference frame theory.


title: Efficient Parallel Self-Assembly Under Uniform Control Inputs

abstract: We prove that by successively combining subassemblies, we can achieve sublinear construction times for "staged" assembly of micro-scale objects from a large number of tiny particles, for vast classes of shapes; this is a significant advance in the context of programmable matter and self-assembly for building high-yield micro-factories.The underlying model has particles moving under the influence of uniform external forces until they hit an obstacle; particles bond when forced together with a compatible particle. Previous work considered sequential composition of objects, resulting in construction time that is linear in the number N of particles, which is inefficient for large N. Our progress implies critical speedup for constructible shapes; for convex polyominoes, even a constant construction time is possible. We also show that our construction process can be used for pipelining, resulting in an amortized constant production time.


title: cvBMS and cvBMA: filling in the gaps

abstract: With this technical report, we provide mathematical and implementational details of cross-validated Bayesian model selection (cvBMS) and averaging (cvBMA) that could not be communicated in the corresponding peer-reviewed journal articles. This will allow statisticians and developers to comprehend internal functionalities of cvBMS and cvBMA for further development of these techniques.


title: Answering Hindsight Queries with Lifted Dynamic Junction Trees

abstract: The lifted dynamic junction tree algorithm (LDJT) efficiently answers filtering and prediction queries for probabilistic relational temporal models by building and then reusing a first-order cluster representation of a knowledge base for multiple queries and time steps. We extend LDJT to (i) solve the smoothing inference problem to answer hindsight queries by introducing an efficient backward pass and (ii) discuss different options to instantiate a first-order cluster representation during a backward pass. Further, our relational forward backward algorithm makes hindsight queries to the very beginning feasible. LDJT answers multiple temporal queries faster than the static lifted junction tree algorithm on an unrolled model, which performs smoothing during message passing.


title: Is the Big Rip unreachable?

abstract: I investigate the repercussions of particle production when the Universe is dominated by a hypothetical phantom substance. I show that backreaction due to particle production prevents the density from shooting to infinity at a Big Rip, but instead forces it to stabilise at a large constant value. Afterwards there is a period of de-Sitter inflation. I speculate that this might lead to a cyclic Universe.


title: Cosmological implications of scale-independent energy-momentum squared gravity: Pseudo nonminimal interactions in dark matter and relativistic relics

abstract: In this paper, we introduce a scale-independent energy-momentum squared gravity (EMSG) that allows different gravitational couplings for different types of sources, which may lead to scenarios with many interesting applications/implications in cosmology. In the present study, to begin with, we study a modification of the $\Lambda$ cold dark matter ($\Lambda$CDM) model, where photons and baryons couple to the spacetime as in general relativity, while the cold dark matter and relativistic relics (neutrinos and any other relativistic relics) couple to the spacetime in accordance with EMSG. This scenario induces pseudo nonminimal interactions on these components, leading to modification at both the background and perturbative levels. A consequence of this scenario is that the dimensionless free parameter of the theory may induce direct changes on the effective number of the relativistic species, without the need to introduce new extra species. In order to quantify the observational consequences of the cosmological scenario, we use the cosmic microwave background Planck data (temperature, polarization, and lensing power spectrum) and baryonic acoustic oscillations data. We find that the free model parameter is too small to induce statistically significant corrections on the $\Lambda$CDM model due to EMSG. We deduce that the model presented here is quite rich with promising cosmological applications/implications that deserve further investigations.


title: Higher-dimension Tensor Completion via Low-rank Tensor Ring Decomposition

abstract: The problem of incomplete data is common in signal processing and machine learning. Tensor completion algorithms aim to recover the incomplete data from its partially observed entries. In this paper, taking advantages of high compressibility and flexibility of recently proposed tensor ring (TR) decomposition, we propose a new tensor completion approach named tensor ring weighted optimization (TR-WOPT). It finds the latent factors of the incomplete tensor by gradient descent algorithm, then the latent factors are employed to predict the missing entries of the tensor. We conduct various tensor completion experiments on synthetic data and real-world data. The simulation results show that TR-WOPT performs well in various high-dimension tensors. Furthermore, image completion results show that our proposed algorithm outperforms the state-of-the-art algorithms in many situations. Especially when the missing rate of the test images is high (e.g., over 0.9), the performance of our TR-WOPT is significantly better than the compared algorithms.


title: Global optimal regularity for variational problems with nonsmooth non-strictly convex gradient constraints

abstract: We prove the optimal $W^{2,\infty}$ regularity for variational problems with convex gradient constraints. We do not assume any regularity of the constraints; so the constraints can be nonsmooth, and they need not be strictly convex. When the domain is smooth enough, we show that the optimal regularity holds up to the boundary. In this process, we also characterize the set of singular points of the viscosity solutions to some Hamilton-Jacobi equations. Furthermore, we obtain an explicit formula for the second derivative of these viscosity solutions; and we show that the second derivatives satisfy a monotonicity property.


title: Analytical results for the in-degree and out-degree distributions of directed random networks that grow by node duplication

abstract: We present exact results for the degree distribution in a directed network model that grows by node duplication (ND). Such models are useful in the study of the structure and growth dynamics of gene regulatory networks and scientific citation networks. Starting from an initial seed network, at each time step a random node, a mother node, is selected for duplication. Its daughter node is added to the network and duplicates each outgoing link of the mother node with probability p. In addition, the daughter node forms a directed link to the mother node itself. We obtain analytical results for the in-degree distribution $P_t(K_{in}=k)$, and for the out-degree distribution $P_t(K_{out}=k)$ at time t. The in-degrees follow a shifted power-law, so the network is asymptotically scale free. In contrast, the out-degree distribution is narrow, and converges to a Poisson distribution in the sparse network limit and to a Gaussian distribution in the dense network limit. Such distinction between a broad in-degree distribution and a narrow out-degree distribution is common in empirical networks such as scientific citation networks. Using this we calculate the mean degree $\langle K_{in}\rangle_t=\langle K_{out}\rangle_t$, which converges to $1/(1-p)$ in the large network limit, for the whole range of $0<p<1$. This is in contrast to the corresponding undirected network, which exhibits a phase transition at $p=1/2$ such that for $p>1/2$ the mean degree diverges in the large network limit. We also present analytical results for the distribution of the number of upstream and downstream nodes from a random node. The mean values $\langle N_{up}\rangle_t=\langle N_{down}\rangle_t$ scale logarithmically with the network size, implying that only a small fraction of pairs of nodes are connected by directed paths, unlike the undirected ND case that consists of a single component, hence not a small-world network.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech cs.SI nlin.AO


title: Involution surface bundles over surfaces

abstract: We construct models of involution surface bundles over algebraic surfaces, degenerating over normal crossing divisors, and with controlled singularities of the total space.


title: Constraints on reionisation from the z=7.5 QSO ULASJ1342+0928

abstract: The recent detection of ULASJ1342+0928, a bright QSO at $z=7.54$, provides a powerful probe of the ionisation state of the intervening intergalactic medium, potentially allowing us to set strong constraints on the epoch of reionisation (EoR). Here we quantify the presence of Ly$\alpha$ damping wing absorption from the EoR in the spectrum of ULASJ1342+0928. Our Bayesian framework simultaneously accounts for uncertainties on: (i) the intrinsic QSO emission (obtained from reconstructing the Ly$\alpha$ profile from a covariance matrix of emission lines) and (ii) the distribution of HII regions during reionisation (obtained from three different 1.6$^3$ Gpc$^3$ simulations spanning the range of plausible EoR morphologies). Our analysis is complementary to that in the discovery paper (Ba\~nados et al.) and the accompanying method paper (Davies et al.) as it focuses solely on the damping wing imprint redward of Ly$\alpha$ ($1218 < \lambda < 1230$\AA), and uses a different methodology for (i) and (ii). We recover weak evidence for damping wing absorption. Our intermediate EoR model yields a volume-weighted neutral hydrogen fraction at $z=7.5$ of $\bar{x}_{\rm HI} = 0.21\substack{+0.17 \\ -0.19}$ (68 per cent). The constraints depend weakly on the EoR morphology. Our limits are lower than those presented previously, though they are consistent at ~1-1.5$\sigma$. We attribute this difference to: (i) a lower amplitude intrinsic Ly$\alpha$ profile obtained from our reconstruction pipeline, driven by correlations with other high-ionisation lines in the spectrum which are relatively weak; and (ii) only considering transmission redward of Ly$\alpha$ when computing the likelihood, which reduces the available constraining power but makes the results less model-dependent. Our results are consistent with previous estimates of the EoR history, and support the picture of a moderately extended EoR.


title: Energy scale calibration and drift correction of the X-IFU

abstract: The Athena X-Ray Integral Field Unit (X-IFU) will provide spatially resolved high-resolution spectroscopy (2.5 eV FWHM up to 7 keV) over the 0.2 to 12 keV energy band. It will comprise an array of 3840 superconducting Transition Edge Sensors (TESs) operated at 90 mK, with an absolute energy scale accuracy of 0.4 eV. Slight changes in the TES operating environment can cause significant variations in its energy response function, which may result in degradation of the detector's energy resolution, and eventually in systematic errors in the absolute energy scale if not properly corrected. These changes will be monitored via an onboard Modulated X-ray Source (MXS) and the energy scale will be corrected accordingly using a multi-parameter interpolation of gain curves obtained during ground calibration. Assuming realistic MXS configurations and using the instrument end-to-end simulator SIXTE, we investigate here both statistical and systematic effects on the X-IFU energy scale, occurring either during ground measurements or in-flight. The corresponding impacts on the energy resolution and means of accounting for these errors are also addressed. We notably demonstrate that a multi-parameter gain correction, using both the pulse-height estimate and the baseline of a pulse, can accurately recover systematic effects on the gain due to realistic changes in TES operating conditions within 0.4 eV. Optimisations of this technique with respect to the MXS line configuration and correction time, as well as to the energy scale parametrization are also show promising results to improve the accuracy of the correction.


title: A critical comparison of the Lomb-Scargle and the classical periodograms

abstract: The detection of signals hidden in noise is one of the oldest and common problems in astronomy. Various solutions have been proposed in the past such as the parametric approaches based on the least-squares fit of theoretical templates or the non-parametric techniques as the phase-folding method. Most of them, however, are suited only for signals with specific time evolution. For generic signals the spectral approach based on the periodogram is potentially the most effective. In astronomy the main problem in working with the periodogram is that often the sampling of the signals is irregular. This complicates its efficient computation (the fast Fourier transform cannot be directly used) but overall the determination of its statistical characteristics. The Lomb-Scargle periodogram (LSP) provides a solution to this last important issue, but its main drawback is the assumption of a very specific model of the datawhich is not correct for most of the practical applications. These issues are not always considered in literature with theoretical and practical consequences of no easy solution. Moreover, apart from pathological samplings, it is common believe that the LSP and the classical periodogram (CP) usually provide almost identical results. In general, this is true but here it is shown that there are situations where the LSP is less effective than the CP in the detection of signals in noise. There are no compelling reasons, therefore, to use the LSP instead of the CP which is directly connected to the correlation function of the observed signal with the sinusoidal functions at the various frequencies of interest.


title: Effect of mixed surface terminations on the structural and electrochemical properties of two-dimensional Ti3C2T2 and V2CT2 MXenes multilayers

abstract: MXenes, a family of layered transition metal carbides and nitrides, have shown great promise for use in emerging electrochemical energy storage devices, including batteries and supercapacitors. MXene surfaces are terminated by mixed -O, -F and -OH functional groups as a result of the chemical etching production process. These functional groups are known to be randomly distributed over the surfaces, with limited experimental control over their composition. There is considerable debate regarding the contribution of these functional groups to the properties of the underlying MXene material. For instance, their measured Li or Na capacity is far lower than that predicted by theoretical simulations, which generally assume uniformly terminated surfaces. The extent to which this structural simplification contributes to such discrepancies is unknown. We address this issue by employing first-principles calculations to compare the structural, electronic and electrochemical properties of two common MXenes, namely Ti3C2Tx and V2CTx, with both uniform terminating groups and explicitly mixed terminations. Weighted averages of uniformly-terminated layer properties are found to give excellent approximations to those of more realistic, randomly-terminated structures. The sodium storage capacity and volume change during sodiation in the interlayer space of these MXenes with mixed surface terminations are also investigated. The redox reaction is shown to be confined to the terminating groups for low concentrations of intercalated Na, with the oxidation state of the metal atoms unaffected until higher concentrations of intercalated Na are achieved. Finally, the average open circuit voltage is shown to be very similar for both Ti3C2T2Na and V2CT2Na with mixed terminations, although it is highly sensitive to the particular composition of the terminating groups.


title: The role of robot design in decoding error-related information from EEG signals of a human observer

abstract: For utilization of robotic assistive devices in everyday life, means for detection and processing of erroneous robot actions are a focal aspect in the development of collaborative systems, especially when controlled via brain signals. Though, the variety of possible scenarios and the diversity of used robotic systems pose a challenge for error decoding from recordings of brain signals such as via EEG. For example, it is unclear whether humanoid appearances of robotic assistants have an influence on the performance. In this paper, we designed a study in which two different robots executed the same task both in an erroneous and a correct manner. We find error-related EEG signals of human observers indicating that the performance of the error decoding was independent of robot design. However, we can show that it was possible to identify which robot performed the instructed task by means of the EEG signals. In this case, deep convolutional neural networks (deep ConvNets) could reach significantly higher accuracies than both regularized Linear Discriminanat Analysis (rLDA) and filter bank common spatial patterns (FB-CSP) combined with rLDA. Our findings indicate that decoding information about robot action success from the EEG, particularly when using deep neural networks, may be an applicable approach for a broad range of robot designs.


title: The polar decomposition for adjointable operators on Hilbert $C^*$-modules and centered operators

abstract: Let $T$ be an adjointable operator between two Hilbert $C^*$-modules and $T^*$ be the adjoint operator of $T$. The polar decomposition of $T$ is characterized as $T=U(T^*T)^\frac12$ and $\mathcal{R}(U^*)=\overline{\mathcal{R}(T^*)}$, where $U$ is a partial isometry, $\mathcal{R}(U^*)$ and $\overline{\mathcal{R}(T^*)}$ denote the range of $U^*$ and the norm closure of the range of $T^*$, respectively. Based on this new characterization of the polar decomposition, an application to the study of centered operators is carried out.


title: Asymptotic Analysis of Spatial Coupling Coding for Compute-and-Forward Relaying

abstract: Compute-and-forward (CAF) relaying is effective to increase bandwidth efficiency of wireless two-way relay channels. In a CAF scheme, a relay is designed to decode a linear combination composed of transmitted messages from other terminals or relays. Design for error-correcting codes and its decoding algorithms suitable for CAF relaying schemes remain as an important issue to be studied. As described in this paper, we will present an asymptotic performance analysis of LDPC codes over two-way relay channels based on density evolution (DE). Because of the asymmetric characteristics of the channel, we use the population dynamics DE combined with DE formulas for asymmetric channels to obtain BP thresholds. Additionally, we also evaluate the asymptotic performance of spatially coupled LDPC codes for two-way relay channels. The results indicate that the spatial coupling codes yield improvements in the BP threshold compared with corresponding uncoupled codes for two-way relay channels. Finally, we will compare the mutual information rate and rate achievability between the CAF scheme and the MAC separation decoding scheme. We demonstrate the possibility that the CAF scheme has higher reliability in the high-rate region.


title: Rotating normal and phantom Einstein--Maxwell--dilaton black holes: Geodesic analysis

abstract: Depending on five parameters, rotating counterparts of Einstein--Maxwell--dilaton black holes are derived. We discuss their physical and geometric properties and investigate their null and time-like geodesics including circular orbits. The Lense--Thirring effect is considered.


title: Realistic compactification in spatially flat vacuum cosmological models in cubic Lovelock gravity: High-dimensional case

abstract: We investigate possible regimes in spatially flat vacuum cosmological models in cubic Lovelock gravity. The spatial section is a product of three- and extra-dimensional isotropic subspaces. This is the second paper of the series and we consider D=5 and general D>=6 cases here. For each D case we found critical values for $\alpha$ (Gauss-Bonnet coupling) and $\beta$ (cubic Lovelock coupling) which separate different dynamical cases and study the dynamics in each region to find all regimes for all initial conditions and for arbitrary values of $\alpha$ and $\beta$. The results suggest that for D>=3 there are regimes with realistic compactification originating from `generalized Taub' solution. The endpoint of the compactification regimes is either anisotropic exponential solution (for $\alpha > 0$, $\mu \equiv \beta/\alpha^2 < \mu_1$ (including entire $\beta < 0$)) or standard Kasner regime (for $\alpha > 0$, $\mu > \mu_1$). For D>=8 there is additional regime which originates from high-energy (cubic Lovelock) Kasner regime and ends as anisotropic exponential solution. It exists in two domains: $\alpha > 0$, $\beta < 0$, $\mu \leqslant \mu_4$ and entire $\alpha > 0$, $\beta > 0$. Let us note that for D>=8 and $\alpha > 0$, $\beta < 0$, $\mu < \mu_4$ there are two realistic compactification regimes which exist at the same time and have two different anisotropic exponential solutions as a future asymptotes. For D>=8 and $\alpha > 0$, $\beta > 0$, $\mu < \mu_2$ there are two realistic compactification regimes but they lead to the same anisotropic exponential solution. This behavior is quite different from the Einstein-Gauss-Bonnet case. There are two more unexpected observations among the results -- all realistic compactification regimes exist only for $\alpha > 0$ and there is no smooth transition from high-energy Kasner regime to low-energy one with realistic compactification.


title: Counterfactual Quantum Bit Commitment

abstract: We propose a framework of bit commitment protocol using a comparison scheme and present a compound comparison scheme based on counterfactual cryptography. Finally, we propose a counterfactual quantum bit commitment protocol. In security analysis, we give the proper security parameters for counterfactual quantum bit commitment and prove that intercept attack and intercept/resend attack are ineffective attack for our protocol. In addition, we explain that counterfactual quantum bit commitment protocol cannot be attacked with no-go theorem attack by current technology.


title: BIN-CT: Urban Waste Collection based in Predicting the Container Fill Level

abstract: The fast demographic growth, together with the concentration of the population in cities and the increasing amount of daily waste, are factors that push to the limit the ability of waste assimilation by Nature. Therefore, we need technological means to make an optimal management of the waste collection process, which represents 70% of the operational cost in waste treatment. In this article, we present a free intelligent software system, based on computational learning algorithms, which plans the best routes for waste collection supported by past (historical) and future (predictions) data. The objective of the system is the cost reduction of the waste collection service by means of the minimization in distance traveled by any truck to collect a container, hence the fuel consumption. At the same time the quality of service to the citizen is increased avoiding the annoying overflows of containers thanks to the accurate fill level predictions performed by BIN-CT. In this article we show the features of our software system, illustrating it operation with a real case study of a Spanish city. We conclude that the use of BIN-CT avoids unnecessary visits to containers, reduces the distance traveled to collect a container and therefore we obtain a reduction of total costs and harmful emissions thrown to the atmosphere.


title: Quasi-Monte Carlo Variational Inference

abstract: Many machine learning problems involve Monte Carlo gradient estimators. As a prominent example, we focus on Monte Carlo variational inference (MCVI) in this paper. The performance of MCVI crucially depends on the variance of its stochastic gradients. We propose variance reduction by means of Quasi-Monte Carlo (QMC) sampling. QMC replaces N i.i.d. samples from a uniform probability distribution by a deterministic sequence of samples of length N. This sequence covers the underlying random variable space more evenly than i.i.d. draws, reducing the variance of the gradient estimator. With our novel approach, both the score function and the reparameterization gradient estimators lead to much faster convergence. We also propose a new algorithm for Monte Carlo objectives, where we operate with a constant learning rate and increase the number of QMC samples per iteration. We prove that this way, our algorithm can converge asymptotically at a faster rate than SGD. We furthermore provide theoretical guarantees on QMC for Monte Carlo objectives that go beyond MCVI, and support our findings by several experiments on large-scale data sets from various domains.


title: Sensors, SLAM and Long-term Autonomy: A Review

abstract: Simultaneous Localization and Mapping, commonly known as SLAM, has been an active research area in the field of Robotics over the past three decades. For solving the SLAM problem, every robot is equipped with either a single sensor or a combination of similar/different sensors. This paper attempts to review, discuss, evaluate and compare these sensors. Keeping an eye on future, this paper also assesses the characteristics of these sensors against factors critical to the long-term autonomy challenge.


title: Entropy Signatures of Topological Phase Transitions

abstract: We review the behavior of the entropy per particle in various two-dimensional electronic systems. The entropy per particle is an important characteristic of any many body system that tells how the entropy of the ensemble of electrons changes if one adds one more electron. Recently, it has been demonstrated how the entropy per particle of a two-dimensional electron gas can be extracted from the recharging current dynamics in a planar capacitor geometry. These experiments pave the way to the systematic studies of entropy in various crystal systems including novel two-dimensional crystals such as gapped graphene, germanene and silicene. Theoretically, the entropy per particle is linked to the temperature derivative of the chemical potential of the electron gas by the Maxwell relation. Using this relation, we calculate the entropy per particle in the vicinity of topological transitions in various two-dimensional electronic systems. We show that the entropy experiences quantized steps at the points of Lifshitz transitions in a two-dimensional electronic gas with a parabolic energy spectrum. In contrast, in doubled-gapped Dirac materials, the entropy per particles demonstrates characteristic spikes once the chemical potential passes through the band edges. The transition from a topological to trivial insulator phase in germanene is manifested by the disappearance of a strong zero-energy resonance in the entropy per particle dependence on the chemical potential. We conclude that studies of the entropy per particle shed light on multiple otherwise hidden peculiarities of the electronic band structure of novel two-dimensional crystals.