title: Evaluating machine learning techniques for predicting power spectra from reionization simulations

abstract: Upcoming experiments such as the SKA will provide huge quantities of data. Fast modelling of the high-redshift 21cm signal will be crucial for efficiently comparing these data sets with theory. The most detailed theoretical predictions currently come from numerical simulations and from faster but less accurate semi-numerical simulations. Recently, machine learning techniques have been proposed to emulate the behaviour of these semi-numerical simulations with drastically reduced time and computing cost. We compare the viability of five such machine learning techniques for emulating the 21cm power spectrum of the publicly-available code SimFast21. Our best emulator is a multilayer perceptron with three hidden layers, reproducing SimFast21 power spectra $10^8$ times faster than the simulation with 4% mean squared error averaged across all redshifts and input parameters. The other techniques (interpolation, Gaussian processes regression, and support vector machine) have slower prediction times and worse prediction accuracy than the multilayer perceptron. All our emulators can make predictions at any redshift and scale, which gives more flexible predictions but results in significantly worse prediction accuracy at lower redshifts. We then present a proof-of-concept technique for mapping between two different simulations, exploiting our best emulator's fast prediction speed. We demonstrate this technique to find a mapping between SimFast21 and another publicly-available code 21cmFAST. We observe a noticeable offset between the simulations for some regions of the input space. Such techniques could potentially be used as a bridge between fast semi-numerical simulations and accurate numerical radiative transfer simulations.


title: Construction of optimal locally recoverable codes and connection with hypergraph

abstract: Recently, it was discovered by several authors that a $q$-ary optimal locally recoverable code, i.e., a locally recoverable code archiving the Singleton-type bound, can have length much bigger than $q+1$. This is quite different from the classical $q$-ary MDS codes where it is conjectured that the code length is upper bounded by $q+1$ (or $q+2$ for some special case). This discovery inspired some recent studies on length of an optimal locally recoverable code. It was shown in \cite{LXY} that a $q$-ary optimal locally recoverable code is unbounded for $d=3,4$. Soon after, it was proved that a $q$-ary optimal locally recoverable code with distance $d$ and locality $r$ can have length $\Omega_{d,r}(q^{1 + 1/\lfloor(d-3)/2\rfloor})$. Recently, an explicit construction of $q$-ary optimal locally recoverable codes for distance $d=5,6$ was given in \cite{J18} and \cite{BCGLP}. In this paper, we further investigate construction optimal locally recoverable codes along the line of using parity-check matrices. Inspired by classical Reed-Solomon codes and \cite{J18}, we equip parity-check matrices with the Vandermond structure. It is turns out that a parity-check matrix with the Vandermond structure produces an optimal locally recoverable code must obey certain disjoint property for subsets of $\mathbb{F}_q$. To our surprise, this disjoint condition is equivalent to a well-studied problem in extremal graph theory. With the help of extremal graph theory, we succeed to improve all of the best known results in \cite{GXY} for $d\geq 7$. In addition, for $d=6$, we are able to remove the constraint required in \cite{J18} that $q$ is even.


title: Verifying C11 Programs Operationally

abstract: This paper develops an operational semantics for a release-acquire fragment of the C11 memory model with relaxed accesses. We show that the semantics is both sound and complete with respect to the axiomatic model. The semantics relies on a per-thread notion of observability, which allows one to reason about a weak memory C11 program in program order. On top of this, we develop a proof calculus for invariant-based reasoning, which we use to verify the release-acquire version of Peterson's mutual exclusion algorithm.


title: PE-AONT: Partial Encryption combined with an All-or-Nothing Transform

abstract: In this report, we introduce PE-AONT: a novel algorithm for fast and secure data fragmentation. Initial data are fragmented and only a selected subset of the fragments is encrypted. Further, fragments are transformed using a variation of an all-or-nothing transform that blends encrypted and non-encrypted fragments. By encrypting data only partially, we achieve better performance than relevant techniques including data encryption and straightforward fragmentation. Moreover, when the ratio between the number of encrypted and non-encrypted fragments is wisely chosen, data inside fragments are protected against exposure of the encryption key unless all fragments are gathered by an attacker.


title: Comparison of spectral models for disc truncation in the hard state of GX 339-4

abstract: We probe models of disc truncation in the hard spectral state of an outburst of the well-known X-ray transient GX 339--4. We test a large number of different models of disc reflection and its relativistic broadening, using two independent sets of codes, and apply it to a \textit{Rossi X-ray Timing Explorer} spectrum in the rising part of the hard state of the 2010/11 outburst. We find our results to be significantly model-dependent. While all of the models tested show best-fits consistent with truncation, some models allow the disc to extend close to the innermost stable circular orbit (ISCO) and some require substantial disc truncation. The different models yield a wide range in best-fit values for the disc inclination. Our statistically best model has a physical thermal Comptonization primary continuum, requires the disc to be truncated at a radius larger than or equal to about two ISCO radii for the maximum dimensionless spin of 0.998, and predicts a disc inclination in agreement with that of the binary. Our preferred models have moderate Fe abundance, $\gtrsim$2 times solar. We have also tested the effect of increasing the density of the reflecting medium. We find it leads to an increase in the truncation radius, but also to an increase in the Fe abundance, opposite to a previous finding.


title: Revised theoretical limit of subthreshold swing in field-effect transistors

abstract: This letter reports a temperature-dependent limit for the subthreshold swing in MOSFETs that deviates from the Boltzmann limit at deep-cryogenic temperatures. Below a critical temperature, the derived limit saturates to a value that is independent of temperature and proportional to the extent of a band tail. Since the saturation is universally observed in different types of MOSFETs (regardless of dimension or semiconductor material), the band tail is attributed to the finite periodicity of the lattice in a semiconductor volume, and to a lesser extent to additional lattice perturbations such as defects or disorder.


title: New estimates on the regularity of the pressure in density-constrained Mean Field Games

