title: Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property

abstract: In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A well-known result in coalgebraic modal logic is that its completeness can be determined at the one-step level. We generalize the result to the finitely many-valued case by using the canonical model construction method. We prove the result for coalgebraic modal logics based on three different many-valued algebraic structures, including the finitely-valued {\L}ukasiewicz algebra, the commutative integral Full-Lambek algebra (FL$_{ew}$-algebra) expanded with canonical constants and Baaz Delta, and the FL$_{ew}$-algebra expanded with valuation operations. In addition, we also prove the finite model property of the many-valued coalgebraic modal logic by using the filtration technique.


title: Tunability of the elastocaloric response in main-chain liquid crystalline elastomers

abstract: Materials exhibiting a large caloric effect could lead to the development of new generation of heat-management technologies that will have better energy efficiency and be potentially more environmentally friendly. The focus of caloric materials investigations has shifted recently from solid-state materials toward soft materials, such as liquid crystals and liquid crystalline elastomers. It has been shown recently that a large electrocaloric effect exceeding 7 K can be observed in smectic liquid crystals. Here, we report on a significant elastocaloric response observed by direct elastocaloric measurements in main-chain liquid crystal elastomers. It is demonstrated that the character of the nematic to paranematic/isotropic transition can be tuned from the supercritical regime towards the first-order regime, by decreasing the density of crosslinkers. In the latter case, the latent heat additionally enhances the elastocaloric response. Our results indicate that a significant elastocaloric response is present in main-chain liquid crystalline elastomers, driven by stress fields much smaller than in solid elastocaloric materials. Therefore, elastocaloric soft materials can potentially play a significant role as active cooling/heating elements in the development of new heat-management devices.


title: Densification Mechanics of Polymeric Syntactic Foams

abstract: In this paper, a fundamental understanding of the densification mechanics of polymeric syntactic foams under compressive loading is established. These syntactic foams are closed cell composite foams with thin-walled microballoons dispersed in a matrix (resin) whose closed cell structure provides excellent mechanical properties, like high strength and low density. There are several parameters that can contribute towards their mechanical properties, including, microballoon volume fraction, microballoon wall thickness, bonding between the microballoons and the matrix, and the crushing strength of microballoons. Conducting purely experimental testing by varying these parameters can be very time sensitive and expensive. Also, identification of densification mechanics is challenging using experiments only. Higher densification stress and energy are favorable properties under foam compression or crushing. Hence, the influence of key structural and material parameters associated with syntactic foams that dictate the mechanics of densification is studied here by implementing micromechanics based computational models and multiple linear regression analysis. Specifically, specific densification stresses and energy, which are densification stresses and energy normalized by weight, are evaluated which are more relevant for a wide variety of weight saving applications. Microballoon crushing strength and volume fraction are identified as the parameters that have the higher influence on densification stress and energy, and their specific counterparts, whereas the interfacial bonding has the least impact. In addition, designing aspects of syntactic foams with specified overall density are discussed by mapping microballoon volume fraction and wall thickness.


title: Measurement of the Resonant and Non-Resonant Branching Ratios in $\Xi_{c}^{0} \rightarrow \Xi^{0} K^+ K^-$

abstract: Using the entire data sample of $980$ $fb^{-1}$ integrated luminosity collected with the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider, we present an amplitude analysis measuring the branching fractions of the Cabibbo-allowed, $W$-exchange resonant decay $\Xi_{c}^{0} \rightarrow \Xi^{0} \phi (\to K^+ K^-)$ with a polarized $\phi$ and the non-resonant decay via a direct process $\Xi_{c}^{0} \rightarrow \Xi^{0} K^+ K^-$. We present these measurements, relative to the normalization mode $\Xi^{-}\pi^{+}$, and find branching ratios $\frac{\mathcal{B}(\Xi_{c}^{0} \rightarrow \Xi^{0} \phi (\rightarrow K^{+}K^{-}))}{\mathcal{B}(\Xi_{c}^{0} \rightarrow \Xi^{-} \pi^{+})} = 0.036 \pm 0.004 (stat.) \pm 0.002 (syst.)$ and $\frac{\mathcal{B}(\Xi_{c}^{0} \rightarrow \Xi^{0} K^{+} K^{-})}{\mathcal{B}(\Xi_{c}^{0} \rightarrow \Xi^{-} \pi^{+})} = 0.039 \pm 0.004 (stat.) \pm 0.002 (syst.)$ which suggest that only minor cusping peaks occur in the combinatorial background of $\Omega^{*-} \to \Xi^{0}K^{-}$ due to these $\Xi_{c}^{0}$ decays.


title: Exploiting Diverse Characteristics and Adversarial Ambivalence for Domain Adaptive Segmentation

abstract: Adapting semantic segmentation models to new domains is an important but challenging problem. Recently enlightening progress has been made, but the performance of existing methods are unsatisfactory on real datasets where the new target domain comprises of heterogeneous sub-domains (e.g., diverse weather characteristics). We point out that carefully reasoning about the multiple modalities in the target domain can improve the robustness of adaptation models. To this end, we propose a condition-guided adaptation framework that is empowered by a special attentive progressive adversarial training (APAT) mechanism and a novel self-training policy. The APAT strategy progressively performs condition-specific alignment and attentive global feature matching. The new self-training scheme exploits the adversarial ambivalences of easy and hard adaptation regions and the correlations among target sub-domains effectively. We evaluate our method (DCAA) on various adaptation scenarios where the target images vary in weather conditions. The comparisons against baselines and the state-of-the-art approaches demonstrate the superiority of DCAA over the competitors.


title: Retinex-inspired Unrolling with Cooperative Prior Architecture Search for Low-light Image Enhancement

abstract: Low-light image enhancement plays very important roles in low-level vision field. Recent works have built a large variety of deep learning models to address this task. However, these approaches mostly rely on significant architecture engineering and suffer from high computational burden. In this paper, we propose a new method, named Retinex-inspired Unrolling with Architecture Search (RUAS), to construct lightweight yet effective enhancement network for low-light images in real-world scenario. Specifically, building upon Retinex rule, RUAS first establishes models to characterize the intrinsic underexposed structure of low-light images and unroll their optimization processes to construct our holistic propagation structure. Then by designing a cooperative reference-free learning strategy to discover low-light prior architectures from a compact search space, RUAS is able to obtain a top-performing image enhancement network, which is with fast speed and requires few computational resources. Extensive experiments verify the superiority of our RUAS framework against recently proposed state-of-the-art methods.


title: An energy-stable parametric finite element method for anisotropic surface diffusion

abstract: We propose an energy-stable parametric finite element method (ES-PFEM) to discretize the motion of a closed curve under surface diffusion with an anisotropic surface energy $\gamma(\theta)$ -- anisotropic surface diffusion -- in two dimensions, while $\theta$ is the angle between the outward unit normal vector and the vertical axis. By introducing a positive definite surface energy (density) matrix $G(\theta)$, we present a new and simple variational formulation for the anisotropic surface diffusion and prove that it satisfies area/mass conservation and energy dissipation. The variational problem is discretized in space by the parametric finite element method and area/mass conservation and energy dissipation are established for the semi-discretization. Then the problem is further discretized in time by a (semi-implicit) backward Euler method so that only a linear system is to be solved at each time step for the full-discretization and thus it is efficient. We establish well-posedness of the full-discretization and identify some simple conditions on $\gamma(\theta)$ such that the full-discretization keeps energy dissipation and thus it is unconditionally energy-stable. Finally the ES-PFEM is applied to simulate solid-state dewetting of thin films with anisotropic surface energies, i.e. the motion of an open curve under anisotropic surface diffusion with proper boundary conditions at the two triple points moving along the horizontal substrate. Numerical results are reported to demonstrate the efficiency and accuracy as well as energy dissipation of the proposed ES-PFEM.


title: A new non-reduced moduli component of rank 2 semistable sheaves on P3

abstract: In the present paper we describe new component of the Gieseker-Maruyama moduli space $\mathcal{M}(14)$ of coherent semistable rank-2 sheaves with Chern classes $c_1=0, \ c_2=14, \ c_3=0$ on $\mathbb{P}^{3}$ which is generically non-reduced. The construction of this component is based on the technique of elementary transformations of sheaves and famous Mumford's example of a non-reduced component of the Hilbert scheme of smooth space curves of degree 14 and genus 24.


title: Tailoring the photovoltaic effect in (111) oriented BiFeO3/LaFeO3 superlattices

abstract: Ferroelectric and photovoltaic properties of BiFeO3/LaFeO3 superlattices grown by pulsed laser deposition have been investigated being the bilayer thickness). For a high concentration of BiFeO3 a ferroelectric state is observed simultaneously with a switchable photovoltaic response. In contrast for certain concentration of LaFeO3 a non-switchable photovoltaic effect is evidenced. Such modulation of the PV response in the superlattices is attributed to the ferroelectric to paraelectric phase transition which is controlled with the increase of x. Remarkably, concomitant to this change of PV mechanism, a change of the conduction mechanism also seems to take place from a bulk-limited to an interface-limited transport as x increases.


title: From particle swarm optimization to consensus based optimization: stochastic modeling and mean-field limit

abstract: In this paper we consider a continuous description based on stochastic differential equations of the popular particle swarm optimization (PSO) process for solving global optimization problems and derive in the large particle limit the corresponding mean-field approximation based on Vlasov-Fokker-Planck-type equations. The disadvantage of memory effects induced by the need to store the local best position is overcome by the introduction of an additional differential equation describing the evolution of the local best. A regularization process for the global best permits to formally derive the respective mean-field description. Subsequently, in the small inertia limit, we compute the related macroscopic hydrodynamic equations that clarify the link with the recently introduced consensus based optimization (CBO) methods. Several numerical examples illustrate the mean field process, the small inertia limit and the potential of this general class of global optimization methods.


