title: Thermal and nonthermal scaling of the Casimir-Polder interaction in a black hole spacetime

abstract: We study the Casimir-Polder force arising between two identical two-level atoms and mediated by a massless scalar field propagating in a black-hole background. We study the interplay of Hawking radiation and Casimir-Polder forces and find that, when the atoms are placed near the event horizon, the scaling of the Casimir-Polder interaction energy as a function of interatomic distance displays a transition from a thermallike character to a nonthermal behavior. We corroborate our findings for a quantum field prepared in the Boulware, Hartle-Hawking, and Unruh vacua. Our analysis is consistent with the nonthermal character of the Casimir-Polder interaction of two-level atoms in a relativistic accelerated frame [J. Marino et al., Phys. Rev. Lett. 113, 020403 (2014)], where a crossover from thermal scaling, consistent with the Unruh effect, to a nonthermal scaling has been observed. The two crossovers are a consequence of the noninertial character of the background where the field mediating the Casimir interaction propagates. While in the former case the characteristic crossover length scale is proportional to the inverse of the surface gravity of the black hole, in the latter it is determined by the inverse of the proper acceleration of the atoms.


title: Stochastic Functional Gradient for Motion Planning in Continuous Occupancy Maps

abstract: Safe path planning is a crucial component in autonomous robotics. The many approaches to find a collision free path can be categorically divided into trajectory optimisers and sampling-based methods. When planning using occupancy maps, the sampling-based approach is the prevalent method. The main drawback of such techniques is that the reasoning about the expected cost of a plan is limited to the search heuristic used by each method. We introduce a novel planning method based on trajectory optimisation to plan safe and efficient paths in continuous occupancy maps. We extend the expressiveness of the state-of-the-art functional gradient optimisation methods by devising a stochastic gradient update rule to optimise a path represented as a Gaussian process. This approach avoids the need to commit to a specific resolution of the path representation, whether spatial or parametric. We utilise a continuous occupancy map representation in order to define our optimisation objective, which enables fast computation of occupancy gradients. We show that this approach is essential in order to ensure convergence to the optimal path, and present results and comparisons to other planning methods in both simulation and with real laser data. The experiments demonstrate the benefits of using this technique when planning for safe and efficient paths in continuous occupancy maps.


title: Two strings at Hamming distance 1 cannot be both quasiperiodic

abstract: We present a generalization of a known fact from combinatorics on words related to periodicity into quasiperiodicity. A string is called periodic if it has a period which is at most half of its length. A string $w$ is called quasiperiodic if it has a non-trivial cover, that is, there exists a string $c$ that is shorter than $w$ and such that every position in $w$ is inside one of the occurrences of $c$ in $w$. It is a folklore fact that two strings that differ at exactly one position cannot be both periodic. Here we prove a more general fact that two strings that differ at exactly one position cannot be both quasiperiodic. Along the way we obtain new insights into combinatorics of quasiperiodicities.


title: Incorporating Intra-Class Variance to Fine-Grained Visual Recognition

abstract: Fine-grained visual recognition aims to capture discriminative characteristics amongst visually similar categories. The state-of-the-art research work has significantly improved the fine-grained recognition performance by deep metric learning using triplet network. However, the impact of intra-category variance on the performance of recognition and robust feature representation has not been well studied. In this paper, we propose to leverage intra-class variance in metric learning of triplet network to improve the performance of fine-grained recognition. Through partitioning training images within each category into a few groups, we form the triplet samples across different categories as well as different groups, which is called Group Sensitive TRiplet Sampling (GS-TRS). Accordingly, the triplet loss function is strengthened by incorporating intra-class variance with GS-TRS, which may contribute to the optimization objective of triplet network. Extensive experiments over benchmark datasets CompCar and VehicleID show that the proposed GS-TRS has significantly outperformed state-of-the-art approaches in both classification and retrieval tasks.


title: Minimal and Canonical Images

abstract: We describe a family of new algorithms for finding the canonical image of a set of points under the action of a permutation group. This family of algorithms makes use of the orbit structure of the group, and a chain of subgroups of the group, to efficiently reduce the amount of search which must be performed to find a canonical image. We present both a formal proof of correctness of our algorithms and experiments on different permutation groups, which compare our algorithms with the previous state of the art.


title: Test Case Generation for Program Repair: A Study of Feasibility and Effectiveness

abstract: Among the many different kinds of program repair techniques, one widely studied family of techniques is called test suite based repair. Test-suites are in essence input-output specifications and are therefore typically inadequate for completely specifying the expected behavior of the program under repair. Consequently, the patches generated by test suite based program repair techniques pass the test suite, yet may be incorrect. Patches that are overly specific to the used test suite and fail to generalize to other test cases are called overfitting patches. In this paper, we investigate the feasibility and effectiveness of test case generation in alleviating the overfitting issue. We propose two approaches for using test case generation to improve test suite based repair, and perform an extensive evaluation of the effectiveness of the proposed approaches in enabling better test suite based repair on 224 bugs of the Defects4J repository. The results indicate that test case generation can change the resulting patch, but is not effective at turning incorrect patches into correct ones. We identify the problems related with the ineffectiveness, and anticipate that our results and findings will lead to future research to build test-case generation techniques that are tailored to automatic repair systems.


title: Asymmetric Dark Matter and Baryogenesis from $SU(2)_{\ell}$

abstract: We propose a theory in which the Standard Model gauge symmetry is extended by a new $SU(2)_\ell$ group acting nontrivially on the lepton sector which is spontaneously broken at the TeV scale. Under this $SU(2)_\ell$ the ordinary leptons form doublets along with new lepton partner fields. This construction naturally contains a dark matter candidate, the partner of the right-handed neutrino, stabilized by a residual global $U(1)_\chi$ symmetry. We show that one can explain baryogenesis through an asymmetric dark matter scenario, in which generation of related asymmetries in the dark matter and baryon sectors is driven by the $SU(2)_\ell$ instantons during a first order phase transition in the early universe.


title: CE Screen: an energy-based structure selection method

abstract: We have developed a method to improve the doping computation efficiency, this method is based on first principles calculations and cluster expansion. First principles codes produce highly accurate total energies and optimized geometries for any given structure. Cluster expansion method constructs a cluster expansion using partial first principles results and computes the energies for other structures derived from a parent lattice. Using this method, energies for multiple doping structures can be predicted quickly without series of first principles calculations. This method has been packaged into a tool named as CE Screen and integrated into MatCloud (A high-throughput first principles calculation platform). This makes the tool simple and easy for all the users.


title: A new signature of quantum phase transitions from the numerical range

abstract: The ground state energy of a finite-dimensional one-parameter Hamiltonian and the continuity of a maximum-entropy inference map are discussed in the context of quantum critical phenomena. The domain of the inference map is a convex compact set in the plane, called the numerical range. We study the differential geometry of its boundary in relation to the ground state energy. We prove that discontinuities of the inference map correspond to $C^1$-smooth crossings of the ground state energy with a higher energy level. Discontinuities may appear only at $C^1$-smooth points of the boundary of the numerical range considered as a manifold. Discontinuities exist at all $C^2$-smooth non-analytic boundary points and are essentially stronger than at analytic points or at points which are merely $C^1$-smooth (non-exposed points).


title: Mean curvature flow for pinched submanifolds in rank one symmetric spaces

abstract: G. Pipoli and C. Sinestrari considered the mean curvature flow starting from a closed submanifold in the complex projective space. They proved that if the submanifold is of small codimension and satisfies a suitable pinching condition for the second fundamental form, then the flow has two possible behaviors: either the submanifold collapses to a round point in finite time, or it converges smoothly to a totally geodesic submanifold in infinite time. In this paper, we prove the similar results for the mean curvature flow starting from pinched closed submanifolds in (general) rank one symmetric spaces of compact type. Also, we prove that closed submanifolds in (general) rank one symmetric spaces of non-compact type collapse to a round point along the mean curvature flow under certain strict pinching condition for the norm of the second fundamental form.


title: Frequency patterns of semantic change: Corpus-based evidence of a near-critical dynamics in language change

abstract: It is generally believed that, when a linguistic item acquires a new meaning, its overall frequency of use in the language rises with time with an S-shaped growth curve. Yet, this claim has only been supported by a limited number of case studies. In this paper, we provide the first corpus-based quantitative confirmation of the genericity of the S-curve in language change. Moreover, we uncover another generic pattern, a latency phase of variable duration preceding the S-growth, during which the frequency of use of the semantically expanding word remains low and more or less constant. We also propose a usage-based model of language change supported by cognitive considerations, which predicts that both phases, the latency and the fast S-growth, take place. The driving mechanism is a stochastic dynamics, a random walk in the space of frequency of use. The underlying deterministic dynamics highlights the role of a control parameter, the strength of the cognitive impetus governing the onset of change, which tunes the system at the vicinity of a saddle-node bifurcation. In the neighborhood of the critical point, the latency phase corresponds to the diffusion time over the critical region, and the S-growth to the fast convergence that follows. The duration of the two phases is computed as specific first passage times of the random walk process, leading to distributions that fit well the ones extracted from our dataset. We argue that our results are not specific to the studied corpus, but apply to semantic change in general.


title: Couple microscale periodic patches to simulate macroscale emergent dynamics

abstract: This article proposes a new way to construct computationally efficient `wrappers' around fine scale, microscopic, detailed descriptions of dynamical systems, such as molecular dynamics, to make predictions at the macroscale `continuum' level. It is often significantly easier to code a microscale simulator with periodicity: so the challenge addressed here is to develop a scheme that uses only a given periodic microscale simulator; specifically, one for atomistic dynamics. Numerical simulations show that applying a suitable proportional controller within `action regions' of a patch of atomistic simulation effectively predicts the macroscale transport of heat. Theoretical analysis establishes that such an approach will generally be effective and efficient, and also determines good values for the strength of the proportional controller. This work has the potential to empower systematic analysis and understanding at a macroscopic system level when only a given microscale simulator is available.


title: Spin-Momentum Locking in the Near Field of Metal Nanoparticles

