title: Automatic Stroke Lesions Segmentation in Diffusion-Weighted MRI

abstract: Diffusion-Weighted Magnetic Resonance Imaging (DWI) is widely used for early cerebral infarct detection caused by ischemic stroke. Manual segmentation is done by a radiologist as a common clinical process, nonetheless, challenges of cerebral infarct segmentation come from low resolution and uncertain boundaries. Many segmentation techniques have been proposed and proved by manual segmentation as gold standard. In order to reduce human error in research operation and clinical process, we adopt a semi-automatic segmentation as gold standard using Fluid-Attenuated Inversion-Recovery (FLAIR) Magnetic Resonance Image (MRI) from the same patient under controlled environment. Extensive testing is performed on popular segmentation algorithms including Otsu method, Fuzzy C-means, Hill-climbing based segmentation, and Growcut. The selected segmentation techniques have been validated by accuracy, sensitivity, and specificity using leave-one-out cross-validation to determine the possibility of each techniques first then maximizes the accuracy from the training set. Our experimental results demonstrate the effectiveness of selected methods.


title: On the Control of Agents Coupled through Shared Unit-demand Resources

abstract: We consider a control problem involving several agents coupled through multiple unit-demand resources. Such resources are indivisible, and each agent's consumption is modeled as a Bernoulli random variable. Controlling the number of such agents in a probabilistic manner, subject to capacity constraints, is ubiquitous in smart cities. For instance, such agents can be humans in a feedback loop---who respond to a price signal, or automated decision-support systems that strive toward system-level goals. In this paper, we consider both single feedback loop corresponding to a single resource and multiple coupled feedback loops corresponding to multiple resources consumed by the same population of agents. For example, when a network of devices allocates resources to deliver several services, these services are coupled through capacity constraints on the resources. We propose a new algorithm with fundamental guarantees of convergence and optimality, as well as present an example illustrating its performance.


abstract: In this paper, we prove Lorentzian positive mass theorem for spacetimes with distributional curvature. To do so, we introduce distributional curvature and generalized Arnowitt-Deser-Misner (ADM) momentum. As an application, we discuss a junction of spacetimes.


title: Quasi-one-dimensional Bose-Einstein Condensation in the Spin-1/2 Ferromagnetic-leg Ladder 3-I-V

abstract: Quantum criticality of the spin-1/2 ferromagnetic-leg ladder 3-I-V [=3-(3-iodophenyl)-1,5-diphenylverdazyl] has been examined with respect to the antiferromagnetic to paramagnetic phase transition near the saturation field $H_{c}$. The phase boundary $T_{c}(H)$ follows the power-law $T_{c}(H)\propto H_{c}-H$ for a wide temperature range. This characteristic behavior is discussed as a quasi-one-dimensional (quasi-1D) Bose-Einstein condensation, which is predicted theoretically for weakly coupled quasi-1D ferromagnets. Thus, 3-I-V provides the first promising candidate for this attractive prediction.


title: Rethinking the solar flare paradigm

abstract: It is widely accepted that solar flares involve release of magnetic energy stored in the solar corona above an active region, but existing models do not include the explicitly time-dependent electrodynamics needed to describe such energy release. A flare paradigm is discussed that includes the electromotive force (EMF) as the driver of the flare, and the flare-associated current that links different regions where magnetic reconnection, electron acceleration, the acceleration of mass motions and current closure occur. The EMF becomes localized across regions where energy conversion occurs, and is involved in energy propagation between these regions.


title: Enhanced dust emissivity power-law index along the western H$\alpha$ filament of NGC 1569

abstract: We used a data set from AKARI and Herschel images at wavelengths from 7 $\mu$m to 500 $\mu$m to catch the evidence of dust processing in galactic winds in NGC 1569. Images show a diffuse infrared (IR) emission extending from the galactic disk into the halo region. The most prominent filamentary structure seen in the diffuse IR emission is spatially in good agreement with the western H$\alpha$ filament (western arm). The spatial distribution of the $F_\mathrm{350}/F_\mathrm{500}$ map shows high values in regions around the super-star clusters (SSCs) and towards the western arm, which are not found in the $F_\mathrm{250}/F_\mathrm{350}$ map. The color-color diagram of $F_\mathrm{250}/F_\mathrm{350}$-$F_\mathrm{350}/F_\mathrm{500}$ indicates high values of the emissivity power-law index ($\beta_\mathrm{c}$) of the cold dust component in those regions. From a spectral decomposition analysis on a pixel-by-pixel basis, a $\beta_\mathrm{c}$ map shows values ranging from $\sim1$ to $\sim2$ over the whole galaxy. In particular, high $\beta_\mathrm{c}$ values of $\sim2$ are only observed in the regions indicated by the color-color diagram. Since the average cold dust temperature in NGC 1569 is $\sim30$ K, $\beta_\mathrm{c}<2.0$ in the far-IR and sub-mm region theoretically suggests emission from amorphous grains, while $\beta_\mathrm{c}=2.0$ suggests that from crystal grains. Given that the enhanced $\beta_\mathrm{c}$ regions are spatially confined by the HI ridge that is considered to be a birthplace of the SSCs, the spatial coincidences may indicate that dust grains around the SSCs are grains of relatively high crystallinity injected by massive stars originating from starburst activities and that those grains are blown away along the HI ridge and thus the western arm.


title: Neutrino mixing from finite modular groups

abstract: We study the lepton flavor models, whose flavor symmetries are finite subgroups of the modular group such as $S_3$ and $A_4$. In our models, couplings are also nontrivial representations of these groups and modular functions of the modulus. We study the possibilities that these models realize realistic values of neutrino masses and lepton mixing angles.


title: Exploring Quantum Supremacy in Access Structures of Secret Sharing by Coding Theory

abstract: We consider secret sharing schemes with a classical secret and quantum shares. One example of such schemes was recently reported whose access structure cannot be realized by any secret sharing schemes with classical shares. In this paper, we report further quantum secret sharing schemes whose access structures cannot be realized by any classical secret sharing schemes.


title: Quantum Coupling and Strassen Theorem

abstract: We introduce a quantum generalisation of the notion of coupling in probability theory. Several interesting examples and basic properties of quantum couplings are presented. In particular, we prove a quantum extension of Strassen theorem for probabilistic couplings, a fundamental theorem in probability theory that can be used to bound the probability of an event in a distribution by the probability of an event in another distribution coupled with the first.


title: A Complete Real-Variable Theory of Hardy Spaces on Spaces of Homogeneous Type

abstract: Let $(X,d,\mu)$ be a space of homogeneous type, with the upper dimension $\omega$, in the sense of R. R. Coifman and G. Weiss. Assume that $\eta$ is the smoothness index of the wavelets on $X$ constructed by P. Auscher and T. Hyt\"onen. In this article, when $p\in(\omega/(\omega+\eta),1]$, for the atomic Hardy spaces $H_{\mathrm{cw}}^p(X)$ introduced by Coifman and Weiss, the authors establish their various real-variable characterizations, respectively, in terms of the grand maximal function, the radial maximal function, the non-tangential maximal functions, the various Littlewood-Paley functions and wavelet functions. This completely answers the question of R. R. Coifman and G. Weiss by showing that no any additional (geometrical) condition is necessary to guarantee the radial maximal function characterization of $H_{\mathrm{cw}}^1(X)$ and even of $H_{\mathrm{cw}}^p(X)$ with $p$ as above. As applications, the authors obtain the finite atomic characterizations of $H^p_{\mathrm{cw}}(X)$, which further induce some criteria for the boundedness of sublinear operators on $H^p_{\mathrm{cw}}(X)$. Compared with the known results, the novelty of this article is that $\mu$ is not assumed to satisfy the reverse doubling condition and $d$ is only a quasi-metric, moreover, the range $p\in(\omega/(\omega+\eta),1]$ is natural and optimal.


title: Mass Concentration and Local Uniqueness of Ground States for $L^2$-subcritical Nonlinear Schr\"{o}dinger Equations

abstract: We consider ground states of $L^2$-subcritical nonlinear Schr\"{o}dinger equation (1.1), which can be described equivalently by minimizers of the following constraint minimization problem $$ e(\rho):=\inf\{E_{\rho}(u):u\in \mathcal{H}(\mathbb{R}^d),\|u\|_2^2=1\}.$$ The energy functional $E_{\rho}(u)$ is defined by $$ E_{\rho}(u):=\frac{1}{2}\int_{\mathbb{R}^d}|\nabla u|^2dx +\frac{1}{2}\int_{\mathbb{R}^d}V(x)|u|^2dx-\frac{\rho^{p-1}}{p+1}\int_{\mathbb{R}^d}|u|^{p+1}dx,$$ where $d\geq1$, $\rho>0$, $p\in\big(1, 1+\frac{4}{d}\big)$ and $0\leq V(x)\to\infty$ as $|x| \to\infty$. We present a detailed analysis on the concentration behavior of ground states as $\rho\to\infty$, which extends the concentration results shown in [22]. Moreover, the uniqueness of nonnegative ground states is also proved when $\rho$ is large enough.


title: Cooperative Autonomous Vehicle Speed Optimization near Signalized Intersections

abstract: Road congestion in urban environments, especially near signalized intersections, has been a major cause of significant fuel and time waste. Various solutions have been proposed to solve the problem of increasing idling times and number of stops of vehicles at signalized intersections, ranging from infrastructure to vehicle-based techniques. However, all the solutions introduced to solve the problem have approached the problem from a single vehicle point of view. This research introduces a game-theoretic cooperative speed optimization framework to minimize vehicles' idling times and number of stops at signalized intersections. This framework consists of three modules to cover individual autonomous vehicle speed optimization; conflict recognition; and cooperative speed decision making. A time token allocation algorithm is introduced through the proposed framework to allow the vehicles to cooperate and agree on certain speed actions such that the average idling times and number of stops are minimized. Simulation to test and validate the proposed framework is conducted and results are reported.


title: Supervising Unsupervised Learning with Evolutionary Algorithm in Deep Neural Network

abstract: A method to control results of gradient descent unsupervised learning in a deep neural network by using evolutionary algorithm is proposed. To process crossover of unsupervisedly trained models, the algorithm evaluates pointwise fitness of individual nodes in neural network. Labeled training data is randomly sampled and breeding process selects nodes by calculating degree of their consistency on different sets of sampled data. This method supervises unsupervised training by evolutionary process. We also introduce modified Restricted Boltzmann Machine which contains repulsive force among nodes in a neural network and it contributes to isolate network nodes each other to avoid accidental degeneration of nodes by evolutionary process. These new methods are applied to document classification problem and it results better accuracy than a traditional fully supervised classifier implemented with linear regression algorithm.


