title: Critical effect of cubic phase on aging in 3 mol% yttria-stabilized zirconia ceramics for hip replacement prosthesis

abstract: The isothermal tetragonal-to-monoclinic transformation of 3Y-TZP ceramics sintered at two different temperatures (1450{\deg}C and 1550{\deg}C) and duration (2 and 5 h) is investigated at 134{\deg}C in steam. Particular attention is paid to the presence of a cubic phase and its effect on isothermal aging. Sintering at 1550{\deg}C can result in a significant amount of large cubic grains in the specimens, that have a detrimental impact on aging resistance, especially for the first stage of the aging process. Cubic grains appear to be enriched in yttrium, which in turn leads to a depletion of yttrium in the neighboring tetragonal grains. These grains will act as nucleation sites for tetragonal-to-monoclinic transformation. Even for specimens sintered at lower temperature, i.e. 1450{\deg}C, the presence of a cubic phase is expected from the phase diagram, leading to a significant effect on aging sensitivity.


title: A version of Green's conjecture in positive characteristic

abstract: Based on computeralgebra experiments we formulate a refined version of Green's conjecture and a conjecture of Schicho-Schreyer-Weimann which conjecturally also holds in positive characteristic. The experiments are done by using our Macaulay2 package, which constructs random canonically embedded curves of genus $g\leq 15$ over arbitrary small finite fields.


title: Subriemannian metrics and the metrizability of parabolic geometries

abstract: We present the linearized metrizability problem in the context of parabolic geometries and subriemannian geometry, generalizing the metrizability problem in projective geometry studied by R. Liouville in 1889. We give a general method for linearizability and a classification of all cases with irreducible defining distribution where this method applies. These tools lead to natural subriemannian metrics on generic distributions of interest in geometric control theory.


title: Riesz Decomposition Relative to C*-Algebra Homomorphisms

abstract: The aim of the present work is to study the Riesz decomposition relative to a C*-algebra homomorphism T : A --> B. We prove that under some conditions on T, T-Riesz elements can be decomposed into the sum of almost T-null element and quasi-nilpotent element. Also the so-called polyno- mial T-Riesz and generalized T-Riesz decompositions will be discussed.


title: Complementary metal-oxide semiconductor compatible source of single photons at near-visible wavelengths

abstract: We demonstrate on chip generation of correlated pairs of photons in the near-visible spectrum using a CMOS compatible PECVD Silicon Nitride photonic device. Photons are generated via spontaneous four wave mixing enhanced by a ring resonator with high quality Q-factor of 320,000 resulting in a generation rate of 950,000 $\frac{pairs}{mW}$. The high brightness of this source offers the opportunity to expand photonic quantum technologies over a broad wavelength range and provides a path to develop fully integrated quantum chips working at room temperature.


title: Partial regularity of minimizers for real-analytic sub-Riemannian metrics

abstract: In the real-analytic setting, we show that all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic everywhere except an at most countable non-dense set. In particular, non-analyticity may occur only on a set of measure zero of the domain of definition of a sub-Riemannian minimizer. Furthermore, we provide a geometrical condition which implies the absence of the so called strictly abnormal minimizers. In particular, under such condition, all sub-Riemannian minimizers (parametrized by the arc-length) are real-analytic.


title: Semitotal domination in trees

abstract: In this paper, we study a parameter that is squeezed between arguably the two important domination parameters, namely the domination number, $\gamma(G)$, and the total domination number, $\gamma_t(G)$. A set $S$ of vertices in $G$ is a semitotal dominating set of $G$ if it is a dominating set of $G$ and every vertex in S is within distance $2$ of another vertex of $S$. The semitotal domination number, $\gamma_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. We observe that $\gamma(G)\leq \gamma_{t2}(G)\leq \gamma_t(G)$. In this paper, we give a lower bound for the semitotal domination number of trees and we characterize the extremal trees. In addition, we characterize trees with equal domination and semitotal domination numbers.


title: Quandles of cyclic type with several fixed points

abstract: A quandle of cyclic type of order $n$ with $f\geq 2$ fixed points is such that each of its permutations splits into $f$ cycles of length $1$ and one cycle of length $n-f$. In this article we prove that there is only one such connected quandle, up to isomorphism. This is a quandle of order $6$ and $2$ fixed points, known in the literature as octahedron quandle. We prove also that, for each $f\geq 2$, the non-connected versions of these quandles only occur for orders $n$ in the range $f+2 \leq n \leq 2f$ and that, for each $f>1$, there is only one such quandle of order $2f$ with $f$ fixed points, up to isomorphism. Still in the range $f+2 \leq n \leq 2f$, we present sufficient conditions for the existence of such quandles, writing down their permutations; we also show how to obtain new quandles form old ones, leaning on the notion of common fixed point.


title: Non-equilibrium turbulence scalings and self-similarity in turbulent planar jets

abstract: We study the self-similarity and dissipation scalings of a turbulent planar jet and the theoretically implied mean flow scalings. Unlike turbulent wakes where such studies have already been carried out (Dairay et al. 2015; Obligado et al. 2016), this is a boundary- free turbulent shear flow where the local Reynolds number increases with distance from inlet. The Townsend-George theory revised by Dairay et al. (2015) is applied to turbulent planar jets. Only a few profiles need to be self-similar in this theory. The self- similarity of mean flow, turbulence dissipation, turbulent kinetic energy and Reynolds stress profiles is supported by our experimental results from 18 to at least 54 nozzle sizes, the furthermost location investigated in this work. Furthermore, the non-equilibrium dissipation scaling found in turbulent wakes, decaying grid-generated turbulence, various instances of periodic turbulence and turbulent boundary layers (Vassilicos 2015, Dairay et al. 2015, Goto & Vassilicos 2015, Nedic et al. 2017) is also observed in the present turbulent planar jet and in the turbulent planar jet of Antonia et al. (1980). Given these observations, the theory implies new mean flow and jet width scalings which are found to be consistent with our data and the data of Antonia et al. (1980). In particular, it implies a hitherto unknown entrainment behaviour: the ratio of characteristic cross-stream to centreline streamwise mean flow velocities decays as the -1/3 power of streamwise distance in the region where the non-equilibrium dissipation scaling holds.


title: Massless surface wave

abstract: An interface between two media is topologically stable two-dimensional object where 3D-symmetry breaks which allows for existence of many exotic excitations. A direct way to explore surface excitations is to investigate their interaction with the surface waves, such as very well known capillary-gravity waves and crystallization waves. Helium remains liquid down to absolute zero where bulk excitations are frozen out and do not mask the interaction of the waves with the surface states. Here we show the possibility of the new, massless wave which can propagate along the surface between two different superfluids phases of $^3$He. The displacement of the surface in this wave occurs due to the transition of helium atoms from one phase to another, so that there is no flow of particles as densities of phases are equal. We calculate the dispersion of the wave in which the inertia is provided by spin supercurrents, and the restoring force is magnetic field gradient. We calculate the dissipation of the wave and show the preferable conditions to observe it.


title: An Electromagnet-Based Magnetically-Activated Thermal Switch Without Moving Parts

abstract: With the ever increasing power dissipation in electrical devices, new thermal management solutions are in high demand to maintain an optimal operating temperature and efficient performance. In particular, recently developed magnetically-activated thermal switches (MATSs) provide an alternative to existing devices, using the magnetic and thermal properties of superparamagnetic nanofluids to dissipate heat in a controlled manner. However, the presence of moving parts is a major drawback in those systems that must still be addressed. Herein, we present a compact and automatized MATS composed by an encapsulated superparamagnetic nanofluid and an electromagnet allowing to activate the MATS without any moving part. We investigate the effect of different temperature gradients (40, 26 and 10 C) and powers applied to the coil (6.5, 15, 25 and 39 W) on the performance of this novel MATS. The results show that the highest (44.4$) and fastest (0.6 C/s) temperature variation occur for the highest studied temperature gradient. On the other hand, with increasing power, there is also an increase in the efficiency of the heat exchange process between the two surfaces. These results remove one of the main barriers preventing the actual application of magnetic thermal switches and opens new venues for the design of efficient thermal management devices.


title: Accelerated Atomistic Simulations of a Supramolecular Polymer in Water

abstract: All-atom molecular dynamics has been recently proven a useful tool for the study of supramolecular polymers. While the high resolution offered by the atomistic models may allow for deep comprehension of the assembled structure, obtaining a reliable equilibrated configuration for these soft assemblies in aqueous solution remains a challenging task mainly due to the complexity of the atomistic systems and the long simulation time needed for their equilibration. Here we have tested two well-known advanced simulation methods (Accelerated Molecular Dynamics and Metadynamics) on an atomistic model of water-soluble 1,3,5-benzenetricarboxamide (BTA) supramolecular polymer and have compared the obtained data to classical molecular dynamics. Our results show that both techniques can be very useful to accelerate the equilibration of the supramolecular fiber in solution. Moreover, we demonstrate that combining the two methods in opportune way allows to take advantage of the strong points of both, providing an equilibrated configuration for the BTA supramolecular polymer in a faster and more reproducible way compared to classical simulations. The versatility of this approach suggests that the latter can be adapted to simulate a variety of supramolecular polymers as well as different types of supramolecular assemblies.


title: Dissociation of Liquid Water on Defective Rutile TiO2 (110) Surfaces Using Ab-Initio Molecular Dynamics Simulations

abstract: In order to obtain a comprehensive understanding of both thermodynamics and kinetics of water dissociation on TiO2, the reactions between liquid water and perfect and defective rutile TiO2 (110) surfaces were investigated using ab initio molecular dynamics simulations. The results showed that the free-energy barrier (~ 4.4 kcal/mol) is too high for a spontaneous dissociation of water on the perfect rutile (110) surface at a low temperature. The most stable oxygen vacancy (Vo1) on the rutile (110) surface cannot promote the dissociation of water, while other unstable oxygen vacancies can significantly enhance the water dissociation rate. This is opposite to the general understanding that Vo1 defects are active sites for water dissociation. Furthermore, we reveal that water dissociation is an exothermic reaction, which demonstrates that the dissociated state of the adsorbed water is thermodynamically favorable for both perfect and defective rutile (110) surfaces. The dissociation adsorption of water can also increase the hydrophilicity of TiO2.