title: The infinite Reynolds number limit and the quasi dissipative anomaly

abstract: From a critical review of Onsager's pioneering paper which was published in 1949 we conclude that his analysis was at odds with other workers in the field because instead of taking the infinite Reynolds number limit he simply set the viscosity equal to zero which is not the same thing.


title: As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation

abstract: Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs into (1) the probabilistic nature of quantum computation and (2) exponential requirements for computational resources on non-quantum hardware. In quantum circuit simulation, Decision Diagrams (DDs) have previously shown to reduce the required memory in many important cases by exploiting redundancies in the quantum state. In this paper, we show that this reduction can be amplified by exploiting the probabilistic nature of quantum computers to achieve even more compact representations. Specifically, we propose two new DD-based simulation strategies that approximate the quantum states to attain more compact representations, while, at the same time, allowing the user to control the resulting degradation in accuracy. We also analytically prove the effect of multiple approximations on the attained accuracy and empirically show that the resulting simulation scheme enables speed-ups up to several orders of magnitudes.


title: Enhancing Human Pose Estimation in Ancient Vase Paintings via Perceptually-grounded Style Transfer Learning

abstract: Human pose estimation (HPE) is a central part of understanding the visual narration and body movements of characters depicted in artwork collections, such as Greek vase paintings. Unfortunately, existing HPE methods do not generalise well across domains resulting in poorly recognized poses. Therefore, we propose a two step approach: (1) adapting a dataset of natural images of known person and pose annotations to the style of Greek vase paintings by means of image style-transfer. We introduce a perceptually-grounded style transfer training to enforce perceptual consistency. Then, we fine-tune the base model with this newly created dataset. We show that using style-transfer learning significantly improves the SOTA performance on unlabelled data by more than 6% mean average precision (mAP) as well as mean average recall (mAR). (2) To improve the already strong results further, we created a small dataset (ClassArch) consisting of ancient Greek vase paintings from the 6-5th century BCE with person and pose annotations. We show that fine-tuning on this data with a style-transferred model improves the performance further. In a thorough ablation study, we give a targeted analysis of the influence of style intensities, revealing that the model learns generic domain styles. Additionally, we provide a pose-based image retrieval to demonstrate the effectiveness of our method.


title: A Natural Introduction to Fine-Tuning

abstract: A well-known topic within the philosophy of physics is the problem of fine-tuning: the fact that the universal constants seem to take non-arbitrary values in order for live to thrive in our Universe. In this paper we will talk about this problem in general, giving some examples from physics. We will review some solutions like the design argument, logical probability, cosmological natural selection, etc. Moreover, we will also discuss why it's dangerous to uphold the Principle of Naturalness as a scientific principle. After going through this paper, the reader should have a general idea what this problem exactly entails whenever it is mentioned in other sources and we recommend the reader to think critically about these concepts.


title: A Proper Discretization of Hydrodynamic Equations in the Cylindrical Coordinates for Astrophysical Simulations

abstract: Cylindrical coordinates are often used in computational fluid dynamics, in particular, when one considers gas flow accreting onto a central object. Although the cylindrical coordinates have several advantages in describing rotation, they have apparent singularity along the axis at the coordinate origin (z-axis). This singularity introduces difficulties in numerical simulations. First, it is difficult to reproduce the flow across the z-axis. Second, the time step is extremely shortened by the CFL condition near the z-axis because the numerical cell thereof is narrow in the azimuthal direction for a given angular resolution. Here, we propose a new discretization scheme to overcome these difficulties. In our new scheme, we consider changes in the direction of the unit vector within a cell when evaluating the flux across each cell surface. Besides, we evaluate the source term in the radial component of the momentum equation from the thermal and dynamic pressures working on the azimuthal cell surface. The new scheme is designed to be free-stream preserving so that flow with uniform density, pressure, and velocity isan exact solution of the discretized equation. These improvements are essential to using a lower angular resolution in the innermost area and thus to elongate each time step. Our examples demonstrate that the innermost circular region around the axis can be resolved by only six numerical cells. We present an application to an accreting compact star surrounded by a disk, in addition to Sod shock tube and rotating outflow tests.


title: Quantifying the difference between many-body quantum states

abstract: The quantum state overlap is the textbook measure of the difference between two quantum states. Yet, it is inadequate to compare the complex configurations of many-body systems. The problem is inherited by the widely employed quantum state fidelity and related distances. We introduce the weighted distances, a new class of information-theoretic measures that overcome these limitations. They quantify how hard it is to discriminate between two quantum states of many particles, factoring in the structure of the required measurement apparatus. Therefore, they can be used to evaluate both the theoretical and the experimental performances of complex quantum devices. We also show that the newly defined "weighted Bures length" between the input and output states of a quantum process is a lower bound to the experimental cost of the transformation. The result uncovers an exact quantum limit to our ability to convert physical resources into computational ones.


title: Stochastic Quantum Circuit Simulation Using Decision Diagrams

abstract: Recent years have seen unprecedented advance in the design and control of quantum computers. Nonetheless, their applicability is still restricted and access remains expensive. Therefore, a substantial amount of quantum algorithms research still relies on simulating quantum circuits on classical hardware. However, due to the sheer complexity of simulating real quantum computers, many simulators unrealistically simplify the problem and instead simulate perfect quantum hardware, i.e., they do not consider errors caused by the fragile nature of quantum systems. Stochastic quantum simulation provides a conceptually suitable solution to this problem: physically motivated errors are applied in a probabilistic fashion throughout the simulation. In this work, we propose to use decision diagrams, as well as concurrent executions, to substantially reduce resource-requirements-which are still daunting-for stochastic quantum circuit simulation. Backed up by rigorous theory, empirical studies show that this approach allows for a substantially faster and much more scalable simulation for certain quantum circuits.


title: Planetary Nebulae and How to find them: A Review

abstract: Premise: This report is intended to provide useful background and information on how we find detect and compile Planetary Nebulae PNe candidates and then verify them. It is for postgraduate students entering the field and for more general interest too.


title: Analysis and Optimal Edge Assignment For Hierarchical Federated Learning on Non-IID Data

abstract: Distributed learning algorithms aim to leverage distributed and diverse data stored at users' devices to learn a global phenomena by performing training amongst participating devices and periodically aggregating their local models' parameters into a global model. Federated learning is a promising paradigm that allows for extending local training among the participant devices before aggregating the parameters, offering better communication efficiency. However, in the cases where the participants' data are strongly skewed (i.e., non-IID), the local models can overfit local data, leading to low performing global model. In this paper, we first show that a major cause of the performance drop is the weighted distance between the distribution over classes on users' devices and the global distribution. Then, to face this challenge, we leverage the edge computing paradigm to design a hierarchical learning system that performs Federated Gradient Descent on the user-edge layer and Federated Averaging on the edge-cloud layer. In this hierarchical architecture, we formalize and optimize this user-edge assignment problem such that edge-level data distributions turn to be similar (i.e., close to IID), which enhances the Federated Averaging performance. Our experiments on multiple real-world datasets show that the proposed optimized assignment is tractable and leads to faster convergence of models towards a better accuracy value.


title: Enhancing triboelectric nanogenerators power conversion efficiency with few-layers graphene flexible electrodes

abstract: The development of portable and wearable electronics requiring only few tens of microwatts to operate fosters the search for low power energy sources. Moreover, the fast-growing demand for new sustainable energy has raised the interest in energy harvesters able to convert mechanical energy into electrical power. Triboelectric nanogenerators (TENGs) can provide such green power supply. Recent developments in TENGs technology show that they can be used in different applications ranging from wearable self-powered sensors to wind and sea wave energy harvesting. In spite of the wide number of TENGs developed so far, an in depth understanding of their working principle is still missing. In this work, we highlight the fundamental role played by the interface between the triboelectric material and the electrode collector in contributing to the TENG's power generation. We show that by simply replacing the 'standard' gold electrodes with flexible few layer graphene electrodes in TENGs operating in vertical contact mode, a 26-fold increase in power density is achieved. Here, we elucidate the main mechanism at the base of such boost in power output, describing guidelines for the combination of electrode and triboelectric materials to optimize the mechanical energy conversion efficiency in TENGs.


title: A Manifold of Planar Triangular Meshes with Complete Riemannian Metric

abstract: Shape spaces are fundamental in a variety of applications including image registration, morphing, matching, interpolation, and shape optimization. In this work, we consider two-dimensional shapes represented by triangular meshes of a given connectivity. We show that the collection of admissible configurations representable by such meshes form a smooth manifold. For this manifold of planar triangular meshes we propose a geodesically complete Riemannian metric. It is a distinguishing feature of this metric that it preserves the mesh connectivity and prevents the mesh from degrading along geodesic curves. We detail a symplectic numerical integrator for the geodesic equation in its Hamiltonian formulation. Numerical experiments show that the proposed metric keeps the cell aspect ratios bounded away from zero and thus avoids mesh degradation along arbitrarily long geodesic curves.


title: DONE: Distributed Approximate Newton-type Method for Federated Edge Learning

abstract: There is growing interest in applying distributed machine learning to edge computing, forming federated edge learning. Federated edge learning faces non-i.i.d. and heterogeneous data, and the communication between edge workers, possibly through distant locations and with unstable wireless networks, is more costly than their local computational overhead. In this work, we propose DONE, a distributed approximate Newton-type algorithm with fast convergence rate for communication-efficient federated edge learning. First, with strongly convex and smooth loss functions, DONE approximates the Newton direction in a distributed manner using the classical Richardson iteration on each edge worker. Second, we prove that DONE has linear-quadratic convergence and analyze its communication complexities. Finally, the experimental results with non-i.i.d. and heterogeneous data show that DONE attains a comparable performance to the Newton's method. Notably, DONE requires fewer communication iterations compared to distributed gradient descent and outperforms DANE and FEDL, state-of-the-art approaches, in the case of non-quadratic loss functions.