title: Scalings and Plasma Profile Parameterisation of ASDEX High Density Ohmic Discharges

abstract: High density ($.3 < \bar{n}/10^{20}{\rm m^{-3}} < .8$), low $q_a$ ($1.9<q_a<3.4$), Ohmic discharges from the ASDEX experiment is analysed statistically. Bulk parameter scalings and parameterised temperature and density profile shapes are presented. The total plasma kinetic energy, assuming $T_i=T_e$, scales as $\bar{n}^{\ .54\pm .01} {I_p}^{.90\pm .04 } $ and is almost independent of $B_t$. The electron temperature profile peaking factor scales as ${T_0^{3/2}/<T^{3/2}>} = .94(\pm.04){q_a}^{1.07\pm.04}$ in close agreement with the assumption of classical resistive equilibrium. In the inner half of the plasma, the inverse fall-off length for both temperature and density has a strong dependence on $q_a$, with the temperature dependence being more pronounced. Outside the half radius, the $q_a$ dependence disappears but the density profile broadens near the edge with increasing plasma current.


title: An Overview of Complex Fractal Dimensions: From Fractal Strings to Fractal Drums, and Back

abstract: Our main goal in this long survey article is to provide an overview of the theory of complex fractal dimensions and of the associated geometric or fractal zeta functions, first in the case of fractal strings (one-dimensional drums with fractal boundary), in \S2, and then in the higher-dimensional case of relative fractal drums and, in particular, of arbitrary bounded subsets of Euclidean space of $\mbr^N$, for any integer $N \geq 1$, in \S3. Special attention is paid to discussing a variety of examples illustrating the general theory rather than to providing complete statements of the results and their proofs, for which we refer to the author's previous (joint) books mentioned in the paper. Finally, in an epilogue (\S4), entitled "From quantized number theory to fractal cohomology", we briefly survey aspects of related work (motivated in part by the theory of complex fractal dimensions) of the author with H. Herichi (in the real case) [HerLap1], along with [Lap8], and with T. Cobler (in the complex case) [CobLap1], respectively, as well as in the latter part of a book in preparation by the author, [Lap10].


title: Flickering of buoyant diffusion flames: a vortex dynamics revisit

abstract: Previous studies have found that the flickering of buoyant diffusion flames is associated with the periodic shedding of a toroidal vortex, which is formed under gravity-induced shearing at the flames. Moreover, numerous experimental investigations have reported the scaling relation, $f \propto D^{-1/2}$, where $f$ is the flickering frequency and $D$ is the diameter of the fuel inlet. However, the connection between the toroidal vortex mechanism and the scaling relation has not been clearly understood. The current study theoretically revisits this problem from the perspective of vortex dynamics. The theory incorporates a recent finding in the vortex dynamics community: the detachment of a continuously growing vortex ring is inevitable and can be dictated by a universal constant that is essentially a non-dimensional circulation of the vortex. By calculating the total circulation of the toroidal vortex and applying the vortex ring detachment criterion, we mathematically established the connection between the lifetime of a toroidal vortex and the flickering of a buoyant diffusion flame, resulting in a general flickering frequency formulation, which is validated by comparing with existing experimental data of pool and jet diffusion flames.


title: Odd primary homotopy types of the gauge groups of exceptional Lie groups

abstract: The $p$-local homotopy types of gauge groups of principal $G$-bundles over $S^4$ are classified when $G$ is a compact connected exceptional Lie group without $p$-torsion in homology except for $(G,p)=(\mathrm{E}_7,5)$.


title: Modeling Game Avatar Synergy and Opposition through Embedding in Multiplayer Online Battle Arena Games

abstract: Multiplayer Online Battle Arena (MOBA) games have received increasing worldwide popularity recently. In such games, players compete in teams against each other by controlling selected game avatars, each of which is designed with different strengths and weaknesses. Intuitively, putting together game avatars that complement each other (synergy) and suppress those of opponents (opposition) would result in a stronger team. In-depth understanding of synergy and opposition relationships among game avatars benefits player in making decisions in game avatar drafting and gaining better prediction of match events. However, due to intricate design and complex interactions between game avatars, thorough understanding of their relationships is not a trivial task. In this paper, we propose a latent variable model, namely Game Avatar Embedding (GAE), to learn avatars' numerical representations which encode synergy and opposition relationships between pairs of avatars. The merits of our model are twofold: (1) the captured synergy and opposition relationships are sensible to experienced human players' perception; (2) the learned numerical representations of game avatars allow many important downstream tasks, such as similar avatar search, match outcome prediction, and avatar pick recommender. To our best knowledge, no previous model is able to simultaneously support both features. Our quantitative and qualitative evaluations on real match data from three commercial MOBA games illustrate the benefits of our model.


title: Tunable phonon blockade in weakly nonlinear coupled mechanical resonators via Coulomb interaction

abstract: Realizing quantum mechanical behavior in micro- and nanomechanical resonators has attracted continuous research effort. One of the ways for observing quantum nature of mechanical objects is via the mechanism of phonon blockade. Here, we show that phonon blockade could be achieved in a system of two weakly nonlinear mechanical resonators coupled by a Coulomb interaction. The optimal blockade arises as a result of the destructive quantum interference between paths leading to two-phonon excitation. It is observed that, in comparison to a single drive applied on one mechanical resonator, driving both the resonators can be beneficial in many aspects; such as, in terms of the temperature sensitivity of phonon blockade and also with regard to the tunability, by controlling the amplitude and the phase of the second drive externally. We also show that via a radiation pressure induced coupling in an optomechanical cavity, phonon correlations can be measured indirectly in terms of photon correlations of the cavity mode.


title: Lip Movements Generation at a Glance

abstract: Cross-modality generation is an emerging topic that aims to synthesize data in one modality based on information in a different modality. In this paper, we consider a task of such: given an arbitrary audio speech and one lip image of arbitrary target identity, generate synthesized lip movements of the target identity saying the speech. To perform well in this task, it inevitably requires a model to not only consider the retention of target identity, photo-realistic of synthesized images, consistency and smoothness of lip images in a sequence, but more importantly, learn the correlations between audio speech and lip movements. To solve the collective problems, we explore the best modeling of the audio-visual correlations in building and training a lip-movement generator network. Specifically, we devise a method to fuse audio and image embeddings to generate multiple lip images at once and propose a novel correlation loss to synchronize lip changes and speech changes. Our final model utilizes a combination of four losses for a comprehensive consideration in generating lip movements; it is trained in an end-to-end fashion and is robust to lip shapes, view angles and different facial characteristics. Thoughtful experiments on three datasets ranging from lab-recorded to lips in-the-wild show that our model significantly outperforms other state-of-the-art methods extended to this task.


title: A Sherman-Morrison-Woodbury Identity for Rank Augmenting Matrices with Application to Centering

abstract: Matrices of the form $\bf{A} + (\bf{V}_1 + \bf{W}_1)\bf{G}(\bf{V}_2 + \bf{W}_2)^*$ are considered where $\bf{A}$ is a $singular$ $\ell \times \ell$ matrix and $\bf{G}$ is a nonsingular $k \times k$ matrix, $k \le \ell$. Let the columns of $\bf{V}_1$ be in the column space of $\bf{A}$ and the columns of $\bf{W}_1$ be orthogonal to $\bf{A}$. Similarly, let the columns of $\bf{V}_2$ be in the column space of $\bf{A}^*$ and the columns of $\bf{W}_2$ be orthogonal to $\bf{A}^*$. An explicit expression for the inverse is given, provided that $\bf{W}_i^* \bf{W}_i$ has rank $k$. %and $\bf{W}_1$ and $\bf{W}_2$ have the same column space. An application to centering covariance matrices about the mean is given.

categories: stat.ME cs.NA cs.SY eess.SY math.FA math.NA math.SP


title: Effective anisotropy due to the surface of magnetic nanoparticles

abstract: Analytical solution has been found for the second-order effective anisotropy of magnetic nanoparticles of a cubic shape due to the surface anisotropy (SA) of the N\'eel type. Similarly to the spherical particles, for the simple cubic lattice the grand-diagonal directions $\left(\pm1,\pm1,\pm1\right)$ are favored by the effective cubic anisotropy but the effect is twice as strong. Uniaxial core anisotropy and applied magnetic field cause screening of perturbations from the surface at the distance of the domain-wall width and reduce the effect of SA near the energy minima. However, screening disappears near the uniaxial energy barrier, and the uniform barrier state of larger particles may become unstable. For these effects the analytical solution is obtained as well, and the limits of the additive formula with the uniaxial and effective cubic anisotropies for the particle are established. Thermally-activated magnetization-switching rates have been computed by the pulse-noise technique for the stochastic Landau-Lifshitz equation for a system of spins.


title: Muon Tracking with the fastest light in the JUNO Central Detector

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a multi-purpose neutrino experiment designed to measure the neutrino mass hierarchy using a central detector (CD), which contains 20 kton liquid scintillator (LS) surrounded by about 18,000 photomultiplier tubes (PMTs), located 700~m underground. The rate of cosmic muons reaching the JUNO detector is about 3~Hz and the muon induced neutrons and isotopes are major backgrounds for the neutrino detection. Reconstruction of the muon trajectory in the detector is crucial for the study and rejection of those backgrounds. This paper will introduce the muon tracking algorithm in the JUNO CD, with a least squares method of PMTs' first hit time (FHT). Correction of the FHT for each PMT was found to be important to reduce the reconstruction bias. The spatial resolution and angular resolution are better than 3~cm and 0.4~degree, respectively, and the tracking efficiency is greater than 90\% up to 16~m far from the detector center.


title: Characterizing Incomparability in Quantum Information

abstract: The theory of majorization has seen substantial application in quantum information. Its framework predicates on the comparability between real vectors. We explore the antithesis of this premise, namely, incomparability. Specifically, we provide ways to measure the incomparability between a pair of spectra. We show that distinct spectra isoentropic by generalized entropies are mutually strongly incomparable. The inversion rank is proposed to classify incomparability. Majorization relations are advanced to probe the scale of incomparability, referred to as inconvertibility.


title: 3DMV: Joint 3D-Multi-View Prediction for 3D Semantic Scene Segmentation