title: Compactness in function spaces

abstract: Let $X$ be a locally compact topological space, $(Y,d)$ be a boundedly compact metric space and $LB(X,Y)$ be the space of all locally bounded functions from $X$ to $Y$. We characterize compact sets in $LB(X,Y)$ equipped with the topology of uniform convergence on compacta. From our results we obtain the following interesting facts for $X$ compact: $\bullet$ If $(f_n)_n$ is a sequence of uniformly bounded finitely equicontinuous functions of Baire class $\alpha$ from $X$ to $\Bbb R$, then there is a uniformly convergent subsequence $(f_{n_k})_k$; $\bullet$ If $(f_n)_n$ is a sequence of uniformly bounded finitely equicontinuous lower (upper) semicontinuous functions from $X$ to $\Bbb R$, then there is a uniformly convergent subsequence $(f_{n_k})_k$; $\bullet$ If $(f_n)_n$ is a sequence of uniformly bounded finitely equicontinuous quasicontinuous functions from $X$ to $Y$, then there is a uniformly convergent subsequence $(f_{n_k})_k$.


title: Dietcoin: shortcutting the Bitcoin verification process for your smartphone

abstract: Blockchains have a storage scalability issue. Their size is not bounded and they grow indefinitely as time passes. As of August 2017, the Bitcoin blockchain is about 120 GiB big while it was only 75 GiB in August 2016. To benefit from Bitcoin full security model, a bootstrapping node has to download and verify the entirety of the 120 GiB. This poses a challenge for low-resource devices such as smartphones. Thankfully, an alternative exists for such devices which consists of downloading and verifying just the header of each block. This partial block verification enables devices to reduce their bandwidth requirements from 120 GiB to 35 MiB. However, this drastic decrease comes with a safety cost implied by a partial block verification. In this work, we enable low-resource devices to fully verify subchains of blocks without having to pay the onerous price of a full chain download and verification; a few additional MiB of bandwidth suffice. To do so, we propose the design of diet nodes that can securely query full nodes for shards of the UTXO set, which is needed to perform full block verification and can otherwise only be built by sequentially parsing the chain.


title: Warped product pointwise bi-slant submanifolds of Kenmotsu manifolds

abstract: The present paper deals with the study of warped product pointwise bi-slant submanifolds of Kenmotsu manifolds with an example. The characterization for such submanifold is also discussed. An inequality of such submanifold is obtained and its equality case is also considered.


title: Polarization attack on continuous-variable quantum key distribution

abstract: The shot-noise unit (SNU) is a crucial factor for the practical security of a continuous-variable quantum key distribution system. In the most widely used experimental scheme, the SNU should be calibrated first and acts as a constant during the key distribution. However, the SNU of a practical system is dependent on the various parameters of the local oscillator, which can be controlled by the eavesdropper in the open channel. In this paper, we report a quantum hacking method to control the practical SNU by using the limited compensation rate of the polarization compensation. Since the compensation is only based on of the polarization measurement results of part of local oscillator pulses, the polarization of other unmeasured pulses may not be compensated correctly, which can be utilized by the eavesdropper to control the practical SNU. The simulation and experiment results indicate that the practical SNU can be controlled by the eavesdropper. Thus, the eavesdropper can use the fact that the practical SNU is no longer equals to the calibrated one to control the excess noise and final key rate.


title: Singular BGG complexes over isotropic 2-Grassmannian

abstract: We construct exact sequences of invariant differential operators acting on sections of certain homogeneous vector bundles in singular infinitesimal character, over the isotropic $2$-Grassmannian. This space is equal to $G/P$, where $G$ is $\operatorname{Sp}(2n,\mathbb{C})$, and $P$ its standard parabolic subgroup having the Levi factor $\operatorname{GL}(2,\mathbb{C}) \times \operatorname{Sp}(2n-4,\mathbb{C})$. The constructed sequences are analogues of the Bernstein-Gelfand-Gelfand resolutions. We do this by considering the Penrose transform over an appropriate double fibration. The result differs from the Hermitian situation.


title: Higher $\mathcal{L}$-invariants for $\mathrm{GL}_3(\mathbb{Q}_p)$ and local-global compatibility

abstract: Let $\rho_p$ be a $3$-dimensional $p$-adic semi-stable representation of $\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ with Hodge-Tate weights $(0,1,2)$ (up to shift) and such that $N^2\ne 0$ on $D_{\mathrm{st}}(\rho_p)$. When $\rho_p$ comes from an automorphic representation $\pi$ of $G(\mathbb{A}_{F^+})$ (for a unitary group $G$ over a totally real field $F^+$ which is compact at infinite places and $\mathrm{GL}_3$ at $p$-adic places), we show under mild genericity assumptions that the associated Hecke-isotypic subspaces of the Banach spaces of $p$-adic automorphic forms on $G(\mathbb{A}_{F^+}^\infty)$ of arbitrary fixed tame level contain (copies of) a unique admissible finite length locally analytic representation of $\mathrm{GL}_3(\mathbb{Q}_p)$ which only depends on and completely determines $\rho_p$.


title: Was the cosmic ray burst detected by the GRAPES-3 on 22 June 2015 caused by transient weakening of geomagnetic field or by an interplanetary anisotropy?

abstract: The GRAPES-3 muon telescope in Ooty, India had claimed detection of a 2 hour (h) high-energy ($\sim$20 GeV) burst of galactic cosmic-rays (GCRs) through a $>$50$\sigma$ surge in GeV muons, was caused by reconnection of the interplanetary magnetic field (IMF) in the magnetosphere that led to transient weakening of Earth's magnetic shield. This burst had occurred during a G4-class geomagnetic storm (storm) with a delay of $\frac{1}{2}$h relative to the coronal mass ejection (CME) of 22 June 2015 (Mohanty et al., 2016). However, recently a group interpreted the occurrence of the same burst in a subset of 31 neutron monitors (NMs) to have been the result of an anisotropy in interplanetary space (Evenson et al., 2017) in contrast to the claim in (Mohanty et al., 2016). A new analysis of the GRAPES-3 data with a fine 10.6$^{\circ}$ angular segmentation shows the speculation of interplanetary anisotropy to be incorrect, and offers a possible explanation of the NM observations. The observed 28 minutes (min) delay of the burst relative to the CME can be explained by the movement of the reconnection front from the bow shock to the surface of Earth at an average speed of 35 km/s, much lower than the CME speed of 700 km/s. This measurement may provide a more accurate estimate of the start of the storm.


title: Testing the ability of Multivariate Hybrid Spatial Network Analysis to predict the effect of a major urban redevelopment on pedestrian flows

abstract: Predicting how changes to the urban environment will affect town centre vitality, mediated as pedestrian flows, is important for environmental, social and economic sustainability. This study is a longitudinal investigation of before and after urban environmental change in a town centre and its association with vitality. The case study baseline is Cardiff town centre in 2007, prior and after major changes instigated by re-configuring Cardiff public and quasi-public street layout due to implementation of the St David's Phase 2 retail development. We present a Multivariate Hybrid Spatial Network Analysis (MHSpNA) model, which bridges the gap between existing Spatial Network Analysis models and four stage modelling techniques. Multiple theoretical flows are computed based on retail floor area (everywhere to shops, shop to shop, stations to shops and parking to shops). The calibration process determines a suitable balance of these to best match observed pedestrian flows, using generalized cross-validation to prevent overfit. Validation shows that the 2007 model successfully predicts vitality as pedestrian flows measured in 2010 and 2011. This is the first time, to our knowledge, that a vitality-pedestrian flow model has been evaluated for its ability to forecast town centre vitality changes over time.


title: A Test of the Active Day Fraction Method of Sunspot Group Number Calibration: Dependence on the Level of Solar Activity

abstract: The method of active day fraction (ADF) was proposed recently to calibrate different solar observers to the standard observational conditions. The result of the calibration may depend on the overall level of solar activity during the observational period. This dependency is studied quantitatively using data of the Royal Greenwich Observatory, by formally calibrating synthetic pseudo-observers to the full reference dataset. It is shown that the sunspot group number is precisely estimated by the ADF method for periods of moderate activity, may be slightly underestimated by 0.5\,--\,1.5 groups ($\leq$10\,\%) for strong and very strong activity, and is strongly overestimated by up to 2.5 groups ($\leq$30\,\%) for weak--moderate activity. The ADF method becomes unapplicable for the periods of grand minima of activity. In general, the ADF method tends to overestimate the overall level of activity and to reduce the long-term trends.


title: A five-equation model for the simulation of miscible and viscous compressible fluids

abstract: Typical multispecies compressible Navier-Stokes computations employ conservative equations for mass fraction transport. Upwind discretisations of these governing equations produce spurious pressure oscillations at diffuse contact surfaces between gases of differing ratio of specific heat capacities which degrade the convergence rate of the algorithm. Adding quasi-conservative equations for volume fraction can solve this error, however this approach has been derived only for immiscible fluids. Here, a five-equation quasi-conservative model is proposed that includes the effects of species diffusion, viscosity and thermal conductivity. The derivation of the model is presented, along with a numerical method to solve the governing equations at second order accuracy in space and time. Formal convergence studies demonstrate the expected order of accuracy is achieved for three benchmark problems, cross-validated against two standard mass fraction models. In these test cases, the new model has between 2 and 10 times lower error for a given grid size. Simulations of a two-dimensional air-SF_6 Richtmyer-Meshkov instability demonstrate that the new model converges to the solution with four times fewer points in each direction when compared to the mass fraction model in an identical numerical framework. This represents an ~40 times lower computational cost for an equivalent error in two-dimensional computations. The proposed model is thus very suitable for Direct Numerical Simulation and Large Eddy Simulation of compressible mixing.


title: Does gravity cause disentanglement?

abstract: Inspired by our recent works on information paradox in black holes, which exploit various foundational intricacies of quantum mechanics, here we propose a novel connection between the spacetime geometry and quantum entanglement of matter fields "living" in that geometry. We highlight, as a natural consequence of those studies, that gravitational field might have a natural tendency of reducing entanglement between two quantum states.