title: Denoising-based Turbo Message Passing for Compressed Video Background Subtraction

abstract: In this paper, we consider the compressed video background subtraction problem that separates the background and foreground of a video from its compressed measurements. The background of a video usually lies in a low dimensional space and the foreground is usually sparse. More importantly, each video frame is a natural image that has textural patterns. By exploiting these properties, we develop a message passing algorithm termed offline denoising-based turbo message passing (DTMP). We show that these structural properties can be efficiently handled by the existing denoising techniques under the turbo message passing framework. We further extend the DTMP algorithm to the online scenario where the video data is collected in an online manner. The extension is based on the similarity/continuity between adjacent video frames. We adopt the optical flow method to refine the estimation of the foreground. We also adopt the sliding window based background estimation to reduce complexity. By exploiting the Gaussianity of messages, we develop the state evolution to characterize the per-iteration performance of offline and online DTMP. Comparing to the existing algorithms, DTMP can work at much lower compression rates, and can subtract the background successfully with a lower mean squared error and better visual quality for both offline and online compressed video background subtraction.


title: X-ray Plateaus in Gamma-Ray Burst Afterglows and Their Application in Cosmology

abstract: For gamma-ray bursts (GRBs) with a plateau phase in the X-ray afterglow, a so called $L-T-E$ correlation has been found which tightly connects the isotropic energy of the prompt GRB ($E_{\gamma,\rm{iso}}$) with the end time of the X-ray plateau ($T_{a}$) and the corresponding X-ray luminosity at the end time ($L_{X}$). Here we show that there is a clear redshift evolution in the correlation. Furthermore, since the power-law indices of $L_{X}$ and $E_{\gamma,\rm{iso}}$ in the correlation function are almost identical, the $L-T-E$ correlation is insensitive to cosmological parameters and cannot be used as a satisfactory standard candle. On the other hand, based on a sample including 121 long GRBs, we establish a new three parameter correlation that connects $L_{X}$, $T_{a}$ and the spectral peak energy $E_{\rm{p}}$, i.e. the $L-T-E_{\rm{p}}$ correlation. This correlation strongly supports the so-called Combo-relation established by Izzo et al. (2015). After correcting for the redshift evolution, we show that the de-evolved $L-T-E_{\rm{p}}$ correlation can be used as a standard candle. By using this correlation alone, we are able to constrain the cosmological parameters as $\Omega_{m}=0.389^{+0.202}_{-0.141}$ ($1\sigma$) for the flat $\Lambda$CDM model, or $\Omega_{m}=0.369^{+0.217}_{-0.191}$, $w=-0.966^{+0.513}_{-0.678}$ ($1\sigma$) for the flat $w$CDM model. Combining with other cosmological probes, more accurate constraints on the cosmology models are presented.


title: As Good as New. How to Successfully Recycle English GPT-2 to Make Models for Other Languages

abstract: Large generative language models have been very successful for English, but other languages lag behind, in part due to data and computational limitations. We propose a method that may overcome these problems by adapting existing pre-trained models to new languages. Specifically, we describe the adaptation of English GPT-2 to Italian and Dutch by retraining lexical embeddings without tuning the Transformer layers. As a result, we obtain lexical embeddings for Italian and Dutch that are aligned with the original English lexical embeddings. Additionally, we scale up complexity by transforming relearned lexical embeddings of GPT-2 small to the GPT-2 medium embedding space. This method minimises the amount of training and prevents losing information during adaptation that was learned by GPT-2. English GPT-2 models with relearned lexical embeddings can generate realistic sentences in Italian and Dutch. Though on average these sentences are still identifiable as artificial by humans, they are assessed on par with sentences generated by a GPT-2 model fully trained from scratch.


title: Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams

abstract: By using quantum mechanical effects, quantum computers promise significant speedups in solving problems intractable for conventional computers. However, despite recent progress they remain limited in scaling and availability-making quantum software and hardware development heavily reliant on quantum simulators running on conventional hardware. However, most of those simulators mimic perfect quantum computers and, hence, ignore the fragile nature of quantum mechanical effects which frequently yield to decoherence errors in real quantum devices. Considering those errors during the simulation is complex, but necessary in order to tailor quantum algorithms for specific devices. Thus far, most state-of-the-art simulators considering decoherence errors rely on (exponentially) large array representations. As an alternative, simulators based on decision diagrams have been shown very promising for simulation of quantum circuits in general, but have not supported decoherence errors yet. In this work, we are closing this gap. We investigate how the consideration of decoherence errors affects the simulation performance of approaches based on decision diagrams and propose advanced solutions to mitigate negative effects. Experiments confirm that this yields improvements of several orders of magnitudes compared to a naive consideration of errors.


title: Using dipole processes to constrain the flavour of four-fermion effective interactions

abstract: Dipole interactions encode a rich variety of phenomena, such as radiative decays and electric dipole moments in both quark and lepton sectors, which probe physics beyond the Standard Model up to very high energy scales; due to renormalization, non-dipole operators mix into dipole ones, thus possibly generating observable effects that can be investigated by those same phenomena. I consider four-fermion contact interactions for which the leading order mixing into dipoles happens at two-loops (i.e., when one-loop effects vanish) and for which this mixing can avoid small Yukawa couplings, and then explore the phenomenological consequences for flavour and $ \mathbf{CP} $ violation coming from New Physics.


title: Electron-hole superfluidity in strained Si/Ge type II heterojunctions

abstract: Excitons are promising candidates for generating superfluidity and Bose-Einstein Condensation (BEC) in solid state devices, but an enabling material platform with in-built bandstructure advantages and scaling compatibility with industrial semiconductor technology is lacking. Here we predict that spatially indirect excitons in a lattice-matched strained Si/Ge bilayer embedded into a germanium-rich SiGe crystal, would lead to observable mass-imbalanced electron-hole superfluidity and BEC. Holes would be confined in a compressively strained Ge quantum well and electrons in a lattice-matched tensile strained Si quantum well. We envision a device architecture that does not require an insulating barrier at the Si/Ge interface, since this interface offers a type II band alignment. Thus the electrons and holes can be kept very close but strictly separate, strengthening the electron-hole pairing attraction while preventing fast electron-hole recombination. The band alignment also allows a one-step procedure for making independent contacts to the electron and hole layers, overcoming a significant obstacle to device fabrication. We predict superfluidity at experimentally accessible temperatures of a few Kelvin and carrier densities up to $\sim 6\times 10^{10}$ cm$^{-2}$, while the large imbalance of the electron and hole effective masses can lead to exotic superfluid phases.


title: A generalised log-determinant regularizer for online semi-definite programming and its applications

abstract: We consider a variant of online semi-definite programming problem (OSDP): The decision space consists of semi-definite matrices with bounded $\Gamma$-trace norm, which is a generalization of trace norm defined by a positive definite matrix $\Gamma.$ To solve this problem, we utilise the follow-the-regularized-leader algorithm with a $\Gamma$-dependent log-determinant regularizer. Then we apply our generalised setting and our proposed algorithm to online matrix completion(OMC) and online similarity prediction with side information. In particular, we reduce the online matrix completion problem to the generalised OSDP problem, and the side information is represented as the $\Gamma$ matrix. Hence, due to our regret bound for the generalised OSDP, we obtain an optimal mistake bound for the OMC by removing the logarithmic factor.


title: Can we detect harmony in artistic compositions? A machine learning approach

abstract: Harmony in visual compositions is a concept that cannot be defined or easily expressed mathematically, even by humans. The goal of the research described in this paper was to find a numerical representation of artistic compositions with different levels of harmony. We ask humans to rate a collection of grayscale images based on the harmony they convey. To represent the images, a set of special features were designed and extracted. By doing so, it became possible to assign objective measures to subjectively judged compositions. Given the ratings and the extracted features, we utilized machine learning algorithms to evaluate the efficiency of such representations in a harmony classification problem. The best performing model (SVM) achieved 80% accuracy in distinguishing between harmonic and disharmonic images, which reinforces the assumption that concept of harmony can be expressed in a mathematical way that can be assessed by humans.


abstract: A characteristic polynomial is an important invariant in the field of hyperplane arrangement. For the Linial arrangement of any irreducible root system, Postnikov and Stanley conjectured that all roots of the characteristic polynomial have the same real part. In relation to this conjecture, Yoshinaga obtained an explicit relationship between the characteristic quasi-polynomial and the Ehrhart quasi-polynomial for the fundamental alcove. In this paper, we calculate Yoshinaga's explicit formula through the decomposition of the Ehrhart quasi-polynomial into several quasi-polynomials and a modified shift operator, and obtain new formulas for the characteristic quasi-polynomial of the Linial arrangement. In particular, when the parameter of the Linial arrangement is relatively prime to the period of the Ehrhart quasi-polynomial, we prove the Postnikov-Stanley Linial arrangement conjecture. This generalizes some of the results for the root systems of classical types that have been proved by Postnikov-Stanley and Athanasiadis. For other cases, we verify this conjecture for exceptional root systems using a computational approach.


title: Quantum stochastic cocycles and completely bounded semigroups on operator spaces II

