title: Neck Barrier Engineering in Quantum Dot Dimer Molecules via Intra-Particle Ripening

abstract: Coupled colloidal quantum dot (CQD) dimers represent a new class of artificial molecules composed of fused core/shell semiconductor nanocrystals. The electronic coupling and wavefunction hybridization is enabled by the formation of an epitaxial connection with a coherent lattice between the shells of the two neighboring quantum dots where the shell material and its dimensions dictate the quantum barrier characteristics for the charge carriers. Herein we introduce a colloidal approach to control the neck formation at the interface between the two CQDs in such artificial molecular constructs. This allows the tailoring of the neck barrier in pre-linked homodimers formed via fusion of multifaceted wurtzite CdSe/CdS CQDs. The effects of reaction time, temperature and excess ligands is studied. The neck filling process follows an intraparticle ripening mechanism at relatively mild reaction conditions while avoiding inter-particle ripening. The degree of surface ligand passivation plays a key role in activating the surface atom diffusion to the neck region. The degree of neck filling strongly depends also on the initial relative orientation of the two CQDs, where homonymous plane attachment allows for facile neck growth, unlike the case of heteronymous plane attachment. Upon neck-filling, the observed red-shift of the absorption and fluorescence measured both for ensemble and single dimers, is assigned to enhanced hybridization of the confined wavefunction in CQD dimer molecules, as supported by quantum calculations. The fine tuning of the particle interface introduced herein provides therefore a powerful tool to further control the extent of hybridization and coupling in CQD molecules.


title: High resolution nanosecond spectroscopy of even-parity Rydberg excitons in Cu$_{2}$O

abstract: We present a study of even parity Rydberg exciton states in cuprous oxide using time-resolved second harmonic generation (SHG). Excitonic states with principal quantum number n = 5 - 12 were excited by nanosecond pulses around 1143 nm. Using time-resolved single-photon counting, the coherently generated second harmonic was isolated both temporally and spectroscopically from inelastic emission due to lower-lying free and bound excitonic states, which included narrow resonances at 1.99 eV associated with an exceptional lifetime of 641 $\pm$ 7 $\mu$s. The near transform-limited excitation bandwidth enabled detailed measurements of the exciton lineshape and position, from which we obtained values for the quantum defects of the S and D excitonic states associated with the appropriate crystal symmetries. Odd parity P and F excitonic states were also observed, in accordance with predicted quadrupole-allowed two-photon excitation processes. We compared our measurements to conventional one-photon spectroscopy in the same sample, and find that the SHG spectrum is cut off at a lower principal quantum number (n = 12 vs n = 15). We attribute this effect to a combination of spatial inhomogeneities and local heating, and discuss the prospects for observing higher principal quantum number even parity states in future experiments.


title: MegLoc: A Robust and Accurate Visual Localization Pipeline

abstract: In this paper, we present a visual localization pipeline, namely MegLoc, for robust and accurate 6-DoF pose estimation under varying scenarios, including indoor and outdoor scenes, different time across a day, different seasons across a year, and even across years. MegLoc achieves state-of-the-art results on a range of challenging datasets, including winning the Outdoor and Indoor Visual Localization Challenge of ICCV 2021 Workshop on Long-term Visual Localization under Changing Conditions, as well as the Re-localization Challenge for Autonomous Driving of ICCV 2021 Workshop on Map-based Localization for Autonomous Driving.


title: High-resolution transmission spectroscopy study of ultra-hot Jupiters HAT-P-57b, KELT-17b, KELT-21b, KELT-7b, MASCARA-1b, and WASP-189b

abstract: Ultra-hot jupiters (UHJs) are giant planets on short orbital periods with high equilibrium temperature (T_eq) values. Their hot, extended atmospheres are perfect laboratories for transmission spectroscopy studies based on high-resolution spectrographs. In recent years, a variety of atoms and molecules were found in their atmospheres, using different methods such as cross-correlation or transmission and emission spectroscopy. Here, we present the studies of six ultra-hot Jupiters: HAT-P-57b, KELT-7b, KELT-17b, KELT-21b, MASCARA-1b, and WASP-189b, based on high-resolution observations obtained with HARPS-N and HARPS spectrographs. By applying line and cross-correlation transmission spectroscopy methods, we searched for the absorption features of a broad range of atomic and molecular species. We did not detect any absorption features in our sample of UHJs, with the exception of WASP-189b, for which we detected FeI, FeII, and TiI using cross-correlation. The transmission spectroscopy of single lines for WASP-189b revealed several absorption features (including Halpha, Hbeta and Ca H&K), but they remain tentative pending a better modelling of the gravity darkening deformation of the Rossiter-McLaughlin effect. The non-detections with regard to the rest of the planets can be explained via a combination of stellar pulsations and the Rossiter-McLaughlin effect, which mask possible planetary signals for most of the planets, and by the low signal-to-noise ratios (S/N) of the observations for KELT-21b. Here, we compare our results with the known population of planets for which atmospheric detections have been reported in the literature. We find that the empirical frontier between hot and ultra-hot planets, based on the detection of atomic and ionized species in their atmospheres, can be established as Teq = 2150 K.


title: Robust Object Detection with Multi-input Multi-output Faster R-CNN

abstract: Recent years have seen impressive progress in visual recognition on many benchmarks, however, generalization to the real-world in out-of-distribution setting remains a significant challenge. A state-of-the-art method for robust visual recognition is model ensembling. however, recently it was shown that similarly competitive results could be achieved with a much smaller cost, by using multi-input multi-output architecture (MIMO). In this work, a generalization of the MIMO approach is applied to the task of object detection using the general-purpose Faster R-CNN model. It was shown that using the MIMO framework allows building strong feature representation and obtains very competitive accuracy when using just two input/output pairs. Furthermore, it adds just 0.5\% additional model parameters and increases the inference time by 15.9\% when compared to the standard Faster R-CNN. It also works comparably to, or outperforms the Deep Ensemble approach in terms of model accuracy, robustness to out-of-distribution setting, and uncertainty calibration when the same number of predictions is used. This work opens up avenues for applying the MIMO approach in other high-level tasks such as semantic segmentation and depth estimation.


title: Symmetries and Covariant Poisson brackets on pre-symplectic manifolds

abstract: Noticing that the space of the solutions of a first order Hamiltonian field theory has a pre-symplectic structure, we describe a class of conserved charges on it associated to the momentum map determined by any symmetry group of transformations. Gauge theories are dealt with by using a symplectic regularization based on an application of Gotay's coisotropic embedding theorem. The analysis of Electrodynamics and of the Klein-Gordon theory illustrates the main results of the theory as well as the emergence of the energy-momentum tensor algebra of conserved currents.


title: Flux tube profiles in two-color QCD at low temperature and high density

abstract: We investigate the temperature and density dependence of the color flux tube structure of dense two-color QCD with $N_f = 2$ Wilson fermions by using a lattice simulation. From Refs. [1] and [2], we have already clarified the rich phase structure in the low temperature region, including the hadronic and superfluid phases. In this study we measure the quark-antiquark potential and color flux tube profiles in such a low temperature region and find that even in the high density superfluid phase, the color electric field is squeezed into a flux tube as in the low density hadronic phase.


title: Invariant in variants

abstract: The coronavirus Covid-19 mutates quickly in the pandemic, leaves people struggling to verify and improve the effectiveness of the vaccine based on biochemistry. Is there any physical invariant in the variants of such kind of pathogen that could be taken advantage to ease the tensions? To this point, extensive numerical experiments based on continuity mechanics were carried out to discover the vibration modes and the range of natural frequency of coronavirus Covid-19. Such invariant could help us in developing some flexible technique to deactivate the coronavirus, like as resonantly breaking the viral spike by ultrasound wave. The fundamental mechanisms governing such process are demonstrated via solving the coupled equations of acoustics and dynamics and thereafter the technique strategies proposed to efficiently realize the concept.


title: Continual Active Learning Using Pseudo-Domains for Limited Labelling Resources and Changing Acquisition Characteristics

abstract: Machine learning in medical imaging during clinical routine is impaired by changes in scanner protocols, hardware, or policies resulting in a heterogeneous set of acquisition settings. When training a deep learning model on an initial static training set, model performance and reliability suffer from changes of acquisition characteristics as data and targets may become inconsistent. Continual learning can help to adapt models to the changing environment by training on a continuous data stream. However, continual manual expert labelling of medical imaging requires substantial effort. Thus, ways to use labelling resources efficiently on a well chosen sub-set of new examples is necessary to render this strategy feasible. Here, we propose a method for continual active learning operating on a stream of medical images in a multi-scanner setting. The approach automatically recognizes shifts in image acquisition characteristics - new domains -, selects optimal examples for labelling and adapts training accordingly. Labelling is subject to a limited budget, resembling typical real world scenarios. To demonstrate generalizability, we evaluate the effectiveness of our method on three tasks: cardiac segmentation, lung nodule detection and brain age estimation. Results show that the proposed approach outperforms other active learning methods, while effectively counteracting catastrophic forgetting.


title: A contour method for time-fractional PDEs and an application to fractional viscoelastic beam equations

abstract: We develop a rapid and accurate contour method for the solution of time-fractional PDEs. The method inverts the Laplace transform via an optimised stable quadrature rule, suitable for infinite-dimensional operators, whose error decreases like $\exp(-cN/\log(N))$ for $N$ quadrature points. The method is parallisable, avoids having to resolve singularities of the solution as $t\downarrow 0$, and avoids the large memory consumption that can be a challenge for time-stepping methods applied to time-fractional PDEs. The ODEs resulting from quadrature are solved using adaptive sparse spectral methods that converge exponentially with optimal linear complexity. These solutions of ODEs are reused for different times. We provide a complete analysis of our approach for fractional beam equations used to model small-amplitude vibration of viscoelastic materials with a fractional Kelvin-Voigt stress-strain relationship. We calculate the system's energy evolution over time and the surface deformation in cases of both constant and non-constant viscoelastic parameters. An infinite-dimensional ``solve-then-discretise'' approach considerably simplifies the analysis, which studies the generalisation of the numerical range of a quasi-linearisation of a suitable operator pencil. This allows us to build an efficient algorithm with explicit error control. The approach can be readily adapted to other time-fractional PDEs and is not constrained to fractional parameters in the range $0<\nu<1$.