abstract: We present 3DMV, a novel method for 3D semantic scene segmentation of RGB-D scans in indoor environments using a joint 3D-multi-view prediction network. In contrast to existing methods that either use geometry or RGB data as input for this task, we combine both data modalities in a joint, end-to-end network architecture. Rather than simply projecting color data into a volumetric grid and operating solely in 3D -- which would result in insufficient detail -- we first extract feature maps from associated RGB images. These features are then mapped into the volumetric feature grid of a 3D network using a differentiable backprojection layer. Since our target is 3D scanning scenarios with possibly many frames, we use a multi-view pooling approach in order to handle a varying number of RGB input views. This learned combination of RGB and geometric features with our joint 2D-3D architecture achieves significantly better results than existing baselines. For instance, our final result on the ScanNet 3D segmentation benchmark increases from 52.8\% to 75\% accuracy compared to existing volumetric architectures.


title: Experimental Implementation of Generalized Transitionless Quantum Driving

abstract: It is known that high intensity fields are usually required to implement shortcuts to adiabaticity via Transitionless Quantum Driving (TQD). Here, we show that this requirement can be relaxed by exploiting the gauge freedom of generalized TQD, which is expressed in terms of an arbitrary phase when mimicking the adiabatic evolution. We experimentally investigate the performance of generalized TQD in comparison with both traditional TQD and adiabatic dynamics. By using a $^{171}$Yb$^+$ trapped ion hyperfine qubit, we implement a Landau-Zener adiabatic Hamiltonian and its (traditional and generalized) TQD counterparts. We show that the generalized theory provides optimally implementable Hamiltonians for TQD, with no additional fields required. In addition, the energetically optimal TQD Hamiltonian for the Landau-Zener model is investigated under dephasing. Remarkably, even using less intense fields, optimal TQD exhibits fidelities that are more robust against a decohering environment, with performance superior than that provided by the adiabatic dynamics.


title: Vortex-dynamical Interpretation of Anti-phase and In-phase Flickering of Dual Buoyant Diffusion Flames

abstract: Anti-phase and in-phase flickering modes of dual buoyant diffusion flames were numerically investigated and theoretically analyzed in this study. Inspired by the flickering mechanism of a single buoyant diffusion flame, for which the deformation, stretching, or even pinch-off of the flame surface result from the formation and evolution of the toroidal vortices, we attempted to understand the anti-phase and in-phase flickering of dual buoyant diffusion flames from the perspective of vortex dynamics. The interaction between the inner-side shear layers of the two flames was identified to be responsible for the different flickering modes. Specifically, the transition between anti-phase and in-phase flickering modes can be predicted by a unified regime nomogram of the normalized flickering frequency versus a characteristic Reynolds number, which accounts for the viscous effect on vorticity diffusion between the two inner-side shear layers. Physically, the transition of the vortical structures from symmetric (in-phase) to staggered (anti-phase) in a dual-flame system can be interpreted as being similar to the mechanism causing flow transition in the wake of a bluff body and forming the Karman vortex street.


title: Associativity and Integrability

abstract: We provide a complete solution to the problem of extending a local Lie groupoid to a global Lie groupoid. First, we show that the classical Mal'cev's theorem, which characterizes local Lie groups that can be extended to global Lie groups, also holds in the groupoid setting. Next, we describe a construction that can be used to obtain any local Lie groupoid with integrable algebroid. Last, our main result establishes a precise relationship between the integrability of a Lie algebroid and the failure in associativity of a local integration. We give a simplicial interpretation of this result showing that the monodromy groups of a Lie algebroid manifest themselves combinatorially in a local integration, as a lack of associativity.


title: Breakdown of Carr-Purcell Meiboom-Gill spin echoes in inhomogeneous fields

abstract: The Carr-Purcell Meiboom-Gill (CPMG) experiment has been used for decades to measure nuclear-spin transverse ($T_2$) relaxation times. In the presence of magnetic-field inhomogeneities, the limit of short interpulse spacings yields the intrinsic $T_2$ time. Here we show that the signal decay in such experiments exhibits fundamentally different behaviors between liquids and gases. In gases, CPMG unexpectedly fails to eliminate the inhomogeneous broadening due to the non-Fickian nature of the motional averaging.


title: Two kinds of generalized connectivity of dual cubes

abstract: Let $S\subseteq V(G)$ and $\kappa_{G}(S)$ denote the maximum number $k$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{k}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, k\}$ and $i\neq j$. For an integer $r$ with $2\leq r\leq n$, the {\em generalized $r$-connectivity} of a graph $G$ is defined as $\kappa_{r}(G)= min\{\kappa_{G}(S)|S\subseteq V(G)$ and $|S|=r\}$. The $r$-component connectivity $c\kappa_{r}(G)$ of a non-complete graph $G$ is the minimum number of vertices whose deletion results in a graph with at least $r$ components. These two parameters are both generalizations of traditional connectivity. Except hypercubes and complete bipartite graphs, almost all known $\kappa_{r}(G)$ are about $r=3$. In this paper, we focus on $\kappa_{4}(D_{n})$ of dual cube $D_{n}$. We first show that $\kappa_{4}(D_{n})=n-1$ for $n\geq 4$. As a corollary, we obtain $\kappa_{3}(D_{n})=n-1$ for $n\geq 4$. Furthermore, we show that $c\kappa_{r+1}(D_{n})=rn-\frac{r(r+1)}{2}+1$ for $n\geq 2$ and $1\leq r \leq n-1$.


title: A Better Resource Allocation Algorithm with Semi-Bandit Feedback

abstract: We study a sequential resource allocation problem between a fixed number of arms. On each iteration the algorithm distributes a resource among the arms in order to maximize the expected success rate. Allocating more of the resource to a given arm increases the probability that it succeeds, yet with a cut-off. We follow Lattimore et al. (2014) and assume that the probability increases linearly until it equals one, after which allocating more of the resource is wasteful. These cut-off values are fixed and unknown to the learner. We present an algorithm for this problem and prove a regret upper bound of $O(\log n)$ improving over the best known bound of $O(\log^2 n)$. Lower bounds we prove show that our upper bound is tight. Simulations demonstrate the superiority of our algorithm.


title: Charm physics prospects at Belle II

abstract: Belle II is a major upgrade of the Belle experiment and will operate at the $B$-factory SuperKEKB in Japan. Here we discuss the expected sensitivity of Belle II for $D^0 - \bar{D}^0$ mixing and $CP$ violation measurements in the charm sector, which will benefit from a factor 50 increase in statistics and an improved vertex detection and particle identification. The impact on the determination of CKM parameters from the measurements of purely leptonic $D$ mesons decays is discussed. Finally a novel method of flavour tagging to substantially increase the sample of $D^0$ and $\bar{D}^0$ is presented.


title: The HAM10000 dataset, a large collection of multi-source dermatoscopic images of common pigmented skin lesions

abstract: Training of neural networks for automated diagnosis of pigmented skin lesions is hampered by the small size and lack of diversity of available datasets of dermatoscopic images. We tackle this problem by releasing the HAM10000 ("Human Against Machine with 10000 training images") dataset. We collected dermatoscopic images from different populations acquired and stored by different modalities. Given this diversity we had to apply different acquisition and cleaning methods and developed semi-automatic workflows utilizing specifically trained neural networks. The final dataset consists of 10015 dermatoscopic images which are released as a training set for academic machine learning purposes and are publicly available through the ISIC archive. This benchmark dataset can be used for machine learning and for comparisons with human experts. Cases include a representative collection of all important diagnostic categories in the realm of pigmented lesions. More than 50% of lesions have been confirmed by pathology, while the ground truth for the rest of the cases was either follow-up, expert consensus, or confirmation by in-vivo confocal microscopy.


title: The Effects of JPEG and JPEG2000 Compression on Attacks using Adversarial Examples

abstract: Adversarial examples are known to have a negative effect on the performance of classifiers which have otherwise good performance on undisturbed images. These examples are generated by adding non-random noise to the testing samples in order to make classifier misclassify the given data. Adversarial attacks use these intentionally generated examples and they pose a security risk to the machine learning based systems. To be immune to such attacks, it is desirable to have a pre-processing mechanism which removes these effects causing misclassification while keeping the content of the image. JPEG and JPEG2000 are well-known image compression techniques which suppress the high-frequency content taking the human visual system into account. JPEG has been also shown to be an effective method for reducing adversarial noise. In this paper, we propose applying JPEG2000 compression as an alternative and systematically compare the classification performance of adversarial images compressed using JPEG and JPEG2000 at different target PSNR values and maximum compression levels. Our experiments show that JPEG2000 is more effective in reducing adversarial noise as it allows higher compression rates with less distortion and it does not introduce blocking artifacts.


title: Generation of high peak power, segmented and Bessel beams of tunable range without on-axis intensity modulation

abstract: We propose and experimentally demonstrate a novel experimental scheme to generate high peak power, segmented, smooth, zero-order Bessel beams with tunable range. Illuminating the axicon with hollow Gaussian beams (HGBs) of different orders we have generated Bessel beams of varying range at different positions away from the axicon. The presence of dark core at the center of the HGBs removes the effect of imperfection in the axicon tip. As a result, the entire power of the input beam is transformed into zero-order Bessel beam without any on-axis intensity modulation. We observe the decrease in range and increase in peak power of the zero-order Bessel beam with the order of HGBs. Controlling the superposition of the HGBs of different orders to the axicon we have demonstrated the increase in the range of the Bessel beam. The current technique can also produce Bessel beams of different intensity distribution including single peak or multiple peak Bessel beams. Using single-pass second harmonic generation in nonlinear crystals of different lengths we have further verified the increase of peak power of the Bessel beam with the order of the HGBs and also the increase in the range of the Bessel beam due to the superposed HGBs. The generic experimental scheme can be used at different wavelengths and timescales (continuous-wave to ultrafast).


title: DARKNESS: A Microwave Kinetic Inductance Detector Integral Field Spectrograph for High-Contrast Astronomy

abstract: We present DARKNESS (the DARK-speckle Near-infrared Energy-resolving Superconducting Spectrophotometer), the first of several planned integral field spectrographs to use optical/near-infrared Microwave Kinetic Inductance Detectors (MKIDs) for high-contrast imaging. The photon counting and simultaneous low-resolution spectroscopy provided by MKIDs will enable real-time speckle control techniques and post-processing speckle suppression at framerates capable of resolving the atmospheric speckles that currently limit high-contrast imaging from the ground. DARKNESS is now operational behind the PALM-3000 extreme adaptive optics system and the Stellar Double Coronagraph at Palomar Observatory. Here we describe the motivation, design, and characterization of the instrument, early on-sky results, and future prospects.


