title: Testing a New Model of Embedded Protostellar Disks Against Observation: The Majority of Orion Class 0/I Disks Are Likely Warm, Massive, and Gravitationally Unstable

abstract: We formulate a parametrized model of embedded protostellar disks and test its ability to estimate disk properties by fitting dust-continuum observations. The main physical assumptions of our model are motivated by a recent theoretical study of protostellar disk formation; these assumptions include that the disk should be marginally gravitationally unstable, and that the dominant dust heating mechanism is internal accretion heating instead of external protostellar irradiation. These assumptions allow our model to reliably estimate the disk mass even when the observed emission is optically thick and to self-consistently determine disk (dust) temperature. Using our model to fit multi-wavelength observations of 156 disks in the VANDAM Orion survey, we find that the majority (57%) of this sample can be fit well by our model. Using our model, we produce new estimates of Orion protostellar disk properties. We find that these disks are generally warm and massive, with a typical star-to-disk mass ratio $M_{\rm d}/M_\star = \mathcal O(1)$ in Class 0/I. We also discuss why our estimates differ from those in previous studies and the implications of our results on disk evolution and fragmentation.


title: Emergent Hadron Mass in Strong Dynamics

abstract: Emergent Hadron Mass (EHM) is a mechanism capable of explaining both the unnaturally small (pion) and large (proton) masses of hadrons and if not the origin of confinement, then intimately connected with it. Even though the modern formulation of EHM has only recently been completed, it is rapidly becoming a fundamental focus for modern and future experimental efforts aimed at understanding the strong force within the Standard Model. Using Dyson-Schwinger equations for the gluon, ghost and quark propagators, I will introduce the main EHM concepts and illustrate how far this framework can take us in understanding strong interaction phenomenology.


title: Neveu's exchange formula for analysis of wireless networks with hotspot clusters

abstract: Theory of point processes, in particular Palm calculus within the stationary framework, plays a fundamental role in the analysis of spatial stochastic models of wireless communication networks. Neveu's exchange formula, which connects the respective Palm distributions for two jointly stationary point processes, is known as one of the most important results in the Palm calculus. However, its use in the analysis of wireless networks seems to be limited so far and one reason for this may be that the formula in a well-known form is based upon the Voronoi tessellation. In this paper, we present an alternative form of Neveu's exchange formula, which does not rely on the Voronoi tessellation but includes the one as a special case. We then demonstrate that our new form of the exchange formula is useful for the analysis of wireless networks with hotspot clusters modeled using cluster point processes.


title: High-order linearly implicit schemes conserving quadratic invariants

abstract: In this paper, we propose linearly implicit and arbitrary high-order conservative numerical schemes for ordinary differential equations with a quadratic invariant. Many differential equations have invariants, and numerical schemes for preserving them have been extensively studied. Since linear invariants can be easily kept after discretisation, quadratic invariants are essentially the simplest ones. Quadratic invariants are important objects that appear not only in many physical examples but also in the computationally efficient conservative schemes for general invariants such as scalar auxiliary variable approach, which have been studied in recent years. It is known that quadratic invariants can be kept relatively easily compared to general invariants, and indeed can be preserved by canonical Runge--Kutta methods. However, there is no unified method for constructing linearly implicit and high order conservative schemes. In this paper, we construct such schemes based on canonical Runge--Kutta methods and prove some properties involving accuracy.


title: ParaPose: Parameter and Domain Randomization Optimization for Pose Estimation using Synthetic Data

abstract: Pose estimation is the task of determining the 6D position of an object in a scene. Pose estimation aid the abilities and flexibility of robotic set-ups. However, the system must be configured towards the use case to perform adequately. This configuration is time-consuming and limits the usability of pose estimation and, thereby, robotic systems. Deep learning is a method to overcome this configuration procedure by learning parameters directly from the dataset. However, obtaining this training data can also be very time-consuming. The use of synthetic training data avoids this data collection problem, but a configuration of the training procedure is necessary to overcome the domain gap problem. Additionally, the pose estimation parameters also need to be configured. This configuration is jokingly known as grad student descent as parameters are manually adjusted until satisfactory results are obtained. This paper presents a method for automatic configuration using only synthetic data. This is accomplished by learning the domain randomization during network training, and then using the domain randomization to optimize the pose estimation parameters. The developed approach shows state-of-the-art performance of 82.0 % recall on the challenging OCCLUSION dataset, outperforming all previous methods with a large margin. These results prove the validity of automatic set-up of pose estimation using purely synthetic data.


title: Muography applied to archaelogy

abstract: A tomography experiment using muon cosmic rays was conducted on an archaeological site in Greece, a tumulus. This contribution presents issues related to the simulation of the experiment and of the site, using tools commonly used in high-energy physics. The scientific objective is to compare the results of the simulation with the recorded data to highlight anomalies.


title: KC-TSS: An Algorithm for Heterogeneous Robot Teams Performing Resilient Target Search

abstract: This paper proposes KC-TSS: K-Clustered-Traveling Salesman Based Search, a failure resilient path planning algorithm for heterogeneous robot teams performing target search in human environments. We separate the sample path generation problem into Heterogeneous Clustering and multiple Traveling Salesman Problems. This allows us to provide high-quality candidate paths (i.e. minimal backtracking, overlap) to an Information-Theoretic utility function for each agent. First, we generate waypoint candidates from map knowledge and a target prediction model. All of these candidates are clustered according to the number of agents and their ability to cover space, or coverage competency. Each agent solves a Traveling Salesman Problem (TSP) instance over their assigned cluster and then candidates are fed to a utility function for path selection. We perform extensive Gazebo simulations and preliminary deployment of real robots in indoor search and simulated rescue scenarios with static targets. We compare our proposed method against a state-of-the-art algorithm and show that ours is able to outperform it in mission time. Our method provides resilience in the event of single or multi teammate failure by recomputing global team plans online.


title: CD-GAN: a robust fusion-based generative adversarial network for unsupervised remote sensing change detection with heterogeneous sensors

abstract: In the context of Earth observation, change detection boils down to comparing images acquired at different times by sensors of possibly different spatial and/or spectral resolutions or different modalities (e.g., optical or radar). Even when considering only optical images, this task has proven to be challenging as soon as the sensors differ by their spatial and/or spectral resolutions. This paper proposes a novel unsupervised change detection method dedicated to images acquired by such so-called heterogeneous optical sensors. It capitalizes on recent advances which formulate the change detection task into a robust fusion framework. Adopting this formulation, the work reported in this paper shows that any off-the-shelf network trained beforehand to fuse optical images of different spatial and/or spectral resolutions can be easily complemented with a network of the same architecture and embedded into an adversarial framework to perform change detection. A comparison with state-of-the-art change detection methods demonstrates the versatility and the effectiveness of the proposed approach.


title: GAP: Differentially Private Graph Neural Networks with Aggregation Perturbation

abstract: In this paper, we study the problem of learning Graph Neural Networks (GNNs) with Differential Privacy (DP). We propose a novel differentially private GNN based on Aggregation Perturbation (GAP), which adds stochastic noise to the GNN's aggregation function to statistically obfuscate the presence of a single edge (edge-level privacy) or a single node and all its adjacent edges (node-level privacy). Tailored to the specifics of private learning, GAP's new architecture is composed of three separate modules: (i) the encoder module, where we learn private node embeddings without relying on the edge information; (ii) the aggregation module, where we compute noisy aggregated node embeddings based on the graph structure; and (iii) the classification module, where we train a neural network on the private aggregations for node classification without further querying the graph edges. GAP's major advantage over previous approaches is that it can benefit from multi-hop neighborhood aggregations, and guarantees both edge-level and node-level DP not only for training, but also at inference with no additional costs beyond the training's privacy budget. We analyze GAP's formal privacy guarantees using R\'enyi DP and conduct empirical experiments over three real-world graph datasets. We demonstrate that GAP offers significantly better accuracy-privacy trade-offs than state-of-the-art DP-GNN approaches and naive MLP-based baselines. Our code is publicly available at https://github.com/sisaman/GAP.


title: Equilibrium points, periodic solutions and the Brouwer fixed point theorem for convex and non-convex domains

abstract: We show the direct applicability of the Brouwer fixed point theorem for the existence of equilibrium points and periodic solutions for differential systems on general domains satisfying geometric conditions at the boundary. We develop a general approach for arbitrary bound sets and present applications to the case of convex and star-shaped domains. We also provide an answer to a question raised in a recent paper of Cid and Mawhin.


title: Speaker Adaption with Intuitive Prosodic Features for Statistical Parametric Speech Synthesis

abstract: In this paper, we propose a method of speaker adaption with intuitive prosodic features for statistical parametric speech synthesis. The intuitive prosodic features employed in this method include pitch, pitch range, speech rate and energy considering that they are directly related with the overall prosodic characteristics of different speakers. The intuitive prosodic features are extracted at utterance-level or speaker-level, and are further integrated into the existing speaker-encoding-based and speaker-embedding-based adaptation frameworks respectively. The acoustic models are sequence-to-sequence ones based on Tacotron2. Intuitive prosodic features are concatenated with text encoder outputs and speaker vectors for decoding acoustic features.Experimental results have demonstrated that our proposed methods can achieve better objective and subjective performance than the baseline methods without intuitive prosodic features. Besides, the proposed speaker adaption method with utterance-level prosodic features has achieved the best similarity of synthetic speech among all compared methods.


title: Sketched RT3D: How to reconstruct billions of photons per second

abstract: Single-photon light detection and ranging (lidar) captures depth and intensity information of a 3D scene. Reconstructing a scene from observed photons is a challenging task due to spurious detections associated with background illumination sources. To tackle this problem, there is a plethora of 3D reconstruction algorithms which exploit spatial regularity of natural scenes to provide stable reconstructions. However, most existing algorithms have computational and memory complexity proportional to the number of recorded photons. This complexity hinders their real-time deployment on modern lidar arrays which acquire billions of photons per second. Leveraging a recent lidar sketching framework, we show that it is possible to modify existing reconstruction algorithms such that they only require a small sketch of the photon information. In particular, we propose a sketched version of a recent state-of-the-art algorithm which uses point cloud denoisers to provide spatially regularized reconstructions. A series of experiments performed on real lidar datasets demonstrates a significant reduction of execution time and memory requirements, while achieving the same reconstruction performance than in the full data case.


