title: Tangles are Decided by Weighted Vertex Sets

abstract: We show that, given a $ k $-tangle $ \tau $ in a graph $ G $, there always exists a weight function $ w\colon V(G)\to\mathbb{N} $ such that a separation $ (A,B) $ of $ G $ of order $ {<}k $ lies in $ \tau $ if and only if $ w(A)<w(B) $, where $ w(U) := \sum_{u\in U}w(u) $ for $ U\subseteq V(G) $. We show that the same result holds also for tangles of hypergraphs as well as for edge-tangles of graphs, but not for edge-tangles of hypergraphs.


title: Best of Both Worlds: Integration of Split Manufacturing and Camouflaging into a Security-Driven CAD Flow for 3D ICs

abstract: With the globalization of manufacturing and supply chains, ensuring the security and trustworthiness of ICs has become an urgent challenge. Split manufacturing (SM) and layout camouflaging (LC) are promising techniques to protect the intellectual property (IP) of ICs from malicious entities during and after manufacturing (i.e., from untrusted foundries and reverse-engineering by end-users). In this paper, we strive for "the best of both worlds," that is of SM and LC. To do so, we extend both techniques towards 3D integration, an up-and-coming design and manufacturing paradigm based on stacking and interconnecting of multiple chips/dies/tiers. Initially, we review prior art and their limitations. We also put forward a novel, practical threat model of IP piracy which is in line with the business models of present-day design houses. Next, we discuss how 3D integration is a naturally strong match to combine SM and LC. We propose a security-driven CAD and manufacturing flow for face-to-face (F2F) 3D ICs, along with obfuscation of interconnects. Based on this CAD flow, we conduct comprehensive experiments on DRC-clean layouts. Strengthened by an extensive security analysis (also based on a novel attack to recover obfuscated F2F interconnects), we argue that entering the next, third dimension is eminent for effective and efficient IP protection.


title: Advice Complexity of Treasure Hunt in Geometric Terrains

abstract: Treasure hunt is the task of finding an inert target by a mobile agent in an unknown environment. We consider treasure hunt in geometric terrains with obstacles. Both the terrain and the obstacles are modeled as polygons and both the agent and the treasure are modeled as points. The agent navigates in the terrain, avoiding obstacles, and finds the treasure when there is a segment of length at most 1 between them, unobstructed by the boundary of the terrain or by the obstacles. The cost of finding the treasure is the length of the trajectory of the agent. We investigate the amount of information that the agent needs a priori in order to find the treasure at cost $O(L)$, where $L$ is the length of the shortest path in the terrain from the initial position of the agent to the treasure, avoiding obstacles. Following the paradigm of algorithms with advice, this information is given to the agent in advance as a binary string, by an oracle cooperating with the agent and knowing the whole environment: the terrain, the position of the treasure and the initial position of the agent. Advice complexity of treasure hunt is the minimum length of the advice string (up to multiplicative constants) that enables the agent to find the treasure at cost $O(L)$. We first consider treasure hunt in regular terrains which are defined as convex polygons with convex $c$-fat obstacles, for some constant $c>1$. A polygon is $c$-fat if the ratio of the radius of the smallest disc containing it to the radius of the largest disc contained in it is at most $c$. For the class of regular terrains, we establish the exact advice complexity of treasure hunt. We then show that advice complexity of treasure hunt for the class of arbitrary terrains (even for non-convex polygons without obstacles, and even for those with only horizontal or vertical sides) is exponentially larger than for regular terrains.


title: Collimating cylindrical Surface Leaky Waves for Highly Improved Radiation Characteristics of Holograms

abstract: High resolution microwave leaky wave holograms excited by center-fed cylindrical surface wave launcher show a null at object wave direction which is an undesired effect for electromagnetic beamforming. Also, planar leaky wave metasurfaces generating a tilted beam extremely suffer from the destructive effect of non-forward surface leaky waves at frequencies other than the design frequency and they are almost operable at a single frequency. Here we propose a 2-D modified hologram configuration using parabolic surface reflector to collimate the non-forward leaky modes into the forward leaky modes. The modified hologram presents null-free radiation pattern and highly improved operating frequency bandwidth. The consequent frequency bandwidth provides the scannabality property by frequency variation. The forward mode-dominant surface wave excitation of hologram lets the metasurface to generate the object beam more precisely; therefore, high directivity all over the operating bandwidth is obtained. The parabolic reflector lets the radiative surface of the metasurface to get shrunken in less than half of the conventional holograms. The concept is verified by fabrication and experimentally tested confirming the beam maintenance over a reasonable frequency range and scannability property.


title: Towards a Science of Mind

abstract: The ancient mind/body problem continues to be one of deepest mysteries of science and of the human spirit. Despite major advances in many fields, there is still no plausible link between subjective experience (qualia) and its realization in the body. This paper outlines some of the elements of a rigorous science of mind (SoM) - key ideas include scientific realism of mind, agnostic mysterianism, careful attention to language, and a focus on concrete (touchstone) questions and results. A core suggestion is to focus effort on the (still mysterious) mapping from neural activity to subjective experience.


title: Overcoming the rate-distance barrier of quantum key distribution without using quantum repeaters

abstract: Quantum key distribution (QKD) allows two distant parties to share encryption keys with security based on physical laws. Experimentally, it has been implemented with optical means, achieving key rates of 1.26 Megabit/s over 50 kilometres (km) of standard optical fibre and 1.16 bit/hour over 404 km of ultralow-loss fibre in a measurement-device-independent configuration. Increasing the bit rate and range of QKD is a formidable, but important, challenge. A related target, currently considered unfeasible without quantum repeaters, is overcoming the fundamental rate-distance limit of point-to-point QKD. Here we introduce a conceptually new scheme where pairs of phase-randomised optical fields are first generated at two distant locations and then combined at a central measuring station. The fields imparted with the same random phase are "twins" and can be employed to distil a quantum key, as we prove under an explicit security assumption. The key rate of this Twin-Field QKD (TF-QKD) shows the same dependence on distance as a quantum repeater, scaling with the square-root of the channel transmittance, irrespective of whom is in control of the measuring station. Differently from a quantum repeater, however, the new scheme is feasible with current technology and presents manageable levels of noise even on 550 km of standard optical fibre. This is promising to overcome the QKD rate-distance barrier and to greatly extend the range of secure quantum communications.


title: Study of encapsulated microbubble cluster based on association schemes perspective

abstract: Ultrasound contrast agents have been recently utilized in therapeutical implementations for targeted delivery of pharmaceutical substances. Radial pulsations of a cluster of encapsulated microbubbles under the action of an ultrasound field are complex and highly nonlinear, particularly for drug and gene delivery applications with high acoustic pressure amplitudes. In this paper, based on Qin-Ferrara's model [S.P. Qin, K.W. Ferrara, J. Acoust. Soc. Am. 128 (2010) 1511], the complete synchronization and cluster formation in targeted microbubbles network are studied. Also, association schemes as a novel approach are suggested for finding a relationship between coupled microbubbles elements which are immersed in blood or surrounding soft tissue. { A significant advantage of this method is that the stability of the synchronized state (or symmetric eigenmode of mutual bubble oscillation) with respect to another state (another eigenmode) can now predict.} More interestingly, we find a significant relationship between an isolated and multiple microbubbles. The results show that the problem of studying the dynamics of encapsulated microbubble cluster at synchronization state is dependent on the dynamical characteristics of isolated cases, shell thickness, density. Also, the distance between microbubbles has an important role in their synchronous modes.


title: Bipolar H{\sc ii} regions produced by cloud/cloud collisions

abstract: We suggest that Bipolar H{\sc ii} Regions may be the aftermath of collisions between clouds. Such a collision will produce a shock-compressed layer, and a star cluster can then condense out of the dense gas near the centre of the layer. If the clouds are sufficiently massive, the star cluster is likely to contain at least one massive star, which emits ionising radiation, and excites an H{\sc ii} region, which then expands, sweeping up the surrounding neutral gas. Once most of the matter in the clouds has accreted onto the layer, expansion of the H{\sc ii} Region meets little resistance in directions perpendicular to the mid-plane of the layer, and so it expands rapidly to produce two lobes of ionised gas, one on each side of the layer. Conversely, in directions parallel to the mid-plane of the layer, expansion of the H{\sc ii} Region stalls due to the ram-pressure of the gas that continues to fall towards the star cluster from the outer parts of the layer; a ring of dense neutral gas builds up around the waist of the Bipolar H{\sc ii} Region, and may spawn a second generation of star formation. In this paper we present a dimensionless model for the flow of ionised gas in a Bipolar H{\sc ii} Region created according to the above scenario, and predict the characteristics of the resulting freefree continuum and recombination-line emission. This dimensionless model can be scaled to the physical parameters of any particular system. Our intention is that these predictions will be useful in testing the scenario outlined above, and thereby providing indirect support for the role of cloud/cloud collisions in triggering star formation.


title: Minimal linear codes in odd characteristic

abstract: In this paper we generalize constructions in two recent works of Ding, Heng, Zhou to any field $\mathbb{F}_q$, $q$ odd, providing infinite families of minimal codes for which the Ashikhmin-Barg bound does not hold.


title: Alive and well: mimetic gravity and a higher-order extension in light of GW170817

abstract: The near-simultaneous multi-messenger detection of the gravitational wave (GW) event GW170817 and its optical counterpart, the short $\gamma$-ray burst GRB170817A, implies that deviations of the GW speed from the speed of light are restricted to being of ${\cal O}(10^{-15})$. In this note, we study the implications of this bound for mimetic gravity and confirm that in the original setting of the theory, GWs propagate at the speed of light, hence ensuring agreement with the recent multi-messenger detection. A higher-order extension of the original mimetic theory, appearing in the low-energy limit of projectable Ho\v{r}ava-Lifshitz gravity, is then considered. Performing a Bayesian statistical analysis where we compare the predictions of the higher-order mimetic model for the speed of GWs against the observational bound from GW170817/GRB170817A, we derive constraints on the three free parameters of the theory. Imposing the absence of both ghost instabilities and superluminal propagation of scalar and tensor perturbations, we find very stringent 95\% confidence level upper limits of $\sim 7 \times 10^{-15}$ and $\sim 4 \times 10^{-15}$ on the coupling strengths of Lagrangian terms of the form $\nabla^{\mu}\nabla^{\nu}\phi\nabla_{\mu}\nabla_{\nu}\phi$ and $(\Box \phi)^2$ respectively, with $\phi$ the mimetic field. We discuss implications of the obtained bounds for mimetic theories. This work presents the first ever robust comparison of a mimetic theory to observational data.