abstract: Light carries both spin and momentum. Spin-orbit interactions of light come into play at the subwavelength scale of nano-optics and nano-photonics, where they determine the behaviour of light. These phenomena, in which the spin affects and controls the spatial degrees of freedom of light, are attracting rapidly growing interest. Here we present results on the spin-momentum locking in the near field of metal nanostructures supporting localized surface resonances. These systems can confine light to very small dimensions below the diffraction limit, leading to a striking near-field enhancement. In contrast to the propagating evanescent waves of surface plasmon-polariton modes, the electromagnetic near-field of localized surface resonances does not exhibit a definite position-independent momentum or polarization. Our results can be useful to investigate the spin-orbit interactions of light for complex evanescent fields. Note that the spin of the incident light can control the rotation direction of the canonical momentum.


title: Scaling Agile Development in Mechatronic Organizations - A Comparative Case Study

abstract: Agile software development principles enable companies to successfully and quickly deliver software by meeting their customers' expectations while focusing on high quality. Many companies working with pure software systems have adopted these principles, but implementing them in companies dealing with non-pure software products is challenging. We identified a set of goals and practices to support large-scale agile development in companies that develop software-intense mechatronic systems. We used an inductive approach based on empirical data collected during a longitudinal study with six companies in the Nordic region. The data collection took place over two years through focus group workshops, individual on-site interviews, and complementary surveys. The primary benefit of large-scale agile development is improved quality, enabled by practices that support regular or continuous integration between teams delivering software, hardware, and mechanics. In this regard, the most beneficial integration cycle for deliveries is every four weeks; while continuous integra- tion on a daily basis would favor software teams, other disciplines does not seem to benefit from faster integration cycles. We identified 108 goals and development practices supporting agile principles among the companies, most of them concerned with integration; therefrom, 26 agile practices are unique to the mechatronics domain to support adopting agile beyond pure software development teams. 16 of these practices are considered as key enablers, confirmed by our control cases.


title: A Quantum-Classical Scheme towards Quantum Functional Encryption

abstract: Quantum encryption is a well studied problem for both classical and quantum information. However, little is known about quantum encryption schemes which enable the user, under different keys, to learn different functions of the plaintext, given the ciphertext. In this paper, we give a novel one-bit secret-key quantum encryption scheme, a classical extension of which allows different key holders to learn different length subsequences of the plaintext from the ciphertext. We prove our quantum-classical scheme secure under the notions of quantum semantic security, quantum entropic indistinguishability, and recent security definitions from the field of functional encryption.


title: Wright-Fisher diffusion bridges

abstract: {\bf Abstract} The trajectory of the frequency of an allele which begins at $x$ at time $0$ and is known to have frequency $z$ at time $T$ can be modelled by the bridge process of the Wright-Fisher diffusion. Bridges when $x=z=0$ are particularly interesting because they model the trajectory of the frequency of an allele which appears at a time, then is lost by random drift or mutation after a time $T$. The coalescent genealogy back in time of a population in a neutral Wright-Fisher diffusion process is well understood. In this paper we obtain a new interpretation of the coalescent genealogy of the population in a bridge from a time $t\in (0,T)$. In a bridge with allele frequencies of 0 at times 0 and $T$ the coalescence structure is that the population coalesces in two directions from $t$ to $0$ and $t$ to $T$ such that there is just one lineage of the allele under consideration at times $0$ and $T$. The genealogy in Wright-Fisher diffusion bridges with selection is more complex than in the neutral model, but still with the property of the population branching and coalescing in two directions from time $t\in (0,T)$. The density of the frequency of an allele at time $t$ is expressed in a way that shows coalescence in the two directions. A new algorithm for exact simulation of a neutral Wright-Fisher bridge is derived. This follows from knowing the density of the frequency in a bridge and exact simulation from the Wright-Fisher diffusion. The genealogy of the neutral Wright-Fisher bridge is also modelled by branching P\'olya urns, extending a representation in a Wright-Fisher diffusion. This is a new very interesting representation that relates Wright-Fisher bridges to classical urn models in a Bayesian setting.


title: Online Natural Gradient as a Kalman Filter

abstract: We cast Amari's natural gradient in statistical learning as a specific case of Kalman filtering. Namely, applying an extended Kalman filter to estimate a fixed unknown parameter of a probabilistic model from a series of observations, is rigorously equivalent to estimating this parameter via an online stochastic natural gradient descent on the log-likelihood of the observations. In the i.i.d. case, this relation is a consequence of the "information filter" phrasing of the extended Kalman filter. In the recurrent (state space, non-i.i.d.) case, we prove that the joint Kalman filter over states and parameters is a natural gradient on top of real-time recurrent learning (RTRL), a classical algorithm to train recurrent models. This exact algebraic correspondence provides relevant interpretations for natural gradient hyperparameters such as learning rates or initialization and regularization of the Fisher information matrix.


title: Are Erd\"os- R\'enyi Random Graphs Topologically Random?

abstract: No. We prove that Erdos- Renyi Random Graphs are not topologically random.


title: MRI turbulence and thermal instability in accretion disks

abstract: A long-standing puzzle in the study of black-hole accretion concerns the presence or not of thermal instability. Classical theory predicts the encircling accretion disk is unstable, as do some self-consistent MHD simulations of the flow. Yet observations of strongly accreting sources generally fail to exhibit cyclic or unstable dynamics on the expected timescales. This paper checks whether turbulent fluctuations impede thermal instability. It also asks if it makes sense to conduct linear stability analyses on a turbulent background. These issues are explored with a set of MRI simulations in thermally unstable local boxes in combination with stochastic equations that approximate the disk energetics. These models show that the disk's thermal behaviour deviates significantly from laminar theory, though ultimately a thermal runaway does occur. We find that the disk temperature evolves as a biased random walk, rather than increasing exponentially, and thus generates a broad spread of outcomes, with instability often delayed for several thermal times. We construct a statistical theory that describes some of this behaviour, emphasising the importance of the `escape time' and its associated probability distribution. In conclusion, turbulent fluctuations on there own cannot stabilise a disk, but they can weaken and delay thermal instability.


title: Two New Contributions to the Visualization of AMR Grids: I. Interactive Rendering of Extreme-Scale 2-Dimensional Grids II. Novel Selection Filters in Arbitrary Dimension