title: Free coarse groups

abstract: A coarse group is a group endowed with a coarse structure so that the group multiplication and inversion are coarse mappings. Let $(X, \mathcal{E})$ be a coarse space and let $\mathfrak{M}$ be a variety of groups different from the variety of singletons. We prove that there is a coarse group $F_{\mathfrak{M}} (X, \mathcal{E})\in \mathfrak{M}$ such that $(X, \mathcal{E}) $ is a subspace of $F_{\mathfrak{M}} (X, \mathcal{E})$, $X$ generates $F_{\mathfrak{M}} (X, \mathcal{E})$ and every coarse mapping $(X, \mathcal{E}) \longrightarrow (G, \mathcal{E}^{\prime}) $ where $G\in\mathfrak{M}$, $(G, \mathcal{E}^{\prime}) $ is a coarse group, can be extended to coarse homomorphism $F_{\mathfrak{M}} (X, \mathcal{E})\longrightarrow (G, \mathcal{E}^{\prime}) $. If $\mathfrak{M}$ is the variety of all groups, the groups $F_{\mathfrak{M}} (X, \mathcal{E})$ are asymptotic counterparts of Markov free topological groups over Tikhonov spaces.


title: Giant catalytic effect of altruists in Schelling's segregation model

abstract: We study the effect of introducing altruistic agents in a Schelling-like model of residential segregation. We find that even an infinitesimal proportion of altruists has dramatic catalytic effects on the collective utility of the system. Altruists provide pathways that move the system away from the suboptimal equilibrium it would reach if the system included only egoist agents, allowing it to reach the optimal steady state.


title: Study of pseudogap and superconducting quasiparticle dynamics in $\rm{Bi_2Sr_2CaCu_2O_{8+\delta}}$ by time-resolved optical reflectivity

abstract: The relation between pseudogap (PG) and superconducting (SC) gap, whether PG is a precursor of SC or they coexist or compete, is a long-standing controversy in cuprate high-temperature supercondutors. Here, we report ultrafast time-resolved optical reflectivity investigation of the dynamic densities and relaxations of PG and SC quasiparticles (QPs) in the underdoped $\rm{Bi_2Sr_2CaCu_2O_{8+\delta}}$ ($T_c$ = 82 K) single crystals. We find evidence of two distinct PG components in the positive reflectivity changes in the PG state, characterized by relaxation timescales of $\tau_{fast}$ $\approx$ 0.2 ps and $\tau_{slow}$ $\approx$ 2 ps with abrupt changes in both amplitudes $A_{fast}$ and $A_{slow}$ at the PG-opening temperature $T^*$. The former presents no obvious change at $T_c$ and coexists with the SC QP. The latter's amplitude starts decreasing at the SC phase fluctuation $T_p$ and vanishes at $T_c$ followed by a negative amplitude signifying the emergence of the SC QP, therefore suggesting a competition with superconductivity.


title: Streamline integration as a method for structured grid generation in X-point geometry

abstract: We investigate structured grids aligned to the contours of a two-dimensional flux-function with an X-point (saddle point). Our theoretical analysis finds that orthogonal grids exist if and only if the Laplacian of the flux-function vanishes at the X-point. In general, this condition is sufficient for the existence of a structured aligned grid with an X-point. With the help of streamline integration we then propose a numerical grid construction algorithm. In a suitably chosen monitor metric the Laplacian of the flux-function vanishes at the X-point such that a grid construction is possible. We study the convergence of the solution to elliptic equations on the proposed grid. The diverging volume element and cell sizes at the X-point reduce the convergence rate. As a consequence, the proposed grid should be used with grid refinement around the X-point in practical applications. We show that grid refinement in the cells neighboring the X-point restores the expected convergence rate.


title: Bundled fragments of first-order modal logic: (un)decidability

abstract: Quantified modal logic provides a natural logical language for reasoning about modal attitudes even while retaining the richness of quantification for referring to predicates over domains. But then most fragments of the logic are undecidable, over many model classes. Over the years, only a few fragments (such as the monodic) have been shown to be decidable. In this paper, we study fragments that bundle quantifiers and modalities together, inspired by earlier work on epistemic logics of know-how/why/what. As always with quantified modal logics, it makes a significant difference whether the domain stays the same across worlds, or not. In particular, we show that the bundle $\forall \Box$ is undecidable over constant domain interpretations, even with only monadic predicates, whereas $\exists \Box$ bundle is decidable. On the other hand, over increasing domain interpretations, we get decidability with both $\forall \Box$ and $\exists \Box$ bundles with unrestricted predicates. In these cases, we also obtain tableau based procedures that run in \PSPACE. We further show that the $\exists \Box$ bundle cannot distinguish between constant domain and increasing domain interpretations.


title: On Degree Properties of Crossing-Critical Families of Graphs

abstract: Answering an open question from 2007, we construct infinite $k$-crossing-critical families of graphs that contain vertices of any prescribed odd degree, for any sufficiently large~$k$. To answer this question, we introduce several properties of infinite families of graphs and operations on the families allowing us to obtain new families preserving those properties. This conceptual setup allows us to answer general questions on behaviour of degrees in crossing-critical graphs: we show that, for any set of integers $D$ such that $\min(D)\geq 3$ and $3,4\in D$, and for any sufficiently large $k$, there exists a $k$-crossing-critical family such that the numbers in $D$ are precisely the vertex degrees that occur arbitrarily often in (large enough) graphs of this family. Furthermore, even if both $D$ and some average degree in the interval $(3,6)$ are prescribed, $k$-crossing-critical families exist for any sufficiently large $k$.


title: Relativistic stars in degenerate higher-order scalar-tensor theories after GW170817

abstract: We study relativistic stars in degenerate higher-order scalar-tensor theories that evade the constraint on the speed of gravitational waves imposed by GW170817. It is shown that the exterior metric is given by the usual Schwarzschild solution if the lower order Horndeski terms are ignored in the Lagrangian and a shift symmetry is assumed. However, this class of theories exhibits partial breaking of Vainshtein screening in the stellar interior and thus modifies the structure of a star. Employing a simple concrete model, we show that for high-density stars the mass-radius relation is altered significantly even if the parameters are chosen so that only a tiny correction is expected in the Newtonian regime. We also find that, depending on the parameters, there is a maximum central density above which solutions cease to exist.


title: Liquid Metal Enabled Droplet Circuits

abstract: Conventional electrical circuits are generally rigid in their components and working styles which are not flexible and stretchable. From an alternative, liquid metal based soft electronics is offering important opportunities for innovating modern bioelectronics and electrical engineering. However, its running in wet environments such as aqueous solution, biological tissues or allied subjects still encounters many technical challenges. Here, we proposed a new conceptual electrical circuit, termed as droplet circuits, to fulfill the special needs as raised in the above mentioned areas. Such unconventional circuits are immersed in solution and composed of liquid metal droplets, conductive ions or wires such as carbon nanotubes. With specifically designed topological or directional structures/patterns, the liquid metal droplets composing the circuit can be discretely existing and disconnected from each other, while achieving the function of electron transport through conductive routes or quantum tunneling effect. The conductive wires serve as the electron transfer stations when the distance between two separate liquid metal droplets is far beyond than that quantum tunneling effects can support. The unique advantage of the current droplet circuit lies in that it allows parallel electron transport, high flexibility, self-healing, regulativity and multi-point connectivity, without needing to worry about circuit break. This would extend the category of classical electrical circuits into the newly emerging areas like realizing room temperature quantum computing, making brain-like intelligence or nerve-machine interface electronics etc. The mechanisms and potential scientific issues of the droplet circuits are interpreted. Future prospects along this direction are outlined.


title: Non-Linear Model Predictive Control with Adaptive Time-Mesh Refinement

abstract: In this paper, we present a novel solution for real-time, Non-Linear Model Predictive Control (NMPC) exploiting a time-mesh refinement strategy. The proposed controller formulates the Optimal Control Problem (OCP) in terms of flat outputs over an adaptive lattice. In common approximated OCP solutions, the number of discretization points composing the lattice represents a critical upper bound for real-time applications. The proposed NMPC-based technique refines the initially uniform time horizon by adding time steps with a sampling criterion that aims to reduce the discretization error. This enables a higher accuracy in the initial part of the receding horizon, which is more relevant to NMPC, while keeping bounded the number of discretization points. By combining this feature with an efficient Least Square formulation, our solver is also extremely time-efficient, generating trajectories of multiple seconds within only a few milliseconds. The performance of the proposed approach has been validated in a high fidelity simulation environment, by using an UAV platform. We also released our implementation as open source C++ code.


title: Coupled variational problems of linear growth related to the denoising and inpainting of images

abstract: In this note we present some results that were already conjectured in the work [9] by Bildhauer, Fuchs and Weickert, where they have investigated analytical aspects of coupled variational models with applications to mathematical imaging. Here we focus on variants of linear growth, which require a treatment in the framework of relaxation theory and convex analysis. Following basic ideas from [6] and [7], we establish existence and regularity of (dual-)solutions.


title: Anomalous Hall effect in dense QCD matter

abstract: In this letter, we investigate the anomalous Hall effect in dense QCD matter. When the dual chiral density wave which is the spatially modulated chiral condensate appears in the medium, it gives rise to two Weyl points to the single-particle energy-spectrum and then the anomalous Hall conductivity becomes nonzero. Then, dense QCD matter is analogous to the Weyl semimetal. The direct calculation of the Hall conductivity by way of Kubo's linear response theory gives the term proportional to the distance between the Weyl points. Unlike the Weyl semimetal, there appears the additional contribution induced by axial anomaly.


title: The cone-beam transform and spherical convolution operators

abstract: The cone-beam transform consists of integrating a function defined on the three-dimensional space along every ray that starts on a certain scanning set. Based on Grangeat's formula, Louis [2016, Inverse Problems 32 115005] states reconstruction formulas based on a new generalized Funk-Radon transform on the sphere. In this article, we give a singular value decomposition of this generalized Funk-Radon transform. We use this result to derive a singular value decomposition of the cone-beam transform with sources on the sphere thus generalizing a result of Kazantsev [2015, J. Inverse Ill-Posed Probl. 23(2):173-185].