title: The diophantine exponent of the $\mathbb{Z}/q\mathbb{Z}$ points of $S^{d-2}\subset S^d$

abstract: Assume a polynomial-time algorithm for factoring integers, Conjecture~\ref{conj}, $d\geq 3,$ and $q$ and $p$ are prime numbers, where $p\leq q^A$ for some $A>0$. We develop a polynomial-time algorithm in $\log(q)$ that lifts every $\mathbb{Z}/q\mathbb{Z}$ point of $S^{d-2}\subset S^{d}$ to a $\mathbb{Z}[1/p]$ point of $S^d$ with the minimum height. We implement our algorithm for $d=3 \text{ and }4$. Based on our numerical results, we formulate a conjecture which can be checked in polynomial-time and gives the optimal bound on the diophantine exponent of the $\mathbb{Z}/q\mathbb{Z}$ points of $S^{d-2}\subset S^d$.


title: Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction

abstract: The present work deals with the problem of efficiently assigning Wi-Fi channels in a real-world scenario, the Polytechnic School of the University of Alcal\'a. We first use proximity graphs to model the whole problem as an instance of spectrum graph coloring, we further obtain a simplified model using edge contraction, and we finally use simulated annealing to look for a coloring which optimizes the network throughput. As the main result, we show that the solutions we obtain outperform the de facto standard for Wi-Fi channel assignment, both in terms of network throughput and of computation time.


title: Brown Dwarf Formation: Theory

abstract: We rehearse the physical and theoretical considerations that define the nature of Brown Dwarfs, in particular the maximum mass for a Brown Dwarf (set by the Hydrogen-Burning Limit) and the minimum mass for a Brown Dwarf (set by the Opacity Limit). We then review the range of mechanisms that have been invoked to explain the formation of Brown Dwarfs and their statistical properties. These include turbulent fragmentation, fragmentation of filaments and discs, dynamical ejection of stellar embryos, and photoerosion. The primary contenders would seem to be turbulent fragmentation and disc fragmentation, and the observations needed to evaluate their relative importance may soon be available.


title: Traversable Wormholes with Exponential Shape Function in Modified Gravity and in General Relativity: A Comparative Study

abstract: We have proposed a novel shape function on which the metric that models traversable wormholes is dependent. Using this shape function, the energy conditions, equation of state and anisotropy parameter are analyzed in $f(R)$ gravity, $f(R,T)$ gravity and general relativity. Furthermore, the consequences obtained with respect to these theories are compared. In addition, the existence of wormhole geometries is investigated.


title: Low-frequency electromagnetic radiation of hydrogen molecular gas: effect of the ortho-para conversion

abstract: We calculate the rate of the spontaneous magnetic dipole radiation transitions from ortho- to para-states of the hydrogen molecule at the room temperature with the radiation wavelengths about 0.01 - 0.1 cm. Exponentially small differences between the rotational energies and heat capacities of parahydrogen and orthohydrogen molecules and also diatomic molecules consisting of different hydrogen atoms for high temperatures are derived.


title: Perturbatively constructed cosmological model with periodically distributed dust inhomogeneities

abstract: We constructed a simple cosmological model which approximates the Einstein-de Sitter background with periodically distributed dust inhomogeneities. By taking the metric as a power series up to the third order in some perturbative parameter $\lambda$, we are able to achieve large values of the density contrast. With a metric explicitly given, many model properties can be calculated in a straightforward way which is interesting in the context of the current discussion concerning the averaging of the inhomogeneities and their backreaction in cosmology. Although the Einstein-de Sitter model can be thought as the model \emph{average}, the light propagation differs from that of the Einstein-de Sitter. The angular diameter distance-redshift relation is affected by the presence of inhomogeneities and depends on the observer's position. The model construction scheme enables some generalizations in the future, so the present work is a step towards more realistic cosmological model described by a relatively simple analytical metric.


title: A Grammar-Based Structural CNN Decoder for Code Generation

abstract: Code generation maps a program description to executable source code in a programming language. Existing approaches mainly rely on a recurrent neural network (RNN) as the decoder. However, we find that a program contains significantly more tokens than a natural language sentence, and thus it may be inappropriate for RNN to capture such a long sequence. In this paper, we propose a grammar-based structural convolutional neural network (CNN) for code generation. Our model generates a program by predicting the grammar rules of the programming language; we design several CNN modules, including the tree-based convolution and pre-order convolution, whose information is further aggregated by dedicated attentive pooling layers. Experimental results on the HearthStone benchmark dataset show that our CNN code generator significantly outperforms the previous state-of-the-art method by 5 percentage points; additional experiments on several semantic parsing tasks demonstrate the robustness of our model. We also conduct in-depth ablation test to better understand each component of our model.


title: The Trace Criterion for Kernel Bandwidth Selection for Support Vector Data Description

abstract: Support vector data description (SVDD) is a popular anomaly detection technique. The SVDD classifier partitions the whole data space into an inlier region, which consists of the region near the training data, and an outlier region, which consists of points away from the training data. The computation of the SVDD classifier requires a kernel function, for which the Gaussian kernel is a common choice. The Gaussian kernel has a bandwidth parameter, and it is important to set the value of this parameter correctly for good results. A small bandwidth leads to overfitting such that the resulting SVDD classifier overestimates the number of anomalies, whereas a large bandwidth leads to underfitting and an inability to detect many anomalies. In this paper, we present a new unsupervised method for selecting the Gaussian kernel bandwidth. Our method exploits a low-rank representation of the kernel matrix to suggest a kernel bandwidth value. Our new technique is competitive with the current state of the art for low-dimensional data and performs extremely well for many classes of high-dimensional data. Because the mathematical formulation of SVDD is identical with the mathematical formulation of one-class support vector machines (OCSVM) when the Gaussian kernel is used, our method is equally applicable to Gaussian kernel bandwidth tuning for OCSVM.


title: Relativistic Quantum Information of Anyons

abstract: In this paper, a method is developed to investigate the relativistic quantum information of anyons. Anyons are particles with intermediate statistics ranging between Bose-Einstein and Fermi-Dirac statistics, with a parameter $\alpha$ ($0<\alpha<1$) characteristic of this intermediate statistics. A density matrix is also introduced as a combination of the density matrices of bosons and fermions with a continuous parameter, $\alpha$, that represents the behavior of anyons. This density matrix reduces to bosonic and fermionic density matrices in the limits $\alpha\rightarrow 0$ and $\alpha\rightarrow 1$,respectively. We compute entanglement entropy, negativity, and coherency for anyons in non-inertial frames as a function of $\alpha$. We also computed quantum fisher information for these particles. Semions, which are particles with $\alpha = 0.5$, were found to have minimum quantum fisher information with respect to $\alpha$ than those with other values of fractional parameter.


title: When an oscillating center in an open system undergoes power law decay

abstract: We have probed the condition of periodic oscillation in a class of two variable nonlinear dynamical open systems modeled with Lienard-Levinson-Smith(LLS) equation which can be a limit cycle, center or a very slowly decaying center type oscillation. Using a variety of examples of open systems like Glycolytic oscillator, Lotka-Volterra(L-V) model, a generalised van der Pol oscillator and a time delayed nonlinear feedback oscillation as a non-autonomous system, each of which contains a family of periodic orbits, we have solved LLS systems in terms of a multi-scale perturbation theory using Krylov-Bogoliubov(K-B) method and it is utilised to characterise the size and shape of the limit cycle and center as well as the approach to their steady state dynamics. We have shown the condition when the average scaled radius of a center undergoes a power law decay with exponent 1/2.


title: Tetris: Re-architecting Convolutional Neural Network Computation for Machine Learning Accelerators

abstract: Inference efficiency is the predominant consideration in designing deep learning accelerators. Previous work mainly focuses on skipping zero values to deal with remarkable ineffectual computation, while zero bits in non-zero values, as another major source of ineffectual computation, is often ignored. The reason lies on the difficulty of extracting essential bits during operating multiply-and-accumulate (MAC) in the processing element. Based on the fact that zero bits occupy as high as 68.9% fraction in the overall weights of modern deep convolutional neural network models, this paper firstly proposes a weight kneading technique that could eliminate ineffectual computation caused by either zero value weights or zero bits in non-zero weights, simultaneously. Besides, a split-and-accumulate (SAC) computing pattern in replacement of conventional MAC, as well as the corresponding hardware accelerator design called Tetris are proposed to support weight kneading at the hardware level. Experimental results prove that Tetris could speed up inference up to 1.50x, and improve power efficiency up to 5.33x compared with the state-of-the-art baselines.


title: Temperature and pressure variability in mid-1 latitude low atmosphere and stratosphere-ionosphere coupling

abstract: This study presents the continuation of the analysis of variations of atmospheric and space weather parameters above Iberian Peninsula along two years near the 24th solar cycle maximum presented in Morozova et al. [2016]. Previously, the first mode of the principal component analysis was shown to correlate with the lower stratospheric ozone and anti-correlate with cosmic ray flux. In this paper we discuss the second mode that, to our mind, suggests a coupling between the stratosphere and ionosphere. This second mode, located in the low and middle stratosphere and explaining 6-15\% of temperature and 2.5\% of geopotential height variations, positively correlates with the middle-stratospheric ozone content. Among locally measured space weather parameters, this atmospheric mode negatively correlates with the ionospheric total electron content. The stratospheric-ionospheric coupling was analyzed using the correlation and wavelet analyses. Found similarities between variations of the stratospheric and ionospheric parameters were tested with a method allowing estimation of the causal nature of the found relationships, the convergent cross mapping (CCM). Strong evidences for the stratospheric-ionospheric coupling were obtained for the winter 2012-2013 that is characterized by the east QBO phase and a strong sudden stratospheric warming event.


