title: Polynomial-Delay Enumeration of Large Maximal Matchings

abstract: Enumerating matchings is a classical problem in the field of enumeration algorithms. There are polynomial-delay enumeration algorithms for several settings, such as enumerating perfect matchings, maximal matchings, and (weighted) matchings in specific orders. In this paper, we present polynomial-delay enumeration algorithms for maximal matchings with cardinality at least given threshold $t$. Our algorithm enumerates all such matchings in $O(nm)$ delay with exponential space, where $n$ and $m$ are the number of vertices and edges of an input graph, respectively. We also present a polynomial-delay and polynomial-space enumeration algorithm for this problem. As a variant of this algorithm, we give an algorithm that enumerates all maximal matchings in non-decreasing order of its cardinality and runs in $O(nm)$ delay.


title: Combinatorics of Serre weights in the potentially Barsotti-Tate setting

abstract: Let $F$ be a finite unramified extension of $\mathbb Q\_p$ and $\bar\rho$ be an absolutely irreducible mod~$p$ $2$-dimensional representation of the absolute Galois group of $F$. Let $t$ be a tame inertial type of $F$. We conjecture that the deformation space parametrizing the potentially Barsotti--Tate liftings of $\bar\rho$ having type $t$ depends only on the Kisin variety attached to the situation, enriched with its canonical embedding into $(\mathbb P^1)^f$ and its shape stratification. We give evidences towards this conjecture by proving that the Kisin variety determines the cardinality of the set of common Serre weights $D(t,\bar\rho) = D(t) \cap D(\bar\rho)$. Besides, we prove that this dependance is nondecreasing (the smaller is the Kisin variety, the smaller is the number of common Serre weights) and compatible with products (if the Kisin variety splits as a product, so does the number of weights).


title: Computer assisted proof of branches of stationary and periodic solution, and Hopf bifurcations, for dissipative PDEs

abstract: We discuss an approach to the computer assisted proof of the existence of branches of stationary and periodic solutions for dissipative PDEs, using the Brussellator system with diffusion and Dirichlet boundary conditions as an example, We also consider the case where the branch of periodic solutions emanates from a branch of stationary solutions through a Hopf bifurcation.


title: IRS-Assisted Active Device Detection

abstract: This paper studies intelligent reflecting surface (IRS) assisted active device detection. Since the locations of the devices are a priori unknown, optimal IRS beam alignment is not possible and a worst-case design for a given coverage area is developed. To this end, we propose a generalized likelihood ratio test (GLRT) detection scheme and an IRS phase-shift design that minimizes the worst-case probability of misdetection. In addition to the proposed optimization-based phase-shift design, we consider two alternative suboptimal designs based on closed-form expressions for the IRS phase shifts. Our performance analysis establishes the superiority of the optimization-based design, especially for large coverage areas. Furthermore, we investigate the impact of scatterers on the proposed line-of-sight based design using simulations.


title: PeriPy -- A High Performance OpenCL Peridynamics Package