title: A note on the maximal numerical range

abstract: We show that the maximal numerical range of an operator has a non-empty intersection with the boundary of its numerical range if and only if the operator is normaloid. A description of this intersection is also given.


title: Equiaffine isoparametric functions and their regular level hypersurfaces

abstract: In this paper, we introduce and study the locally strongly convex equiaffine isoparametric hypersurfaces and equiaffine isoparametric functions on the affine space $A^{n+1}$. Motivated by the case on the Euclidean space $E^{n+1}$, we first introduce the concept of equiaffine parallel hypersurfaces in $A^{n+1}$, obtaining some fundamental identities with the basic equiaffine geometric invariants, and then we define the equiaffine isoparametric hypersurfaces to be ones that are among families of equiaffine parallel hypersurfaces of constant affine mean curvature in $A^{n+1}$. Finally, we introduce the concept of equiaffine isoparametric functions on $A^{n+1}$, and prove that any equiaffine isoparametric hypersurface is exactly a regular level set of some equiaffine isoparametric function.


title: Rotationally cold OH$^-$ ions in the cryogenic electrostatic ion-beam storage ring DESIREE

abstract: We apply near-threshold laser photodetachment to characterize the rotational quantum level distribution of OH$^-$ ions stored in the cryogenic ion-beam storage ring, DESIREE, at Stockholm University. We find that the stored ions relax to a rotational temperature of 13.4$\pm$0.2 K with 94.9$\pm$0.3 % of the ions in the rotational ground state. This is consistent with the storage ring temperature of 13.5$\pm$0.5 K as measured with eight silicon diodes, but in contrast to all earlier studies in cryogenic traps and rings where the rotational temperatures were always much higher than those of the storage devices at their lowest temperatures. Furthermore, we actively modify the rotational distribution through selective photodetachment to produce an OH$^-$ beam where 99.1$\pm$0.1 % of approximately one million stored ions are in the $J$=0 rotational ground state.


title: Signal recovery via TV-type energies

abstract: We consider one-dimensional variants of the classical first order total variation denoising model introduced by Rudin, Osher and Fatemi. This study is based on our previous work on various denoising and inpainting problems in image analysis, where we applied variational methods in arbitrary dimensions. More than being just a special case, the one-dimensional setting allows us to study regularity properties of minimizers by more subtle methods that do not have correspondences in higher dimensions. In particular, we obtain quite strong regularity results for a class of data functions that contains many of the standard examples from signal processing such as rectangle- or triangle signals as a special case. An analysis of the related Euler-Lagrange equation, which turns out to be a second order two-point boundary value problem with Neumann conditions, by ODE methods completes the picture of our investigation.


title: Quantum algorithms for training Gaussian Processes

abstract: Gaussian processes (GPs) are important models in supervised machine learning. Training in Gaussian processes refers to selecting the covariance functions and the associated parameters in order to improve the outcome of predictions, the core of which amounts to evaluating the logarithm of the marginal likelihood (LML) of a given model. LML gives a concrete measure of the quality of prediction that a GP model is expected to achieve. The classical computation of LML typically carries a polynomial time overhead with respect to the input size. We propose a quantum algorithm that computes the logarithm of the determinant of a Hermitian matrix, which runs in logarithmic time for sparse matrices. This is applied in conjunction with a variant of the quantum linear system algorithm that allows for logarithmic time computation of the form $\mathbf{y}^TA^{-1}\mathbf{y}$, where $\mathbf{y}$ is a dense vector and $A$ is the covariance matrix. We hence show that quantum computing can be used to estimate the LML of a GP with exponentially improved efficiency under certain conditions.


title: A note on the factorization of some structured matrix functions

abstract: Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in terms of the Schur complement of A.


title: Discovery and characterisation of long-period eclipsing binary stars from Kepler K2 campaigns 1, 2 and 3

abstract: The Kepler K2 mission now makes it possible to find and study a wider variety of eclipsing binary stars than has been possible to-date, particularly long-period systems with narrow eclipses. Our aim is to characterise eclipsing binary stars observed by the Kepler K2 mission with orbital periods longer than $P\approx 5.5$ days. The $ellc$ binary star model has been used to determine the geometry of eclipsing binary systems in Kepler K2 campaigns 1, 2 and 3. The nature of the stars in each binary is estimated by comparison to stellar evolution tracks in the effective temperature - mean stellar density plane. 43 eclipsing binary systems have been identified and 40 of these are characterised in some detail. The majority of these systems are found to be late-type dwarf and sub-giant stars with masses in the range 0.6 to 1.4 solar masses. We identify two eclipsing binaries containing red giant stars, including one bright system with total eclipses that is ideal for detailed follow-up observations. The bright B3V-type star HD142883 is found to be an eclipsing binary in a triple star system. We observe a series of frequencies at large multiples of the orbital frequency in BW Aqr that we tentatively identify as tidally induced pulsations in this well-studied eccentric binary system. We find that the faint eclipsing binary EPIC201160323 shows rapid apsidal motion. Rotational modulation signals are observed in 13 eclipsing systems, the majority of which are found to rotate non-synchronously with their orbits. We conclude that the K2 mission is a rich source of data that can be used to find long period eclipsing binary stars. These data combined with follow-up observations can be used to precisely measure the masses and radii of stars for which such fundamental data are currently lacking, e.g., sub-giant stars and slowly-rotating low-mass stars.


title: Physics of Bubble-Propelled Microrockets

abstract: A popular method to induce synthetic propulsion at the microscale is to use the forces created by surface-produced gas bubbles inside the asymmetric body of a catalytic swimmer (referred to in the literature as microrocket). Gas bubbles nucleate and grow within the catalytic swimmer and migrate toward one of its opening under the effect of asymmetric geometric confinement, thus generating a net hydrodynamic force which propels the device. In this paper we use numerical simulations to develop a joint chemical (diffusive) and hydrodynamic (Stokes) analysis of the bubble growth within a conical catalytic microrocket and of the associated bubble and microrocket motion. Our computational model allows us to solve for the bubble dynamics over one full bubble cycle ranging from its nucleation to its exiting the conical rocket and therefore to identify the propulsion characteristics as function of all design parameters, including geometry and chemical activity of the motor, surface tension phenomena, and all physicochemical constants. Our results suggest that hydrodynamics and chemistry partially decouple in the motion of the bubbles, with hydrodynamics determining the distance travelled by the microrocket over each cycle while chemistry setting the bubble ejection frequency. Our numerical model finally allows us to identify an optimal microrocket shape and size for which the swimming velocity (distance travelled per cycle duration) is maximized.


title: Operator Theory on One-Sided Quaternionic Linear Spaces: Intrinsic S-Functional Calculus and Spectral Operators

abstract: Two themes drive this article: identifying the structure necessary to formulate quaternionic operator theory and revealing the relation between complex and quaternionic operator theory. The theory of quaternionic right linear operators is usually formulated assuming the existenc of both a right- and a left-multiplication on the Banach space $V$, as the space of bounded operators on $V$ is otherwise not a quaternionic linear space. A right linear operator is however only associated with the right-multiplication and in certain settings, e.g. on Hilbert spaces, the left-multiplication is not defined a priori but must be chosen randomly. Spectral properties of an operator should hence be independent of this left multiplication. We show that results derived from functional calculi for intrinsic slice functions can be formulated without the assumption of a left multiplication. We develop the S-functional calculus in this setting and a new approach to spectral integration. This approach has a clear interpretation in terms of the right linear structure on the space and allows to formulate the spectral theorem without using any randomly chosen structure. Our techniques only apply to intrinsic slice functions, but only these functions are compatible with the basic intuition of a functional calculus that $f(T)$ should be defined by letting $f$ act on the spectral values of $T$. Using these tools, we develop a theory of quaternionic spectral operators. In particular, we show the existence of a canonical decomposition of such operator and discuss its behavior under the S-functional calculus. Finally, we show a relation with complex operator theory: if we embed the complex numbers into the quaternions, then complex and quaternionic operator theory are consistent. The symmetry of intrinsic slice functions guarantees that this compatibility is true for any imbedding of the complex numbers.


title: Machine Speech Chain with One-shot Speaker Adaptation

abstract: In previous work, we developed a closed-loop speech chain model based on deep learning, in which the architecture enabled the automatic speech recognition (ASR) and text-to-speech synthesis (TTS) components to mutually improve their performance. This was accomplished by the two parts teaching each other using both labeled and unlabeled data. This approach could significantly improve model performance within a single-speaker speech dataset, but only a slight increase could be gained in multi-speaker tasks. Furthermore, the model is still unable to handle unseen speakers. In this paper, we present a new speech chain mechanism by integrating a speaker recognition model inside the loop. We also propose extending the capability of TTS to handle unseen speakers by implementing one-shot speaker adaptation. This enables TTS to mimic voice characteristics from one speaker to another with only a one-shot speaker sample, even from a text without any speaker information. In the speech chain loop mechanism, ASR also benefits from the ability to further learn an arbitrary speaker's characteristics from the generated speech waveform, resulting in a significant improvement in the recognition rate.


title: A brief overview of planet formation

abstract: The initial conditions, physics, and outcome of planet formation are now constrained by detailed observations of protoplanetary disks, laboratory experiments, and the discovery of thousands of extrasolar planetary systems. These developments have broadened the range of processes that are considered important in planet formation, to include disk turbulence, radial drift, planet migration, and pervasive post-formation dynamical evolution. The N-body collisional growth of planetesimals and protoplanets, and the physics of planetary envelopes - key ingredients of the classical model - remain central. I provide an overview of the current status of planet formation theory, and discuss how it connects to observations.


title: Porous silicon carbide and aluminum oxide with unidirectional open porosity as model target materials for radioisotope beam production

abstract: New silicon carbide (SiC) and aluminum oxide (Al2O3) of a tailor-made microstructure were produced using the ice-templating technique, which permits controlled pore formation conditions within the material. These prototypes will serve to verify aging of the new advanced target materials under irradiation with proton beams. Before this, the evaluation of their mechanical integrity was made based on the energy deposition spectra produced by FLUKA codes.


title: An Application of the $S$-Functional Calculus to Fractional Diffusion Processes