title: Computationally Efficient and Statistically Optimal Robust Low-rank Matrix and Tensor Estimation

abstract: Low-rank matrix estimation under heavy-tailed noise is challenging, both computationally and statistically. Convex approaches have been proven statistically optimal but suffer from high computational costs, especially since robust loss functions are usually non-smooth. More recently, computationally fast non-convex approaches via sub-gradient descent are proposed, which, unfortunately, fail to deliver a statistically consistent estimator even under sub-Gaussian noise. In this paper, we introduce a novel Riemannian sub-gradient (RsGrad) algorithm which is not only computationally efficient with linear convergence but also is statistically optimal, be the noise Gaussian or heavy-tailed. Convergence theory is established for a general framework and specific applications to absolute loss, Huber loss, and quantile loss are investigated. Compared with existing non-convex methods, ours reveals a surprising phenomenon of dual-phase convergence. In phase one, RsGrad behaves as in a typical non-smooth optimization that requires gradually decaying stepsizes. However, phase one only delivers a statistically sub-optimal estimator which is already observed in the existing literature. Interestingly, during phase two, RsGrad converges linearly as if minimizing a smooth and strongly convex objective function and thus a constant stepsize suffices. Underlying the phase-two convergence is the smoothing effect of random noise to the non-smooth robust losses in an area close but not too close to the truth. Lastly, RsGrad is applicable for low-rank tensor estimation under heavy-tailed noise where a statistically optimal rate is attainable with the same phenomenon of dual-phase convergence, and a novel shrinkage-based second-order moment method is guaranteed to deliver a warm initialization. Numerical simulations confirm our theoretical discovery and showcase the superiority of RsGrad over prior methods.

categories: math.ST cs.IT math.IT stat.ME stat.ML stat.TH


title: Analysis of Peierls-Yoccoz rotational energy of nuclei with semi-realistic interaction

abstract: The Peierls-Yoccoz (PY) rotational energy of nuclei has been analyzed by the angular-momentum projection (AMP) on the axial Hartree-Fock solutions, by using the semi-realistic effective Hamiltonian M3Y-P6. The rotational energy is decomposed into contributions of the individual terms of the Hamiltonian, and their ratios to the total PY rotational energy are calculated. Except for light or weakly-deformed nuclei, the ratios of the individual terms of the Hamiltonian are insensitive to nuclides and deformation. The contributions of kinetic energies are large and close to the rigid-rotor values, although those of central forces are sizable. For light or weakly-deformed nuclei, the ratios significantly depend on nuclei and deformation. The contributions of noncentral forces are not negligible. Regardless of nuclides, the attractive forces decrease the moment-of-inertia, and the repulsive forces increase it. A general formula for the PY rotational energy is derived, which suggests that higher-order terms of the cumulant expansion play roles in the rotational energy and the moment-of-inertia for light or weakly-deformed nuclei.


title: GRASP EARTH: Intuitive Software for Discovering Changes on the Planet

abstract: Detecting changes on the Earth, such as urban development, deforestation, or natural disaster, is one of the research fields that is attracting a great deal of attention. One promising tool to solve these problems is satellite imagery. However, satellite images require huge amount of storage, therefore users are required to set Area of Interests first, which was not suitable for detecting potential areas for disaster or development. To tackle with this problem, we develop the novel tool, namely GRASP EARTH, which is the simple change detection application based on Google Earth Engine. GRASP EARTH allows us to handle satellite imagery easily and it has used for disaster monitoring and urban development monitoring.


title: Distributed Optimization with Coupling Constraints in Multi-Cluster Networks Based on Dual Proximal Gradient Method

abstract: In this work, we consider solving a distributed optimization problem in a multi-agent network with multiple clusters. In each cluster, the involved agents cooperatively optimize a separable composite function with a common decision variable. Meanwhile, a global cost function of the whole network is considered associated with an affine coupling constraint across the clusters. To solve this problem, we propose a cluster-based dual proximal gradient algorithm by resorting to the dual problem, where the global cost function is optimized when the agents in each cluster achieve an agreement on the optimal strategy and the global coupling constraint is satisfied. In addition, the proposed algorithm allows the agents to only communicate with their immediate neighbors. The computational complexity of the proposed algorithm with simple-structured cost functions is discussed and an ergodic convergence with rate O(1/T) is guaranteed (T is the index of iterations).


title: Strong gravitational lensing by Bardeen black holes in 4D EGB gravity: constraints from supermassive black holes

abstract: Observation indicates that many nearby galaxies host supermassive central black holes. Modelling Bardeen models in four-dimensional Einstein-Gauss-Bonnet (4D EGB) gravity, with additional parameters $\tilde{\alpha}$ and charge $q$, as central black holes in various galaxies, we investigate gravitational lensing properties in strong deflection limits. Interestingly, the spherical photon orbit radius $x_m$, the critical impact parameter $u_m$, the lensing coefficient $\bar{b}$, the deflection angle $\alpha_D(\theta)$, angular position $\theta_{\infty}$ are decreasing with $q$ and $\alpha$ whereas the other lensing coefficient $\bar{a}$ and angular separation $s$ have opposite behaviour. Taking the supermassive black holes Sgr A* and M87* as the lens, we also compare observable signatures of 4D EGB Bardeen black holes with those of the Schwarzschild black holes. The angular position $\theta_\infty$ for Sgr A* $\in$ (23.1853, \; 25.56427) $\mu$as, whereas for M87* it is $\in$ ( 17.941,\; 19.7819) $\mu$as. Further, the angular separation $s$, which is an increasing function of $\tilde{\alpha}$ and $q$ for Sgr A* and M87* differs significantly, respectively, in (0.031997,0.14895) $\mu$as and (0.0247, 0.1152) $\mu$as. The deviations of the lensing observables $\Delta \theta_{\infty}$ and $\Delta s$ for 4D EGB Bardeen black hole ($\tilde{\alpha}=0.9,~q=0.09$) from the Schwarzschild black hole, respectively, can reach up to $2.3789~\mu$as and $0.11695~\mu$as for Sgr A* , $1.84084~\mu$as and $0.0905~\mu$as for M87*. On the other hand, the relative magnification $\in$ (4.65751,\; 6.82173). Considering twenty-two massive central black holes as lens, we also estimate the time delay $\Delta T^s_{2,1}$ between the first and second relativistic image to find that, e.g., the time delay for Sgr A* and M87*, respectively, can reach $\sim9.86088$~min and $\sim16023.93$~min.


title: Asymptotic Properties of Quasi-Group Codes

abstract: This is a manuscript of a chapter prepared for a book. The good codes possess large information length and large minimum distance. A class of codes is said to be asymptotically good if there exists a positive real $\delta$ such that, for any positive integer $N$ we can find a code in the class with code length greater than $N$, and with both the rate and the relative minimum distance greater than $\delta$. The linear codes over any finite field are asymptotically good. More interestingly, the (asymptotic) GV-bound is a phase transition point for the linear codes; i.e., asymptotically speaking, the parameters of most linear codes attain the GV-bound. It is a long-standing open question: whether or not the cyclic codes over a finite field (which are an important class of codes) are asymptotically good? However, from a long time ago the quasi-cyclic codes of index $2$ were proved to be asymptotically good. This chapter consists of some of our studies on the asymptotic properties of several classes of quasi-group codes. We'll explain the studies in a consistent and self-contained style. We begin with the classical results on linear codes. In many cases we consider the quasi-group codes over finite abelian groups (including the cyclic case as a subcase of course), and study their asymptotic properties along two directions: (1) the order of the group (the coindex) is fixed while the index is going to infinity; (2) the index is small while the order of the group (the coindex) is going to infinity. Finally we describe the story on dihedral codes. The dihedral groups are non-abelian but near to cyclic groups (they have cyclic subgroups of index $2$). The asymptotic goodness of binary dihedral codes was obtained in the beginning of this century, and extended to the general dihedral codes recently.


title: Learning Moving-Object Tracking with FMCW LiDAR

abstract: In this paper, we propose a learning-based moving-object tracking method utilizing our newly developed LiDAR sensor, Frequency Modulated Continuous Wave (FMCW) LiDAR. Compared with most existing commercial LiDAR sensors, our FMCW LiDAR can provide additional Doppler velocity information to each 3D point of the point clouds. Benefiting from this, we can generate instance labels as ground truth in a semi-automatic manner. Given the labels, we propose a contrastive learning framework, which pulls together the features from the same instance in embedding space and pushes apart the features from different instances, to improve the tracking quality. Extensive experiments are conducted on our recorded driving data, and the results show that our method outperforms the baseline methods by a large margin.


title: Aggregated Pyramid Vision Transformer: Split-transform-merge Strategy for Image Recognition without Convolutions

abstract: With the achievements of Transformer in the field of natural language processing, the encoder-decoder and the attention mechanism in Transformer have been applied to computer vision. Recently, in multiple tasks of computer vision (image classification, object detection, semantic segmentation, etc.), state-of-the-art convolutional neural networks have introduced some concepts of Transformer. This proves that Transformer has a good prospect in the field of image recognition. After Vision Transformer was proposed, more and more works began to use self-attention to completely replace the convolutional layer. This work is based on Vision Transformer, combined with the pyramid architecture, using Split-transform-merge to propose the group encoder and name the network architecture Aggregated Pyramid Vision Transformer (APVT). We perform image classification tasks on the CIFAR-10 dataset and object detection tasks on the COCO 2017 dataset. Compared with other network architectures that use Transformer as the backbone, APVT has excellent results while reducing the computational cost. We hope this improved strategy can provide a reference for future Transformer research in computer vision.


title: Magneto-Centrifugal Origin for Protostellar Jets Validated through Detection of Radial Flow at the Jet Base