categories: math.NA cs.NA math.AP math.CV math.SP physics.flu-dyn


title: Velocity dispersion and dynamical masses for 388 Galaxy Clusters and groups. Calibrating the $M_{\rm SZ}$--$M_{\rm dyn}$ scaling relation for the PSZ2 sample

abstract: The second catalogue of Planck Sunyaev-Zeldovich (SZ) sources, hereafter PSZ2, represents the largest galaxy cluster sample selected by means of their SZ signature in a full-sky survey. Using telescopes at the Canary Island observatories, we conducted the long-term observational program 128- MULTIPLE-16/15B (hereafter LP15), a large and complete optical follow-up campaign of all the unidentified PSZ2 sources in the northern sky, with declinations above $-15^\circ$ and no correspondence in the first Planck catalogue PSZ1. This paper is the third and last in the series of LP15 results, after Streblyanska et al. (2019) and Aguado-Barahona et al. (2019), and presents all the spectroscopic observations of the full program. We complement these LP15 spectroscopic results with Sloan Digital Sky Survey (SDSS) archival data and other observations from a previous program (ITP13-08), and present a catalog of 388 clusters and groups of galaxies including estimates of their velocity dispersion. The majority of them (356) are the optical counterpart of a PSZ2 source. A subset of 297 of those clusters is used to construct the $M_{\rm SZ}-M_{\rm dyn}$ scaling relation, based on the estimated SZ mass from Planck measurements and our dynamical mass estimates. We discuss and correct for different statistical and physical biases in the estimation of the masses, such as the Eddington bias when estimating $M_{SZ}$ and the aperture and the number of galaxies used to calculate $M_{dyn}$. The SZ-to-dynamical mass ratio for those 297 PSZ2 clusters is $(1-B) = 0.80\pm0.04$ (stat) $\pm 0.05$ (sys), with only marginal evidence for a possible mass dependence of this factor. Our value is consistent with previous results in the literature, but presents a significantly smaller uncertainty due to the use of the largest sample size for this type of studies.


title: Kinetic Simulation of the Ideal Multipole Resonance Probe

abstract: Active plasma resonance spectroscopy (APRS) is a process-compatible plasma diagnostic method which utilizes the natural ability of plasmas to resonate on or near the electron plasma frequency. The Multipole Resonance Probe (MRP) is a particular design of APRS that has a high degree of geometric and electric symmetry. The principle of the MRP can be described on the basis of an idealized geometry that is particularly suited for theoretical investigations. In a pressure regime of a few Pa or lower, kinetic effects become important, which can not be predicted by the Drude model. Therefore, in this paper a dynamic model of the interaction of the idealized MRP with a plasma is established. The proposed scheme reveals the kinetic behavior of the plasma that is able to explain the influence of kinetic effects on the resonance structure. Similar to particle-in-cell, the spectral kinetic method iteratively determines the electric field at each particle position, however, without employing any numerical grids. The optimized analytical model ensures the high efficiency of the simulation. Eventually, the presented work is expected to cover the limitation of the Drude model, especially for the determination of the pure collisionless damping caused by kinetic effects. A formula to determine the electron temperature from the half-width is proposed.


title: Neuronal Learning Analysis using Cycle-Consistent Adversarial Networks

abstract: Understanding how activity in neural circuits reshapes following task learning could reveal fundamental mechanisms of learning. Thanks to the recent advances in neural imaging technologies, high-quality recordings can be obtained from hundreds of neurons over multiple days or even weeks. However, the complexity and dimensionality of population responses pose significant challenges for analysis. Existing methods of studying neuronal adaptation and learning often impose strong assumptions on the data or model, resulting in biased descriptions that do not generalize. In this work, we use a variant of deep generative models called - CycleGAN, to learn the unknown mapping between pre- and post-learning neural activities recorded $\textit{in vivo}$. We develop an end-to-end pipeline to preprocess, train and evaluate calcium fluorescence signals, and a procedure to interpret the resulting deep learning models. To assess the validity of our method, we first test our framework on a synthetic dataset with known ground-truth transformation. Subsequently, we applied our method to neural activities recorded from the primary visual cortex of behaving mice, where the mice transition from novice to expert-level performance in a visual-based virtual reality experiment. We evaluate model performance on generated calcium signals and their inferred spike trains. To maximize performance, we derive a novel approach to pre-sort neurons such that convolutional-based networks can take advantage of the spatial information that exists in neural activities. In addition, we incorporate visual explanation methods to improve the interpretability of our work and gain insights into the learning process as manifested in the cellular activities. Together, our results demonstrate that analyzing neuronal learning processes with data-driven deep unsupervised methods holds the potential to unravel changes in an unbiased way.


title: Exploring Versatile Prior for Human Motion via Motion Frequency Guidance

abstract: Prior plays an important role in providing the plausible constraint on human motion. Previous works design motion priors following a variety of paradigms under different circumstances, leading to the lack of versatility. In this paper, we first summarize the indispensable properties of the motion prior, and accordingly, design a framework to learn the versatile motion prior, which models the inherent probability distribution of human motions. Specifically, for efficient prior representation learning, we propose a global orientation normalization to remove redundant environment information in the original motion data space. Also, a two-level, sequence-based and segment-based, frequency guidance is introduced into the encoding stage. Then, we adopt a denoising training scheme to disentangle the environment information from input motion data in a learnable way, so as to generate consistent and distinguishable representation. Embedding our motion prior into prevailing backbones on three different tasks, we conduct extensive experiments, and both quantitative and qualitative results demonstrate the versatility and effectiveness of our motion prior. Our model and code are available at https://github.com/JchenXu/human-motion-prior.


title: Predicting the success of Gradient Descent for a particular Dataset-Architecture-Initialization (DAI)

abstract: Despite their massive success, training successful deep neural networks still largely relies on experimentally choosing an architecture, hyper-parameters, initialization, and training mechanism. In this work, we focus on determining the success of standard gradient descent method for training deep neural networks on a specified dataset, architecture, and initialization (DAI) combination. Through extensive systematic experiments, we show that the evolution of singular values of the matrix obtained from the hidden layers of a DNN can aid in determining the success of gradient descent technique to train a DAI, even in the absence of validation labels in the supervised learning paradigm. This phenomenon can facilitate early give-up, stopping the training of neural networks which are predicted to not generalize well, early in the training process. Our experimentation across multiple datasets, architectures, and initializations reveals that the proposed scores can more accurately predict the success of a DAI than simply relying on the validation accuracy at earlier epochs to make a judgment.


title: The Gauge Group and Perturbation Semigroup of an Operator System

abstract: The perturbation semigroup was first defined in the case of $*$-algebras by Chamseddine, Connes and van Suijlekom. In this paper, we take $\mathcal{E}$ as a concrete operator system with unit. We first give a definition of gauge group $\mathcal{G}(\mathcal{E})$ of $\mathcal{E}$, after that we give the definition of perturbation semigroup of $\mathcal{E}$, and the closed perturbation semigroup of $\mathcal{E}$ with respect to the Haagerup tensor norm. We also show that there is a continuous semigroup homomorphism from the closed perturbation semigroup to the collection of unital completely bounded Hermitian maps over $\mathcal{E}$. Finally we compute the gauge group and perturbation semigroup of the Toeplitz system as an example.


title: Stationary scattering theory, the $N$-body long-range case