abstract: Quantum stochastic cocycles provide a basic model for time-homogeneous Markovian evolutions in a quantum setting, and a direct counterpart in continuous time to quantum random walks, in both the Schrodinger and Heisenberg pictures. This paper is a sequel to one in which correspondences were established between classes of quantum stochastic cocycle on an operator space or C*-algebra, and classes of Schur-action `global' semigroup on associated matrix spaces over the operator space. In this paper we investigate the stochastic generation of cocycles via the generation of their corresponding global semigroups, with the primary purpose of strengthening the scope of applicability of semigroup theory to the analysis and construction of quantum stochastic cocycles. An explicit description is given of the affine relationship between the stochastic generator of a completely bounded cocycle and the generator of any one of its associated global semigroups. Using this, the structure of the stochastic generator of a completely positive quasicontractive quantum stochastic cocycle on a C*-algebra whose expectation semigroup is norm continuous is derived, giving a comprehensive stochastic generalisation of the Christensen--Evans extension of the GKS&L theorem of Gorini, Kossakowski and Sudarshan, and Lindblad. The transformation also provides a new existence theorem for cocycles with unbounded structure map as stochastic generator. The latter is applied to a model of interacting particles known as the quantum exclusion Markov process, in particular on integer lattices in dimensions one and two.


title: Note on a family of surfaces with $p_g=q=2$ and $K^2=7$

abstract: We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by C. Rito. We provide an alternative construction of these surfaces, that allows us to describe their Albanese map and the corresponding locus $\mathcal{M}$ in the moduli space of the surfaces of general type. In particular we prove that $\mathcal{M}$ is an open subset, and it has three connected components, two dimensional, irreducible and generically smooth.


title: Simplify Node-RED For End User Development in SeismoCloud

abstract: Networks of IoT devices often require configuration and definition of behavior by the final user. Node-RED is a flow-based programming platform commonly used for End User Development, but it requires networking and protocols skills in order to be efficiently used. We add a level of abstraction to Node-RED nodes in order to allow non-skilled users to configure and control networks of IoT devices and online services. We applied such abstractions to the SeismoCloud application for earthquake monitoring.


title: Fokas diagonalization of piecewise constant coefficient linear differential operators on finite intervals and networks

abstract: We describe a new form of diagonalization for linear two point constant coefficient differential operators with arbitrary linear boundary conditions. Although the diagonalization is in a weaker sense than that usually employed to solve initial boundary value problems (IBVP), we show that it is sufficient to solve IBVP whose spatial parts are described by such operators. We argue that the method described may be viewed as a reimplementation of the Fokas transform method for linear evolution equations on the finite interval. The results are extended to multipoint and interface operators, including operators defined on networks of finite intervals, in which the coefficients of the differential operator may vary between subintervals, and arbitrary interface and boundary conditions may be imposed; differential operators with piecewise constant coefficients are thus included. Both homogeneous and inhomogeneous problems are solved.


title: On matrix Painlev\'e II equations

abstract: The Painlev\'e--Kovalevskaya test is applied to find three matrix versions of the Painlev\'e II equation. All these equations are interpreted as group-invariant reductions of integrable matrix evolution equations, which makes it possible to construct isomonodromic Lax pairs for them.


title: Asymptotic study of stochastic adaptive algorithm in non-convex landscape

abstract: This paper studies some asymptotic properties of adaptive algorithms widely used in optimization and machine learning, and among them Adagrad and Rmsprop, which are involved in most of the blackbox deep learning algorithms. Our setup is the non-convex landscape optimization point of view, we consider a one time scale parametrization and we consider the situation where these algorithms may be used or not with mini-batches. We adopt the point of view of stochastic algorithms and establish the almost sure convergence of these methods when using a decreasing step-size point of view towards the set of critical points of the target function. With a mild extra assumption on the noise, we also obtain the convergence towards the set of minimizer of the function. Along our study, we also obtain a "convergence rate" of the methods, in the vein of the works of \cite{GhadimiLan}.


title: Weakly Supervised Arrhythmia Detection Based on Deep Convolutional Neural Network

abstract: Supervised deep learning has been widely used in the studies of automatic ECG classification, which largely benefits from sufficient annotation of large datasets. However, most of the existing large ECG datasets are roughly annotated, so the classification model trained on them can only detect the existence of abnormalities in a whole recording, but cannot determine their exact occurrence time. In addition, it may take huge time and economic cost to construct a fine-annotated ECG dataset. Therefore, this study proposes weakly supervised deep learning models for detecting abnormal ECG events and their occurrence time. The available supervision information for the models is limited to the event types in an ECG record, excluding the specific occurring time of each event. By leverage of feature locality of deep convolution neural network, the models first make predictions based on the local features, and then aggregate the local predictions to infer the existence of each event during the whole record. Through training, the local predictions are expected to reflect the specific occurring time of each event. To test their potentials, we apply the models for detecting cardiac rhythmic and morphological arrhythmias by using the AFDB and MITDB datasets, respectively. The results show that the models achieve beat-level accuracies of 99.09% in detecting atrial fibrillation, and 99.13% in detecting morphological arrhythmias, which are comparable to that of fully supervised learning models, demonstrating their effectiveness. The local prediction maps revealed by this method are also helpful to analyze and diagnose the decision logic of record-level classification models.


title: Exploring the cosmic censorship conjecture with a Gauss-Bonnet sector

abstract: The Dvali-Gabadadze-Porrati (DGP) braneworld model is employed to study the gravitational collapse of dust, with a Gauss-Bonnet (GB) term present in the five-dimensional bulk. We find that, within the normal (nonself-accelerating) DGP branch and due to the curvature effects from the GB component on the brane, the black hole singularity acquires modified features. More precisely, during collapse and for a finite comoving time, before a singularity would emerge at the zero physical radius, the first time derivative of the Hubble rate diverges, whereas the brane energy density and the Hubble rate remain finite. This is a peculiar behavior which displays similar properties to the sudden singularity occurring in particular late-time cosmological frameworks. Furthermore, the question of whether this altered singularity can be viewed by an external observer or will be hidden by a black hole horizon is addressed. We establish that, depending on the given induced-gravity parameter and the GB coupling constant, there exists a {\em threshold mass} for the collapsing dust, below which no trapped surfaces evolve as the collapse proceeds toward the singularity. In other words, a {\em naked sudden singularity} may form.


title: Control Analysis and Synthesis of Data-Driven Learning: A Kalman State-Space Approach

abstract: This paper aims to deal with the control analysis and synthesis problem of data-driven learning, regardless of unknown plant models and iteration-varying uncertainties. For the tracking of any desired target, a Kalman state-space approach is presented to transform it into two robust stability problems, which bridges a connection between data-driven control and model-based control. This approach also makes it possible to employ the extended state observer (ESO) in the design of data-driven learning to overcome the effect of iteration-varying uncertainties. It is shown that ESO-based data-driven learning ensures model-free systems to achieve the tracking of any desired target. In particular, our results apply to iterative learning control, which is verified by an example.


title: Learning Graphons via Structured Gromov-Wasserstein Barycenters

abstract: We propose a novel and principled method to learn a nonparametric graph model called graphon, which is defined in an infinite-dimensional space and represents arbitrary-size graphs. Based on the weak regularity lemma from the theory of graphons, we leverage a step function to approximate a graphon. We show that the cut distance of graphons can be relaxed to the Gromov-Wasserstein distance of their step functions. Accordingly, given a set of graphs generated by an underlying graphon, we learn the corresponding step function as the Gromov-Wasserstein barycenter of the given graphs. Furthermore, we develop several enhancements and extensions of the basic algorithm, $e.g.$, the smoothed Gromov-Wasserstein barycenter for guaranteeing the continuity of the learned graphons and the mixed Gromov-Wasserstein barycenters for learning multiple structured graphons. The proposed approach overcomes drawbacks of prior state-of-the-art methods, and outperforms them on both synthetic and real-world data. The code is available at https://github.com/HongtengXu/SGWB-Graphon.


title: HpGAN: Sequence Search with Generative Adversarial Networks

abstract: Sequences play an important role in many engineering applications and systems. Searching sequences with desired properties has long been an interesting but also challenging research topic. This article proposes a novel method, called HpGAN, to search desired sequences algorithmically using generative adversarial networks (GAN). HpGAN is based on the idea of zero-sum game to train a generative model, which can generate sequences with characteristics similar to the training sequences. In HpGAN, we design the Hopfield network as an encoder to avoid the limitations of GAN in generating discrete data. Compared with traditional sequence construction by algebraic tools, HpGAN is particularly suitable for intractable problems with complex objectives which prevent mathematical analysis. We demonstrate the search capabilities of HpGAN in two applications: 1) HpGAN successfully found many different mutually orthogonal complementary code sets (MOCCS) and optimal odd-length Z-complementary pairs (OB-ZCPs) which are not part of the training set. In the literature, both MOCSSs and OB-ZCPs have found wide applications in wireless communications. 2) HpGAN found new sequences which achieve four-times increase of signal-to-interference ratio--benchmarked against the well-known Legendre sequence--of a mismatched filter (MMF) estimator in pulse compression radar systems. These sequences outperform those found by AlphaSeq.


title: IRS-Aided SWIPT: Joint Waveform, Active and Passive Beamforming Design Under Nonlinear Harvester Model

abstract: The performance of Simultaneous Wireless Information and Power Transfer (SWIPT) is mainly constrained by the received Radio-Frequency (RF) signal strength. To tackle this problem, we introduce an Intelligent Reflecting Surface (IRS) to compensate the propagation loss and boost the transmission efficiency. This paper proposes a novel IRS-aided SWIPT system where a multi-carrier multi-antenna Access Point (AP) transmits information and power simultaneously, with the assist of an IRS, to a single-antenna User Equipment (UE) employing practical receiving schemes. Considering harvester nonlinearity, we characterize the achievable Rate-Energy (R-E) region through a joint optimization of waveform, active and passive beamforming based on the Channel State Information at the Transmitter (CSIT). This problem is solved by the Block Coordinate Descent (BCD) method, where we obtain the active precoder in closed form, the passive beamforming by the Successive Convex Approximation (SCA) approach, and the waveform amplitude by the Geometric Programming (GP) technique. To facilitate practical implementation, we also propose a low-complexity design based on closed-form adaptive waveform schemes. Simulation results demonstrate the proposed algorithms bring considerable R-E gains with robustness to CSIT inaccuracy and finite IRS states, and emphasize the importance of modeling harvester nonlinearity in the IRS-aided SWIPT design.


title: Experimental phase control of a 100 laser beam array with quasi-reinforcement learning of a neural network in an error reduction loop

abstract: An innovative scheme is proposed for the dynamic control of phase in two-dimensional laser beam array. It is based on a simple neural network that predicts the complex field array from the intensity of the induced scattered pattern through a phase intensity transformer made of a diffuser. Iterated phase corrections are applied on the laser field array by phase modulators via a feedback loop to set the array to prescribed phase values. A crucial feature is the use of a kind of reinforcement learning approach for the neural network training which takes account of the iterated corrections. Experiments on a proof of concept system demonstrated the high performance and scalability of the scheme with an array of up to 100 laser beams and a phase setting at 1/30 of the wavelength.


title: Towards a global dynamic wind atlas: A multi-country validation of wind power simulation from MERRA-2 and ERA-5 reanalyses bias-corrected with the Global Wind Atlas

abstract: Reanalysis data are widely used for simulating renewable energy and in particular wind power generation. While MERRA-2 has been a de-facto standard in many studies, the newer ERA5- reanalysis recently gained importance. Here, we use these two datasets to simulate wind power generation and evaluate the respective quality in terms of correlations and errors when validated against historical wind power generation. However, due to their coarse spatial resolution, reanalyses fail to adequately represent local climatic conditions. We therefore additionally apply mean bias correction with two versions of the Global Wind Atlas (GWA) and assess the respective quality of resulting simulations. Potential users of the dataset can also benefit from our analysis of the impact of spatial and temporal aggregation on simulation quality indicators. While similar studies have been conducted, they mainly cover limited areas in Europe. In contrast, we look into regions, which globally differ significantly in terms of the prevailing climate: the US, Brazil, South-Africa, and New Zealand. Our principal findings are that (i) ERA5 outperforms MERRA-2, (ii) no major improvements can be expected by using bias-correction with GWA2, while GWA3 even reduces simulation quality, and (iii) temporal aggregation increases correlations and reduces errors, while spatial aggregation does so only consistently when comparing very low and very high aggregation levels.


title: Concept Generalization in Visual Representation Learning

abstract: Measuring concept generalization, i.e., the extent to which models trained on a set of (seen) visual concepts can be leveraged to recognize a new set of (unseen) concepts, is a popular way of evaluating visual representations, especially in a self-supervised learning framework. Nonetheless, the choice of unseen concepts for such an evaluation is usually made arbitrarily, and independently from the seen concepts used to train representations, thus ignoring any semantic relationships between the two. In this paper, we argue that the semantic relationships between seen and unseen concepts affect generalization performance and propose ImageNet-CoG, a novel benchmark on the ImageNet-21K (IN-21K) dataset that enables measuring concept generalization in a principled way. Our benchmark leverages expert knowledge that comes from WordNet in order to define a sequence of unseen IN-21K concept sets that are semantically more and more distant from the ImageNet-1K (IN-1K) subset, a ubiquitous training set. This allows us to benchmark visual representations learned on IN-1K out-of-the box. We conduct a large-scale study encompassing 31 convolution and transformer-based models and show how different architectures, levels of supervision, regularization techniques and use of web data impact the concept generalization performance.


title: Dephasing-assisted entanglement in a system of strongly coupled qubits

abstract: Creation of entangled states of quantum systems with low decoherence rates is a cornerstone in practical implementation of quantum computations. Processes of separate dephasing in each qubit in experimentally feasible systems is commonly accepted to destroy entanglement. In this work, we consider a system of two strongly coupled qubits that interact with dephasing reservoirs. We demonstrate that interaction with dephasing reservoirs can contribute to the formation of a long-lived mixed entangled state with nonzero concurrence. The weight of the subradiant state in this mixed state tends toward unity if the dephasing rate is much larger than the radiative rate and less than the coupling constant between qubits. The lifetime of this state is proportional to the exponent of the ratio of the coupling constant to environmental temperature and can be, by orders of magnitude, larger than the system's characteristic dephasing and dissipation times. Therefore, high dephasing, along with strong coupling, contributes to the creation of an entangled state with a long lifetime. This result paves the way for creation of long-lived entangled states.


title: Global linear and nonlinear gyrokinetic modelling of Alfv\'en eigenmodes in ITER

abstract: Linear and nonlinear modelling of Alfv\'enic instabilities, most notably toroidal Alfv\'en eigenmodes (TAEs), obtained by using the global nonlinear electromagnetic gyrokinetic model of the code ORB5 are presented for the 15 MA scenario of the ITER tokamak. Linear simulations show that elliptic Alfv\'en eigenmodes and odd-parity TAEs are only weakly damped but not excited by alpha particles, whose drive favours even-parity TAEs. Low mode number TAEs are found to be global, requiring global treatment. Nonlinearly, even with double the nominal EP density, single mode simulations lead to saturation with negligible EP transport however multi-mode simulations predict that with double the nominal EP density, enhanced saturation and significant EP redistribution will occur.


title: Simple length spectra as moduli for hyperbolic surfaces and rigidity of length identities

abstract: In this article, we revisit classical length identities enjoyed by simple closed curves on hyperbolic surfaces. We state and prove rigidity of such identities over Teichm\"uller spaces. Due to this rigidity, simple closed curves with few intersections are characterised on generic hyperbolic surfaces by their lengths. As an application, we construct a meagre set $V$ in the Teichm\"uller space of a topological surface $S$, possibly of infinite type. Then the isometry class of a (Nielsen-convex) hyperbolic structure on $S$ outside $V$ is characterised by its unmarked simple length spectrum. Namely, we show that the simple length spectra can be used as moduli for generic hyperbolic surfaces. In the case of compact surfaces, an analogous result using length spectra was obtained by Wolpert.


title: Internet of Buoys: An Internet of Things Implementation at Sea

abstract: Internet of Things (IoT) applications are emerging in many different areas, including maritime environments. One of the applications in this area is the monitoring of buoys at sea. To realize wireless tracking of buoys, an accurate prediction of the path loss in an open-sea environment is essential. So far, channel measurements at sea have mainly been conducted with antennas placed a couple of meters above the sea surface, which is higher than the buoys themselves. Therefore, we investigated the validity of the published channel models at sea by means of path loss measurements using a LoRa link with a transmitter antenna height of 0.35 m and a base station antenna height of 2.65 m and 5.2 m. Our results show that the round earth loss model is not accurate at these antenna heights. The ITU-R P.2001-3 model and a model by Bullington show a better agreement with our measurements. However, the difference between our two measurement campaigns shows that more investigation is needed on the dependence of the path loss on the sea state. Additionally, the availability of Sigfox, Narrowband Internet of Things (NB-IoT), and The Things Network at sea has been explored. We found that NB-IoT and Sigfox can be used for IoT applications in the tested area at low antenna heights.


title: Time-reversal symmetry breaking and multigap superconductivity in the noncentrosymmetric superconductor La$_{7}$Ni$_{3}$

abstract: The Th$_{7}$Fe$_{3}$ family of superconductors provides a rich playground for unconventional superconductivity. La$_7$Ni$_3$ is the latest member of this family, which we here investigate by means of thermodynamic and muon spin rotation and relaxation measurements. Our specific heat data provides evidence for two distinct and approximately isotropic superconducting gaps. The larger gap has a value slightly higher than that of weak-coupling BCS theory, indicating the presence of significant correlations. These observations are confirmed by transverse-field muon-rotation measurements. Furthermore, zero-field measurements reveal small internal fields in the superconducting state, which occur close to the onset of superconductivity and indicate that the superconducting order parameter breaks time-reversal symmetry. We discuss two possible microscopic scenarios -- an unconventional $E_{2}(1,i)$ state and an $s+i\,s$ superconductor, which is reached by two consecutive transitions -- and illustrate which interactions will favor these phases. Our results establish La$_{7}$Ni$_{3}$ as the first member of the Th$_{7}$Fe$_{3}$ family displaying both time-reversal-symmetry-breaking and multigap superconductivity.


title: Engines of Parsimony: Part III; Performance Trade-offs for Reversible Computers Sharing Resources

abstract: This paper concludes a three-Part series on the limits the laws of physics place on the sustained performance of reversible computers. Part I concerned aggregate performance in terms of computational operations per unit time, but neglected to consider interactions among computational sub-units or between computational sub-units and shared resources such as memory or chemical species. Part II extended the analysis to consider the former set of interactions. In this Part we extend the analysis to consider the latter set, with a particular focus on resource distribution in the first half. It is found that most schemes imaginable fail to function effectively in the limit of vanishing 'computational bias' $b$, which measures the net fraction of transitions which are successful, and falls as the system grows in size. Driving thermodynamically unfavourable reactions, such as resource distribution, is a very general problem for such systems and can be solved by supplying a sufficient excess of free energy. We propose a scheme to dynamically supply enough free energy for a given reaction, automatically and rapidly adapting to changes in the disequilibrium state of said reaction--including the case when the favourable reaction direction switches. The overhead of this scheme is no worse than the overhead found in Part II for communicating reversible computers under the same regime.


title: Cycle convexity and the tunnel number of links

abstract: In this work, we introduce a new graph convexity, that we call Cycle Convexity, motivated by related notions in Knot Theory. For a graph $G=(V,E)$, define the interval function in the Cycle Convexity as $I_{cc}(S) = S\cup \{v\in V(G)\mid \text{there is a cycle }C\text{ in }G\text{ such that } V(C)\setminus S=\{v\}\}$, for every $S\subseteq V(G)$. We say that $S\subseteq V(G)$ is convex if $I_{cc}(S)=S$. The convex hull of $S\subseteq V(G)$, denoted by $Hull(S)$, is the inclusion-wise minimal convex set $S'$ such that $S\subseteq S'$. A set $S\subseteq V(G)$ is called a hull set if $Hull(S)=V(G)$. The hull number of $G$ in the cycle convexity, denoted by $hn_{cc}(G)$, is the cardinality of a smallest hull set of $G$. We first present the motivation for introducing such convexity and the study of its related hull number. Then, we prove that: the hull number of a 4-regular planar graph is at most half of its vertices; computing the hull number of a planar graph is an $NP$-complete problem; computing the hull humber of chordal graphs, $P_4$-sparse graphs and grids can be done in polynomial time.


title: Geometric Adversarial Attacks and Defenses on 3D Point Clouds

abstract: Deep neural networks are prone to adversarial examples that maliciously alter the network's outcome. Due to the increasing popularity of 3D sensors in safety-critical systems and the vast deployment of deep learning models for 3D point sets, there is a growing interest in adversarial attacks and defenses for such models. So far, the research has focused on the semantic level, namely, deep point cloud classifiers. However, point clouds are also widely used in a geometric-related form that includes encoding and reconstructing the geometry. In this work, we are the first to consider the problem of adversarial examples at a geometric level. In this setting, the question is how to craft a small change to a clean source point cloud that leads, after passing through an autoencoder model, to the reconstruction of a different target shape. Our attack is in sharp contrast to existing semantic attacks on 3D point clouds. While such works aim to modify the predicted label by a classifier, we alter the entire reconstructed geometry. Additionally, we demonstrate the robustness of our attack in the case of defense, where we show that remnant characteristics of the target shape are still present at the output after applying the defense to the adversarial input. Our code is publicly available at https://github.com/itailang/geometric_adv.


title: Confinement of matter-wave solitons on top of a pedestal-shaped potential

abstract: Reflection of wave packets from downward potential steps and attractive potentials, known as a quantum reflection, has been explored for bright matter-wave solitons with the main emphasis on the possibility to trap them on top of a pedestal-shaped potential. In numerical simulations, we observed that moving solitons return from the borders of the potential and remain trapped for a sufficiently long time. The shuttle motion of the soliton is accompanied by shedding some amount of matter at each reflection from the borders of the trap, thus reducing its norm. The one- and two- soliton configurations are considered. A discontinuous jump of trajectories of colliding solitons has been discussed. The time-shift observed in a step-like decay of the moving soliton's norm in the two-soliton configuration is linked to the trajectory jump phenomenon. The obtained results can be of interest for the design of new soliton experiments with Bose-Einstein condensates.


title: Multiferroic order parameters in rhombic antiferromagnets. RCrO$_3$

abstract: In this paper, we explore magneteoelectricity of rare earth orthochromites from the symmetry point of view. We determine the principal structural order parameters and find their couplings with ferroelectric and magnetic orderings. Our calculations showed that electric dipole moments emerge in the vicinity of Cr3+ ions in the unit cell of RCrO3 due to the displacements of oxygen ions from their highly symmetric positions in the parent perovskite phase (structural instability). We find that the electric dipole moments are arranged in an antiferroelectric mode, so, in essence, RCrO3 are antiferroelectric materials. By classifying the order parameters according to the irreducible representations of the RCrO3 symmetry group (D2h16), we determine the possible couplings between distortive, ferroelectric and magnetic orderings and explore the emerging magnetoelectric structures in these terms. Our analysis makes it possible to explain experimentally observed polarization reversal and the concomitant reorientation of spins in a series of RCrO3 compounds and to predict the possible scenarios of phase transitions in RCrO3.


title: Slimmable Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) have achieved remarkable progress in recent years, but the continuously growing scale of models makes them challenging to deploy widely in practical applications. In particular, for real-time generation tasks, different devices require generators of different sizes due to varying computing power. In this paper, we introduce slimmable GANs (SlimGANs), which can flexibly switch the width of the generator to accommodate various quality-efficiency trade-offs at runtime. Specifically, we leverage multiple discriminators that share partial parameters to train the slimmable generator. To facilitate the \textit{consistency} between generators of different widths, we present a stepwise inplace distillation technique that encourages narrow generators to learn from wide ones. As for class-conditional generation, we propose a sliceable conditional batch normalization that incorporates the label information into different widths. Our methods are validated, both quantitatively and qualitatively, by extensive experiments and a detailed ablation study.


title: Effect of the regularization hyperparameter on deep learning-based segmentation in LGE-MRI

abstract: The extent to which the arbitrarily selected L2 regularization hyperparameter value affects the outcome of semantic segmentation with deep learning is demonstrated. Demonstrations rely on training U-net on small LGE-MRI datasets using the arbitrarily selected L2 regularization values. The remaining hyperparameters are to be manually adjusted or tuned only when 10 % of all epochs are reached before the training validation accuracy reaches 90%. Semantic segmentation with deep learning outcomes are objectively and subjectively evaluated against the manual ground truth segmentation.


title: Quantum fluctuations of energy in subsystems of a hot relativistic gas

abstract: We derive a formula that defines quantum fluctuations of energy in subsystems of a hot relativistic gas. For small subsystem sizes we find substantial increase of fluctuations compared to those known from standard thermodynamic considerations. However, if the size of the subsystem is sufficiently large, we reproduce the result for energy fluctuations in the canonical ensemble. Our results are subsequently used in the context of relativistic heavy-ion collisions to introduce limitations of the concepts such as classical energy density or fluid element. In the straightforward way, our formula can be applied in other fields of physics, wherever one deals with hot and relativistic matter.


title: Eulerian and Lagrangian second-order statistics of superfluid ${^4}$He grid turbulence

abstract: We use particle tracking velocimetry to study Eulerian and Lagrangian second-order statistics of superfluid $^4$He grid turbulence. The Eulerian energy spectra at scales larger than the mean distance between quantum vortex lines behave classically with close to Kolmogorov-1941 scaling and are almost isotropic. The Lagrangian second-order structure functions and frequency power spectra, measured at scales comparable with the intervortex distance, demonstrate a sharp transition from nearly-classical behavior to a regime dominated by the motion of quantum vortex lines. Employing the homogeneity of the flow, we verify a set of relations that connect various second-order statistical objects that stress different aspects of turbulent behavior, allowing a multifaceted analysis. We use the two-way bridge relations between Eulerian energy spectra and second-order structure functions to reconstruct the energy spectrum from the known second-order velocity structure function and vice versa. The Lagrangian frequency spectrum reconstructed from the measured Eulerian spectrum using the Eulerian-Lagrangian bridge differs from the measured Lagrangian spectrum in the quasi-classical range which calls for further investigation.


title: Construction of eigenfunctions for the elliptic Ruijsenaars difference operators

abstract: We present a perturbative construction of two kinds of eigenfunctions of the commuting family of difference operators defining the elliptic Ruijsenaars system. The first kind corresponds to elliptic deformations of the Macdonald polynomials, and the second kind generalizes asymptotically free eigenfunctions previously constructed in the trigonometric case. We obtain these eigenfunctions as infinite series which, as we show, converge in suitable domains of the variables and parameters. Our results imply that, for the domain where the elliptic Ruijsenaars operators define a relativistic quantum mechanical system, the elliptic deformations of the Macdonald polynomials provide a family of orthogonal functions with respect to the pertinent scalar product.


title: Factor Graph Molecule Network for Structure Elucidation

abstract: Designing a network to learn a molecule structure given its physical/chemical properties is a hard problem, but is useful for drug discovery tasks. In this paper, we incorporate higher-order relational learning of Factor Graphs with strong approximation power of Neural Networks to create a molecule-structure learning network that has strong generalization power and can enforce higher-order relationship and valence constraints. We further propose methods to tackle problems such as the efficient design of factor nodes, conditional parameter sharing among factors, and symmetry problems in molecule structure prediction. Our experiment evaluation shows that the factor learning is effective and outperforms related methods.


title: Some properties of the Kilbas-Saigo function

abstract: We characterize the complete monotonicity of the Kilbas-Saigo function on the negative half-line. We also provide the exact asymptotics at $-\infty$, and uniform hyperbolic bounds are derived. The same questions are addressed for the classical Le Roy function. The main ingredient for the proof is a probabilistic representation of these functions in terms of the stable subordinator.


title: On the Secrecy Capacity of MIMO Wiretap Channels: Convex Reformulation and Efficient Numerical Methods

abstract: This paper presents novel numerical approaches to finding the secrecy capacity of the multiple-input multiple-output (MIMO) wiretap channel subject to multiple linear transmit covariance constraints, including sum power constraint, per antenna power constraints and interference power constraint. An analytical solution to this problem is not known and existing numerical solutions suffer from slow convergence rate and/or high per-iteration complexity. Deriving computationally efficient solutions to the secrecy capacity problem is challenging since the secrecy rate is expressed as a difference of convex functions (DC) of the transmit covariance matrix, for which its convexity is only known for some special cases. In this paper we propose two low-complexity methods to compute the secrecy capacity along with a convex reformulation for degraded channels. In the first method we capitalize on the accelerated DC algorithm which requires solving a sequence of convex subproblems, for which we propose an efficient iterative algorithm where each iteration admits a closed-form solution. In the second method, we rely on the concave-convex equivalent reformulation of the secrecy capacity problem which allows us to derive the so-called partial best response algorithm to obtain an optimal solution. Notably, each iteration of the second method can also be done in closed form. The simulation results demonstrate a faster convergence rate of our methods compared to other known solutions. We carry out extensive numerical experiments to evaluate the impact of various parameters on the achieved secrecy capacity.


title: Multilevel Delayed Acceptance MCMC with an Adaptive Error Model in PyMC3

abstract: Uncertainty Quantification through Markov Chain Monte Carlo (MCMC) can be prohibitively expensive for target probability densities with expensive likelihood functions, for instance when the evaluation it involves solving a Partial Differential Equation (PDE), as is the case in a wide range of engineering applications. Multilevel Delayed Acceptance (MLDA) with an Adaptive Error Model (AEM) is a novel approach, which alleviates this problem by exploiting a hierarchy of models, with increasing complexity and cost, and correcting the inexpensive models on-the-fly. The method has been integrated within the open-source probabilistic programming package PyMC3 and is available in the latest development version. In this paper, the algorithm is presented along with an illustrative example.


title: Status of a point-like neutron generator development

abstract: In this paper we report on a high current density ion beam profile diagnostics with a slit-based system as a reliable method, capable of high thermal load applications. The task arose in frames of a point-like neutron source development for neutron radiography. In previous research, it was suggested to construct such a system as a D-D neutron generator based on the high current gasdynamic ion source, which utilises the plasma of electron cyclotron resonance discharge sustained by powerful millimeter wave gyrotron radiation. This device is able to produce focused D+ beams with a characteristic diameter of 1 mm, total current above 100 mA, and current density at a level of several A/cm^2. Study of such intense beams profile to obtain the best focusing efficiency and minimize neutron producing area appeared to be a challenging task. The paper also demonstrates the possibility of fast neutron imaging with a point-like powerful neutron generator (neutron yield on the level of 10^10 1/s).


title: Uniqueness for Riccati equations with unbounded operator coefficients

abstract: In this article we address the issue of uniqueness for differential and algebraic operator Riccati equations, under a distinctive set of assumptions on their unbounded coefficients. The class of boundary control systems characterized by these assumptions encompasses diverse significant physical interactions, all modeled by systems of coupled hyperbolic/parabolic partial differential equations. The proofs of uniqueness provided tackle and overcome the obstacles raised by the peculiar regularity properties of the composite dynamics. These results supplement the theories of the finite and infinite time horizon linear-quadratic problem devised by the authors jointly with Lasiecka, as the unique solution to the Riccati equation enters the closed loop form of the optimal control.


title: New Analytical and Geometrical Aspects of the Algebraic Multiplicity

abstract: This paper reveals some new analytical and geometrical properties of the generalized algebraic multiplicity, $\chi$, introduced in [7, 5] and further developed in [20, 23, 24]. In particular, it establishes a completely new connection between $\chi$ and the concept of local intersection index of algebraic varieties, a central device in Algebraic Geometry. This link between Nonlinear Spectral Theory and Algebraic Geometry provides to $\chi$ with a deep geometrical meaning. Moreover, $\chi$ is characterized through the new notion of local determinant of the Schur operator associated to the linear path, $\mathfrak{L}(\lambda)$.


title: Imitating Interactive Intelligence

abstract: A common vision from science fiction is that robots will one day inhabit our physical spaces, sense the world as we do, assist our physical labours, and communicate with us through natural language. Here we study how to design artificial agents that can interact naturally with humans using the simplification of a virtual environment. This setting nevertheless integrates a number of the central challenges of artificial intelligence (AI) research: complex visual perception and goal-directed physical control, grounded language comprehension and production, and multi-agent social interaction. To build agents that can robustly interact with humans, we would ideally train them while they interact with humans. However, this is presently impractical. Therefore, we approximate the role of the human with another learned agent, and use ideas from inverse reinforcement learning to reduce the disparities between human-human and agent-agent interactive behaviour. Rigorously evaluating our agents poses a great challenge, so we develop a variety of behavioural tests, including evaluation by humans who watch videos of agents or interact directly with them. These evaluations convincingly demonstrate that interactive training and auxiliary losses improve agent behaviour beyond what is achieved by supervised learning of actions alone. Further, we demonstrate that agent capabilities generalise beyond literal experiences in the dataset. Finally, we train evaluation models whose ratings of agents agree well with human judgement, thus permitting the evaluation of new agent models without additional effort. Taken together, our results in this virtual environment provide evidence that large-scale human behavioural imitation is a promising tool to create intelligent, interactive agents, and the challenge of reliably evaluating such agents is possible to surmount.


title: A 12-mode Universal Photonic Processor for Quantum Information Processing

abstract: Photonic processors are pivotal for both quantum and classical information processing tasks using light. In particular, linear optical quantum information processing requires both largescale and low-loss programmable photonic processors. In this paper, we report the demonstration of the largest universal quantum photonic processor to date: a low-loss, 12-mode fully tunable linear interferometer with all-to-all coupling based on stoichiometric silicon nitride waveguides.


title: Turbulence nowcast for the Cerro Paranal and Cerro Armazones observatory sites

abstract: Optical turbulence affects significantly the quality of ground-based astronomical observations. An accurate and reliable forecast of optical turbulence can help to optimise the scheduling of the science observations and to improve both the quality of the data and the scientific productivity of the observatory. However, forecasts of the turbulence to a level of accuracy that is useful in the operations of large observatories are notoriously difficult to obtain. Several routes have been investigated, from detailed physical modelling of the atmosphere to empirical data-driven approaches. Here, we present an empirical approach exploiting spatial diversity and based on simultaneous measurements between two nearby sites, Cerro Paranal, host of the Very Large Telescope (VLT), and Cerro Armazones, future host of the Extremely Large Telescope (ELT) in Chile. We study the correlation between the high-altitude turbulence as measured between those two sites. This is part of the on-going efforts initiated by the European Southern Observatory (ESO), to obtain short-term forecasts of the turbulence to facilitate the operations of the VLT and prepare the ELT mode of operations.


title: A Cubic analogue of the Friedlander-Iwaniec spin over primes

abstract: In 1998 Friedlander and Iwaniec proved that there are infinitely many primes of the form $a^2+b^4$. To show this they defined the spin of Gaussian integers by the Jacobi symbol, and one of the key ingredients in the proof was to show that the spin becomes equidistributed along Gaussian primes. To generalize this we define the cubic spin of ideals of $\mathbb{Z}[\zeta_{12}]=\mathbb{Z}[\zeta_3,i]$ by using the cubic residue character on the Eisenstein integers $\mathbb{Z}[\zeta_3]$. Our main theorem says that the cubic spin is equidistributed along prime ideals of $\mathbb{Z}[\zeta_{12}]$. The proof of this follows closely along the lines of Friedlander and Iwaniec. The main new feature in our case is the infinite unit group, which means that we need to show that the definition of the cubic spin on the ring of integers lifts to a well-defined function on the ideals. We also explain how the cubic spin arises if we consider primes of the form $a^2+b^6$ on the Eisenstein integers.


title: Wakefield decay in a radially bounded plasma due to formation of electron halo

abstract: There is a new effect that can limit the lifetime of a weakly nonlinear wakefield in a radially bounded plasma. If the drive beam is narrow, some of the plasma electrons fall out of the collective motion and leave the plasma radially, forming a negatively charged halo around it. These electrons repeatedly return to the plasma under the action of the charge separation field, interact with the plasma wave and cause its damping. The lowest-energy halo electrons take the energy from the wave more efficiently, because their trajectories are bent by the plasma wave towards the regions of the strongest acceleration. For correct accounting of the wave damping in simulations, it is necessary and sufficient to take the simulation window twice as wide as the plasma.


title: A Convex Programming Solution Based Debiased Estimator for Quantile with Missing Response and High-dimensional Covariables

abstract: This paper is concerned with the estimating problem of response quantile with high dimensional covariates when response is missing at random. Some existing methods define root-n consistent estimators for the response quantile. But these methods require correct specifications of both the conditional distribution of response given covariates and the selection probability function. In this paper, a debiased method is proposed by solving a convex programming. The estimator obtained by the proposed method is asymptotically normal given a correctly specified parametric model for the condition distribution function, without the requirement to specify and estimate the selection probability function. Moreover, the proposed estimator is asymptotically more efficient than the existing estimators. The proposed method is evaluated by a simulation study and is illustrated by a real data example.


title: Algebraic geometry of Lie bialgebras defined by solutions of the classical Yang-Baxter equation

abstract: This paper is devoted to algebro-geometric study of infinite dimensional Lie bialgebras, which arise from solutions of the classical Yang-Baxter equation. We regard trigonometric solutions of this equation as twists of the standard Lie bialgebra cobracket on an appropriate affine Lie algebra and work out the corresponding theory of Manin triples, putting it into an algebro-geometric context. As a consequence of this approach, we prove that any trigonometric solution of the classical Yang-Baxter equation arises from an appropriate algebro-geometric datum. The developed theory is illustrated by some concrete examples.


title: Classification of classical twists of the standard Lie bialgebra structure on a loop algebra

abstract: The standard Lie bialgebra structure on an affine Kac-Moody algebra induces a Lie bialgebra structure on the underlying loop algebra and its parabolic subalgebras. In this paper we classify all classical twists of the induced Lie bialgebra structures in terms of Belavin-Drinfeld quadruples up to a natural notion of equivalence. To obtain this classification we first show that the induced bialgebra structures are defined by certain solutions of the classical Yang-Baxter equation (CYBE) with two parameters. Then, using the algebro-geometric theory of CYBE, based on torsion free coherent sheaves, we reduce the problem to the well-known classification of trigonometric solutions given by Belavin and Drinfeld. The classification of twists in the case of parabolic subalgebras allows us to answer recently posed open questions regarding the so-called quasi-trigonometric solutions of CYBE.


title: Direct multimodal few-shot learning of speech and images

abstract: We propose direct multimodal few-shot models that learn a shared embedding space of spoken words and images from only a few paired examples. Imagine an agent is shown an image along with a spoken word describing the object in the picture, e.g. pen, book and eraser. After observing a few paired examples of each class, the model is asked to identify the "book" in a set of unseen pictures. Previous work used a two-step indirect approach relying on learned unimodal representations: speech-speech and image-image comparisons are performed across the support set of given speech-image pairs. We propose two direct models which instead learn a single multimodal space where inputs from different modalities are directly comparable: a multimodal triplet network (MTriplet) and a multimodal correspondence autoencoder (MCAE). To train these direct models, we mine speech-image pairs: the support set is used to pair up unlabelled in-domain speech and images. In a speech-to-image digit matching task, direct models outperform indirect models, with the MTriplet achieving the best multimodal five-shot accuracy. We show that the improvements are due to the combination of unsupervised and transfer learning in the direct models, and the absence of two-step compounding errors.


title: Equations of some embeddings of a projective space into another one

abstract: In arXiv:math/0405373 , Eisenbud, Huneke and Ulrich conjectured a result on the Castelnuovo-Mumford regularity of the embedding of a projective space $\mathbb{P}^{n-1}\hookrightarrow \mathbb{P}^{r-1}$ determined by generators of a linearly presented $\mathfrak{m}$-primary ideal. This result implies in particular that the image is scheme defined by equations of degree at most $n$. In this text we prove that the ideal of maximal minors of the Jacobian dual matrix associated to the input ideal defines the image as a scheme; it is generated in degree $n$. Showing that this ideal has a linear resolution would imply that the conjecture in arXiv:math/0405373 holds. Furthermore, if this ideal of minors coincides with the one of the image in degree $n$ - what we hope to be true - the linearity of the resolution of this ideal of maximal minors is equivalent to the conjecture in arXiv:math/0405373.


title: Tractable Combinations of Temporal CSPs

abstract: The constraint satisfaction problem (CSP) of a first-order theory T is the computational problem of deciding whether a given conjunction of atomic formulas is satisfiable in some model of T. We study the computational complexity of CSP$(T_1 \cup T_2)$ where $T_1$ and $T_2$ are theories with disjoint finite relational signatures. We prove that if $T_1$ and $T_2$ are the theories of temporal structures, i.e., structures where all relations have a first-order definition in $(Q;<)$, then CSP$(T_1 \cup T_2)$ is in P or NP-complete. To this end we prove a purely algebraic statement about the structure of the lattice of locally closed clones over the domain $Q$ that contain Aut$(Q;<)$.


title: Extensions of weak matroids over skew tracts and strong matroids over stringent skew hyperfields

abstract: Matroids over skew tracts provide an algebraic framework simultaneously generalizing the notions of linear subspaces, matroids, oriented matroids, phased matroids, and some other "matroids with extra structure". A single-element extension of a matroid $\mathcal{M}$ over a skew tract $T$ is a matroid $\widetilde{\mathcal{M}}$ over $T$ obtained from $\mathcal{M}$ by adding one more element. Crapo characterized single-element extensions of ordinary matroids, and Las Vergnas characterized single-element extensions of oriented matroids, in terms of single-element extensions of their rank 2 contractions. The results of Crapo and Las Vergnas do not generalize to matroids over skew tracts, but we will show a necessary and sufficient condition on skew tracts, called Pathetic Cancellation, such that the result can generalize to weak matroids over skew tracts. Stringent skew hyperfields are a special case of skew tracts which behave in many ways like skew fields. We find a characterization of single-element extensions of strong matroids over stringent skew hyperfields.


title: Recurrent Point Review Models

abstract: Deep neural network models represent the state-of-the-art methodologies for natural language processing. Here we build on top of these methodologies to incorporate temporal information and model how to review data changes with time. Specifically, we use the dynamic representations of recurrent point process models, which encode the history of how business or service reviews are received in time, to generate instantaneous language models with improved prediction capabilities. Simultaneously, our methodologies enhance the predictive power of our point process models by incorporating summarized review content representations. We provide recurrent network and temporal convolution solutions for modeling the review content. We deploy our methodologies in the context of recommender systems, effectively characterizing the change in preference and taste of users as time evolves. Source code is available at [1].


title: Generative Deep Learning Techniques for Password Generation

abstract: Password guessing approaches via deep learning have recently been investigated with significant breakthroughs in their ability to generate novel, realistic password candidates. In the present work we study a broad collection of deep learning and probabilistic based models in the light of password guessing: attention-based deep neural networks, autoencoding mechanisms and generative adversarial networks. We provide novel generative deep-learning models in terms of variational autoencoders exhibiting state-of-art sampling performance, yielding additional latent-space features such as interpolations and targeted sampling. Lastly, we perform a thorough empirical analysis in a unified controlled framework over well-known datasets (RockYou, LinkedIn, Youku, Zomato, Pwnd). Our results not only identify the most promising schemes driven by deep neural networks, but also illustrate the strengths of each approach in terms of generation variability and sample uniqueness.


title: A Theory and Calculation of Lunar Center of Mass Shift and the Crustal Thickness Difference Between Far and Near Sides of the Moon

abstract: The cause for the difference in crustal thickness between the far and near sides of the moon has been considered an open problem in astronomy since 1959 when the Soviet spacecraft Luna 3 sent back the first images of the lunar farside. The problem is referred to as the lunar farside highlands problem. In this article, the author deduces the center of mass shift of the moon from its geometrical center and the difference in crustal thickness between the far and near lunar sides necessary to explain it. Although there have been other theories proposed to explain these phenomena, this theory explains them as arising naturally from the effects on lunar material due to the earth's external gravity force and the moon's synchronous rotation and revolution. The author's mathematical model results in a calculated value of 1.6 km for the center of mass shift and a crustal thickness difference of 16 km. The author's deduced values of center of mass shift and crustal thickness difference are close to within about 5 to 10% of their accepted values. One unexpected and deducible result of the author's theory is that the center of mass shift of the moon is decreasing towards moon center under lunar recession at the current rate of about 1.6 x 10-4 mm/yr.


title: Spin Wave Electromagnetic Nonlinear Interaction to Move RF Limiter Frequency Range to Higher Frequencies

abstract: It is shown here that the usual operating frequencies for RF limiters, in the nominal 5, 11 or 15 GHz center frequencies, can be lifted up into the much higher frequencies of the 40 to 60 GHz range by a new formula developed from fundamental spin wave electromagnetic interactions in magnetic material characterized by a magnetization M.


title: GDA-HIN: A Generalized Domain Adaptive Model across Heterogeneous Information Networks

abstract: Domain adaptation using graph-structured networks learns label-discriminative and network-invariant node embeddings by sharing graph parameters. Most existing works focus on domain adaptation of homogeneous networks. The few works that study heterogeneous cases only consider shared node types but ignore private node types in individual networks. However, for given source and target heterogeneous networks, they generally contain shared and private node types, where private types bring an extra challenge for graph domain adaptation. In this paper, we investigate Heterogeneous Information Networks (HINs) with both shared and private node types and propose a Generalized Domain Adaptive model across HINs (GDA-HIN) to handle the domain shift between them. GDA-HIN can not only align the distribution of identical-type nodes and edges in two HINs but also make full use of different-type nodes and edges to improve the performance of knowledge transfer. Extensive experiments on several datasets demonstrate that GDA-HIN can outperform state-of-the-art methods in various domain adaptation tasks across heterogeneous networks.


title: Interactive Fusion of Multi-level Features for Compositional Activity Recognition

abstract: To understand a complex action, multiple sources of information, including appearance, positional, and semantic features, need to be integrated. However, these features are difficult to be fused since they often differ significantly in modality and dimensionality. In this paper, we present a novel framework that accomplishes this goal by interactive fusion, namely, projecting features across different spaces and guiding it using an auxiliary prediction task. Specifically, we implement the framework in three steps, namely, positional-to-appearance feature extraction, semantic feature interaction, and semantic-to-positional prediction. We evaluate our approach on two action recognition datasets, Something-Something and Charades. Interactive fusion achieves consistent accuracy gain beyond off-the-shelf action recognition algorithms. In particular, on Something-Else, the compositional setting of Something-Something, interactive fusion reports a remarkable gain of 2.9% in terms of top-1 accuracy.


title: Analytical phase optical transfer function for Gaussian illumination and the optimized profiles

abstract: The imaging performance of tomographic deconvolution phase microscopy can be described in terms of the phase optical transfer function (POTF) which, in turn, depends on the illumination profile. To facilitate the optimization of the illumination profile, an analytical calculation method based on polynomial fitting is developed to describe the POTF for general non-uniform axially-symmetric illumination. This is then applied to Gaussian and related profiles. Compared to numerical integration methods that integrate over a series of annuli, the present analytical method is much faster and is equally accurate. Further, a balanced distribution criterion for the POTF and a least-squares minimization are presented to optimize the uniformity of the POTF. An optimum general profile is found analytically by relaxed optimal search and an optimum Gaussian profile is found through a tree search. Numerical simulations confirm the performance of these optimum profiles and support the balanced distribution criterion introduced.


title: The Index Bundle for Selfadjoint Fredholm Operators and Multiparameter Bifurcation for Hamiltonian Systems

abstract: The index of a selfadjoint Fredholm operator is zero by the well-known fact that the kernel of a selfadjoint operator is perpendicular to its range. The Fredholm index was generalised to families by Atiyah and J\"anich in the sixties, and it is readily seen that on complex Hilbert spaces this so called index bundle vanishes for families of selfadjoint Fredholm operators as in the case of a single operator. The first aim of this note is to point out that for every real Hilbert space and every compact topological space $X$ there is a family of selfadjoint Fredholm operators parametrised by $X\times S^1$ which has a non-trivial index bundle. Further, we use this observation and a family index theorem of Pejsachowicz to study multiparameter bifurcation of homoclinic solutions of Hamiltonian systems, where we generalise a previously known class of examples.