abstract: We present here the result of continuation work, performed to further fulfill the vision we outlined in [Harel,Lekien,P\'eba\"y-2017] for the visualization and analysis of tree-based adaptive mesh refinement (AMR) simulations, using the hypertree grid paradigm which we proposed. The first filter presented hereafter implements an adaptive approach in order to accelerate the rendering of 2-dimensional AMR grids, hereby solving the problem posed by the loss of interactivity that occurs when dealing with large and/or deeply refined meshes. Specifically, view parameters are taken into account, in order to: on one hand, avoid creating surface elements that are outside of the view area; on the other hand, utilize level-of-detail properties to cull those cells that are deemed too small to be visible with respect to the given view parameters. This adaptive approach often results in a massive increase in rendering performance. In addition, two new selection filters provide data analysis capabilities, by means of allowing for the extraction of those cells within a hypertree grid that are deemed relevant in some sense, either geometrically or topologically. After a description of these new algorithms, we illustrate their use within the Visualization Toolkit (VTK) in which we implemented them. This note ends with some suggestions for subsequent work.


title: Fundamental Vortices, Wall-Crossing, and Particle-Vortex Duality

abstract: We explore 1d vortex dynamics of 3d supersymmetric Yang-Mills theories, as inferred from factorization of exact partition functions. Under Seiberg-like dualities, the 3d partition function must remain invariant, yet it is not a priori clear what should happen to the vortex dynamics. We observe that the 1d quivers for the vortices remain the same, and the net effect of the 3d duality map manifests as 1d Wall-Crossing phenomenon; Although the vortex number can shift along such duality maps, the ranks of the 1d quiver theory are unaffected, leading to a notion of fundamental vortices as basic building blocks for topological sectors. For Aharony-type duality, in particular, where one must supply extra chiral fields to couple with monopole operators on the dual side, 1d wall-crossings of an infinite number of vortex quiver theories are neatly and collectively encoded by 3d determinant of such extra chiral fields. As such, 1d wall-crossing of the vortex theory encodes the particle-vortex duality embedded in the 3d Seiberg-like duality. For $\mathcal N = 4$, the D-brane picture is used to motivate this 3d/1d connection, while, for $\mathcal N = 2$, this 3d/1d connection is used to fine-tune otherwise ambiguous vortex dynamics. We also prove some identities of 3d supersymmetric partition functions for the Aharony duality using this vortex wall-crossing interpretation.


title: Polarimetry at the ILC

abstract: At the ILC, the luminosity-weighted average polarization at the IP needs to be determined at the permille-level. In order to reach this goal, the combined information from the polarimeter and the collision data is required. In this study, a unified approach will be presented, which for the first time combines the cross section measurements with the expected constraints from the polarimeters. Hereby, the statistical and systematical uncertainties are taken into account, including their correlations. This study shows that a fast spin flip frequency is required because it easily reduces the systematic uncertainty, while a non-perfect helicity reversal can be compensated for within the unified approach. The final goal is to provide a realistic estimation of the luminosity-weighted average polarization at the IP to be used in the physic analyses.


title: Data driven method for predicting the shape of the dijet mass in $Z\,h + {E_{\rm T}}^{\rm {miss}}$ analysis

abstract: We present an analysis of new physics searches in $Z\,h$ with missing energy final states at the Large Hadron Collider considering $Z \to l^+ l^-$ (where $l^\pm = e^\pm, \mu^\pm$) and $h \to b\bar b$ decay modes. For this analysis we consider production of a $CP$-odd scalar $A$ through gluon-fusion which decay into a heavy $CP$-even neutral scalar $H$ with $Z$-boson. Further $H$ decays into a lighter $CP$-even Higgs boson $h$ in association with dark matter candidate $\chi$ - a source of missing energy. The masses of these scalars are considered as $m_h = 125$ GeV, $m_\chi = 60$ GeV, $2 m_h < m_H < 2 m_t$ and $m_A > 2 m_t$. A data-driven method have been applied to reduce the considerable backgrounds from electroweak processes $W$+ jets and $Z$+ jets, in addition with top-pair and single-top production. The di-jet mass distributions have been studied with same- and opposite-flavour lepton selections.


title: Congestion-Aware Distributed Network Selection for Integrated Cellular and Wi-Fi Networks

abstract: Intelligent network selection plays an important role in achieving an effective data offloading in the integrated cellular and Wi-Fi networks. However, previously proposed network selection schemes mainly focused on offloading as much data traffic to Wi-Fi as possible, without systematically considering the Wi-Fi network congestion and the ping-pong effect, both of which may lead to a poor overall user quality of experience. Thus, in this paper, we study a more practical network selection problem by considering both the impacts of the network congestion and switching penalties. More specifically, we formulate the users' interactions as a Bayesian network selection game (NSG) under the incomplete information of the users' mobilities. We prove that it is a Bayesian potential game and show the existence of a pure Bayesian Nash equilibrium that can be easily reached. We then propose a distributed network selection (DNS) algorithm based on the network congestion statistics obtained from the operator. Furthermore, we show that computing the optimal centralized network allocation is an NP-hard problem, which further justifies our distributed approach. Simulation results show that the DNS algorithm achieves the highest user utility and a good fairness among users, as compared with the on-the-spot offloading and cellular-only benchmark schemes.


title: Observation of pseudogap in MgB2

abstract: Pseudogap phase in superconductors continues to be an outstanding puzzle that differentiates unconventional superconductors from the conventional ones (BCS-superconductors). Employing high resolution photoemission spectroscopy on a highly dense conventional superconductor, MgB2, we discover an interesting scenario. While the spectral evolution close to the Fermi energy is commensurate to BCS descriptions as expected, the spectra in the wider energy range reveal emergence of a pseudogap much above the superconducting transition temperature indicating apparent departure from the BCS scenario. The energy scale of the pseudogap is comparable to the energy of E2g phonon mode responsible for superconductivity in MgB2 and the pseudogap can be attributed to the effect of electron-phonon coupling on the electronic structure. These results reveal a scenario of the emergence of the superconducting gap within an electron-phonon coupling induced pseudogap.


title: Low-metallicity (sub-SMC) massive stars

abstract: The double distance and metallicity frontier marked by the SMC has been finally broken with the aid of powerful multi-object spectrographs installed at 8-10m class telescopes. VLT, GTC and Keck have enabled studies of massive stars in dwarf irregular galaxies of the Local Group with poorer metal content than the SMC. The community is working to test the predictions of evolutionary models in the low-metallicity regime, set the new standard for the metal-poor high-redshift Universe, and test the extrapolation of the physics of massive stars to environments of decreasing metallicity. In this paper, we review current knowledge on this topic.


title: Quantifying the entropic cost of cellular growth control

abstract: We quantify the amount of regulation required to control growth in living cells by a Maximum Entropy approach to the space of underlying metabolic states described by genome-scale models. Results obtained for E. coli and human cells are consistent with experiments and point to different regulatory strategies by which growth can be fostered or repressed. Moreover we explicitly connect the `inverse temperature' that controls MaxEnt distributions to the growth dynamics, showing that the initial size of a colony may be crucial in determining how an exponentially growing population organizes the phenotypic space.

categories: q-bio.MN cond-mat.dis-nn physics.bio-ph q-bio.PE q-bio.QM


title: The independent loss model with ordered insertions for the evolution of CRISPR spacers

abstract: Today, the CRISPR (clustered regularly interspaced short palindromic repeats) region within bacterial and archaeal genomes is known to encode an adaptive immune system. We rely on previous results on the evolution of the CRISPR arrays, which led to the ordered independent loss model, introduced by Kupczok and Bollback (2013). When focusing on the spacers (between the repeats), new elements enter a CRISPR array at rate $\theta$ at the leader end of the array, while all spacers present are lost at rate $\rho$ along the phylogeny relating the sample. Within this model, we compute the distribution of distances of spacers which are present in all arrays in samples of size $n=2$ and $n=3$. We use these results to estimate the loss rate $\rho$ from spacer array data.


title: Ultrasensitive Inertial and Force Sensors with Diamagnetically Levitated Magnets

abstract: We theoretically show that a magnet can be stably levitated on top of a punctured superconductor sheet in the Meissner state without applying any external field. The trapping potential created by such induced-only superconducting currents is characterized for magnetic spheres ranging from tens of nanometers to tens of millimeters. Such a diamagnetically levitated magnet is predicted to be extremely well isolated from the environment. We therefore propose to use it as an ultrasensitive force and inertial sensor. A magnetomechanical read-out of its displacement can be performed by using superconducting quantum interference devices. An analysis using current technology shows that force and acceleration sensitivities on the order of $10^{-23}\text{N}/\sqrt{\text{Hz}}$ (for a 100 nm magnet) and $10^{-14}g/\sqrt{\text{Hz}}$ (for a 10 mm magnet) might be within reach in a cryogenic environment. Such unprecedented sensitivities can be used for a variety of purposes, from designing ultra-sensitive inertial sensors for technological applications (i.e. gravimetry, avionics, and space industry), to scientific investigations on measuring Casimir forces of magnetic origin and gravitational physics.


title: Cosmic string in gravity's rainbow

abstract: In this paper, we study the various cylindrical solutions (cosmic strings) in gravity's rainbow scenario. In particular, we calculate the gravitational field equations corresponding to energy-dependent background. Further, we discuss the possible Kasner, quasi-Kasner and non-Kasner exact solutions of the field equations. In this framework, we find that quasi-Kasner solutions can not be realized in gravity's rainbow. Assuming only time-dependent metric functions, we also analyse the time-dependent vacuum cosmic strings in gravity's rainbow, which are completely different than the other GR solutions.


title: New Empirical Evidence on Disjunction Effect and Cultural Dependence

abstract: We perform new experiment using almost the same sample size considered by Tversky and Shafir to test the validity of classical probability theory in decision making. The results clearly indicate that the disjunction effect depends also on culture and more specifically on gender (females rather than males). We did more statistical analysis rather that putting the actual values done by previous authors. We propose different kind of disjunction effect i.e. strong and weak based on our statistical analysis.


title: First-principles study of the electrical and lattice thermal transport in monolayer and bilayer graphene

abstract: We report the transport properties of monolayer and bilayer graphene from first principles calculations and Boltzmann transport theory (BTE). Our resistivity studies on monolayer graphene show Bloch-Gr${\rm \ddot{u}}$neisen behavior in a certain range of chemical potentials. By substituting boron nitride in place of a carbon dimer of graphene, we predict a twofold increase in the Seebeck coefficient. A similar increase in the Seebeck coefficient for bilayer graphene under the influence of a small electric field $\sim 0.3$ eV has been observed in our calculations. Graphene with impurities shows a systematic decrease of electrical conductivity and mobility. We have also calculated the lattice thermal conductivities of monolayer graphene and bilayer graphene using phonon BTE which show excellent agreement with experimental data available in the temperature range 300-700\ K.


title: Boundary induced convection in a collection of polar self-propelled particles

abstract: We study a collection of polar self-propelled particles confined to a long two-dimensional channel. We write the coupled hydrodynamic equations of motion for density and polarisation order parameter. At two confined boundaries, density is fixed to the mean and orientation is anti-parallel with fixed magnitude of polarisation. Such boundary conditions make our system similar to a sheared suspension of self-propelled particles, which has many practical applications. Antiparallel alignment at the two confined boundaries and alignment inside the channel create rolls of orientation along the long axis of the channel. For zero self-propulsion speed, density and orientation fields are decoupled and density remains homogeneous inside the channel. For finite self-propelled speed, density inhomogeneities develop and these rolls move along the long axis of the channel. Density inhomogeneity increases sharply with increasing the self propulsion speed and then reaches a maximum and again decreases for very large speeds. Formation of rolls is very similar to the classic problem of Rayleigh-Benard convection in fluid dynamics.


title: Population dynamics of immune repertoires

abstract: The evolution of the adaptive immune system is characterized by changes in the relative abundances of the B- and T-cell clones that make up its repertoires. To fully capture this evolution, we need to describe the complex dynamics of the response to pathogenic and self-antigenic stimulations, as well as the statistics of novel lymphocyte receptors introduced throughout life. Recent experiments, ranging from high-throughput immune repertoire sequencing to quantification of the response to specific antigens, can help us characterize the effective dynamics of the immune response. Here we describe mathematical models informed by experiments that lead to a picture of clonal competition in a highly stochastic context. We discuss how different types of competition, noise and selection shape the observed clone-size distributions, and contrast them with predictions of a neutral theory of clonal evolution. These mathematical models show that memory and effector immune repertoire evolution is far from neutral, and is driven by the history of the pathogenic environment, while naive repertoire dynamics are consistent with neutral theory and competition in a fixed antigenic environment. Lastly, we investigate the effect of long-term clonal selection on repertoire aging.


title: Occupancy Map Building through Bayesian Exploration

abstract: We propose a novel holistic approach for safe autonomous exploration and map building based on constrained Bayesian optimisation. This method finds optimal continuous paths instead of discrete sensing locations that inherently satisfy motion and safety constraints. Evaluating both the objective and constraints functions requires forward simulation of expected observations. As such evaluations are costly, the Bayesian optimiser proposes only paths which are likely to yield optimal results and satisfy the constraints with high confidence. By balancing the reward and risk associated with each path, the optimiser minimises the number of expensive function evaluations. We demonstrate the effectiveness of our approach in a series of experiments both in simulation and with a real ground robot and provide comparisons to other exploration techniques. Evidently, each method has its specific favourable conditions, where it outperforms all other techniques. Yet, by reasoning on the usefulness of the entire path instead of its end point, our method provides a robust and consistent performance through all tests and performs better than or as good as the other leading methods.


title: Conservation de certaines propri\'et\'es \`a travers un contr\^ole \'epars d'un op\'erateur et applications au projecteur de Leray-Hopf

abstract: Nous poursuivons l'\'etude d'un contr\^ole \'epars d'un op\'erateur singulier. Plus pr\'ecis\'ement nous expliquons comment on peut conserver certaines propri\'et\'es de l'op\'erateur initial \`a travers un tel contr\^ole et d\'ecrivons quelques applications: bornitude de l'adjoint de la transform\'ee de Riesz et du projecteur de Leray. De plus, nous nous int\'eresserons \`a donner un regard nouveau sur les dominations \'eparses \`a travers les oscillations et les fonctions carr\'ees localis\'ees. Aussi, nous d\'evoilerons une connexion entre les bons intervalles de la d\'ecomposition \'eparse et une d\'ecomposition atomique. We pursue the study of a sparse control for a singular operator. More precisely, we describe how one can track some properties of the initial operator, through such a control and describe also some applications: boundedness of the adjoint of a Riesz transform and of the Leray projector. Moreover, we will be interested in giving a new insight on the sparse domination through the oscillations and the localized square functions. Also, we will reveal a connection between the good intervals of the sparse domination and the atomic decomposition for a function in a Hardy space.


title: Muon g-2 in an Alternative Quasi-Yukawa Unification with Low Fine-Tuned Inverse SeeSaw Mechanism

abstract: We explore the low scale implications of the Pati-Salam Model including the TeV scale right-handed neutrinos interacting and mixing with the MSSM fields through the inverse seesaw (IS) mechanism in the light of the muon anomalous magnetic moment (muon g-2) resolution, and highlight the solutions which are compatible with the Quasi-Yukawa Unification condition (QYU). We find that the presence of the right-handed neutrinos causes heavy smuons >~ 800 GeV in order to avoid tachyonic staus at the low scale. On the other hand, the sneutrinos can be as light as about 100 GeV along with the light charginos of mass <~ 400 GeV, they can yield so large contributions to muon g-2 that the discrepancy between the experiment and the theory can be resolved. In addition, the model predicts relatively light Higgsinos (<~ 700 GeV); and hence the second chargino mass is also light enough (<~ 700 GeV) to contribute to muon g-2. Light Higgsinos also yield less fine-tuning at the electroweak scale, and the regions compatible with muon g-2 restricts Delta_EW <~ 100 strictly, and this region also satisfies the QYU condition. In addition, the ratios among the Yukawa couplings should be 1.8 <~ y_t/y_b <~ 2.6, y_tau/y_b ~ 1.3 to yield correct fermion masses. Even though the right-handed neutrino Yukawa coupling can be varied freely, the solutions bound its range to 0.8 <~ y_nu/y_b <~ 1.7.


title: Birational geometry of the moduli space of pure sheaves on quadric surface

abstract: We study birational geometry of the moduli space of stable sheaves on a quadric surface with Hilbert polynomial $5m + 1$ and $c_{1} = (2, 3)$. We describe a birational map between the moduli space and a projective bundle over a Grassmannian as a composition of smooth blow-ups/downs.


title: Fractional div-curl quantities and applications to nonlocal geometric equations

abstract: We investigate a fractional notion of gradient and divergence operator. We generalize the div-curl estimate by Coifman-Lions-Meyer-Semmes to fractional div-curl quantities, obtaining, in particular, a nonlocal version of Wente's lemma. We demonstrate how these quantities appear naturally in nonlocal geometric equations, which can be used to obtain a theory for fractional harmonic maps analogous to the local theory. Firstly, regarding fractional harmonic maps into spheres, we obtain a conservation law analogous to Shatah's conservation law and give a new regularity proof analogous to H\'elein's for harmonic maps into spheres. Secondly, we prove regularity for solutions to critical systems with nonlocal antisymmetric potentials on the right-hand side. Since the half-harmonic map equation into general target manifolds has this form, as a corollary, we obtain a new proof of the regularity of half-harmonic maps into general target manifolds following closely Rivi\`{e}re's celebrated argument in the local case. Lastly, the fractional div-curl quantities provide also a new, simpler, proof for H\"older continuity of $W^{s,n/s}$-harmonic maps into spheres and we extend this to an argument for $W^{s,n/s}$-harmonic maps into homogeneous targets. This is an analogue of Strzelecki's and Toro-Wang's proof for $n$-harmonic maps into spheres and homogeneous target manifolds, respectively.


title: Integrability, Quantization and Moduli Spaces of Curves

abstract: This paper has the purpose of presenting in an organic way a new approach to integrable (1+1)-dimensional field systems and their systematic quantization emerging from intersection theory of the moduli space of stable algebraic curves and, in particular, cohomological field theories, Hodge classes and double ramification cycles. This methods are alternative to the traditional Witten-Kontsevich framework and its generalizations by Dubrovin and Zhang and, among other advantages, have the merit of encompassing quantum integrable systems. Most of this material originates from an ongoing collaboration with A. Buryak, B. Dubrovin and J. Gu\'er\'e.


title: Acceleration of diffusion in ethylammonium nitrate ionic liquid confined between parallel glass plates

abstract: The bulk self diffusion of the ethylammonium cation and the nitrate anion can both be described by respective single diffusion coefficients. Diffusion of the anion is 1.7 times higher than that of the cation. This indicates no tight association of the ions in the ionic liquid. For the ethylammonium cation confined between glass plates the effective diffusion coefficient along, as well as normal to the confining glass plates is higher by a factor of 1.86 as compared to that in the bulk. The same time, NMR T2 relaxation of protons of NH3 group of the EA cation is faster by a factor of 22 than that in bulk. 2H NMR spectra of selectively labeled CH2 and CH3 groups of EA do not demonstrate any ordering of the EA between the glass plates. We suggested that these data favor a model where a bulk isotropic sponge like structure of EAN is saved in the confinement, but sizes of connecting channels increases. Those leads to faster translational diffusion and faster exchange processes of protons of NH3 group, in comparison with the bulk.


title: Improving Object Detection with Region Similarity Learning

abstract: Object detection aims to identify instances of semantic objects of a certain class in images or videos. The success of state-of-the-art approaches is attributed to the significant progress of object proposal and convolutional neural networks (CNNs). Most promising detectors involve multi-task learning with an optimization objective of softmax loss and regression loss. The first is for multi-class categorization, while the latter is for improving localization accuracy. However, few of them attempt to further investigate the hardness of distinguishing different sorts of distracting background regions (i.e., negatives) from true object regions (i.e., positives). To improve the performance of classifying positive object regions vs. a variety of negative background regions, we propose to incorporate triplet embedding into learning objective. The triplet units are formed by assigning each negative region to a meaningful object class and establishing class- specific negatives, followed by triplets construction. Over the benchmark PASCAL VOC 2007, the proposed triplet em- bedding has improved the performance of well-known FastRCNN model with a mAP gain of 2.1%. In particular, the state-of-the-art approach OHEM can benefit from the triplet embedding and has achieved a mAP improvement of 1.2%.


title: Lagrange-Flux schemes and the entropy property

abstract: The Lagrange-Flux schemes are Eulerian finite volume schemes that make use of an approximate Riemann solver in Lagrangian description with particular upwind convective fluxes. They have been recently designed as variant formulations of Lagrange-remap schemes that provide better HPC performance on modern multicore processors, see~[De Vuyst et al., OGST 71(6), 2016]. Actually Lagrange-Flux schemes show several advantages compared to Lagrange-remap schemes, especially for multidimensional problems: they do not require the computation of deformed Lagrangian cells or mesh intersections as in the remapping process. The paper focuses on the entropy property of Lagrange-Flux schemes in their semi-discrete in space form, for one-dimensional problems and for the compressible Euler equations as example. We provide pseudo-viscosity pressure terms that ensure entropy production of order $O(|\Delta u|^3)$, where $|\Delta u|$ represents a velocity jump at a cell interface. Pseudo-viscosity terms are also designed to vanish into expansion regions as it is the case for rarefaction waves.


title: Algorithms and Bounds for Very Strong Rainbow Coloring

abstract: A well-studied coloring problem is to assign colors to the edges of a graph $G$ so that, for every pair of vertices, all edges of at least one shortest path between them receive different colors. The minimum number of colors necessary in such a coloring is the strong rainbow connection number ($\src(G)$) of the graph. When proving upper bounds on $\src(G)$, it is natural to prove that a coloring exists where, for \emph{every} shortest path between every pair of vertices in the graph, all edges of the path receive different colors. Therefore, we introduce and formally define this more restricted edge coloring number, which we call \emph{very strong rainbow connection number} ($\vsrc(G)$). In this paper, we give upper bounds on $\vsrc(G)$ for several graph classes, some of which are tight. These immediately imply new upper bounds on $\src(G)$ for these classes, showing that the study of $\vsrc(G)$ enables meaningful progress on bounding $\src(G)$. Then we study the complexity of the problem to compute $\vsrc(G)$, particularly for graphs of bounded treewidth, and show this is an interesting problem in its own right. We prove that $\vsrc(G)$ can be computed in polynomial time on cactus graphs; in contrast, this question is still open for $\src(G)$. We also observe that deciding whether $\vsrc(G) = k$ is fixed-parameter tractable in $k$ and the treewidth of $G$. Finally, on general graphs, we prove that there is no polynomial-time algorithm to decide whether $\vsrc(G) \leq 3$ nor to approximate $\vsrc(G)$ within a factor $n^{1-\varepsilon}$, unless P$=$NP.


title: On Completeness Results of Hoare Logic Relative to the Standard Model

abstract: The general completeness problem of Hoare logic relative to the standard model $N$ of Peano arithmetic has been studied by Cook, and it allows for the use of arbitrary arithmetical formulas as assertions. In practice, the assertions would be simple arithmetical formulas, e.g. of a low level in the arithmetical hierarchy. In addition, we find that, by restricting inputs to $N$, the complexity of the minimal assertion theory for the completeness of Hoare logic to hold can be reduced. This paper further studies the completeness of Hoare Logic relative to $N$ by restricting assertions to subclasses of arithmetical formulas (and by restricting inputs to $N$). Our completeness results refine Cook's result by reducing the complexity of the assertion theory.


title: Conformal equivalence of visual metrics in pseudoconvex domains

abstract: We refine estimates introduced by Balogh and Bonk, to show that the boundary extensions of isometries between smooth strongly pseudoconvex domains in $\C^n$ are conformal with respect to the sub-Riemannian metric induced by the Levi form. As a corollary we obtain an alternative proof of a result of Fefferman on smooth extensions of biholomorphic mappings between pseudoconvex domains. The proofs are inspired by Mostow's proof of his rigidity theorem and are based on the asymptotic hyperbolic character of the Kobayashi or Bergman metrics and on the Bonk-Schramm hyperbolic fillings.


title: Strength of the singularities, equation of state and asymptotic expansion

abstract: In this paper an explicit cosmological model which allows cosmological singularities are discussed. The generalized power-law and asymptotic expansions of the baro-tropic fluid index $\omega$ and equivalently the deceleration parameter $q$, in terms of cosmic time $'t'$ are considered. Finally, the strength of the found singularities is discussed.


title: Completeness of Hoare Logic over Nonstandard Models

abstract: The nonstandard approach to program semantics has successfully resolved the completeness problem of Floyd-Hoare logic. The known versions of nonstandard semantics, the Hungary semantics and axiomatic semantics, are so general that they are absent either from mathematical elegance or from practical usefulness. The aim of this paper is to exhibit a not only mathematically elegant but also practically useful nonstandard semantics. A basic property of computable functions in the standard model $N$ of Peano arithmetic $PA$ is $\Sigma_1$-definability. However, the functions induced by the standard interpretation of while-programs $S$ in nonstandard models $M$ of $PA$ are not always arithmetical. The problem consists in that the standard termination of $S$ in $M$ uses the finiteness in $N$, which is not the finiteness in $M$. To this end, we shall give a new interpretation of $S$ in $M$ such that the termination of $S$ uses $M$-finiteness, and the functions produced by $S$ in all models of $PA$ have the uniform $\Sigma_1$-definability. Then we define, based on the new semantics of while-programs, a new semantics of Hoare logic in nonstandard models of $PA$, and show that the standard axiom system of Hoare logic is sound and complete w.r.t. the new semantics. It will be established, in $PA$, that the Hungary semantics and axiomatic semantics coincide with the new semantics of while-programs. Moreover, various comparisons with the previous results, usefulness of the nonstandard semantics, and remarks on the completeness issues are presented.


title: Decouple Electronic and Phononic Transport in Nanotwinned Structure: A New Strategy for Enhancing the Figure-of-merit of Thermoelectrics

abstract: Thermoelectrics (TE) materials manifest themselves in direct conversion of temperature differences to electric power and vice versa. Despite remarkable advances have been achieved in the past decades for various TE systems, the energy conversion efficiencies of TE devices, which is characterized by a dimensionless figure-of-merit (ZT ), remain a generally poor factor that severely limits their competitiveness and range of employment. The bottleneck for substantially boosting ZT coefficient lies in the strong interdependence of the physical parameters involved in electronic and phononic transport. Here, we propose a new strategy of incorporating nanotwinned structures to decouple the electronic and phononic transport. Combining the new concept of nanotwin with the previously widely used nanocrystalline approach, the power factor of the Si nanotwin-nanocrystalline heterostructures is enhanced by 120% compared to bulk crystalline Si, while the lattice thermal conductivity is reduced to a level well below the amorphous limit, yielding a theoretical limit of 0.43 for ZT coefficient at room temperature. This value is almost two orders of magnitude larger than that for bulk Si and twice of the polycrystalline Si. Even for the experimentally existing nanotwin-nanocrystalline heterostructures (e.g. grain size of 5 nm), the ZT coefficient can be as high as 0.2 at room temperature, which is the highest ZT value among all the Si based bulk nanostructures so far. Such substantial improvement stems from two aspects: (1) the improvement of the power factor is caused by the increase of Seebeck coefficient (degeneracy of the band valley) and the enhancement of electrical conductivity (the reduction of the effective band mass); (2) the significant reduction of the lattice thermal conductivity is mainly caused by the extremely strong phonon-grain boundary and phonon-twin boundary scattering.


title: Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams

abstract: We consider Quantum OBDD model. It is restricted version of read-once Quantum Branching Programs, with respect to "width" complexity. It is known that maximal complexity gap between deterministic and quantum model is exponential. But there are few examples of such functions. We present method (called "reordering"), which allows to build Boolean function $g$ from Boolean Function $f$, such that if for $f$ we have gap between quantum and deterministic OBDD complexity for natural order of variables, then we have almost the same gap for function $g$, but for any order. Using it we construct the total function $REQ$ which deterministic OBDD complexity is $2^{\Omega(n/\log n)}$ and present quantum OBDD of width $O(n^2)$. It is bigger gap for explicit function that was known before for OBDD of width more than linear. Using this result we prove the width hierarchy for complexity classes of Boolean functions for quantum OBDDs. Additionally, we prove the width hierarchy for complexity classes of Boolean functions for bounded error probabilistic OBDDs. And using "reordering" method we extend a hierarchy for $k$-OBDD of polynomial size, for $k=o(n/\log^3n)$. Moreover, we proved a similar hierarchy for bounded error probabilistic $k$-OBDD. And for deterministic and probabilistic $k$-OBDDs of superpolynomial and subexponential size.


title: On the total variation Wasserstein gradient flow and the TV-JKO scheme

abstract: We study the JKO scheme for the total variation, characterize the optimizers, prove some of their qualitative properties (in particular a form of maximum principle and in some cases, a minimum principle as well). Finally, we establish a convergence result as the time step goes to zero to a solution of a fourth-order nonlinear evolution equation, under the additional assumption that the density remains bounded away from zero. This lower bound is shown in dimension one and in the radially symmetric case.


title: An investigation on the leading and subleading high-energy behavior of hadron-hadron total cross sections using a best-fit analysis of hadronic scattering data

abstract: In the present investigation we study the leading and subleading high-energy behavior of hadron-hadron total cross sections using a best-fit analysis of hadronic scattering data. The parametrization used for the hadron-hadron total cross sections at high energy is inspired by recent results obtained by Giordano and Meggiolaro (2014) using a nonperturbative approach in the framework of QCD and it reads $\sigma_\text{tot} \sim B\ln^2 s + C\ln s\ln\ln s$. Both $B$ and $C$ are obtained by means of best-fits to data for proton-proton and antiproton-proton scattering, including recent data obtained at the LHC, and also to data for other meson-baryon and baryon-baryon scattering processes. The results are compared to the theoretical predictions existing in the literature. In particular, following the above-mentioned nonperturbative QCD approach, we also consider fits where the parameters $B$ and $C$ are set to $B = \kappa B_\text{th}$ and $C = \kappa C_\text{th}$, where $B_\text{th}$ and $C_\text{th}$ are universal quantities related to the QCD stable spectrum, while $\kappa$ (treated as an extra free parameter) is related to the asymptotic value of the ratio $\sigma_\text{el}/\sigma_\text{tot}$. Different possible scenarios are then considered and compared.


title: Generalized degeneracies and their resolution in neutrino oscillation experiments

abstract: We discuss a comprehensive way to study the parameter degeneracies in the form of a generalized degeneracy in the neutrino oscillation experiments. First we describe the various degeneracies by considering only neutrino run of the long baseline experiment (LBL), NO$ \nu $A. Then we discuss the role of antineutrinos. Later, we present the combined role of T2K (LBL experiment) and ICAL@INO (atmospheric experiment) to resolve these degeneracies. We also discuss the affect of new physics like non-standards interactions (NSI) on the determination of neutrino mass hierarchy in DUNE.


title: Mass of the Stabilized Radion in the Limit of Finite Quartic Coupling

abstract: We present an exact treatment of the modulus stabilization condition with the general boundary conditions of the bulk scalar field in the Randall-Sundrum model. We find analytical expressions for the value of the modulus and the mass of the radion.


title: Learning A Physical Long-term Predictor

abstract: Evolution has resulted in highly developed abilities in many natural intelligences to quickly and accurately predict mechanical phenomena. Humans have successfully developed laws of physics to abstract and model such mechanical phenomena. In the context of artificial intelligence, a recent line of work has focused on estimating physical parameters based on sensory data and use them in physical simulators to make long-term predictions. In contrast, we investigate the effectiveness of a single neural network for end-to-end long-term prediction of mechanical phenomena. Based on extensive evaluation, we demonstrate that such networks can outperform alternate approaches having even access to ground-truth physical simulators, especially when some physical parameters are unobserved or not known a-priori. Further, our network outputs a distribution of outcomes to capture the inherent uncertainty in the data. Our approach demonstrates for the first time the possibility of making actionable long-term predictions from sensor data without requiring to explicitly model the underlying physical laws.


title: The Polycluster Theory for the Structure of Glasses: Evidence from Low Temperature Physics

abstract: The problems of the intermediate-range atomic structure of glasses and of the mechanism for the glass transition are approached from the low-temperature end in terms of a scenario for the atomic organization that justifies the use of an extended tunneling model. The latter is crucial for the explanation of the magnetic and compositional effects discovered in non-metallic glasses in the Kelvin and milli-Kelvin temperature range. The model relies on the existence of multi-welled local potentials for the effective tunneling particles that are a manifestation of a non-homogeneous atomic structure deriving from the established dynamical heterogeneities that characterize the supercooled liquid state. It is shown that the extended tunneling model can successfully explain a range of experiments at low temperatures, but the proposed non-homogeneous atomic structure scenario is then tested in the light of available high resolution electron microscopy imaging of the structure of some glasses and on the behaviour near the transition.


title: Human Eye Visual Hyperacuity: A New Paradigm for Sensing?

abstract: The human eye appears to be using a low number of sensors for image capturing. Furthermore, regarding the physical dimensions of cones-photoreceptors responsible for the sharp central vision-, we may realize that these sensors are of a relatively small size and area. Nonetheless, the eye is capable to obtain high resolution images due to visual hyperacuity and presents an impressive sensitivity and dynamic range when set against conventional digital cameras of similar characteristics. This article is based on the hypothesis that the human eye may be benefiting from diffraction to improve both image resolution and acquisition process. The developed method intends to explain and simulate using MATLAB software the visual hyperacuity: the introduction of a controlled diffraction pattern at an initial stage, enables the use of a reduced number of sensors for capturing the image and makes possible a subsequent processing to improve the final image resolution. The results have been compared with the outcome of an equivalent system but in absence of diffraction, achieving promising results. The main conclusion of this work is that diffraction could be helpful for capturing images or signals when a small number of sensors available, which is far from being a resolution-limiting factor.


title: Wilson coefficients of dimension 6 gluon operators with spin indices in the heavy quark current correlation functions

abstract: We calculate the Wilson coefficients of dimension 6 gluon operators with spin indices in the two point correlation function of the heavy scalar, pseudoscalar, and axialvector currents. Our result completes the list of all Wilson coefficients of gluon operators up to dimension 6 for the correlation functions between heavy quark currents without derivatives. We then use the result to investigate the stability of the QCD sum rule results for the $\eta_c$, $J/\Psi$, $\chi_{c0}$, and $\chi_{c1}$ mesons near $T_c$. While the inclusion of the dimension 6 operators increases the stability of the sum rules for all currents, all of them break down slightly above $T_c$ with that for the $J/\psi$ persisting to relatively highest temperature.


title: Cross-Kerr nonlinearity for phonon counting

abstract: State measurement of a quantum harmonic oscillator is essential in quantum optics and quantum information processing. In a system of trapped ions, we experimentally demonstrate the projective measurement of the state of the ions' motional mode via an effective cross-Kerr coupling to another motional mode. This coupling is induced by the intrinsic nonlinearity of the Coulomb interaction between the ions. We spectroscopically resolve the frequency shift of the motional sideband of the first mode due to presence of single phonons in the second mode and use it to reconstruct the phonon number distribution of the second mode.


title: Parabolic equations with natural growth approximated by nonlocal equations

abstract: In this paper we study several aspects related with solutions of nonlocal problems whose prototype is $$ u_t =\displaystyle \int_{\mathbb{R}^N} J(x-y) \big( u(y,t) -u(x,t) \big) \mathcal G\big( u(y,t) -u(x,t) \big) dy \qquad \mbox{ in } \, \Omega \times (0,T)\,, $$ being $ u (x,t)=0 \mbox{ in } (\mathbb{R}^N\setminus \Omega )\times (0,T)\,$ and $ u(x,0)=u_0 (x) \mbox{ in } \Omega$. We take, as the most important instance, $\mathcal G (s) \sim 1+ \frac{\mu}{2} \frac{s}{1+\mu^2 s^2 }$ with $\mu\in \mathbb{R}$ as well as $u_0 \in L^1 (\Omega)$, $J$ is a smooth symmetric function with compact support and $\Omega$ is either a bounded smooth subset of $\mathbb{R}^N$, with nonlocal Dirichlet boundary condition, or $\mathbb{R}^N$ itself. The results deal with existence, uniqueness, comparison principle and asymptotic behavior. Moreover we prove that if the kernel rescales in a suitable way, the unique solution of the above problem converges to a solution of the deterministic Kardar-Parisi-Zhang equation.


title: Improving phase II oncology trials using best observed RECIST response as an endpoint by modelling continuous tumour measurements

abstract: In many phase II trials in solid tumours, patients are assessed using endpoints based on the Response Evaluation Criteria in Solid Tumours (RECIST) scale. Often, analyses are based on the response rate. This is the proportion of patients who have an observed tumour shrinkage above a pre-defined level and no new tumour lesions. The augmented binary method has been proposed to improve the precision of the estimator of the response rate. The method involves modelling the tumour shrinkage to avoid dichotomising it. However, in many trials the best observed response is used as the primary outcome. In such trials, patients are followed until progression, and their best observed RECIST outcome is used as the primary endpoint. In this paper, we propose a method that extends the augmented binary method so that it can be used when the outcome is best observed response. We show through simulated data and data from a real phase II cancer trial that this method improves power in both single-arm and randomised trials. The average gain in power compared to the traditional analysis is equivalent to approximately a 35% increase in sample size. A modified version of the method is proposed to reduce the computational effort required. We show this modified method maintains much of the efficiency advantages.


title: Evaluations of nonlinear Euler sums of weight ten

abstract: In this paper we present a new family of identities for Euler sums and integrals of polylogarithms by using the methods of generating function and integral representations of series. Then we apply it to obtain the closed forms of all quadratic Euler sums of weight equal to ten. Furthermore, we also establish some relations between multiple zeta (star) values and nonlinear Euler sums. As applications of these relations, we give new closed form representations of several cubic Euler sums through single zeta values and linear sums. Finally, with the help of numerical computations of Mathematica or Maple, we evaluate several other Euler sums of weight ten.


title: Form factor (Fourier shape transform) of polygon and polyhedron

abstract: The Fourier transform of the indicator function of arbitrary polygons and polyhedra is computed for complex wavevectors. Using the divergence theorem and Stokes' theorem, closed expressions are obtained. Apparent singularities, all removable, are discussed in detail. Loss of precision due to cancellation near the singularities can be avoided by using series expansions.


title: Observation of the decay $\Lambda^0_b \to p K^- \mu^+ \mu^-$ and a search for $C\!P$ violation

abstract: A search for $C\!P$ violation in the decay $\Lambda^0_b \to p K^- \mu^+ \mu^-$ is presented. This decay is mediated by flavour-changing neutral-current transitions in the Standard Model and is potentially sensitive to new sources of $C\!P$ violation. The study is based on a data sample of proton-proton collisions recorded with the LHCb experiment, corresponding to an integrated luminosity of $3$ $\mathrm{fb}^{-1}$. The $\Lambda^0_b \to p K^- \mu^+ \mu^-$ decay is observed for the first time, and two observables that are sensitive to different manifestations of $C\!P$ violation are measured, $\Delta\mathcal{A}_{C\!P} \equiv \mathcal{A}_{C\!P}(\Lambda^0_b \to p K^- \mu^+ \mu^-)-\mathcal{A}_{C\!P}(\Lambda^0_b\to pK^- J/\psi)$ and $a_{C\!P}^{\widehat{T}-odd}$, where the latter is based on asymmetries in the angle between the $\mu^+\mu^-$ and $p K^-$ decay planes. These are measured to be $\Delta\mathcal{A}_{C\!P} = (-3.5 \pm 5.0(stat) \pm 0.2(syst))\times 10^{-2}$, $a_{C\!P}^{\widehat{T}-odd} = (1.2 \pm 5.0(stat) \pm 0.7(syst))\times 10^{-2}$, and no evidence for $C\!P$ violation is found.


title: Origin of layer dependence in band structures of two-dimensional materials

abstract: We study the origin of layer dependence in band structures of two-dimensional materials. We find that the layer dependence, at the density functional theory (DFT) level, is a result of quantum confinement and the non-linearity of the exchange-correlation functional. We use this to develop an efficient scheme for performing DFT and GW calculations of multilayer systems. We show that the DFT and quasiparticle band structures of a multilayer system can be derived from a single calculation on a monolayer of the material. We test this scheme on multilayers of MoS$_2$, graphene and phosphorene. This new scheme yields results in excellent agreement with the standard methods at a fraction of the computation cost. This helps overcome the challenge of performing fully converged GW calculations on multilayers of 2D materials, particularly in the case of transition metal dichalcogenides which involve very stringent convergence parameters.


title: The Hubble Catalog of Variables

abstract: The Hubble Catalog of Variables (HCV) is a 3 year ESA funded project that aims to develop a set of algorithms to identify variables among the sources included in the Hubble Source Catalog (HSC) and produce the HCV. We will process all HSC sources with more than a predefined number of measurements in a single filter/instrument combination and compute a range of lightcurve features to determine the variability status of each source. At the end of the project, the first release of the Hubble Catalog of Variables will be made available at the Mikulski Archive for Space Telescopes (MAST) and the ESA Science Archives. The variability detection pipeline will be implemented at the Space Telescope Science Institute (STScI) so that updated versions of the HCV may be created following the future releases of the HSC.


title: Binary Funding Impacts in Derivative Valuation

abstract: We discuss the binary nature of funding impact in derivative valuation. Under some conditions, funding is either a cost or a benefit, i.e., one of the lending/borrowing rates does not play a role in pricing derivatives. When derivatives are priced, considering different lending/borrowing rates leads to semi-linear BSDEs and PDEs, and thus it is necessary to solve the equations numerically. However, once it can be guaranteed that only one of the rates affects pricing, linear equations can be recovered and analytical formulae can be derived. Moreover, as a byproduct, our results explain how debt value adjustment (DVA) and funding benefits are dissimilar. It is often believed that considering both DVA and funding benefits results in a double-counting issue but it will be shown that the two components are affected by different mathematical structures of derivative transactions. We find that funding benefit is related to the decreasing property of the payoff function, but this relationship decreases as the funding choices of underlying assets are transferred to repo markets.


title: Extragradient method with variance reduction for stochastic variational inequalities

abstract: We propose an extragradient method with stepsizes bounded away from zero for stochastic variational inequalities requiring only pseudo-monotonicity. We provide convergence and complexity analysis, allowing for an unbounded feasible set, unbounded operator, non-uniform variance of the oracle and, also, we do not require any regularization. Alongside the stochastic approximation procedure, we iteratively reduce the variance of the stochastic error. Our method attains the optimal oracle complexity $\mathcal{O}(1/\epsilon^2)$ (up to a logarithmic term) and a faster rate $\mathcal{O}(1/K)$ in terms of the mean (quadratic) natural residual and the D-gap function, where $K$ is the number of iterations required for a given tolerance $\epsilon>0$. Such convergence rate represents an acceleration with respect to the stochastic error. The generated sequence also enjoys a new feature: the sequence is bounded in $L^p$ if the stochastic error has finite $p$-moment. Explicit estimates for the convergence rate, the oracle complexity and the $p$-moments are given depending on problem parameters and distance of the initial iterate to the solution set. Moreover, sharper constants are possible if the variance is uniform over the solution set or the feasible set. Our results provide new classes of stochastic variational inequalities for which a convergence rate of $\mathcal{O}(1/K)$ holds in terms of the mean-squared distance to the solution set. Our analysis includes the distributed solution of pseudo-monotone Cartesian variational inequalities under partial coordination of parameters between users of a network.


title: A Variant of the Truncated Perron's Formula and Primitive Roots

abstract: We show under the Generalised Riemann Hypothesis that for every $\delta>0$, almost every prime $q$ in $[Q,2Q]$ has the expected of prime primitive roots in the interval $[x,x+x^{\frac{1}2+\delta}]$ provided $Q$ is not more than $x^{\frac{2}{3}-\epsilon}$. We obtain this via a variant of the classical truncated Perron's formula for the partial sums of the coefficients of a Dirichlet series.


title: Variance-based stochastic extragradient methods with line search for stochastic variational inequalities

abstract: A dynamic sampled stochastic approximated (DS-SA) extragradient method for stochastic variational inequalities (SVI) is proposed that is \emph{robust} with respect to an unknown Lipschitz constant $L$. To the best of our knowledge, it is the first provably convergent \emph{robust} SA \emph{method with variance reduction}, either for SVIs or stochastic optimization, assuming just an unbiased stochastic oracle in a large sample regime. This widens the applicability and improves, up to constants, the desired efficient acceleration of previous variance reduction methods, all of which still assume knowledge of $L$ (and, hence, are not robust against its estimate). Precisely, compared to the iteration and oracle complexities of $\mathcal{O}(\epsilon^{-2})$ of previous robust methods with a small stepsize policy, our robust method obtains the faster iteration complexity of $\mathcal{O}(\epsilon^{-1})$ with oracle complexity of $(\ln L)\mathcal{O}(d\epsilon^{-2})$ (up to logs). This matches, up to constants, the sample complexity of the sample average approximation estimator which does not assume additional problem information (such as $L$). Differently from previous robust methods for ill-conditioned problems, we allow an unbounded feasible set and an oracle with multiplicative noise (MN) whose variance is not necessarily uniformly bounded. These properties are seen in our complexity estimates which depend only on $L$ and local second or forth moments at solutions. The robustness and variance reduction properties of our DS-SA line search scheme come at the expense of nonmartingale-like dependencies (NMD) due to the needed inner statistical estimation of a lower bound for $L$. In order to handle a NMD and a MN, our proofs rely on a novel localization argument based on empirical process theory. We also propose another robust method for SVIs over the wider class of H\"older continuous operators.


title: Quantum Information Set Decoding Algorithms

abstract: The security of code-based cryptosystems such as the McEliece cryptosystem relies primarily on the difficulty of decoding random linear codes. The best decoding algorithms are all improvements of an old algorithm due to Prange: they are known under the name of information set decoding techniques. It is also important to assess the security of such cryptosystems against a quantum computer. This research thread started in Overbeck and Sendrier's 2009 survey on code-based cryptography, and the best algorithm to date has been Bernstein's quantising of the simplest information set decoding algorithm, namely Prange's algorithm. It consists in applying Grover's quantum search to obtain a quadratic speed-up of Prange's algorithm. In this paper, we quantise other information set decoding algorithms by using quantum walk techniques which were devised for the subset-sum problem by Bernstein, Jeffery, Lange and Meurer. This results in improving the worst-case complexity of $2^{0.06035n}$ of Bernstein's algorithm to $2^{0.05869n}$ with the best algorithm presented here (where $n$ is the codelength).


title: Rheology of hydrating cement paste: crossover between two aging processes

abstract: The roles of applied strain and temperature on the hydration dynamics of cement paste are uncovered in the present study. We find that the system hardens over time through two different aging processes. The first process dominates the initial period of hydration and is characterized by the shear stress $\sigma$ varying sub-linearly with the strain-rate $\dot{\gamma}$; during this process the system is in a relatively low-density state and the inter-particle interactions are dominated by hydrodynamic lubrication. At a later stage of hydration the system evolves to a high-density state where the interactions become frictional, and $\sigma$ varies super-linearly with $\dot{\gamma}$; this is identified as the second process. An instability, indicated by a drop in $\sigma$, that is non-monotonic with $\dot{\gamma}$ and can be tuned by temperature, separates the two processes. Both from rheology and microscopy studies we establish that the observed instability is related to fracture mechanics of space-filling structure.


title: Spin and Charge Signatures of Topological Superconductivity in Rashba Nanowires

abstract: We consider a Rashba nanowire with proximity gap which can be brought into the topological phase by tuning external magnetic field or chemical potential. We study spin and charge of the bulk quasiparticle states when passing through the topological transition for open and closed systems. We show, analytically and numerically, that the spin of bulk states around the topological gap reverses its sign when crossing the transition due to band inversion, independent of the presence of Majorana fermions in the system. This spin reversal can be considered as a bulk signature of topological superconductivity that can be accessed experimentally. We find a similar behaviour for the charge of the bulk quasiparticle states, also exhibiting a sign reversal at the transition. We show that these signatures are robust against random static disorder.


title: Spatially-resolved, substrate-induced rectification in C$_{60}$ bilayers on copper

abstract: We demonstrate rectification ratios ($RR$) of $\gtrsim$1000 at biases of 1.3~V in bilayers of \buck deposited on copper. Using scanning tunneling spectroscopy and first-principles calculations, we show that the strong coupling between \buck and the Cu(111) surface leads to the metallization of the bottom \buck layer, while the molecular orbitals of the top \buck are essentially unaffected. Due to this substrate-induced symmetry breaking and to a tunneling transport mechanism, the system behaves as a hole-blocking layer, with a spatial dependence of the onset voltage on intra-layer coordination. Together with previous observations of strong electron-blocking character of pentacene/\buck bilayers on Cu(111), this work further demonstrates the potential of strongly-hybridized, \buck-coated electrodes to harness the electrical functionality of molecular components.


title: Convex optimization in Hilbert space with applications to inverse problems

abstract: In this paper we propose accelerated gradient descent schemes for convex optimization problems in Hilbert space. We consider inexact oracle case.


title: Improvements on Spectral Bisection

abstract: We investigate combinatorial properties of certain configurations of a graph partition which are related to the minimality of a cut. We show that such configurations are related to the third eigenvector of the Laplacian matrix. It is well known that the second eigenvector encodes structural information, and that can be used to approximate a minimum bisection. In this paper, we show that the third eigenvector carries structural information as well. We then provide a new spectral bisection algorithm using both eigenvectors. The new algorithm is guaranteed to return a cut that is smaller or equal to the one returned by the classic spectral bisection. Also, we provide a spectral algorithm that can refine a given partition and produce a smaller cut.


title: Introducing the anatomy of disciplinary discernment: an example from astronomy

abstract: Education is increasingly being framed by a competence mindset; the value of knowledge lies much more in competence performativity and innovation than in simply knowing. Reaching such competency in areas such as astronomy and physics has long been known to be challenging. The movement from everyday conceptions of the world around us to a disciplinary interpretation is fraught with pitfalls and problems. Thus, what underpins the characteristics of the disciplinary trajectory to competence becomes an important educational consideration. In this article we report on a study involving what students and lecturers discern from the same disciplinary semiotic resource. We use this to propose an Anatomy of Disciplinary Discernment (ADD), a hierarchy of what is focused on and how it is interpreted in an appropriate, disciplinary manner, as an overarching fundamental aspect of disciplinary learning. Students and lecturers in astronomy and physics were asked to describe what they could discern from a video simulation of travel through our Galaxy and beyond. 137 people from nine countries participated. The descriptions were analysed using a hermeneutic interpretive study approach. The analysis resulted in the formulation of five qualitatively different categories of discernment; the ADD, reflecting a view of participants' competence levels. The ADD reveals four increasing levels of disciplinary discernment: Identification, Explanation, Appreciation, and Evaluation. This facilitates the identification of a clear relationship between educational level and the level of disciplinary discernment. The analytical outcomes of the study suggest how teachers of science, after using the ADD to assess the students disciplinary knowledge, may attain new insights into how to create more effective learning environments by explicitly crafting their teaching to support the crossing of boundaries in the ADD model.


title: Differential Equations and A-quasiconvexity

abstract: In this paper we extend to the abstract A-framework some existence theorems for differential inclusion problems with Dirichlet boundary conditions.


title: Non-Semisimple Planar Algebras from the Representation Theory of $\bar{U}_{q}(\mathfrak{sl}_{2})$

abstract: We describe the generators and prove a number of relations for the construction of a planar algebra from the restricted quantum group $\bar{U}_{q}(\mathfrak{sl}_{2})$. This is a diagrammatic description of $End_{\bar{U}_{q}(\mathfrak{sl}_{2})}(X^{\otimes n})$, where $X:=\mathcal{X}^{+}_{2}$ is a two dimensional $\bar{U}_{q}(\mathfrak{sl}_{2})$ module.


title: Incremental constraint projection methods for monotone stochastic variational inequalities

abstract: We consider stochastic variational inequalities with monotone operators defined as the expected value of a random operator. We assume the feasible set is the intersection of a large family of convex sets. We propose a method that combines stochastic approximation with incremental constraint projections meaning that at each iteration, a step similar to some variant of a deterministic projection method is taken after the random operator is sampled and a component of the intersection defining the feasible set is chosen at random. Such sequential scheme is well suited for applications involving large data sets, online optimization and distributed learning. First, we assume that the variational inequality is weak-sharp. We provide asymptotic convergence, feasibility rate of $O(1/k)$ in terms of the mean squared distance to the feasible set and solvability rate of $O(1/\sqrt{k})$ (up to first order logarithmic terms) in terms of the mean distance to the solution set for a bounded or unbounded feasible set. Then, we assume just monotonicity of the operator and introduce an explicit iterative Tykhonov regularization to the method. We consider Cartesian variational inequalities so as to encompass the distributed solution of stochastic Nash games or multi-agent optimization problems under a limited coordination. We provide asymptotic convergence, feasibility rate of $O(1/k)$ in terms of the mean squared distance to the feasible set and, in the case of a compact set, we provide a near-optimal solvability convergence rate of $O\left(\frac{k^\delta\ln k}{\sqrt{k}}\right)$ in terms of the mean dual gap-function of the SVI for arbitrarily small $\delta>0$.


title: Smaller subgraphs of minimum degree k

abstract: In 1990 Erd\H{o}s, Faudree, Rousseau and Schelp proved that for $k\geq 2$, every graph with $n\geq k+1$ vertices and $(k-1)(n-k+2)+\binom{k-2}{2}+1$ edges contains a subgraph of minimum degree $k$ on at most $n-\sqrt{n}/\sqrt{6k^3}$ vertices. They conjectured that it is possible to remove at least $\epsilon_k n$ many vertices and remain with a subgraph of minimum degree $k$, for some $\epsilon_k>0$. We make progress towards their conjecture by showing that one can remove at least $\Omega(n/\log n)$ many vertices.


title: Implementations of two-photon four-qubit Toffoli and Fredkin gates assisted by nitrogen-vacancy centers

abstract: It is desirable to implement an efficient quantum information process demanding fewer quantum resources. We designed two compact quantum circuits for determinately implementing four-qubit Toffoli and Fredkin gates on single-photon systems in both the polarization and spatial degrees of freedom (DoFs) via diamond nitrogen-vacancy (NV) centers in resonators. The gates are heralded by the electron spins associated with the diamond NV centers. In contrast to the ones with one DoF, our implementations reduce the quantum resource and are robust against the decoherence. Evaluations of fidelities and efficiencies of our gates show that our schemes may be implemented with current technology.


title: Sharp off-diagonal weighted norm estimates for the Bergman projection

abstract: We prove that for $1<p\le q<\infty$, $qp\geq {p'}^2$ or $p'q'\geq q^2$, $\frac{1}{p}+\frac{1}{p'}=\frac{1}{q}+\frac{1}{q'}=1$, $$\|\omega P_\alpha(f)\|_{L^p(\mathcal{H},y^{\alpha+(2+\alpha)(\frac{q}{p}-1)}dxdy)}\le C_{p,q,\alpha}[\omega]_{B_{p,q,\alpha}}^{(\frac{1}{p'}+\frac{1}{q})\max\{1,\frac{p'}{q}\}}\|\omega f\|_{L^p(\mathcal{H},y^{\alpha}dxdy)}$$ where $P_\alpha$ is the weighted Bergman projection of the upper-half plane $\mathcal{H}$, and $$[\omega]_{B_{p,q,\alpha}}:=\sup_{I\subset \mathbb{R}}\left(\frac{1}{|I|^{2+\alpha}}\int_{Q_I}\omega^{q}dV_\alpha\right)\left(\frac{1}{|I|^{2+\alpha}}\int_{Q_I}\omega^{-p'}dV_\alpha\right)^{\frac{q}{p'}},$$ with $Q_I=\{z=x+iy\in \mathbb{C}: x\in I, 0<y<|I|\}$.


title: Origin of meteoritic stardust unveiled by a revised proton-capture rate of $^{17}$O

abstract: Stardust grains recovered from meteorites provide high-precision snapshots of the isotopic composition of the stellar environment in which they formed. Attributing their origin to specific types of stars, however, often proves difficult. Intermediate-mass stars of 4-8 solar masses are expected to contribute a large fraction of meteoritic stardust. However, no grains have been found with characteristic isotopic compositions expected from such stars. This is a long-standing puzzle, which points to serious gaps in our understanding of the lifecycle of stars and dust in our Galaxy. Here we show that the increased proton-capture rate of $^{17}$O reported by a recent underground experiment leads to $^{17}$O/$^{16}$O isotopic ratios that match those observed in a population of stardust grains, for proton-burning temperatures of 60-80 million K. These temperatures are indeed achieved at the base of the convective envelope during the late evolution of intermediate-mass stars of 4-8 solar masses, which reveals them as the most likely site of origin of the grains. This result provides the first direct evidence that these stars contributed to the dust inventory from which the Solar System formed.


title: From Supersymmetric Quantum Mechanics to Scalar Field Theories

abstract: In this work we address the reconstruction problem, investigating the construction of field theories from supersymmetric quantum mechanics. The procedure is reviewed, starting from reflectionless potentials that admit one and two bound states. We show that, although the field theory reconstructed from the potential that support a single bound state is unique, it may break unicity in the case of two bound states. We illustrate this with an example, which leads us with two distinct field theories.


title: Analyticity in Spin in Conformal Theories

abstract: Conformal theory correlators are characterized by the spectrum and three- point functions of local operators. We present a formula which extracts this data as an analytic function of spin. In analogy with a classic formula due to Froissart and Gribov, it is sensitive only to an "imaginary part" which appears after analytic continuation to Lorentzian signature, and it converges thanks to recent bounds on the high-energy Regge limit. At large spin, substituting in cross-channel data, the formula yields 1/J expansions with controlled errors. In large-N theories, the imaginary part is saturated by single-trace operators. For a sparse spectrum, it manifests the suppression of bulk higher-derivative interactions that constitutes the signature of a local gravity dual in Anti-de-Sitter space.


title: Systematic Generation of Algorithms for Iterative Methods

abstract: The FLAME methodology makes it possible to derive provably correct algorithms from a formal description of a linear algebra problem. So far, the methodology has been successfully used to automate the derivation of direct algorithms such as the Cholesky decomposition and the solution of Sylvester equations. In this thesis, we present an extension of the FLAME methodology to tackle iterative methods such as Conjugate Gradient. As a starting point, we use a formal description of the iterative method in matrix form. The result is a family of provably correct pseudocode algorithms. We argue that all the intermediate steps are sufficiently systematic to be fully automated.


title: Stellar yields and abundances: new directions from planetary nebulae

abstract: Planetary nebulae retain the signature of the nucleosynthesis and mixing events that occurred during the previous AGB phase. Observational signatures complement observations of AGB and post-AGB stars and their binary companions. The abundances of the elements heavier than iron such as Kr and Xe in planetary nebulae can be used to complement abundances of Sr/Y/Zr and Ba/La/Ce in AGB stars, respectively, to determine the operation of the slow neutron-capture process (the s process) in AGB stars. Additionally, observations of the Rb abundance in Type I planetary nebulae may allow us to infer the initial mass of the central star. Several noble gas components present in meteoritic stardust silicon carbide (SiC) grains are associated with implantation into the dust grains in the high-energy environment connected to the fast winds from the central stars during the planetary nebulae phase.


title: Weighted boundedness of maximal functions and fractional Bergman operators

abstract: The aim of this paper is to study two-weight norm inequalities for fractional maximal functions and fractional Bergman operator defined on the upper-half space. Namely, we characterize those pairs of weights for which these maximal operators satisfy strong and weak type inequalities. Our characterizations are in terms of Sawyer and B\'ekoll\'e-Bonami type conditions. We also obtain a $\Phi$-bump characterization for these maximal functions, where $\Phi$ is a Orlicz function. As a consequence, we obtain two-weight norm inequalities for fractional Bergman operators. Finally, we provide some sharp weighted inequalities for the fractional maximal functions.


title: Almost periodic solution in distribution for stochastic differential equations with Stepanov almost periodic coefficients

abstract: This paper deals with the existence and uniqueness of ($\mu$-pseudo) almost periodic mild solution to some evolution equations with Stepanov ($\mu$-pseudo) almost periodic coefficients, in both determinist and stochastic cases. After revisiting some known concepts and properties of Stepanov ($\mu$-pseudo) almost periodicity in complete metric space, we consider a semilinear stochastic evolution equation on a Hilbert separable space with Stepanov ($\mu$-pseudo) almost periodic coefficients. We show existence and uniqueness of the mild solution which is ($\mu$-pseudo) almost periodic in 2-distribution. We also generalize a result by Andres and Pennequin, according to which there is no purely Stepanov almost periodic solutions to differential equations with Stepanov almost periodic coefficients.


title: Nevanlinna classes for non radial weights in the unit disc. Applications

abstract: We introduce Nevanlinna classes associated to non radial weights in the unit disc in the complex plane and we get Blaschke type theorems relative to these classes by use of several complex variables methods. This gives alternative proofs and improve some results of Boritchev, Golinski and Kupin useful, in particular, for the study of eigenvalues of non self adjoint Schr\"odinger operators.


title: L$^3$-SVMs: Landmarks-based Linear Local Support Vectors Machines

abstract: For their ability to capture non-linearities in the data and to scale to large training sets, local Support Vector Machines (SVMs) have received a special attention during the past decade. In this paper, we introduce a new local SVM method, called L$^3$-SVMs, which clusters the input space, carries out dimensionality reduction by projecting the data on landmarks, and jointly learns a linear combination of local models. Simple and effective, our algorithm is also theoretically well-founded. Using the framework of Uniform Stability, we show that our SVM formulation comes with generalization guarantees on the true risk. The experiments based on the simplest configuration of our model (i.e. landmarks randomly selected, linear projection, linear kernel) show that L$^3$-SVMs is very competitive w.r.t. the state of the art and opens the door to new exciting lines of research.


title: Localized states qualitatively change the response of ecosystems to varying conditions and local disturbances

abstract: The response of dynamical systems to varying conditions and disturbances is a fundamental aspect of their analysis. In spatially extended systems, particularly in pattern-forming systems, there are many possible responses, including critical transitions, gradual transitions and locally confined responses. Here, we use the context of vegetation dynamics in drylands in order to study the response of pattern-forming ecosystems to oscillating precipitation and local disturbances. We focus on two precipitation ranges, a bistability range of bare soil with a patterned vegetation state, and a bistability range of uniform vegetation with a patterned vegetation state. In these ranges, there are many different stable states, which allow for both abrupt and gradual transitions between the system states to occur. We find that large amplitude oscillations of the precipitation rate can lead to a collapse of the vegetation in one range, while in the other range, they result in the convergence to a patterned state with a preferred wavelength. In addition, we show that a series of local disturbances results in the collapse of the vegetation in one range, while it drives the system toward fluctuations around a finite average biomass in the other range. Moreover, it is shown that under certain conditions, local disturbances can actually increase the overall vegetation density. These significant differences in the system response are attributed to the existence of localized states in one of the bistability ranges.


title: Phylogenetic Tools in Astrophysics

abstract: Multivariate clustering in astrophysics is a recent development justified by the bigger and bigger surveys of the sky. The phylogenetic approach is probably the most unexpected technique that has appeared for the unsupervised classification of galaxies, stellar populations or globular clusters. On one side, this is a somewhat natural way of classifying astrophysical entities which are all evolving objects. On the other side, several conceptual and practical difficulties arize, such as the hierarchical representation of the astrophysical diversity, the continuous nature of the parameters, and the adequation of the result to the usual practice for the physical interpretation. Most of these have now been solved through the studies of limited samples of stellar clusters and galaxies. Up to now, only the Maximum Parsimony (cladistics) has been used since it is the simplest and most general phylogenetic technique. Probabilistic and network approaches are obvious extensions that should be explored in the future.


title: A general 2-part Erd\H os-Ko-Rado theorem

abstract: A two-part extension of the famous Erd\H{o}s-Ko-Rado Theorem is proved. The underlying set is partitioned into $X_1$ and $X_2$. Some positive integers $k_i, \ell_i (1\leq i\leq m)$ are given. We prove that if ${\cal F}$ is an intersecting family containing members $F$ such that $|F\cap X_1|=k_i, |F\cap X_2|=\ell_i$ holds for one of the values $i (1\leq i\leq m)$ then $|{\cal F}|$ cannot exceed the size of the largest subfamily containing one element.