abstract: In this paper we show how the spectral theory based on the notion of $S$-spectrum allows us to study new classes of fractional diffusion and of fractional evolution processes. We prove new results on the quaternionic version of the $H^\infty$ functional calculus and we use it to define the fractional powers of vector operators. The Fourier laws for the propagation of the heat in non homogeneous materials is a vector operator of the form \[ T=e_1\,a(x)\partial_{x_1} + e_2\,b(x)\partial_{x_2} + e_3\,c(x)\partial_{x_3}, \] where $e_\ell$, $e_\ell=1,2,3$ are orthogonal unit vectors, $a$, $b$, $c$ are suitable real valued function that depend on the space variables $x=(x_1,x_2,x_3)$ and possibly also on time. In this paper we develop a general theory to define the fractional powers of quaternionic operators which contain as a particular case the operator $T$ so we can define the non local version $T^\alpha$, for $\alpha\in (0,1)$, of the Fourier law defined by $T$. Our new mathematical tools open the way to a large class of fractional evolution problems that can be defined and studied using our theory based on the $S$-spectrum for vector operators. This paper is devoted to researchers in different research fields such as: fractional diffusion and fractional evolution problems, partial differential equations, non commutative operator theory, and quaternionic analysis.


title: Rigidity of asymptotically $AdS_2 \times S^2$ spacetimes

abstract: The spacetime $AdS_2 \times S^2$ is well known to arise as the 'near horizon' geometry of the extremal Reissner-Nordstrom solution, and for that reason it has been studied in connection with the AdS/CFT correspondence. Here we consider asymptotically $AdS_2 \times S^2$ spacetimes that obey the null energy condition (or a certain averaged version thereof). Supporting a conjectural viewpoint of Juan Maldacena, we show that any such spacetime must have a special geometry similar in various respects to $AdS_2 \times S^2$, and under certain circumstances must be isometric to $AdS_2 \times S^2$.


title: Design for the Right to the Smart City in More-than-Human Worlds

abstract: Environmental concerns have driven an interest in sustainable smart cities, through the monitoring and optimisation of networked infrastructure processes. At the same time, there are concerns about who these interventions and services are for, and who benefits. HCI researchers and designers interested in civic life have started to call for the democratisation of urban space through resistance and political action to challenge state and corporate claims. This paper aims to add to the growing body of critical and civic led smart city literature in HCI by leveraging concepts from the environmental humanities about more than human worlds, as a way to shift understandings within HCI of smart cities away from the exceptional and human centered, towards a more inclusive understanding that incorporates and designs for other others and other species. We illustrate through a case study that involved codesigning Internet of Things with urban agricultural communities, possibilities for creating more environmentally and socially just smart cities.


title: Inelastic O+H collisions and the OI 777nm solar centre-to-limb variation

abstract: The OI 777 nm triplet is a key diagnostic of oxygen abundances in the atmospheres of FGK-type stars; however it is sensitive to departures from local thermodynamic equilibrium (LTE). The accuracy of non-LTE line formation calculations has hitherto been limited by errors in the inelastic O+H collisional rate coefficients: several recent studies have used the so-called Drawin recipe, albeit with a correction factor $\mathrm{S_{H}}$ that is calibrated to the solar centre-to-limb variation of the triplet. We present a new model oxygen atom that incorporates inelastic O+H collisional rate coefficients using an asymptotic two-electron model based on linear combinations of atomic orbitals, combined with a free electron model, based on the impulse approximation. Using a 3D hydrodynamic stagger model solar atmosphere and 3D non-LTE line formation calculations, we demonstrate that this physically-motivated approach is able to reproduce the solar centre-to-limb variation of the triplet to 0.02 dex, without any calibration of the inelastic collisional rate coefficients or other free parameters. We infer $\log\epsilon_{\mathrm{O}}=8.69\pm0.03$ from the triplet alone, strengthening the case for a low solar oxygen abundance.


title: The Booleanization of an inverse semigroup