title: Handling Verb Phrase Anaphora with Dependent Types and Events

abstract: This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora. The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.


title: A construction of B\"{o}ttcher coordinates for holomorphic skew products

abstract: Let $f(z,w)=(p(z),q(z,w))$ be a holomorphic skew product with a superattracting fixed point at the origin. Under one or two assumptions, we prove that $f$ is conjugate to a monomial map on an invariant open set whose closure contains the origin. The monomial map and the open set are determined by the degree of $p$ and the Newton polygon of $q$.


title: Experimental verification of a Jarzynski-related information-theoretic equality using a single trapped ion

abstract: Most non-equilibrium processes in thermodynamics are quantified only by inequalities, however the Jarzynski relation presents a remarkably simple and general equality relating non-equilibrium quantities with the equilibrium free energy, and this equality holds in both classical and quantum regimes. We report a single-spin test and confirmation of the Jarzynski relation in quantum regime using a single ultracold $^{40}Ca^{+}$ ion trapped in a harmonic potential, based on a general information-theoretic equality for a temporal evolution of the system sandwiched between two projective measurements. By considering both initially pure and mixed states, respectively, we verify, in an exact and fundamental fashion, the non-equilibrium quantum thermodynamics relevant to the mutual information and Jarzynski equality.


title: Single-atom demonstration of quantum Landauer principle

abstract: One of the outstanding challenges to information processing is the eloquent suppression of energy consumption in execution of logic operations. Landauer principle sets an energy constraint in deletion of a classical bit of information. Although some attempts have been paid to experimentally approach the fundamental limit restricted by this principle, exploring Landauer principle in a purely quantum mechanical fashion is still an open question. Employing a trapped ultracold ion, we experimentally demonstrate a quantum version of Landauer principle, i.e., an equality associated with energy cost of information erasure in conjunction with entropy change of the associated quantized environment. Our experimental investigation substantiates an intimate link between information thermodynamics and quantum candidate systems for information processing.


title: Entanglement Features of Random Hamiltonian Dynamics

abstract: We introduce the concept of entanglement features of unitary gates, as a collection of exponentiated entanglement entropies over all bipartitions of input and output channels. We obtained the general formula for time-dependent $n$th-Renyi entanglement features for unitary gates generated by random Hamiltonian. In particular, we propose an Ising formulation for the 2nd-Renyi entanglement features of random Hamiltonian dynamics, which admits a holographic tensor network interpretation. As a general description of entanglement properties, we show that the entanglement features can be applied to several dynamical measures of thermalization, including the out-of-time-order correlation and the entanglement growth after a quantum quench. We also analyze the Yoshida-Kitaev probabilistic protocol for random Hamiltonian dynamics.


title: Universal entanglement signatures of foliated fracton phases

abstract: Fracton models exhibit a variety of exotic properties and lie beyond the conventional framework of gapped topological order. In a previous work, we generalized the notion of gapped phase to one of foliated fracton phase by allowing the addition of layers of gapped two-dimensional resources in the adiabatic evolution between gapped three-dimensional models. Moreover, we showed that the X-cube model is a fixed point of one such phase. In this paper, according to this definition, we look for universal properties of such phases which remain invariant throughout the entire phase. We propose multi-partite entanglement quantities, generalizing the proposal of topological entanglement entropy designed for conventional topological phases. We present arguments for the universality of these quantities and show that they attain non-zero constant value in non-trivial foliated fracton phases.


title: Parton construction of a wave function in the anti-Pfaffian phase

abstract: In this work we propose a parton state as a candidate state to describe the fractional quantum Hall effect in the half-filled second Landau level. The wave function for this parton state is $\mathcal{P}_{\rm LLL} \Phi_{1}^3[\Phi_{2}^{*}]^{2}\sim\Psi^{2}_{2/3}/\Phi_{1}$ and in the spherical geometry it occurs at the same flux as the anti-Pfaffian state. This state has a good overlap with the anti-Pfaffian state and with the ground state obtained by exact diagonalization, using the second Landau level Coulomb interaction pseudopotentials for an ordinary semiconductor such as GaAs. By calculating the entanglement spectrum we show that this state lies in the same phase as the anti-Pfaffian state. A major advantage of this parton state is that its wave function can be evaluated for large systems, which makes it amenable to variational calculations. In the appendix of this work we have numerically assessed the validity of another candidate state at filling factor $\nu=5/2$, namely the particle-hole-symmetric Pfaffian (PH-Pfaffian) state. We find that the proposed candidate wave function for the PH-Pfaffian state is particle-hole symmetric to a high degree but it does not appear to arise as the ground state of any simple Hamiltonian with two-body interactions.


title: Perpendicular magnetic anisotropy at the Fe/MgAl$_2$O$_4$ interface: Comparative first-principles study with Fe/MgO

abstract: We present a theoretical study on interfacial magnetocrystalline anisotropy for Fe/MgAl$_2$O$_4$. This system has a very small lattice mismatch at the interface and therefore is suitable for realizing a fully coherent ferromagnet/oxide interface for magnetic tunnel junctions. On the basis of density functional theory, we calculate the interfacial anisotropy constant $K_{\rm i}$ and show that this system has interfacial perpendicular magnetic anisotropy (PMA) with $K_{\rm i} \approx 1.2\,{\rm mJ/m^2}$, which is a little bit smaller than that of Fe/MgO ($K_{\rm i} \approx$ 1.5--1.7$\,{\rm mJ/m^2}$). Second-order perturbation analysis with respect to the spin-orbit interaction clarifies that the difference in $K_{\rm i}$ between Fe/MgAl$_2$O$_4$ and Fe/MgO originates from the difference in contributions from spin-flip scattering terms at the interface. We propose that the insertion of tungsten layers into the interface of Fe/MgAl$_2$O$_4$ is a promising way to obtain huge interfacial PMA with $K_{\rm i} \gtrsim 3\,{\rm mJ/m^2}$.


title: Improving likelihood-based inference in control rate regression

abstract: Control rate regression is a diffuse approach to account for heterogeneity among studies in meta-analysis by including information about the outcome risk of patients in the control condition. Correcting for the presence of measurement error affecting risk information in the treated and in the control group has been recognized as a necessary step to derive reliable inferential conclusions. Within this framework, the paper considers the problem of small sample size as an additional source of misleading inference about the slope of the control rate regression. Likelihood procedures relying on first-order approximations are shown to be substantially inaccurate, especially when dealing with increasing heterogeneity and correlated measurement errors. We suggest to address the problem by relying on higher-order asymptotics. In particular, we derive Skovgaard's statistic as an instrument to improve the accuracy of the approximation of the signed profile log-likelihood ratio statistic to the standard normal distribution. The proposal is shown to provide much more accurate results than standard likelihood solutions, with no appreciable computational effort. The advantages of Skovgaard's statistic in control rate regression are shown in a series of simulation experiments and illustrated in a real data example. R code for applying first- and second-order statistic for inference on the slope on the control rate regression is provided.


title: Strichartz and smoothing estimates in weighted $L^2$ spaces and their applications

abstract: The primary objective in this paper is to give an answer to an open question posed by J. A. Barcel\'o, J. M. Bennett, A. Carbery, A. Ruiz and M. C. Vilela concerning the problem of determining the optimal range on $s\geq0$ and $p\geq1$ for which the following Strichartz estimate with time-dependent weights $w$ in Morrey-Campanato type classes $\mathfrak{L}^{2s+2,p}_2$ holds: \begin{equation}\label{absset} \|e^{it\Delta}f\|_{L_{x,t}^2(w(x,t))}\leq C\|w\|_{\mathfrak{L}^{2s+2,p}_2}^{1/2}\|f\|_{\dot{H}^s}. \end{equation} Beyond the case $s\geq0$, we further ask how much regularity we can expect on this setting. But interestingly, it turns out that this estimate is false whenever $s<0$, which shows that the smoothing effect cannot occur in this time-dependent setting and the dispersion in the Schr\"odinger flow $e^{it\Delta}$ is not strong enough to have the effect. This naturally leads us to consider the possibility of having the effect at best in higher-order versions of this estimate with $e^{-it(-\Delta)^{\gamma/2}}$ ($\gamma>2$) whose dispersion is more strong. We do obtain a smoothing effect exactly for these higher-order versions. In fact, we will obtain the estimates where $\gamma\geq1$ in a unified manner and also their corresponding inhomogeneous estimates to give applications to the global well-posedness for Schr\"odinger and wave equations with time-dependent perturbations. This is our secondary objective in this paper.


title: Towards Efficient Data-flow Test Data Generation

abstract: Data-flow testing (DFT) aims to detect potential data interaction anomalies by focusing on the points at which variables receive values and the points at which these values are used. Such test objectives are referred as \emph{def-use pairs}. However, the complexity of DFT still overwhelms the testers in practice. To tackle this problem, we introduce a hybrid testing framework for data-flow based test generation: (1) The core of our framework is symbolic execution (SE), enhanced by a novel guided path exploration strategy to improve testing performance; and (2) we systematically cast DFT as reachability checking in software model checking (SMC) to complement SE, yielding practical DFT that combines the two techniques' strengths. We implemented our framework for C programs on top of the state-of-the-art symbolic execution engine KLEE and instantiated with three different software model checkers. Our evaluation on the 28,354 def-use pairs collected from 33 open-source and industrial program subjects shows (1) our SE-based approach can improve DFT performance by 15$\sim$48% in terms of testing time, compared with existing search strategies; and (2) our combined approach can further reduce testing time by 20.1$\sim$93.6%, and improve data-flow coverage by 27.8$\sim$45.2% by eliminating infeasible test objectives. Compared with the SMC-based approach alone, our combined approach can also reduce testing time by 19.9$\sim$23.8%, and improve data-flow coverage by 7$\sim$10%. This combined approach also enables the cross-checking of each component for reliable and robust testing results. We have made our testing framework and benchmarks publicly available to facilitate future research.


title: Advanced Optimal Control Methods for Spin Systems