abstract: Jets can facilitate the mass accretion onto the protostars in star formation. They are believed to be launched from accretion disks around the protostars by magneto-centrifugal force, as supported by the detections of rotation and magnetic field in some of them. Here we report a radial flow of the textbook-case protostellar jet HH 212 at the base to further support this jet-launching scenario. This radial flow validates a central prediction of the magneto-centrifugal theory of jet formation and collimation, namely, the jet is the densest part of a wide-angle wind that flows radially outward at distances far from the (small, sub-au) launching region. Additional evidence for the radially flowing wide-angle component comes from its ability to reproduce the structure and kinematics of the shells detected around the HH 212 jet. This component, which can transport material from inner to outer disk, could account for the chondrules and Ca-Al-rich inclusions detected in the Solar System at large distances.


title: Class Re-Activation Maps for Weakly-Supervised Semantic Segmentation

abstract: Extracting class activation maps (CAM) is arguably the most standard step of generating pseudo masks for weakly-supervised semantic segmentation (WSSS). Yet, we find that the crux of the unsatisfactory pseudo masks is the binary cross-entropy loss (BCE) widely used in CAM. Specifically, due to the sum-over-class pooling nature of BCE, each pixel in CAM may be responsive to multiple classes co-occurring in the same receptive field. As a result, given a class, its hot CAM pixels may wrongly invade the area belonging to other classes, or the non-hot ones may be actually a part of the class. To this end, we introduce an embarrassingly simple yet surprisingly effective method: Reactivating the converged CAM with BCE by using softmax cross-entropy loss (SCE), dubbed \textbf{ReCAM}. Given an image, we use CAM to extract the feature pixels of each single class, and use them with the class label to learn another fully-connected layer (after the backbone) with SCE. Once converged, we extract ReCAM in the same way as in CAM. Thanks to the contrastive nature of SCE, the pixel response is disentangled into different classes and hence less mask ambiguity is expected. The evaluation on both PASCAL VOC and MS~COCO shows that ReCAM not only generates high-quality masks, but also supports plug-and-play in any CAM variant with little overhead.


title: Follow-Up of Extended Shells around B[e] Stars

abstract: B[e] stars are massive B type emission line stars in different evolutionary stages ranging from pre-main sequence to post-main sequence. Due to their mass loss and ejection events these objects deposit huge amounts of mass and energy into their environment and enrich it with chemically processed material, contributing significantly to the chemical and dynamical evolution of their host galaxies. However, the large-scale environments of these enigmatic objects have not attracted much attention. The first and so far only catalog reporting the detection of extended shells around a sample of B[e] stars was an Ha imaging survey carried out in the year 2001, and was limited to bright targets in the northern hemisphere. We have recently started a follow-up of those targets to detect possible evolution of their nebulae in the plane of the sky over a baseline of two decades. Furthermore, we extend our survey to southern targets and fainter northern ones to complement and complete our knowledge on large-scale ejecta surrounding B[e] stars. Besides imaging in Ha and selected nebular lines, we utilize long-slit and 3D spectral observations across the nebulae to derive their physical properties. We discovered pronounced nebula structures around 15 more objects, resulting in a total of 27 B[e] stars with a large-scale nebula. Here we present our (preliminary) results for three selected objects: the two massive supergiants MWC137 and MWC 314, and the unclassified B[e] star MWC 819.


title: PKGM: A Pre-trained Knowledge Graph Model for E-commerce Application

abstract: In recent years, knowledge graphs have been widely applied as a uniform way to organize data and have enhanced many tasks requiring knowledge. In online shopping platform Taobao, we built a billion-scale e-commerce product knowledge graph. It organizes data uniformly and provides item knowledge services for various tasks such as item recommendation. Usually, such knowledge services are provided through triple data, while this implementation includes (1) tedious data selection works on product knowledge graph and (2) task model designing works to infuse those triples knowledge. More importantly, product knowledge graph is far from complete, resulting error propagation to knowledge enhanced tasks. To avoid these problems, we propose a Pre-trained Knowledge Graph Model (PKGM) for the billion-scale product knowledge graph. On the one hand, it could provide item knowledge services in a uniform way with service vectors for embedding-based and item-knowledge-related task models without accessing triple data. On the other hand, it's service is provided based on implicitly completed product knowledge graph, overcoming the common the incomplete issue. We also propose two general ways to integrate the service vectors from PKGM into downstream task models. We test PKGM in five knowledge-related tasks, item classification, item resolution, item recommendation, scene detection and sequential recommendation. Experimental results show that PKGM introduces significant performance gains on these tasks, illustrating the useful of service vectors from PKGM.


title: High cooperativity coupling to nuclear spins on a circuit QED architecture

abstract: Nuclear spins are candidates to encode qubits or qudits due to their isolation from magnetic noise and potentially long coherence times. However, their weak coupling to external stimuli makes them hard to integrate into circuit-QED architectures, the leading technology for solid-state quantum processors. Here, we study the coupling of $^{173}$Yb(III) nuclear spin states in an [Yb(trensal)] molecule to superconducting cavities. Experiments have been performed on magnetically diluted single crystals placed on the inductors of lumped-element $LC$ superconducting resonators with characteristic frequencies spanning the range of nuclear and electronic spin transitions. We achieve a high cooperative coupling to all electronic and most nuclear [$^{173}$Yb(trensal)] spin transitions. This result is a big leap towards the implementation of qudit protocols with molecular spins using a hybrid architecture.


title: Reflecting Brownian motion in generalized parabolic domains: explosion and superdiffusivity

abstract: For a multidimensional driftless diffusion in an unbounded, smooth, sub-linear generalized parabolic domain, with oblique reflection from the boundary, we give natural conditions under which either explosion occurs, if the domain narrows sufficiently fast at infinity, or else there is superdiffusive transience, which we quantify with a strong law of large numbers. For example, in the case of a planar domain, explosion occurs if and only if the area of the domain is finite. We develop and apply novel semimartingale criteria for studying explosions and establishing strong laws, which are of independent interest.


title: Multilinear Discriminant Analysis using a new family of tensor-tensor products

abstract: Multilinear Discriminant Analysis (MDA) is a powerful dimension reduction method specifically formulated to deal with tensor data. Precisely, the goal of MDA is to find mode-specific projections that optimally separate tensor data from different classes. However, to solve this task, standard MDA methods use alternating optimization heuristics involving the computation of a succession of tensor-matrix products. Such approaches are most of the time difficult to solve and not natural, highligthing the difficulty to formulate this problem in fully tensor form. In this paper, we propose to solve multilinear discriminant analysis (MDA) by using the concept of transform domain (TD) recently proposed in \cite{Kilmer2011}. We show here that moving MDA to this specific transform domain make its resolution easier and more natural. More precisely, each frontal face of the transformed tensor is processed independently to build a separate optimization sub-problems easier to solve. Next, the obtained solutions are converted into projective tensors by inverse transform. By considering a large number of experiments, we show the effectiveness of our approach with respect to existing MDA methods.


title: Direct B\'ezier-Based Trajectory Planner for Improved Local Exploration of Unknown Environments

abstract: Autonomous exploration is an essential capability for mobile robots, as the majority of their applications require the ability to efficiently collect information about their surroundings. In the literature, there are several approaches, ranging from frontier-based methods to hybrid solutions involving the ability to plan both local and global exploring paths, but only few of them focus on improving local exploration by properly tuning the planned trajectory, often leading to "stop-and-go" like behaviors. In this work we propose a novel RRT-inspired B\'ezier-based next-best-view trajectory planner able to deal with the problem of fast local exploration. Gaussian process inference is used to guarantee fast exploration gain retrieval while still being consistent with the exploration task. The proposed approach is compared with other available state-of-the-art algorithms and tested in a real-world scenario. The implemented code is publicly released as open-source code to encourage further developments and benchmarking.


title: Passive spiral galaxies deeply captured by Subaru Hyper Suprime-Cam