title: Nuclear symmetry energy and hadron-quark mixed phase in neutron stars

abstract: We study the hadron-quark mixed phase, which may occur in the interior of neutron stars. The relativistic mean-field model is employed to describe the hadronic phase, while the Nambu--Jona-Lasinio model is used for the quark phase. We examine the effects of nuclear symmetry energy in the hadronic phase and repulsive vector interaction in the quark phase. For the treatment of hadron-quark mixed phase, we describe and compare four methods: (1) energy minimization method; (2) coexisting phases method; (3) Gibbs construction; and (4) Maxwell construction. The finite-size effects like surface and Coulomb energies are taken into account in the energy minimization and coexisting phases methods, which play a key role in determining the pasta configuration during the hadron-quark phase transition. It is found that massive neutron stars may contain hadron-quark pasta phases, but pure quark matter is unlikely to occur in the interior of neutron stars.


title: Paleo-detectors: Searching for Dark Matter with Ancient Minerals

abstract: We explore paleo-detectors as an approach to the direct detection of Weakly Interacting Massive Particle (WIMP) dark matter radically different from conventional detectors. Instead of instrumenting a (large) target mass in a laboratory in order to observe WIMP-induced nuclear recoils in real time, the approach is to examine ancient minerals for traces of WIMP-nucleus interactions recorded over timescales as large as 1 Gyr. Here, we discuss the paleo-detector proposal in detail, including background sources and possible target materials. In order to suppress backgrounds induced by radioactive contaminants such as uranium, we propose to use minerals found in marine evaporites or in ultra-basic rocks. We estimate the sensitivity of paleo-detectors to spin-independent and spin-dependent WIMP-nucleus interactions. The sensitivity to low-mass WIMPs with masses $m_\chi \lesssim 10$ GeV extends to WIMP-nucleon cross sections many orders of magnitude smaller than current upper limits. For heavier WIMPs with masses $m_\chi \gtrsim 30$ GeV cross sections a factor of a few to $\sim 100$ smaller than current upper limits can be probed by paleo-detectors.

categories: astro-ph.CO astro-ph.IM hep-ph physics.ins-det


title: Optimal quantization for some triadic uniform Cantor distributions with exact bounds

abstract: Let $\{S_j : 1\leq j\leq 3\}$ be a set of three contractive similarity mappings such that $S_j(x)=rx+\frac {j-1}{2}(1-r)$ for all $x\in \mathbb R$, and $1\leq j\leq 3$, where $0<r<\frac 1 3$. Let $P=\sum_{j=1}^3 \frac 13 P\circ S_j^{-1}$. Then, $P$ is a unique Borel probability measure on $\mathbb R$ such that $P$ has support the Cantor set generated by the similarity mappings $S_j$ for $1\leq j\leq 3$. Let $r_0=0.1622776602$, and $r_1=0.2317626315$ (which are ten digit rational approximations of two real numbers). In this paper, for $0<r\leq r_0$, we give a general formula to determine the optimal sets of $n$-means and the $n$th quantization errors for the triadic uniform Cantor distribution $P$ for all positive integers $n\geq 2$. Previously, Roychowdhury gave an exact formula to determine the optimal sets of $n$-means and the $n$th quantization errors for the standard triadic Cantor distribution, i.e., when $r=\frac 15$. In this paper, we further show that $r=r_0$ is the greatest lower bound, and $r=r_1$ is the least upper bound of the range of $r$-values to which Roychowdhury formula extends. In addition, we show that for $0<r\leq r_1$ the quantization coefficient does not exist though the quantization dimension exists.


title: Improving Fingerprint Pore Detection with a Small FCN

abstract: In this work, we investigate if previously proposed CNNs for fingerprint pore detection overestimate the number of required model parameters for this task. We show that this is indeed the case by proposing a fully convolutional neural network that has significantly fewer parameters. We evaluate this model using a rigorous and reproducible protocol, which was, prior to our work, not available to the community. Using our protocol, we show that the proposed model, when combined with post-processing, performs better than previous methods, albeit being much more efficient. All our code is available at https://github.com/gdahia/fingerprint-pore-detection


title: Adversarial Unsupervised Representation Learning for Activity Time-Series

abstract: Sufficient physical activity and restful sleep play a major role in the prevention and cure of many chronic conditions. Being able to proactively screen and monitor such chronic conditions would be a big step forward for overall health. The rapid increase in the popularity of wearable devices provides a significant new source, making it possible to track the user's lifestyle real-time. In this paper, we propose a novel unsupervised representation learning technique called activity2vec that learns and "summarizes" the discrete-valued activity time-series. It learns the representations with three components: (i) the co-occurrence and magnitude of the activity levels in a time-segment, (ii) neighboring context of the time-segment, and (iii) promoting subject-invariance with adversarial training. We evaluate our method on four disorder prediction tasks using linear classifiers. Empirical evaluation demonstrates that our proposed method scales and performs better than many strong baselines. The adversarial regime helps improve the generalizability of our representations by promoting subject invariant features. We also show that using the representations at the level of a day works the best since human activity is structured in terms of daily routines


title: Toric generalized Kaehler structures

abstract: Anti-diagonal toric generalized K$\ddot{a}$hler structures of symplectic type on a compact toric symplectic manifold were investigated in \cite{Wang2} . In this article, we consider \emph{general} toric generalized K$\ddot{a}$hler structures of symplectic type, without requiring them to be anti-diagonal. Such a structure is characterized by a triple $(\tau, C, F)$ where $\tau$ is a strictly convex function defined in the interior of the moment polytope $\Delta$ and $C, F$ are two constant anti-symmetric matrices. We prove that underlying each such a structure is a \emph{canonical} toric K$\ddot{a}$hler structure $I_0$ whose symplectic potential is given by this $\tau$, and when $C=0$ the generalized complex structure $\mathbb{J}_1$ other than the symplectic one arises from an $I_0$-holomorphic Poisson structure $\beta$ in a \emph{novel} way not mentioned in the literature before. Conversely, given a toric K$\ddot{a}$hler structure with symplectic potential $\tau$ and two anti-symmetric constant matrices $C, F$, the triple $(\tau, C, F)$ then determines a toric generalized K$\ddot{a}$hler structure of symplectic type canonically if $F$ satisfies additionally a certain positive-definiteness condition. In particular, if the initial toric K$\ddot{a}$hler manifold is the standard $M_\Delta$ associated to a Delzant polytope $\Delta$, the resulting generalized K$\ddot{a}$hler structure can be interpreted as obtained via generalized K$\ddot{a}$hler reduction from a generalized K$\ddot{a}$hler structure on an open subset of a complex linear space, just as in Delzant's construction $M_\Delta$ is obtained through K$\ddot{a}$hler reduction from a complex linear space.


title: Delayed feedback control of active particles: a controlled journey towards the destination

abstract: We explore theoretically the navigation of an active particle based on delayed feedback control. The delayed feedback enters in our expression for the particle orientation which, for an active particle, determines (up to noise) the direction of motion in the next time step. Here we estimate the orientation by comparing the delayed position of the particle with the actual one. This method does not require any real-time monitoring of the particle orientation and may thus be relevant also for controlling sub-micron sized particles, where the imaging process is not easily feasible. We apply the delayed feedback strategy to two experimentally relevant situations, namely, optical trapping and photon nudging. To investigate the performance of our strategy, we calculate the mean arrival time analytically (exploiting a small-delay approximation) and by simulations.


title: On the commutativity of pull-back and push-forward functors on motivic constructible functions

abstract: In this article, we study the commutativity between the pull-back and the push-forward functors on constructible functions in Cluckers--Loeser motivic integration.


title: Ab initio Study of Luminescence in Ce-doped Lu$_2$SiO$_5$: The Role of Oxygen Vacancies on Emission Color and Thermal Quenching Behavior

abstract: We study from first principles the luminescence of Lu$_2$SiO$_5$:Ce$^{3+}$ (LSO:Ce), a scintillator widely used in medical imaging applications, and establish the crucial role of oxygen vacancies (V$_O$) in the generated spectrum. The excitation energy, emission energy and Stokes shift of its luminescent centers are simulated through a constrained density-functional theory method coupled with a ${\Delta}$SCF analysis of total energies, and compared with experimental spectra. We show that the high-energy emission band comes from a single Ce-based luminescent center, while the large experimental spread of the low-energy emission band originates from a whole set of different Ce-V$_O$ complexes together with the other Ce-based luminescent center. Further, the luminescence thermal quenching behavior is analyzed. The $4f-5d$ crossover mechanism is found to be very unlikely, with a large crossing energy barrier (E$_{fd}$) in the one-dimensional model. The alternative mechanism usually considered, namely the electron auto-ionization, is also shown to be unlikely. In this respect, we introduce a new methodology in which the time-consuming accurate computation of the band gap for such models is bypassed. We emphasize the usually overlooked role of the differing geometry relaxation in the excited neutral electronic state Ce$^{3+,*}$ and in the ionized electronic state Ce$^{4+}$. The results indicate that such electron auto-ionization cannot explain the thermal stability difference between the high- and low-energy emission bands. Finally, a hole auto-ionization process is proposed as a plausible alternative. With the already well-established excited state characterization methodology, the approach to color center identification and thermal quenching analysis proposed here can be applied to other luminescent materials in the presence of intrinsic defects.


title: Discretized Sum-product and Fourier decay in $\mathbb{R}^n$

abstract: We generalize Bourgain's theorem on the decay of the Fourier transform of the multiplicative convolution of measures on $\mathbb R$ to the ring $\mathbb R^n$, where the multiplication is given by coordinate multiplication.


title: The Teichm\"uller TQFT

abstract: We review our construction of the Teichm\"uller TQFT. We recall our volume conjecture for this TQFT and the examples for which this conjecture has been established. We end the paper with a brief review of our new formulation of the Teichm\"uller TQFT together with some anticipated future developments.


title: Computing Black Hole Entropy at Infinity