abstract: Within the class of Derezi{\'n}ski-Enss pair-potentials which includes Coulomb potentials and for which asymptotic completeness is known \cite{De}, we show that all entries of the $N$-body quantum scattering matrix have a well-defined meaning at any given non-threshold energy. As a function of the energy parameter the scattering matrix is weakly continuous. This result generalizes a similar one obtained previously by Yafaev for systems of particles interacting by short-range potentials \cite{Ya1}. As for Yafaev's paper we do not make any assumption on the decay of channel eigenstates. The main part of the proof consists in establishing a number of Kato-smoothness bounds needed for justifying a new formula for the scattering matrix. Similarly we construct and show strong continuity of channel wave matrices for all non-threshold energies. Away from a set of measure zero we show that the scattering and channel wave matrices constitute a well-defined `scattering theory', in particular at such energies the scattering matrix is unitary, strongly continuous and characterized by asymptotics of minimum generalized eigenfunctions.


title: A Close Look at Few-shot Real Image Super-resolution from the Distortion Relation Perspective

abstract: Collecting amounts of distorted/clean image pairs in the real world is non-trivial, which seriously limits the practical applications of these supervised learning-based methods on real-world image super-resolution (RealSR). Previous works usually address this problem by leveraging unsupervised learning-based technologies to alleviate the dependency on paired training samples. However, these methods typically suffer from unsatisfactory texture synthesis due to the lack of supervision of clean images. To overcome this problem, we are the first to have a close look at the under-explored direction for RealSR, i.e., few-shot real-world image super-resolution, which aims to tackle the challenging RealSR problem with few-shot distorted/clean image pairs. Under this brand-new scenario, we propose Distortion Relation guided Transfer Learning (DRTL) for the few-shot RealSR by transferring the rich restoration knowledge from auxiliary distortions (i.e., synthetic distortions) to the target RealSR under the guidance of distortion relation. Concretely, DRTL builds a knowledge graph to capture the distortion relation between auxiliary distortions and target distortion (i.e., real distortions in RealSR). Based on the distortion relation, DRTL adopts a gradient reweighting strategy to guide the knowledge transfer process between auxiliary distortions and target distortions. In this way, DRTL could quickly learn the most relevant knowledge from the synthetic distortions for the target distortion. We instantiate DRTL with two commonly-used transfer learning paradigms, including pre-training and meta-learning pipelines, to realize a distortion relation-aware Few-shot RealSR. Extensive experiments on multiple benchmarks and thorough ablation studies demonstrate the effectiveness of our DRTL.


title: Electroweak baryogenesis in aligned two Higgs doublet models

abstract: We evaluate the baryon number abundance based on the charge transport scenario of top quarks in the CP-violating two Higgs doublet model, in which Yukawa interactions are aligned to avoid dangerous flavor changing neutral currents, and coupling constants of the lightest Higgs boson with the mass $125~\mathrm{GeV}$ coincide with those in the standard model at tree level to satisfy the current LHC data. In this model, the severe constraint from the electric dipole moment of electrons, which are normally difficult to be satisfied, can be avoided by destructive interferences between CP-violating phases in Yukawa interactions and scalar couplings in the Higgs potential. Viable benchmark scenarios are proposed under the current available data and basic theoretical bounds. We find that the observed baryon number can be reproduced in this model, where masses of additional Higgs bosons are typically $300$--$400~\mathrm{GeV}$. Furthermore, it is found that the triple Higgs boson coupling is predicted to be $35$--$55~\%$ larger than the standard model value.


title: Accessing ground state and excited states energies in many-body system after symmetry restoration using quantum computers

abstract: We explore the possibility to perform symmetry restoration with the variation after projection technique on a quantum computer followed by additional post-processing. The final goal is to develop configuration interaction techniques based on many-body trial states pre-optimized on a quantum computer. We show how the projection method used for symmetry restoration can prepare optimized states that could then be employed as initial states for quantum or hybrid quantum-classical algorithms. We use the quantum phase estimation and quantum Krylov approaches for the post-processing. The latter method combined with the quantum variation after projection (Q-VAP) leads to very fast convergence towards the ground-state energy. The possibility to access excited states energies is also discussed. Illustrations of the different techniques are made using the pairing hamiltonian.

categories: quant-ph cond-mat.supr-con nucl-ex nucl-th


title: Regularity improvement for the minimizers of the two-dimensional Griffith energy

abstract: In this paper we prove that the singular set of connected minimizers of the planar Griffith functional has Hausdorff dimension strictly less then one, together with the higher integrability of the symetrized gradient.


title: Vector boson fusion topology and simplified models for dark matter searches at colliders

abstract: In this paper we study the possible searches at colliders using Vector Boson Fusion topology in the context of Simplified Models signatures. We examine the possible physics reach of these searches with regard to monojet-type searches, and determine how these two signatures are complementary.


title: A GREAT model comparison against the cosmological constant

abstract: Recently, a covariant formulation of non-equilibrium phenomena in the context of General Relativity was proposed in order to explain from first principles the observed accelerated expansion of the Universe, without the need for a cosmological constant, leading to the GREA theory. Here, we confront the GREA theory against the latest cosmological data, including type Ia supernovae, baryon acoustic oscillations, the cosmic microwave background (CMB) radiation, Hubble rate data from the cosmic chronometers and the recent $H_0$ measurements. We perform Markov Chain Monte Carlo analyses and a Bayesian model comparison, by estimating the evidence via thermodynamic integration, and find that when all the aforementioned data are included, but no prior on $H_0$, the difference in the log-evidence is $\sim -9$ in favor of GREA, thus resulting in overwhelming support for the latter over the cosmological constant and cold dark matter model ($\Lambda$CDM). When we also include priors on $H_0$, either from Cepheids or the Tip of the Red Giant Branch measurements, then due to the tensions with CMB data the GREA theory is found to be statistically equivalent with $\Lambda$CDM.


title: Towards an Adaptive and Normative Multi-Agent System Metamodel and Language: Existing Approaches and Research Opportunities

abstract: Several Multi-Agent System (MAS) metamodels and languages have been proposed in the literature to support the development of agent-based applications. MAS metamodels are used to capture a collection of concepts the relevant entities and relationships in the MAS domain, which include entities such as agent, message, role, action and plan, and relationships that represent, for example, that a role is responsible for one or more tasks. In addition, to models, MAS modeling languages have also been used to support the development of MASs in a wide variety of domains, including social networking, robotics, security and smart city environments. However, there is a lack of support in these models and languages for abstractions involving norms and adaptations as well as their interactions. This paper presents a survey of some existing metamodels and languages and compares their expressiveness using abstractions related to agents, norms and adaptation. The comparison serves as a basis for the definition of a new MAS metamodeling.


title: Semi-equivelar toroidal maps and their k-edge covers

abstract: If the face\mbox{-}cycles at all the vertices in a map are of same type then the map is called semi\mbox{-}equivelar. A tiling is edge-homogeneous if any two edges with vertices of congruent face-cycles. In general, edge-homogeneous maps on a surface form a bigger class than edge-transitive maps. There are edge-homogeneous toroidal maps which are not edge\mbox{-}transitive. An edge-homogeneous map is called $k$-edge-homogeneous if it contains $k$ number of edge orbits. In particular, if $k=1$ then it is called edge-transitive map. In general, a map is called $k$-edge orbital or $k$-orbital if it contains $k$ number of edge orbits. A map is called minimal if the number of edges is minimal. A surjective mapping $\eta \colon M \to K$ from a map $M$ to a map $K$ is called a covering if it preserves adjacency and sends vertices, edges, faces of $M$ to vertices, edges, faces of $K$ respectively. Orbani{\' c} et al. and {\v S}ir{\'a}{\v n} et al. have shown that every edge-homogeneous toroidal map has edge-transitive cover. In this article, we show the bounds of edge orbits of edge-homogeneous toroidal maps. Using these bounds, we show the bounds of edge orbits of non-edge-homogeneous semi-equivelar toroidal maps. We also prove that if a edge-homogeneous map is $k$ edge orbital then it has a finite index $m$-edge orbital minimal cover for $m \le k$. We also show the existence and classification of $n$ sheeted covers of edge-homogeneous toroidal maps for each $n \in \mathbb{N}$. We extend this to non-edge-homogeneous semi-equivelar toroidal maps and prove the same results, i.e., if a non-edge-homogeneous map is $k$ edge orbital then it has a finite index $m$-edge orbital minimal cover (non-edge-homogeneous) for $m \le k$ and then classify them for each sheet.


title: Monads and moduli components for stable rank 2 bundles with odd determinant on the projective space

abstract: We propose a three-step program for the classification of stable rank 2 bundles on the projective space $\mathbb{P}^3$ inspired by an article by Hartshorne and Rao. While this classification program has been successfully completed for stable rank 2 bundles with even determinant and $c_2\le5$, much less is known for bundles with odd determinant. After revising the known facts about these objects, we list all possible spectra and minimal monads for stable rank 2 bundles with odd determinant and $c_2\le8$. We provide a full classification of all bundles with positive minimal monads, provide a negative answer to a question raised by Hartshorne and Rao, and describe new irreducible components of the moduli spaces of stable rank 2 bundles with odd determinant and $c_2=6,8$.


title: BoxeR: Box-Attention for 2D and 3D Transformers

abstract: In this paper, we propose a simple attention mechanism, we call box-attention. It enables spatial interaction between grid features, as sampled from boxes of interest, and improves the learning capability of transformers for several vision tasks. Specifically, we present BoxeR, short for Box Transformer, which attends to a set of boxes by predicting their transformation from a reference window on an input feature map. The BoxeR computes attention weights on these boxes by considering its grid structure. Notably, BoxeR-2D naturally reasons about box information within its attention module, making it suitable for end-to-end instance detection and segmentation tasks. By learning invariance to rotation in the box-attention module, BoxeR-3D is capable of generating discriminative information from a bird's-eye view plane for 3D end-to-end object detection. Our experiments demonstrate that the proposed BoxeR-2D achieves state-of-the-art results on COCO detection and instance segmentation. Besides, BoxeR-3D improves over the end-to-end 3D object detection baseline and already obtains a compelling performance for the vehicle category of Waymo Open, without any class-specific optimization. Code is available at https://github.com/kienduynguyen/BoxeR.


title: Suslin's cancellation conjecture in the smooth case

abstract: We prove that stably isomorphic vector bundles of rank d-1 on a smooth affine d-fold X over an algebraically closed field k are indeed isomorphic, provided d! is invertible in k. This answers an old conjecture of Suslin.


title: GeomNet: A Neural Network Based on Riemannian Geometries of SPD Matrix Space and Cholesky Space for 3D Skeleton-Based Interaction Recognition

abstract: In this paper, we propose a novel method for representation and classification of two-person interactions from 3D skeleton sequences. The key idea of our approach is to use Gaussian distributions to capture statistics on R n and those on the space of symmetric positive definite (SPD) matrices. The main challenge is how to parametrize those distributions. Towards this end, we develop methods for embedding Gaussian distributions in matrix groups based on the theory of Lie groups and Riemannian symmetric spaces. Our method relies on the Riemannian geometry of the underlying manifolds and has the advantage of encoding high-order statistics from 3D joint positions. We show that the proposed method achieves competitive results in two-person interaction recognition on three benchmarks for 3D human activity understanding.


title: Higgs production in the high-energy limit of pQCD

abstract: With the advent of TeV-energy colliding machines, such as the Large Hadron Collider (LHC), the possibility has opened up to test predictions of Quantum Chromodynamics (QCD) and, more in general, of the Standard Model (SM), in new, and so far unexplored, kinematical regimes. Among the many reactions that can be investigated at LHC, the Higgs production is one of the most important and challenging for the entire high-energy physics Community. Beside usual studies in the Higgs sector, it has recently been highlighted how differential Higgs distributions can be effectively used as ``stabilizers'' of the high-energy dynamics of QCD. The definition and the study of observables sensitive to high-energy dynamics in Higgs production has the double advantage of (i) allowing us to clearly disentangle the high-energy dynamics from the fixed-order one and (ii) providing us with an auxiliary tool to extend Higgs studies in wider kinematical regimes. In this work, we will show how a general hybrid collinear/high energy factorization can be built up for the inclusive production of a Higgs in association with a jet. Then, we will present some phenomenological analyses that corroborate the underlying assumption that this reaction can be used to investigate the semi-hard regime of QCD. Finally, we will focus on more formal developments, such as the inclusion of subleading corrections to previous studies, via the calculation of the forward next-to-leading order Higgs impact factor.


title: Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks

abstract: We tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. %governed by session types. Our contributions are two-fold. First, we present Asynchronous Priority-based Classical Processes ($\text{APCP}$), a session-typed process framework that supports asynchronous communication, delegation, and recursion in cyclic process networks. Building upon the Curry-Howard correspondences between linear logic and session types, we establish essential meta-theoretical results for $\text{APCP}$, most notably deadlock-freedom. Second, we present a new concurrent $\lambda$-calculus with asynchronous session types, dubbed $\text{LAST}^n$. We illustrate $\text{LAST}^n$ by example and establish its meta-theoretical results; in particular, we show how to soundly transfer the deadlock-freedom guarantee from $\text{APCP}$. To this end, we develop a translation of terms in $\text{LAST}^n$ into processes in $\text{APCP}$ that satisfies a strong formulation of operational correspondence.


title: The SU(N) running coupling in the twisted gradient flow scheme and volume independence

abstract: We report on an ongoing study of the running coupling of SU(N) pure Yang-Mills theory in the twisted gradient flow scheme (TGF). The study exploits the idea that twisted boundary conditions reduce finite volume effects, leading to an effective size in the twisted plane that combines the number of colours and the torus period. We test this hypothesis by computing the TGF running coupling and the SU(N) $\Lambda-$ parameter on asymmetric lattices of size $(NL)^2L^2$ for various gauge groups. Finite volume effects are monitored by analyzing the coupling in different planes and by comparing results at different number of colours.


title: Inertial energy dissipation in nuclear dynamics

abstract: We present the TDDFT+Langevin model that incorporates microscopic time-dependent density function theory (TDDFT) with macroscopic Langevin model. By extracting the energy-dependent dissipation effect from the TDDFT dynamics, quantum effects are introduced to the Langevin-type stochastic fission analysis. In this paper, by means of Skyrme nuclear effective interactions, the energy-dependent friction coefficients to be used in Langevin calculations are provided individually for 25 fission nuclei chosen from uranium, plutonium, curium, californium, and fermium isotopes. The validity of the energy-dependent friction coefficients are confirmed by comparing to the existing experimental fission fragment yields. In conclusion, depending on the energy, the transition of energy dissipation mechanism from conventional viscous energy dissipation to inertial energy dissipation is shown.


title: Path Guiding Using Spatio-Directional Mixture Models

abstract: We propose a learning-based method for light-path construction in path tracing algorithms, which iteratively optimizes and samples from what we refer to as spatio-directional Gaussian mixture models (SDMMs). In particular, we approximate incident radiance as an online-trained $5$D mixture that is accelerated by a $k$D-tree. Using the same framework, we approximate BSDFs as pre-trained $n$D mixtures, where $n$ is the number of BSDF parameters. Such an approach addresses two major challenges in path-guiding models. First, the $5$D radiance representation naturally captures correlation between the spatial and directional dimensions. Such correlations are present in e.g. parallax and caustics. Second, by using a tangent-space parameterization of Gaussians, our spatio-directional mixtures can perform approximate product sampling with arbitrarily oriented BSDFs. Existing models are only able to do this by either foregoing anisotropy of the mixture components or by representing the radiance field in local (normal aligned) coordinates, which both make the radiance field more difficult to learn. An additional benefit of the tangent-space parameterization is that each individual Gaussian is mapped to the solid sphere with low distortion near its center of mass. Our method performs especially well on scenes with small, localized luminaires that induce high spatio-directional correlation in the incident radiance.


title: Thermodynamics of stationary states of the ideal gas in a heat flow

abstract: There is a long-standing question as to whether and to what extent it is possible to describe nonequilibrium systems in stationary states in terms of global thermodynamic functions. The positive answers have been obtained only for isothermal systems or systems with small temperature differences. We formulate thermodynamics of the stationary states of the ideal gas subjected to heat flow in the form of the zeroth, first, and second law. Surprisingly, the formal structure of steady state thermodynamics is the same as in equilibrium thermodynamics. We rigorously show that $U$ satisfies the following equation $dU=T^{*}dS^{*}-pdV$ for a constant number of particles, irrespective of the shape of the container, boundary conditions, size of the system, or mode of heat transfer into the system. We calculate $S^{*}$ and $T^{*}$ explicitly. The theory selects stable nonequilibrium steady states in a multistable system of ideal gas subjected to volumetric heating. It reduces to equilibrium thermodynamics when heat flux goes to zero.


title: Moving towards high-power thin-disk lasers in the 2-{\mu}m wavelength range

abstract: Thin-disk lasers (TDLs) have made spectacular progress in the last decades both in continuous-wave and ultrafast operation. Nowadays, single thin-disk oscillators with > 16 kW of continuous-wave (CW)-power have been demonstrated and ultrafast amplifiers have largely surpassed the kilowatt milestone with pulse energies in the multi-100 mJ range. This amazing development has been demonstrated in the 1-{\mu}m wavelength range, using Yb-doped materials and supported by industrially available components. Motivated by both strong scientific and industrial applications, interest in expanding this performance to longer wavelength regions continues to increase. In particular, TDLs emitting directly in the short-wave mid-infrared (SW-MIR) region (2-3 {\mu}m) are especially sought after, and although many early studies have been reported, most remained in the proof-of-principle stage and the potential for multi-100-W operation remained undemonstrated. Here, we report on our recent results of a single fundamental-mode CW Ho:YAG thin-disk oscillator with >100 W of power, surpassing previous single-mode TDLs by a factor of >4, and marking a first milestone in the development of high-power SW-MIR TDLs. In optimized conditions, our laser system emitting at {\guillemotright} 2.1 {\mu}m reaches an output power of 112 W with 54.6-% optical-to-optical efficiency and an M2 = 1.1. This system is ideally suited for future direct modelocking at the 100 W level, as well as for ultrafast amplification. We start the discussion with a review of the state-of-the-art of TDLs emitting directly in the vicinity of 2 {\mu}m, and then discuss difficulties and possible routes both towards ultrafast operation and next possible steps for power scaling.


title: Some aspects of Skyrme--Chern-Simons densities

abstract: The gauge transformation properties of the Skyrme--Chern-Simons (SCS) densities is studied. Two types of SCS actions are identified, Type_{I} in which the gauge group is smaller than the largest possible one, and Type_{II} which are gauged with the largest allowed gauge group. Type_{I} SCS feature only one power of the gauge connection and no curvature, while Type_{II} feature both the gauge connection and the curvature. The Abelian Type_{I} SCS turn out to be explicitly gauge invariant while non-Abelian Type_{I} and all Type_{II} SCS are gauge invariant only up to a total divergence term, and hence lead to gauge covariant equations of motion. SCS actions are the gauged Skyrmion analogues of the usual Chern-Simons (CS) actions, except that unlike the CS which are defined only in odd dimensions, the SCS are defined also in even dimensions. Some areas of application in the construction of solitons are pointed out.


title: A perspective of twisted photonic structures

abstract: Moire superlattices-twisted van der Waals (vdW) structures with small angles-are attracting increasing attention in condensed matter physics, due to important phenomena revealed therein, including unconventional superconductivity, correlated insulating states, and ferromagnetism. Moire superlattices are typically comprised of atomic layers of vdW materials where the exotic physics arises from the quantum electronic coupling between adjacent atomic layers. Recently, moire electronics has motivated their photonic counterparts. In addition to vdW materials, twisted photonic systems can also be comprised of metamaterials, metasurfaces, and photonic crystals, mediated by interlayer electromagnetic coupling instead. The interplay between short-ranged interlayer quantum and long-ranged electromagnetic coupling in twisted structures are expected to yield rich phenomena in nano-optics. This perspective reviews recent progress in twisted structures for nanophotonics and outlooks emerging topics, opportunities, fundamental challenges, and potential applications.


title: Primordial black holes as a probe of strongly first-order electroweak phase transition

abstract: Primordial black holes can be produced by density fluctuations generated from delayed vacuum decays of first-order phase transition. The primordial black holes generated at the electroweak phase transition have masses of about $10^{-5}$ solar mass. Such primordial black holes in the mass range can be tested by current and future microlensing observations, such as Subaru HSC, OGLE, PRIME and Roman telescope. Therefore, we may be able to explore new physics models with strongly first-order electroweak phase transition via primordial black holes. We examine this possibility by using models with first-order electroweak phase transition in the standard model effective field theory with dimension 6 and 8 operators. We find that depending on parameters of the phase transition a sufficient number of primordial black holes can be produced to be observed by above mentioned experiments. Our results would suggest that primordial black holes can be used as a new probe of models with strongly first-order electroweak phase transition, which has complementarity with measurements of the triple Higgs boson coupling at future collider experiments and observations of gravitational waves at future space-based interferometers.


title: Lattice QCD with an inhomogeneous magnetic field background

abstract: The magnetic fields generated in non-central heavy-ion collisions are among the strongest fields produced in the Universe, reaching magnitudes comparable to the scale of the strong interactions. Backed by model simulations, the resulting field is expected to be spatially modulated, deviating significantly from the commonly considered uniform profile. To improve our understanding of the physics of quarks and gluons under such extreme conditions, we use lattice QCD simulations with $2+1$ staggered fermion flavors with physical quark masses and an inhomogeneous magnetic background for a range of temperatures covering the QCD phase transition. We assume a $1/\cosh^2$ function to model the field profile and vary its strength to analyze the impact on the computed observables and on the transition. We calculate local chiral condensates, local Polyakov loops and estimate the size of lattice artifacts. We find that both observables show non-trivial spatial features due to the interplay between the sea and the valence effects.


title: On the quartet distance given partial information

abstract: Let $T$ be an arbitrary phylogenetic tree with $n$ leaves. It is well-known that the average quartet distance between two assignments of taxa to the leaves of $T$ is $\frac 23 \binom{n}{4}$. However, a longstanding conjecture of Bandelt and Dress asserts that $(\frac 23 +o(1))\binom{n}{4}$ is also the {\em maximum} quartet distance between two assignments. While Alon, Naves, and Sudakov have shown this indeed holds for caterpillar trees, the general case of the conjecture is still unresolved. A natural extension is when partial information is given: the two assignments are known to coincide on a given subset of taxa. The partial information setting is biologically relevant as the location of some taxa (species) in the phylogenetic tree may be known, and for other taxa it might not be known. What can we then say about the average and maximum quartet distance in this more general setting? Surprisingly, even determining the {\em average} quartet distance becomes a nontrivial task in the partial information setting and determining the maximum quartet distance is even more challenging, as these turn out to be dependent of the structure of $T$. In this paper we prove nontrivial asymptotic bounds that are sometimes tight for the average quartet distance in the partial information setting. We also show that the Bandelt and Dress conjecture does not generally hold under the partial information setting. Specifically, we prove that there are cases where the average and maximum quartet distance substantially differ.


title: Phonon Spectra and Phase Transitions in van der Waals Ferroics MM$'$P$_2$X$_6$

abstract: For CuInP$_2$S$_6$ layered ferrielectric crystal, that is most investigated among wide family of van der Waals ferroics MM$'$P$_2$X$_6$ (M - Cu, Ag; M$'$ - In, Bi, Cr, $\dots$; X - S, Se), by Brillouin spectroscopy the temperature dependence of the longitudinal hypersound velocity was investigated for the acoustic phonons propagated in the plane of crystal layers. Pronounced softening of acoustic phonon branch is observed in the paraelectric phase below $T^{*} \approx 330~$K at cooling to temperature $T_C \approx 312~$K of the first order phase transition into ferrielectric phase. Below $T_C$ the hypersound velocity growth in correlation with spontaneous polarization rise and its temperature anomaly is similar to earlier observed temperature behavior of longitudinal ultrasound velocity for acoustic wave propagated normally to the structural layers. Determined anomalous part of the CuInP$_2$S$_6$ crystal thermal conductivity in the vicinity of ferrielectric transition also demonstrate lowering of the heat transferring phonons group velocity with cooling from $T^{*}$ to $T_C$. Observed acoustic softening obviously is induced by flexoelectric coupling of relaxational soft polar optic and acoustic branches that is related to inhomogeneously polarized state appearing between paraelectric and ferrielectric phases.


title: Block Coordinate Descent for smooth nonconvex constrained minimization

abstract: At each iteration of a Block Coordinate Descent method one minimizes an approximation of the objective function with respect to a generally small set of variables subject to constraints in which these variables are involved. The unconstrained case and the case in which the constraints are simple were analyzed in the recent literature. In this paper we address the problem in which block constraints are not simple and, moreover, the case in which they are not defined by global sets of equations and inequations. A general algorithm that minimizes quadratic models with quadratric regularization over blocks of variables is defined and convergence and complexity are proved. In particular, given tolerances $\delta>0$ and $\varepsilon>0$ for feasibility/complementarity and optimality, respectively, it is shown that a measure of $(\delta,0)$-criticality tends to zero; and the the number of iterations and functional evaluations required to achieve $(\delta,\varepsilon)$-criticality is $O(\varepsilon^2)$. Numerical experiments in which the proposed method is used to solve a continuous version of the traveling salesman problem are presented.


title: Ambivalent and Consistent Relationships: The Role of Personal Networks in Cases of Domestic Violence

abstract: Social networks are usually considered as positive sources of social support, a role which has been extensively studied in the context of domestic violence. To victims of abuse, social networks often provide initial emotional and practical help as well useful information ahead of formal institutions. Recently, however, attention has been paid to the negative responses of social networks. In this article, we advance the theoretical debate on social networks as a source of social support by moving beyond the distinction between positive and negative ties. We do so by proposing the concepts of relational ambivalence and consistency, which describe the interactive processes by which people, intentionally or inadvertently, disregard or align with each other role relational expectations, therefore undermining or reinforcing individual choices of action. We analyse the qualitative accounts of nineteen female victims of domestic violence in Sweden, who described the responses of their personal networks during and after the abuse. We observe how the relationships embedded in these networks were described in ambivalent and consistent terms, and how they played a role in supporting or undermining women in reframing their loving relationships as abusive; in accounting or dismissing perpetrators responsibilities for the abuse; in relieving women from role expectations and obligations or in burdening them with further responsibilities; and in supporting or challenging their pathways out of domestic abuse. Our analysis suggests that social isolation cannot be considered a simple result of a lack of support but of the complex dynamics in which support is offered and accepted or withdrawn and refused.


title: A Novel Framework for Image-to-image Translation and Image Compression

abstract: Data-driven paradigms using machine learning are becoming ubiquitous in image processing and communications. In particular, image-to-image (I2I) translation is a generic and widely used approach to image processing problems, such as image synthesis, style transfer, and image restoration. At the same time, neural image compression has emerged as a data-driven alternative to traditional coding approaches in visual communications. In this paper, we study the combination of these two paradigms into a joint I2I compression and translation framework, focusing on multi-domain image synthesis. We first propose distributed I2I translation by integrating quantization and entropy coding into an I2I translation framework (i.e. I2Icodec). In practice, the image compression functionality (i.e. autoencoding) is also desirable, requiring to deploy alongside I2Icodec a regular image codec. Thus, we further propose a unified framework that allows both translation and autoencoding capabilities in a single codec. Adaptive residual blocks conditioned on the translation/compression mode provide flexible adaptation to the desired functionality. The experiments show promising results in both I2I translation and image compression using a single model.


title: Searches for Gravitational Waves from Known Pulsars at Two Harmonics in the Second and Third LIGO-Virgo Observing Runs

abstract: We present a targeted search for continuous gravitational waves (GWs) from 236 pulsars using data from the third observing run of LIGO and Virgo (O3) combined with data from the second observing run (O2). Searches were for emission from the $l=m=2$ mass quadrupole mode with a frequency at only twice the pulsar rotation frequency (single harmonic) and the $l=2, m=1,2$ modes with a frequency of both once and twice the rotation frequency (dual harmonic). No evidence of GWs was found so we present 95\% credible upper limits on the strain amplitudes $h_0$ for the single harmonic search along with limits on the pulsars' mass quadrupole moments $Q_{22}$ and ellipticities $\varepsilon$. Of the pulsars studied, 23 have strain amplitudes that are lower than the limits calculated from their electromagnetically measured spin-down rates. These pulsars include the millisecond pulsars J0437\textminus4715 and J0711\textminus6830 which have spin-down ratios of 0.87 and 0.57 respectively. For nine pulsars, their spin-down limits have been surpassed for the first time. For the Crab and Vela pulsars our limits are factors of $\sim 100$ and $\sim 20$ more constraining than their spin-down limits, respectively. For the dual harmonic searches, new limits are placed on the strain amplitudes $C_{21}$ and $C_{22}$. For 23 pulsars we also present limits on the emission amplitude assuming dipole radiation as predicted by Brans-Dicke theory.


title: K\"{a}hler cone-manifolds arising from a projective arrangement

abstract: Given a hyperplane arrangement of some type in a projective space, the Dunkl system, developed by Couwenberg, Heckman and Looijenga, is used to study the geometric structures on its complement, and as a consequence it leads to the discovery of new ball quotients when the Schwarz conditions are imposed. In this paper, we study how the space, investigated in this system, looks like when there is no Schwarz conditions imposed. As a result, we show that the space in question is still of a particular type of structure, namely, the structure of a cone-manifold. With this point of view, Thurston's work on moduli of cone metrics on the sphere appears as a special case in this set-up.


title: Combating Unknown Bias with Effective Bias-Conflicting Scoring and Gradient Alignment

abstract: Models notoriously suffer from dataset biases which are detrimental to robustness and generalization. The identify-emphasize paradigm shows a promising effect in dealing with unknown biases. However, we find that it is still plagued by two challenges: A, the quality of the identified bias-conflicting samples is far from satisfactory; B, the emphasizing strategies just yield suboptimal performance. In this work, for challenge A, we propose an effective bias-conflicting scoring method to boost the identification accuracy with two practical strategies -- peer-picking and epoch-ensemble. For challenge B, we point out that the gradient contribution statistics can be a reliable indicator to inspect whether the optimization is dominated by bias-aligned samples. Then, we propose gradient alignment, which employs gradient statistics to balance the contributions of the mined bias-aligned and bias-conflicting samples dynamically throughout the learning process, forcing models to leverage intrinsic features to make fair decisions. Experiments are conducted on multiple datasets in various settings, demonstrating that the proposed solution can alleviate the impact of unknown biases and achieve state-of-the-art performance.


title: Cleaning the covariance matrix of strongly nonstationary systems with time-independent eigenvalues

abstract: We propose a data-driven way to reduce the noise of covariance matrices of nonstationary systems. In the case of stationary systems, asymptotic approaches were proved to converge to the optimal solutions. Such methods produce eigenvalues that are highly dependent on the inputs, as common sense would suggest. Our approach proposes instead to use a set of eigenvalues totally independent from the inputs and that encode the long-term averaging of the influence of the future on present eigenvalues. Such an influence can be the predominant factor in nonstationary systems. Using real and synthetic data, we show that our data-driven method outperforms optimal methods designed for stationary systems for the filtering of both covariance matrix and its inverse, as illustrated by financial portfolio variance minimization, which makes out method generically relevant to many problems of multivariate inference.


title: QNNVerifier: A Tool for Verifying Neural Networks using SMT-Based Model Checking

abstract: QNNVerifier is the first open-source tool for verifying implementations of neural networks that takes into account the finite word-length (i.e. quantization) of their operands. The novel support for quantization is achieved by employing state-of-the-art software model checking (SMC) techniques. It translates the implementation of neural networks to a decidable fragment of first-order logic based on satisfiability modulo theories (SMT). The effects of fixed- and floating-point operations are represented through direct implementations given a hardware-determined precision. Furthermore, QNNVerifier allows to specify bespoke safety properties and verify the resulting model with different verification strategies (incremental and k-induction) and SMT solvers. Finally, QNNVerifier is the first tool that combines invariant inference via interval analysis and discretization of non-linear activation functions to speed up the verification of neural networks by orders of magnitude. A video presentation of QNNVerifier is available at https://youtu.be/7jMgOL41zTY


title: Surface Segmentation Using Implicit Divergence Constraint Between Adjacent Minimal Paths

abstract: We introduce a novel approach for object segmentation from 3D images using modified minimal path Eikonal equation. The proposed method utilizes an implicit constraint - a second order correction to the inhomogeneous minimal path Eikonal - preventing the adjacent minimal path trajectories to diverge uncontrollably. The proposed modification greatly reduces the surface area uncovered by minimal paths allowing the use of the calculated minimal path set as parameter lines of an approximate surface. It also has a loose connection with the true minimal surface Eikonal equations that are also deduced.


title: VaxNeRF: Revisiting the Classic for Voxel-Accelerated Neural Radiance Field

abstract: Neural Radiance Field (NeRF) is a popular method in data-driven 3D reconstruction. Given its simplicity and high quality rendering, many NeRF applications are being developed. However, NeRF's big limitation is its slow speed. Many attempts are made to speeding up NeRF training and inference, including intricate code-level optimization and caching, use of sophisticated data structures, and amortization through multi-task and meta learning. In this work, we revisit the basic building blocks of NeRF through the lens of classic techniques before NeRF. We propose Voxel-Accelearated NeRF (VaxNeRF), integrating NeRF with visual hull, a classic 3D reconstruction technique only requiring binary foreground-background pixel labels per image. Visual hull, which can be optimized in about 10 seconds, can provide coarse in-out field separation to omit substantial amounts of network evaluations in NeRF. We provide a clean fully-pythonic, JAX-based implementation on the popular JaxNeRF codebase, consisting of only about 30 lines of code changes and a modular visual hull subroutine, and achieve about 2-8x faster learning on top of the highly-performative JaxNeRF baseline with zero degradation in rendering quality. With sufficient compute, this effectively brings down full NeRF training from hours to 30 minutes. We hope VaxNeRF -- a careful combination of a classic technique with a deep method (that arguably replaced it) -- can empower and accelerate new NeRF extensions and applications, with its simplicity, portability, and reliable performance gains. Codes are available at https://github.com/naruya/VaxNeRF .


title: Operationally Accessible Uncertainty Relations for Thermodynamically Consistent Semi-Markov Processes

abstract: Semi-Markov processes generalize Markov processes by adding temporal memory effects as expressed by a semi-Markov kernel. We recall the path weight for a semi-Markov trajectory and the fact that thermodynamic consistency in equilibrium imposes a crucial condition called direction-time independence for which we present an alternative derivation. We prove a thermodynamic uncertainty relation that formally resembles the one for a discrete-time Markov process. The result relates the entropy production of the semi-Markov process to mean and variance of steady-state currents. We prove a further thermodynamic uncertainty relation valid for semi-Markov descriptions of coarse-grained Markov processes that emerge by grouping states together. A violation of this inequality can be used as an inference tool to conclude that a given semi-Markov process cannot result from coarse-graining an underlying Markov one. We illustrate these results with representative examples.


title: Quantification of network structural dissimilarities based on graph embedding

abstract: Identifying and quantifying structural dissimilarities between complex networks is a fundamental and challenging problem in network science. Previous network comparison methods are based on the structural features, such as the length of shortest path, degree and graphlet, which may only contain part of the topological information. Therefore, we propose an efficient network comparison method based on network embedding, i.e., \textit{DeepWalk}, which considers the global structural information. In detail, we calculate the distance between nodes through the vector extracted by \textit{DeepWalk} and quantify the network dissimilarity by spectral entropy based Jensen-Shannon divergences of the distribution of the node distances. Experiments on both synthetic and empirical data show that our method outperforms the baseline methods and can distinguish networks perfectly by only using the global embedding based distance distribution. In addition, we show that our method can capture network properties, e.g., average shortest path length and link density. Moreover, the experiments of modularity further implies the functionality of our method.


title: Variants of the Gy\`arf\`as-Sumner Conjecture: Oriented Trees and Rainbow Paths

abstract: Given a finite family $\mathcal{F}$ of graphs, we say that a graph $G$ is "$\mathcal{F}$-free" if $G$ does not contain any graph in $\mathcal{F}$ as a subgraph. A vertex-colored graph $H$ is called "rainbow" if no two vertices of $H$ have the same color. Given an integer $s$ and a finite family of graphs $\mathcal{F}$, let $\ell(s,\mathcal{F})$ denote the smallest integer such that any properly vertex-colored $\mathcal{F}$-free graph $G$ having $\chi(G)\geq\ell(s,\mathcal{F})$ contains an induced rainbow path on $s$ vertices. Scott and Seymour showed that $\ell(s,K)$ exists for every complete graph $K$. A conjecture of N. R. Aravind states that $\ell(s,C_3)=s$. The upper bound on $\ell(s,C_3)$ that can be obtained using the methods of Scott and Seymour setting $K=C_3$ are, however, super-exponential. Gy\'arf\'as and S\'ark\"ozy showed that $\ell(s,\{C_3,C_4\})=\mathcal{O}\big((2s)^{2s}\big)$. For $r\geq 2$, we show that $\ell(s,K_{2,r})\leq (r-1)(s-1)(s-2)/2+s$ and therefore, $\ell(s,C_4)\leq\frac{s^2-s+2}{2}$. This significantly improves Gy\'arf\'as and S\'ark\"ozy's bound and also covers a bigger class of graphs. We adapt our proof to achieve much stronger upper bounds for graphs of higher girth: we prove that $\ell(s,\{C_3,C_4,\ldots,C_{g-1}\})\leq s^{1+\frac{4}{g-4}}$, where $g\geq 5$. Moreover, in each case, our results imply the existence of at least $s!/2$ distinct induced rainbow paths on $s$ vertices. Along the way, we obtain some results on related problems on oriented graphs. For $r\geq 2$, let $\mathcal{B}_r$ denote the orientations of $K_{2,r}$ in which one vertex has out-degree or in-degree $r$. We show that every $\mathcal{B}_r$-free oriented graph $G$ having $\chi(G)\geq (r-1)(s-1)(s-2)+2s+1$ and every bikernel-perfect oriented graph $G$ with girth $g\geq 5$ having $\chi(G)\geq 2s^{1+\frac{4}{g-4}}$ contains every $s$ vertex oriented tree as an induced subgraph.


title: Machine learning the 2D percolation model

abstract: We use deep-learning strategies to study the 2D percolation model on a square lattice. We employ standard image recognition tools with a multi-layered convolutional neural network. We test how well these strategies can characterise densities and correlation lengths of percolation states and whether the essential role of the percolating cluster is recognised.


title: ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts

abstract: Smart contracts written in Solidity are programs used in blockchain networks, such as Etherium, for performing transactions. However, as with any piece of software, they are prone to errors and may present vulnerabilities, which malicious attackers could then use. This paper proposes a solidity frontend for the efficient SMT-based context-bounded model checker (ESBMC), named ESBMC-Solidity, which provides a way of verifying such contracts with its framework. A benchmark suite with vulnerable smart contracts was also developed for evaluation and comparison with other verification tools. The experiments performed here showed that ESBMC-Solidity detected all vulnerabilities, was the fastest tool, and provided a counterexample for each benchmark. A demonstration is available at https://youtu.be/3UH8_1QAVN0.


title: The role of q-spin singlet pairs of physical spins in the dynamical properties of the spin-1/2 Heisenberg-Ising XXZ chain

abstract: Dynamical correlation functions contain important physical information on correlated spin models. Here a dynamical theory suitable suitable to the isotropic spin-1/2 Heisenberg chain in a longitudinal magnetic field is extended to anisotropy larger than one . The aim of this paper is the study of the line shape of the spin dynamical structure factor components +-, -+ and zz of the spin-1/2 Heisenberg-Ising chain in a longitudinal magnetic field near their sharp peaks. To reach that goal, the nature of the specific type of elementary magnetic configurations both unbound and associated with real Bethe-ansatz rapidities and bound and described by complex Bethe strings is clarified: They are singlet q-spin pairs of physical spins 1/2. We derive analytical expressions for the line shapes of dynamical structure factor components +-, -+ and zz valid in the vicinity of lines of sharp peaks. Those are mostly located at and just above lower thresholds of continua associated with both real-rapidity states with only unbound q-spin singlet pairs and states with real and complex rapidities populated by such unbound pairs and a single 2-string or a single 3-string. The latter contain 2 and 3 bound q-spin singlet pairs, respectively. Our results provide physically interesting and important information on the microscopic processes that determine the dynamical properties of the non-perturbative spin-1/2 Heisenberg-Ising chain in a longitudinal magnetic field.


title: Interesting Object, Curious Agent: Learning Task-Agnostic Exploration

abstract: Common approaches for task-agnostic exploration learn tabula-rasa --the agent assumes isolated environments and no prior knowledge or experience. However, in the real world, agents learn in many environments and always come with prior experiences as they explore new ones. Exploration is a lifelong process. In this paper, we propose a paradigm change in the formulation and evaluation of task-agnostic exploration. In this setup, the agent first learns to explore across many environments without any extrinsic goal in a task-agnostic manner. Later on, the agent effectively transfers the learned exploration policy to better explore new environments when solving tasks. In this context, we evaluate several baseline exploration strategies and present a simple yet effective approach to learning task-agnostic exploration policies. Our key idea is that there are two components of exploration: (1) an agent-centric component encouraging exploration of unseen parts of the environment based on an agent's belief; (2) an environment-centric component encouraging exploration of inherently interesting objects. We show that our formulation is effective and provides the most consistent exploration across several training-testing environment pairs. We also introduce benchmarks and metrics for evaluating task-agnostic exploration strategies. The source code is available at https://github.com/sparisi/cbet/.


title: ESASky SSOSS: Solar System Object Search Service and the case of Psyche

abstract: We introduce in this work the Solar System Object Search Service (SSOSS), a service aimed at providing the scientific community with a search service for all potential detections of SSOs among the ESA astronomy archival imaging data. We illustrate its functionalities using the case of asteroid (16) Psyche, for which no information in the far-IR (70-500 {\mu}m) has previously been reported, to derive its thermal properties in preparation for the upcoming NASA Psyche mission. This service performs a geometrical cross-match of the orbital path of each object with respect to the public high-level imaging footprints stored in the ESA archives. For this first release, three missions were chosen: XMM-Newton, the Hubble Space Telescope (HST), and Herschel Observatory. We present a catalog listing all potential detections of asteroids within estimated limiting magnitude or flux limit in Herschel, XMM-Newton, and HST archival imaging data, including 909 serendipitous detections in Herschel images, 985 in XMM-Newton Optical Monitor camera images, and over 32,000 potential serendipitous detections in HST images. We also present a case study: the analysis of the thermal properties of Psyche from four serendipitous Herschel detections, combined with previously published thermal IR measurements. We see strong evidence for an unusual drop in (hemispherical spectral) emissivity, from 0.9 at 100 {\mu}m down to about 0.6 at 350 {\mu}m, followed by a possible but not well-constrained increase towards 500 {\mu}m, comparable to what was found for Vesta. The combined thermal data set puts a strong constraint on Psyche's thermal inertia (between 20 to 80$J m^{-2} s^{-1/2} K^{-1}$) and favours an intermediate to low level surface roughness (below 0.4 for the rms of surface slopes).


title: An optimization model for renewal scheduling and traffic flow routing

abstract: This document is the third sub-report from the research project SATT (Samplanering av trafikp{\aa}verkande {\aa}tg\"arder och trafikfl\"oden, modellstudie / Coordinated planning of temporary capacity restrictions and traffic flows, model study). The report summarizes the modelling alternatives that have been considered. The main result of the model study is that we propose a bi-level approach for handling the two parts of the problem, i.e. the scheduling of renewal projects and the subsequent adjustments of railway traffic flow. The contributions are: (1) a mixed integer formulation for scheduling project tasks, and (2) a network flow formulation for establishing the possible volumes of railway traffic during the imposed capacity restrictions of these project tasks. The intended usage of the model is for economical planning of a specific production year, which takes place before the timetabling process starts. This document introduces the problem and gives a full description of (1) along with results from computational experiments that have been conducted with this model. An accompanying report gives the details of the final formulation of (2).


title: GPR1200: A Benchmark for General-Purpose Content-Based Image Retrieval

abstract: Even though it has extensively been shown that retrieval specific training of deep neural networks is beneficial for nearest neighbor image search quality, most of these models are trained and tested in the domain of landmarks images. However, some applications use images from various other domains and therefore need a network with good generalization properties - a general-purpose CBIR model. To the best of our knowledge, no testing protocol has so far been introduced to benchmark models with respect to general image retrieval quality. After analyzing popular image retrieval test sets we decided to manually curate GPR1200, an easy to use and accessible but challenging benchmark dataset with a broad range of image categories. This benchmark is subsequently used to evaluate various pretrained models of different architectures on their generalization qualities. We show that large-scale pretraining significantly improves retrieval performance and present experiments on how to further increase these properties by appropriate fine-tuning. With these promising results, we hope to increase interest in the research topic of general-purpose CBIR.


title: Leaky Integrate-and-Fire Mechanism in Exciton-Polariton Condensates for Photonic Spiking Neurons

abstract: This paper introduces a new approach to neuromorphic photonics in which microcavities exhibiting strong exciton-photon interaction may serve as building blocks of optical spiking neurons. The experimental results demonstrate the intrinsic property of exciton-polaritons to resemble the Leaky Integrate-and-Fire spiking mechanism. It is shown that exciton-polariton microcavities when non-resonantly pumped with a pulsed laser exhibit leaky-integration due to relaxation of the excitonic reservoir, threshold-and-fire mechanism due to transition to Bose-Einstein condensate, and resetting due to stimulated emission of photons. These effects, evidenced in photoluminescence characteristics, arise within sub-ns timescales. The presented approach provides means for energy-efficient ultrafast processing of spike-like laser pulses at the level below 1 pJ/spike.


title: An Architecture for Meeting Quality-of-Service Requirements in Multi-User Quantum Networks

abstract: Quantum communication can enhance internet technology by enabling novel applications that are provably impossible classically. The successful execution of such applications relies on the generation of quantum entanglement between different users of the network which meets stringent performance requirements. Alongside traditional metrics such as throughput and jitter, one must ensure the generated entanglement is of sufficiently high quality. Meeting such performance requirements demands a careful orchestration of many devices in the network, giving rise to a fundamentally new scheduling problem. Furthermore, technological limitations of near-term quantum devices impose significant constraints on scheduling methods hoping to meet performance requirements. In this work, we propose the first end-to-end design of a centralized quantum network with multiple users that orchestrates the delivery of entanglement which meets quality-of-service (QoS) requirements of applications. We achieve this by using a centrally constructed schedule that manages usage of devices and ensures the coordinated execution of different quantum operations throughout the network. We use periodic task scheduling and resource-constrained project scheduling techniques, including a novel heuristic, to construct the schedules. Our simulations of four small networks using hardware-validated network parameters, and of a real-world fiber topology using futuristic parameters, illustrate trade-offs between traditional and quantum performance metrics.


title: Structural and magnetic investigation of the interfaces of $\mathrm{Fe_3O_4/MgO(001)}$ with and without NiO interlayer

abstract: We present an investigation on the structural and magnetic properties of the interfaces of $\mathrm{Fe_3O_4/MgO(001)}$ and $\mathrm{Fe_3O_4/NiO/MgO(001)}$ by extracting cation-selective magnetooptical depth profiles by means of x-ray magnetic reflectivity (XRMR) in combination with charge-transfer multiplet simulations of x-ray magnetic circular dichroism (XMCD) data. For $\mathrm{Fe_3O_4/MgO(001)}$, the magnetooptical depth profiles at the $\mathrm{Fe^{2+}_{oct}}$ and the $\mathrm{Fe^{3+}_{oct}}$ resonant energies follow exactly the structural profile, while the magnetooptical depth profile at the $\mathrm{Fe^{3+}_{tet}}$ resonance is offset by $3.2\pm1.3\,$\r{A} from the interface, consistent with a B-site interface termination of $\mathrm{Fe_3O_4}$ with fully intact magnetic order. In contrast, for $\mathrm{Fe_3O_4/NiO(001)}$, the magnetooptical depth profiles at the $\mathrm{Fe^{2+}_{oct}}$ and the $\mathrm{Ni^{2+}}$ resonances agree with the structural profile, but the interface positions of the magnetooptical depth profiles at the $\mathrm{Fe^{3+}_{oct}}$ and the $\mathrm{Fe^{3+}_{tet}}$ resonances are laterally shifted by $3.3\pm 1.4\,$\r{A} and $2.7\pm0.9\,$\r{A}, respectively, not consistent with a magnetically ordered stoichiometric interface. This may be related to an intermixed $\mathrm{(Ni,Fe)O}$ layer at the interface. The magnetooptical depth profiles at the Ni $L_3$ edge reveal uncompensated magnetic moments throughout the NiO film.


title: Manifestation of the anisotropic properties of the molecular J-aggregate shell in optical spectra of plexcitonic nanoparticles

abstract: The theoretical studies of light absorption and scattering spectra of the plexcitonic two-layer triangular nanoprisms and three-layer nanospheres are reported. The optical properties of such metal-organic core--shell and core--double-shell nanostructures were previously explained within the framework of pure isotropic models for describing their outer excitonic shell. In this work, we show that the anisotropy of the excitonic shell permittivity can drastically affect the optical spectra of such hybrid nanostructures. This fact is confirmed by directly comparing our theory with some available experimental data, which cannot be treated using conventional isotropic shell models. We have analyzed the influence of the shell anisotropy on the optical spectra and proposed a type of hybrid nanostructure that seems most convenient for experimental observation of the effects associated with the anisotropy of the excitonic shell. A strong dependence of the anisotropic properties of the J-aggregate shell on the material of the intermediate spacer layer is demonstrated. This allows proposing a new way to effectively control the optical properties of metal-organic nanostructures by selecting the spacer material. Our results extend the understanding of physical effects in optics of plexcitonic nanostructures to more complex systems with the anisotropic and multi-excitonic properties of their molecular aggregate shell.


title: Filopodia rotate and coil by actively generating twist in their actin shaft

abstract: Filopodia are actin-rich structures, present on the surface of practically every known eukaryotic cell. These structures play a pivotal role in specific cell-cell and cell-matrix interactions by allowing cells to explore their environment, generate mechanical forces, perform chemical signaling, or convey signals via intercellular tunneling nano-bridges. The dynamics of filopodia appear quite complex as they exhibit a rich behavior of buckling, pulling, length and shape changes. Here, we show that filopodia additionally explore their 3D extracellular space by combining growth and shrinking with axial twisting and buckling of their actin rich core. Importantly, the actin core inside filopodia performs a twisting or spinning motion which is observed for a range of highly distinct and cognate cell types spanning from earliest development to highly differentiated tissue cells. Non-equilibrium physical modeling of actin and myosin confirm that twist, and hence rotation, is an emergent phenomenon of active filaments confined in a narrow channel which points to a generic mechanism present in all cells. Our measurements confirm that filopodia exert traction forces and form helical buckles in a range of different cell types that can be ascribed to accumulation of sufficient twist. These results lead us to conclude that activity induced twisting of the actin shaft is a general mechanism underlying fundamental functions of filopodia.


title: Neutrino propagation when mass eigenstates and decay eigenstates mismatch

abstract: We point out that the Hermitian and anti-Hermitian components of the effective Hamiltonian for decaying neutrinos cannot be simultaneously diagonalized by unitary transformations for all matter densities. We develop a formalism for the two-flavor neutrino propagation through matter of uniform density, for neutrino decay to invisible states. Employing a resummation of the Zassenhaus expansion, we obtain compact analytic expressions for neutrino survival and conversion probabilities, to first and second order in the "mismatch parameter" $\bar{\gamma}$.


title: Robot Skill Adaptation via Soft Actor-Critic Gaussian Mixture Models

abstract: A core challenge for an autonomous agent acting in the real world is to adapt its repertoire of skills to cope with its noisy perception and dynamics. To scale learning of skills to long-horizon tasks, robots should be able to learn and later refine their skills in a structured manner through trajectories rather than making instantaneous decisions individually at each time step. To this end, we propose the Soft Actor-Critic Gaussian Mixture Model (SAC-GMM), a novel hybrid approach that learns robot skills through a dynamical system and adapts the learned skills in their own trajectory distribution space through interactions with the environment. Our approach combines classical robotics techniques of learning from demonstration with the deep reinforcement learning framework and exploits their complementary nature. We show that our method utilizes sensors solely available during the execution of preliminarily learned skills to extract relevant features that lead to faster skill refinement. Extensive evaluations in both simulation and real-world environments demonstrate the effectiveness of our method in refining robot skills by leveraging physical interactions, high-dimensional sensory data, and sparse task completion rewards. Videos, code, and pre-trained models are available at http://sac-gmm.cs.uni-freiburg.de.


title: Quantum states interrogation using a pre-shaped free electron wavefunction

abstract: We present a comprehensive theory for interrogation of the quantum state of a two-level system (TLS) based on a free-electron - bound-electron resonant interaction scheme. The scheme is based on free electrons, whose quantum electron wavefunction is pre-shaped or optically modulated by lasers in an electron microscope setup and then inelastically scattered by a quantum TLS target (e.g., atom, quantum dot, crystal defect center, etc.) upon traversing in proximity to the target. Measurement of the post-interaction energy spectrum of the electrons, probes and quantifies the full Bloch sphere parameters of a pre-excited TLS and enables coherent control of the qubit states. The exceptional advantage of this scheme over laser-based ones is the atomic-scale spatial resolution of addressing individual TLS targets. Thus, this scheme opens new horizons for electron microscopy in material interrogation and quantum information technology.


title: Scene Graph Generation with Geometric Context

abstract: Scene Graph Generation has gained much attention in computer vision research with the growing demand in image understanding projects like visual question answering, image captioning, self-driving cars, crowd behavior analysis, activity recognition, and more. Scene graph, a visually grounded graphical structure of an image, immensely helps to simplify the image understanding tasks. In this work, we introduced a post-processing algorithm called Geometric Context to understand the visual scenes better geometrically. We use this post-processing algorithm to add and refine the geometric relationships between object pairs to a prior model. We exploit this context by calculating the direction and distance between object pairs. We use Knowledge Embedded Routing Network (KERN) as our baseline model, extend the work with our algorithm, and show comparable results on the recent state-of-the-art algorithms.


title: A framework for meta-analysis through standardized survival curves

abstract: Meta-analyses of survival studies aim to reveal the variation of an effect measure of interest over different studies and present a meaningful summary. They must address between study heterogeneity in several dimensions and eliminate spurious sources of variation. Forest plots of the usual (adjusted) hazard ratios are fraught with difficulties from this perspective since both the magnitude and interpretation of these hazard ratios depend on factors ancillary to the true study-specific exposure effect. These factors generally include the study duration, the censoring patterns within studies, the covariates adjusted for and their distribution over exposure groups. Ignoring these mentioned features and accepting implausible hidden assumptions may critically affect interpretation of the pooled effect measure. Risk differences or restricted mean effects over a common follow-up interval and balanced distribution of a covariate set are natural candidates for exposure evaluation and possible treatment choice. In this paper, we propose differently standardized survival curves over a fitting time horizon, targeting various estimands with their own transportability. With each type of standardization comes a given interpretation within studies and overall, under stated assumptions. These curves can in turn be summarized by standardized study-specific contrasts, including hazard ratios with more consistent meaning. We prefer forest plots of risk differences at well chosen time points. Our case study examines overall survival among anal squamous cell carcinoma patients, expressing the tumor marker $p16^{INK4a}$ or not, based on the individual patient data of six studies.


title: The Pacific Ocean Neutrino Experiment

abstract: Neutrino telescopes are unrivaled tools to explore the Universe at its most extreme. The current generation of telescopes has shown that very high energy neutrinos are produced in the cosmos, even with hints of their possible origin, and that these neutrinos can be used to probe our understanding of particle physics at otherwise inaccessible regimes. The fluxes, however, are low, which means newer, larger telescopes are needed. Here we present the Pacific Ocean Neutrino Experiment, a proposal to build a multi-cubic-kilometer neutrino telescope off the coast of Canada. The idea builds on the experience accumulated by previous sea-water missions, and the technical expertise of Ocean Networks Canada that would facilitate deploying such a large infrastructure. The design and physics potential of the first stage and a full-scale P-ONE are discussed.


title: Automaticity of uniformly recurrent substitutive sequences

abstract: We provide a complete characterisation of automaticity of uniformly recurrent substitutive sequences in terms of the incidence matrix of the return substitution of an underlying purely substitutive sequence. This gives an answer to a recent question of Allouche, Dekking and Queff\'elec in the uniformly recurrent case. We also show that the same criterion characterises automaticity of minimal substitutive systems.


title: Friezes for a pair of pants

abstract: Frieze patterns are numerical arrangements that satisfy a local arithmetic rule. These arrangements are actively studied in connection to the theory of cluster algebras. In the setting of cluster algebras, the notion of a frieze pattern can be generalized, in particular to a frieze associated with a bordered marked surface endowed with a decorated hyperbolic metric. We study friezes associated with a pair of pants, interpreting entries of the frieze as lambda-lengths of arcs connecting the marked points. We prove that all positive integral friezes over such surfaces are unitary, i.e. they arise from triangulations with all edges having unit lambda-lengths.


title: Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach

abstract: Business process monitoring approaches have thus far mainly focused on monitoring the execution of a process with respect to a single process model. However, in some cases it is necessary to consider multiple process specifications simultaneously. In addition, these specifications can be procedural, declarative, or a combination of both. For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered. In some cases, these constraints may be incompatible with clinical guidelines, therefore requiring the violation of either the guidelines or the constraints. In this paper, we propose a solution for monitoring the interplay of hybrid process specifications expressed as a combination of (data-aware) Petri nets and temporal logic rules. During the process execution, if these specifications are in conflict with each other, it is possible to violate some of them. The monitoring system is equipped with a violation cost model according to which the system can recommend the next course of actions in a way that would either avoid possible violations or minimize the total cost of violations.


title: Warm Dark Matter Constraints Using Milky-Way Satellite Observations and Subhalo Evolution Modeling

abstract: Warm dark matter (WDM) can potentially explain small-scale observations that currently challenge the cold dark matter (CDM) model, as warm particles suppress structure formation due to free-streaming effects. Observing small-scale matter distribution provides a valuable way to distinguish between CDM and WDM. In this work, we use observations from the Dark Energy Survey and PanSTARRS1, which observe 270 Milky-Way satellites after completeness corrections. We test WDM models by comparing the number of satellites in the Milky Way with predictions derived from the Semi-Analytical SubHalo Inference ModelIng (SASHIMI) code, which we develop based on the extended Press-Schechter formalism and subhalos' tidal evolution prescription. We robustly rule out WDM with masses lighter than 4.4 keV at 95% confidence level for the Milky-Way halo mass of $10^{12} M_\odot$. The limits are a weak function of the (yet uncertain) Milky-Way halo mass, and vary as $m_{\rm WDM}>3.6$-$5.1$ keV for $(0.6$-$2.0) \times 10^{12} M_\odot$. For the sterile neutrinos that form a subclass of WDM, we obtain the constraints of $m_{\nu_s}>11.6$ keV for the Milky-Way halo mass of $10^{12} M_{\odot}$. These results based on SASHIMI do not rely on any assumptions of galaxy formation physics or are not limited by numerical resolution. The models, therefore, offer a robust and fast way to constrain the WDM models. By applying a satellite forming condition, however, we can rule out the WDM mass lighter than 9.0 keV for the Milky-Way halo mass of $10^{12} M_\odot$.


title: TunBERT: Pretrained Contextualized Text Representation for Tunisian Dialect

abstract: Pretrained contextualized text representation models learn an effective representation of a natural language to make it machine understandable. After the breakthrough of the attention mechanism, a new generation of pretrained models have been proposed achieving good performances since the introduction of the Transformer. Bidirectional Encoder Representations from Transformers (BERT) has become the state-of-the-art model for language understanding. Despite their success, most of the available models have been trained on Indo-European languages however similar research for under-represented languages and dialects remains sparse. In this paper, we investigate the feasibility of training monolingual Transformer-based language models for under represented languages, with a specific focus on the Tunisian dialect. We evaluate our language model on sentiment analysis task, dialect identification task and reading comprehension question-answering task. We show that the use of noisy web crawled data instead of structured data (Wikipedia, articles, etc.) is more convenient for such non-standardized language. Moreover, results indicate that a relatively small web crawled dataset leads to performances that are as good as those obtained using larger datasets. Finally, our best performing TunBERT model reaches or improves the state-of-the-art in all three downstream tasks. We release the TunBERT pretrained model and the datasets used for fine-tuning.


title: Group equivariant neural posterior estimation

abstract: Simulation-based inference with conditional neural density estimators is a powerful approach to solving inverse problems in science. However, these methods typically treat the underlying forward model as a black box, with no way to exploit geometric properties such as equivariances. Equivariances are common in scientific models, however integrating them directly into expressive inference networks (such as normalizing flows) is not straightforward. We here describe an alternative method to incorporate equivariances under joint transformations of parameters and data. Our method -- called group equivariant neural posterior estimation (GNPE) -- is based on self-consistently standardizing the "pose" of the data while estimating the posterior over parameters. It is architecture-independent, and applies both to exact and approximate equivariances. As a real-world application, we use GNPE for amortized inference of astrophysical binary black hole systems from gravitational-wave observations. We show that GNPE achieves state-of-the-art accuracy while reducing inference times by three orders of magnitude.


title: Connection intervals in multi-scale dynamic networks

abstract: We consider a hybrid spatial communication system in which mobile nodes can connect to static sinks in a bounded number of intermediate relaying hops. We describe the distribution of the connection intervals of a typical mobile node, i.e., the intervals of uninterrupted connection to the family of sinks. This is achieved in the limit of many hops, sparse sinks and growing time horizons. We identify three regimes illustrating that the limiting distribution depends sensitively on the scaling of the time horizon.