abstract: This paper presents a thousand passive spiral galaxy samples at $z=$ 0.01-0.3 based on a combined analysis of the Third Public Data Release of the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP PDR3) and the GALEX-SDSS-WISE Legacy Catalog (GSWLC-2). Among 54871 $gri$ galaxy cutouts taken from the HSC-SSP PDR3 over 1072 deg$^2$, we conducted a search with deep-learning morphological classification for candidates of passive spirals below the star-forming main sequence derived by UV to mid-IR SED fitting in the GSWLC-2. We then classified the candidates into 1100 passive spirals and 1141 secondary samples based on visual inspections. Most of the latter cases are considered to be passive ringed S0 or pseudo-ringed galaxies. The remainder of these secondary samples has ambiguous morphologies, including two peculiar objects with diamond-shaped stellar wings. The selected passive spirals have a similar distribution to the general quiescent galaxies on the EW$_\mathrm{H\delta}$-D$_n$4000 diagram and concentration indices. Moreover, we detected an enhanced passive fraction of spiral galaxies in X-ray clusters. Passive spirals in galaxy clusters are preferentially located in the midterm or late infall phase on the phase-space diagram, supporting the ram pressure scenario, which has been widely advocated in previous studies. The source catalog and $gri$-composite images are available on the HSC-SSP PDR3 website (https://hsc.mtk.nao.ac.jp/ssp/data-release/). Future updates, including integration with a citizen science project dedicated to the HSC data, will achieve more effective and comprehensive classifications.


title: Modeling and Control of Smart Standalone Microgrids within Cyber Physical System Frameworks

abstract: The ability of grid-connected microgrids (MG) to operate in islanded mode makes them an efficient solution for improving power quality and reliability. This property of MG is very much beneficial for remote and undeveloped areas in progressing countries. Moreover, ICT technology has led to the development of Smart Standalone Microgrids (SSMG), which are inundated with a plethora of sensors. This allows multiple microgrids to be controlled in a coordinated way to achieve self-sufficiency in power. In such systems, there is much interdependency between various power, control and communication parameters. Owing to these developments, the control of physical variables like voltage get affected by cyber parameters like, communication structure, delay and link loss. Moreover, due to isolation from main grid and abundance of renewable power generation units like solar PV, the inertia of these standalone grids is reduced greatly and calls for advanced control algorithms which use an abundance of sensors. Hence, the stability of these systems is greatly affected by sensor failures apart from many physical parameters like load and environmental conditions. In this thesis, a generic structure of an AC-DC hybrid microgrid is considered which is subdivided into various AC and DC counterparts. The AC and DC SSMGs are separately modeled and control solutions are proposed to improve their stability. The first two contributions propose adaptive control schemes on the primary level of control in the hybrid microgrid. Their function is to provide fast and stable parameters regulation in the DCSSMG when subjected to atmospheric changes along with faults in sensor readings. The third and fourth contributions cater to development of coordinated control cyber physical frameworks in the ACSSMG to handle the presence of simultaneous disturbances from both cyber/physical domains.


title: Parallel Spatio-Temporal Attention-Based TCN for Multivariate Time Series Prediction

abstract: As industrial systems become more complex and monitoring sensors for everything from surveillance to our health become more ubiquitous, multivariate time series prediction is taking an important place in the smooth-running of our society. A recurrent neural network with attention to help extend the prediction windows is the current-state-of-the-art for this task. However, we argue that their vanishing gradients, short memories, and serial architecture make RNNs fundamentally unsuited to long-horizon forecasting with complex data. Temporal convolutional networks (TCNs) do not suffer from gradient problems and they support parallel calculations, making them a more appropriate choice. Additionally, they have longer memories than RNNs, albeit with some instability and efficiency problems. Hence, we propose a framework, called PSTA-TCN, that combines a parallel spatio-temporal attention mechanism to extract dynamic internal correlations with stacked TCN backbones to extract features from different window sizes. The framework makes full use parallel calculations to dramatically reduce training times, while substantially increasing accuracy with stable prediction windows up to 13 times longer than the status quo.


title: Improving Point Cloud Based Place Recognition with Ranking-based Loss and Large Batch Training

abstract: The paper presents a simple and effective learning-based method for computing a discriminative 3D point cloud descriptor for place recognition purposes. Recent state-of-the-art methods have relatively complex architectures such as multi-scale oyramid of point Transformers combined with a pyramid of feature aggregation modules. Our method uses a simple and efficient 3D convolutional feature extraction, based on a sparse voxelized representation, enhanced with channel attention blocks. We employ recent advances in image retrieval and propose a modified version of a loss function based on a differentiable average precision approximation. Such loss function requires training with very large batches for the best results. This is enabled by using multistaged backpropagation. Experimental evaluation on the popular benchmarks proves the effectiveness of our approach, with a consistent improvement over the state of the art


title: A density peaks clustering algorithm with sparse search and K-d tree

abstract: Density peaks clustering has become a nova of clustering algorithm because of its simplicity and practicality. However, there is one main drawback: it is time-consuming due to its high computational complexity. Herein, a density peaks clustering algorithm with sparse search and K-d tree is developed to solve this problem. Firstly, a sparse distance matrix is calculated by using K-d tree to replace the original full rank distance matrix, so as to accelerate the calculation of local density. Secondly, a sparse search strategy is proposed to accelerate the computation of relative-separation with the intersection between the set of $k$ nearest neighbors and the set consisting of the data points with larger local density for any data point. Furthermore, a second-order difference method for decision values is adopted to determine the cluster centers adaptively. Finally, experiments are carried out on datasets with different distribution characteristics, by comparing with other six state-of-the-art clustering algorithms. It is proved that the algorithm can effectively reduce the computational complexity of the original DPC from $O(n^2K)$ to $O(n(n^{1-1/K}+k))$. Especially for larger datasets, the efficiency is elevated more remarkably. Moreover, the clustering accuracy is also improved to a certain extent. Therefore, it can be concluded that the overall performance of the newly proposed algorithm is excellent.


title: Predicting the temporal dynamics of turbulent channels through deep learning

abstract: The success of recurrent neural networks (RNNs) has been demonstrated in many applications related to turbulence, including flow control, optimization, turbulent features reproduction as well as turbulence prediction and modeling. With this study we aim to assess the capability of these networks to reproduce the temporal evolution of a minimal turbulent channel flow. We first obtain a data-driven model based on a modal decomposition in the Fourier domain (which we denote as FFT-POD) of the time series sampled from the flow. This particular case of turbulent flow allows us to accurately simulate the most relevant coherent structures close to the wall. Long-short-term-memory (LSTM) networks and a Koopman-based framework (KNF) are trained to predict the temporal dynamics of the minimal-channel-flow modes. Tests with different configurations highlight the limits of the KNF method compared to the LSTM, given the complexity of the flow under study. Long-term prediction for LSTM show excellent agreement from the statistical point of view, with errors below 2% for the best models with respect to the reference. Furthermore, the analysis of the chaotic behaviour through the use of the Lyapunov exponents and of the dynamic behaviour through Poincar\'e maps emphasizes the ability of the LSTM to reproduce the temporal dynamics of turbulence. Alternative reduced-order models (ROMs), based on the identification of different turbulent structures, are explored and they continue to show a good potential in predicting the temporal dynamics of the minimal channel.


title: L4KDE: Learning for KinoDynamic Tree Expansion

abstract: We present the Learning for KinoDynamic Tree Expansion (L4KDE) method for kinodynamic planning. Tree-based planning approaches, such as rapidly exploring random tree (RRT), are the dominant approach to finding globally optimal plans in continuous state-space motion planning. Central to these approaches is tree-expansion, the procedure in which new nodes are added into an ever-expanding tree. We study the kinodynamic variants of tree-based planning, where we have known system dynamics and kinematic constraints. In the interest of quickly selecting nodes to connect newly sampled coordinates, existing methods typically cannot optimise to find nodes that have low cost to transition to sampled coordinates. Instead, they use metrics like Euclidean distance between coordinates as a heuristic for selecting candidate nodes to connect to the search tree. We propose L4KDE to address this issue. L4KDE uses a neural network to predict transition costs between queried states, which can be efficiently computed in batch, providing much higher quality estimates of transition cost compared to commonly used heuristics while maintaining almost-surely asymptotic optimality guarantee. We empirically demonstrate the significant performance improvement provided by L4KDE on a variety of challenging system dynamics, with the ability to generalise across different instances of the same model class, and in conjunction with a suite of modern tree-based motion planners.


title: Three-dimensional Printing of Mycelium Hydrogels into Living Complex Materials

abstract: Biological living materials, such as animal bones and plant stems, are able to self-heal, regenerate, adapt and make decisions under environmental pressures. Despite recent successful efforts to imbue synthetic materials with some of these remarkable functionalities, many emerging properties of complex adaptive systems found in biology remain unexplored in engineered living materials. Here, we report on a three-dimensional printing approach that harnesses the emerging properties of fungal mycelium to create living complex materials that self-repair, regenerate and adapt to the environment while fulfilling an engineering function. Hydrogels loaded with the fungus Ganoderma lucidum are 3D printed into lattice architectures to enable mycelial growth in a balanced exploration and exploitation pattern that simultaneously promotes colonization of the gel and bridging of air gaps. To illustrate the potential of such living complex materials, we 3D print a robotic skin that is mechanically robust, self-cleaning, and able to autonomously regenerate after damage.


title: Chained Generalisation Bounds

abstract: This work discusses how to derive upper bounds for the expected generalisation error of supervised learning algorithms by means of the chaining technique. By developing a general theoretical framework, we establish a duality between generalisation bounds based on the regularity of the loss function, and their chained counterparts, which can be obtained by lifting the regularity assumption from the loss onto its gradient. This allows us to re-derive the chaining mutual information bound from the literature, and to obtain novel chained information-theoretic generalisation bounds, based on the Wasserstein distance and other probability metrics. We show on some toy examples that the chained generalisation bound can be significantly tighter than its standard counterpart, particularly when the distribution of the hypotheses selected by the algorithm is very concentrated. Keywords: Generalisation bounds; Chaining; Information-theoretic bounds; Mutual information; Wasserstein distance; PAC-Bayes.


title: About non-classical gravitational states

abstract: Take the gravitational field, a number of macroscopic observers and put them in a highly-quantum state, made by a coherent superposition of different classical configurations. How would that look like? I try to study this system by introducing a spatial distance operator among the observers and looking at the properties of its expectation values.


title: $K$-Stability of A$\mathbb{T}$-Algebras

abstract: We describe a procedure to compute the rational nonstable K-groups of A$\mathbb{T}$-algebras. As an application, we show that an A$\mathbb{T}$-algebra is K-stable if and only if it has slow dimension growth.


title: Boosted Ensemble Learning based on Randomized NNs for Time Series Forecasting

abstract: Time series forecasting is a challenging problem particularly when a time series expresses multiple seasonality, nonlinear trend and varying variance. In this work, to forecast complex time series, we propose ensemble learning which is based on randomized neural networks, and boosted in three ways. These comprise ensemble learning based on residuals, corrected targets and opposed response. The latter two methods are employed to ensure similar forecasting tasks are solved by all ensemble members, which justifies the use of exactly the same base models at all stages of ensembling. Unification of the tasks for all members simplifies ensemble learning and leads to increased forecasting accuracy. This was confirmed in an experimental study involving forecasting time series with triple seasonality, in which we compare our three variants of ensemble boosting. The strong points of the proposed ensembles based on RandNNs are extremely rapid training and pattern-based time series representation, which extracts relevant information from time series.


title: Hyperbolic site percolation

abstract: Several results are presented for site percolation on quasi-transitive, planar graphs $G$ with one end, when properly embedded in either the Euclidean or hyperbolic plane. If $(G_1,G_2)$ is a matching pair derived from some quasi-transitive mosaic $M$, then $p_u(G_1)+p_c(G_2)=1$, where $p_c$ is the critical probability for the existence of an infinite cluster, and $p_u$ is the critical value for the existence of a unique such cluster. This fulfils and extends to the hyperbolic plane an observation of Sykes and Essam in 1964. It follows that $p_u (G)+p_c (G_*)=p_u(G_*)+p_c(G)=1$, where $G_*$ denotes the matching graph of $G$. In particular, $p_u(G)+p_c(G)\ge 1$ and hence, when $G$ is amenable we have $p_c(G)=p_u(G) \ge \frac12$. When combined with the main result of the companion paper by the same authors ("Percolation critical probabilities of matching lattice-pairs", 2022), we obtain for transitive $G$ that the strict inequality $p_u(G)+p_c(G)> 1$ holds if and only if $G$ is not a triangulation. A key technique is a method for expressing a planar site percolation process on a matching pair in terms of a dependent bond process on the corresponding dual pair of graphs. Amongst other things, the results reported here answer positively two conjectures of Benjamini and Schramm (Conjectures 7 and 8, Electron. Comm. Probab. 1 (1996) 71--82) in the case of quasi-transitive graphs.


title: Splitting of Fermi point of strongly interacting electrons in one dimension: A nonlinear effect of spin-charge separation

abstract: A system of one-dimensional electrons interacting via a short-range potential described by Hubbard model is considered in the regime of strong coupling using the Bethe ansatz approach. We study its momentum distribution function at zero temperature and find one additional singularity, at the $3k_{\mathrm{F}}$ point. We identify that the second singularity is of the same Luttinger liquid type as the low-energy one at $k_{\mathrm{F}}$. By calculating the spectral function simultaneously, we show that the second Luttinger liquid at $3k_{\mathrm{F}}$ is formed by charge modes only, unlike the known one around $k_{\mathrm{F}}$ consisting of both spin and charge modes. This result reveals the ability of the spin-charge separation effect to split the Fermi point of free electrons into two, demonstrating its robustness beyond the low-energy limit of Luttinger liquid where it was originally found.


title: Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields

abstract: Let $p$ be an odd prime number. We propose an algorithm for computing rational representations of isogenies between Jacobians of hyperelliptic curves via-adic differential equations with a sharp analysis of the loss of precision. Consequently, after having possibly lifted the problem in the $p$-adics, we derive fast algorithms for computing explicitly Cantor's division polynomials of hyperelliptic curves defined over finite fields.


title: Random walks and the symplectic representation of the braid group

abstract: We consider the symplectic representation $\rho_n$ of a braid group $B(n)$ in $Sp(2l,\mathbb{Z})$, for $l=\Big[\dfrac{n-1}{2}\Big]$. If $P$ is a $4l^2$ polynomial on the coefficients of the matrices in $Sp(2l,\mathbb{Z})$, we show that the set $\{\beta\in B(n): P(\rho_n(\beta))=0\}$ is transient for non degenerate random walks on $B(n)$. If $n$ is odd, we derive that the $n$-braids $\beta$ verifying $|\Delta_{\hat{\beta}}(-1)|\leq C$ for some constant $C$ form a transient set: here $\Delta_{\hat{\beta}}$ denotes the Alexander polynomial of the closure of $\beta$. We also derive that for a random $3$-braid, the quasipositive links $(\beta\sigma_i\beta^{-1}\sigma_j)^p$ have zero signature for every integer $p$ and $1\leq i,j\leq 2$. \\ As an example of such braids, we investigate the signature of the Lissajous toric knots with $3$ strands.


title: Boron nitride on SiC(0001)

abstract: In the field of van der Waals heterostructures, the twist angle between stacked two-dimensional (2D) layers has been identified to be of utmost importance for the properties of the heterostructures. In this context, we previously reported the growth of a single layer of unconventionally oriented epitaxial graphene that forms in a surfactant atmosphere [F. C. Bocquet, et al., Phys. Rev. Lett. 125, 106102 (2020)]. The resulting G-R0$^\circ$ layer is aligned with the SiC lattice, and hence represents an important milestone towards high quality twisted bilayer graphene (tBLG), a frequently investigated model system in this field. Here, we focus on the surface structures obtained in the same surfactant atmosphere, but at lower preparation temperatures at which a boron nitride template layer forms on SiC(0001). In a comprehensive study based on complementary experimental and theoretical techniques, we find -- in contrast to the literature -- that this template layer is a hexagonal B$_x$N$_y$ layer, but not high-quality hBN. It is aligned with the SiC lattice and gradually replaced by low-quality graphene in the 0$^\circ$ orientation of the B$_x$N$_y$ template layer upon annealing.


title: Implicit/explicit, BEM/FEM coupled scheme for acoustic waves with the wave equation in the second order formulation

abstract: Acoustic scattering of waves by bounded inhomogeneities in an unbounded homogeneous domain is considered. A symmetric coupled system of time-domain boundary integral equations and the second order formulation of the wave equation is described. A fully discrete system consists of spatial discretization by boundary and finite element methods (BEM/FEM), leapfrog time-stepping in the interior, and convolution quadrature for the boundary integral equations. Convolution quadrature is based on BDF2, trapezoidal rule, or a newly introduced truncated trapezoidal rule that has some favourable properties for both the implementation and quality of approximate solution. We give a stability and convergence analysis under a CFL conditon of the fully discrete system. The theoretical results are illustrated by numerical experiments in two dimensions.


title: Beyond GAP screening for Lasso by exploiting new dual cutting half-spaces with supplementary material

abstract: In this paper, we propose a novel safe screening test for Lasso. Our procedure is based on a safe region with a dome geometry and exploits a canonical representation of the set of half-spaces (referred to as "dual cutting half-spaces" in this paper) containing the dual feasible set. The proposed safe region is shown to be always included in the state-of-the-art "GAP Sphere" and "GAP Dome" proposed by Fercoq et al. (and strictly so under very mild conditions) while involving the same computational burden. Numerical experiments confirm that our new dome enables to devise more powerful screening tests than GAP regions and lead to significant acceleration to solve Lasso.


title: The topological RN-AdS black holes cannot be overcharged by the new version of gedanken experiment

abstract: In this paper, we test the weak cosmic censorship conjecture (WCCC) for n >= 4 dimensional nearly extremal RN-AdS black holes with non-trivial topologies, namely plane and hyperbola, using the new version of gedanken experiment proposed by Sorce and Wald. Provided that the non-electromagnetic part of the stress tensor of matter fields satisfies the null energy condition and the linear stability condition holds, we find that the black holes cannot be overcharged under the second-order perturbation approximation, which includes the self-force and finite-size effects. As a result, we conclude that the violation of Hubeny type never occurs and the WCCC holds for the topological RN-AdS black hole.


title: A.C. susceptibility as a probe of low-frequency magnetic dynamics

abstract: The experimental technique of a.c. susceptibility can be used as a probe of magnetic dynamics in a wide variety of systems. Its use is restricted to the low-frequency regime and thus is sensitive to relatively slow processes. Rather than measuring the dynamics of single spins, a.c. susceptibility can be used to probe the dynamics of collective objects, such as domain walls in ferromagnets or vortex matter in superconductors. In some frustrated systems, such as spin glasses, the complex interactions lead to substantial spectral weight of fluctuations in the low-frequency regime, and thus a.c. susceptibility can play a unique role. We review the theory underlying the technique and magnetic dynamics more generally and give applications of a.c. susceptibility to a wide variety of experimental situations.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.stat-mech cond-mat.supr-con


title: Feasibility of tau g-2 measurements in ultra-peripheral collisions of heavy ions

abstract: The anomalous magnetic moment of the tau lepton, a_tau = (g_tau - 2)/2, is a sensitive probe of new physics but is extremely difficult to measure precisely in contrast to electron and muon moments. The best experimental limits were set by the DELPHI collaboration more than 15 years ago in studies of the ditau production in the e+e -> e+e+tau+tau process. Ultra-peripheral collisions (UPCs) of heavy ions at the LHC may provide a unique opportunity to improve the a_tau constraints in the studies of Pb+Pb -> Pb+Pb+tau+tau process. We review recent proposals to study ditau production via semi-leptonic tau decays in Pb-Pb UPC with the available ATLAS and CMS data and discuss the feasibility to explore this process down to low transverse momenta of decay leptons with the ALICE and LHCb experiments.


title: The Past Mistake is the Future Wisdom: Error-driven Contrastive Probability Optimization for Chinese Spell Checking

abstract: Chinese Spell Checking (CSC) aims to detect and correct Chinese spelling errors, which are mainly caused by the phonological or visual similarity. Recently, pre-trained language models (PLMs) promote the progress of CSC task. However, there exists a gap between the learned knowledge of PLMs and the goal of CSC task. PLMs focus on the semantics in text and tend to correct the erroneous characters to semantically proper or commonly used ones, but these aren't the ground-truth corrections. To address this issue, we propose an Error-driven COntrastive Probability Optimization (ECOPO) framework for CSC task. ECOPO refines the knowledge representations of PLMs, and guides the model to avoid predicting these common characters through an error-driven way. Particularly, ECOPO is model-agnostic and it can be combined with existing CSC methods to achieve better performance. Extensive experiments and detailed analyses on SIGHAN datasets demonstrate that ECOPO is simple yet effective.


title: Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs

abstract: The presence of symmetries of binary programs typically degrade the performance of branch-and-bound solvers. In this article, we derive efficient variable fixing algorithms to discard symmetric solutions from the search space based on propagation techniques for cyclic groups. Our algorithms come with the guarantee to find all possible variable fixings that can be derived from symmetry arguments, i.e., one cannot find more variable fixings than those found by our algorithms. Since every permutation symmetry group of a binary program has cyclic subgroups, the derived algorithms can be used to handle symmetries in any symmetric binary program. In experiments we also provide numerical evidence that our algorithms handle symmetries more efficiently than other variable fixing algorithms for cyclic symmetries.


title: Rpkiller: Threat Analysis from an RPKI Relying Party Perspective

abstract: The Resource Public Key Infrastructure (RPKI) aims to secure internet routing by creating an infrastructure where resource holders can make attestations about their resources. RPKI Certificate Authorities issue these attestations and publish them at Publication Points. Relying Party software retrieves and processes the RPKI-related data from all publication points, validates the data and makes it available to routers so they can make secure routing decisions. In this work, we create a threat model for Relying Party software, where an attacker controls a Certificate Authority and Publication Point. We implement a prototype testbed to analyse how current Relying Party software implementations react to scenarios originating from that threat model. Our results show that all current Relying Party software was susceptible to at least one of the identified threats. In addition to this, we also identified threats stemming from choices made in the protocol itself. Taken together, these threats potentially allow an attacker to fully disrupt all RPKI Relying Party software on a global scale. We performed a Coordinated Vulnerability Disclosure to the implementers and have made our testbed software available for future studies.


title: Nonseparable states of light: From quantum to classical

abstract: Controlling the various degrees-of-freedom (DoFs) of structured light at both quantum and classical levels is of paramount importance in optics. It is a conventional paradigm to treat diverse DoFs separately in light shaping. While, the more general case of nonseparable states of light, in which two or more DoFs are coupled in a nonseparable way, has become topical recently. Importantly, classical nonseparable states of light are mathematically analogue to quantum entangled states. Such similarity has hatched attractive studies in structured light, e.g. the spin-orbit coupling in vector beams. However, nonseparable classical states of light are still treated in a fragmented fashion, while its forms are not limited by vector beams and its potential is certainly not fully exploited. For instance, exotic space-time coupled pulses nontrivial light shaping towards ultrafast time scales, and ray-wave geometric beams provide new dimensions in optical manipulations. Here we provide a bird's eye view on the rapidly growing but incoherent body of work on general nonseparable states involving various DoFs of light and introduce a unified framework for their classification and tailoring, providing a perspective on new opportunities for both fundamental science and applications.


title: Learning Efficiently Function Approximation for Contextual MDP

abstract: We study learning contextual MDPs using a function approximation for both the rewards and the dynamics. We consider both the case that the dynamics dependent or independent of the context. For both models we derive polynomial sample and time complexity (assuming an efficient ERM oracle). Our methodology gives a general reduction from learning contextual MDP to supervised learning.


title: A modified convolution quadrature combined with the method of fundamental solutions and Galerkin BEM for acoustic scattering

abstract: We describe a numerical method for the solution of acoustic exterior scattering problems based on the time-domain boundary integral representation of the solution. As the spatial discretization of the resulting time-domain boundary integral equation we use either the method of fundamental solutions (MFS) or the Galerkin boundary element method (BEM). In time we apply either a standard convolution quadrature (CQ) based on an A-stable linear multistep method or a modified CQ scheme. It is well-known that the standard low-order CQ schemes for hyperbolic problems suffer from strong dissipation and dispersion properties. The modified scheme is designed to avoid these properties. We give a careful description of the modified scheme and its implementation with differences due to different spatial discretizations highlighted. Numerous numerical experiments illustrate the effectiveness of the modified scheme and dramatic improvement with errors up to two orders of magnitude smaller in comparison with the standard scheme


title: Whole-body model predictive control with rigid contacts via online switching time optimization

abstract: This study presents a whole-body model predictive control (MPC) of robotic systems with rigid contacts, under a given contact sequence using online switching time optimization (STO). We treat robot dynamics with rigid contacts as a switched system and formulate an optimal control problem of switched systems to implement the MPC. We utilize an efficient solution algorithm for the MPC problem that optimizes the switching times and trajectory simultaneously. The present efficient algorithm, unlike inefficient existing methods, enables online optimization as well as switching times. The proposed MPC with online STO is compared over the conventional MPC with fixed switching times, through numerical simulations of dynamic jumping motions of a quadruped robot. In the simulation comparison, the proposed MPC successfully controls the dynamic jumping motions in twice as many cases as the conventional MPC, which indicates that the proposed method extends the ability of the whole-body MPC. We further conduct hardware experiments on the quadrupedal robot Unitree A1 and prove that the proposed method achieves dynamic motions on the real robot.


title: Adorned in Memes: Exploring the Adoption of Social Wearables in Nordic Student Culture

abstract: Social wearables promise to augment and enhance social interactions. However, despite two decades of HCI research on wearables, we are yet to see widespread adoption of social wearables into everyday life. More in-situ investigations into the social dynamics and cultural practices afforded by wearing interactive technology are needed to understand the drivers and barriers to adoption. To this end, we study social wearables in the context of Nordic student culture and the students' practice of adorning boiler suits. Through a co-creation process, we designed Digi Merkki, a personalised interactive clothing patch. In a two-week elicitation diary study, we captured how 16 students adopted Digi Merkki into their social practices. We found that Digi Merkki afforded a variety of social interaction strategies, including sharing, spamming, and stealing pictures, which supported meaning-making and community-building. Based on our findings, we articulate Memetic Expression as a strong concept for designing social wearables.


title: DeepAutoPIN: An automorphism orbits based deep neural network for characterizing the organizational diversity of protein interactomes across the tree of life

abstract: The enormous diversity of life forms thriving in drastically different environmental milieus involves a complex interplay among constituent proteins interacting with each other. However, the organizational principles characterizing the evolution of protein interaction networks (PINs) across the tree of life are largely unknown. Here we study 4,738 PINs belonging to 16 phyla to discover phyla-specific architectural features and examine if there are some evolutionary constraints imposed on the networks' topologies. We utilized positional information of a network's nodes by normalizing the frequencies of automorphism orbits appearing in graphlets of sizes 2-5. We report that orbit usage profiles (OUPs) of networks belonging to the three domains of life are contrastingly different not only at the domain level but also at the scale of phyla. Integrating the information related to protein families, domains, subcellular location, gene ontology, and pathways, our results indicate that wiring patterns of PINs in different phyla are not randomly generated rather they are shaped by evolutionary constraints imposed on them. There exist subtle but substantial variations in the wiring patterns of PINs that enable OUPs to differentiate among different superfamilies. A deep neural network was trained on differentially expressed orbits resulting in a prediction accuracy of 85%.


title: Zvonkin's transform and the regularity of solutions to double divergence form elliptic equations

abstract: We study qualitative properties of solutions to double divergence form elliptic equations (or stationary Kolmogorov equations) on~$\mathbb{R}^d$. It is shown that the Harnack inequality holds for nonnegative solutions if the diffusion matrix $A$ is nondegenerate and satisfies the Dini mean oscillation condition and the drift coefficient $b$ is locally integrable to a power $p>d$. We establish new estimates for the $L^p$-norms of solutions and obtain a generalization of the known theorem of Hasminskii on the existence of a probability solution to the stationary Kolmogorov equation to the case where the matrix $A$ satisfies Dini's condition or belongs to the class VMO. These results are based on a new analytic version of Zvonkin's transform of the drift coefficient.


title: A characterization of $\dot W^{1,p}(\mathbb R^d)$

abstract: For $1<p<\infty$ we give a characterization of the Sobolev space $\dot W^{1,p}(\mathbb R^d)$ in terms of the oscillations of a function on balls of varying centers and radii. Our work is motivated both by the study of trace ideal properties of commutators with singular integral operators and by work of Nguyen and by Brezis, Van Schaftingen and Yung on derivative-free characterizations of Sobolev spaces.


title: Accurate and efficient band-gap predictions for metal halide perovskites at finite temperature

abstract: We develop a computationally efficient scheme to accurately determine finite-temperature band gaps. We here focus on materials belonging to the class ABX3 (A = Rb, Cs; B = Ge, Sn, Pb; and X = F, Cl, Br, I), which includes halide perovskites. First, an initial estimate of the band gap is provided for the ideal crystalline structure through the use of a range-separated hybrid functional, in which the parameters are determined nonempirically from the electron density and the high-frequency dielectric constant. Next, we consider two kinds of band-gap corrections to account for spin-orbit coupling and thermal vibrations including zero-point motions. In particular, the latter effect is accounted for through the special displacement method, which consists in using a single distorted configuration obtained from the vibrational frequencies and eigenmodes, thereby avoiding lengthy molecular dynamics. The sequential consideration of both corrections systematically improves the band gaps, reaching a mean absolute error of 0.17 eV with respect to experimental values. The computational efficiency of our scheme stems from the fact that only a single calculation at the hybrid-functional level is required and that it is sufficient to evaluate the corrections at the semilocal level of theory. Our scheme is particularly convenient for large-size systems and for the screening of large databases of materials.


title: Framework for Network-Constrained Tracking of Cyclists and Pedestrians

abstract: The increase in perception capabilities of connected mobile sensor platforms (e.g., self-driving vehicles, drones, and robots) leads to an extensive surge of sensed features at various temporal and spatial scales. Beyond their traditional use for safe operation, available observations could enable to see how and where people move on sidewalks and cycle paths, to eventually obtain a complete microscopic and macroscopic picture of the traffic flows in a larger area. This paper proposes a new method for advanced traffic applications, tracking an unknown and varying number of moving targets (e.g., pedestrians or cyclists) constrained by a road network, using mobile (e.g., vehicles) spatially distributed sensor platforms. The key contribution in this paper is to introduce the concept of network bound targets into the multi-target tracking problem, and hence to derive a network-constrained multi-hypotheses tracker (NC-MHT) to fully utilize the available road information. This is done by introducing a target representation, comprising a traditional target tracking representation and a discrete component placing the target on a given segment in the network. A simulation study shows that the method performs well in comparison to the standard MHT filter in free space. Results particularly highlight network-constraint effects for more efficient target predictions over extended periods of time, and in the simplification of the measurement association process, as compared to not utilizing a network structure. This theoretical work also directs attention to latent privacy concerns for potential applications.


title: Improving the Diversity of Bootstrapped DQN by Replacing Priors With Noise

abstract: Q-learning is one of the most well-known Reinforcement Learning algorithms. There have been tremendous efforts to develop this algorithm using neural networks. Bootstrapped Deep Q-Learning Network is amongst them. It utilizes multiple neural network heads to introduce diversity into Q-learning. Diversity can sometimes be viewed as the amount of reasonable moves an agent can take at a given state, analogous to the definition of the exploration ratio in RL. Thus, the performance of Bootstrapped Deep Q-Learning Network is deeply connected with the level of diversity within the algorithm. In the original research, it was pointed out that a random prior could improve the performance of the model. In this article, we further explore the possibility of replacing priors with noise and sample the noise from a Gaussian distribution to introduce more diversity into this algorithm. We conduct our experiment on the Atari benchmark and compare our algorithm to both the original and other related algorithms. The results show that our modification of the Bootstrapped Deep Q-Learning algorithm achieves significantly higher evaluation scores across different types of Atari games. Thus, we conclude that replacing priors with noise can improve Bootstrapped Deep Q-Learning's performance by ensuring the integrity of diversities.


title: Sequential Offloading for Distributed DNN Computation in Multiuser MEC Systems

abstract: This paper studies a sequential task offloading problem for a multiuser mobile edge computing (MEC) system. We consider a dynamic optimization approach, which embraces wireless channel fluctuations and random deep neural network (DNN) task arrivals over an infinite horizon. Specifically, we introduce a local CPU workload queue (WD-QSI) and an MEC server workload queue (MEC-QSI) to model the dynamic workload of DNN tasks at each WD and the MEC server, respectively. The transmit power and the partitioning of the local DNN task at each WD are dynamically determined based on the instantaneous channel conditions (to capture the transmission opportunities) and the instantaneous WD-QSI and MEC-QSI (to capture the dynamic urgency of the tasks) to minimize the average latency of the DNN tasks. The joint optimization can be formulated as an ergodic Markov decision process (MDP), in which the optimality condition is characterized by a centralized Bellman equation. However, the brute force solution of the MDP is not viable due to the curse of dimensionality as well as the requirement for knowledge of the global state information. To overcome these issues, we first decompose the MDP into multiple lower dimensional sub-MDPs, each of which can be associated with a WD or the MEC server. Next, we further develop a parametric online Q-learning algorithm, so that each sub-MDP is solved locally at its associated WD or the MEC server. The proposed solution is completely decentralized in the sense that the transmit power for sequential offloading and the DNN task partitioning can be determined based on the local channel state information (CSI) and the local WD-QSI at the WD only. Additionally, no prior knowledge of the distribution of the DNN task arrivals or the channel statistics will be needed for the MEC server.


title: Stability estimate for an inverse problem for the time harmonic magnetic Schr\"odinger operator from the near and far field pattern

abstract: We derive conditional stability estimates for inverse scattering problems related to time harmonic magnetic Schr\"odinger equation. We prove logarithmic type estimates for retrieving the magnetic (up to a gradient) and electric potentials from near field or far field maps. Our approach combines techniques from similar results obtained in the literature for inhomogeneous inverse scattering problems based on the use of geometrical optics solutions.


title: Impact of quantum noise on the training of quantum Generative Adversarial Networks

abstract: Current noisy intermediate-scale quantum devices suffer from various sources of intrinsic quantum noise. Overcoming the effects of noise is a major challenge, for which different error mitigation and error correction techniques have been proposed. In this paper, we conduct a first study of the performance of quantum Generative Adversarial Networks (qGANs) in the presence of different types of quantum noise, focusing on a simplified use case in high-energy physics. In particular, we explore the effects of readout and two-qubit gate errors on the qGAN training process. Simulating a noisy quantum device classically with IBM's Qiskit framework, we examine the threshold of error rates up to which a reliable training is possible. In addition, we investigate the importance of various hyperparameters for the training process in the presence of different error rates, and we explore the impact of readout error mitigation on the results.


title: UAV-Aided Decentralized Learning over Mesh Networks

abstract: Decentralized learning empowers wireless network devices to collaboratively train a machine learning (ML) model relying solely on device-to-device (D2D) communication. It is known that the convergence speed of decentralized optimization algorithms severely depends on the degree of the network connectivity, with denser network topologies leading to shorter convergence time. Consequently, the local connectivity of real world mesh networks, due to the limited communication range of its wireless nodes, undermines the efficiency of decentralized learning protocols, rendering them potentially impracticable. In this work we investigate the role of an unmanned aerial vehicle (UAV), used as flying relay, in facilitating decentralized learning procedures in such challenging conditions. We propose an optimized UAV trajectory, that is defined as a sequence of waypoints that the UAV visits sequentially in order to transfer intelligence across sparsely connected group of users. We then provide a series of experiments highlighting the essential role of UAVs in the context of decentralized learning over mesh networks.


title: Search for neutral long-lived particles in $pp$ collisions at $\sqrt{s}=13$ TeV that decay into displaced hadronic jets in the ATLAS calorimeter

abstract: A search for decays of pair-produced neutral long-lived particles (LLPs) is presented using 139 fb$^{-1}$ of proton-proton collision data collected by the ATLAS detector at the LHC in 2015-2018 at a centre-of-mass energy of 13 TeV. Dedicated techniques were developed for the reconstruction of displaced jets produced by LLPs decaying hadronically in the ATLAS hadronic calorimeter. Two search regions are defined for different LLP kinematic regimes. The observed numbers of events are consistent with the expected background, and limits for several benchmark signals are determined. For a SM Higgs boson with a mass of 125 GeV, branching ratios above 10% are excluded at 95% confidence level for values of $c$ times LLP mean proper lifetime in the range between 20 mm and 10 m depending on the model. Upper limits are also set on the cross-section times branching ratio for scalars with a mass of 60 GeV and for masses between 200 GeV and 1 TeV.


title: Pomeranchuk Effect and Tunable Quantum Phase Transitions in 3L-MoTe2/WSe2

abstract: Many sought-after exotic states of matter are known to emerge close to quantum phase transitions, such as quantum spin liquids (QSL) and unconventional superconductivity. It is thus desirable to experimentally explore systems that can be continuously tuned across these transitions. Here, we demonstrate such tunability and the electronic correlation effects in triangular moir\'e superlattices formed between trilayer MoTe$_2$ and monolayer WSe$_2$ (3L-MoTe$_2$/WSe$_2$). Through electric transport measurements, we firmly establish the Pomeranchuk effect observed at half filling of the first moir\'e subband, where increasing temperature paradoxically enhances charge localization. The system simultaneously exhibits the characteristic of a Fermi liquid with strongly renormalized effective mass, suggesting a correlated metal state. The state is highly susceptible to out-of-plane electric and magnetic fields, which induce a Lifshitz transition and a metal-insulator transition (MIT), respectively. It enables identification of a tricritical point in the quantum phase diagram at the base temperature. We explain the Lifshitz transition in terms of interlayer charge transfer by applying the vertical electric field, which leads to the emergence of a new Fermi surface and immediate suppression of the Pomeranchuk effect. The existence of quantum criticality in the magnetic filed induced MIT is supported by scaling behaviors of the resistance. Our work shows the 3L-MoTe$_2$/WSe$_2$ lies in the vicinity to the MIT point of the triangular lattice Hubbard model, rendering it a unique system to manifest the rich correlation effects at an intermediate interaction strength.


title: Chemical composition and ages of four globular clusters in M31 from the analysis of their integrated-light spectra

abstract: We compare the results on the chemical composition of four globular clusters (GCs) in M31 (Bol 6, Bol 20, Bol 45, and Bol 50) (Maricheva M. 2021). Study of integrated spectra of four globular clusters in M31. Astrophys. Bull. 76:389-404. doi: https://doi.org/10.1134/S199034132104009X) to the available literature data on integrated-light spectroscopy of GCs with similar ages and chemical abundances in our Galaxy and M31 and on the chemical abundances of stars in two galaxies. The clusters and their literature analogues are of moderate metallicity -1.1<[Fe/H]<-0.75 dex and old (10 Gyr). Mg, Ca, and C abundances of four GCs are higher than literature estimates for the GCs in M31 with [Fe/H]~-1 dex obtained using high-resolution integrated-light spectroscopy methods. Using literature data, we did not find complete analogues for the studied clusters in our Galaxy and M31 in terms of age, helium mass fraction (Y), and chemical composition. The alpha-element abundances in four clusters are about 0.2 dex higher than the average for stars in the Galactic field at [Fe/H]~-1 dex. We suggest that these and M. Maricheva's (Maricheva M. 2021) findings about lower metallicities of the studied objects than the average metallicity of red giants in the M31 halo and about the abundances of alpha-process elements in them corresponding to the average value for stars in the M31 inner halo likely indicate that the star formation process in the vicinity of M31 at the time of our sample cluster formation was complex with the inflow of fresh gas from the intergalactic medium and violent star forming events associated with SNe II bursts.


title: Continual Feature Selection: Spurious Features in Continual Learning

abstract: Continual Learning (CL) is the research field addressing learning without forgetting when the data distribution is not static. This paper studies spurious features' influence on continual learning algorithms. We show that continual learning algorithms solve tasks by selecting features that are not generalizable. Our experiments highlight that continual learning algorithms face two related problems: (1) spurious features and (2) local spurious features. The first one is due to a covariate shift between training and testing data, while the second is due to the limited access to data at each training step. We study (1) through a consistent set of continual learning experiments varying spurious correlation amount and data distribution support. We show that (2) is a major cause of performance decrease in continual learning along with catastrophic forgetting. This paper presents a different way of understanding performance decrease in continual learning by highlighting the influence of (local) spurious features in algorithms capabilities.


title: Shell-model calculation of $^{100}$Mo double-$\beta$ decay

abstract: For the first time, the calculation of the nuclear matrix element of the double-$\beta$ decay of $^{100}$Mo, with and without the emission of two neutrinos, is performed in the framework of the nuclear shell model. This task is accomplished starting from a realistic nucleon-nucleon potential, then the effective shell-model Hamiltonian and decay operators are derived within the many-body perturbation theory. The exotic features which characterize the structure of Mo isotopes -- such as shape coexistence and triaxiality softness -- push the shell-model computational problem beyond its present limits, making it necessary to truncate the model space. This has been done with the goal to preserve as much as possible the role of the rejected degrees of freedom in an effective approach that has been introduced and tested in previous studies. This procedure is grounded on the analysis of the effective single-particle energies of a large-scale shell-model Hamiltonian, that leads to a truncation of the number of the orbitals belonging to the model space. Then, the original Hamiltonian generates a new one by way of a unitary transformation onto the reduced model space, to retain effectively the role of the excluded single-particle orbitals. The predictivity of our calculation of the nuclear matrix element for the neutrinoless double-$\beta$ decay of $^{100}$Mo is supported by the comparison with experiment of the calculated spectra, electromagnetic transition strengths, Gamow-Teller transition strengths and the two-neutrino double-beta nuclear matrix elements.


title: Cumulative Merging Percolation: A long-range percolation process in networks

abstract: Percolation on networks is a common framework to model a wide range of processes, from cascading failures to epidemic spreading. Standard percolation assumes short-range interactions, implying that nodes can merge into clusters only if they are nearest-neighbors. Cumulative Merging Percolation (CMP) is an new percolation process that assumes long-range interactions, such that nodes can merge into clusters even if they are topologically distant. Hence in CMP percolation clusters do not coincide with the topological connected components of the network. Previous work has shown that a specific formulation of CMP features peculiar mechanisms for the formation of the giant cluster, and allows to model different network dynamics such as recurrent epidemic processes. Here we develop a more general formulation of CMP in terms of the functional form of the cluster interaction range, showing an even richer phase transition scenario with competition of different mechanisms resulting in crossover phenomena. Our analytic predictions are confirmed by numerical simulations.


title: On birational Torelli theorems

abstract: Let $G$ be a simple simply-connected connected linear algebraic group over $\mathbb{C}$. We proved a $2$-birational Torelli theorem for the moduli space of semistable principal $G$-bundles over a smooth curve of genus $\geq 3$, which says that if two such moduli spaces are $2$-birational then the curves are isomorphic. We also proved a $3$-birational Torelli theorem for the moduli space of stable symplectic parabolic bundles over a smooth curve of genus $\geq 4$.


title: The Theoretical Expressiveness of Maxpooling

abstract: Over the decade since deep neural networks became state of the art image classifiers there has been a tendency towards less use of max pooling: the function that takes the largest of nearby pixels in an image. Since max pooling featured prominently in earlier generations of image classifiers, we wish to understand this trend, and whether it is justified. We develop a theoretical framework analyzing ReLU based approximations to max pooling, and prove a sense in which max pooling cannot be efficiently replicated using ReLU activations. We analyze the error of a class of optimal approximations, and find that whilst the error can be made exponentially small in the kernel size, doing so requires an exponentially complex approximation. Our work gives a theoretical basis for understanding the trend away from max pooling in newer architectures. We conclude that the main cause of a difference between max pooling and an optimal approximation, a prevalent large difference between the max and other values within pools, can be overcome with other architectural decisions, or is not prevalent in natural images.


title: TableFormer: Table Structure Understanding with Transformers

abstract: Tables organize valuable content in a concise and compact representation. This content is extremely valuable for systems such as search engines, Knowledge Graph's, etc, since they enhance their predictive capabilities. Unfortunately, tables come in a large variety of shapes and sizes. Furthermore, they can have complex column/row-header configurations, multiline rows, different variety of separation lines, missing entries, etc. As such, the correct identification of the table-structure from an image is a non-trivial task. In this paper, we present a new table-structure identification model. The latter improves the latest end-to-end deep learning model (i.e. encoder-dual-decoder from PubTabNet) in two significant ways. First, we introduce a new object detection decoder for table-cells. In this way, we can obtain the content of the table-cells from programmatic PDF's directly from the PDF source and avoid the training of the custom OCR decoders. This architectural change leads to more accurate table-content extraction and allows us to tackle non-english tables. Second, we replace the LSTM decoders with transformer based decoders. This upgrade improves significantly the previous state-of-the-art tree-editing-distance-score (TEDS) from 91% to 98.5% on simple tables and from 88.7% to 95% on complex tables.


title: A Radial Velocity Study of the Planetary System of Pi Mensae: Improved Planet Parameters for PI Mensae c and a Third Planet on a 125-d Orbit

abstract: Pi Men hosts a transiting planet detected by the TESS space mission and an outer planet in a 5.7-yr orbit discovered by RV surveys. We studied this system using new radial velocity (RV) measurements taken with the HARPS spectrograph on ESO's 3.6-m telescope as well as archival data. We constrain the stellar RV semi-amplitude due to the transiting planet, Pi Men c, as K_c = 1.21 +/- 0.12 m/s resulting in a planet mass of M_c = 3.63 +/- 0.38 M_Earth. A planet radius of R_c= 2.145 +/- 0.015 R_Earth yields a bulk density of rho = 2.03 +/- 0.22 g/cm^{-3}. The precisely determined density of this planet and the brightness of the host star make Pi Men c an excellent laboratory for internal structure and atmospheric characterization studies. Our HARPS RV measurements also reveal compelling evidence for a third body, PI Men d, with a minimum mass M sin i = 13.38 +/- 1.35 M_Earth orbiting with a period of P_d = 125 d on an eccentric orbit (e = 0.22). A simple dynamical analysis indicates that the orbit of Pi Men d is stable on timescales of at least 20 Myrs. Given the mutual inclination between the outer gaseous giant and the inner rocky planet and the presence of a third body at 125 d, Pi Men is an important planetary system for dynamical and formation studies.


title: Topological equivalence of submersion functions and topological equivalence of their foliations on the plane: the linear-like case

abstract: Let $f, g: \mathbb{R}^2 \to \mathbb{R}$ be two submersion functions and $\mathscr{F}(f)$ and $\mathscr{F}(g)$ be the regular foliations of $\mathbb{R}^2$ whose leaves are the connected components of the levels sets of $f$ and $g$, respectively. The topological equivalence of $f$ and $g$ implies the topological equivalence of $\mathscr{F}(f)$ and $\mathscr{F}(g)$, but the converse is not true, in general. In this paper, we introduce the class of linear-like submersion functions, which is wide enough in order to contain non-trivial behaviors, and provide conditions for the validity of the converse implication for functions inside this class. Our results lead us to a complete topological invariant for topological equivalence in a certain subclass of linear-like submersion functions.


title: Existence and uniqueness of limits at infinity for homogeneous Sobolev functions

abstract: We establish the existence and uniqueness of limits at infinity along infinite curves outside a zero modulus family for functions in a homogeneous Sobolev space under the assumption that the underlying space is equipped with a doubling measure which supports a Poincar\'e inequality. We also characterize the settings where this conclusion is nontrivial. Secondly, we introduce notions of weak polar coordinate systems and radial curves on metric measure spaces. Then sufficient and necessary conditions for existence of radial limits are given. As a consequence, we characterize the existence of radial limits in certain concrete settings.


title: From Short-Range to Mean-Field Models in Quantum Lattices

abstract: Realistic effective interparticle interactions of quantum many-body systems are widely seen as being short-range. However, the rigorous mathematical analysis of this type of model turns out to be extremely difficult, in general, with many important fundamental questions remaining open still nowadays. By contrast, mean-field models come from different approximations or Ans\"{a}tze, and are thus less realistic, in a sense, but are technically advantageous, by allowing explicit computations while capturing surprisingly well many real physical phenomena. Here, we establish a precise mathematical relation between mean-field and short-range models, by using the long-range limit that is known in the literature as the Kac limit. If both attractive and repulsive long-range forces are present then it turns out that the limit mean-field model is not necessarily what one traditionally guesses. One important innovation of our study, in contrast with previous works on the subject, is the fact that we are able to show the convergence of equilibrium states, i.e., of all correlation functions. This paves the way for studying phase transitions, or at least important fingerprints of them like strong correlations at long distances, for models having interactions whose ranges are finite, but very large. It also sheds a new light on mean-field models. Even on the level of pressures, our results go considerably further than previous ones, by allowing, for instance, a continuum of long-range interaction components, as well as very general short-range Hamiltonians for the "free" part of the model.


title: Suppression of the TeV pair-beam plasma instability by a tangled weak intergalactic magnetic field

abstract: We study the effect of a tangled sub-fG level intergalactic magnetic field (IGMF) on the electrostatic instability of a blazar-induced pair beam. Sufficiently strong IGMF may significantly deflect the TeV pair beams, which would reduce the flux of secondary cascade emission below the observational limits. A similar flux reduction may result from the electrostatic beam-plasma instability, which operates the best in the absence of IGMF. Considering IGMF with correlation lengths smaller than a kpc, we find that weak magnetic fields increase the transverse momentum of the pair beam particles, which dramatically reduces the linear growth rate of the electrostatic instability and hence the energy-loss rate of the pair beam. We show that the beam-plasma instability is eliminated as an effective energy-loss agent at a field strength three orders of magnitude below that needed to suppress the secondary cascade emission by magnetic deflection. For intermediate-strength IGMF, we do not know a viable process to explain the observed absence of GeV-scale cascade emission.


title: Nuclear Structure with Discrete Non-Orthogonal Shell-Model : new frontiers

abstract: We present developments and applications for the diagonalization of shell-model hamiltonians in a discrete non-orthogonal basis (DNO-SM). The method, and its actual numerical implementation CARINA, based on mean-field and beyond-mean field techniques has already been applied in previous studies and is focused on basis states selection optimization. The method is benchmarked against a full set of $sd$ shell exact diagonalizations, and is applied for the first time to the heavy deformed $^{254}$No nucleus.


title: On the Configuration of More and Less Expressive Logic Programs

abstract: The decoupling between the representation of a certain problem, i.e., its knowledge model, and the reasoning side is one of main strong points of model-based Artificial Intelligence (AI). This allows, e.g. to focus on improving the reasoning side by having advantages on the whole solving process. Further, it is also well-known that many solvers are very sensitive to even syntactic changes in the input. In this paper, we focus on improving the reasoning side by taking advantages of such sensitivity. We consider two well-known model-based AI methodologies, SAT and ASP, define a number of syntactic features that may characterise their inputs, and use automated configuration tools to reformulate the input formula or program. Results of a wide experimental analysis involving SAT and ASP domains, taken from respective competitions, show the different advantages that can be obtained by using input reformulation and configuration. Under consideration in Theory and Practice of Logic Programming (TPLP).