abstract: Work within this thesis advances optimal control algorithms for application to magnetic resonance systems. Specifically, presenting a quadratically convergent version of the gradient ascent pulse engineering method. The work is formulated in a superoperator representation of the Liouville-von Neumann equation. A Newton-grape method is developed using efficient calculation of analytical second directional derivatives. The method is developed to scale with the same complexity as methods that use only first directional derivatives. Algorithms to ensure a well-conditioned and positive definite matrix of second directional derivatives are used so the sufficient conditions of gradient-based numerical optimisation are met. A number of applications of optimal control in magnetic resonance are investigated: solid-state nuclear magnetic resonance, magnetisation-to-singlet pulses, and electron spin resonance experiments.


title: Robust Video Content Alignment and Compensation for Rain Removal in a CNN Framework

abstract: Rain removal is important for improving the robustness of outdoor vision based systems. Current rain removal methods show limitations either for complex dynamic scenes shot from fast moving cameras, or under torrential rain fall with opaque occlusions. We propose a novel derain algorithm, which applies superpixel (SP) segmentation to decompose the scene into depth consistent units. Alignment of scene contents are done at the SP level, which proves to be robust towards rain occlusion and fast camera motion. Two alignment output tensors, i.e., optimal temporal match tensor and sorted spatial-temporal match tensor, provide informative clues for rain streak location and occluded background contents to generate an intermediate derain output. These tensors will be subsequently prepared as input features for a convolutional neural network to restore high frequency details to the intermediate output for compensation of mis-alignment blur. Extensive evaluations show that up to 5 dB reconstruction PSNR advantage is achieved over state-of-the-art methods. Visual inspection shows that much cleaner rain removal is achieved especially for highly dynamic scenes with heavy and opaque rainfall from a fast moving camera.


title: On the $x$--coordinates of Pell equations which are $k$--generalized Fibonacci numbers

abstract: For an integer $k\geq 2$, let $\{F^{(k)}_{n}\}_{n\geqslant 2-k}$ be the $ k$--generalized Fibonacci sequence which starts with $0, \ldots, 0,1$ (a total of $k$ terms) and for which each term afterwards is the sum of the $k$ preceding terms. In this paper, for an integer $d\geq 2$ which is square free, we show that there is at most one value of the positive integer $x$ participating in the Pell equation $x^{2}-dy^{2} =\pm 1$ which is a $k$--generalized Fibonacci number, with a couple of parametric exceptions which we completely characterise. This paper extends previous work from [17] for the case $k=2$ and [16] for the case $k=3$.


title: Exploiting Recurrent Neural Networks and Leap Motion Controller for Sign Language and Semaphoric Gesture Recognition

abstract: In human interactions, hands are a powerful way of expressing information that, in some cases, can be used as a valid substitute for voice, as it happens in Sign Language. Hand gesture recognition has always been an interesting topic in the areas of computer vision and multimedia. These gestures can be represented as sets of feature vectors that change over time. Recurrent Neural Networks (RNNs) are suited to analyse this type of sets thanks to their ability to model the long term contextual information of temporal sequences. In this paper, a RNN is trained by using as features the angles formed by the finger bones of human hands. The selected features, acquired by a Leap Motion Controller (LMC) sensor, have been chosen because the majority of human gestures produce joint movements that generate truly characteristic corners. A challenging subset composed by a large number of gestures defined by the American Sign Language (ASL) is used to test the proposed solution and the effectiveness of the selected angles. Moreover, the proposed method has been compared to other state of the art works on the SHREC dataset, thus demonstrating its superiority in hand gesture recognition accuracy.


title: Isometry Lie algebras of indefinite homogeneous spaces of finite volume

abstract: Let $\mathfrak{g}$ be a real finite-dimensional Lie algebra equipped with a symmetric bilinear form $\langle\cdot,\cdot\rangle$. We assume that $\langle\cdot,\cdot\rangle $ is nil-invariant. This means that every nilpotent operator in the smallest algebraic Lie subalgebra of endomomorphims containing the adjoint representation of $\mathfrak{g}$ is an infinitesimal isometry for $\langle\cdot,\cdot\rangle $. Among these Lie algebras are the isometry Lie algebras of pseudo-Riemannian manifolds of finite volume. We prove a strong invariance property for nil-invariant symmetric bilinear forms, which states that the adjoint representations of the solvable radical and all simple subalgebras of non-compact type of $\mathfrak{g} $ act by infinitesimal isometries for $\langle\cdot,\cdot\rangle $. Moreover, we study properties of the kernel of $\langle\cdot,\cdot\rangle $ and the totally isotropic ideals in $\mathfrak{g} $ in relation to the index of $\langle\cdot,\cdot\rangle $. Based on this, we derive a structure theorem and a classification for the isometry algebras of indefinite homogeneous spaces of finite volume with metric index at most two. Examples show that the theory becomes significantly more complicated for index greater than two.


title: Enhanced response of non-Hermitian photonic systems near exceptional points

abstract: This paper theoretically and numerically studies the response characteristics of non-Hermitian resonant photonic systems operating near an exceptional point (EP), where two resonant eigenmodes coalesce. It is shown that a system near an EP can exhibit a non-Lorentzian frequency response, whose line shape and intensity strongly depend on the modal decay rate and coupling parameters for the input waves, unlike a normal Lorentzian response around a single resonance. In particular, it is shown that the peak intensity of the frequency response is inversely proportional to the fourth power of the modal decay rate and can be significantly enhanced with the aid of optical gain. The theoretical results are numerically verified by a full wave simulation of a microring cavity with gain. In addition, the effects of the nonlinear gain saturation and spontaneous emission are discussed. The response enhancement and its parametric dependence may be useful for designing and controlling the excitation of eigenmodes by external fields.


title: SPICA - a large cryogenic infrared space telescope Unveiling the obscured Universe

abstract: Measurements in the infrared wavelength domain allow us to assess directly the physical state and energy balance of cool matter in space, thus enabling the detailed study of the various processes that govern the formation and early evolution of stars and planetary systems in galaxies over cosmic time. Previous infrared missions, from IRAS to Herschel, have revealed a great deal about the obscured Universe, but sensitivity has been limited because up to now it has not been possible to fly a telescope that is both large and cold. SPICA is a mission concept aimed at taking the next step in mid- and far-infrared observational capability by combining a large and cold telescope with instruments employing state-of-the-art ultra-sensitive detectors. The mission concept foresees a 2.5-meter diameter telescope cooled to below 8 K. With cooling provided by mechanical coolers instead of depending on a limited cryogen supply, the mission lifetime can extend significantly beyond the required three years. SPICA offers instrumentation with spectral resolving powers ranging from R ~50 through 11000 in the 17-230 $\mu$m domain as well as R~28.000 spectroscopy between 12 and 18 $\mu$m. Additionally SPICA will provide efficient 30-37 $\mu$m broad band mapping, and polarimetric imaging in the 100-350 $\mu$m range. SPICA will provide unprecedented spectroscopic sensitivity of ~5 x $10^{-20}$ W/m$^2$ (5$\sigma$/1hr) - at least two orders of magnitude improvement over what has been attained to date. With this exceptional leap in performance, new domains in infrared astronomy will become accessible, allowing us, for example, to unravel definitively galaxy evolution and metal production over cosmic time, to study dust formation and evolution from very early epochs onwards, and to trace the formation history of planetary systems.


title: BIVAS: A scalable Bayesian method for bi-level variable selection with applications