abstract: We show that the entropy of asymptotically flat, nonextremal black holes can be computed at infinity. We provide a prescription for transforming these black holes to $AdS_2$ black holes with the same entropy by dimensional reduction to 2D and a Weyl transformation. We apply our prescription to Schwarzschild, 4D Reissner--Nordstrom and generic nonextremal black holes. In the transformed coordinates, the asymptotic regions contain a global $AdS_2$ whose entropy can be computed either as the holographic entanglement entropy or as the entanglement entropy of a pair of Rindler $AdS_2$ spaces in the thermofield double state. This precisely reproduces the entropy of the original nonextremal black holes.


title: Ghost Imaging at an XUV Free-Electron Laser

abstract: Radiation damage is one of the most severe resolution limiting factors in x-ray imaging, especially relevant to biological samples. One way of circumventing this problem is to exploit correlation-based methods developed in quantum imaging. Among these, there is ghost imaging (GI) in which the image is formed by radiation that has never interacted with the sample. Here, we demonstrate GI at an XUV free-electron laser by utilizing correlation techniques. We discuss the experimental challenges, optimal setup, and crucial ingredients to maximize the achievable resolution.


title: Estimation from Quantized Gaussian Measurements: When and How to Use Dither

abstract: Subtractive dither is a powerful method for removing the signal dependence of quantization noise for coarsely-quantized signals. However, estimation from dithered measurements often naively applies the sample mean or midrange, even when the total noise is not well described with a Gaussian or uniform distribution. We show that the generalized Gaussian distribution approximately describes subtractively-dithered, quantized samples of a Gaussian signal. Furthermore, a generalized Gaussian fit leads to simple estimators based on order statistics that match the performance of more complicated maximum likelihood estimators requiring iterative solvers. The order statistics-based estimators outperform both the sample mean and midrange for nontrivial sums of Gaussian and uniform noise. Additional analysis of the generalized Gaussian approximation yields rules of thumb for determining when and how to apply dither to quantized measurements. Specifically, we find subtractive dither to be beneficial when the ratio between the Gaussian standard deviation and quantization interval length is roughly less than 1/3. If that ratio is also greater than 0.822/$K^{0.930}$ for the number of measurements $K>20$, we present estimators more efficient than the midrange.


title: On the Parameter Estimation of the Generalized Exponential Distribution Under Progressive Type-I Interval Censoring Scheme

abstract: Chen and Lio (Computational Statistics and Data Analysis 54: 1581-1591, 2010) proposed five methods for estimating the parameters of generalized exponential distribution under progressive type-I interval censoring scheme. Unfortunately, among them, the proposed EM algorithm is incorrect. Here, we propose the correct EM algorithm and compare its performance with the maximum likelihood estimators and that proposed by Chen and Lio (2010) in a simulation study.


title: John, the semi-conductor : a tool for comprovisation

abstract: This article presents "John", an open-source software designed to help collective free improvisation. It provides generated screen-scores running on distributed, reactive web-browsers. The musicians can then concurrently edit the scores in their own browser. John is used by ONE, a septet playing improvised electro-acoustic music with digital musical instruments (DMI). One of the original features of John is that its design takes care of leaving the musician's attention as free as possible. Firstly, a quick review of the context of screen-based scores will help situate this research in the history of contemporary music notation. Then I will trace back how improvisation sessions led to John's particular "notational perspective". A brief description of the software will precede a discussion about the various aspects guiding its design.


title: SoundSignaling: Realtime, Stylistic Modification of a Personal Music Corpus for Information Delivery

abstract: Drawing inspiration from the notion of cognitive incongruence associated with Stroop's famous experiment, from musical principles, and from the observation that music consumption on an individual basis is becoming increasingly ubiquitous, we present the SoundSignaling system -- a software platform designed to make real-time, stylistically relevant modifications to a personal corpus of music as a means of conveying information or notifications. In this work, we discuss in detail the system's technical implementation and its motivation from a musical perspective, and validate these design choices through a crowd-sourced signal identification experiment consisting of 200 independent tasks performed by 50 online participants. We then qualitatively discuss the potential implications of such a system from the standpoint of switch cost, cognitive load, and listening behavior by considering the anecdotal outcomes of a small-scale, in-the-wild experiment consisting of over 180 hours of usage from 6 participants. Through this work, we suggest a re-evaluation of the age-old paradigm of binary audio notifications in favor of a system designed to operate upon the relatively unexplored medium of a user's musical preferences.


title: Priority arguments and separation problems

abstract: Different constructions in the recursion theory use the so-called priority arguments. A general scheme was suggested by A.~Lachlan. Based on his work, we define the notion of a priority-closed class of requirements. Then, for a specific priority construction, we need to check only that all requirements we want to satisfy belong to some priority-closed class (defined in game terms). This game version of Lachlan's approach is used to present some results about recursively inseparable sets obtained by the author.


title: Anomaly Detection using Deep Learning based Image Completion

abstract: Automated surface inspection is an important task in many manufacturing industries and often requires machine learning driven solutions. Supervised approaches, however, can be challenging, since it is often difficult to obtain large amounts of labeled training data. In this work, we instead perform one-class unsupervised learning on fault-free samples by training a deep convolutional neural network to complete images whose center regions are cut out. Since the network is trained exclusively on fault-free data, it completes the image patches with a fault-free version of the missing image region. The pixel-wise reconstruction error within the cut out region is an anomaly image which can be used for anomaly detection. Results on surface images of decorated plastic parts demonstrate that this approach is suitable for detection of visible anomalies and moreover surpasses all other tested methods.


title: Future Perspectives of Co-Simulation in the Smart Grid Domain

abstract: The recent attention towards research and development in cyber-physical energy systems has introduced the necessity of emerging multi-domain co-simulation tools. Different educational, research and industrial efforts have been set to tackle the co-simulation topic from several perspectives. The majority of previous works has addressed the standardization of models and interfaces for data exchange, automation of simulation, as well as improving performance and accuracy of co-simulation setups. Furthermore, the domains of interest so far have involved communication, control, markets and the environment in addition to physical energy systems. However, the current characteristics and state of co-simulation testbeds need to be re-evaluated for future research demands. These demands vary from new domains of interest, such as human and social behavior models, to new applications of co-simulation, such as holistic prognosis and system planning. This paper aims to formulate these research demands that can then be used as a road map and guideline for future development of co-simulation in cyber-physical energy systems.


title: The eigenstate distribution fluctuation from thermal to localized transitions

abstract: We study the thermalization of a quenched disordered Bose-Hubbard model. By considering the eigenstate distribution fluctuation, we show that the thermal to many-body localized transition is always connected to a minimum of this distribution fluctuation. We also observe a Mott-localized regime, where the system fails to thermalize due to the strong on-site repulsion. At last, we show how to detect this eigenstate distribution fluctuation in cold atom systems, which is equivalent to measure the Loschmidt echo of the system. Our work suggests a way to measure the thermal to localized transitions in experiments, especially for a large system.


title: Parametrization of LSDA+$U$ for noncollinear magnetic configurations: Multipolar magnetism in UO$_2$

abstract: To explore the formation of noncollinear magnetic configurations in materials with strongly correlated electrons, we derive a noncollinear LSDA+$U$ model involving only one parameter $U$, as opposed to the difference between the Hubbard and Stoner parameters $U-J$. Computing $U$ in the constrained random phase approximation, we investigate noncollinear magnetism of uranium dioxide UO$_2$ and find that the spin-orbit coupling (SOC) stabilizes the 3$\textbf{k}$ ordered magnetic ground state. The estimated SOC strength in UO$_2$ is as large as 0.73 eV per uranium atom, making spin and orbital degrees of freedom virtually inseparable. Using a multipolar pseudospin Hamiltonian, we show how octupolar and dipole-dipole exchange coupling help establish the 3$\textbf{k}$ magnetic ground state with canted ordering of uranium $f$-orbitals. The cooperative Jahn-Teller effect does not appear to play a significant part in stabilizing the noncollinear 3$\textbf{k}$ state, which has the lowest energy even in an undistorted lattice. The choice of parameter $U$ in the LSDA+$U$ model has a notable quantitative effect on the predicted properties of UO$_2$, in particular on the magnetic exchange interaction and, perhaps trivially, on the band gap: The value of $U=3.46$ eV computed fully $ab$ $initio$ delivers the band gap of 2.11~eV in good agreement with experiment, and a balanced account of other pertinent energy scales.


title: When are full representations of algebras of operators on Banach spaces automatically faithful?

abstract: We examine the phenomenon when surjective algebra homomorphisms between algebras of operators on Banach spaces are automatically injective. In the first part of the paper we shall show that for certain Banach spaces $X$ the following property holds: For every non-zero Banach space $Y$ every surjective algebra homomorphism $\psi: \, \mathcal{B}(X) \rightarrow \mathcal{B}(Y)$ is automatically injective. In the second part of the paper we consider the question in the opposite direction: Building on the work of Kania, Koszmider and Laustsen \textit{(Trans. London Math. Soc., 2014)} we show that for every separable, reflexive Banach space $X$ there is a Banach space $Y_X$ and a surjective but not injective algebra homomorphism $\psi: \, \mathcal{B}(Y_X) \rightarrow \mathcal{B}(X)$.


title: Optogenetic vision restoration with high resolution

abstract: The majority of inherited retinal degenerations are due to photoreceptor cell death. In many cases ganglion cells are spared making it possible to stimulate them to restore visual function. Several studies (Bi et al., 2006; Lin et al., 2008; Sengupta et al., 2016; Caporale et al., 2011; Berry et al., 2017) have shown that it is possible to express an optogenetic protein in ganglion cells and make them light sensitive. This is a promising strategy to restore vision since optical targeting may be more precise than electrical stimulation with a retinal prothesis. However the spatial resolution of optogenetically-reactivated retinas has not been measured with fine-grained stimulation patterns. Since the optogenetic protein is also expressed in axons, it is unclear if these neurons will only be sensitive to the stimulation of a small region covering their somas and dendrites, or if they will also respond to any stimulation overlapping with their axon, dramatically impairing spatial resolution. Here we recorded responses of mouse and macaque retinas to random checkerboard patterns following an in vivo optogenetic therapy. We show that optogenetically activated ganglion cells are each sensitive to a small region of visual space. A simple model based on this small receptive field predicted accurately their responses to complex stimuli. From this model, we simulated how the entire population of light sensitive ganglion cells would respond to letters of different sizes. We then estimated the maximal acuity expected by a patient, assuming it could make an optimal use of the information delivered by this reactivated retina. The obtained acuity is above the limit of legal blindness. This high spatial resolution is a promising result for future clinical studies.