abstract: We prove that the forgetful functor from the category of Boolean inverse semigroups to inverse semigroups with zero has a left adjoint. This left adjoint is what we term the `Booleanization'. We establish the exact connection between the Booleanization of an inverse semigroup and Paterson's universal groupoid of the inverse semigroup and we explicitly compute the Booleanization of the polycyclic inverse monoid $P_{n}$ and demonstrate its affiliation with the Cuntz-Toeplitz algebra.


title: Study of Isolated-photon and Jet Momentum Imbalance in $pp$ and $PbPb$ collisions

abstract: In this paper, we study the production of isolated-photon plus a jet in $pp$ and $PbPb$ collisions, which can be used as an important probe to the jet transport property in quark gluon plasma created in heavy ion collisions. Normally, there are two types of observables associated with the production of isolated-photon plus a jet, namely, the azimuthal angular correlation and the transverse momentum imbalance. To understand both observables in the full kinematical region, we need to employ the perturbative QCD calculation, which takes into account the hard splitting of partons, together with the Sudakov resummation formalism, which resums soft gluon splittings. Furthermore, by introducing energy-loss into the system, we calculate the enhancement of the momentum imbalance distribution for $AA$ as compared to $pp$ collisions and make predictions for future unfolded experimental data. In addition, in order to extract the jet transport coefficient more precisely in our numerical calculation, we also distinguish quark jets from gluon jets, since they interact with quark gluon plasma with different strengths. This work provides a reliable theoretical tool for the calculation of the gamma-jet correlation, which can lead us to a more precise extraction of the jet transport coefficient in relativistic heavy-ion collisions.


title: A remark on the denoising of greyscale images using energy densities with varying growth rates

abstract: We prove the solvability in Sobolev spaces for a class of variational problems related to the TV-model proposed by Rudin, Osher and Fatemi in [1] for the denoising of greyscale images. In contrast to their approach we discuss energy densities with variable growth rates depending on $|\nabla u|$ in a rather general form including functionals of $(1, p)$-growth.


title: Estimating causal effects of time-dependent exposures on a binary endpoint in a high-dimensional setting

abstract: Recently, the intervention calculus when the DAG is absent (IDA) method was developed to estimate lower bounds of causal effects from observational high-dimensional data. Originally it was introduced to assess the effect of baseline biomarkers which do not vary over time. However, in many clinical settings, measurements of biomarkers are repeated at fixed time points during treatment exposure and, therefore, this method need to be extended. The purpose of this paper is then to extend the first step of the IDA, the Peter Clarks (PC)-algorithm, to a time-dependent exposure in the context of a binary outcome. We generalised the PC-algorithm for taking into account the chronological order of repeated measurements of the exposure and propose to apply the IDA with our new version, the chronologically ordered PC-algorithm (COPC-algorithm). A simulation study has been performed before applying the method for estimating causal effects of time-dependent immunological biomarkers on toxicity, death and progression in patients with metastatic melanoma. The simulation study showed that the completed partially directed acyclic graphs (CPDAGs) obtained using COPC-algorithm were structurally closer to the true CPDAG than CPDAGs obtained using PC-algorithm. Also, causal effects were more accurate when they were estimated based on CPDAGs obtained using COPC-algorithm. Moreover, CPDAGs obtained by COPC-algorithm allowed removing non-chronologic arrows with a variable measured at a time t pointing to a variable measured at a time t' where t'< t. Bidirected edges were less present in CPDAGs obtained with the COPC-algorithm, supporting the fact that there was less variability in causal effects estimated from these CPDAGs. The COPC-algorithm provided CPDAGs that keep the chronological structure present in the data, thus allowed to estimate lower bounds of the causal effect of time-dependent biomarkers.


title: Low-cost Cognitive Radios against Spectrum Scarcity

abstract: The next generation wireless networks are envisioned to deal with the expected thousand-fold increase in total mobile broadband data and the hundred-fold increase in connected devices. In order to provide higher data rates, improved end-to-end performance, low latency, and low energy consumption at a low cost per transmission, the fifth generation (5G) systems are required to overcome various handicaps of current cellular networks and wireless links. One of the key handicaps of 5G systems is the performance degradation of the communication link, due to the use of low-cost transceiver in high data rate. Motivated by this in this paper, we discuss the impact of transceiver front-end hardware imperfections on the spectrum sensing performance of cognitive radios.


title: Context-aware Deep Feature Compression for High-speed Visual Tracking

abstract: We propose a new context-aware correlation filter based tracking framework to achieve both high computational speed and state-of-the-art performance among real-time trackers. The major contribution to the high computational speed lies in the proposed deep feature compression that is achieved by a context-aware scheme utilizing multiple expert auto-encoders; a context in our framework refers to the coarse category of the tracking target according to appearance patterns. In the pre-training phase, one expert auto-encoder is trained per category. In the tracking phase, the best expert auto-encoder is selected for a given target, and only this auto-encoder is used. To achieve high tracking performance with the compressed feature map, we introduce extrinsic denoising processes and a new orthogonality loss term for pre-training and fine-tuning of the expert auto-encoders. We validate the proposed context-aware framework through a number of experiments, where our method achieves a comparable performance to state-of-the-art trackers which cannot run in real-time, while running at a significantly fast speed of over 100 fps.


title: A reciprocity principle for constrained isoperimetric problems and existence of isoperimetric subregions in convex sets

abstract: It is a well known fact that in $\mathbb{R}^n$ a subset of minimal perimeter $L$ among all sets of a given volume is also a set of maximal volume among all sets of the same perimeter $L$. This is called the reciprocity principle for isoperimetric problems. The aim of this note is to prove this relation in the case where the class of admissible sets is restricted to the subsets of some subregion $G\subsetneq\mathbb{R}^n$. Furthermore, we give a characterization of those (unbounded) convex subsets of $\mathbb{R}^2$ in which the isoperimetric problem has a solution. The perimeter that we consider is the one relative to $\mathbb{R}^n$.


title: Towards Entanglement of Purification for Conformal Field Theories

abstract: We argue that the entanglement of purification for two dimensional holographic CFT can be obtained from conformal blocks with internal twist operators. First, we explain our formula from the view point of tensor network model of holography. Then, we apply it to bipartite mixed states dual to subregion of AdS${}_3$ and the static BTZ blackhole geometries. The formula in CFT agrees with the entanglement wedge cross section in the bulk, which has been recently conjectured to be equivalent to the entanglement of purification.


title: Three-dimensional structure of the milky way dust: modeling of LAMOST data

abstract: We present a three-dimensional modeling of the Milky Way dust distribution by fitting the value-added star catalog of LAMOST spectral survey. The global dust distribution can be described by an exponential disk with scale-length of 3,192 pc and scale height of 103 pc. In this modeling, the Sun is located above the dust disk with a vertical distance of 23 pc. Besides the global smooth structure, two substructures around the solar position are also identified. The one located at $150^{\circ}<l<200^{\circ}$ and $-5^{\circ}<b<-30^{\circ}$ is consistent with the Gould Belt model of \citet{Gontcharov2009}, and the other one located at $140^{\circ}<l<165^{\circ}$ and $0^{\circ}<b<15^{\circ}$ is associated with the Camelopardalis molecular clouds.


title: Discrete regularization and convergence of the inverse problem for 1+1 dimensional wave equation

abstract: An inverse boundary value problem for the 1+1 dimensional wave equation $(\partial_t^2 - c(x)^2 \partial_x^2)u(x,t)=0,\quad x\in\mathbb{R}_+$ is considered. We give a discrete regularization strategy to recover wave speed $c(x)$ when we are given the boundary value of the wave, $u(0,t)$, that is produced by a single pulse-like source. The regularization strategy gives an approximative wave speed $\widetilde c$, satisfying a H\"older type estimate $\| \widetilde c-c\|\leq C \epsilon^{\gamma}$, where $\epsilon$ is the noise level.


title: Are There Functionally Similar Code Clones in Practice?

abstract: Having similar code fragments, also called clones, in software systems can lead to unnecessary comprehension, review and change efforts. Syntactically similar clones can often be encountered in practice. The same is not clear for only functionally similar clones (FSC). We conducted an exploratory survey among developers to investigate whether they encounter functionally similar clones in practice and whether there is a difference in their inclination to remove them to syntactically similar clones. Of the 34 developers answering the survey, 31 have experienced FSC in their professional work, and 24 have experienced problems caused by FSCs. We found no difference in the inclination and reasoning for removing FSCs and syntactically similar clones. FSCs exist in practice and should be investigated to bring clone detectors to the same quality as for syntactically similar clones, because being able to detect them allows developers to manage and potentially remove them.


title: The Worm Calculus

abstract: We present a propositional modal logic $\sf WC$, which includes a logical $verum$ constant $\top$ but does not have any propositional variables. Furthermore, the only connectives in the language of $\sf WC$ are consistency-operators $\langle \alpha \rangle$ for each ordinal $\alpha$. As such, we end up with a class-size logic. However, for all practical purposes, we can consider restrictions of $\sf WC$ up to a given ordinal. Given the restrictive signature of the language, the only formulas are iterated consistency statements, which are called worms. The theorems of $\sf WC$ are all of the form $A \vdash B$ for worms $A$ and $B$. The main result of the paper says that the well-known strictly positive logic $\sf RC$, called Reflection Calculus, is a conservative extension of $\sf WC$. As such, our result is important since it is the ultimate step in stripping spurious complexity off the polymodal provability logic $\sf{GLP}$, as far as applications to ordinal analyses are concerned. Indeed, it may come as a surprise that a logic as weak as $\sf WC$ serves the purpose of computing something as technically involved as the proof theoretical ordinals of formal mathematical theories.


title: Mesoscopic linear statistics of Wigner matrices of mixed symmetry class

abstract: We prove a central limit theorem for the mesoscopic linear statistics of $N\times N$ Wigner matrices $H$ satisfying $\mathbb{E}|H_{ij}|^2=1/N$ and $\mathbb{E} H_{ij}^2= \sigma /N$, where $\sigma \in [-1,1]$. We show that on all mesoscopic scales $\eta$ ($1/N \ll \eta \ll 1$), the linear statistics of $H$ have a sharp transition at $1-\sigma \sim \eta$. As an application, we identify the mesoscopic linear statistics of Dyson's Brownian motion $H_t$ started from a real symmetric Wigner matrix $H_0$ at any nonnegative time $t \in [0,\infty]$. In particular, we obtain the transition from the central limit theorem for GOE to the one for GUE at time $t \sim \eta$.


title: Notes on well-distributed minimal sub-BIBDs for $\lambda=1$

abstract: In these notes we investigate BIBDs with $\lambda=1$ that present subdesigns evenly covering both blocks and vertices: we determine some of their basic properties, consequence of already existing results in the literature, with regards to their size and the number of intersections of pairs and triples of subdesigns of a specific kind. We also describe the link between these particular BIBDs and the graph isomorphism problem, based on Babai's paper, and point out the characteristics of these designs that would lead to improvements of the algorithm for the GIP.


title: Covariant interacting Hadron-Resonance Gas model

abstract: The Hadron-Resonance Gas (HRG) approach - used to model hadronic matter at small baryon potentials $\mu_B$ and finite temperature $T$ - is extended to finite and large chemical potentials by introducing interactions between baryons in line with relativistic mean-field theory defining an interacting HRG (IHRG). Using lattice data for $\mu_B=0$ as well as information on the nuclear equation of state at $T=0$ we constrain the attractive and repulsive interactions of the IHRG such that it reproduces the lattice equation of state at $\mu_B=0$ and the nuclear equation of state at $T=0$ and finite $\mu_B$. The formulated covariant approach is thermodynamically consistent and allows us to provide further information on the phase boundary between hadronic and partonic phases of strongly interacting matter by assuming constant thermodynamic potentials.


title: Neural Network Architecture for Credibility Assessment of Textual Claims

abstract: Text articles with false claims, especially news, have recently become aggravating for the Internet users. These articles are in wide circulation and readers face difficulty discerning fact from fiction. Previous work on credibility assessment has focused on factual analysis and linguistic features. The task's main challenge is the distinction between the features of true and false articles. In this paper, we propose a novel approach called Credibility Outcome (CREDO) which aims at scoring the credibility of an article in an open domain setting. CREDO consists of different modules for capturing various features responsible for the credibility of an article. These features includes credibility of the article's source and author, semantic similarity between the article and related credible articles retrieved from a knowledge base, and sentiments conveyed by the article. A neural network architecture learns the contribution of each of these modules to the overall credibility of an article. Experiments on Snopes dataset reveals that CREDO outperforms the state-of-the-art approaches based on linguistic features.


title: FPGA Implementations of 3D-SIMD Processor Architecture for Deep Neural Networks Using Relative Indexed Compressed Sparse Filter Encoding Format and Stacked Filters Stationary Flow

abstract: It is a challenging task to deploy computationally and memory intensive State-of-the-art deep neural networks (DNNs) on embedded systems with limited hardware resources and power budgets. Recently developed techniques like Deep Compression make it possible to fit large DNNs, such as AlexNet and VGGNet, fully in on-chip SRAM. But sparse networks compressed using existing encoding formats, like CSR or CSC, complex the computation at runtime due to their irregular memory access characteristics. In [1], we introduce a computation dataflow, stacked filters stationary dataflow (SFS), and a corresponding data encoding format, relative indexed compressed sparse filter format (CSF), to make the best of data sparsity, and simplify data handling at execution time. In this paper we present FPGA implementations of these methods. We implement several compact streaming fully connected (FC) and Convolutional (CONV) neural network processors to show their efficiency. Comparing with the state-of-the-art results [2,3,4], our methods achieve at least 2x improvement for computation efficiency per PE on most layers. Especially, our methods achieve 8x improvement on AlexNet layer CONV4 with 384 filters, and 11x improvement on VGG16 layer CONV5-3 with 512 filters.


title: Gate voltage controlled thermoelectric figure of merit in three-dimensional topological insulator nanowires

abstract: The thermoelectric properties of the surface states in three-dimensional topological insulator nanowires are studied. The Seebeck coefficients $S_c$ and the dimensionless thermoelectrical figure of merit $ZT$ are obtained by using the tight-binding Hamiltonian combining with the nonequilibrium Green's function method. They are strongly dependent on the gate voltage and the longitudinal and perpendicular magnetic fields. By changing the gate voltage or magnetic fields, the values of $S_c$ and $ZT$ can be easily controlled. At the zero magnetic fields and zero gate voltage, or at the large perpendicular magnetic field and nonzero gate voltage, $ZT$ has the large value. Owing to the electron-hole symmetry, $S_c$ is an odd function of the Fermi energy while $ZT$ is an even function regardless of the magnetic fields. $S_c$ and $ZT$ show peaks when the quantized transmission coefficient jumps from one plateau to another. The highest peak appears while the Fermi energy is near the Dirac point. At the zero perpendicular magnetic field and zero gate voltage, the height of $n$th peak of $S_C$ is $\frac{k_B}{e}\texttt{ln}2/(|n|+1/2)$ and $\frac{k_B}{e}\texttt{ln}2/|n|$ for the longitudinal magnetic flux $\phi_{\parallel} = 0 $ and $\pi$, respectively. Finally, we also study the effect of disorder and find that $S_c$ and $ZT$ are robust against disorder. In particular, the large value of $ZT$ can survive even if at the strong disorder. These characteristics (that $ZT$ has the large value, is easily regulated, and is robust against the disorder) are very beneficial for the application of the thermoelectricity.


abstract: We compute the Fourier expansion of vector valued Eisenstein series for the Weil representation associated to an even lattice. To this end, we define certain twists by Dirichlet characters of the usual Eisenstein series associated to isotropic elements in the discriminant form of the underlying lattice. These twisted functions still form a generating system for the space of Eisenstein series but have better multiplicative properties than the individual Eisenstein series. We adapt a method of Bruinier and Kuss to obtain algebraic formulas for the Fourier coefficients of the twisted Eisenstein series in terms of special values of Dirichlet $L$-functions and representation numbers modulo prime powers of the underlying lattice. In particular, we obtain that the Fourier coefficients of the individual Eisenstein series are rational numbers. Additionally, we show that the twisted Eisenstein series are eigenforms of the Hecke operators on vector valued modular forms introduced by Bruinier and Stein.


title: Theory and computation of electromagnetic fields and thermomechanical structure interaction for systems undergoing large deformations

abstract: For an accurate description of electromagneto-thermomechanical systems, electromagnetic fields need to be described in a Eulerian frame, whereby the thermomechanics is solved in a Lagrangean frame. It is possible to map the Eulerian frame to the current placement of the matter and the Lagrangean frame to a reference placement. We present a rigorous and thermodynamically consistent derivation of governing equations for fully coupled electromagneto-thermomechanical systems properly handling finite deformations. A clear separation of the different frames is necessary. There are various attempts to formulate electromagnetism in the Lagrangean frame, or even to compute all fields in the current placement. Both formulations are challenging and heavily discussed in the literature. In this work, we propose another solution scheme that exploits the capabilities of advanced computational tools. Instead of amending the formulation, we can solve thermomechanics in the Lagrangean frame and electromagnetism in the Eulerian frame and manage the interaction between the fields. The approach is similar to its analog in fluid structure interaction, but more challenging because the field equations in electromagnetism must also be solved within the solid body while following their own different set of transformation rules. We additionally present a mesh-morphing algorithm necessary to accommodate finite deformations to solve the electromagnetic fields outside of the material body. We illustrate the use of the new formulation by developing an open-source implementation using the FEniCS package and applying this implementation to several engineering problems in electromagnetic structure interaction undergoing large deformations.


title: Classification for Dynamical Systems: Model-based Approach and Support Vector Machines

abstract: We consider the problem of classifying trajectories generated by dynamical systems. We investigate a model-based approach, the common approach in control engineering, and a data-driven approach based on Support Vector Machines, a popular method in the area of machine learning. The analysis points out connections between the two approaches and their relative merits.


title: Effect of payload size on mean response time when message segmentations occur using $\rm{M}^{\rm X}/\rm{G}/1$ queueing model

abstract: This paper proposes the $\rm{M}^{\rm X}/\rm{G}/1$ queueing model to represent arrivals of segmented packets when message segmentations occur. This queueing model enables us to derive the closed form of mean response time, given payload size, message size distribution and message arrival rate. From a numerical result, we show that the mean response time is more convex in payload sizes if message arrival rate is larger in a scenario where Web objects are delivered over a physical link.


title: Joint PLDA for Simultaneous Modeling of Two Factors

abstract: Probabilistic linear discriminant analysis (PLDA) is a method used for biometric problems like speaker or face recognition that models the variability of the samples using two latent variables, one that depends on the class of the sample and another one that is assumed independent across samples and models the within-class variability. In this work, we propose a generalization of PLDA that enables joint modeling of two sample-dependent factors: the class of interest and a nuisance condition. The approach does not change the basic form of PLDA but rather modifies the training procedure to consider the dependency across samples of the latent variable that models within-class variability. While the identity of the nuisance condition is needed during training, it is not needed during testing since we propose a scoring procedure that marginalizes over the corresponding latent variable. We show results on a multilingual speaker-verification task, where the language spoken is considered a nuisance condition. We show that the proposed joint PLDA approach leads to significant performance gains in this task for two different datasets, in particular when the training data contains mostly or only monolingual speakers.


title: Central $L$-values of elliptic curves and local polynomials

abstract: Here we study the recently introduced notion of a locally harmonic Maass form and its applications to the theory of $L$-functions. In particular, we find finite formulas for certain twisted central $L$-values of a family of elliptic curves in terms of finite sums over canonical binary quadratic forms. This yields vastly simpler formulas related to work of Birch and Swinnerton-Dyer for such $L$-values, and extends beyond their framework to special non-CM elliptic curves.


title: Dispersion engineering of mode-locked fibre lasers

abstract: Mode-locked fibre lasers are important sources of ultrashort pulses, where stable pulse generation is achieved through a balance of periodic amplitude and phase evolutions. A range of distinct cavity pulse dynamics have been revealed, arising from the interplay between dispersion and nonlinearity in addition to dissipative processes such as filtering. This has led to the discovery of numerous novel operating regimes, offering significantly improved laser performance. In this Topical Review, we summarise the main steady-state pulse dynamics reported to date through cavity dispersion engineering, including average solitons, dispersion-managed solitons, dissipative solitons, giant-chirped pulses and similaritons. Characteristic features and the stabilisation mechanism of each regime are described, supported by numerical modelling, in addition to the typical performance and limitations. Opportunities for further pulse energy scaling are discussed, in addition to considering other recent advances including automated self-tuning cavities and fluoride-fibre-based mid-infrared mode-locked lasers.


title: On The Block Decomposition and Spectral Factors of {\lambda}-Matrices

abstract: In this paper we factorize matrix polynomials into a complete set of spectral factors using a new design algorithm and we provide a complete set of block roots (solvents). The procedure is an extension of the (scalar) Horner method for the computation of the block roots of matrix polynomials. The Block-Horner method brings an iterative nature, faster convergence, nested programmable scheme, needless of any prior knowledge of the matrix polynomial. In order to avoid the initial guess method we proposed a combination of two computational procedures . First we start giving the right Block-Q. D. (Quotient Difference) algorithm for spectral decomposition and matrix polynomial factorization. Then the construction of new block Horner algorithm for extracting the complete set of spectral factors is given.


title: History-aware Autonomous Exploration in Confined Environments using MAVs

abstract: Many scenarios require a robot to be able to explore its 3D environment online without human supervision. This is especially relevant for inspection tasks and search and rescue missions. To solve this high-dimensional path planning problem, sampling-based exploration algorithms have proven successful. However, these do not necessarily scale well to larger environments or spaces with narrow openings. This paper presents a 3D exploration planner based on the principles of Next-Best Views (NBVs). In this approach, a Micro-Aerial Vehicle (MAV) equipped with a limited field-of-view depth sensor randomly samples its configuration space to find promising future viewpoints. In order to obtain high sampling efficiency, our planner maintains and uses a history of visited places, and locally optimizes the robot's orientation with respect to unobserved space. We evaluate our method in several simulated scenarios, and compare it against a state-of-the-art exploration algorithm. The experiments show substantial improvements in exploration time ($2\times$ faster), computation time, and path length, and advantages in handling difficult situations such as escaping dead-ends (up to $20\times$ faster). Finally, we validate the on-line capability of our algorithm on a computational constrained real world MAV.


title: Bounded remainder sets for rotations on the adelic torus

abstract: In this paper we give an explicit construction of bounded remainder sets of all possible volumes, for any irrational rotation on the adelic torus $\mathbb A/\mathbb Q$. Our construction involves ideas from dynamical systems and harmonic analysis on the adeles, as well as a geometric argument which originated in the study of deformation properties of mathematical quasicrystals.


title: Normalization of Neural Networks using Analytic Variance Propagation

abstract: We address the problem of estimating statistics of hidden units in a neural network using a method of analytic moment propagation. These statistics are useful for approximate whitening of the inputs in front of saturating non-linearities such as a sigmoid function. This is important for initialization of training and for reducing the accumulated scale and bias dependencies (compensating covariate shift), which presumably eases the learning. In batch normalization, which is currently a very widely applied technique, sample estimates of statistics of hidden units over a batch are used. The proposed estimation uses an analytic propagation of mean and variance of the training set through the network. The result depends on the network structure and its current weights but not on the specific batch input. The estimates are suitable for initialization and normalization, efficient to compute and independent of the batch size. The experimental verification well supports these claims. However, the method does not share the generalization properties of BN, to which our experiments give some additional insight.


title: Parity Polytopes and Binarization

abstract: We consider generalizations of parity polytopes whose variables, in addition to a parity constraint, satisfy certain ordering constraints. More precisely, the variable domain is partitioned into $k$ contiguous groups, and within each group, we require that $x_i \geq x_{i+1}$ for all relevant $i$. Such constraints are used to break symmetry after replacing an integer variable by a sum of binary variables, so-called binarization. We provide extended formulations for such polytopes, derive a complete outer description, and present a separation algorithm for the new constraints. It turns out that applying binarization and only enforcing parity constraints on the new variables is often a bad idea. For our application, an integer programming model for the graphic traveling salesman problem, we observe that parity constraints do not improve the dual bounds, and we provide a theoretical explanation of this effect.


title: ELEGANT: Exchanging Latent Encodings with GAN for Transferring Multiple Face Attributes

abstract: Recent studies on face attribute transfer have achieved great success. A lot of models are able to transfer face attributes with an input image. However, they suffer from three limitations: (1) incapability of generating image by exemplars; (2) being unable to transfer multiple face attributes simultaneously; (3) low quality of generated images, such as low-resolution or artifacts. To address these limitations, we propose a novel model which receives two images of opposite attributes as inputs. Our model can transfer exactly the same type of attributes from one image to another by exchanging certain part of their encodings. All the attributes are encoded in a disentangled manner in the latent space, which enables us to manipulate several attributes simultaneously. Besides, our model learns the residual images so as to facilitate training on higher resolution images. With the help of multi-scale discriminators for adversarial training, it can even generate high-quality images with finer details and less artifacts. We demonstrate the effectiveness of our model on overcoming the above three limitations by comparing with other methods on the CelebA face database. A pytorch implementation is available at https://github.com/Prinsphield/ELEGANT.


title: Numerical evaluation of inflationary 3-point functions on curved field space

abstract: We extend the public CppTransport code to calculate the statistical properties of fluctuations in multiple-field inflationary models with curved field space. Our implementation accounts for all physical effects at tree-level in the 'in-in' diagrammatic expansion. This includes particle production due to time-varying masses, but excludes scenarios where the curvature perturbation is generated by averaging over the decay of more than one particle. We test our implementation by comparing results in Cartesian and polar field-space coordinates, showing excellent numerical agreement and only minor degradation in compute time. We compare our results with the PyTransport 2.0 code, which uses the same computational approach but a different numerical implementation, finding good agreement. Finally, we use our tools to study a class of gelaton-like models which could produce an enhanced non-Gaussian signal on equilateral configurations of the Fourier bispectrum. We show this is difficult to achieve using hyperbolic field-space manifolds and simple inflationary potentials.


title: Model theory of the field of $p$-adic numbers expanded by a multiplicative subgroup

abstract: Let $G$ be a multiplicative subgroup of $\mathbb{Q}_p$. In this paper, we describe the theory of the pair $(\mathbb{Q}_p, G)$ under the condition that $G$ satisfies Mann property and is small as subset of a first-order structure. First, we give an axiomatisation of the first-order theory of this structure. This includes an axiomatisation of the theory of the group $G$ as valued group (with the valuation induced on $G$ by the $p$-adic valuation). If the subgroups $G^{[n]}$ of $G$ have finite index for all $n$, we describe the definable sets in this theory and prove that it is NIP. Finally, we extend some of our results to the subanalytic setting.


title: Screening cloud and non-Fermi-liquid scattering in topological Kondo devices

abstract: The topological Kondo effect arises when conduction electrons in metallic leads are coupled to a mesoscopic superconducting island with Majorana fermions. Working with its minimal setup, we study the lead electron local tunneling density of states in its thermally smeared form motivated by scanning tunneling microscopy, focusing on the component $\rho_{2 k_F}$ oscillating at twice the Fermi wavenumber. As a function of temperature $T$ and at zero bias, we find that the amplitude of $\rho_{2 k_F}$ is nonmonotonic, whereby with decreasing $T$ an exponential thermal-length-controlled increase, potentially through an intermediate Kondo logarithm, crosses over to a $T^{1/3}$ decay. The Kondo logarithm is present only for tip-junction distances sufficiently smaller than the Kondo length, thus providing information on the Kondo screening cloud. The low temperature decay indicates non-Fermi-liquid scattering, in particular the complete suppression of single-particle scattering at the topological Kondo fixed point. For temperatures much below the Kondo temperature, we find that the $\rho_{2 k_F}$ amplitude can be described as a universal scaling function indicative of strong correlations. In a more general context, our considerations point towards the utility of $\rho_{2 k_F}$ in studying quantum impurity systems, including extracting information about the single-particle scattering matrix.


title: Screened Coulombic Orientational Correlations in Dilute Aqueous Electrolytes

abstract: The ion-induced long-range orientational order between water molecules recently observed in second harmonic scattering experiments and illustrated with large scale molecular dynamics simulations is quantitatively explained using the Ornstein-Zernike integral equation approach of liquid physics. This general effect, not specific to hydrogen-bonding solvents, is controlled by electroneutrality condition, dipolar interactions and dielectric+ionic screening. As expected, all numerical theories recover the well-known analytical expressions established 40 years ago.


title: Image Generation and Translation with Disentangled Representations

abstract: Generative models have made significant progress in the tasks of modeling complex data distributions such as natural images. The introduction of Generative Adversarial Networks (GANs) and auto-encoders lead to the possibility of training on big data sets in an unsupervised manner. However, for many generative models it is not possible to specify what kind of image should be generated and it is not possible to translate existing images into new images of similar domains. Furthermore, models that can perform image-to-image translation often need distinct models for each domain, making it hard to scale these systems to multiple domain image-to-image translation. We introduce a model that can do both, controllable image generation and image-to-image translation between multiple domains. We split our image representation into two parts encoding unstructured and structured information respectively. The latter is designed in a disentangled manner, so that different parts encode different image characteristics. We train an encoder to encode images into these representations and use a small amount of labeled data to specify what kind of information should be encoded in the disentangled part. A generator is trained to generate images from these representations using the characteristics provided by the disentangled part of the representation. Through this we can control what kind of images the generator generates, translate images between different domains, and even learn unknown data-generating factors while only using one single model.


title: How to ask sensitive multiple choice questions

abstract: Motivated by recent failures of polling to estimate populist party support, we propose and analyse two methods for asking sensitive multiple choice questions where the respondent retains some privacy and therefore might answer more truthfully. The first method consists of asking for the true choice along with a choice picked at random. The other method presents a list of choices and asks whether the preferred one is on the list or not. Different respondents are shown different lists. The methods are easy to explain, which makes it likely that the respondent understands how her privacy is protected and may thus entice her to participate in the survey and answer truthfully. The methods are also easy to implement and scale up.


title: Light-curve instabilities of Beta Lyrae observed by the BRITE satellites

abstract: Photometric instabilities of $\beta$ Lyr were observed in 2016 by two red-filter BRITE satellites over more than 10 revolutions of the binary, with $\sim$100-minute sampling. Analysis of the time series shows that flares or fading events take place typically 3 to 5 times per binary orbit. The amplitudes of the disturbances (relative to the mean light curve, in units of the maximum out-of-eclipse light-flux, f.u.) are characterized by a Gaussian distribution with $\sigma=0.0130\pm0.0004$ f.u. Most of the disturbances appear to be random, with a tendency to remain for one or a few orbital revolutions, sometimes changing from brightening to fading or the reverse. Phases just preceding the center of the deeper eclipse showed the most scatter while phases around secondary eclipse were the quietest. This implies that the invisible companion is the most likely source of the instabilities. Wavelet transform analysis showed domination of the variability scales at phase intervals $0.05-0.3$ (0.65--4 d), with the shorter (longer) scales dominating in numbers (variability power) in this range. The series can be well described as a stochastic Gaussian process with the signal at short timescales showing a slightly stronger correlation than red noise. The signal de-correlation timescale $\tau=(0.068\pm0.018)$ in phase or $(0.88\pm0.23)$~d appears to follow the same dependence on the accretor mass as that observed for AGN and QSO masses 5--9 orders of magnitude larger than the $\beta$~Lyr torus-hidden component.


title: Interlayer Dzyaloshinskii-Moriya interactions

abstract: Interfacial Dzyaloshinkii-Moriya interaction defines a rotational sense for the magnetization of two-dimensional films making it responsible for the formation of chiral magnetic structures like spin-spirals and skyrmions in those films. Here we show by means of atomistic calculations that in heterostructures magnetic layers can be additionally coupled by an interlayer Dzyaloshinskii-Moriya interaction across a spacer. We quantify this interaction in the framework of the Levy-Fert model for trilayers consisting of two ferromagnets separated by a non-magnetic spacer yielding non-trivial three-dimensional spiral states across the trilayer. This analysis enables three-dimensional tailoring of the magnetization chirality in magnetic multilayers.


title: Quadratic chaotic inflation with a logarithmic-corrected mass

abstract: We consider a simple modification of quadratic chaotic inflation. We add a logarithmic correction to the mass term, and find that this model can be consistent with the latest cosmological observations such as the Planck 2018 data, in combination with the BICEP2/Keck Array and the baryon acoustic oscillation data. Since the model predicts the lower limit for the tensor-to-scalar ratio r for the present allowed values of the spectral index n_s, it could be tested by the cosmic microwave background polarization observation in the near future. In addition, we consider higher-order logarithmic corrections. Interestingly, we observe that the scalar spectral index n_s and r stay in rather a narrow region of the parameter space. Moreover, they reside in a completely different region from that for the logarithmic corrections to the quartic coupling. Therefore, future observations may distinguish which kind of corrections should be included, or even single out the form of the interactions.


title: Flexible model of network embedding

abstract: There has lately been increased interest in describing complex systems not merely as single networks but rather as collections of networks that are coupled to one another. We introduce an analytically tractable model that enables one to connect two layers in a multilayer network by controlling the locality of coupling. In particular we introduce a tractable model for embedding one network (A) into another (B), focusing on the case where network A has many more nodes than network B. In our model, nodes in network A are assigned, or embedded, to the nodes in network B using an assignment rule where the extent of node localization is controlled by a single parameter. We start by mapping an unassigned `source' node in network A to a randomly chosen `target' node in network B. We then assign the neighbors of the source node to the neighborhood of the target node using a random walk starting at the target node and with a per-step stopping probability $q$. By varying the parameter $q$, we are able to produce a range of embeddings from local ($q = 1$) to global ($q \to 0$). The simplicity of the model allows us to calculate key quantities, making it a useful starting point for more realistic models.