abstract: In this paper, we consider a Bayesian bi-level variable selection problem in high-dimensional regressions. In many practical situations, it is natural to assign group membership to each predictor. Examples include that genetic variants can be grouped at the gene level and a covariate from different tasks naturally forms a group. Thus, it is of interest to select important groups as well as important members from those groups. The existing Markov Chain Monte Carlo (MCMC) methods are often computationally intensive and not scalable to large data sets. To address this problem, we consider variational inference for bi-level variable selection (BIVAS). In contrast to the commonly used mean-field approximation, we propose a hierarchical factorization to approximate the posterior distribution, by utilizing the structure of bi-level variable selection. Moreover, we develop a computationally efficient and fully parallelizable algorithm based on this variational approximation. We further extend the developed method to model data sets from multi-task learning. The comprehensive numerical results from both simulation studies and real data analysis demonstrate the advantages of BIVAS for variable selection, parameter estimation and computational efficiency over existing methods. The method is implemented in R package `bivas' available at https://github.com/mxcai/bivas.


title: Closed Form Expressions for the Probability Density Function of the Interference Power in PPP Networks

abstract: In this paper, we provide closed form expressions for the probability density functions (PDF) of the interference power in a network whose transmitters are arranged according to the Poisson Point Process (PPP). These expressions apply for any integer path loss exponent \eta greater than 2. Using the stretched exponential or Kohlrausch function, we show that the PDF formulas can be obtained as long as the Laplace transform (LT) for the PDF follows a specific common (exponential) formulation. Moreover, we show that such closed form expressions can be useful in deriving performance metrics for the network for any fading type experienced by the signals. Finally, using Monte-Carlo simulations and numerical analysis, we validate the accuracy of the proposed analytical derivations.


title: Projected-gradient algorithms for generalized equilibrium seeking in Aggregative Games are preconditioned Forward-Backward methods

abstract: We show that projected-gradient methods for the distributed computation of generalized Nash equilibria in aggregative games are preconditioned forward-backward splitting methods applied to the KKT operator of the game. Specifically, we adopt the preconditioned forward-backward design, recently conceived by Yi and Pavel in the manuscript "A distributed primal-dual algorithm for computation of generalized Nash equilibria via operator splitting methods" for generalized Nash equilibrium seeking in aggregative games. Consequently, we notice that two projected-gradient methods recently proposed in the literature are preconditioned forward-backward methods. More generally, we provide a unifying operator-theoretic ground to design projected-gradient methods for generalized equilibrium seeking in aggregative games.


abstract: We complete a classification of Cameron-Liebler line classes in ${\rm PG}(3,5)$, and show in a uniform way all non-existence results for those in ${\rm PG}(3,q)$, $q\leq 5$.


title: Influence of surface finish and residual stresses on the ageing sensitivity of biomedical grade zirconia

abstract: We demonstrate in this paper the influence of surface finish on the ageing kinetics of biomedical grade zirconia. The critical influence of polishing has been systematically investigated by optical microscopy, atomic force microscopy and X-ray diffraction. The stress state around polishing scratches gives rise to preferential transformation in the zone of the induced scratches and consequently to accelerated ageing. The influence of residual stresses is analyzed semi-quantitatively by preparing samples with various surface finish, thus with various stress states. Rough polishing produces a compressive surface stress layer beneficial for the ageing resistance, while smooth polishing produces preferential transformation nucleation around scratches. When a thermal treatment of 2 h at 1200 {\deg}C is applied to relax the residual stresses, all the surfaces states exhibit the same sensitivity to ageing. These results demonstrate that roughness alone cannot be used for ensuring a long-term stability. The variation of ageing sensitivity is indeed related indirectly to the surface roughness via the induced surface stress state. The current ISO standards are not able to take these effects into account. Indeed, great variations in ageing kinetics were observed for samples with different surface states, although all well below the ISO requirements.


title: The remarkable X-ray variability of IRAS 13224-3809 I: The variability process

abstract: We present a detailed X-ray timing analysis of the highly variable NLS1 galaxy, IRAS 13224-3809. The source was recently monitored for 1.5 Ms with XMM-Newton which, combined with 500 ks archival data, makes this the best studied NLS1 galaxy in X-rays to date. We apply standard time- and Fourier-domain in order to understand the underlying variability process. The source flux is not distributed lognormally, as would be expected for accreting sources. The first non-linear rms-flux relation for any accreting source in any waveband is found, with $\mathrm{rms} \propto \mathrm{flux}^{2/3}$. The light curves exhibit significant strong non-stationarity, in addition to that caused by the rms-flux relation, and are fractionally more variable at lower source flux. The power spectrum is estimated down to $\sim 10^{-7}$ Hz and consists of multiple peaked components: a low-frequency break at $\sim 10^{-5}$ Hz, with slope $\alpha < 1$ down to low frequencies; an additional component breaking at $\sim 10^{-3}$ Hz. Using the high-frequency break we estimate the black hole mass $M_\mathrm{BH} = [0.5-2] \times 10^{6} M_{\odot}$, and mass accretion rate in Eddington units, $\dot m_{\rm Edd} \gtrsim 1$. The non-stationarity is manifest in the PSD with the normalisation of the peaked components increasing with decreasing source flux, as well as the low-frequency peak moving to higher frequencies. We also detect a narrow coherent feature in the soft band PSD at $0.7$ mHz, modelled with a Lorentzian the feature has $Q \sim 8$ and an $\mathrm{rms} \sim 3$ %. We discuss the implication of these results for accretion of matter onto black holes.


title: Why are some galaxies not barred?

abstract: Although more than two-thirds of star-forming disk galaxies in the local universe are barred, some galaxies remain un-barred, occupying the upper half of the Hubble tuning fork diagram. Numerical simulations almost always produce bars spontaneously, so it remains a challenge to understand how galaxies sometimes prevent bars from forming. Using a set of collisionless simulations, we first reproduce the common result that cold stellar disks surrounding a classical bulge become strongly unstable to non-axisymmetric perturbations, leading to the rapid formation of spiral structure and bars. However, our analyses show that galaxy models with compact classical bulges (whose average density is greater than or comparable to the disk density calculated within bulge half-mass radii) are able to prevent bar formation for at least 4 Gyr even when the stellar disk is maximal and having low Toomre Q. Such bar prevention is the result of several factors such as (a) a small inner Lindblad resonance with a high angular rate, which contaminates an incipient bar with $x_2$ orbits, (b) rapid loss of angular momentum accompanied by a rapid heating in the center from initially strong bar and spiral instabilities in a low-Q disk, in other words, a rapid initial rise to a value larger than $\sim5$ of the ratio of the random energy to the rotational energy in the central region of the galaxy.


title: On tensors of factorizable quantum channels with the completely depolarizing channel

abstract: In this paper, we obtain results for factorizability of quantum channels. Firstly, we prove that if a tensor $T\otimes S_k$ of a quantum channel $T$ on $M_n(\mathbb{C})$ with the completely depolarizing channel $S_k$ is written as a convex combination of automorphisms on the matrix algebra $M_n(\mathbb{C})\otimes M_k(\mathbb{C})$ with rational coefficients, then the quantum channel $T$ has an exact factorization through some matrix algebra with the normalized trace. Next, we prove that if a quantum channel has an exact factorization through a finite dimensional von Neumann algebra with a convex combination of normal faithful tracial states with rational coefficients, then it also has an exact factorization through some matrix algebra with the normalized trace.


title: On multistochastic Monge-Kantorovich problem, bitwise operations, and fractals

abstract: The multistochastic $ (n,k)$-Monge--Kantorovich problem on a product space $\prod_{i=1}^n X_i$ is an extension of the classical Monge--Kantorovich problem. This problem is considered on the space of measures with fixed projections onto $X_{i_1} \times \ldots \times X_{i_k}$ for all $k$-tuples $\{i_1, \ldots, i_k\} \subset \{1, \ldots, n\}$ for a given $1 \le k < n$. In our paper we study well-posedness of the primal and the corresponding dual problem. Our central result describes a solution $\pi$ to the following important model case: $n=3, k=2, X_i = [0,1]$, the cost function $c(x,y,z) = xyz$, and the corresponding two--dimensional projections are Lebesgue measures on $[0,1]^2$. We prove, in particular, that the mapping $(x,y) \to x \oplus y$, where $\oplus$ is the bitwise addition (xor- or Nim-addition) on $[0,1] \cong \mathbb{Z}_2^{\infty}$, is the corresponding optimal transportation. In particular, the support of $\pi$ is the Sierpi\'nski tetrahedron. In addition, we describe a solution to the corresponding dual problem.


title: Continuous-time integral dynamics for Aggregative Game equilibrium seeking

abstract: In this paper, we consider continuous-time semi-decentralized dynamics for the equilibrium computation in a class of aggregative games. Specifically, we propose a scheme where decentralized projected-gradient dynamics are driven by an integral control law. To prove global exponential convergence of the proposed dynamics to an aggregative equilibrium, we adopt a quadratic Lyapunov function argument. We derive a sufficient condition for global convergence that we position within the recent literature on aggregative games, and in particular we show that it improves on established results.


title: Manifolds of isospectral arrow matrices

abstract: An arrow matrix is a matrix with zeroes outside the main diagonal, first row, and first column. We consider the space $M_{St_n,\lambda}$ of Hermitian arrow $(n+1)\times (n+1)$-matrices with fixed simple spectrum $\lambda$. We prove that this space is a smooth $2n$-manifold, and its smooth structure is independent on the spectrum. Next, this manifold carries the locally standard torus action: we describe the topology and combinatorics of its orbit space. If $n\geqslant 3$, the orbit space $M_{St_n,\lambda}/T^n$ is not a polytope, hence this manifold is not quasitoric. However, there is a natural permutation action on $M_{St_n,\lambda}$ which induces the combined action of a semidirect product $T^n\rtimes\Sigma_n$. The orbit space of this large action is a simple polytope. The structure of this polytope is described in the paper. In case $n=3$, the space $M_{St_3,\lambda}/T^3$ is a solid torus with boundary subdivided into hexagons in a regular way. This description allows to compute the cohomology ring and equivariant cohomology ring of the 6-dimensional manifold $M_{St_3,\lambda}$ using the general theory developed by the first author. This theory is also applied to a certain $6$-dimensional manifold called the twin of $M_{St_3,\lambda}$. The twin carries a half-dimensional torus action and has nontrivial tangent and normal bundles.


title: Siamese Cookie Embedding Networks for Cross-Device User Matching

abstract: Over the last decade, the number of devices per person has increased substantially. This poses a challenge for cookie-based personalization applications, such as online search and advertising, as it narrows the personalization signal to a single device environment. A key task is to find which cookies belong to the same person to recover a complete cross-device user journey. Recent work on the topic has shown the benefits of using unsupervised embeddings learned on user event sequences. In this paper, we extend this approach to a supervised setting and introduce the Siamese Cookie Embedding Network (SCEmNet), a siamese convolutional architecture that leverages the multi-modal aspect of sequences, and show significant improvement over the state-of-the-art.


title: Connections and jet fields

abstract: In this review paper we discuss the different interpretations of the concept of connection in a fiber bundle and in a jet bundle, and relate it with first and second-order systems of partial differential equations (PDE's) and multivector fields. As particular cases we analyze the concepts of linear connections and connections in a manifold.


title: Constraining the radio jet proper motion of the high-redshift quasar J2134-0419 at z=4.3

abstract: To date, PMN J2134-0419 (at a redshift z=4.33) is the second most distant quasar known with a milliarcsecond-scale morphology permitting direct estimates of the jet proper motion. Based on two-epoch observations, we constrained its radio jet proper motion using the very long baseline interferometry (VLBI) technique. The observations were conducted with the European VLBI Network (EVN) at 5 GHz on 1999 November 26 and 2015 October 6. We imaged the central 10-pc scale radio jet emission and modeled its brightness distribution. By identifying a jet component at both epochs separated by 15.86 yr, a proper motion of mu=0.035 +- 0.023 mas/yr is found. It corresponds to an apparent superluminal speed of beta_a=4.1 +- 2.7 c . Relativistic beaming at both epochs suggests that the jet viewing angle with respect to the line of sight is smaller than 20 deg, with a minimum bulk Lorentz factor Gamma=4.3. The small value of the proper motion is in good agreement with the expectations from the cosmological interpretation of the redshift and the current cosmological model. Additionally we analyzed archival Very Large Array observations of J2143-0419 and found indication of a bent jet extending to ~30 kpc.


title: Symplectic cohomologies and deformations

abstract: In this note we study the behavior of symplectic cohomology groups under symplectic deformations. Moreover, we show that for compact almost-K\"ahler manifolds $(X,J,g,\omega)$ with $J$ $\mathcal{C}^\infty$-pure and full the space of de Rham harmonic forms is contained in the space of symplectic-Bott-Chern harmonic forms. Furthermore, we prove that the second non-HLC degree measures the gap between the de Rham and the symplectic-Bott-Chern harmonic forms.


title: Echoes from the Abyss: A highly spinning black hole remnant for the binary neutron star merger GW170817

abstract: The first direct observation of a binary neutron star (BNS) merger was a watershed moment in multi-messenger astronomy. However, gravitational waves from GW170817 have only been observed prior to the BNS merger, but electromagnetic observations all follow the merger event. While post-merger gravitational wave signal in general relativity is too faint (given current detector sensitivities), here we present the first tentative detection of post-merger gravitational wave "echoes" from a highly spinning "black hole" remnant. The echoes may be expected in different models of quantum black holes that replace event horizons by exotic Planck-scale structure and tentative evidence for them has been found in binary black hole merger events. The fact that the echo frequency is suppressed by $\log M$ (in Planck units) puts it squarely in the LIGO sensitivity window, allowing us to build an optimal model-agnostic search strategy via cross-correlating the two detectors in frequency/time. We find a tentative detection of echoes at $f_{\rm echo} \simeq 72$ Hz, around 1.0 sec after the BNS merger, consistent with a 2.6-2.7 $M_\odot$ "black hole" remnant with dimensionless spin $0.84-0.87$. Accounting for all the "look-elsewhere" effects, we find a significance of $4.2 \sigma$, or a false alarm probability of $1.6\times 10^{-5}$, i.e. a similar cross-correlation within the expected frequency/time window after the merger cannot be found more than 4 times in 3 days. If confirmed, this finding will have significant consequences for both physics of quantum black holes and astrophysics of binary neutron star mergers [Note added: This result is independently confirmed by arXiv:1901.04138, who use the electromagnetic observations to infer $t_{\rm coll}=0.98^{+0.31}_{-0.26}$ sec for black hole formation].


title: Turbulent transport by diffusive stratified shear flows: from local to global models. Part II: Limitations of local models

abstract: This paper continues the systematic investigation of diffusive shear instabilities initiated in Part I of this series. In this work, we primarily focus on quantifying the impact of non-local mixing, which is not taken into account in Zahn's mixing model \citep{Zahn92}. We present the results of direct numerical simulations in a new model setup designed to contain coexisting laminar and turbulent shear layers. As in Part I, we use the Low P\'eclet Number approximation of \citet{Lign1999} to model the evolution of the perturbations. Our main findings are twofold. First, turbulence is not necessarily generated whenever Zahn's nonlinear criterion \citep{Zahn1974} $J{\rm Pr} < (J{\rm Pr})_c$ is satisfied, where $J=N^2/S^2$ is the local gradient Richardson number, ${\rm Pr} = \nu/ \kappa_T$ is the Prandtl number, and $(J{\rm Pr})_c \simeq 0.007$. We have demonstrated that the presence or absence of turbulent mixing in this limit hysteretically depends on the history of the shear layer. Second, Zahn's nonlinear instability criterion only approximately locates the edge of the turbulent layer, and mixing beyond the region where $J{\rm Pr} < (J{\rm Pr})_c$ can also take place in a manner analogous to convective overshoot. We found that the turbulent kinetic energy decays roughly exponentially beyond the edge of the shear-unstable region, on a lengthscale $\delta$ that is directly proportional to the scale of the turbulent eddies, which are themselves of the order of the Zahn scale (see Part I). Our results suggest that mixing by diffusive shear instabilities should be modeled with more care than is currently standard in stellar evolution codes.


title: Compact homomorphisms between algebras of $C(K)$-valued Lipschitz functions

abstract: We give a complete description of homomorphisms between two Banach algebras of Lipschitz functions with values in continuous functions. We also characterize the compactness of those homomorphisms.


title: Central limit theorem for descents in conjugacy classes of $S_n$

abstract: The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Fulman proved that the descent numbers of permutations in conjugacy classes with large cycles are asymptotically normal, and Kim proved that the descent numbers of fixed point free involutions are also asymptotically normal. In this paper, we generalize these results to prove a central limit theorem for descent numbers of permutations in any conjugacy class of $S_n$.


title: Schwinger-Dyson equation boundary conditions induced by ETC radiative corrections

abstract: The technicolor (TC) Schwinger-Dyson equations (SDE) should include radiative corrections induced by extended technicolor (ETC) interactions when TC is embedded into a larger theory including also QCD. These radiative corrections couple the different strongly interacting Dyson equations. We discuss how the boundary conditions of the coupled SDE system are modified by these corrections, and verify that the ultraviolet behavior of the self-energies are described by a function that decreases logarithmically with momentum.


title: Graphite: Iterative Generative Modeling of Graphs

abstract: Graphs are a fundamental abstraction for modeling relational data. However, graphs are discrete and combinatorial in nature, and learning representations suitable for machine learning tasks poses statistical and computational challenges. In this work, we propose Graphite, an algorithmic framework for unsupervised learning of representations over nodes in large graphs using deep latent variable generative models. Our model parameterizes variational autoencoders (VAE) with graph neural networks, and uses a novel iterative graph refinement strategy inspired by low-rank approximations for decoding. On a wide variety of synthetic and benchmark datasets, Graphite outperforms competing approaches for the tasks of density estimation, link prediction, and node classification. Finally, we derive a theoretical connection between message passing in graph neural networks and mean-field variational inference.


title: Relative Milnor $K$-groups and differential forms of split nilpotent extensions

abstract: Let $R$ be a commutative ring and $I\subset R$ be a nilpotent ideal such that the quotient $R/I$ splits out of $R$ as a ring. Let $N$ be a natural number such that ${I^N=0}$. We establish a canonical isomorphism between the relative Milnor $K$-group $K^{M}_{n+1}(R,I)$ and the quotient of the relative module of differential forms $\Omega^n_{R,I}/d\,\Omega^{n-1}_{R,I}$ assuming that $N!$ is invertible in $R$ and that the ring $R$ is weakly $5$-fold stable. The latter means that any $4$-tuple of elements in $R$ can be shifted by an invertible element to become a $4$-tuple of invertible elements.


title: Magnetic Resonance, Index Compression Maps and the Holstein-Primakoff Bosons: Towards a Polynomially Scaling Exact Diagonalization of Isotropic Multispin Hamiltonians

abstract: Matrix diagonalization has long been a setback in the numerical simulation of the magnetic resonance spectra of multispin systems since the dimension of the Hilbert space of such systems grows exponentially with the number of spins -- a problem commonly referred to as the "curse of dimensionality". In this paper, we propose two mathematical instruments which, when harmoniously combined, could greatly help surmount to a fair degree and in a systematic manner the curse of dimensionality. These are: 1) the Holstein-Primakoff bosons and 2) what we have termed the "index compression maps". These two allow a bijective mapping of (multi)spin states to integers. Their combination leads to the block diagonalization of the multispin Hamiltonian, thus a computationally exact way of diagonalizing the latter but which also reduces significantly the computational cost. We also show that the eigenvectors and eigenvalues of the Liouvillian operator can be easily determined once those of the related multispin Hamiltonian are known. Interestingly, the method also enables an analytical characterization of the multispin Hilbert space -- a feat hardly attainable with other approaches. We illustrate the method here by showing how a general static isotropic multispin Hamiltonian could be exactly diagonalized with very less computational cost. Nonetheless, we emphasize that the method could be applied to study numerous quantum systems defined on finite Hilbert spaces and embodied with at most pairwise interactions.


title: All hyperbolic Coxeter $n$-cubes

abstract: Beside simplices, $n$-cubes form an important class of simple polyhedra. Unlike hyperbolic Coxeter simplices, hyperbolic Coxeter $n$-cubes are not classified. We show that there is no hyperbolic Coxeter $n$-cube for $n\geq~6$, and provide a full classification for $n\leq 5$. Our methods, which are essentially of combinatorial and algebraic nature, can be (and have been successfully) implemented in a symbolic computation software such as Mathematica$^\circledR$.


title: Optimizing the Drift in a Diffusive Search for a Random Stationary Target

abstract: Let $a\in\mathbb{R}$ denote an unknown stationary target with a known distribution $\mu\in\mathcal{P(\mathbb{R}})$, the space of probability measures on $\mathbb{R}$. A diffusive searcher $X(\cdot)$ sets out from the origin to locate the target. The time to locate the target is $T_a=\inf\{t\ge0: X(t)=a\}$. The searcher has a given constant diffusion rate $D>0$, but its drift $b$ can be set by the search designer from a natural admissible class $\mathcal{D}_\mu$ of drifts. Thus, the diffusive searcher is a Markov process generated by the operator $L=\frac D2\frac{d^2}{dx^2}+b(x)\frac d{dx}$. % equivalently, $X(\cdot)$ satisfies the stochastic differential equation %$X(t)=W(t)+\int_0^tb(X(s))ds$, where $W(\cdot)$ is a standard Brownian motion. For a given drift $b$, the expected time of the search is \begin{equation} \int_{\mathbb{R}} (E^{(b)}_0T_a)\thinspace\mu(da). \end{equation} Our aim is to minimize this expected search time over all admissible drifts $b\in\mathcal{D}_\mu$. For measures $\mu$ that satisfy a certain balance condition between their restriction to the positive axis and their restriction to the negative axis, a condition satisfied, in particular, by all symmetric measures, we can give a complete answer to the problem. We calculate the above infimum explicitly, we classify the measures for which the infimum is attained, and in the case that it is attained, we calculate the minimizing drift explicitly. For measures that do not satisfy the balance condition, we obtain partial results.


title: Learning Pixel-level Semantic Affinity with Image-level Supervision for Weakly Supervised Semantic Segmentation

abstract: The deficiency of segmentation labels is one of the main obstacles to semantic segmentation in the wild. To alleviate this issue, we present a novel framework that generates segmentation labels of images given their image-level class labels. In this weakly supervised setting, trained models have been known to segment local discriminative parts rather than the entire object area. Our solution is to propagate such local responses to nearby areas which belong to the same semantic entity. To this end, we propose a Deep Neural Network (DNN) called AffinityNet that predicts semantic affinity between a pair of adjacent image coordinates. The semantic propagation is then realized by random walk with the affinities predicted by AffinityNet. More importantly, the supervision employed to train AffinityNet is given by the initial discriminative part segmentation, which is incomplete as a segmentation annotation but sufficient for learning semantic affinities within small image areas. Thus the entire framework relies only on image-level class labels and does not require any extra data or annotations. On the PASCAL VOC 2012 dataset, a DNN learned with segmentation labels generated by our method outperforms previous models trained with the same level of supervision, and is even as competitive as those relying on stronger supervision.


title: Low-temperature ageing of zirconia-toughened alumina ceramics and its implication in biomedical implants

abstract: Changes in crystalline phases resulting from low-temperature ageing of different yttria doped and non-doped zirconia-toughened alumina composites and nanocomposites were investigated under controlled humidity and temperature conditions in autoclave. A classical powder mixing processing route and a new modified colloidal processing route were used to process the composites. Different compositions ranging from 2.5 wt.% zirconia in a matrix of alumina to pure zirconia (3Y-TZP) were studied. It was observed that Al2O3+yttria stabilised ZrO2 composites exhibited significant ageing. However, ageing was much slower than traditionally observed for Y-TZP ceramics, due to the presence of the alumina matrix. Ageing was clearly limited for zirconia content beyond 25 wt.%. On the other side of the spectrum, Al2O3+2.5 wt.% ZrO2 initially presented a monoclinic fraction but did not show any ageing degradation. These composites seem to represent the best choice between slow crack growth and ageing resistance.


title: Z Polarization in $e^+e^-\to t\bar t Z$ for testing the top quark mass structure and the presence of final interactions

abstract: We show that the measurement of the $Z$ polarization in the $e^+e^-\to t\bar t Z$ process would allow an interesting determination of the role of the top quark mass. This can be used for testing the possibility of top compositeness or of the occurence of final state interactions related to the mass generation in particular the interaction with dark matter.


title: A parametric symmetry breaking transducer

abstract: Force detectors rely on resonators to transduce forces into a readable signal. Usually these resonators operate in the linear regime and their signal appears amidst a competing background comprising thermal or quantum fluctuations as well as readout noise. Here, we demonstrate that a parametric symmetry breaking transduction leads to a novel and robust nonlinear force detection in the presence of noise. The force signal is encoded in the frequency at which the system jumps between two phase states which are inherently protected against phase noise. Consequently, the transduction effectively decouples from readout noise channels. For a controlled demonstration of the method, we experiment with a macroscopic doubly-clamped string. Our method provides a promising new paradigm for high-precision force detection.


title: Thermal analysis of the electronics of a CubeSat mission

abstract: CubeSat satellites are small cube-shaped space platforms that are very popular among academic, research and start-up communities mostly due to their reduced mission costs and short development time. This comes with an easy access to space, which enables high risk missions that would not be feasible otherwise. Thus, most of the subsystems available for these satellites have been adapted to a rather fast development methodology. However, thermal control engineering is still somewhat overlooked due to its complexity and long-term development characteristics. Moreover, since CubeSat projects often rely in commercial off-the-shelf components, it is necessary to understand their necessities in terms of thermal control. The main reason for this is because these components are not originally designed to operate in the space environment, and may degrade faster when operated either under too hot or too cold conditions. In this context, this article presents the results of several thermal analyses and tests conducted over power amplifiers and field-programmable gate array devices, commonly used in CubeSat subsystems and payloads. Passive thermal control methods, mostly based on thermal straps, are explored as potential thermal control solutions due to their low cost and development constraints.


title: On the convergence of discrete-time linear systems: A linear time-varying Mann iteration converges iff the operator is strictly pseudocontractive

abstract: We adopt an operator-theoretic perspective to study convergence of linear fixed-point iterations and discrete- time linear systems. We mainly focus on the so-called Krasnoselskij-Mann iteration x(k+1) = ( 1 - \alpha(k) ) x(k) + \alpha(k) A x(k), which is relevant for distributed computation in optimization and game theory, when A is not available in a centralized way. We show that convergence to a vector in the kernel of (I-A) is equivalent to strict pseudocontractiveness of the linear operator x -> Ax. We also characterize some relevant operator-theoretic properties of linear operators via eigenvalue location and linear matrix inequalities. We apply the convergence conditions to multi-agent linear systems with vanishing step sizes, in particular, to linear consensus dynamics and equilibrium seeking in monotone linear-quadratic games.


title: What deep learning can tell us about higher cognitive functions like mindreading?

abstract: Can deep learning (DL) guide our understanding of computations happening in biological brain? We will first briefly consider how DL has contributed to the research on visual object recognition. In the main part we will assess whether DL could also help us to clarify the computations underlying higher cognitive functions such as Theory of Mind. In addition, we will compare the objectives and learning signals of brains and machines, leading us to conclude that simply scaling up the current DL algorithms will most likely not lead to human level Theory of Mind.


title: Degeneration of quadratic polynomial endomorphisms to a H\'enon map

abstract: For an algebraic family $(f_t)$ of regular quadratic polynomial endomorphisms of $\mathbb{C}^2$ parametrized by $\mathbb{D}^*$ and degenerating to a H\'enon map at $t=0$, we study the continuous (and indeed harmonic) extendibility across $t=0$ of a potential of the bifurcation current on $\mathbb{D}^*$ with the explicit computation of the non-archimedean Lyapunov exponent associated to $(f_t)$. The individual Lyapunov exponents of $f_t$ are also investigated near $t=0$. Using $(f_t)$, we also see that any H\'enon map is accumulated by the bifurcation locus in the space of quadratic holomorphic endomorphisms of $\mathbb {P}^2$.


title: Split Fermi Surfaces of the Spin-Orbit-Coupled Metal Cd2Re2O7 Probed by de Haas-van Alphen Effect

abstract: The superconducting pyrochlore oxide Cd2Re2O7 shows a structural transition with inversion symmetry breaking (ISB) at Ts1 = 200 K. A recent theory [L. Fu, Phys. Rev. Lett. 115, 026401 (2015)] suggests that the origin is an electronic instability that leads to a multipolar order in the spin-orbit-coupled metal. To observe the Fermi surface of the low-temperature phase of Cd2Re2O7, we perform de Haas-van Alphen effect measurements by means of magnetic torque. In reference to a calculated band structure, the spin-split Fermi surfaces with large cyclotron masses of 5-9m0 are revealed. The splitting is suggested to be due to an antisymmetric spin-orbit coupling induced by ISB, the strength of which is estimated to be approximately 67 K, which is rather smaller than those of typical non-centrosymmetric metals.


title: Convergence of a low-rank Lie--Trotter splitting for stiff matrix differential equations

abstract: We propose a numerical integrator for determining low-rank approximations to solutions of large-scale matrix differential equations. The considered differential equations are semilinear and stiff. Our method consists of first splitting the differential equation into a stiff and a non-stiff part, respectively, and then following a dynamical low-rank approach. We conduct an error analysis of the proposed procedure, which is independent of the stiffness and robust with respect to possibly small singular values in the approximation matrix. Following the proposed method, we show how to obtain low-rank approximations for differential Lyapunov and for differential Riccati equations. Our theory is illustrated by numerical experiments.


title: Objects Localisation from Motion with Constraints

abstract: This paper presents a method to estimate the 3D object position and occupancy given a set of object detections in multiple images and calibrated cameras. This problem is modelled as the estimation of a set of quadrics given 2D conics fit to the object bounding boxes. Although a closed form solution has been recently proposed, the resulting quadrics can be inaccurate or even be non valid ellipsoids in presence of noisy and inaccurate detections. This effect is especially important in case of small baselines, resulting in dramatic failures. To cope with this problem, we propose a set of linear constraints by matching the centres of the reprojected quadrics with the centres of the observed conics. These constraints can be solved with a linear system thus providing a more computationally efficient solution with respect to a non-linear alternative. Experiments on real data show that the proposed approach improves significantly the accuracy and the validity of the ellipsoids.


title: Lepton flavor violation via four-Fermi contact interactions at the International Linear Collider

abstract: Lepton flavor violating (LFV) process $e^+ e^- \to e^+ \tau^-$ induced by the four-Fermi contact interactions at the International Linear Collider (ILC) is studied. Taking account of the event selection conditions, it is shown that the ILC is sensitive to smaller LFV couplings as compared to the measurement of $\tau\to 3e$ process at the B-factory experiment. The upper bounds on some of the LFV couplings are improved by several factors using polarized $e^-/e^+$ beams at $\sqrt{s}=250~\mathrm{GeV}$ and by an order of magnitude at $\sqrt{s}=1~\mathrm{TeV}$.


title: Large time behavior of a two phase extension of the porous medium equation

abstract: We study the large time behavior of the solutions to a two phase extension of the porous medium equation, which models the so-called seawater intrusion problem. The goal is to identify the self-similar solutions that correspond to steady states of a rescaled version of the problem. We fully characterize the unique steady states that are identified as minimizers of a convex energy and shown to be radially symmetric. Moreover, we prove the convergence of the solution to the time-dependent model towards the unique stationary state as time goes to infinity. We finally provide numerical illustrations of the stationary states and we exhibit numerical convergence rates.


title: Magrathea: Dust growth experiment in micro-gravity conditions

abstract: One of the least understood processes in astrophysics is the formation of planetesimals from molecules and dust within protoplanetary disks. In fact, current methods have strong limitations when it comes to model the full dynamics in this phase of planet formation, where small dust aggregates collide and grow into bigger clusters. That is why microgravity experiments of the phenomena involved are important to reveal the underlying physics. Because previous experiments had some limitations, in particular short durations and constrained dimensions, a new mission to study the very first stages of planet formation is proposed here. This mission, called Magrathea, is focused on creating the best conditions for developing these experiments, using a satellite with a 6 $m^3$ test chamber. During the mission 28 experiments are performed using different dust compositions, sizes and shapes, to better understand under which conditions dust grains stick and aggregate. Each experiment should last up to one month, with relative collision velocities of up to 5 mm/s, and initial dust sizes between 1 $\mu$m and 1 mm. At least $10^6$ collisions per experiment should be recorded, to provide statistically significant results. Based on the scientific objectives and requirements, a preliminary analysis of the payload instrumentation is performed. From that a conceptual mission and spacecraft design is developed, together with a first approach to mission programmatic and risk analysis. The solution reached is a 1000 kg spacecraft, set on a 800 km Sun-synchronous orbit, with a total mission cost of around 438 MEuros.


title: Making Sense of the World: Models for Reliable Sensor-Driven Systems

abstract: Sensor-driven systems are increasingly ubiquitous: they provide both data and information that can facilitate real-time decision-making and autonomous actuation, as well as enabling informed policy choices by service providers and regulators. But can we guarantee these system do what we expect, can their stake-holders ask deep questions and be confident of obtaining reliable answers? This is more than standard software engineering: uncertainty pervades not only sensors themselves, but the physical and digital environments in which these systems operate. While we cannot engineer this uncertainty away, through the use of models we can manage its impact in the design, development and deployment of sensor network software. Our contribution consists of two new concepts that improve the modelling process: frames of reference bringing together the different perspectives being modelled and their context; and the roles of different types of model in sensor-driven systems. In this position paper we develop these new concepts, illustrate their application to two example systems, and describe some of the new research challenges involved in modelling for assurance.


title: Branching Brownian Motion with spatially-homogeneous and point-catalytic branching

abstract: We consider a model of Branching Brownian Motion in which the usual spatially-homogeneous and catalytic branching at a single point are simultaneously present. We establish the almost sure growth rates of population in certain time-dependent regions and as a consequence the first-order asymptotic behaviour of the rightmost particle.