title: Lattice Boltzmann Method simulations of high Reynolds number flows past porous obstacles

abstract: Lattice Boltzmann Method (LBM) simulations for turbulent flows over a fractal and non-fractal obstacles are presented. The wake hydrodynamics are compared and discussed in terms of flow relaxation, Strouhal numbers and wake length for different Reynolds numbers. Three obstacle topologies are studied, Solid (SS), Porous Regular (PR) and Porous Fractal (FR). In particular we observe that the oscillation present in the case of the solid square can be annihilated or only pushed downstream depending on the topology ot the porous obstacle. The Lattice Boltzmann Method (LBM) is implemented over a range of four Reynolds numbers from 12352 to 49410. The suitability of LBM for these high Reynolds number cases is studied. Its results are compared to available experimental data and published literature. Compelling agreements between all three tested obstacles show a significant validation of LBM as a tool to investigate high Reynolds number flows in complex geometries. This is particularly important as the LBM method is much less time consuming than a classical Navier-Stokes equation based computing method and high Reynolds numbers need to be achieved with enough details (i.e. resolution) to predict for example canopy flows.


title: Cost-Aware Fine-Grained Recognition for IoTs Based on Sequential Fixations

abstract: We consider the problem of fine-grained classification on an edge camera device that has limited power. The edge device must sparingly interact with the cloud to minimize communication bits to conserve power, and the cloud upon receiving the edge inputs returns a classification label. To deal with fine-grained classification, we adopt the perspective of sequential fixation with a foveated field-of-view to model cloud-edge interactions. We propose a novel deep reinforcement learning-based foveation model, DRIFT, that sequentially generates and recognizes mixed-acuity images.Training of DRIFT requires only image-level category labels and encourages fixations to contain task-relevant information, while maintaining data efficiency. Specifically, wetrain a foveation actor network with a novel Deep Deterministic Policy Gradient by Conditioned Critic and Coaching (DDPGC3) algorithm. In addition, we propose to shape the reward to provide informative feedback after each fixation to better guide RL training. We demonstrate the effectiveness of DRIFT on this task by evaluating on five fine-grained classification benchmark datasets, and show that the proposed approach achieves state-of-the-art performance with over 3X reduction in transmitted pixels.


title: Vacuum structure of the left-right symmetric model

abstract: The left-right symmetric model (LRSM), originally proposed to explain parity violation in low energy processes, has since emerged as an attractive framework for light neutrino masses via the seesaw mechanism. The scalar sector of the minimal LRSM consists of an $SU(2)$ bi-doublet, as well as left- and right-handed weak isospin triplets, thus making the corresponding vacuum structure much more complicated than that of the Standard Model. In particular, the desired ground state of the Higgs potential should be a charge conserving, and preferably global, minimum with parity violation at low scales. We show that this is not a generic feature of the LRSM potential and happens only for a small fraction of the parameter space of the potential. We also analytically study the potential for some simplified cases and obtain useful conditions (though not necessary) to achieve successful symmetry breaking. We then carry out a detailed statistical analysis of the minima of the Higgs potential using numerical minimization and find that for a large fraction of the parameter space, the potential does not have a good vacuum. Imposing the analytically obtained conditions, we can readily find a small part of the parameter space with good vacua. Consequences for some scalar masses are also discussed.


title: Reply to "Comment on Light deflection by Damour-Solodukhin wormholes and Gauss-Bonnet theorem" by Amrita Bhattacharya and Kh. Karimov Ramis

abstract: We reply to the Comment of Bhattacharya and Karimov on our paper Light deflection by Damour-Solodukhin wormholes and Gauss-Bonnet theorem [arXiv:1811.00768 [gr-qc]]. We address a number of incorrect claims made about our calculations and methodology. We show below that the claims of BK are incorrect, and that there are no problems with the results of \"{O}vg\"{u}n's paper or its implications.


title: Nearly ETH-Tight Algorithms for Planar Steiner Tree with Terminals on Few Faces

abstract: The Planar Steiner Tree problem is one of the most fundamental NP-complete problems as it models many network design problems. Recall that an instance of this problem consists of a graph with edge weights, and a subset of vertices (often called terminals); the goal is to find a subtree of the graph of minimum total weight that connects all terminals. A seminal paper by Erickson et al. [Math. Oper. Res., 1987] considers instances where the underlying graph is planar and all terminals can be covered by the boundary of $k$ faces. Erickson et al. show that the problem can be solved by an algorithm using $n^{O(k)}$ time and $n^{O(k)}$ space, where $n$ denotes the number of vertices of the input graph. In the past 30 years there has been no significant improvement of this algorithm, despite several efforts. In this work, we give an algorithm for Planar Steiner Tree with running time $2^{O(k)} n^{O(\sqrt{k})}$ using only polynomial space. Furthermore, we show that the running time of our algorithm is almost tight: we prove that there is no $f(k)n^{o(\sqrt{k})}$ algorithm for Planar Steiner Tree for any computable function $f$, unless the Exponential Time Hypothesis fails.


title: Efficient message passing for cascade size distributions on finite trees

abstract: How big is the risk that a few initial failures of networked nodes amplify to large cascades that endanger the functioning of the system? Common answers refer to the average final cascade size. Two analytic approaches allow its computation: a) (heterogeneous) mean field approximation and b) belief propagation. The former applies to (infinitely) large locally tree-like networks, while the latter is exact on finite trees. Yet, cascade sizes can have broad and multi-modal distributions that are not well represented by their average. Full distribution information is essential to identify likely events and to estimate the tail risk, i.e. the probability of extreme events. Here, we lay the basis for a general theory to calculate the cascade size distribution in finite networks. We present an efficient message passing algorithm that is exact on finite trees and a large class of cascade processes. An approximation version performs well on locally tree-like networks.


title: On the evolutionary form of the constraints in electrodynamics

abstract: The constraint equations in Maxwell theory are investigated. In analogy with some recent results on the constraints of general relativity it is shown, regardless of the signature and dimension of the ambient space, that the "divergence of a vector field" type constraints can always be put into linear first order hyperbolic form for which global existence and uniqueness of solutions to an initial-boundary value problem is guaranteed.


title: Wing Expansion Menu - An approach for faster and more precise navigation with cascading pull-down menus

abstract: This paper presents a new design suggestion for cascading pull-down menus to make user interaction with it faster and therefore easier: The Wing Expansion Menu (WEM). The proposal is based on the Steering Law, which implies a wider steering path for menu items. Our Approach combines this enlargement with a heuristic function that provides a probability with which the user will select an menu item. The menu can also be adapted to a wide variety of situations using certain variables. A user study of a WEM against a standard pull-down menu showed an average improvement of 18.63% in user interaction speed. A second user study, which evaluated one of the significant innovations of the WEM compared to a similar approach, showed an average improvement of 7.01% in user interaction speed.


title: $\tau$ decay into a pseudoscalar and an axial-vector meson

abstract: We study theoretically the decay $\tau^- \to \nu_\tau P^- A$, with $P^-$ a $\pi^-$ or $K^-$ and $A$ an axial-vector resonance $b_1(1235)$, $h_1(1170)$, $h_1(1380)$, $a_1(1260)$, $f_1(1285)$ or any of the two poles of the $K_1(1270)$. The process proceeds through a triangle mechanism where a vector meson pair is first produced from the weak current and then one of the vectors produces two pseudoscalars, one of which reinteracts with the other vector to produce the axial resonance. For the initial weak hadronic production we use a recent formalism to account for the hadronization after the initial quark-antiquark pair produced from the weak current, which explicitly filters G-parity states and obtain easy analytic formulas after working out the angular momentum algebra. The model also takes advantage of the chiral unitary theories to evaluate the vector-pseudoscalar amplitudes, where the axial-vector resonances were obtained as dynamically generated from the VP interaction. We make predictions for invariant mass distribution and branching ratios for the channels considered.


title: Difficulties of Teleparallel Theories of Gravity with Local Lorentz Symmetry

abstract: A brief discussion is made about the relevance of surface terms in the Lagrangian and Hamiltonian formulations of theories of gravity. These surface terms play an important role in the variation of the action integral and in the definition of field quantities such as the gravitational energy-momentum. Then we point out several inconsistencies of a recently proposed formulation of teleparallel theories of gravity with local Lorentz symmetry.


title: Smart Grid Co-Simulation with MOSAIK and HLA: A Comparison Study

abstract: Evaluating new technological developments for energy systems is becoming more and more complex. The overall application environment is a continuously growing and interconnected cyber-physical system so that analytical assessment is practically impossible to realize. Consequently, new solutions must be evaluated in simulation studies. Due to the interdisciplinarity of the simulation scenarios, various heterogeneous tools must be connected. This approach is known as co-simulation. During the last years, different approaches have been developed or adapted for applications in energy systems. In this paper, two co-simulation approaches are compared that follow generic, versatile concepts. The tool mosaik, which has been explicitly developed for the purpose of co-simulation in complex energy systems, is compared to the High Level Architecture (HLA), which possesses a domain-independent scope but is often employed in the energy domain. The comparison is twofold, considering the tools' conceptual architectures as well as results from the simulation of representative test cases. It suggests that mosaik may be the better choice for entry-level, prototypical co-simulation while HLA is more suited for complex and extensive studies.


title: Residual Convolutional Neural Network Revisited with Active Weighted Mapping