abstract: This paper presents a lightweight, open-source and high-performance python package for solving peridynamics problems in solid mechanics. The development of this solver is motivated by the need for fast analysis tools to achieve the large number of simulations required for `outer-loop' applications, including sensitivity analysis, uncertainty quantification and optimisation. Our python software toolbox utilises the heterogeneous nature of OpenCL so that it can be executed on any platform with CPU or GPU cores. We illustrate the package use through a range of industrially motivated examples, which should enable other researchers to build on and extend the solver for use in their own applications. Step improvements in execution speed and functionality over existing techniques are presented. A comparison between this solver and an existing OpenCL implementation in the literature is presented, tested on benchmarks with hundreds of thousands to tens of millions of nodes. We demonstrate the scalability of the solver on the GeForce RTX 2080 TiGPU from NVIDIA, and the memory-bound limitations are analysed. In all test cases, the implementation is between 1.4 and 10.0 times faster than a similar existing GPU implementation in the literature. In particular, this improvement has been achieved by utilising local memory on the GPU.


title: Skew-Oblivious Data Routing for Data-Intensive Applications on FPGAs with HLS

abstract: FPGAs have become emerging computing infrastructures for accelerating applications in datacenters. Meanwhile, high-level synthesis (HLS) tools have been proposed to ease the programming of FPGAs. Even with HLS, irregular data-intensive applications require explicit optimizations, among which multiple processing elements (PEs) with each owning a private BRAM-based buffer are usually adopted to process multiple data per cycle. Data routing, which dynamically dispatches multiple data to designated PEs, avoids data replication in buffers compared to statically assigning data to PEs, hence saving BRAM usage. However, the workload imbalance among PEs vastly diminishes performance when processing skew datasets. In this paper, we propose a skew-oblivious data routing architecture that allocates secondary PEs and schedules them to share the workload of the overloaded PEs at run-time. In addition, we integrate the proposed architecture into a framework called Ditto to minimize the development efforts for applications that require skew handling. We evaluate Ditto on five commonly used applications: histogram building, data partitioning, pagerank, heavy hitter detection and hyperloglog. The results demonstrate that the generated implementations are robust to skew datasets and outperform the stateof-the-art designs in both throughput and BRAM usage efficiency.


title: Hamiltonian Formulation of Higher Rank Symmetric Gauge Theories

abstract: Recent discussions of higher rank symmetric (fractonic) gauge theories have revealed the important role of Gauss constraints. This has prompted the present study where a detailed hamiltonian analysis of such theories is presented. Besides a general treatment, the traceless scalar charge theory is considered in details. A new form for the action is given which, in 2+1 dimensions, yields area preserving diffeomorphisms. Investigation of global symmetries reveals that this diffeomorphism invariance induces a noncommuting charge algebra that gets exactly mapped to the algebra of coordinates in the lowest Landau level problem. Connections of this charge algebra to noncommutative fluid dynamics and magnetohydrodynamics are shown.


title: Slashing Communication Traffic in Federated Learning by Transmitting Clustered Model Updates

abstract: Federated Learning (FL) is an emerging decentralized learning framework through which multiple clients can collaboratively train a learning model. However, a major obstacle that impedes the wide deployment of FL lies in massive communication traffic. To train high dimensional machine learning models (such as CNN models), heavy communication traffic can be incurred by exchanging model updates via the Internet between clients and the parameter server (PS), implying that the network resource can be easily exhausted. Compressing model updates is an effective way to reduce the traffic amount. However, a flexible unbiased compression algorithm applicable for both uplink and downlink compression in FL is still absent from existing works. In this work, we devise the Model Update Compression by Soft Clustering (MUCSC) algorithm to compress model updates transmitted between clients and the PS. In MUCSC, it is only necessary to transmit cluster centroids and the cluster ID of each model update. Moreover, we prove that: 1) The compressed model updates are unbiased estimation of their original values so that the convergence rate by transmitting compressed model updates is unchanged; 2) MUCSC can guarantee that the influence of the compression error on the model accuracy is minimized. Then, we further propose the boosted MUCSC (B-MUCSC) algorithm, a biased compression algorithm that can achieve an extremely high compression rate by grouping insignificant model updates into a super cluster. B-MUCSC is suitable for scenarios with very scarce network resource. Ultimately, we conduct extensive experiments with the CIFAR-10 and FEMNIST datasets to demonstrate that our algorithms can not only substantially reduce the volume of communication traffic in FL, but also improve the training efficiency in practical networks.


title: Unsupervised Human Pose Estimation through Transforming Shape Templates

abstract: Human pose estimation is a major computer vision problem with applications ranging from augmented reality and video capture to surveillance and movement tracking. In the medical context, the latter may be an important biomarker for neurological impairments in infants. Whilst many methods exist, their application has been limited by the need for well annotated large datasets and the inability to generalize to humans of different shapes and body compositions, e.g. children and infants. In this paper we present a novel method for learning pose estimators for human adults and infants in an unsupervised fashion. We approach this as a learnable template matching problem facilitated by deep feature extractors. Human-interpretable landmarks are estimated by transforming a template consisting of predefined body parts that are characterized by 2D Gaussian distributions. Enforcing a connectivity prior guides our model to meaningful human shape representations. We demonstrate the effectiveness of our approach on two different datasets including adults and infants.


title: On the Chow ring of some special Calabi-Yau varieties

abstract: We consider Calabi-Yau $n$-folds $X$ arising from certain hyperplane arrangements. Using Fu-Vial's theory of distinguished cycles for varieties with motive of abelian type, we show that the subring of the Chow ring of $X$ generated by divisors, Chern classes and intersections of subvarieties of positive codimension injects into cohomology. We also prove Voisin's conjecture for $X$, and Voevodsky's smash-nilpotence conjecture for odd-dimensional $X$.


title: ReLU Deep Neural Networks from the Hierarchical Basis Perspective

abstract: We study ReLU deep neural networks (DNNs) by investigating their connections with the hierarchical basis method in finite element methods. First, we show that the approximation schemes of ReLU DNNs for $x^2$ and $xy$ are composition versions of the hierarchical basis approximation for these two functions. Based on this fact, we obtain a geometric interpretation and systematic proof for the approximation result of ReLU DNNs for polynomials, which plays an important role in a series of recent exponential approximation results of ReLU DNNs. Through our investigation of connections between ReLU DNNs and the hierarchical basis approximation for $x^2$ and $xy$, we show that ReLU DNNs with this special structure can be applied only to approximate quadratic functions. Furthermore, we obtain a concise representation to explicitly reproduce any linear finite element function on a two-dimensional uniform mesh by using ReLU DNNs with only two hidden layers.


title: A Sharp Algorithmic Analysis of Covariate Adjusted Precision Matrix Estimation with General Structural Priors

abstract: In this paper, we present a sharp analysis for a class of alternating projected gradient descent algorithms which are used to solve the covariate adjusted precision matrix estimation problem in the high-dimensional setting. We demonstrate that these algorithms not only enjoy a linear rate of convergence in the absence of convexity, but also attain the optimal statistical rate (i.e., minimax rate). By introducing the generic chaining, our analysis removes the impractical resampling assumption used in the previous work. Moreover, our results also reveal a time-data tradeoff in this covariate adjusted precision matrix estimation problem. Numerical experiments are provided to verify our theoretical results.


title: CREPO: An Open Repository to Benchmark Credal Network Algorithms

abstract: Credal networks are a popular class of imprecise probabilistic graphical models obtained as a Bayesian network generalization based on, so-called credal, sets of probability mass functions. A Java library called CREMA has been recently released to model, process and query credal networks. Despite the NP-hardness of the (exact) task, a number of algorithms is available to approximate credal network inferences. In this paper we present CREPO, an open repository of synthetic credal networks, provided together with the exact results of inference tasks on these models. A Python tool is also delivered to load these data and interact with CREMA, thus making extremely easy to evaluate and compare existing and novel inference algorithms. To demonstrate such benchmarking scheme, we propose an approximate heuristic to be used inside variable elimination schemes to keep a bound on the maximum number of vertices generated during the combination step. A CREPO-based validation against approximate procedures based on linearization and exact techniques performed in CREMA is finally discussed.


title: An uniform version of Dvir and Moran's theorem

abstract: Dvir and Moran proved the following upper bound for the size of a family $\mbox{$\cal F$}$ of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} \Delta \mbox{$\cal F$})\leq d$. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be a family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} \Delta \mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2\sum_{k=0}^{\lfloor d/2 \rfloor}\binom nk. \] Our main result is the following uniform version of Dvir and Moran's result. Let $d\leq n$ be integers. Let $\mbox{$\cal F$}$ be an uniform family of subsets of $[n]$ with $\mbox{Vdim}(\mbox{$\cal F$} \Delta \mbox{$\cal F$})\leq d$. Then \[ \left|\mbox{$\cal F$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \] Denote by $\mathbf{v_F}\in \{0,1\}^n$ the characteristic vector of a set $F \subseteq [n]$. Our proof is based on the following uniform version of Croot-Lev-Pach Lemma: Let $0\leq d\leq n$ be integers. Let $\mbox{$\cal H$}$ be a $k$-uniform family of subsets of $[n]$. Let $\mathbb F$ be a field. Suppose that there exists a polynomial $P(x_1, \ldots ,x_n,y_1, \ldots ,y_n)\in \mathbb F[x_1, \ldots ,x_n,y_1, \ldots ,y_n]$ with $\mbox{deg}(P)\leq d$ such that $P(\mathbf{v_F},\mathbf{v_F})\ne 0$ for each $F\in \mbox{$\cal H$}$ and $P(\mathbf{v_F},\mathbf{v_G})= 0$ for each $F\ne G\in \mbox{$\cal H$}$. Then \[ \left|\mbox{$\cal H$}\right|\le 2 {n \choose \lfloor d/2 \rfloor}. \]


title: Nanomechanical subsurface characterisation of cellulosic fibres

abstract: The mechanical properties of single fibres are highly important in the paper production process to produce and adjust properties for the favoured fields of application. The description of mechanical properties is usually characterised via linearized assumptions and is not resolved locally or spatially in three dimensions. In tensile tests or nanoindentation experiments on cellulosic fibres, only one mechanical parameter, such as elastic modulus or hardness, is usually obtained. To obtain a more detailed mechanical picture of the fibre, it is crucial to determine mechanical properties in depth. To this end, we discuss an atomic force microscopy-based approach to examine the local stiffness as a function of indentation depth via static force-distance curves. This method has been applied to linter fibres (extracted from a finished paper sheet) as well as to natural raw cotton fibres to better understand the influence of the pulp treatment process in paper production on the mechanical properties. Both types of fibres were characterised in dry and wet conditions with respect to alterations in their mechanical properties. Subsurface imaging revealed which wall in the fibre structure protects the fibre against mechanical loading. Via a combined 3D display, a spatially resolved mechanical map of the fibre interior near the surface can be established. Additionally, we labelled fibres with carbohydrate binding modules tagged with fluorescent proteins to compare the AFM results with fluorescence confocal laser scanning microscopy imaging. Nanomechanical subsurface imaging is thus a tool to better understand the mechanical behaviour of cellulosic fibres, which have a complex, hierarchical structure.


title: On the treatment of exterior domains for the time-harmonic equations of stellar oscillations

abstract: In a recent article we started to analyze the time-harmonic equations of stellar oscillations. As a first step we considered bounded domains together with an essential boundary condition and established the well-posedness of the equation. In this article we consider the physical relevant case of the domain being $\mathbb{R}^3$. We discuss the treatment of the exterior domain, and show how to couple the two parts to obtain a well-posedness result. Further, for the Cowling approximation (which neglects the Eulerian perturbation of gravity) we derive a scalar equation in the atmosphere, couple it to the vectorial interior equation, and prove the well-posedness of the new system. This coupled system has the big advantages that it simplifies the construction of approximating transparent boundary conditions and leads to significant less degrees of freedom for discretizations.


title: The physics of dense suspensions

abstract: Dense suspensions of particles are relevant to many applications and are a key platform for developing a fundamental physics of out-of-equilibrium systems. They present challenging flow properties, apparently turning from liquid to solid upon small changes in composition or, intriguingly, in the driving forces applied to them. The emergent physics close to the ubiquitous jamming transition (and to some extent the glass and gelation transitions) provides common principles with which to achieve a consistent interpretation of a vast set of phenomena reported in the literature. In light of this, we review the current state of understanding regarding the relation between the physics at the particle scale and the rheology at the macroscopic scale. We further show how this perspective opens new avenues for the development of continuum models for dense suspensions.


title: Multi-Spectrally Constrained Transceiver Design against Signal-Dependent Interference

abstract: This paper focuses on the joint synthesis of constant envelope transmit signal and receive filter aimed at optimizing radar performance in signal-dependent interference and spectrally contested-congested environments. To ensure the desired Quality of Service (QoS) at each communication system, a precise control of the interference energy injected by the radar in each licensed/shared bandwidth is imposed. Besides, along with an upper bound to the maximum transmitted energy, constant envelope (with either arbitrary or discrete phases) and similarity constraints are forced to ensure compatibility with amplifiers operating in saturation regime and bestow relevant waveform features, respectively. To handle the resulting NP-hard design problems, new iterative procedures (with ensured convergence properties) are devised to account for continuous and discrete phase constraints, capitalizing on the Coordinate Descent (CD) framework. Two heuristic procedures are also proposed to perform valuable initializations. Numerical results are provided to assess the effectiveness of the conceived algorithms in comparison with the existing methods.


title: Communication coordination in network controllability

abstract: Better understanding our ability to control an interconnected system of entities has been one of the central challenges in network science. The theories of node and edge controllability have been the main methodologies suggested to find the minimal set of nodes enabling control over the whole system's dynamics. While the focus is traditionally mostly on physical systems, there has been an increasing interest in control questions involving socioeconomic systems. However, surprisingly little attention has been given to the methods' underlying assumptions on control propagation, or communication assumptions, a crucial aspect in social contexts. In this paper, we show that node controllability contains a single message assumption, allowing no heterogeneity in communication to neighbouring nodes in a network. Edge controllability is shown to relax this communication assumption but aims to control the dynamics of the edge states and not the node states, thus answering a fundamentally different question. This makes comparisons of the results from the two methods nonsensical. To increase the applicability of controllability methodology to socioeconomic contexts, we provide guiding principles to choose the appropriate methodology and suggest new avenues for future theoretical work to encode more realistic communication assumptions.


title: Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning

abstract: Geometry problem solving has attracted much attention in the NLP community recently. The task is challenging as it requires abstract problem understanding and symbolic reasoning with axiomatic knowledge. However, current datasets are either small in scale or not publicly available. Thus, we construct a new large-scale benchmark, Geometry3K, consisting of 3,002 geometry problems with dense annotation in formal language. We further propose a novel geometry solving approach with formal language and symbolic reasoning, called Interpretable Geometry Problem Solver (Inter-GPS). Inter-GPS first parses the problem text and diagram into formal language automatically via rule-based text parsing and neural object detecting, respectively. Unlike implicit learning in existing methods, Inter-GPS incorporates theorem knowledge as conditional rules and performs symbolic reasoning step by step. Also, a theorem predictor is designed to infer the theorem application sequence fed to the symbolic solver for the more efficient and reasonable searching path. Extensive experiments on the Geometry3K and GEOS datasets demonstrate that Inter-GPS achieves significant improvements over existing methods. The project with code and data is available at https://lupantech.github.io/inter-gps.


title: Few-Shot Conversational Dense Retrieval

abstract: Dense retrieval (DR) has the potential to resolve the query understanding challenge in conversational search by matching in the learned embedding space. However, this adaptation is challenging due to DR models' extra needs for supervision signals and the long-tail nature of conversational search. In this paper, we present a Conversational Dense Retrieval system, ConvDR, that learns contextualized embeddings for multi-turn conversational queries and retrieves documents solely using embedding dot products. In addition, we grant ConvDR few-shot ability using a teacher-student framework, where we employ an ad hoc dense retriever as the teacher, inherit its document encodings, and learn a student query encoder to mimic the teacher embeddings on oracle reformulated queries. Our experiments on TREC CAsT and OR-QuAC demonstrate ConvDR's effectiveness in both few-shot and fully-supervised settings. It outperforms previous systems that operate in the sparse word space, matches the retrieval accuracy of oracle query reformulations, and is also more efficient thanks to its simplicity. Our analyses reveal that the advantages of ConvDR come from its ability to capture informative context while ignoring the unrelated context in previous conversation rounds. This makes ConvDR more effective as conversations evolve while previous systems may get confused by the increased noise from previous turns. Our code is publicly available at https://github.com/thunlp/ConvDR.


title: Role of higher-order effects in spin-misalignment small-angle neutron scattering of high-pressure torsion nickel

abstract: Magnetic-field-dependent unpolarized small-angle neutron scattering (SANS) experiments demonstrate that high-pressure torsion (HPT) straining induces spin misalignments in pure Ni, which persist in magnetic fields up to 4 T. The spin-misalignment scattering patterns are elongated perpendicular to the applied magnetic field due to an unusual predominant longitudinal $sin^2(\theta)$-type angular anisotropy. Such a contribution cannot be explained by the conventional second order (in spin misalignment amplitude) micromagnetic SANS theory in the approach-to-saturation regime, nor can its magnitude relative to the other features of the cross sections by the third order micromagnetic SANS theory. This indicates that the high-density of crystal defects induced via HPT straining in Ni makes such higher-order effects in the micromagnetic SANS cross sections observable.


title: Quasi-static strain governing ultrafast spin dynamics

abstract: The quasi-static strain (QSS) is the product generated by the lattice thermal expansion after ultrafast photo-excitation and the effects of thermal and QSS are inextricable. Nevertheless, the two phenomena with the same relaxation timescale should be treated separately because of their different fundamental actions to the ultrafast spin dynamics. By employing ultrafast Sagnac interferometry and magneto-optical Kerr effect, we quantitatively prove the existence of QSS, which has been disregarded, and decouple two effects counter-acting each other. Through the magnetoelastic energy analysis, rather we show that QSS in ferromagnets plays a governing role on ultrafast spin dynamics, which is opposite to what have been known on the basis of thermal effect. Our demonstration provides an essential way of analysis on ultrafast photo-induced phenomena.


title: PillarSegNet: Pillar-based Semantic Grid Map Estimation using Sparse LiDAR Data

abstract: Semantic understanding of the surrounding environment is essential for automated vehicles. The recent publication of the SemanticKITTI dataset stimulates the research on semantic segmentation of LiDAR point clouds in urban scenarios. While most existing approaches predict sparse pointwise semantic classes for the sparse input LiDAR scan, we propose PillarSegNet to be able to output a dense semantic grid map. In contrast to a previously proposed grid map method, PillarSegNet uses PointNet to learn features directly from the 3D point cloud and then conducts 2D semantic segmentation in the top view. To train and evaluate our approach, we use both sparse and dense ground truth, where the dense ground truth is obtained from multiple superimposed scans. Experimental results on the SemanticKITTI dataset show that PillarSegNet achieves a performance gain of about 10% mIoU over the state-of-the-art grid map method.


title: AutoDebias: Learning to Debias for Recommendation

abstract: Recommender systems rely on user behavior data like ratings and clicks to build personalization model. However, the collected data is observational rather than experimental, causing various biases in the data which significantly affect the learned model. Most existing work for recommendation debiasing, such as the inverse propensity scoring and imputation approaches, focuses on one or two specific biases, lacking the universal capacity that can account for mixed or even unknown biases in the data. Towards this research gap, we first analyze the origin of biases from the perspective of \textit{risk discrepancy} that represents the difference between the expectation empirical risk and the true risk. Remarkably, we derive a general learning framework that well summarizes most existing debiasing strategies by specifying some parameters of the general framework. This provides a valuable opportunity to develop a universal solution for debiasing, e.g., by learning the debiasing parameters from data. However, the training data lacks important signal of how the data is biased and what the unbiased data looks like. To move this idea forward, we propose \textit{AotoDebias} that leverages another (small) set of uniform data to optimize the debiasing parameters by solving the bi-level optimization problem with meta-learning. Through theoretical analyses, we derive the generalization bound for AutoDebias and prove its ability to acquire the appropriate debiasing strategy. Extensive experiments on two real datasets and a simulated dataset demonstrated effectiveness of AutoDebias. The code is available at \url{https://github.com/DongHande/AutoDebias}.


title: Bayesian inference and superstatistics to describe long memory processes of financial time series

abstract: One of the standardized features of financial data is that log-returns are uncorrelated, but absolute log-returns or their squares namely the fluctuating volatility are correlated and is characterized by heavy tailed in the sense that some moment of the absolute log-returns is infinite and typically non-Gaussian [20]. And this last characteristic change accordantly to different timescales. We propose to model this long-memory phenomenon by superstatistical dynamics and provide a Bayesian Inference methodology drawing on Metropolis-Hasting random walk sampling to determine which superstatistics among inverse-Gamma and log-Normal describe the best log-returns complexity on different timescales, from high to low frequency. We show that on smaller timescales (minutes) even though the Inverse-Gamma superstatistics works the best, the log-Normal model remains very reliable and suitable to fit the absolute log-returns probability density distribution with strong capacity of describing heavy tails and power law decays. On larger timescales (daily), we show in terms of Bayes factor that the inverse-Gamma superstatistics is preferred to the log-Normal model. We also show evidence of a transition of statistics from power law decay on small timescales to exponential decay on large scale with less heavy tails meaning that on larger time scales the fluctuating volatility tend to be memoryless, consequently superstatistics becomes less relevant.


title: Self-Bound Quantum Droplet with Internal Stripe Structure in 1D Spin-Orbit-Coupled Bose Gas

abstract: We study the quantum-droplet state in a 3-dimensional (3D) Bose gas in the presence of 1D spin-orbit-coupling and Raman coupling, especially the stripe phase with density modulation, by numerically computing the ground state energy including the mean-field energy and Lee-HuangYang correction. In this droplet state, the stripe can exist in a wider range of Raman coupling, compared with the BEC-gas state. More intriguingly, both spin-orbit-coupling and Raman coupling strengths can be used to tune the droplet density.


title: Trajectories of long duration balloons launched from McMurdo Station in Antarctica

abstract: The Columbia Scientific Ballooning Facility operates stratospheric balloon flights out of McMurdo Station in Antarctica. We use balloon trajectory data from 40 flights between 1991 and 2016 to give the first quantification of trajectory statistics. We provide the probabilities as a function of time for the payload to be between given latitudes, and we quantify the southernmost and northernmost latitudes a payload is likely to attain. We find that for the median flight duration of 19 days, there is 90% probability the balloon would drift as far south as $88^{\circ}$S or as far north as $71^{\circ}$S; shorter flights are likely to experience smaller ranges in latitude. These statistics, which are available digitally in the public domain, will enable scientists planning future balloon flights make informed decisions during both mission design and execution.


title: Three-$\alpha$ configurations in the $0^{+}$ states of $^{12}\mathrm{C}$

abstract: Geometric configurations of three-$\alpha$ particles in the ground- and first-excited $J^\pi=0^+$ states of $^{12}$C are discussed within two types of $\alpha$-cluster models which treat the Pauli principle differently. Though there are some quantitative differences especially in the internal region of the wave functions, equilateral triangle configurations are dominant in the ground state, while in the first excited $0^+$ state isosceles triangle configurations dominate, originating from $^8{\rm Be}+\alpha$ configurations.


title: Explicit Numerical Approximations for McKean-Vlasov Neutral Stochastic Differential Delay Equations

abstract: This paper studies the numerical methods to approximate the solutions for a sort of McKean-Vlasov neutral stochastic differential delay equations (MV-NSDDEs) that the growth of the drift coefficients is super-linear. First, We obtain that the solution of MV-NSDDE exists and is unique. Then, we use a stochastic particle method, which is on the basis of the results about the propagation of chaos between particle system and the original MV-NSDDE, to deal with the approximation of the law. Furthermore, we construct the tamed Euler-Maruyama numerical scheme with respect to the corresponding particle system and obtain the rate of convergence. Combining propagation of chaos and the convergence rate of the numerical solution to the particle system, we get a convergence error between the numerical solution and exact solution of the original MV-NSDDE in the stepsize and number of particles.


title: HyperLTL Satisfiability is $\Sigma_1^1$-complete, HyperCTL* Satisfiability is $\Sigma_1^2$-complete

abstract: Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are HyperLTL and HyperCTL*, which generalise LTL and CTL* by trace quantification. It is known that this expressiveness comes at a price, i.e. satisfiability is undecidable for both logics. In this paper we settle the exact complexity of these problems, showing that both are in fact highly undecidable: we prove that HyperLTL satisfiability is $\Sigma_1^1$-complete and HyperCTL* satisfiability is $\Sigma_1^2$-complete. These are significant increases over the previously known lower bounds and the first upper bounds. To prove $\Sigma_1^2$-membership for HyperCTL*, we prove that every satisfiable HyperCTL* sentence has a model that is equinumerous to the continuum, the first upper bound of this kind. We prove this bound to be tight. Finally, we show that the membership problem for every level of the HyperLTL quantifier alternation hierarchy is $\Pi_1^1$-complete.


title: The Wigner function negative value domains and energy function poles of the harmonic oscillator

abstract: For a quantum harmonic oscillator an explicit expression that describes the energy distribution as a coordinate function is obtained. The presence of the energy function poles is shown for the quantum system in domains where the Wigner function has negative values.


title: Mean Value and comparative convex functions

abstract: During the study of the topic of limit summability of functions (introduced by the author in 2001), we encountered some types of functions that are related to the mean value theorem. In this paper, we formally define mean value and pointwise MV-functions associated with a given real function and extend some aspects of the mean value theorem and properties. Also, we introduce and study an induced conception which we call comparative convexity (and concavity). As many applications of the study, we prove some uniqueness conditions for related functional equations and completely solve several functional inequalities. It is worth noting that there remain some important open problems and questions for future studies of the topic.


title: Differentiation properties of class ${L}^1([0,1]^2)$ with respect to two different basis of rectangles

abstract: It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in \mathcal{R}}}\left|\frac{1}{|R|}\int_R f(x,y)\, dxdy\right|=\infty, \] where $\mathcal{R}=\{[a,b)\times [c,d)\colon a<b, c<d\}$. In this note we address the following question: assume we have two different collections of rectangles; under which conditions there exists a function $f \in L^1(\mathbb{R}^2)$ so that its integral averages are divergence with respect to one collection and convergence with respect to another? More specifically, let $\mathcal{D}, \mathcal{C} \subset (0,1]$ and consider rectangles with side lengths in $\mathcal{D}$ and respectively in $\mathcal{C}$. We show that if the sets $\mathcal{D}$ and $\mathcal{C}$ are sufficient ``far" from each other, then such a function can be constructed. We also show that in the class of positive functions our condition is also necessary for such a function to exist.


title: Rate-Distortion Analysis of Minimum Excess Risk in Bayesian Learning

abstract: In parametric Bayesian learning, a prior is assumed on the parameter $W$ which determines the distribution of samples. In this setting, Minimum Excess Risk (MER) is defined as the difference between the minimum expected loss achievable when learning from data and the minimum expected loss that could be achieved if $W$ was observed. In this paper, we build upon and extend the recent results of (Xu & Raginsky, 2020) to analyze the MER in Bayesian learning and derive information-theoretic bounds on it. We formulate the problem as a (constrained) rate-distortion optimization and show how the solution can be bounded above and below by two other rate-distortion functions that are easier to study. The lower bound represents the minimum possible excess risk achievable by any process using $R$ bits of information from the parameter $W$. For the upper bound, the optimization is further constrained to use $R$ bits from the training set, a setting which relates MER to information-theoretic bounds on the generalization gap in frequentist learning. We derive information-theoretic bounds on the difference between these upper and lower bounds and show that they can provide order-wise tight rates for MER under certain conditions. This analysis gives more insight into the information-theoretic nature of Bayesian learning as well as providing novel bounds.


title: KDExplainer: A Task-oriented Attention Model for Explaining Knowledge Distillation

abstract: Knowledge distillation (KD) has recently emerged as an efficacious scheme for learning compact deep neural networks (DNNs). Despite the promising results achieved, the rationale that interprets the behavior of KD has yet remained largely understudied. In this paper, we introduce a novel task-oriented attention model, termed as KDExplainer, to shed light on the working mechanism underlying the vanilla KD. At the heart of KDExplainer is a Hierarchical Mixture of Experts (HME), in which a multi-class classification is reformulated as a multi-task binary one. Through distilling knowledge from a free-form pre-trained DNN to KDExplainer, we observe that KD implicitly modulates the knowledge conflicts between different subtasks, and in reality has much more to offer than label smoothing. Based on such findings, we further introduce a portable tool, dubbed as virtual attention module (VAM), that can be seamlessly integrated with various DNNs to enhance their performance under KD. Experimental results demonstrate that with a negligible additional cost, student models equipped with VAM consistently outperform their non-VAM counterparts across different benchmarks. Furthermore, when combined with other KD methods, VAM remains competent in promoting results, even though it is only motivated by vanilla KD. The code is available at https://github.com/zju-vipa/KDExplainer.


title: Nonlinear Fiber System for Shot-noise Limited Intensity Noise Suppression and Amplification

abstract: We propose a nonlinear fiber system for shot-noise limited, all-optical intensity-noise reduction and signal amplification. The mechanism is based on the accumulation of different nonlinear phase shifts between orthogonal polarization modes in a polarization-maintaining fiber amplifier in combination with an implemented sinusoidal transmission-function. The resulting correlation between the input intensity-fluctuations and the system transmission enables tunable intensity noise reduction of the input pulse train. In the experiment, the noise spectral density of a mode-locked oscillator is suppressed by up to ~20 dB to the theoretical shot-noise limit of the measurement at -151.3 dBc/Hz with simultaneous pulse amplification of 13.5dB.


title: UGRec: Modeling Directed and Undirected Relations for Recommendation

abstract: Recommender systems, which merely leverage user-item interactions for user preference prediction (such as the collaborative filtering-based ones), often face dramatic performance degradation when the interactions of users or items are insufficient. In recent years, various types of side information have been explored to alleviate this problem. Among them, knowledge graph (KG) has attracted extensive research interests as it can encode users/items and their associated attributes in the graph structure to preserve the relation information. In contrast, less attention has been paid to the item-item co-occurrence information (i.e., \textit{co-view}), which contains rich item-item similarity information. It provides information from a perspective different from the user/item-attribute graph and is also valuable for the CF recommendation models. In this work, we make an effort to study the potential of integrating both types of side information (i.e., KG and item-item co-occurrence data) for recommendation. To achieve the goal, we propose a unified graph-based recommendation model (UGRec), which integrates the traditional directed relations in KG and the undirected item-item co-occurrence relations simultaneously. In particular, for a directed relation, we transform the head and tail entities into the corresponding relation space to model their relation; and for an undirected co-occurrence relation, we project head and tail entities into a unique hyperplane in the entity space to minimize their distance. In addition, a head-tail relation-aware attentive mechanism is designed for fine-grained relation modeling. Extensive experiments have been conducted on several publicly accessible datasets to evaluate the proposed model. Results show that our model outperforms several previous state-of-the-art methods and demonstrate the effectiveness of our UGRec model.


title: Generative Adversarial Networks (GANs) in Networking: A Comprehensive Survey & Evaluation

abstract: Despite the recency of their conception, Generative Adversarial Networks (GANs) constitute an extensively researched machine learning sub-field for the creation of synthetic data through deep generative modeling. GANs have consequently been applied in a number of domains, most notably computer vision, in which they are typically used to generate or transform synthetic images. Given their relative ease of use, it is therefore natural that researchers in the field of networking (which has seen extensive application of deep learning methods) should take an interest in GAN-based approaches. The need for a comprehensive survey of such activity is therefore urgent. In this paper, we demonstrate how this branch of machine learning can benefit multiple aspects of computer and communication networks, including mobile networks, network analysis, internet of things, physical layer, and cybersecurity. In doing so, we shall provide a novel evaluation framework for comparing the performance of different models in non-image applications, applying this to a number of reference network datasets.


title: Conformal metrics with prescribed scalar and mean curvature

abstract: We consider the case with boundary of the classical Kazdan-Warner problem in dimension greater or equal than three, i.e. the prescription of scalar and boundary mean curvatures via conformal deformations of the metric. We deal in particular with negative scalar curvature and boundary mean curvature of arbitrary sign, which to our knowledge has not been treated in the literature. We employ a variational approach to prove new existence results, especially in three dimensions. One of the principal issues for this problem is to obtain compactness properties, due to the fact that bubbling may occur with profiles of hyperbolic balls or horospheres, and hence one may lose either pointwise estimates on the conformal factor or the total conformal volume. We can sometimes prevent them using integral estimates, Pohozaev identities and domain-variations of different types.


title: Logarithmic affine structures, parallelizable d-webs and normal forms

abstract: We study the local analytic classification of affine structures with logarithmic pole on complex surfaces. With this result in hand, we can get the local classification of the logarithmic parallelizable d-webs, d $\ge$ 3.


title: A Rigorous Information-Theoretic Definition of Redundancy and Relevancy in Feature Selection Based on (Partial) Information Decomposition

abstract: Selecting a minimal feature set that is maximally informative about a target variable is a central task in machine learning and statistics. Information theory provides a powerful framework for formulating feature selection algorithms -- yet, a rigorous, information-theoretic definition of feature relevancy, which accounts for feature interactions such as redundant and synergistic contributions, is still missing. We argue that this lack is inherent to classical information theory which does not provide measures to decompose the information a set of variables provides about a target into unique, redundant, and synergistic contributions. Such a decomposition has been introduced only recently by the partial information decomposition (PID) framework. Using PID, we clarify why feature selection is a conceptually difficult problem when approached using information theory and provide a novel definition of feature relevancy and redundancy in PID terms. From this definition, we show that the conditional mutual information (CMI) maximizes relevancy while minimizing redundancy and propose an iterative, CMI-based algorithm for practical feature selection. We demonstrate the power of our CMI-based algorithm in comparison to the unconditional mutual information on benchmark examples and provide corresponding PID estimates to highlight how PID allows to quantify information contribution of features and their interactions in feature-selection problems.


title: Slip and friction mechanisms at polymer semi-dilute solutions / solid interfaces

abstract: The role of the polymer volume fraction, $\phi$, on steady state slippage and interfacial friction is investigated for a semi-dilute polystyrene solutions in diethyl phthalate in contact with two solid surfaces. Signicant slippage is evidenced for all samples, with slip lengths b obeying a power law dependence. The Navier's interfacial friction coecient, k, is deduced from the slip length measurements and from independent measurements of the solutions viscosity $\eta$. The observed scaling of k versus $\phi$ clearly excludes a molecular mechanism of friction based on the existence of a depletion layer. Instead, we show that the data of $\eta$($\phi$) and k($\phi$) are understood when taking into account the dependence of the solvent friction on $\phi$. Two models, based on the friction of blobs or of monomers on the solid surface, well describe our data. Both points out that the Navier's interfacial friction is a semi-local phenomenon.


title: Radical layer length and syzygy-finite algebras

abstract: Let $\Lambda$ be an artin algebra. We obtain that $\Lambda$ is syzygy-finite when the radical layer length of $\Lambda$ is at most two; as two consequences, we give a new upper bound for the dimension of the bounded derived category of the category $\mod \Lambda$ of finitely generated right $\Lambda$-modules in terms of the projective of certain class of simple right $\Lambda$-modules and also get the left big finitistic dimension conjecture holds.


title: Phase-space simulations of feedback coherent Ising machines

abstract: A new technique is demonstrated for carrying out exact positive-P phase-space simulations of the coherent Ising machine quantum computer. By suitable design of the coupling matrix, general hard optimization problems can be solved. Here, computational quantum simulations of a feedback type of photonic parametric network are carried out, which is the implementation of the coherent Ising machine. Results for success rates are obtained using this scalable phase-space algorithm for quantum simulations of quantum feedback devices.


title: Automorphism groups of cyclic orbifold vertex operator algebras associated with the Leech lattice and some non-prime isometries

abstract: We determine the automorphism groups of the cyclic orbifold vertex operator algebras associated with coinvariant lattices of isometries of the Leech lattice in the conjugacy classes $4C,6E,6G,8E$ and $10F$. As a consequence, we have determined the automorphism groups of all the $10$ vertex operator algebras in [H\"o], which are useful to analyze holomorphic vertex operator algebras of central charge $24$.


title: First-principles predictions of Hall and drift mobilities in semiconductors

abstract: Significant progress on parameter-free calculations of carrier mobilities in real materials has been made during the past decade; however, the role of various approximations remains unclear and a unified methodology is lacking. Here, we present and analyse a comprehensive and efficient approach to compute the intrinsic, phonon-limited drift and Hall carrier mobilities of semiconductors, within the framework of the first-principles Boltzmann transport equation. The methodology exploits a novel approach for estimating quadrupole tensors and including them in the electron-phonon interactions, and capitalises on a rigorous and efficient procedure for numerical convergence. The accuracy reached in this work allows to assess common approximations, including the role of exchange and correlation functionals, spin-orbit coupling, pseudopotentials, Wannier interpolation, Brillouin-zone sampling, dipole and quadrupole corrections, and the relaxation-time approximation. A detailed analysis is showcased on ten prototypical semiconductors, namely diamond, silicon, GaAs, 3C-SiC, AlP, GaP, c-BN, AlAs, AlSb, and SrO. By comparing this extensive dataset with available experimental data, we explore the intrinsic nature of phonon-limited carrier transport and magnetotransport phenomena in these compounds. We find that the most accurate calculations predict Hall mobilities up to a factor of two larger than experimental data; this could point to promising experimental improvements in the samples quality, or to the limitations of density-function theory in predicting the carrier effective masses and overscreening the electron-phonon matrix elements. By setting tight standards for reliability and reproducibility, the present work aims to facilitate validation and verification of data and software towards predictive calculations of transport phenomena in semiconductors.


title: Modelling of LIDAR sensor disturbances by solid airborne particles

abstract: This paper aims to introduce a method for simulating with a real time performance the automotive LIDAR disturbance by dust clouds caused by natural phenomena, mechanical or man-made processes like a traveling vehicle. In this study, we are interested to study the interaction of an automotive LIDAR sensor with a dust cloud composed of solid particles. The main objective of this study is to provide a simulation model to industry and research laboratories that help to study LIDAR performance in a dust-sand environment with the capability to reproduce the encountered problems in degraded conditions and the ability to parameterize the degradation model. Based on industrial projects with a passenger's vehicles and truck manufacturers, we present LIDAR sensor and functionalities to perceive objects in a scene (pedestrian, car, truck, ...) in clear or extreme weather conditions. Simulated and experimental data are compared and analyzed in this article. The features presented are evaluated according to their quality for object detection. This study can be applied to sensors post-processing algorithms (object recognition, tracking, data fusion...) and even to the design of cleaning systems.


title: The Modulo Radon Transform: Theory, Algorithms and Applications

abstract: Recently, experiments have been reported where researchers were able to perform high dynamic range (HDR) tomography in a heuristic fashion, by fusing multiple tomographic projections. This approach to HDR tomography has been inspired by HDR photography and inherits the same disadvantages. Taking a computational imaging approach to the HDR tomography problem, we here suggest a new model based on the Modulo Radon Transform (MRT), which we rigorously introduce and analyze. By harnessing a joint design between hardware and algorithms, we present a single-shot HDR tomography approach, which to our knowledge, is the only approach that is backed by mathematical guarantees. On the hardware front, instead of recording the Radon Transform projections that my potentially saturate, we propose to measure modulo values of the same. This ensures that the HDR measurements are folded into a lower dynamic range. On the algorithmic front, our recovery algorithms reconstruct the HDR images from folded measurements. Beyond mathematical aspects such as injectivity and inversion of the MRT for different scenarios including band-limited and approximately compactly supported images, we also provide a first proof-of-concept demonstration. To do so, we implement MRT by experimentally folding tomographic measurements available as an open source data set using our custom designed modulo hardware. Our reconstruction clearly shows the advantages of our approach for experimental data. In this way, our MRT based solution paves a path for HDR acquisition in a number of related imaging problems.


title: Parameterization of magnetic vector potentials and fields for efficient multislice calculations of elastic electron scattering

abstract: The multislice method, which simulates the propagation of the incident electron wavefunction through a crystal, is a well-established method for analyzing the multiple scattering effects that an electron beam may undergo. The inclusion of magnetic effects into this method proves crucial towards simulating magnetic differential phase contrast images at atomic resolution, enhanced magnetic interaction of vortex beams with magnetic materials, calculating magnetic Bragg spots, or searching for magnon signatures, to name a few examples. Inclusion of magnetism poses novel challenges to the efficiency of the multislice method for larger systems, especially regarding the consistent computation of magnetic vector potentials and magnetic fields over large supercells. We present in this work a tabulation of parameterized magnetic values for the first three rows of transition metal elements computed from atomic density functional theory calculations, allowing for the efficient computation of approximate magnetic vector fields across large crystals using only structural and magnetic moment size and direction information. Ferromagnetic bcc Fe and tetragonal FePt are chosen as examples in this work to showcase the performance of the parameterization versus directly obtaining magnetic vector fields from the unit cell spin density by density functional theory calculations, both for the quantities themselves and the resulting magnetic signal from their respective use in multislice calculations.


title: AoI-Aware Resource Allocation for Platoon-Based C-V2X Networks via Multi-Agent Multi-Task Reinforcement Learning

abstract: This paper investigates the problem of age of information (AoI) aware radio resource management for a platooning system. Multiple autonomous platoons exploit the cellular wireless vehicle-to-everything (C-V2X) communication technology to disseminate the cooperative awareness messages (CAMs) to their followers while ensuring timely delivery of safety-critical messages to the Road-Side Unit (RSU). Due to the challenges of dynamic channel conditions, centralized resource management schemes that require global information are inefficient and lead to large signaling overheads. Hence, we exploit a distributed resource allocation framework based on multi-agent reinforcement learning (MARL), where each platoon leader (PL) acts as an agent and interacts with the environment to learn its optimal policy. Existing MARL algorithms consider a holistic reward function for the group's collective success, which often ends up with unsatisfactory results and cannot guarantee an optimal policy for each agent. Consequently, motivated by the existing literature in RL, we propose a novel MARL framework that trains two critics with the following goals: A global critic which estimates the global expected reward and motivates the agents toward a cooperating behavior and an exclusive local critic for each agent that estimates the local individual reward. Furthermore, based on the tasks each agent has to accomplish, the individual reward of each agent is decomposed into multiple sub-reward functions where task-wise value functions are learned separately. Numerical results indicate our proposed algorithm's effectiveness compared with the conventional RL methods applied in this area.


title: Overcoming the complexity barrier of the dynamic message-passing method in networks with fat-tailed degree distributions

abstract: The dynamic cavity method provides the most efficient way to evaluate probabilities of dynamic trajectories in systems of stochastic units with unidirectional sparse interactions. It is closely related to sum-product algorithms widely used to compute marginal functions from complicated global functions of many variables, with applications in disordered systems, combinatorial optimization and computer science. However, the complexity of the cavity approach grows exponentially with the in-degrees of the interacting units, which creates a de-facto barrier for the successful analysis of systems with fat-tailed in-degree distributions. In this manuscript, we present a dynamic programming algorithm that overcomes this barrier by reducing the computational complexity in the in-degrees from exponential to quadratic, whenever couplings are chosen randomly from (or can be approximated in terms of) discrete, possibly unit-dependent, sets of equidistant values. As a case study, we analyse the dynamics of a random Boolean network with a fat-tailed degree distribution and fully asymmetric binary $\pm J$ couplings, and we use the power of the algorithm to unlock the noise dependent heterogeneity of stationary node activation patterns in such a system.


title: Monte Carlo simulations of the electron short-range quantum ordering in Coulomb systems: Reducing the "fermionic sign problem"

abstract: To account for the interference effects of the Coulomb and exchange interactions of electrons a new path integral representation of the density matrix has been developed in the canonical ensemble at finite temperatures. The developed representation allows to reduce the notorious ``fermionic sign problem'' in the Monte Carlo simulations of fermionic systems. The obtained results for pair distribution functions in plasma and uniform electron gas demonstrate the short-range quantum ordering of electrons associated with exchange excitons in the literature. This fine physical effect was not observed earlier in standard path integral Monte Carlo simulations.


title: Robust magnetic anisotropy of a monolayer of hexacoordinate Fe( ii ) complexes assembled on Cu(111)

abstract: The tris pyrazolyl borate ligand imposes a rigid scaffold around Fe( ii ) ensuring a robust magnetic anisotropy when the molecules assembled as monolayers suffer from the dissymmetric environment of the substrate/vacuum interface.


title: Generic numerical semigroups

abstract: The use of compositions simplifies some aspects of the theory of numerical semigroups. We illustrate this by giving a new proof for the asymptotic number C((1 + $\sqrt$ 5)/2) g of numerical semigroups of genus g and by describing the constant C explicitly 1 .


title: REPT: Bridging Language Models and Machine Reading Comprehension via Retrieval-Based Pre-training

abstract: Pre-trained Language Models (PLMs) have achieved great success on Machine Reading Comprehension (MRC) over the past few years. Although the general language representation learned from large-scale corpora does benefit MRC, the poor support in evidence extraction which requires reasoning across multiple sentences hinders PLMs from further advancing MRC. To bridge the gap between general PLMs and MRC, we present REPT, a REtrieval-based Pre-Training approach. In particular, we introduce two self-supervised tasks to strengthen evidence extraction during pre-training, which is further inherited by downstream MRC tasks through the consistent retrieval operation and model architecture. To evaluate our proposed method, we conduct extensive experiments on five MRC datasets that require collecting evidence from and reasoning across multiple sentences. Experimental results demonstrate the effectiveness of our pre-training approach. Moreover, further analysis shows that our approach is able to enhance the capacity of evidence extraction without explicit supervision.


title: The closeness of localised structures between the Ablowitz-Ladik lattice and Discrete Nonlinear Schr\"odinger equations II: Generalised AL and DNLS systems

abstract: The Ablowitz-Ladik system, being one of the few integrable nonlinear lattices, admits a wide class of analytical solutions, ranging from exact spatially localised solitons to rational solutions in the form of the spatiotemporally localised discrete Peregrine soliton. Proving a closeness result between the solutions of the Ablowitz-Ladik and a wide class of Discrete Nonlinear Schr\"odinger systems in a sense of a continuous dependence on their initial data, we establish that such small amplitude waveforms may be supported in the nonintegrable lattices, for significant large times. The nonintegrable systems exhibiting such behavior include a generalisation of the Ablowitz-Ladik system with a power-law nonlinearity and the Discrete Nonlinear Schr\"odinger with power-law and saturable nonlinearities. The outcome of numerical simulations illustrates in an excellent agreement with the analytical results the persistence of small amplitude Ablowitz-Ladik analytical solutions in all the nonintegrable systems considered in this work, with the most striking example being that of the Peregine soliton.


title: Cross-polarization Control in FSSs by means of an Equivalent Circuit Approach

abstract: This paper presents an efficient equivalent circuit approach (ECA), based on a Floquet modal expansion, for the study of the co- and cross-polarization in frequency selective surfaces (FSS) formed by periodic arrays of patches/apertures in either single or stacked configurations. The ECA makes it possible the derivation of analytical expressions for the generalized scattering parameters associated with the proposed circuit networks. Furthermore, the proposed circuit approach is an efficient surrogate model that can be combined with optimization techniques and artificial intelligence algorithms for the efficient design of FSS structures, saving efforts in the computation compared to time-consuming full-wave simulators and tedious synthesis (simulation-assisted) techniques. Due to the simplicity of the topology of the involved networks, the ECA can also be advantageously used to gain physical insight. The proposed approach is applied and validated in different FSS configurations where the cross-pol component plays a fundamental role in the design, as in circular polarizers, polarization rotators, and reflectarray cells.


title: Trace and norm of indecomposable integers in cubic orders

abstract: We study the structure of the codifferent and of additively indecomposable integers in families of totally real cubic fields. We prove that for cubic orders in these fields, the minimal trace of indecomposable integers multiplied by totally positive elements of the codifferent can be arbitrarily large. This is very surprising, as in the so far studied examples of quadratic and simplest cubic fields, this minimum is 1 and 2. We further give sharp upper bounds on the norms of indecomposable integers in our families.


title: A Carbon-Ion Superconducting Gantry and a Synchrotron Based on Canted Cosine Theta Magnets

abstract: This article presents the conceptual design of a new compact superconducting gantry and synchrotron for Carbon ion therapy and focuses on the solutions (layout and optics) to make it compact. The main specificity of this gantry design is to be smaller and lighter with respect to the existing carbon-ion gantries. This is achieved by adopting an innovative mechanical design and by using superconducting magnets of the Canted Cosine Theta type with a small aperture. The optics is optimized to reduce the beam size, it is achromatic and it is independent of the rotation angle (for an incoming round beam). A preliminary synchrotron layout based on similar superconducting magnets units is presented and the dose delivery specificities are discussed.


title: You Only Learn One Representation: Unified Network for Multiple Tasks

abstract: People ``understand'' the world via vision, hearing, tactile, and also the past experience. Human experience can be learned through normal learning (we call it explicit knowledge), or subconsciously (we call it implicit knowledge). These experiences learned through normal learning or subconsciously will be encoded and stored in the brain. Using these abundant experience as a huge database, human beings can effectively process data, even they were unseen beforehand. In this paper, we propose a unified network to encode implicit knowledge and explicit knowledge together, just like the human brain can learn knowledge from normal learning as well as subconsciousness learning. The unified network can generate a unified representation to simultaneously serve various tasks. We can perform kernel space alignment, prediction refinement, and multi-task learning in a convolutional neural network. The results demonstrate that when implicit knowledge is introduced into the neural network, it benefits the performance of all tasks. We further analyze the implicit representation learnt from the proposed unified network, and it shows great capability on catching the physical meaning of different tasks. The source code of this work is at : https://github.com/WongKinYiu/yolor.


title: Age of Information Aware VNF Scheduling in Industrial IoT Using Deep Reinforcement Learning

abstract: In delay-sensitive industrial internet of things (IIoT) applications, the age of information (AoI) is employed to characterize the freshness of information. Meanwhile, the emerging network function virtualization provides flexibility and agility for service providers to deliver a given network service using a sequence of virtual network functions (VNFs). However, suitable VNF placement and scheduling in these schemes is NP-hard and finding a globally optimal solution by traditional approaches is complex. Recently, deep reinforcement learning (DRL) has appeared as a viable way to solve such problems. In this paper, we first utilize single agent low-complex compound action actor-critic RL to cover both discrete and continuous actions and jointly minimize VNF cost and AoI in terms of network resources under end-to end Quality of Service constraints. To surmount the single-agent capacity limitation for learning, we then extend our solution to a multi-agent DRL scheme in which agents collaborate with each other. Simulation results demonstrate that single-agent schemes significantly outperform the greedy algorithm in terms of average network cost and AoI. Moreover, multi-agent solution decreases the average cost by dividing the tasks between the agents. However, it needs more iterations to be learned due to the requirement on the agents collaboration.


title: Action Shuffling for Weakly Supervised Temporal Localization

abstract: Weakly supervised action localization is a challenging task with extensive applications, which aims to identify actions and the corresponding temporal intervals with only video-level annotations available. This paper analyzes the order-sensitive and location-insensitive properties of actions, and embodies them into a self-augmented learning framework to improve the weakly supervised action localization performance. To be specific, we propose a novel two-branch network architecture with intra/inter-action shuffling, referred to as ActShufNet. The intra-action shuffling branch lays out a self-supervised order prediction task to augment the video representation with inner-video relevance, whereas the inter-action shuffling branch imposes a reorganizing strategy on the existing action contents to augment the training set without resorting to any external resources. Furthermore, the global-local adversarial training is presented to enhance the model's robustness to irrelevant noises. Extensive experiments are conducted on three benchmark datasets, and the results clearly demonstrate the efficacy of the proposed method.


title: The M-center in 4H-SiC is a carbon self-interstitial

abstract: The list of semiconductor materials with spectroscopically fingerprinted self-interstitials is very short. The M-center in 4H-SiC, a bistable defect responsible for a family of electron traps, has been deprived of a model which could unveil its real importance for almost two decades. Using advanced first-principles calculations and junction spectroscopy, we demonstrate that the properties of M, including bistability, annealing, reconfiguration kinetics, and electronic levels, match those of the carbon self-interstitial.


title: Robust Graph Learning Under Wasserstein Uncertainty

abstract: Graphs are playing a crucial role in different fields since they are powerful tools to unveil intrinsic relationships among signals. In many scenarios, an accurate graph structure representing signals is not available at all and that motivates people to learn a reliable graph structure directly from observed signals. However, in real life, it is inevitable that there exists uncertainty in the observed signals due to noise measurements or limited observability, which causes a reduction in reliability of the learned graph. To this end, we propose a graph learning framework using Wasserstein distributionally robust optimization (WDRO) which handles uncertainty in data by defining an uncertainty set on distributions of the observed data. Specifically, two models are developed, one of which assumes all distributions in uncertainty set are Gaussian distributions and the other one has no prior distributional assumption. Instead of using interior point method directly, we propose two algorithms to solve the corresponding models and show that our algorithms are more time-saving. In addition, we also reformulate both two models into Semi-Definite Programming (SDP), and illustrate that they are intractable in the scenario of large-scale graph. Experiments on both synthetic and real world data are carried out to validate the proposed framework, which show that our scheme can learn a reliable graph in the context of uncertainty.


title: SigGPDE: Scaling Sparse Gaussian Processes on Sequential Data

abstract: Making predictions and quantifying their uncertainty when the input data is sequential is a fundamental learning challenge, recently attracting increasing attention. We develop SigGPDE, a new scalable sparse variational inference framework for Gaussian Processes (GPs) on sequential data. Our contribution is twofold. First, we construct inducing variables underpinning the sparse approximation so that the resulting evidence lower bound (ELBO) does not require any matrix inversion. Second, we show that the gradients of the GP signature kernel are solutions of a hyperbolic partial differential equation (PDE). This theoretical insight allows us to build an efficient back-propagation algorithm to optimize the ELBO. We showcase the significant computational gains of SigGPDE compared to existing methods, while achieving state-of-the-art performance for classification tasks on large datasets of up to 1 million multivariate time series.


title: Efficient Error-Correcting-Code Mechanism for High-Throughput Memristive Processing-in-Memory

abstract: Inefficient data transfer between computation and memory inspired emerging processing-in-memory (PIM) technologies. Many PIM solutions enable storage and processing using memristors in a crossbar-array structure, with techniques such as memristor-aided logic (MAGIC) used for computation. This approach provides highly-paralleled logic computation with minimal data movement. However, memristors are vulnerable to soft errors and standard error-correcting-code (ECC) techniques are difficult to implement without moving data outside the memory. We propose a novel technique for efficient ECC implementation along diagonals to support reliable computation inside the memory without explicitly reading the data. Our evaluation demonstrates an improvement of over eight orders of magnitude in reliability (mean time to failure) for an increase of about 26% in computation latency.


title: Temporal-Spatial Feature Pyramid for Video Saliency Detection

abstract: Multi-level features are important for saliency detection. Better combination and use of multi-level features with time information can greatly improve the accuracy of the video saliency model. In order to fully combine multi-level features and make it serve the video saliency model, we propose a 3D fully convolutional encoder-decoder architecture for video saliency detection, which combines scale, space and time information for video saliency modeling. The encoder extracts multi-scale temporal-spatial features from the input continuous video frames, and then constructs temporal-spatial feature pyramid through temporal-spatial convolution and top-down feature integration. The decoder performs hierarchical decoding of temporal-spatial features from different scales, and finally produces a saliency map from the integration of multiple video frames. Our model is simple yet effective, and can run in real time. We perform abundant experiments, and the results indicate that the well-designed structure can improve the precision of video saliency detection significantly. Experimental results on three purely visual video saliency benchmarks and six audio-video saliency benchmarks demonstrate that our method outperforms the existing state-of-the-art methods.


title: Hodge Theory for Polymatroids

abstract: We construct a Leray model for a discrete polymatroid with arbitrary building set and we prove a generalized Goresky-MacPherson formula. The first row of the model is the Chow ring of the polymatroid; we prove Poincar\'e duality, Hard Lefschetz, and Hodge-Riemann theorems for the Chow ring. Furthermore we provide a relative Lefschetz decomposition with respect to the deletion of an element.


title: Simulations of ionospheric refraction on radio interferometric data

abstract: The Epoch of Reionisation (EoR) is the period within which the neutral universe transitioned to an ionised one. This period remains unobserved using low-frequency radio interferometers which target the 21 cm signal of neutral hydrogen emitted in this era. The Murchison Widefield Array (MWA) radio telescope was built with the detection of this signal as one of its major science goals. One of the most significant challenges towards a successful detection is that of calibration, especially in the presence of the Earth's ionosphere. By introducing refractive source shifts, distorting source shapes and scintillating flux densities, the ionosphere is a major nuisance in low-frequency radio astronomy. We introduce SIVIO, a software tool developed for simulating observations of the MWA through different ionospheric conditions estimated using thin screen approximation models and propagated into the visibilities. This enables us to directly assess the impact of the ionosphere on observed EoR data and the resulting power spectra. We show that the simulated data captures the dispersive behaviour of ionospheric effects. We show that the spatial structure of the simulated ionospheric media is accurately reconstructed either from the resultant source positional offsets or from parameters evaluated during the data calibration procedure. In turn, this will inform on the best strategies of identifying and efficiently eliminating ionospheric contamination in EoR data moving into the Square Kilometre Array era.


title: Event-LSTM: An Unsupervised and Asynchronous Learning-based Representation for Event-based Data

abstract: Event cameras are activity-driven bio-inspired vision sensors, thereby resulting in advantages such as sparsity,high temporal resolution, low latency, and power consumption. Given the different sensing modality of event camera and high quality of conventional vision paradigm, event processing is predominantly solved by transforming the sparse and asynchronous events into 2D grid and subsequently applying standard vision pipelines. Despite the promising results displayed by supervised learning approaches in 2D grid generation, these approaches treat the task in supervised manner. Labeled task specific ground truth event data is challenging to acquire. To overcome this limitation, we propose Event-LSTM, an unsupervised Auto-Encoder architecture made up of LSTM layers as a promising alternative to learn 2D grid representation from event sequence. Compared to competing supervised approaches, ours is a task-agnostic approach ideally suited for the event domain, where task specific labeled data is scarce. We also tailor the proposed solution to exploit asynchronous nature of event stream, which gives it desirable charateristics such as speed invariant and energy-efficient 2D grid generation. Besides, we also push state-of-the-art event de-noising forward by introducing memory into the de-noising process. Evaluations on activity recognition and gesture recognition demonstrate that our approach yields improvement over state-of-the-art approaches, while providing the flexibilty to learn from unlabelled data.


title: Spectroscopic Effects of Velocity-Dependent Casimir-Polder Interactions Induced by Parallel Plates

abstract: Casimir-Polder interactions cause energy and momentum exchange between microscopic and macroscopic bodies, a process mediated by quantum fluctuations in the coupled matter-electromagnetic field system. The dynamics of such effects are yet to be experimentally investigated due to the dominance of static effects at currently attainable atomic velocities. However, Y. Guo and Z. Jacob [\textit{Opt. Express}, 22:26193-26202, 2014] have proposed a non-static two-plate set-up where quantum fluctuation mediated effects have a strong velocity-dependent resonance, leading to a giant friction force on the plates. Here a more easily realisable set-up, a moving atom between two stationary plates, is analysed within a QED framework to establish the spectroscopic Casimir-Polder effects on the atom, and their velocity dependence. While no large velocity-dependent enhancement is found, expressions for the plate-induced spectroscopic effects on the atom were found, and further shown to be equivalent to the Doppler-shifted static result within certain velocity constraints. A numerical analysis investigates the behaviour of this system for the well studied case of the $6D_{3/2}\rightarrow 7P_{1/2}$ transition in $^{133}$Cs interacting with sapphire plates.


title: Exploiting Elasticity in Tensor Ranks for Compressing Neural Networks

abstract: Elasticities in depth, width, kernel size and resolution have been explored in compressing deep neural networks (DNNs). Recognizing that the kernels in a convolutional neural network (CNN) are 4-way tensors, we further exploit a new elasticity dimension along the input-output channels. Specifically, a novel nuclear-norm rank minimization factorization (NRMF) approach is proposed to dynamically and globally search for the reduced tensor ranks during training. Correlation between tensor ranks across multiple layers is revealed, and a graceful tradeoff between model size and accuracy is obtained. Experiments then show the superiority of NRMF over the previous non-elastic variational Bayesian matrix factorization (VBMF) scheme.


title: On the adiabaticity of emittance exchange due to crossing of the coupling resonance

abstract: In circular accelerators, crossing the linear coupling resonance induces the exchange of the transverse emittances, provided the process is adiabatic. This has been considered in some previous works, where the description of the phenomenon has been laid down, and, more recently, where a possible explanation of the numerical results has been proposed. In this paper, we introduce a theoretical framework to analyze the crossing process, based on the theory of adiabatic invariance for Hamiltonian mechanics, which explains in detail various features of the emittance exchange process.


title: Photonic Bound-States-in-the-Continuum Observed with an Electron Nanoprobe

abstract: Bound-states-in-the-continuum (BIC)is a wave-mechanical concept that generates resonances with vanishing spectral linewidths. It has many practical applications in Optics, such as narrow-band filters, mirror-less lasing, and nonlinear harmonic generation. As true BIC optical modes non-radiative and confined to the near field of nanostructures, they cannot be excited using propagating light. As a result, their direct experimental observation has been elusive. Rather than using light, we demonstrate probing BIC modes on arrays of silicon nanoantennas using a focused beam of electrons in a tranmission electron microscope. By combining cathodoluminescence (CL) and monochromated electron energy-loss spectroscopy (EELS) with controlled nanofabrication, we provide direct experimental evidence of "true" BIC modes, and demonstrate a BIC mode in the visible spectrum at 720 nm. The ability to observe and quantify these guided resonances with a spatial precision more than two orders of magnitude higher than previous far-field measurements allows the probing of individual elements in the nano-antenna arrays. The high-resolution experimental results are supported by numerical simulations as well as multipolar decomposition analysis, allowing us to demonstrate that the coherent interaction length of the quasi-BIC resonance requires at least 6 neighboring antenna elements, achieving over 60 times higher emissivity than for unpatterned silicon.


title: Similarities between Arabic Dialects: Investigating Geographical Proximity

abstract: The automatic classification of Arabic dialects is an ongoing research challenge, which has been explored in recent work that defines dialects based on increasingly limited geographic areas like cities and provinces. This paper focuses on a related yet relatively unexplored topic: the effects of the geographical proximity of cities located in Arab countries on their dialectical similarity. Our work is twofold, reliant on: 1) comparing the textual similarities between dialects using cosine similarity and 2) measuring the geographical distance between locations. We study MADAR and NADI, two established datasets with Arabic dialects from many cities and provinces. Our results indicate that cities located in different countries may in fact have more dialectical similarity than cities within the same country, depending on their geographical proximity. The correlation between dialectical similarity and city proximity suggests that cities that are closer together are more likely to share dialectical attributes, regardless of country borders. This nuance provides the potential for important advancements in Arabic dialect research because it indicates that a more granular approach to dialect classification is essential to understanding how to frame the problem of Arabic dialects identification.


title: Leveraging Slot Descriptions for Zero-Shot Cross-Domain Dialogue State Tracking

abstract: Zero-shot cross-domain dialogue state tracking (DST) enables us to handle task-oriented dialogue in unseen domains without the expense of collecting in-domain data. In this paper, we propose a slot description enhanced generative approach for zero-shot cross-domain DST. Specifically, our model first encodes dialogue context and slots with a pre-trained self-attentive encoder, and generates slot values in an auto-regressive manner. In addition, we incorporate Slot Type Informed Descriptions that capture the shared information across slots to facilitate cross-domain knowledge transfer. Experimental results on the MultiWOZ dataset show that our proposed method significantly improves existing state-of-the-art results in the zero-shot cross-domain setting.


title: Inducing micromechanical motion by optical excitation of a single quantum dot

abstract: Hybrid quantum optomechanical systems offer an interface between a single two-level system and a macroscopical mechanical degree of freedom. In this work, we build a hybrid system made of a vibrating microwire coupled to a single semiconductor quantum dot (QD) via material strain. It was shown a few years ago, that the QD excitonic transition energy can thus be modulated by the microwire motion. We demonstrate here the reverse effect, whereby the wire is set in motion by the resonant drive of a single QD exciton with a laser modulated at the mechanical frequency. The resulting driving force is found to be almost 3 orders of magnitude larger than radiation pressure. From a fundamental aspect, this state dependent force offers a convenient strategy to map the QD quantum state onto a mechanical degree of freedom.


title: ALMA Observations toward the S-shaped Outflow and the Envelope around NGC1333 IRAS 4A2

abstract: We have analyzed the ALMA archival data of the SO ($J_N=6_5-5_4$ and $J_N=7_6-6_5$), CO ($J=2-1$), and CCH ($N=3-2, J=7/2-5/2, F=4-3$) lines from the class 0 protobinary system, NGC1333 IRAS 4A. The images of SO ($J_N = 6_5-5_4$) and CO ($J=2-1$) successfully separate two northern outflow lobes connected to each protostar, IRAS 4A1 and IRAS 4A2. The outflow from IRAS 4A2 shows an S-shaped morphology, consisting of a flattened envelope around IRAS 4A2 with two outflow lobes connected to both edges of the envelope. The flattened envelope surrounding IRAS 4A2 has an opposite velocity gradient to that of the circumbinary envelope. The observed features are reproduced by the magnetohydrodynamic simulation of the collapsing core whose magnetic field direction is misaligned to the rotational axis. Our simulation shows that the intensity of the outflow lobes is enhanced on one side, resulting in the formation of S-shaped morphology. The S-shaped outflow can also be explained by the precessing outflow launched from an unresolved binary with a separation larger than 12 au (0.04arcsec). Additionally, we discovered a previously unknown extremely high velocity component at $\sim$45-90 km/s near IRAS 4A2 with CO. CCH ($J_{N,F}=7/2_{3,4}-5/2_{2,3}$) emission shows two pairs of blobs attaching to the bottom of shell like feature, and the morphology is significantly different from those of SO and CO lines. Toward IRAS 4A2, the S-shaped outflow shown in SO is overlapped with the edges of CCH shells, while CCH shells have the velocity gradients opposite to the flattened structure around IRAS 4A2.


title: Ab-Initio Molecular Dynamics with Screened Lorentz Forces. Part II. Efficient Propagators and Rovibrational Spectra in Strong Magnetic Fields

abstract: Strong magnetic fields have a large impact on the dynamics of molecules. In addition to the changes of the electronic structure, the nuclei are exposed to the Lorentz force with the magnetic field being screened by the electrons. In this work, we explore these effects using ab-initio molecular dynamics simulations based on an effective Hamiltonian calculated at the Hartree-Fock level of theory. To correctly include these non-conservative forces in the dynamics, we have designed a series of novel propagators that show both good efficiency and stability in test cases. As a first application, we analyze simulations of He and H$_2$ at two field strengths characteristic of magnetic white dwarfs (0.1 $B_0 = 2.35 \times 10^4$ T and $B_0 = 2.35 \times 10^5$ T). While the He simulations clearly demonstrate the importance of electron screening of the Lorentz force in the dynamics, the extracted rovibrational spectra of H$_2$ reveal a number of fascinating features not observed in the field-free case: couplings of rotations/vibrations with the cyclotron rotation, overtones with unusual selection rules, and hindered rotations that transmute into librations with increasing field strength. We conclude that our presented framework is a powerful tool to investigate molecules in these extreme environments.


title: Existence and non-uniqueness of stationary distributions for distribution dependent SDEs

abstract: The existence of stationary distributions to distribution dependent stochastic differential equations are investigated by using the ergodicity of the associated decoupled equation and the Schauder fixed point theorem. By using Zvonkin's transformation, we also establish the existence result for equations with singular coefficients. Instead of the uniqueness, the non-uniqueness of stationary distributions are considered for equations with regular coefficients. Concrete examples including McKean-Vlasov stochastic equations with the quadratic interaction and the non-quadratic interaction, and equations with a bounded and discontinuous drift are presented to illustrate our non-uniqueness results.


title: Teoria Geometrica dei Gruppi Spazi CAT(0), Teorema di Gromov e oriented right-angled Artin groups

abstract: The aim of this thesis is to present the notion of spaces whose curvature is bounded above, and to give some of its application in the context of Combinatorial Algebra. The thesis is made of two parts, one of theoretic purpose, and the other applicative. In particular, we present an application to the notion of $CAT(0)$-space and one to the Gromov Theorem for cubical complexes. In the final part we present a new class of discrete groups generalizing the well-known right-angled Artin groups. We concoct a cubical CAT(0)-complex on which the group acts, from whom we extract some algebraic properties of such groups.


title: Exact asymptotic characterisation of running time for approximate gradient descent on random graphs

abstract: In this work we study the time complexity for the search of local minima in random graphs whose vertices have i.i.d. cost values. We show that, for Erd\"os-R\'enyi graphs with connection probability given by $\lambda/n^\alpha$ (with $\lambda > 0$ and $0 < \alpha < 1$), a family of local algorithms that approximate a gradient descent find local minima faster than the full gradient descent. Furthermore, we find a probabilistic representation for the running time of these algorithms leading to asymptotic estimates of the mean running times.


title: Long-term pulse period evolution of the ultra-luminous X-ray pulsar NGC 7793 P13

abstract: Ultra-luminous X-ray pulsars (ULXPs) provide a unique opportunity to study super-Eddington accretion. We present the results of a monitoring campaign of ULXP NGC 7793 P13. Over our four-year monitoring campaign with Swift, XMM-Newton, and NuSTAR, we measured a continuous spin-up with $\dot P$ ~ -3.8e-11 s/s. The strength of the spin-up is independent of the observed X-ray flux, indicating that despite a drop in observed flux in 2019, accretion onto the source has continued at largely similar rates. The source entered an apparent off-state in early 2020, which might have resulted in a change in the accretion geometry as no pulsations were found in observations in July and August 2020. We used the long-term monitoring to update the orbital ephemeris and the periodicities seen in both the observed optical/UV and X-ray fluxes. We find that the optical/UV period is very stable over the years, with $P_\text{UV}$ = 63.75 (+0.17, -0.12) d. The best-fit orbital period determined from our X-ray timing results is 64.86 +/- 0.19 d, which is almost a day longer than previously implied, and the X-ray flux period is 65.21+/- 0.15 d, which is slightly shorter than previously measured. The physical origin of these different flux periods is currently unknown. We study the hardness ratio to search for indications of spectral changes. We find that the hardness ratios at high energies are very stable and not directly correlated with the observed flux. At lower energies we observe a small hardening with increased flux, which might indicate increased obscuration through outflows at higher luminosities. We find that the pulsed fraction is significantly higher at low fluxes. This seems to imply that the accretion geometry already changed before the source entered the deep off-state. We discuss possible scenarios to explain this behavior, which is likely driven by a precessing accretion disk.


title: Practical sufficient conditions for convergence of distributed optimisation algorithms over communication networks with interference

abstract: Information exchange over networks can be affected by various forms of delay. This causes challenges for using the network by a multi-agent system to solve a distributed optimisation problem. Distributed optimisation schemes, however, typically do not assume network models that are representative for real-world communication networks, since communication links are most of the time abstracted as lossless. Our objective is therefore to formulate a representative network model and provide practically verifiable network conditions that ensure convergence of distributed algorithms in the presence of interference and possibly unbounded delay. Our network is modelled by a sequence of directed-graphs, where to each network link we associate a process for the instantaneous signal-to-interference-plus-noise ratio. We then formulate practical conditions that can be verified locally and show that the age of information (AoI) associated with data communicated over the network is in $\mathcal{O}(\sqrt{n})$. Under these conditions we show that a penalty-based gradient descent algorithm can be used to solve a rich class of stochastic, constrained, distributed optimisation problems. The strength of our result lies in the bridge between practical verifiable network conditions and an abstract optimisation theory. We illustrate numerically that our algorithm converges in an extreme scenario where the average AoI diverges.


title: Distinct Fringe Subtrees in Random Trees

abstract: A fringe subtree of a rooted tree is a subtree induced by one of the vertices and all its descendants. We consider the problem of estimating the number of distinct fringe subtrees in two types of random trees: simply generated trees and families of increasing trees (recursive trees, $d$-ary increasing trees and generalized plane-oriented recursive trees). We prove that the order of magnitude of the number of distinct fringe subtrees (under rather mild assumptions on what `distinct' means) in random trees with $n$ vertices is $n/\sqrt{\log n}$ for simply generated trees and $n/\log n$ for increasing trees.


title: De-homogenization using Convolutional Neural Networks

abstract: This paper presents a deep learning-based de-homogenization method for structural compliance minimization. By using a convolutional neural network to parameterize the mapping from a set of lamination parameters on a coarse mesh to a one-scale design on a fine mesh, we avoid solving the least square problems associated with traditional de-homogenization approaches and save time correspondingly. To train the neural network, a two-step custom loss function has been developed which ensures a periodic output field that follows the local lamination orientations. A key feature of the proposed method is that the training is carried out without any use of or reference to the underlying structural optimization problem, which renders the proposed method robust and insensitive wrt. domain size, boundary conditions, and loading. A post-processing procedure utilizing a distance transform on the output field skeleton is used to project the desired lamination widths onto the output field while ensuring a predefined minimum length-scale and volume fraction. To demonstrate that the deep learning approach has excellent generalization properties, numerical examples are shown for several different load and boundary conditions. For an appropriate choice of parameters, the de-homogenized designs perform within $7-25\%$ of the homogenization-based solution at a fraction of the computational cost. With several options for further improvements, the scheme may provide the basis for future interactive high-resolution topology optimization.