abstract: We consider variational Mean Field Games endowed with a constraint on the maximal density of the distribution of players. Minimizers of the variational formulation are equilibria for a game where both the running cost and the final cost of each player is augmented by a pressure effect, i.e. a positive cost concentrated on the set where the density saturates the constraint. Yet, this pressure is a priori only a measure and regularity is needed to give a precise meaning to its integral on trajectories. We improve, in the limited case where the Hamiltonian is quadratic, which allows to use optimal transport techniques after time-discretization, the results obtained in a paper of the second author with Cardaliaguet and M{\'e}sz{\'a}ros. We prove H1 and L infinity regularity under very mild assumptions on the data, and explain the consequences for the MFG, in terms of the value function and of the Lagrangian equilibrium formulation.


title: Foliations, contact structures and their interactions in dimension three

abstract: We survey the interactions between foliations and contact structures in dimension three, with an emphasis on sutured manifolds and invariants of sutured contact manifolds. This paper contains two original results: the fact that a closed orientable irreducible 3-manifold M with nonzero second homol-ogy carries a hypertight contact structure and the fact that an orientable, taut, balanced sutured 3-manifold is not a product if and only if it carries a contact structure with nontrivial cylindrical contact homology. The proof of the second statement uses the Handel-Miller theory of end-periodic diffeomorphisms of end-periodic surfaces.


title: Fast Algorithms for Computing Eigenvectors of Matrices via Pseudo Annihilating Polynomials

abstract: An efficient algorithm for computing eigenvectors of a matrix of integers by exact computation is proposed. The components of calculated eigenvectors are expressed as polynomials in the eigenvalue to which the eigenvector is associated, as a variable. The algorithm, in principle, utilizes the minimal annihilating polynomials for eliminating redundant calculations. Furthermore, in the actual computation, the algorithm computes candidates of eigenvectors by utilizing pseudo annihilating polynomials and verifies their correctness. The experimental results show that our algorithms have better performance compared to conventional methods.


title: MGANet: A Robust Model for Quality Enhancement of Compressed Video

abstract: In video compression, most of the existing deep learning approaches concentrate on the visual quality of a single frame, while ignoring the useful priors as well as the temporal information of adjacent frames. In this paper, we propose a multi-frame guided attention network (MGANet) to enhance the quality of compressed videos. Our network is composed of a temporal encoder that discovers inter-frame relations, a guided encoder-decoder subnet that encodes and enhances the visual patterns of target frame, and a multi-supervised reconstruction component that aggregates information to predict details. We design a bidirectional residual convolutional LSTM unit to implicitly discover frames variations over time with respect to the target frame. Meanwhile, the guided map is proposed to guide our network to concentrate more on the block boundary. Our approach takes advantage of intra-frame prior information and inter-frame information to improve the quality of compressed video. Experimental results show the robustness and superior performance of the proposed method.Code is available at https://github.com/mengab/MGANet


title: Imprints of Primordial Non-Gaussianity on Gravitational Wave Spectrum

abstract: Although Cosmic Microwave Background and Large Scale Structure probe the largest scales of our universe with ever increasing precision, our knowledge about the smaller scales is still very limited other than the bounds on Primordial Black Holes. We show that the statistical properties of the small scale quantum fluctuations can be probed via the stochastic gravitational wave background, which is induced as the scalar modes re-enter the horizon. We found that even if scalar curvature fluctuations have a subdominant non-Gaussian component, these non-Gaussian perturbations can source a dominant portion of the induced GWs. Moreover, the GWs sourced by non-Gaussian scalar fluctuations peaks at a higher frequency and this can result in distinctive observational signatures. We found that the sensitive next-generation-interferometers, which will/could reach $\Omega_{GW}h^2 \sim 10^{-15}$ (such as PTA-SKA, LISA, DECIGO, BBO, CE, ET), can probe $f_{NL} \sim 0.5$ which is even better than the predictions of the next generation CMB experiments. If the induced GW background is detected, but not the signatures arising from the non-Gaussian component, $\zeta = \zeta_G + f_{\rm NL} \, \zeta_G^{2}$, this translates into bounds on $f_{\rm NL}$ depending on the amplitude and the width of the GW signal. If the induced GW background is not detected at all, this translates into bounds on scalar fluctuations. The results are independent from the fact that whether PBH are DM or completely negligible part of the current energy density.


title: A novel search for gravitationally lensed radio sources in wide-field VLBI imaging from the mJIVE-20 survey

abstract: We present a novel pilot search for gravitational lenses in the mJIVE-20 survey, which observed $24\,903$ radio sources selected from FIRST with the VLBA at an angular resolution of 5 mas. We have taken the visibility data for an initial $3\,640$ sources that were detected by the mJIVE-20 observations and re-mapped them to make wide-field images, selecting fourteen sources that had multiple components separated by $\geq100$ mas, with a flux-ratio of $\leq15$:$1$ and a surface brightness consistent with gravitational lensing. Two of these candidates are re-discoveries of gravitational lenses found as part of CLASS. The remaining twelve candidates were then re-observed at 1.4 GHz and then simultaneously at 4.1 and 7.1 GHz with the VLBA to measure the spectral index and surface brightness of the individual components as a function of frequency. Ten were rejected as core-jet or core-hotspot(s) systems, with surface brightness distributions and/or spectral indices inconsistent with gravitational lensing, and one was rejected after lens modelling demonstrated that the candidate lensed images failed the parity test. The final lens candidate has an image configuration that is consistent with a simple lens mass model, although further observations are required to confirm the lensing nature. Given the two confirmed gravitational lenses in the mJIVE-20 sample, we find a robust lensing-rate of $1$:($318\pm225$) for a statistical sample of 635 radio sources detected on mas-scales, which is consistent with that found for CLASS.


title: Intra-night flickering of RS Ophiuchi: I. Sizes and cumulative energies of time structures

abstract: We analyzed 29 pairs of time series in B and V bands of the recurrent nova RS Oph. The observations were carried out in 2008-2017 with duration 0.6 - 3.6 hours, with time resolution 0.5 - 3.3 min. We scanned digitally each series by data windows with various sizes Theta and derived two of the simplest fractal parameters for every Theta - standard deviation D and structural deviation S. Using the local minima of the structural function log S = f_S(log Theta) we unveiled 80 time structures, 42 in B band and 38 in V band, with time sizes 10-120 min. About 3/4 of the time sizes belong to the interval 10-40 min and about 1/4 lie in the interval 60-120 min. The respective cycles per day are 144-36 c/d and 24-15 c/d. On logarithmic scale, the distribution of the time sizes shows maximums at about 10, 21, 36 and 74 min. The 10 min flickering is poorly detectable in our series and we found the most widespread time structures (in about 1/5 of the cases) have time sizes about 21 min (about 69 c/d). Using the deviation function log D = f_D(log Theta) we estimated the relative cumulative energy (including the energy of the shorter structures in it), associated with the detected structure sizes, to be in the interval of the relative fluxes 2-11 %. The energies correlate weakly with the logarithms of the structure sizes, with correlation coefficients 0.60 and 0.57, under slope coefficients 0.04 and 0.03 in B and V band, respectively. The distributions of the energies occur bimodal, with maximums about 4% and 6% in B band, as well as about 3% and 5% in V band. The left and right modes of the distributions may be associated with the structure sizes 10 - 21 min and 37 - 74 min, respectively.


title: Experimental demonstration of quantum advantage for one-way communication complexity

abstract: The goal of demonstrating a quantum advantage with currently available experimental systems is of utmost importance in quantum information science. While this remains elusive for quantum computation, the field of communication complexity offers the possibility to already explore and showcase this advantage for useful tasks. Here, we define such a task, the Sampling Matching problem, which is inspired by the Hidden Matching problem and features an exponential gap between quantum and classical protocols in the one-way communication model. Our problem allows by its conception a photonic implementation based on encoding in the phase of coherent states of light, the use of a fixed size linear optic circuit, and single-photon detection. This enables us to demonstrate experimentally an advantage in the transmitted information resource beyond a threshold input size, which would have been impossible to reach for the original Hidden Matching problem. Our demonstration has implications in various communication and cryptographic settings, for example for quantum retrieval games and quantum money.


title: Algebraicity of metaplectic $L$-functions

abstract: Notable results on the special values of $L$-functions of Siegel modular forms were obtained by J. Sturm in the case when the degree $n$ is even and the weight $k$ is an integer. In this paper we extend this method to half-integer weights $k$ and arbitrary degree $n$, determining the algebraic field in which they lie. This method hinges on the Rankin-Selberg method; our extension of this is aided by the theory of half-integral modular forms developed by G. Shimura. In the second half, an analogue of P. B. Garrett's conjecture is proved in this setting, a result that is of independent interest but that bears direct applications to our first results. It determines exactly how the decomposition of modular forms into cusp forms and Eisenstein series preserves algebraicity and, ultimately, the full range of special values.


title: Effect of AlN Seed Layer on Crystallographic Characterization of Piezoelectric AlN

abstract: Ultrathin aluminum nitride (AlN) films are of great interest for integration into nanoelectromechanical systems for actuation and sensing. Given the direct relationship between crystallographic texture and piezoelectric response, x-ray diffraction has become an important metrology step. However, signals from layers deposited below the piezoelectric (PZE) AlN thin film may skew the crystallographic analysis and give misleading results. In this work, we compare the use of a Ti or AlN seed layer on the crystallographic quality of PZE AlN. We also analyze the influence of several AlN seed layer thicknesses on the rocking curve FWHM of PZE AlN and demonstrate an larger effect of the AlN seed layer on the {\theta}-2{\theta} AlN <0002> crystallographic peak for increasing AlN seed layer thickness.


title: The effects of copper doping on photocatalytic activity at (101) planes of anatase TiO2: A theoretical study

abstract: Copper dopants are varyingly reported to enhance photocatalytic activity at titanium dioxide surfaces through uncertain mechanisms. In order to interpret how copper doping might alter the performance of titanium dioxide photocatalysts in aqueous media we applied density functional theory methods to simulate surface units of doped anatase (101) planes. By including van der Waals interactions, we consider the energetics of adsorbed water at anatase surfaces in pristine and copper doped systems. Simulation results indicate that copper dopant at anatase (101) surfaces is most stable in a 2+ oxidation state and a disperse configuration, suggesting the formation of secondary CuO phases is energetically unfavourable. In agreement with previous reports, water at the studied surface is predicted to exhibit molecular adsorption with this tendency slightly enhanced by copper. Results imply that the enhancement of photoactivity at anatase surfaces through Cu doping is more likely to arise from electronic interactions mediated by charge transfer and inter-bandgap states increasing photoexcitation and extending surface-hole lifetimes rather than through the increased density of adsorbed hydroxyl groups.


title: On the chromatic number of disjointness graphs of curves

abstract: Let $\omega(G)$ and $\chi(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line intersects it in at most one point. An $x$-monotone curve is {\em grounded} if its left endpoint lies on the $y$-axis. We prove that if $G$ is the disjointness graph of a family of grounded $x$-monotone curves such that $\omega(G)=k$, then $\chi(G)\leq \binom{k+1}{2}$. If we only require that every curve is $x$-monotone and intersects the $y$-axis, then we have $\chi(G)\leq \frac{k+1}{2}\binom{k+2}{3}$. Both of these bounds are best possible. The construction showing the tightness of the last result settles a 25 years old problem: it yields that there exist $K_k$-free disjointness graphs of $x$-monotone curves such that any proper coloring of them uses at least $\Omega(k^{4})$ colors. This matches the upper bound up to a constant factor.


title: de Sitter-covariant Hamiltonian formalism of Einstein--Cartan gravity

abstract: The Hamiltonian formalism of Einstein--Cartan (EC) gravity is a starting point for canonical quantum gravity. The existing formalisms are at most Lorentz covariant, or diffeomorphism covariant. Here we analyze the Hamiltonian EC gravity in a 5d covariant way, with the gauge group being the de Sitter (dS) group, which unifies the Lorentz transformations and translation in an elegant manner, and also coincides with the acceleration of the universe. We reformulate the EC equations into a dS-covariant form, then find out the dS-covariant constraints of the phase space, and make all the constraint functions constitute a closed algebra by constructing a dS-invariant Dirac bracket, for the purpose of quantization.


title: Towards energy efficient buildings: how ICTs can convert advances?

abstract: This work is a positioning research paper for energy efficient building based on ICT solutions. Through the literature about the solutions for energy control of buildings during operational phase, a 3-layers model is proposed to integrate these solutions: first level consists in communication technologies, second level is about data modelling and third level is related to decision-making tools. For each level, key research topics and remaining problems are identified in order to achieve a concrete step forward. 1. CONTEXT AND PROBLEMATICS Through studies on ICT solutions for energy control of buildings, a 3-layers model is proposed to integrate these solutions and position a new way for energy efficiency. The building sector is the largest user of energy and CO 2 emitter in the EU, estimated at approximately 40% of the total consumption (Sharples et al., 1999). According to the International Panel on Climate Change (European Union, 2010), 30% of energy used in buildings could be reduced with net economic benefits by 2030. Such a reduction, however, is meaningless unless "sustainability" is considered. Because of these factors, healthy, sustainable, and energy efficient buildings have become active topics in international research; there is an urgent need for a new kind of high-technology driven and integrative research that should lead to the massive development of smart buildings and, in the medium term, smart cities. From a building lifecycle perspective, most of the energy (~80%) is consumed during the operational stage of the building (European Union, 2010) (Bilsen et al., 2013). Reducing building energy consumption may be addressed by the physical modifications which can be operated on a building like upgrading windows, heating systems or modifying thermic characteristics by insulating. Another possible path to reduce the energy consumption of a building is to use Information and Communication Technologies (ICT). According to the International Panel on Climate Change, a reduction of energy even greater than the 30% can be targeted by 2030 by considering ICT solutions. In support of this claim, some specialists believe that ICT-based solutions have the potential to enable 50-80% greenhouse gas reduction globally. In this respect, ICT innovation opens prospects for the development of a new range of new services highly available, flexible, safe, easy to integrate, and user friendly (Bilsen et al., 2013). This, in turn, should foster a sophisticated, reliable and fast communication infrastructure for the connection of various distributed elements (sensors, generators, substations...) that enables to exchange real-time data, information and knowledge needed to improve efficiency (e.g., to monitor and control energy consumption), reliability (e.g., to facilitate maintenance operations), flexibility (e.g., to integrate new rules to meet new consumer expectations), and investment returns, but also to induce a shift in consumer behaviour.


title: A well-balanced scheme for chemotactic travelling waves at the mesoscopic scale

abstract: We investigate numerically a model consisting in a kinetic equation for the biased motion of bacteria following a run-and-tumble process, coupled with two reaction-diffusion equations for chemical signals. This model exhibits asymptotic propagation at a constant speed. In particular, it admits travelling wave solutions. To capture this propagation, we propose a well-balanced numerical scheme based on Case's elementary solutions for the kinetic equation, and L-splines for the parabolic equations. We use this scheme to explore the Cauchy problem for various parameters. Some examples far from the diffusive regime lead to the coexistence of two waves travelling at different speeds. Numerical tests support the hypothesis that they are both locally asymptotically stable. Interestingly, the exploration of the bifurcation diagram raises counter-intuitive features.


title: Spectral observations of X Persei: Connection between H-alpha and X-ray emission

abstract: We present spectroscopic observations of the Be/X-ray binary X Per obtained during the period 1999 - 2018. Using new and published data, we found that during "disc-rise" the expansion velocity of the circumstellar disc is 0.4 - 0.7 km/s. Our results suggest that the disc radius in recent decades show evidence of resonant truncation of the disc by resonances 10:1, 3:1, and 2:1, while the maximum disc size is larger than the Roche lobe of the primary and smaller than the closest approach of the neutron star. We find correlation between equivalent width of H-alpha emission line ($W\alpha$) and the X-ray flux, which is visible when $15 \: \AA \: < W\alpha \le 40 \: \AA$. The correlation is probably due to wind Roche lobe overflow.


title: Observation of Optical Backflow

abstract: Backflow is a counter-intuitive phenomenon in which a forward propagating quantum particle propagates locally backwards. The actual counter-propagation property associated with this delicate interference phenomenon has not been observed to date in any field of physics. Here, we report the observation of transverse optical backflow where a beam of light propagating to a specific transverse direction is measured locally to propagate in the opposite direction. This observation is relevant to any physical system supporting coherent waves and might lead to unique applications.


title: Complex Adiabatic Connection: a Hidden Non-Hermitian Path from Ground to Excited States

abstract: Processes related to electronically excited states are central in many areas of science, however accurately determining excited-state energies remains a major challenge in theoretical chemistry. Recently, higher energy stationary states of non-linear methods have themselves been proposed as approximations to excited states, although the general understanding of the nature of these solutions remains surprisingly limited. In this Letter, we present an entirely novel approach for exploring and obtaining excited stationary states by exploiting the properties of non-Hermitian Hamiltonians. Our key idea centres on performing analytic continuations of conventional quantum chemistry methods. Considering Hartree--Fock theory as an example, we analytically continue the electron-electron interaction to expose a hidden connectivity of multiple solutions across the complex plane, revealing a close resemblance between Coulson--Fischer points and non-Hermitian degeneracies. Finally, we demonstrate how a ground-state wave function can be morphed naturally into an excited-state wave function by constructing a well-defined complex adiabatic connection.


title: Computing the interleaving distance is NP-hard

abstract: We show that computing the interleaving distance between two multi-graded persistence modules is NP-hard. More precisely, we show that deciding whether two modules are $1$-interleaved is NP-complete, already for bigraded, interval decomposable modules. Our proof is based on previous work showing that a constrained matrix invertibility problem can be reduced to the interleaving distance computation of a special type of persistence modules. We show that this matrix invertibility problem is NP-complete. We also give a slight improvement of the above reduction, showing that also the approximation of the interleaving distance is NP-hard for any approximation factor smaller than $3$. Additionally, we obtain corresponding hardness results for the case that the modules are indecomposable, and in the setting of one-sided stability. Furthermore, we show that checking for injections (resp. surjections) between persistence modules is NP-hard. In conjunction with earlier results from computational algebra this gives a complete characterization of the computational complexity of one-sided stability. Lastly, we show that it is in general NP-hard to approximate distances induced by noise systems within a factor of 2.


title: Calibrated quantum thermometry in cavity optomechanics

abstract: Cavity optomechanics has achieved the major breakthrough of the preparation and observation of macroscopic mechanical oscillators in peculiarly quantum states. The development of reliable indicators of the oscillator properties in these conditions is important also for applications to quantum technologies. We compare two procedures to infer the oscillator occupation number, minimizing the necessity of system calibrations. The former starts from homodyne spectra, the latter is based on the measurement of the motional sidebands asymmetry in heterodyne spectra. Moreover, we describe and discuss a method to control the cavity detuning, that is a crucial parameter for the accuracy of the latter, intrinsically superior procedure.


title: Anticipation: an effective evolutionary strategy for a sub-optimal population in a cyclic environment

abstract: We built a two-state model of an asexually reproducing organism in a periodic environment endowed with the capability to anticipate an upcoming environmental change and undergo pre-emptive switching. By virtue of these anticipatory transitions, the organism oscillates between its two states that is a time $\theta$ out of sync with the environmental oscillation. We show that an anticipation-capable organism increases its long-term fitness over an organism that oscillates in-sync with the environment, provided $\theta$ does not exceed a threshold. We also show that the long-term fitness is maximized for an optimal anticipation time that decreases approximately as $1/n$, $n$ being the number of cell divisions in time $T$. Furthermore, we demonstrate that optimal "anticipators" outperforms "bet-hedgers" in the range of parameters considered. For a sub-optimal ensemble of anticipators, anticipation performs better to bet-hedging only when the variance in anticipation is small compared to the mean and the rate of pre-emptive transition is high. Taken together, our work suggests that anticipation increases overall fitness of an organism in a periodic environment and it is a viable alternative to bet-hedging provided the error in anticipation is small.


title: Joint gravitational wave -- gamma-ray burst detection rates in the aftermath of GW170817

abstract: The observational follow-up campaign of the gravitational wave (GW) multi-messenger event GW170817/GRB170817A has shown that the prompt $\gamma$-rays are consistent with a relativistic structured jet observed from a wide viewing angle $\gtrsim 20$\deg. We perform Bayesian inference using the data from early and late EM observations to determine the jet profile of GRB170817A assuming a structured jet model. We use the geometric dependence on the burst luminosity to produce a short duration gamma-ray burst (sGRB) efficiency function with redshift, which folded in with binary neutron star detection rate, allows us to estimate the future joint GW/sGRB detection rates for LIGO and Virgo detectors. We show that, if the jet structured profile of GRB170817A is a relatively common feature of sGRBs, then there is a realistic probability of another off-axis coincident detection during the third aLIGO/Virgo observing run (O3). We also find that up to 4 yr$^{-1}$ joint events may be observed during the advanced LIGO run at design sensitivity and up to 10 yr$^{-1}$ by the upgraded advanced LIGO configuration A+. We show that the detection efficiencies for wide-angled sGRB emissions will be limited by GRB satellites as the GW detection range increases through proposed upgrades. Therefore, although the number of coincident detections will increase with GW detector sensitivity, the relative proportion of detected binary neutron stars with $\gamma$-ray counterparts will decrease; 11\% for O3 down to 2\% during A+.


title: Simulating seeded vacuum decay in a cold atom system

abstract: We propose to test the concept of seeded vacuum decay in cosmology using an analogue gravity Bose-Einstein condensate system. The role of the nucleation seed is played by a vortex within the condensate. We present two complementary theoretical analyses that demonstrate seeded decay is the dominant decay mechanism of the false vacuum. First, we adapt the standard instanton methods to the Gross-Pitaevskii equation. Second, we use the truncated Wigner method to study vacuum decay.


title: Engineering Nonlinear Response of Superconducting Niobium Microstrip Resonators via Aluminum Cladding

abstract: In this work, we find that Al cladding on Nb microstrip resonators is an efficient way to suppress nonlinear responses induced by local Joule heating, resulting in improved microwave power handling capability. This improvement is likely due to the proximity effect between the Al and the Nb layers. The proximity effect is found to be controllable by tuning the thickness of the Al layer. We show that improving the film quality is also helpful as it enhances the microwave critical current density, but it cannot eliminate the local heating.


title: Generalized Range Moves

abstract: We consider move-making algorithms for energy minimization of multi-label Markov Random Fields (MRFs). Since this is not a tractable problem in general, a commonly used heuristic is to minimize over subsets of labels and variables in an iterative procedure. Such methods include {\alpha}-expansion, {\alpha}{\beta}-swap, and range-moves. In each iteration, a small subset of variables are active in the optimization, which diminishes their effectiveness, and increases the required number of iterations. In this paper, we present a method in which optimization can be carried out over all labels, and most, or all variables at once. Experiments show substantial improvement with respect to previous move-making algorithms.


title: Remarks on the Bohnenblust--Hille inequalities

abstract: We revisit the Bohnenblust--Hille multilinear and polynomial inequalities and prove some new properties. Our main result is a multilinear version of a recent result on polynomials whose monomials have a uniformly bounded number of variables.


title: Dual Reweighted Lp-Norm Minimization for Salt-and-pepper Noise Removal

abstract: The robust principal component analysis (RPCA), which aims to estimate underlying low-rank and sparse structures from the degraded observation data, has found wide applications in computer vision. It is usually replaced by the principal component pursuit (PCP) model in order to pursue the convex property, leading to the undesirable overshrink problem. In this paper, we propose a dual weighted lp-norm (DWLP) model with a more reasonable weighting rule and weaker powers, which greatly generalizes the previous work and provides a better approximation to the rank minimization problem for original matrix as well as the l0-norm minimization problem for sparse data. Moreover, an approximate closed-form solution is introduced to solve the lp-norm minimization, which has more stability in the nonconvex optimization and provides a more accurate estimation for the low-rank and sparse matrix recovery problem. We then apply the DWLP model to remove salt-and-pepper noise by exploiting the image nonlocal self-similarity. Both qualitative and quantitative experiments demonstrate that the proposed method outperforms other state-of-the-art methods. In terms of PSNR evaluation, our DWLP achieves about 7.188dB, 5.078dB, 3.854dB, 2.536dB and 0.158dB improvements over the current WSNM-RPCA under 10\% to 50\% salt-and-pepper noise with an interval 10\% respectively.


title: Search for Exoplanetary Transits in the Galactic Bulge

abstract: A search for extrasolar planetary transits using the extended Kepler mission (K2) campaigns 9 and 11 revealed five new candidates towards the Galactic bulge. The stars EPIC 224439122, 224560837, 227560005, 230778501 and 231635524 are found to have low amplitude transits consistent with extrasolar planets, with periods P = 35.1695, 3.6390, 12.4224, 17.9856, and 5.8824 days, respectively. The K2 data and existing optical photometry are combined with the multi-band near-IR photometry of the VVV survey and 2MASS in order to measure accurate physical parameters for the host stars. We then measure the radii of the new planet candidates from the K2 transit light curves and also estimate their masses using mass-radius relations, concluding that two of these candidates could be low mass planets, and three could be giant gaseous planets.


title: Asymptotic theory of charged particle transfer reactions at low energies and nuclear astrophysics

abstract: A new asymptotic theory is proposed for the peripheral sub- and above-barrier transfer $A$($x$, $y$)$B$ reaction within the three-body ($A$, $a$ and $y$) model, where $ x$= $y$ + $a$, $B$= $A$ + $a$ and $ a$ is a transferred particle. In the asymptotic theory, the allowance of the contribution of the three-body ($A$, $a$ and $y$) Coulomb dynamics of the transfer mechanism to the peripheral partial amplitudes for the partial wave $l_i>>$ 1 and of the Coulomb-nuclear distorted effects in the entrance and exit channels is done in a correct manner within the framework of the dispersion theory and the conventional distorted-wave Born approximation (DWBA), respectively. It is shown that the proposed asymptotic theory makes it possible to test the accuracy of taking into account the the three-body Coulomb dynamics of the transfer mechanism in the modified DWBA. The results of the analysis of the differential cross sections of the specific proton and triton transfer reactions at above- and sub-barrier energies are presented. New estimates and their uncertainties are obtained for values of the asymptotic normalization coefficients for ${\rm{^9Be}} \,+p \to\,{\rm{^{10}B}}$, ${\rm{^{11}B}}\,+\,p\to\,{\rm{^{12}C}}$, ${\rm{^{16}O}} \,+\,p \to\, {\rm{^{17}F}}$ and ${\rm{^{19}F}}\to\, {\rm{^{16}O}} \,+\,t$ as well as for the direct astrophysical $S$ factors at stellar energy of the radiative capture ${\rm{^9Be(}}p,\,\gamma{\rm{)^{10}B}} $, ${\rm{^{11}B(}}p,\,\gamma{\rm{)^{12}C}} $ and ${\rm{^{16}O(}}p,\,\gamma{\rm{)^{17}F}}$ reactions.


title: Uma t\'ecnica para a quantifica\c{c}\~ao do esfor\c{c}o de merge

abstract: Developers that use version control systems can work in parallel with other developers and merge their versions afterwards. Sometimes these merges fail, demanding manual intervention to resolve conflicts. Some studies aim at analyzing the merges failures, however, there is a lack of tool support in the literature to measure the merge effort, jeopardizing such kind of analyses. In this article, we propose a technique and its companion tool for analyzing Git repositories and providing metrics related to the merge effort. We evaluated our tool over five projects, showing that rework and wasted work happens in, approximately, 10% to 30% of the projects. Moreover, the average of actions of these efforts is almost the same.


title: Distributed Compression of Correlated Classical-Quantum Sources or: The Price of Ignorance

abstract: We resume the investigation of the problem of independent local compression of correlated quantum sources, the classical case of which is covered by the celebrated Slepian-Wolf theorem. We focus specifically on classical-quantum (cq) sources, for which one edge of the rate region, corresponding to the compression of the classical part, using the quantum part as side information at the decoder, was previously determined by Devetak and Winter [Phys. Rev. A 68, 042301 (2003)]. Whereas the Devetak-Winter protocol attains a rate-sum equal to the von Neumann entropy of the joint source, here we show that the full rate region is much more complex, due to the partially quantum nature of the source. In particular, in the opposite case of compressing the quantum part of the source, using the classical part as side information at the decoder, typically the rate sum is strictly larger than the von Neumann entropy of the total source. We determine the full rate region in the generic case, showing that, apart from the Devetak-Winter point, all other points in the achievable region have a rate sum strictly larger than the joint entropy. We can interpret the difference as the price paid for the quantum encoder being ignorant of the classical side information. In the general case, we give an achievable rate region, via protocols that are built on the decoupling principle, and the principles of quantum state merging and quantum state redistribution. Our achievable region is matched almost by a single-letter converse, which however still involves asymptotic errors and an unbounded auxiliary system.


title: Object-oriented Targets for Visual Navigation using Rich Semantic Representations

abstract: When searching for an object humans navigate through a scene using semantic information and spatial relationships. We look for an object using our knowledge of its attributes and relationships with other objects to infer the probable location. In this paper, we propose to tackle the visual navigation problem using rich semantic representations of the observed scene and object-oriented targets to train an agent. We show that both allows the agent to generalize to new targets and unseen scene in a short amount of training time.


title: Properties of the decay $H\to\gamma\gamma$ using the approximate $\alpha_s^4$-corrections and the principle of maximum conformality

abstract: The Higgs boson decay channel, $H\to\gamma\gamma$, is one of the most important channels for probing the properties of the Higgs boson. In the paper, we reanalyze its decay width by using the QCD corrections up to $\alpha_s^4$-order level. The principle of maximum conformality has been adopted to achieve a precise pQCD prediction without conventional renormalization scheme-and-scale ambiguities. By taking the Higgs mass as the one given by the ATLAS and CMS collaborations, i.e. $M_{H}=125.09\pm0.21\pm0.11$ GeV, we obtain $\Gamma(H\to \gamma\gamma)|_{\rm LHC}=9.364^{+0.076}_{-0.075}$ KeV.


title: Single-beam Zeeman slower and magneto-optical trap using a nanofabricated grating

abstract: We demonstrate a compact (0.25 L) system for laser cooling and trapping atoms from a heated dispenser source. Our system uses a nanofabricated diffraction grating to generate a magneto-optical trap (MOT) using a single input laser beam. An aperture in the grating allows atoms from the dispenser to be loaded from behind the chip, increasing the interaction distance of atoms with the cooling light. To take full advantage of this increased distance, we extend the magnetic field gradient of the MOT to create a Zeeman slower. The MOT traps approximately $10^6$ $^7$Li atoms emitted from an effusive source with loading rates in excess of $10^6$ s$^{-1}$. Our design is portable to a variety of atomic and molecular species and could be a principal component of miniaturized cold-atom-based technologies.


title: Pilot-Aided Joint-Channel Carrier-Phase Estimation in Space-Division Multiplexed Multicore Fiber Transmission

abstract: The performance of pilot-aided joint-channel carrier-phase estimation (CPE) in space-division multiplexed multicore fiber (MCF) transmission with correlated phase noise is studied. To that end, a system model describing uncoded MCF transmission where the phase noise comprises a common laser phase noise, in addition to core- and polarization-specific phase drifts, is introduced. It is then shown that the system model can be regarded as a special case of a multidimensional random-walk phase-noise model. A pilot-aided CPE algorithm developed for this model is used to evaluate two strategies, namely joint-channel and per-channel CPE. To quantify the performance differences between the two strategies, their respective phase-noise tolerances are assessed through Monte Carlo simulations of uncoded transmission for different modulation formats, pilot overheads, laser linewidths, numbers of spatial channels, and degrees of phase-noise correlation across the channels. For 20 GBd transmission with 200 kHz combined laser linewidth and 1% pilot overhead, joint-channel CPE yields up to 3.4 dB improvement in power efficiency or 25.5% increased information rate. Moreover, through MCF transmission experiments, the system model is validated and the strategies are compared in terms of bit-error-rate performance versus transmission distance for uncoded transmission of different modulation formats. Up to 21% increase in transmission reach is observed for 1% pilot overhead through the use of joint-channel CPE.


abstract: Inspired by results of Bayart on ordinary Dirichlet series $\sum a_n n^{-s}$, the main purpose of this article is to start an $\mathcal{H}_p$-theory of general Dirichlet series $\sum a_n e^{-\lambda_{n}s}$. Whereas the $\mathcal{H}_p$-theory of ordinary Dirichlet series, in view of an ingenious identification of Bohr, can be seen as a sub-theory of Fourier analysis on the infinite dimensional torus $\mathbb{T}^\infty$, the $\mathcal{H}_p$-theory of general Dirichlet series is build as a sub-theory of Fourier analysis on certain compact abelian groups, including the Bohr compactification $\overline{\mathbb{R}}$ of the reals. Our approach allows to extend various important facts on Hardy spaces of ordinary Dirichlet series to the much wider setting of $\mathcal{H}_p$-spaces of general Dirichlet series.


title: On the Maurey--Pisier and Dvoretzky--Rogers theorems

abstract: A famous theorem due to Maurey and Pisier asserts that for an infinite dimensional Banach space $E$, the infumum of the $q$ such that the identity map $id_{E}$ is absolutely $\left( q,1\right) $-summing is precisely $\cot E$. In the same direction, the Dvoretzky--Rogers Theorem asserts $id_{E}$ fails to be absolutely $\left( p,p\right) $-summing, for all $p\geq1$. In this note, among other results, we unify both theorems by charactering the parameters $q$ and $p$ for which the identity map is absolutely $\left( q,p\right)$-summing. We also provide a result that we call \textit{strings of coincidences} that characterize a family of coincidences between classes of summing operators. We illustrate the usefulness of this result by extending classical result of Diestel, Jarchow and Tonge and the coincidence result of Kwapie\'{n}.


title: Properties $(BR)$ and $(BgR)$ for Bounded Linear Operators

abstract: In this paper we introduce the notion of property $(BR)$ and property $(BgR)$ for bounded linear operators defined on an infinite-dimensional Banach space. These properties in connection with Weyl type theorems and in the frame of polaroid operators are investigated. Moreover, we study the stability of these properties under perturbations by commuting finite-dimensional, quasi-nilpotent, Riesz and algebraic operators.


title: A Fresh Look at the Calculation of Tunneling Actions in Multi-Field Potentials

abstract: The quantum decay of a metastable vacuum is exponentially suppressed by a tunneling action that can be calculated in the semi-classical approximation as the Euclidean action of a bounce that interpolates between the false and true phases. For multi-field potentials, finding the bounce is non-trivial due to its peculiar boundary conditions and the fact that the action at the bounce is not a minimum but merely a saddle point. Recently, an alternative tunneling action has been proposed that does not rely on Euclidean bounces and reproduces the standard result at its minimum. Here we generalize this new approach for several scalar fields and demonstrate how its use can significantly improve the numerical calculation of tunneling actions for multi-field potentials.


title: Phononic Casimir corrections for Graphene resonator

abstract: By calculating a Casimir energy for the acoustic phonons of Graphene, we find some temperature-dependent corrections for the pretension of a Graphene sheet suspended on a trench. We obtain values of the order of few mN/m for these corrections in fully as well as doubly clamped Graphene on a narrow trench with one nanometer width, at room temperature. These values are considerable compared to the experimental values, and can increase the fundamental resonance frequency of the Graphene. The values of these corrections increase by increasing the temperature, and so they can be utilized for tuning the Graphene pretension.


title: Symmetric Killing tensors on nilmanifolds

abstract: We study left-invariant symmetric Killing 2-tensors on 2-step nilpotent Lie groups endowed with a left-invariant Riemannian metric, and construct genuine examples, which are not linear combinations of parallel tensors and symmetric products of Killing vector fields.


title: Ergodicity analysis and antithetic integral control of a class of stochastic reaction networks with delays

abstract: Delays are an important phenomenon arising in a wide variety of real world systems. They occur in biological models because of diffusion effects or as simplifying modeling elements. We propose here to consider delayed stochastic reaction networks. The difficulty here lies in the fact that the state-space of a delayed reaction network is infinite-dimensional, which makes their analysis more involved. We demonstrate here that a particular class of stochastic time-varying delays, namely those that follow a phase-type distribution, can be exactly implemented in terms of a chemical reaction network. Hence, any delay-free network can be augmented to incorporate those delays through the addition of delay-species and delay-reactions. Hence, for this class of stochastic delays, which can be used to approximate any delay distribution arbitrarily accurately, the state-space remains finite-dimensional and, therefore, standard tools developed for standard reaction network still apply. In particular, we demonstrate that for unimolecular mass-action reaction networks that the delayed stochastic reaction network is ergodic if and only if the non-delayed network is ergodic as well. Bimolecular reactions are more difficult to consider but an analogous result is also obtained. These results tell us that delays that are phase-type distributed, regardless of their distribution, are not harmful to the ergodicity property of reaction networks. We also prove that the presence of those delays adds convolution terms in the moment equation but does not change the value of the stationary means compared to the delay-free case. Finally, the control of a certain class of delayed stochastic reaction network using a delayed antithetic integral controller is considered. It is proven that this controller achieves its goal provided that the delay-free network satisfy the conditions of ergodicity and output-controllability.


title: PAC it up: Towards Pointer Integrity using ARM Pointer Authentication

abstract: Run-time attacks against programs written in memory-unsafe programming languages (e.g., C and C++) remain a prominent threat against computer systems. The prevalence of techniques like return-oriented programming (ROP) in attacking real-world systems has prompted major processor manufacturers to design hardware-based countermeasures against specific classes of run-time attacks. An example is the recently added support for pointer authentication (PA) in the ARMv8-A processor architecture, commonly used in devices like smartphones. PA is a low-cost technique to authenticate pointers so as to resist memory vulnerabilities. It has been shown to enable practical protection against memory vulnerabilities that corrupt return addresses or function pointers. However, so far, PA has received very little attention as a general purpose protection mechanism to harden software against various classes of memory attacks. In this paper, we use PA to build novel defenses against various classes of run-time attacks, including the first PA-based mechanism for data pointer integrity. We present PARTS, an instrumentation framework that integrates our PA-based defenses into the LLVM compiler and the GNU/Linux operating system and show, via systematic evaluation, that PARTS provides better protection than current solutions at a reasonable performance overhead


title: Amplitude of jump motion signatures in classical vibration-jump dynamic

abstract: The classical Langevin dynamics of a particle in a periodic potential energy landscape are studied via the intermediate scattering function (ISF). By construction, the particle performs coupled vibrational and activated jump motion with a wide separation of the vibrational period and the mean residence time between jumps. The long time limit of the ISF is a decaying tail proportional to the function that describes ideal jump motion in the absence of vibrations. The amplitude of the tail is unity in idealized jump dynamics models, but is reduced from unity by the intra-well motion. Analytical estimates of the amplitude of the jump motion signature are provided by assuming a \textcolor{blue}{factorization of the conditional probability density of the particle position at long times, motivated by the separation of time scales associated with inter-cell and intra-cell motion}. The assumption leads to a factorization of the ISF at long correlation times, where one factor is an ideal jump motion signature, and the other component is the amplitude of the signature. The amplitude takes the form of a single-particle anharmonic Debye-Waller factor. The factorization approximation is exact at the diffraction conditions associated with the periodic potential. Numerical simulations of the Langevin equation in one and two spatial dimensions confirm that for a strongly corrugated potential the analytical approximation provides a good qualitative description of the trend in the jump signature amplitude, between the points where the factorization is exact.


title: On the parallelization of stellar evolution codes

abstract: Multidimensional nucleosynthesis studies with hundreds of nuclei linked through thousands of nuclear processes are still computationally prohibitive. To date, most nucleosynthesis studies rely either on hydrostatic/hydrodynamic simulations in spherical symmetry, or on post-processing simulations using temperature and density versus time profiles directly linked to huge nuclear reaction networks. Parallel computing has been regarded as the main permitting factor of computationally intensive simulations. This paper explores the different pros and cons in the parallelization of stellar codes, providing recommendations on when and how parallelization may help in improving the performance of a code for astrophysical applications. We report on different parallelization strategies succesfully applied to the spherically symmetric, Lagrangian, implicit hydrodynamic code SHIVA, extensively used in the modeling of classical novae and type I X-ray bursts. Speed-up factors of 26 and 35 have been obtained with a parallelized version of SHIVA, in a 200-shell simulation of a type I X-ray burst carried out with two nuclear reaction networks: a reduced one, consisting of 324 isotopes and 1392 reactions, and a more extended network with 606 nuclides and 3551 nuclear interactions. Maximum speed-ups of 41 (324-isotope network) and 85 (606-isotope network), are also predicted for 200 cores, stressing that the number of shells of the computational domain constitutes an effective upper limit for the maximum number of cores that could be used in a parallel application.


title: Self Paced Adversarial Training for Multimodal Few-shot Learning

abstract: State-of-the-art deep learning algorithms yield remarkable results in many visual recognition tasks. However, they still fail to provide satisfactory results in scarce data regimes. To a certain extent this lack of data can be compensated by multimodal information. Missing information in one modality of a single data point (e.g. an image) can be made up for in another modality (e.g. a textual description). Therefore, we design a few-shot learning task that is multimodal during training (i.e. image and text) and single-modal during test time (i.e. image). In this regard, we propose a self-paced class-discriminative generative adversarial network incorporating multimodality in the context of few-shot learning. The proposed approach builds upon the idea of cross-modal data generation in order to alleviate the data sparsity problem. We improve few-shot learning accuracies on the finegrained CUB and Oxford-102 datasets.


title: Real-time simulation of large-scale HTS systems: multi-scale and homogeneous models using T-A formulation

abstract: The emergence of second-generation high temperature superconducting tapes has favored the development of large-scale superconductor systems. The mathematical models capable of estimating electromagnetic quantities in superconductors have evolved from simple analytical models to complex numerical models. The available analytical models are limited to the analysis of single wires or infinite arrays that, in general, do not represent real devices in real applications. The numerical models based on finite element method using the H formulation of the Maxwells equations are useful for the analysis of medium-size systems, but their application in large-scale systems is problematic due to the excessive computational cost in terms of memory and computation time. Then it is necessary to devise new strategies to make the computation more efficient. The homogenization and the multi-scale methods have successfully simplified the description of the systems allowing the study of large-scale systems. Also, efficient calculations have been achieved using the T-A formulation. In the present work, we propose a series of adaptations to the multi-scale and homogenization methods so that they can be efficiently used in conjunction with the T-A formulation to compute the distribution of current density and hysteresis losses in the superconducting layer of superconducting tapes. The computation time and the amount of memory are substantially reduced up to a point that it is possible to achieve real-time simulations of HTS large-scale systems under slow ramping cycles of practical importance on personal computers.


title: An embedded--hybridized discontinuous Galerkin finite element method for the Stokes equations

abstract: We present and analyze a new embedded--hybridized discontinuous Galerkin finite element method for the Stokes problem. The method has the attractive properties of full hybridized methods, namely an $H({\rm div})$-conforming velocity field, pointwise satisfaction of the continuity equation and \emph{a priori} error estimates for the velocity that are independent of the pressure. The embedded--hybridized formulation has advantages over a full hybridized formulation in that it has fewer global degrees-of-freedom for a given mesh and the algebraic structure of the resulting linear system is better suited to fast iterative solvers. The analysis results are supported by a range of numerical examples that demonstrate rates of convergence, and which show computational efficiency gains over a full hybridized formulation.


title: Scope of strongly self-interacting thermal WIMPs in a minimal $U(1)_D$ extension and its future prospects

abstract: In this work we have considered a minimal extension of Standard Model by a local $U(1)$ gauge group in order to accommodate a stable (fermionic) Dark Matter (DM) candidate. We have focussed on parameter regions where DM possesses adequate self interaction, owing to the presence of a light scalar mediator (the dark Higgs), alleviating some of the tensions in the small-scale structures. We have studied the scenario in the light of a variety of data, mostly from dark matter direct searches, collider searches and flavour physics experiments, with an attempt to constrain the interactions of the standard model (SM) particles with the ones in the Dark Sector (DS). Assuming a small gauge kinetic mixing parameter, we find that for rather heavy DM %$\gtrsim \mathcal{O}(1-10)\,\, {\rm GeV}$%, the most stringent bound on the mixing angle of the Dark Higgs with the SM Higgs boson comes from dark matter direct detection experiments, while for lighter DM, LHC constraints become more relevant. Note that, due to the presence of very light mediators the usual realisation of direct detection constraints in terms of momentum independent cross sections had to be reevaluated for our scenario. In addition, we find that the smallness of the relevant portal couplings, as dictated by data, critically suppress the viability of DM production by the standard "freeze-out" mechanism in such simplified scenarios. In particular, the viable DM masses are $\lesssim \mathcal{O}(2)$ GeV $i.e.$ in the regions where direct detection limits tend to become weak. For heavier DM with large self-interactions, we hence conclude that non-thermal production mechanisms are favoured. Lastly, future collider reach of such a simplified scenario has also been studied in detail.


title: Using External Archive for Improved Performance in Multi-Objective Optimization

abstract: It is shown that the use of an external archive, purely for storage purposes, can bring substantial benefits in multi-objective optimization. A new scheme for archive management for the above purpose is described. The new scheme is combined with the NSGA-II algorithm for solving two multi-objective optimization problems, and it is demonstrated that this combination gives significantly improved sets of Pareto-optimal solutions. The additional computational effort because of the external archive is found to be insignificant when the objective functions are expensive to evaluate.


title: Large-scale redshift space distortions in modified gravity theories

abstract: Measurements of redshift space distortions (RSD) provide a means to test models of gravity on large-scales. We use mock galaxy catalogues constructed from large N-body simulations of standard and modified gravity models to measure galaxy clustering in redshift space. We focus our attention on two of the most representative and popular families of modified gravity models: the Hu \& Sawicki $f(R)$ gravity and the normal branch of the DGP model. The galaxy catalogues are built using a halo occupation distribution (HOD) prescription with the HOD parameters in the modified gravity models tuned to match with the number density and the real-space clustering of {\sc boss-cmass} galaxies. We employ two approaches to model RSD: the first is based on linear perturbation theory and the second models non-linear effects on small-scales by assuming standard gravity and including biasing and RSD effects. We measure the monopole to real-space correlation function ratio, the quadrupole to monopole ratio, clustering wedges and multipoles of the correlation function and use these statistics to find the constraints on the distortion parameter, $\beta$. We find that the linear model fails to reproduce the N-body simulation results and the true value of $\beta$ on scales $s < 40\Mpch$, while the non-linear modelling of RSD recovers the value of $\beta$ on the scales of interest for all models. RSD on large scales ($s\gtrsim20$-$40\Mpch$) have been found to show significant deviations from the prediction of standard gravity in the DGP models. However, the potential to use RSD to constrain $f(R)$ models is less promising, due to the different screening mechanism in this model.


title: Interior structure of Mars and other rock-and-iron planetary bodies

abstract: Here it is shown how to find the interior structure of a variety of rock-and-iron planetary bodies by using the rock density and some aspects of the core density as known for the Earth and using a convection principle for the iron-rich core. Convection minimizes both the density and temperature gradients inside the core fluid. This is achieved if the density of the core fluid is close to pure iron melting density at the core-mantle boundary, and the density has the smallest value possible for iron-rich melt at the inner core boundary. The critical iron densities for both pure iron and iron with maximal light impurities were previously obtained utilizing Landau's theory of first order phase transitions with the most reliable experimental scaling. The planetary interior density is found by iteratively calculating the gravity and pressure in small radial steps. Moment of inertia factors are also calculated and agree well for the bodies for which we have accurate measurements: Moon, Mars and Mercury. Calculations are also made for the exoplanets Kepler-78b, K2-229b and Kepler-10b. All show iron-rich liquid in their cores. The lighter, solar objects are without an inner core, but the heaviest two exoplanets have a pure iron innermost core inside the inner core. The parameter range for a growing inner core in the radius-mass plane is calculated. The magnetic field following the growth of an inner core protects life on Earth, and similarly for exoplanets. This guides the selection of exoplanets to study in the search for life.


title: Sum of interpolated finite multiple harmonic $q$-series

abstract: We define and study the interpolated finite multiple harmonic $q$-series. A generating function of the sums of the interpolated finite multiple harmonic $q$-series with fixed weight, depth and $i$-height is computed. Some Ohno-Zagier type relation with corollaries and some evaluation formulas of the interpolated finite multiple harmonic $q$-series at roots of unity are given.


title: Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts

abstract: We show that $C(X)$ admits an equivalent pointwise lower semicontinuous locally uniformly rotund norm provided $X$ is Fedorchuk compact of spectral height 3. In other words $X$ admits a fully closed map $f$ onto a metric compact $Y$ such that $f^{-1}(y)$ is metrizable for all $y\in Y$ . A continuous map of compacts $f : X \to Y$ is said to be fully closed if for any disjoint closed subsets $A;B \subset X$ the intersection $f(A) \cap f(B)$ is finite. For instance the projection of the lexicographic square onto the first factor is fully closed and all its fibers are homeomorphic to the closed interval.


title: Universality in Distribution of Monogamy Scores for Random Multiqubit Pure States

abstract: Monogamy of quantum correlations provides a way to study restrictions on their sharability in multiparty systems. We find the critical exponent of these measures, above which randomly generated multiparty pure states satisfy the usual monogamy relation, and show that the critical power decreases with the increase in the number of parties. For three-qubit pure states, we detect that W-class states are more prone to being nonmonogamous as compared to the GHZ-class states. We also observe a different criticality in monogamy power up to which random pure states remain nonmonogamous. We prove that the "average monogamy" score asymptotically approaches its maximal value on increasing the number of parties. Analyzing the monogamy scores of random three-, four-, five- and six-qubit pure states, we also report that almost all random pure six-qubit states possess maximal monogamy score, which we confirm by evaluating statistical quantities like mean, variance and skewness of the distributions. In particular, with the variation of number of qubits, means of the distributions of monogamy scores for random pure states approach to unity -- which is the algebraic maximum -- thereby conforming to the known results of random states having maximal multipartite entanglement in terms of geometric measures.


title: Ensemble dependence of Critical Casimir Forces in Films with Dirichlet Boundary Conditions

abstract: In a recent study [Phys. Rev. E \textbf{94}, 022103 (2016)] it has been shown that, for a fluid film subject to critical adsorption, the resulting critical Casimir force (CCF) may significantly depend on the thermodynamic ensemble. Here, we extend that study by considering fluid films within the so-called ordinary surface universality class. We focus on mean-field theory, within which the OP profile satisfies Dirichlet boundary conditions and produces a nontrivial CCF in the presence of external bulk fields or, respectively, a nonzero total order parameter within the film. Our analytical results are supported by Monte Carlo simulations of the three-dimensional Ising model. We show that, in the canonical ensemble, i.e., when fixing the so-called total mass within the film, the CCF is typically repulsive instead of attractive as in the grand canonical ensemble. Based on the Landau-Ginzburg free energy, we furthermore obtain analytic expressions for the order parameter profiles and analyze the relation between the total mass in the film and the external bulk field.


title: Kane-Fisher weak link physics in the clean scratched-XY model

abstract: The nature of the superfluid-insulator transition in 1D has been much debated recently. In particular, to describe the strong disorder regime characterized by weak link proliferation, a scratched-XY model has been proposed [New J. Phys. \textbf{18}, 045018 (2016)], where the transport is dominated by a single anomalously weak link and is governed by Kane-Fisher weak link physics. In this article, we consider the simplest problem to which the scratched-XY model relates: a single weak link in an otherwise \textit{clean} system, with an intensity $J_W$ which decreases algebraically with the size of the system $J_W\sim L^{-\alpha}$. Using a renormalization group approach and a vortex energy argument, we describe the Kane-Fisher physics in this model and show that it leads to a transition from a transparent regime for $K>K_c$ to a perfect cut for $K<K_c$, with an adjustable $K_c=1/(1-\alpha)$ depending on $\alpha$. We check our theoretical predictions with Monte Carlo numerical simulations complemented by finite-size scaling. Our results clarify two important assumptions at the basis of the scratched-XY scenario, the behaviors of the crossover length scale from weak link physics to transparency and of the superfluid stiffness.


title: Learning in the Absence of Training Data -- a Galactic Application

abstract: There are multiple real-world problems in which training data is unavailable, and still, the ambition is to learn values of the system parameters, at which test data on an observable is realised, subsequent to the learning of the functional relationship between these variables. We present a novel Bayesian method to deal with such a problem, in which we learn a system function of a stationary dynamical system, for which only test data on a vector-valued observable is available, and training data is unavailable. This exercise borrows heavily from the state space probability density function ($pdf$), that we also learn. As there is no training data available for either sought function, we cannot learn its correlation structure, and instead, perform inference (using Metropolis-within-Gibbs), on the discretised form of the sought system function and of the ${pdf}$, where this $pdf$ is constructed such that the unknown system parameters are embedded within its support. Likelihood of the unknowns given the available data, is defined in terms of such a ${pdf}$. We make an application to the learning of the density of all gravitational matter in a real galaxy.


title: The echo of the bar buckling: phase-space spirals in Gaia DR2

abstract: Using a single N-body simulation ($N=0.14\times 10^9$) we explore the formation, evolution and spatial variation of the phase-space spirals similar to those recently discovered by Antoja et al. in the Milky Way disk, with Gaia DR2. For the first time in the literature, we use a self-consistent N-body simulation of an isolated Milky Way-type galaxy to show that the phase-space spirals develop naturally from vertical oscillations driven by the buckling of the stellar bar. We claim that the physical mechanism standing behind the observed incomplete phase-space mixing process can be internal and not necessarily due to the perturbation induced by a massive satellite. In our model, the bending oscillations propagate outwards and produce axisymmetric variations of the mean vertical coordinate and of the vertical velocity component. As a consequence, the phase-space wrapping results in the formation of patterns with various morphology across the disk, depending on the bar orientation, distance to the galactic center and time elapsed since the bar buckling. Once bending waves appear, they are supported for a long time via disk self-gravity. The underlying physical mechanism implies the link between in-plane and vertical motion that leads directly to phase-space structures whose amplitude and shape are in remarkable agreement with those of the phase-space spirals observed in the Milky Way disk. In our isolated galaxy simulation, phase-space spirals are still distinguishable, at the solar neighbourhood, 3 Gyr after the buckling phase. The long-lived character of the phase-space spirals generated by the bar buckling instability cast doubts on the timing argument used so far to get back at the time of the onset of the perturbation: phase-space spirals may have been caused by perturbations originated several Gyrs ago, and not as recent as suggested so far.


title: Partition Recurrences

abstract: We present some Euler-type recurrences for the partition function $p(n)$.


title: Locally conformally K\"ahler solvmanifolds: a survey

abstract: A Hermitian structure on a manifold is called locally conformally K\"ahler (LCK) if it locally admits a conformal change which is K\"ahler. In this survey we review recent results of invariant LCK structures on solvmanifolds and present original results regarding the canonical bundle of solvmanifolds equipped with a Vaisman structure, that is, a LCK structure whose associated Lee form is parallel.


title: Conformal perturbation description of deconfinement

abstract: Conformal perturbation theory is a powerful tool to describe the behavior of statistical-mechanics models and quantum field theories in the vicinity of a critical point. In the past few years, it has been extensively used to describe two-dimensional models and recently has also been extended to three-dimensional models. We show here that it can also be used to describe the behavior of four-dimensional lattice gauge theories in the vicinity of a critical point. As an example, we discuss the two-point correlator of Polyakov loops close to the thermal deconfinement transition of $SU(2)$ Yang-Mills theory. We show that the short-distance behavior of this correlation function (and, thus, of the interquark potential) is described very well by conformal perturbation theory. This method is expected to work with a similarly high accuracy for all critical points in the same universality class, including, in particular, the critical endpoint in the QCD phase diagram.


title: Sprinkling a few random edges doubles the power

abstract: A seminal result by Koml\'os, Sark\"ozy, and Szemer\'edi states that if a graph $G$ with $n$ vertices has minimum degree at least $kn/(k + 1)$, for some $k \in \mathbb{N}$ and $n$ sufficiently large, then it contains the $k$-th power of a Hamilton cycle. This is easily seen to be the largest power of a Hamilton cycle one can guarantee, given such a minimum degree assumption. Following a recent trend of studying effects of adding random edges to a dense graph, the model known as the randomly perturbed graph, Dudek, Reiher, Ruci\'nski, and Schacht showed that if the minimum degree is at least $kn/(k + 1) + \alpha n$, for any constant $\alpha > 0$, then adding $O(n)$ random edges on top almost surely results in a graph which contains the $(k + 1)$-st power of a Hamilton cycle. We show that the effect of these random edges is significantly stronger, namely that one can almost surely find the $(2k + 1)$-st power. This is the largest power one can guarantee in such a setting.


title: Idempotence and divisorialty in Pr\"ufer-like domains

abstract: Let $D$ be a Pr\"ufer $\star$-multiplication domain, where $\star$ is a semistar operation on $D$. We show that certain ideal-theoretic properties related to idempotence and divisoriality hold in Pr\"ufer domains, and we use the associated semistar Nagata ring of $D$ to show that the natural counterparts of these properties also hold in $D$.


title: Tidal dissipation in deep oceanic shells: from telluric planets to icy satellites

abstract: Oceanic tides are a major source of tidal dissipation. They are a key actor for the orbital and rotational evolution of planetary systems, and contribute to the heating of icy satellites hosting a subsurface ocean. Oceanic tides are characterized by a highly frequency-resonant behavior, which is mainly due to the propagation of surface gravity waves in the case of thin oceans, and internal waves when they are deeper. In this work, we derive self-consistent ab initio expressions of the oceanic tidal torque as a function of the key physical parameters of the system (the ocean depth, the Brunt-V\"ais\"al\"a stratification frequency, the rotation rate, the tidal frequency, the Rayleigh friction). These solutions include the coupled mechanisms of internal and surface gravito-inertial waves, which allows us to study the case of planets hosting deep oceans and offer interesting prospects for the coupling between subsurface oceans and ice shells in the case of icy satellites.


title: Active dynamics and spatially coherent motion in chromosomes subject to enzymatic force dipoles

abstract: Inspired by recent experiments on chromosomal dynamics, we introduce an exactly solvable model for the interaction between a flexible polymer and a set of motor-like enzymes. The enzymes can bind and unbind to specific sites of the polymer and when bound produce a dipolar force on two neighboring monomers. We study the resulting non-equilibrium dynamics of the polymer and find that the motion of the monomers has several properties that were observed experimentally for chromosomal loci: a subdiffusive mean squared displacement and the appearance of regions of correlated motion. We also determine the velocity autocorrelation of the monomers and find that the underlying stochastic process is not fractional Brownian motion. Finally, we show that the active forces swell the polymer by an amount that becomes constant for large polymers.


title: The Omega limit set of a family of chords

abstract: In this paper we study the limit behavior of a family of chords on compact energy hypersurfaces of a family of Hamiltonians. Under the assumption that the energy hypersurfaces are all of contact type, we give results on the Omega limit set of this family of chords. Roughly speaking, such a family must either end in a degeneracy, in which case it joins another family, or can be continued. This gives a Floer theoretic explanation of the behavior of certain families of symmetric periodic orbits in many well-known problems, including the restricted three-body problem.


title: Consequences of semidiurnal thermal tides on hot Jupiters zonal mean flows

abstract: Hot Jupiters are submitted to an intense stellar heating. The resulting thermal tides can torque their atmospheres into asynchronous rotation, while these planets are usually assumed to be locked into spin-orbit synchronization with their host star. Particularly, the thermal atmospheric torque can be greatly enhanced by the dynamical component of the tidal response, that is the component associated with the propagation of internal waves. Owing to the involved complex dynamics, semi-analytical approaches are crucial to understand the physical mechanisms that are responsible for the frequency-resonant behavior of thermal tides, and quantify the atmospheric tidal torque. In this work, we revisit the early works by Arras \& Socrates (2010) and present an improved modeling of thermal tides taking into account rotation and radiative cooling. Using this new modeling, we compute analytically the atmospheric tidal response of hot Jupiters and show that resonances associated with low-frequency internal gravity waves are able to drive asynchronous zonal flows in the range 1-30 days.


title: Gamma-ray pulsars: What have we learned from ab-initio kinetic simulations?

abstract: The origin of the pulsed gamma-ray emission in pulsars remains an open issue. The combination of sensitive observations in the GeV domain by AGILE and {\em Fermi}-LAT and increasingly sophisticated numerical simulations have recently brought new insights into our understanding of the pulsed emission and particle acceleration processes in pulsars. Particle-in-cell simulations of pulsar magnetospheres show that the equatorial current sheet forming beyond the light cylinder is the main culprit for magnetic dissipation, particle acceleration and bright high-energy synchrotron radiation all together. The shinning current sheet naturally results in a pulse of light each time the sheet crosses our line of sight, which happens twice in most cases. Synthetic lightcurves present robust features reminiscent of observed gamma-ray pulsars by the {\em Fermi}-LAT and AGILE, opening up new perspectives for direct comparison between simulations and observations.


title: The Statistical Dictionary-based String Matching Problem

abstract: In the Dictionary-based String Matching (DSM) problem, a retrieval system has access to a source sequence and stores the position of a certain number of strings in a posting table. When a user inquires the position of a string, the retrieval system, instead of searching in the source sequence directly, relies on the the posting table to answer the query more efficiently. In this paper, the Statistical DSM problem is a proposed as a statistical and information-theoretic formulation of the classic DSM problem in which both the source and the query have a statistical description while the strings stored in the posting sequence are described as a code. Through this formulation, we are able to define the efficiency of the retrieval system as the average cost in answering a users' query in the limit of sufficiently long source sequence. This formulation is used to study the retrieval performance for the case in which (i) all the strings of a given length, referred to as k-grams , and (ii) prefix-free codes.


title: Jacobi Fields in Optimal Control II: One-dimensional Variations

abstract: In this second paper of the series we specify general theory developed in the first paper. Here we study the structure of Jacobi fields in the case of an analytic system and piece-wise analytic control. Moreover, we consider only 1-dimensional control variations. Jacobi fields are piece-wise analytic in this case but may have much more singularities than the control. We derive ODEs that these fields satisfy on the intervals of regularity and study behavior of the fields in a neighborhood of a singularity where the ODE becomes singular and the Jacobi fields may have jumps.


title: Anti-glitches in the Ultraluminous Accreting Pulsar NGC 300 ULX-1 Observed with NICER

abstract: We present evidence for three spin-down glitches (or `anti-glitches') in the ultraluminous accreting X-ray pulsar NGC 300 ULX-1 in timing observations made with the Neutron Star Interior Composition Explorer (NICER). Our timing analysis reveals three sudden spin-down events of magnitudes $\Delta\nu = -23, -30,$ and $-43 \,\mu$Hz (fractional amplitudes $\Delta\nu/\nu = -4.4, -5.5,$ and $-7.7 \times 10^{-4}$). We determined fully phase-coherent timing solutions through the first two glitches, giving us high confidence in their detection, while the third candidate glitch is somewhat less secure. These are larger in magnitude (and opposite in sign) than any known radio pulsar glitch. This may be caused by the prolonged rapid spin-up of the pulsar causing a sudden transfer of angular momentum between the superfluid and non-superfluid components of the star. We find no evidence for profile or spectral changes at the epochs of the glitches, supporting the conclusion that these are due to the same process as in normal pulsar glitches, but in reverse.


title: On the set of subarcs in some non-postrcritically finite dendrites

abstract: We construct a family of non-PCF dendrites $K$ in a plane, such that in each of them all subarcs have the same Hausdorff dimension $s$, while the set of $s$-dimensional Hausdorff measures of subarcs connecting the given point and a self-similar Cantor subset in K is a Cantor discontinuum.


title: Subgroups of word hyperbolic groups in rational dimension 2

abstract: A result of Gersten states that if $G$ is a hyperbolic group with integral cohomological dimension $\mathsf{cd}_{\mathbb{Z}}(G)=2$ then every finitely presented subgroup is hyperbolic. We generalize this result for the rational case $\mathsf{cd}_{\mathbb{Q}}(G)=2$. In particular, our result applies to the class of torsion-free hyperbolic groups $G$ with $\mathsf{cd}_{\mathbb{Z}}(G)=3$ and $\mathsf{cd}_{\mathbb{Q}}(G)=2$ discovered by Bestvina and Mess.


title: The typical cell in anisotropic tessellations

abstract: The typical cell is a key concept for stochastic-geometry based modeling in communication networks, as it provides a rigorous framework for describing properties of a serving zone associated with a component selected at random in a large network. We consider a setting where network components are located on a large street network. While earlier investigations were restricted to street systems without preferred directions, in this paper we derive the distribution of the typical cell in Manhattan-type systems characterized by a pattern of horizontal and vertical streets. We explain how the mathematical description can be turned into a simulation algorithm and provide numerical results uncovering novel effects when compared to classical isotropic networks.


title: Beyond the Standard models of particle physics and cosmology

abstract: The modern Standard cosmological model of inflationary Unvierse and baryosynthesis deeply involves particle theory beyond the Standard model (BSM). Inevitably, models of BSM physics lead to cosmological scenarios beyond the Standard cosmological paradigm. Scenarios of dark atom cosmology in the context of puzzles of direct and indirect dark matter searches, of clusters of massive primordial black holes as the source of gravitational wave signals and of antimatter globular cluster as the source of cosmic antihelium are discussed.


title: Embedding the Heisenberg group into a bounded dimensional Euclidean space with optimal distortion

abstract: Let $H := \begin{pmatrix} 1 & {\mathbf R} & {\mathbf R} \\ 0 & 1 &{\mathbf R} \\ 0 & 0 & 1 \end{pmatrix}$ denote the Heisenberg group with the usual Carnot-Carath\'eodory metric $d$. It is known (since the work of Pansu and Semmes) that the metric space $(H,d)$ cannot be embedded in a bilipchitz fashion into a Hilbert space; however, from a general theorem of Assouad, for any $0 < \varepsilon < 1$, the snowflaked metric space $(H,d^{1-\varepsilon})$ embeds into an infinite-dimensional Hilbert space with distortion $O( \varepsilon^{-1/2} )$. This distortion bound was shown by Austin, Naor, and Tessera to be sharp for the Heisenberg group $H$. Assouad's argument allows $\ell^2$ to be replaced by ${\mathbf R}^{D(\varepsilon)}$ for some dimension $D(\varepsilon)$ dependent on $\varepsilon$. Naor and Neiman showed that $D$ could be taken independent of $\varepsilon$, at the cost of worsening the bound on the distortion to $O( \varepsilon^{-1+c_D} )$, where $c_D \to 0$ as $D \to \infty$. In this paper we show that one can in fact retain the optimal distortion bound $O( \varepsilon^{-1/2} )$ and still embed into a bounded dimensional space ${\mathbf R}^D$, answering a question of Naor and Neiman. As a corollary, the discrete ball of radius $R \geq 2$ in $\Gamma := \begin{pmatrix} 1 & {\mathbf Z} & {\mathbf Z} \\ 0 & 1 & {\mathbf Z} \\ 0 & 0 & 1 \end{pmatrix}$ can be embedded into a bounded-dimensional space ${\mathbf R}^D$ with the optimal distortion bound of $O(\log^{1/2} R)$. The construction is iterative, and is inspired by the Nash-Moser iteration scheme as used in the isometric embedding problem; this scheme is needed in order to counteract a certain ``loss of derivatives'' problem in the iteration.


title: The Hurwitz curve over a finite field and its Weierstrass points for the morphism of lines

abstract: For any smooth Hurwitz curve $\mathcal{H}_n: \, XY^n+YZ^n+X^nZ=0$ over the finite field $\mathbb{F}_{p}$, an explict description of its Weierstrass points for the morphism of lines is presented. As a consequence, the full automorphism group ${\rm Aut}(\mathcal{H}_n)$, as well as the genera of all Galois subcovers of $\mathcal{H}_n$, with $n\neq 3, p^r$, are computed. Finally, a question by F. Torres on plane non nonsingular maximal curves is answered.


title: The Cauchy dual and 2-isometric liftings of concave operators

abstract: We present some 2-isometric lifting and extension results for Hilbert space concave operators. For a special class of concave operators we study their Cauchy dual operators and discuss conditions under which these operators are subnormal. In particular, the quasinormality of compressions of such operators is studied.


title: A new formula for $\zeta(s)$

abstract: In this paper, by introducing a new operation in the vector space of analytic functions, the author presents a method for derivating the well-known formulas: $\zeta(1-k)=-\frac{B_k}{k}$ and $\zeta(1-n,a)=-\frac{B_n(a)}{n}$ , where $\zeta$, $\zeta(1-n,a)$ denote the Riemann zeta function and the Hurwitz zeta function respectively. $B_k$ is the $k$-th Bernoulli number. Also the author steps further to deduce some identities related to Bernoulli number and Bernoulli polynomial. Moreover, when combining the operation with forward difference, we can show a new formula for Riemann zeta function, i.e. \[\zeta(s)=e\sum_{n=0}^{\infty}\sum_{i=0}^{n}(-1)^{n-i}\frac{1}{(n-i)!(1+i)^{s}}.\]


title: Complete steric exclusion of ions and proton transport through confined monolayer water

abstract: It has long been an aspirational goal to create artificial structures that allow fast permeation of water but reject even the smallest hydrated ions, replicating the feat achieved by nature in protein channels (e.g., aquaporins). Despite recent progress in creating nanoscale pores and capillaries, these structures still remain distinctly larger than protein channels. We report capillaries made by effectively extracting one atomic plane from bulk crystals, which leaves a two-dimensional slit of a few angstroms in height. Water moves through these capillaries with little resistance, whereas no permeation could be detected even for such small ions as Na+ and Cl-. Only protons (H+) can diffuse through monolayer water inside the capillaries. These observations improve our understanding of molecular transport at the atomic scale.


title: Studying of the interlayer interaction in magnetic multilayers (FM/I/FM) measuring the FMR peak asymmetry

abstract: We experimentally study the interlayer interaction in a magnetic multilayer system ferromagnet/insulator/ferromagnet with different spacer thickness. We demonstrate that the sign and the magnitude of the interaction can be deduced from the FMR peak shape rather than from the FMR peak shift. The proposed technique allows studying the interlayer interaction using a single sample (without a reference sample for comparison).


title: Quenched asymptotics for interacting diffusions on inhomogeneous random graphs

abstract: The aim of the paper is to address the behavior in large population of diffusions interacting on a random, possibly diluted and inhomogeneous graph. This is the natural continuation of a previous work, where the homogeneous Erd\H os-R\'enyi case was considered. The class of graphs we consider includes disordered $W$-random graphs, with possibly unbounded graphons. The main result concerns a quenched convergence (that is true for almost every realization of the random graph) of the empirical measure of the system towards the solution of a nonlinear Fokker-Planck PDE with spatial extension, also appearing in different contexts, especially in neuroscience. The convergence of the spatial profile associated to the diffusions is also considered, and one proves that the limit is described in terms of a nonlinear integro-differential equation which matches the neural field equation in certain particular cases.


title: Barrier-bound States in Flat-band Systems

abstract: As the fundamental quantum mechanical theory predicts, it is believed that electronic states can be bound only to potential wells and not to potential barriers in any dimension and their energies should be below the background potential. However, with the help of atomic lattice potentials with a flat electron band in momentum space in the background, an atomically thin 1D potential barrier can possess barrier-centered bound states above the background potential. Here we provide a theoretical proof using Green function pole analysis with Dyson equation that shows the existence of barrier-bound-states whose energy is elevated from the flat band energy nearly by the barrier height. The phenomenon is believed to be independently confirmed in a system of Pd monolayer on a flat oxide substrate with Stoner ferromagnetism using spin-polarized STM technique and through comparison with real-space QPI simulations using realistic 2D Pd band structure.


title: Goal-constrained Planning Domain Model Verification of Safety Properties

abstract: The verification of planning domain models is crucial to ensure the safety, integrity and correctness of planning-based automated systems. This task is usually performed using model checking techniques. However, unconstrained application of model checkers to verify planning domain models can result in false positives, i.e.counterexamples that are unreachable by a sound planner when using the domain under verification during a planning task. In this paper, we discuss the downside of unconstrained planning domain model verification. We then introduce the notion of a valid planning counterexample, and demonstrate how model checkers, as well as state trajectory constraints planning techniques, should be used to verify planning domain models so that invalid planning counterexamples are not returned.


title: Posterior samples of the parameters of binary black holes from Advanced LIGO, Virgo's second observing run

abstract: This paper presents a parameter estimation analysis of the seven binary black hole mergers---GW170104, GW170608, GW170729, GW170809, GW170814, GW170818, and GW170823---detected during the second observing run of the Advanced LIGO and Virgo observatories using the gravitational-wave open data. We describe the methodology for parameter estimation of compact binaries using gravitational-wave data, and we present the posterior distributions of the inferred astrophysical parameters. We release our samples of the posterior probability density function with tutorials on using and replicating our results presented in this paper.


title: Better Bounds for Online Line Chasing

abstract: We study online competitive algorithms for the \emph{line chasing problem} in Euclidean spaces $\reals^d$, where the input consists of an initial point $P_0$ and a sequence of lines $X_1,X_2,...,X_m$, revealed one at a time. At each step $t$, when the line $X_t$ is revealed, the algorithm must determine a point $P_t\in X_t$. An online algorithm is called $c$-competitive if for any input sequence the path $P_0, P_1,...,P_m$ it computes has length at most $c$ times the optimum path. The line chasing problem is a variant of a more general convex body chasing problem, where the sets $X_t$ are arbitrary convex sets. To date, the best competitive ratio for the line chasing problem was $28.1$, even in the plane. We significantly improve this bound, by providing a~$3$-competitive algorithm for any dimension $d$. We also improve the lower bound on the competitive ratio, from $1.412$ to $1.5358$.


title: Phase separation of polymer-bound particles induced by loop-mediated 1D effective long-range interactions

abstract: The cellular cytoplasm is organized into compartments. Phase separation is a simple manner to create membrane-less compartments in order to confine and localize particles like proteins. In many cases these particles are bound to fluctuating polymers like DNA or RNA. We propose a general theoretical framework for such polymer-bound particles and derive an effective 1D lattice gas model with both nearest-neighbor and emergent long-range interactions arising from looped configurations of the fluctuating polymer. We argue that 1D phase transitions exist in such systems for both Gaussian and self-avoiding polymers and, using a variational method that goes beyond mean-field theory, we obtain the complete mean occupation-temperature phase diagram. To illustrate this model we apply it to the biologically relevant case of ParABS, a prevalent bacterial DNA segregation system.