abstract: In visual recognition, the key to the performance improvement of ResNet is the success in establishing the stack of deep sequential convolutional layers using identical mapping by a shortcut connection. It results in multiple paths of data flow under a network and the paths are merged with the equal weights. However, it is questionable whether it is correct to use the fixed and predefined weights at the mapping units of all paths. In this paper, we introduce the active weighted mapping method which infers proper weight values based on the characteristic of input data on the fly. The weight values of each mapping unit are not fixed but changed as the input image is changed, and the most proper weight values for each mapping unit are derived according to the input image. For this purpose, channel-wise information is embedded from both the shortcut connection and convolutional block, and then the fully connected layers are used to estimate the weight values for the mapping units. We train the backbone network and the proposed module alternately for a more stable learning of the proposed method. Results of the extensive experiments show that the proposed method works successfully on the various backbone architectures from ResNet to DenseNet. We also verify the superiority and generality of the proposed method on various datasets in comparison with the baseline.


title: The Perfect Match: 3D Point Cloud Matching with Smoothed Densities

abstract: We propose 3DSmoothNet, a full workflow to match 3D point clouds with a siamese deep learning architecture and fully convolutional layers using a voxelized smoothed density value (SDV) representation. The latter is computed per interest point and aligned to the local reference frame (LRF) to achieve rotation invariance. Our compact, learned, rotation invariant 3D point cloud descriptor achieves 94.9% average recall on the 3DMatch benchmark data set, outperforming the state-of-the-art by more than 20 percent points with only 32 output dimensions. This very low output dimension allows for near realtime correspondence search with 0.1 ms per feature point on a standard PC. Our approach is sensor- and sceneagnostic because of SDV, LRF and learning highly descriptive features with fully convolutional layers. We show that 3DSmoothNet trained only on RGB-D indoor scenes of buildings achieves 79.0% average recall on laser scans of outdoor vegetation, more than double the performance of our closest, learning-based competitors. Code, data and pre-trained models are available online at https://github.com/zgojcic/3DSmoothNet.


title: Imaging the disc rim and a moving close-in companion candidate in the pre-transitional disc of V1247 Orionis

abstract: V1247 Orionis harbours a pre-transitional disc with a partially cleared gap. Earlier interferometric and polarimetric observations revealed strong asymmetries both in the gap region and in the outer disc. The presence of a companion was inferred to explain these asymmetric structures and the ongoing disc clearing. Using an extensive set of multi-wavelength and multi-epoch observations we aimed to identify the origin of the previously detected asymmetries. We have observed V1247 Ori at three epochs spanning $\sim678$ days using sparse aperture masking interferometry with Keck/NIRC2 and VLT/NACO. In addition, we search for signs of accretion through VLT/SPHERE-ZIMPOL spectral differential imaging in H$\alpha$ and R-band continuum. Our SMA sub-millimetre interferometry in 880 $\mu$m continuum and in the CO(3-2) line allows us to constrain the orientation and direction of rotation of the outer disc. We find the L'-band emission to be dominated by static features which trace forward-scattered dust emission from the inner edge of the outer disc located to the north-east. In H- and K-band, we see evidence for a companion candidate that moved systematically by 45$^{\circ}$ within the first $\sim$345 days. The separation of the companion candidate is not well constrained, but the observed position angle change is consistent with Keplerian motion of a body located on a 6 au orbit. From the SMA CO moment map, the location of the disc rim, and the detected orbital motion, we deduced the three-dimensional orientation of the disc. We see no indication of accretion in H$\alpha$ and set upper limits for an accreting companion. The measured contrast of the companion candidate in H and K is consistent with an actively accreting protoplanet. Hence, we identify V1247 Ori as a unique laboratory for studying companion-disc interactions and disc clearing.


title: Symbolic powers and generalized-parametric decomposition of monomial ideals on regular sequences

abstract: Let $R$ be a commutative Noetherian ring and let ${\bf x} :=x_1,\ldots,x_d$ be a regular $R$-sequence contained in the Jacobson radical of $R$. An ideal $I$ of $R$ is said to be a monomial ideal with respect to ${\bf x}$ if it is generated by a set of monomials $x_1^{e_1}\ldots x_d^{e_d}$. It is shown that, if ${\bf x}R$ is a prime ideal of $R$, then each monomial ideal $I$ has a canonical and unique decomposition as an irredundant finite intersection of primary ideals of the form $x^{e_1}_{\tau(1)}R+\dots+x^{e_s}_{\tau(s)}R$, where $\tau$ is a permutation of $\{1,\ldots,d\}$, $s\in\{1,\ldots,d\}$ and ${e_1},\ldots,{e_s}$ are the positive integers. This generalizes and provides a short proof of the main results of \cite{HMRS, HRS}. Also, we show that for every integer $k\geq1$, $I^{(k)}=I^k$, if and only if $\Ass_R R/{I^k }\subseteq \Ass_R R/{I}$, whenever $I$ is a squarefree monomial ideal, where $I^{(k)}$ is the $k$th symbolic power of $I$. Moreover, in this circumstance it is shown that all powers of $I$ are integrally closed.


title: On the Homogenized Linial Arrangement: Intersection Lattice and Genocchi Numbers

abstract: Hetyei recently introduced a hyperplane arrangement (called the homogenized Linial arrangement) and used the finite field method of Athanasiadis to show that its number of regions is a median Genocchi number. These numbers count a class of permutations known as Dumont derangements. Here, we take a different approach, which makes direct use of Zaslavsky's formula relating the intersection lattice of this arrangement to the number of regions. We refine Hetyei's result by obtaining a combinatorial interpretation of the M\"obius function of this lattice in terms of variants of the Dumont permutations. This enables us to derive a formula for the generating function of the characterisitic polynomial of the arrangement. The M\"obius invariant of the lattice turns out to be a (nonmedian) Genocchi number. Our techniques also yield type B, and more generally Dowling arrangement, analogs of these results.


title: A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences

abstract: In recent years, the effort to formalize erotetic inferences---i.e., inferences to and from questions---has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and erotetic implication. While an effort has been made to axiomatize the former in a sequent system, there is currently no proof theory for the latter. Moreover, the extant axiomatization of erotetic evocation fails to capture its defeasible character and provides no rules for introducing or eliminating question-forming operators. In contrast, our calculus encodes defeasibility conditions on sequents and provides rules governing the introduction and elimination of erotetic formulas. We demonstrate that an elimination theorem holds for a version of the cut rule that applies to both declarative and erotetic formulas and that the rules for the axiomatic account of question evocation in IEL are admissible in our system.


title: Ontology based Approach for Precision Agriculture

abstract: In this paper, we propose a framework of knowledge for an agriculture ontology which can be used for the purpose of smart agriculture systems. This ontology not only includes basic concepts in the agricultural domain but also contains geographical, IoT, business subdomains, and other knowledge extracted from various datasets. With this ontology, any users can easily understand agricultural data links between them collected from many different data resources. In our experiment, we also import country, sub-country and disease entities into this ontology as basic entities for building agricultural linked datasets later.


title: A Generalized Meta-loss function for regression and classification using privileged information

abstract: Learning using privileged information (LUPI) is a powerful heterogenous feature space machine learning framework that allows a machine learning model to learn from highly informative or privileged features which are available during training only to generate test predictions using input space features which are available both during training and testing. LUPI can significantly improve prediction performance in a variety of machine learning problems. However, existing large margin and neural network implementations of learning using privileged information are mostly designed for classification tasks. In this work, we have proposed a simple yet effective formulation that allows us to perform regression using privileged information through a custom loss function. Apart from regression, our formulation allows general application of LUPI to classification and other related problems as well. We have verified the correctness, applicability and effectiveness of our method on regression and classification problems over different synthetic and real-world problems. To test the usefulness of the proposed model in real-world problems, we have evaluated our method on the problem of protein binding affinity prediction. The proposed LUPI regression-based model has shown to outperform the current state-of-the-art predictor.


title: Numerical Study of Statistical Properties of the Galactic Center Distance Estimate from the Geometry of Spiral Arm Segments

abstract: The influence of various factors on the statistical properties of the Galactic center distance ($R_0$) estimate obtained by solving the general problem of determining the geometric parameters of a Galactic spiral arm from its segment with the inclusion of the distance to the spiral pole, i.e., $R_0$, in the set of parameters has been studied by the Monte Carlo method. Our numerical simulations have been performed for the model segments representing the Perseus and Scutum arms based on masers in high-mass star forming regions. We show that the uncertainty in the present-day parallax measurements for these objects systematically decreases (!) with increasing heliocentric distance, while the relative uncertainty in the parallaxes is approximately constant. This lucky circumstance increases by a factor of 1.4-1.7 the accuracy of estimating $R_0$ from the arm segment traced by masers. Our numerical experiments provide evidence for the consistency of the $R_0$ estimate from the spiral-segment geometry. The significant biases of the estimate detected only for the Scutum arm are caused mainly by the random parallax errors, the small angular extent of the segment, and the small number of objects representing it. The dispersion of the $R_0$ estimate depends most strongly on the angular extent of the segment and the parallax uncertainty if the latter, on average, does not depend on the distance. When the data on 3-8 segments are processed simultaneously, the predicted standard error of the final estimate is $\sigma_{R_0} \simeq 0.5$-$0.3$ kpc, respectively. The accuracy can be improved by increasing the extent of the identified segments and the number of objects belonging to them. A more complex variant of the method taking into account the measuring and natural dispersions of objects relative to the arm center line will avoid the biases of the parameter estimates.


title: Transformations of sequence spaces by multipolinomials

abstract: In this paper we introduce a new approach to the concept of multipolynomials and generalize several results of the homogeneous polynomials and symmetric multilinear applications. We also present an abstract approach to the concept of absolutely summing multipolynomials


title: The MalSource Dataset: Quantifying Complexity and Code Reuse in Malware Development

abstract: During the last decades, the problem of malicious and unwanted software (malware) has surged in numbers and sophistication. Malware plays a key role in most of today's cyber attacks and has consolidated as a commodity in the underground economy. In this work, we analyze the evolution of malware from 1975 to date from a software engineering perspective. We analyze the source code of 456 samples from 428 unique families and obtain measures of their size, code quality, and estimates of the development costs (effort, time, and number of people). Our results suggest an exponential increment of nearly one order of magnitude per decade in aspects such as size and estimated effort, with code quality metrics similar to those of benign software.We also study the extent to which code reuse is present in our dataset. We detect a significant number of code clones across malware families and report which features and functionalities are more commonly shared. Overall, our results support claims about the increasing complexity of malware and its production progressively becoming an industry.