title: Influence of anisotropic $\Lambda/\Sigma$ creation on the $\Xi^-$ mutiplicity in subthreshold proton-nucleus collisions

abstract: We present an analysis of $\Xi^-$ baryon production in subthreshold proton--nucleus ($p+A$) collisions in the framework of a BUU type transport model. We propose a new mechanism for $\Xi$ production in the collision of a secondary $\Lambda$ or $\Sigma$ hyperon and a nucleon from the target nucleus. We find that the $\Xi^-$ multiplicity in $p+A$ collisions is sensitive to the angular distribution of hyperon production in the primary $N+N$ collision. Using reasonable assumptions on the unknown elementary cross sections we are able to reproduce the $\Xi^-$ multiplicity and the $\Xi^-/(\Lambda+\Sigma^0)$ ratio obtained in the HADES experiment in $p$+Nb collisions at $\sqrt{s_{NN}} = $ 3.2 GeV energy.


title: Non-Interlaced SAT is in P

abstract: We investigate the NP-Complete problem SAT and the geometry of its instances. For a particular type that we call {\it non-interlaced formulas}, we propose a polynomial time algorithm for their resolution using graphs and matrices.


title: Jumps in speeds of hereditary properties in finite relational languages

abstract: Given a finite relational language $\mathcal{L}$, a hereditary $\mathcal{L}$-property is a class of finite $\mathcal{L}$-structures closed under isomorphism and substructure. The speed of $\mathcal{H}$ is the function which sends an integer $n\geq 1$ to the number of distinct elements in $\mathcal{H}$ with underlying set $\{1, . . . , n\}$. In this paper we give a description of many new jumps in the possible speeds of a hereditary $\mathcal{L}$-property, where $\mathcal{L}$ is any finite relational language. In particular, we characterize the jumps in the polynomial and factorial ranges, and show they are essentially the same as in the case of graphs. The results in the factorial range are new for all examples requiring a language of arity greater than two, including the setting of hereditary properties of $k$-uniform hypergraphs for $k>2$. Further, adapting an example of Balogh, Bollob\'{a}s, and Weinreich, we show that for all $k\geq 2$, there are hereditary properties of $k$-uniform hypergraphs whose speeds oscillate between functions near the upper and lower bounds of the penultimate range, ruling out many natural functions as jumps in that range. Our theorems about the factorial range use model theoretic tools related to the notion of mutual algebricity.