title: On the Complexity of Exploration in Goal-Driven Navigation

abstract: Building agents that can explore their environments intelligently is a challenging open problem. In this paper, we make a step towards understanding how a hierarchical design of the agent's policy can affect its exploration capabilities. First, we design EscapeRoom environments, where the agent must figure out how to navigate to the exit by accomplishing a number of intermediate tasks (\emph{subgoals}), such as finding keys or opening doors. Our environments are procedurally generated and vary in complexity, which can be controlled by the number of subgoals and relationships between them. Next, we propose to measure the complexity of each environment by constructing dependency graphs between the goals and analytically computing \emph{hitting times} of a random walk in the graph. We empirically evaluate Proximal Policy Optimization (PPO) with sparse and shaped rewards, a variation of policy sketches, and a hierarchical version of PPO (called HiPPO) akin to h-DQN. We show that analytically estimated \emph{hitting time} in goal dependency graphs is an informative metric of the environment complexity. We conjecture that the result should hold for environments other than navigation. Finally, we show that solving environments beyond certain level of complexity requires hierarchical approaches.


title: WURBench: Toward Benchmarking Wake-up Radio-based Systems

abstract: The performance of wake-up radios must be clearly measured and understood while designing and developing robust, dependable, and affordable systems, considering both benefits and shortcomings. State-of-the-art WURs display significant diversity in their architecture, processing capability, energy consumption, and receiver sensitivity. Standard methodologies for benchmarking are crucial for quantitatively evaluating the performance of this emerging technology, however, currently, no accepted standard for such quantitative measurement exists. Further, there is no consensus on what objective evaluation procedures and metrics should be used to understand the performance of whole systems exploiting this technology. This lack of standardization has prevented researchers from comparing results and leveraging previous work that could otherwise avoid duplication and speed up the validation process. This paper leads toward an evaluation framework, a benchmark, to enable accurate and repeatable profiling of WUR-based systems, leading to more consistent and therefore comparable evaluations for current and future systems.


title: On the invariance of Welschinger invariants

abstract: We collect in this note some observations about original Welschinger invariants of real symplectic fourfolds. None of their proofs is difficult, nevertheless these remarks do not seem to have been made before. Our main result is that when $X$ is a real rational algebraic surface, Welschinger invariants only depend on the number of real interpolated points, and some homological data associated to $X$. This strengthened the invariance statement initially proved by Welschinger. This main result follows easily from a formula relating Welschinger invariants of two real symplectic manifolds differing by a surgery along a real Lagrangian sphere. In its turn, once one believes that such formula may hold, its proof is a mild adaptation of the proof of analogous formulas previously obtained by the author on the one hand, and by Itenberg, Kharlamov and Shustin on the other hand. We apply the two aforementioned results to complete the computation of Welschinger invariants of real rational algebraic surfaces, and to obtain vanishing, sign, and sharpness results for these invariants that generalize previously known statements. We also discuss some hypothetical relations of our work with tropical refined invariants defined by Block-G\"ottsche and G\"ottsche-Schroeter.


title: A tight kernel for computing the tree bisection and reconnection distance between two phylogenetic trees

abstract: In 2001 Allen and Steel showed that, if subtree and chain reduction rules have been applied to two unrooted phylogenetic trees, the reduced trees will have at most 28k taxa where k is the TBR (Tree Bisection and Reconnection) distance between the two trees. Here we reanalyse Allen and Steel's kernelization algorithm and prove that the reduced instances will in fact have at most 15k-9 taxa. Moreover we show, by describing a family of instances which have exactly 15k-9 taxa after reduction, that this new bound is tight. These instances also have no common clusters, showing that a third commonly-encountered reduction rule, the cluster reduction, cannot further reduce the size of the kernel in the worst case. To achieve these results we introduce and use "unrooted generators" which are analogues of rooted structures that have appeared earlier in the phylogenetic networks literature. Using similar argumentation we show that, for the minimum hybridization problem on two rooted trees, 9k-2 is a tight bound (when subtree and chain reduction rules have been applied) and 9k-4 is a tight bound (when, additionally, the cluster reduction has been applied) on the number of taxa, where k is the hybridization number of the two trees.


title: Bayesian learning for the Markowitz portfolio selection problem

abstract: We study the Markowitz portfolio selection problem with unknown drift vector in the multidimensional framework. The prior belief on the uncertain expected rate of return is modeled by an arbitrary probability law, and a Bayesian approach from filtering theory is used to learn the posterior distribution about the drift given the observed market data of the assets. The Bayesian Markowitz problem is then embedded into an auxiliary standard control problem that we characterize by a dynamic programming method and prove the existence and uniqueness of a smooth solution to the related semi-linear partial differential equation (PDE). The optimal Markowitz portfolio strategy is explicitly computed in the case of a Gaussian prior distribution. Finally, we measure the quantitative impact of learning, updating the strategy from observed data, compared to non-learning, using a constant drift in an uncertain context, and analyze the sensitivity of the value of information w.r.t. various relevant parameters of our model.


title: A new family of two-dimensional crystals: open-framework T$_{3}$X (T=C, Si, Ge, Sn; X=O, S, Se, Te) compounds with tetrahedral bonding

abstract: To accelerate development of innovative materials, their modelings and predictions with useful functionalities are of vital importance. Here, based on a recently developed crystal structure prediction method, we find a new family of stable two-dimensional crystals with an open-channel tetrahedral bonding network, rendering a potential for electronic and energy applications. The proposed structural prototype with a space group of Cmme hosts at least thirteen different freestanding T$_{3}$X compounds with group IV (T=C, Si, Ge, Sn) and VI (X=O, S, Se, Te) elements. Moreover, the proposed materials display diverse electronic properties ranging from direct band gap semiconductor to topological insulator at their pristine forms, which are further tunable by mechanical strain.


title: Optimizing Passenger Comfort in Cost Functions for Trajectory Planning

abstract: Current advances in the development of autonomous cars suggest that driverless cars may see wide-scale deployment in the near future. Research by both industry and academia is driven by potential benefits of this new technology, including reductions in fatalities and improvements in traffic and fuel efficiency as well as greater mobility for people who will or cannot drive cars themselves. A deciding factor for the adoption of self-driving cars besides safety will be the comfort of the passengers. This report looks at cost functions currently used in motion planning methods for autonomous on-road driving. Specifically, how the human perception of how comfortable a trajectory is can be formulated within cost functions.


title: Fast quasi-conformal regional flattening of the left atrium

abstract: Two-dimensional representation of 3D anatomical structures is a simple and intuitive way for analysing patient information across populations and image modalities. It also allows convenient visualizations that can be included in clinical reports for a fast overview of the whole structure. While cardiac ventricles, especially the left ventricle, have an established standard representation (e.g. bull's eye plot), the 2D depiction of the left atrium (LA) is challenging due to its sub-structural complexity including the pulmonary veins (PV) and the left atrial appendage (LAA). Quasi-conformal flattening techniques, successfully applied to cardiac ventricles, require additional constraints in the case of the LA to place the PV and LAA in the same geometrical 2D location for different cases. Some registration-based methods have been proposed but 3D (or 2D) surface registration is time-consuming and prone to errors if the geometries are very different. We propose a novel atrial flattening methodology where a quasi-conformal 2D map of the LA is obtained quickly and without errors related to registration. In our approach, the LA is divided into 5 regions which are then mapped to their analogue two-dimensional regions. A dataset of 67 human left atria from magnetic resonance images (MRI) was studied to derive a population-based 2D LA template representing the averaged relative locations of the PVs and LAA. The clinical application of the proposed methodology is illustrated on different use cases including the integration of MRI and electroanatomical data.


title: Understanding popular matchings via stable matchings

abstract: Let $G = (A \cup B, E)$ be an instance of the stable marriage problem with strict preference lists. A matching $M$ is popular in $G$ if $M$ does not lose a head-to-head election against any matching where vertices are voters. Every stable matching is a min-size popular matching; another subclass of popular matchings that always exist and can be easily computed is the set of dominant matchings. A popular matching $M$ is dominant if $M$ wins the head-to-head election against any larger matching. Thus every dominant matching is a max-size popular matching and it is known that the set of dominant matchings is the linear image of the set of stable matchings in an auxiliary graph. Results from the literature seem to suggest that stable and dominant matchings behave, from a complexity theory point of view, in a very similar manner within the class of popular matchings. The goal of this paper is to show that indeed there are differences in the tractability of stable and dominant matchings, and to investigate further their importance for popular matchings. First, we show that it is easy to check if all popular matchings are also stable, however it is co-NP hard to check if all popular matchings are also dominant. Second, we show how some new and recent hardness results on popular matching problems can be deduced from the NP-hardness of certain problems on stable matchings, also studied in this paper, thus showing that stable matchings can be employed not only to show positive results on popular matching (as is known), but also most negative ones. Problems for which we show new hardness results include finding a min-size (resp. max-size) popular matching that is not stable (resp. dominant). A known result for which we give a new and simple proof is the NP-hardness of finding a popular matching when $G$ is non-bipartite.


title: A Spanner for the Day After

abstract: We show how to construct $(1+\varepsilon)$-spanner over a set $P$ of $n$ points in $\mathbb{R}^d$ that is resilient to a catastrophic failure of nodes. Specifically, for prescribed parameters $\vartheta,\varepsilon \in (0,1)$, the computed spanner $G$ has $ O\bigl(\varepsilon^{-c} \vartheta^{-6} n \log n (\log\log n)^6 \bigr) $ edges, where $c= O(d)$. Furthermore, for any $k$, and any deleted set $B \subseteq P$ of $k$ points, the residual graph $G \setminus B$ is $(1+\varepsilon)$-spanner for all the points of $P$ except for $(1+\vartheta)k$ of them. No previous constructions, beyond the trivial clique with $O(n^2)$ edges, were known such that only a tiny additional fraction (i.e., $\vartheta$) lose their distance preserving connectivity. Our construction works by first solving the exact problem in one dimension, and then showing a surprisingly simple and elegant construction in higher dimensions, that uses the one-dimensional construction in a black box fashion.


title: Weighted likelihood mixture modeling and model based clustering

abstract: A weighted likelihood approach for robust fitting of a mixture of multivariate Gaussian components is developed in this work. Two approaches have been proposed that are driven by a suitable modification of the standard EM and CEM algorithms, respectively. In both techniques, the M-step is enhanced by the computation of weights aimed at downweighting outliers. The weights are based on Pearson residuals stemming from robust Mahalanobis-type distances. Formal rules for robust clustering and outlier detection can be also defined based on the fitted mixture model. The behavior of the proposed methodologies has been investigated by some numerical studies and real data examples in terms of both fitting and classification accuracy and outlier detection.


title: Ensemble versus Local Restructuring of Core-shell Nickel-Cobalt Nanoparticles upon Oxidation and Reduction Cycles

abstract: Bimetallic nanoparticles are widely studied, for example in catalysis. However, possible restructuring in the environment of use, such as segregation or alloying, may occur. Taken individually, state-of-the-art analytical tools fail to give an overall picture of these transformations. This study combines an ensemble analysis (near-ambient-pressure X-ray photoelectron spectroscopy) with a local analysis (environmental transmission electron microscopy) to provide an in situ description of the restructuring of core--shell nickel-cobalt nanoparticles exposed to cycles of reduction and oxidation. It reveals a partial surface alloying accompanied by fragmentation of the shell into smaller clusters, which is not reversible. Beyond this case study, the methodology proposed here should be applicable in a broad range of studies dealing with the reactivity of mono- or bi-metallic metal nanoparticles.


title: Anomaly Analysis for Co-located Datacenter Workloads in the Alibaba Cluster

abstract: In warehouse-scale cloud datacenters, co-locating online services and offline batch jobs is an efficient approach to improving datacenter utilization. To better facilitate the understanding of interactions among the co-located workloads and their real-world operational demands, Alibaba recently released a cluster usage and co-located workload dataset, which is the first publicly dataset with precise information about the category of each job. In this paper, we perform a deep analysis on the released Alibaba workload dataset, from the perspective of anomaly analysis and diagnosis. Through data preprocessing, node similarity analysis based on Dynamic Time Warping (DTW), co-located workloads characteristics analysis and anomaly analysis based on iForest, we reveals several insights including: (1) The performance discrepancy of machines in Alibaba's production cluster is relatively large, for the distribution and resource utilization of co-located workloads is not balanced. For instance, the resource utilization (especially memory utilization) of batch jobs is fluctuating and not as stable as that of online containers, and the reason is that online containers are long-running jobs with more memory-demanding and most batch jobs are short jobs, (2) Based on the distribution of co-located workload instance numbers, the machines can be classified into 8 workload distribution categories1. And most patterns of machine resource utilization curves are similar in the same workload distribution category. (3) In addition to the system failures, unreasonable scheduling and workload imbalance are the main causes of anomalies in Alibaba's cluster.


title: Co-located diffuse approximation method for two dimensional incompressible channel flows

abstract: The main contribution of this paper is the formulation of a diffuse approximation method(DAM), for two-dimensional channel flows. The proposed method is based on the vorticity-streamfunction formulation. The DAM which estimates derivates of a scalar field has the remarkable advantage to work on discretization points (thus avoiding mesh generation). It has been shown that the DAM is much better than the finite element method for the computation of gradients [1-2]. In a previous paper [3], we have shown that it can be used to solve laminar natural convection problems. In this work, we discuss the applicability of this method to channel flows with a particular emphasis on the form of the weighting function.


title: Vegetable oil hybrid films cross-linked at the air-water interface: formation kinetics and physical characterization

abstract: Vegetable oil based hybrid films were developed thanks to a novel solvent- and heating- free method at the air-water interface using silylated castor oil cross-linked via a sol-gel reaction. To understand the mechanism of the hybrid film formation, the reaction kinetics was studied in detail by using complementary techniques: rheology, thermogravimetric analysis, and infrared spectroscopy. The mechanical properties of the final films were investigated by nano-indentation, whereas their structure was studied using a combination of wide-angle X-ray scattering, electron diffraction, and atomic force microscopy. We found that solid and transparent films form in 24 hours and, by changing the silica precursor to castor oil ratio, their mechanical properties are tunable in the MPa-range by about a factor of twenty. In addition to that, a possible optimization of the cross-linking reaction with different catalysts was explored and finally, cytotoxicity tests were performed on fibroblasts proving the absence of film toxicity. The results of this work pave the way to a straightforward synthesis of castor-oil films with tunable mechanical properties: hybrid films cross-linked at the air-water interface combine an easy and cheap spreading protocol with the features of their thermal history optimized for possible future micro/nano drug loading, thus representing excellent candidates for the replacement of non-environment friendly petroleum-based materials.


title: Well-Posedness for Some Non-Linear Diffusion Processes and Related PDE on the Wasserstein Space

abstract: In this paper, we investigate the well-posedness of the martingale problem associated to non-linear stochastic differential equations (SDEs) in the sense of McKean-Vlasov under mild assumptions on the coefficients as well as classical solutions for a class of associated linear partial differential equations (PDEs) defined on $[0,T] \times \mathbb{R}^d \times \mathcal{P}\_2(\mathbb{R}^d)$, for any $T>0$, $\mathcal{P}\_2(\mathbb{R}^d)$ being the Wasserstein space (i.e. the space of probability measures on $\mathbb{R}^d$ with a finite second-order moment). In this case, the derivative of a map along a probability measure is understood in the Lions' sense. The martingale problem is addressed by a fixed point argument on a suitable complete metric space, under some mild regularity assumptions on the coefficients that covers a large class of interaction. Also, new well-posedness results in the strong sense are obtained from the previous analysis. Under additional assumptions, we then prove the existence of the associated density and investigate its smoothness property. In particular, we establish some Gaussian type bounds for its derivatives. We eventually address the existence and uniqueness for the related linear Cauchy problem with irregular terminal condition and source term.


title: Effective mesonic theory for the 't Hooft model on the lattice

abstract: We apply to a lattice version of the 't~Hooft model, QCD in two space-time dimensions for large number of colours, a method recently proposed to obtain an effective mesonic action starting from the fundamental, fermionic one. The idea is to pass from a canonical, operatorial representation, where the low-energy states have a direct physical interpretation in terms of a Bogoliubov vacuum and its corresponding quasiparticle excitations, to a functional, path integral representation, via the formalism of the transfer matrix. In this way we obtain a lattice effective theory for mesons in a self-consistent setting. We also verify that well-known results from other different approaches are reproduced in the continuum limit.


title: The loss of large amplitude pulsations at the end of AGB evolution

abstract: Since 2013 we are performing with the Nancay Radio Telescope (NRT) a monitoring program of >100 Galactic disk OH/IR stars, having bright 1612-MHz OH maser emission. The variations of the maser emission are used to probe the underlying stellar variability. We wish to understand how the large-amplitude variations are lost during the AGB - post-AGB transition. The fading out of pulsations with steadily declining amplitudes seems to be a viable process.


title: Imaging magnetic polarons in the doped Fermi-Hubbard model

abstract: Polarons are among the most fundamental quasiparticles emerging in interacting many-body systems, forming already at the level of a single mobile dopant. In the context of the two-dimensional Fermi-Hubbard model, such polarons are predicted to form around charged dopants in an antiferromagnetic background in the low doping regime close to the Mott insulating state. Macroscopic transport and spectroscopy measurements related to high $T_{c}$ materials have yielded strong evidence for the existence of such quasiparticles in these systems. Here we report the first microscopic observation of magnetic polarons in a doped Fermi-Hubbard system, harnessing the full single-site spin and density resolution of our ultracold-atom quantum simulator. We reveal the dressing of mobile doublons by a local reduction and even sign reversal of magnetic correlations, originating from the competition between kinetic and magnetic energy in the system. The experimentally observed polaron signatures are found to be consistent with an effective string model at finite temperature. We demonstrate that delocalization of the doublon is a necessary condition for polaron formation by contrasting this mobile setting to a scenario where the doublon is pinned to a lattice site. Our work paves the way towards probing interactions between polarons, which may lead to stripe formation, as well as microscopically exploring the fate of polarons in the pseudogap and bad metal phase.


title: The dependence of the X-ray AGN clustering on the properties of the host galaxy

abstract: We study the clustering dependence of X-ray AGN and normal galaxies on the stellar mass (M$_\star$), star-formation rate (SFR) and specific star-formation rate (sSFR) of the (host) galaxy. Towards this end, we use 407 X-ray AGN from the XMM-XXL survey ($\sim$ 25 deg$^2$ in the North) and $\sim45,000$ galaxies in the VIPERS field (W1: $\sim$16 deg$^2$). We match the AGN and galaxy samples to have the same M$_\star$, SFR and redshift distributions. Based on our results, the two populations live in DMHs with similar mass ($\log M / (M_{\odot} \, h^{-1})\approx 12.8$) and have similar dependence on the galaxy properties. Specifically, our measurements show a positive dependence of the AGN and galaxy clustering on M$_\star$ and a negative dependence on SFR and sSFR. We also find that the X-ray clustering is independent of the location of the host galaxy above or below the star-forming main sequence.


title: Dynamics of fibered endomorphisms of $\mathbb P^k$

abstract: We study the structure and the Lyapunov exponents of the equilibrium measure of endomorphisms of $\mathbb P^k$ preserving a fibration. We extend the decomposition of the equilibrium measure obtained by Jonsson for polynomial skew products of $\mathbb C^2$. We also show that the sum of the sectional exponents satisfies a Bedford-Jonsson formula when the fibration is linear, and that this function is plurisubharmonic on families of fibered endomorphisms. In particular, the sectional part of the bifurcation current is a closed positive current on the parameter space.