title: An elementary proof of a lower bound for the inverse of the star discrepancy

abstract: A central problem in discrepancy theory is the challenge of evenly distributing points $\left\{x_1, \dots, x_n \right\}$ in $[0,1]^d$. Suppose a set is so regular that for some $\varepsilon> 0$ and all $y \in [0,1]^d$ the sub-region $[0,y] = [0,y_1] \times \dots \times [0,y_d]$ contains a number of points nearly proportional to its volume and $$\forall~y \in [0,1]^d \qquad \left| \frac{1}{n} \# \left\{1 \leq i \leq n: x_i \in [0,y] \right\} - \mbox{vol}([0,y]) \right| \leq \varepsilon,$$ how large does $n$ have to be depending on $d$ and $\varepsilon$? We give an elementary proof of the currently best known result, due to Hinrichs, showing that $n \gtrsim d \cdot \varepsilon^{-1}$.


title: Flat-band-induced many-body interactions and exciton complexes in a layered semiconductor

abstract: Interactions among a collection of particles generate many-body effects in solids resulting in striking modifications of material properties. The heavy carrier mass that yields strong interactions and gate control of carrier density over a wide range, make two-dimensional semiconductors an exciting playground to explore many-body physics. The family of III-VI metal monochalcogenides emerges as a new platform for this purpose due to its excellent optical properties and the flat valence band dispersion with a Mexican-hat-like inversion. In this work, we present a complete study of charge-tunable excitons in few-layer InSe by photoluminescence spectroscopy. From the optical spectra, we establish that free excitons in InSe are more likely to be captured by ionized donors due to the large exciton Bohr radius, leading to the formation of bound exciton complexes. Surprisingly, a pronounced redshift of the exciton energy accompanied by a decrease of the exciton binding energy upon hole-doping reveals a significant band gap renormalization and dynamical screening induced by the presence of the Fermi reservoir. Our findings establish InSe as a reproducible and potentially manufacturable platform to explore electron correlation phenomena without the need for twist-angle engineering.


title: Propagation Map Reconstruction via Interpolation Assisted Matrix Completion

abstract: Constructing a propagation map from a set of scattered measurements finds important applications in many areas, such as localization, spectrum monitoring and management. Classical interpolation-type methods have poor performance in regions with very sparse measurements. Recent advance in matrix completion has the potential to reconstruct a propagation map from sparse measurements, but the spatial resolution is limited. This paper proposes to integrate interpolation with matrix completion to exploit both the spatial correlation and the potential low rank structure of the propagation map. The proposed method first enriches matrix observations using interpolation, and develops the statistics of the interpolation error based on a local polynomial regression model. Then, two uncertainty-aware matrix completion algorithms are developed to exploit the interpolation error statistics. It is numerically demonstrated that the proposed method outperforms Kriging and other state-of-the-art schemes, and reduces the mean squared error (MSE) of propagation map reconstruction by 10%-50% for a medium to large number of measurements.


title: Wave manipulation via delay-engineered periodic potentials

abstract: We discuss the semi-classical transverse trapping of waves by means of an inhomogeneous gauge field. In the proposed scheme a temporally-periodic perturbation is shifted in time, the imparted delay being dependent on the transverse direction. We show that, due to the Kapitza effect, an effective potential proportional to the square of the transverse derivative of the delay arises. On a more physical ground, the delay induces a transversely-varying periodic force acting on the wave, in turn providing a phase delay owing to the local modulation of the kinetic energy. Our results are quite generic and can find application in several fields, ranging from cold atoms to optics: accordingly, an experimental proof-of-principle is provided using an optical set-up based upon fiber loops.


title: PASTA-GAN++: A Versatile Framework for High-Resolution Unpaired Virtual Try-on

abstract: Image-based virtual try-on is one of the most promising applications of human-centric image generation due to its tremendous real-world potential. In this work, we take a step forwards to explore versatile virtual try-on solutions, which we argue should possess three main properties, namely, they should support unsupervised training, arbitrary garment categories, and controllable garment editing. To this end, we propose a characteristic-preserving end-to-end network, the PAtch-routed SpaTially-Adaptive GAN++ (PASTA-GAN++), to achieve a versatile system for high-resolution unpaired virtual try-on. Specifically, our PASTA-GAN++ consists of an innovative patch-routed disentanglement module to decouple the intact garment into normalized patches, which is capable of retaining garment style information while eliminating the garment spatial information, thus alleviating the overfitting issue during unsupervised training. Furthermore, PASTA-GAN++ introduces a patch-based garment representation and a patch-guided parsing synthesis block, allowing it to handle arbitrary garment categories and support local garment editing. Finally, to obtain try-on results with realistic texture details, PASTA-GAN++ incorporates a novel spatially-adaptive residual module to inject the coarse warped garment feature into the generator. Extensive experiments on our newly collected UnPaired virtual Try-on (UPT) dataset demonstrate the superiority of PASTA-GAN++ over existing SOTAs and its ability for controllable garment editing.


title: Some compact-like properties in non-archimedean functional analysis

abstract: In this paper, we shall prove some properties of local compactoids and c-compact sets. At first, we define some concepts similar to the local compactoidity or the c-compactness, and study relationships between these concepts and the original ones. As a result, we find a characterization of the local compactoidity when its coefficient field is spherically complete. Moreover, from the point of view of the minimum principle, we give a necessary and sufficient condition for the c-compactness under a suitable condition. Secondly, we will try a new approach to a non-complete local compactoid, which gives us a different perspective than before.


title: An improved bound on Legendre approximation

abstract: In this paper, new relations between the derivatives of the Legendre polynomials are obtained, and by these relations, new upper bounds for the Legendre coefficients of differentiable functions are presented. These upper bounds are sharp and cover more categories of differentiable functions. Moreover, new and sharper bounds for the approximation error of the partial sums of Legendre polynomials are provided. Numerical examples are given to validate our theoretical results.


title: Partial Selfish Mining for More Profits

abstract: Mining attacks aim to gain an unfair share of extra rewards in the blockchain mining. Selfish mining can preserve discovered blocks and strategically release them, wasting honest miners' computing resources and getting higher profits. Previous mining attacks either conceal the mined whole blocks (hiding or discarding), or release them completely in a particular time slot (e.g., causing a fork). In this paper, we extend the mining attack's strategy space to partial block sharing, and propose a new and feasible Partial Selfish Mining (PSM) attack. We show that by releasing partial block data publicly and attracting rational miners to work on attacker's private branch, attackers and these attracted miners can gain an unfair share of mining rewards. We then propose Advanced PSM (A-PSM) attack that can further improve attackers' profits to be no less than the selfish mining. Both theoretical and experimental results show that PSM attackers can be more profitable than selfish miners under a certain range of mining power and network conditions. A-PSM attackers can gain even higher profits than both selfish mining and honest mining with attracted rational miners.


title: AutoTransition: Learning to Recommend Video Transition Effects

abstract: Video transition effects are widely used in video editing to connect shots for creating cohesive and visually appealing videos. However, it is challenging for non-professionals to choose best transitions due to the lack of cinematographic knowledge and design skills. In this paper, we present the premier work on performing automatic video transitions recommendation (VTR): given a sequence of raw video shots and companion audio, recommend video transitions for each pair of neighboring shots. To solve this task, we collect a large-scale video transition dataset using publicly available video templates on editing softwares. Then we formulate VTR as a multi-modal retrieval problem from vision/audio to video transitions and propose a novel multi-modal matching framework which consists of two parts. First we learn the embedding of video transitions through a video transition classification task. Then we propose a model to learn the matching correspondence from vision/audio inputs to video transitions. Specifically, the proposed model employs a multi-modal transformer to fuse vision and audio information, as well as capture the context cues in sequential transition outputs. Through both quantitative and qualitative experiments, we clearly demonstrate the effectiveness of our method. Notably, in the comprehensive user study, our method receives comparable scores compared with professional editors while improving the video editing efficiency by \textbf{300\scalebox{1.25}{$\times$}}. We hope our work serves to inspire other researchers to work on this new task. The dataset and codes are public at \url{https://github.com/acherstyx/AutoTransition}.


title: On Selecting and Conditioning in Multiple Testing and Selective Inference

abstract: We investigate a class of methods for selective inference that condition on a selection event. Such methods follow a two-stage process. First, a data-driven (sub)collection of hypotheses is chosen from some large universe of hypotheses. Subsequently, inference takes place within this data-driven collection, conditioned on the information that was used for the selection. Examples of such methods include basic data splitting, as well as modern data carving methods and post-selection inference methods for lasso coefficients based on the polyhedral lemma. In this paper, we adopt a holistic view on such methods, considering the selection, conditioning, and final error control steps together as a single method. From this perspective, we demonstrate that multiple testing methods defined directly on the full universe of hypotheses are always at least as powerful as selective inference methods based on selection and conditioning. This result holds true even when the universe is potentially infinite and only implicitly defined, such as in the case of data splitting. We provide a comprehensive theoretical framework, along with insights, and delve into several case studies to illustrate instances where a shift to a non-selective or unconditional perspective can yield a power gain.


title: On the stability of tidal streams in action space

abstract: In the Gaia era it is increasingly apparent that traditional static, parameterized models are insufficient to describe the mass distribution of our complex, dynamically evolving Milky Way (MW). In this work, we compare different time-evolving and time-independent representations of the gravitational potentials of simulated MW-mass galaxies from the FIRE-2 suite of cosmological baryonic simulations. Using these potentials, we calculate actions for star particles in tidal streams around three galaxies with varying merger histories at each snapshot from 7 Gyr ago to the present day. We determine the action-space coherence preserved by each model using the Kullback-Leibler Divergence to gauge the degree of clustering in actions and the relative stability of the clusters over time. We find that all models produce a clustered action space for simulations with no significant mergers. However, a massive (mass ratio prior to infall more similar than 1:8) interacting galaxy not present in the model will result in mischaracterized orbits for stars most affected by the interaction. The locations of the action space clusters (i.e. the orbits of the stream stars) are only preserved by the time-evolving model, while the time-independent models can lose significant amounts of information as soon as 0.5--1 Gyr ago, even if the system does not undergo a significant merger. Our results imply that reverse-integration of stream orbits in the MW using a fixed potential is likely to give incorrect results if integrated longer than 0.5 Gyr into the past.


title: The symbology of Feynman integrals from twistor geometries

abstract: We study the symbology of planar Feynman integrals in dimensional regularization by considering geometric configurations in momentum twistor space corresponding to their leading singularities (LS). Cutting propagators in momentum twistor space amounts to intersecting lines associated with loop and external dual momenta, including the special line associated with the point at infinity, which breaks dual conformal symmetry. We show that cross-ratios of intersection points on these lines, especially those on the infinity line, naturally produce symbol letters for Feynman integrals in $D=4-2\epsilon$, which include and generalize their LS. At one loop, we obtain all symbol letters using intersection points from quadruple cuts for integrals up to pentagon kinematics with two massive corners, which agree perfectly with canonical differential equation (CDE) results. We then obtain all two-loop letters, for up to four-mass box and one-mass pentagon kinematics, by considering more intersections arising from two-loop cuts. Finally we comment on how cluster algebras appear from this construction, and importantly how we may extend the method to non-planar integrals.


title: Early estimates on monkeypox incubation period, generation time and reproduction number in Italy, May-June 2022

abstract: We analyzed the first 255 PCR-confirmed cases of monkeypox occurred in Italy in 2022. Preliminary estimates indicate: mean incubation period of 9.1 days (95%CI of the mean: 6.5-10.9); mean generation time of 12.5 days (95%CI of the mean: 7.5-17.3); reproduction number in the MSM community of 2.43 (95%CI: 1.82-3.26).


title: Equal rank local theta correspondence as a strong Morita equivalence

abstract: Let (G,H) be one of the equal rank reductive dual pairs (Mp_{2n},O_{2n+1}) or (U_n,U_n) over a non-archimedean local field of characteristic zero. It is well-known that the theta correspondence establishes a bijection between certain subsets, say R(G) and R(H), of the tempered duals of G and H. We prove that this bijection arises from an equivalence between the categories of representations of two C*-algebras whose spectra are R(G) and R(H). This equivalence is implemented by the induction functor associated to a Morita equivalence bimodule (in the sense of Rieffel) which we construct using the oscillator representation. As an immediate corollary, we deduce that the bijection is functorial and continuous with respect to weak inclusion. We derive further consequences regarding the transfer of characters and preservation of formal degrees.


title: Nanofluid Heat Transfer in Parallel Plates with Variable Magnetic Field

abstract: Uncertainties plays an important character in almost every problem which generally not considered and ideal cases are studied. As such, the consequences cost more and need model prediction. In view of these, this paper investigates nanofluid heat transfer problem under a variable magnetic field with uncertain bounded parameters and analyzed effect of uncertainness over the field variables of the system. The variations of velocity, temperature and concentration profiles with the uncertainness for the said problem are reported here. The main challenge one face is the presence of uncertainties make the system complicated to study. So, alternate idea should be developed such that one can overcome the same. Hence, the involved uncertain parameters are considered as intervals and one parametric mapping technique is used for the same. For detail analysis of the said problem a semi analytical method viz. homotopy perturbation method is adapted with the transformation technique. Here, the suction parameter, squeeze number and Hartmann numbers are considered as intervals. Then considering different combinations of these parameters the problem is solved and sensitiveness of the same for the said problem is analysed. Finally, based on the sensitiveness, a relation of between the uncertain parameters with the mentioned system has been established.


title: Systematic assessment of the effects of space averaging and time averaging on weather forecast skill

abstract: Intuitively, one would expect a more skillful forecast if predicting weather averaged over one week instead of the weather averaged over one day, and similarly for different spatial averaging areas. However, there are few systematic studies of averaging and forecast skill with modern forecasts, and it is therefore not clear how much improvement in forecast performance is produced via averaging. Here we present a direct investigation of averaging effects, based on data from operational numerical weather forecasts. Data is analyzed for precipitation and surface temperature, for lead times of roughly 1 to 7 days, and for time- and space-averaging diameters of 1 to 7 days and 100 to 4500 km, respectively. For different geographic locations, the effects of time- or space-averaging can be different, and while no clear geographical pattern is seen for precipitation, a clear spatial pattern is seen for temperature. For temperature, in general, time averaging is most effective near coastlines, also effective over land, and least effective over oceans. Based on all locations globally, time averaging was less effective than one might expect. To help understand why time averaging may sometimes be minimally effective, a stochastic model is analyzed as a synthetic weather time series, and analytical formulas are presented for the decorrelation time. In effect, while time averaging creates a time series that is visually smoother, it does not necessarily cause a substantial increase in the predictability of the time series.


title: An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications

abstract: Correctness and robustness are essential for logic synthesis applications, but they are often only tested with a limited set of benchmarks. Moreover, when the application fails on a large benchmark, the debugging process may be tedious and time-consuming. In some fields such as compiler construction, automatic testing and debugging tools are well-developed to support developers and provide minimal guarantees on program quality. In this paper, we adapt fuzz testing and delta debugging techniques and specialize them for gate-level netlists commonly used in logic synthesis. Our toolkit improves over similar tools specialized for the AIGER format by supporting other gate-level netlist formats and by allowing a tight integration to provide 10x speed-up. Experimental results show that our fuzzer captures defects in mockturtle, ABC, and LSOracle with 10x smaller testcases and our testcase minimizer extracts minimal failure-inducing cores using 2x fewer oracle calls.


title: Temperature Effects on Core g-modes of Neutron Stars

abstract: Neutron stars provide a unique physical laboratory to study the properties of matter at high density. We study a diagnostic of the composition of high-density matter, namely, g-mode oscillations, which are driven by buoyancy forces. These oscillations can be excited by tidal forces and couple to gravitational waves. We extend prior results for the g-mode spectrum of cold neutron star matter to temperatures that are expected to be achieved in neutron star mergers using a parameterization for finite-temperature effects recently proposed by Raithel, \"Ozel and Psaltis. We find that the g-modes of canonical mass neutron stars ($\approx$1.4$M_{\odot}$) are suppressed at high temperature, and core $g$-modes are supported only in the most massive ($\geq $2$M_{\odot}$) of hot neutron stars.


title: Strongly Lensed Transient Sources: A Review

abstract: The past decades have witnessed a lot of progress in gravitational lensing with two main targets: stars and galaxies (with active galactic nuclei). The success is partially attributed to the continuous luminescence of these sources making the detection and monitoring relatively easy. With the running of ongoing and upcoming large facilities/surveys in various electromagnetic and gravitational-wave bands, the era of time-domain surveys would guarantee constant detection of strongly lensed explosive transient events, for example, supernovae in all types, gamma ray bursts with afterglows in all bands, fast radio bursts and even gravitational waves. Lensed transients have many advantages over the traditional targets in studying the Universe and magnification effect helps to understand the transients themselves at high redshifts. In this review article, basing on the recent achievements in the literature, we summarize the methods of searching for different kinds of lensed transient signals, the latest results on detection and their applications in fundamental physics, astrophysics and cosmology. At the same time, we give supplementary comments as well as prospects of this emerging research direction that may help readers who are interested in entering this field.


title: Three concepts of nilpotence in loops

abstract: We introduce the abstract concept of supernilpotence in loop theory, and relate it to existing concepts, namely, central nilpotence and nilpotence of the multiplication group. We prove that the class of supernilpotence is greater or equal than the class of nilpotence of the multiplication group, and combining existing results, we show that a finite loop is supernilpotent if and only if its multiplication group is nilpotent. We also provide a new exposition of a classical result and crucial ingredient, that loops with a nilpotent multiplication group are centrally nilpotent and admit a prime decomposition.


title: A common origin for the Fundamental Plane of quiescent and star-forming galaxies in the EAGLE simulations

abstract: We use the EAGLE cosmological simulations to perform a comprehensive and systematic analysis of the $z=0.1$ Fundamental Plane (FP), the tight relation between galaxy size, mass and velocity dispersion. We first measure the total mass and velocity dispersion (including both random and rotational motions) within the effective radius to show that simulated galaxies obey a total mass FP that is very close to the virial relation ($<10\%$ deviation), indicating that the effects of non-homology are weak. When we instead use the stellar mass, we find a strong deviation from the virial plane, which is driven by variations in the dark matter content. The dark matter fraction is a smooth function of the size and stellar mass, and thereby sets the coefficients of the stellar mass FP without substantially increasing the scatter. Hence, both star-forming and quiescent galaxies obey the same FP, with equally low scatter (0.02 dex). We employ simulations with a variable stellar initial mass function (IMF) to show that IMF variations have a modest additional effect on this FP. Moreover, when we use luminosity-weighted mock observations of the size and spatially-integrated velocity dispersion, the inferred FP changes only slightly. However, the scatter increases significantly, due to the luminosity-weighting and line-of-sight projection of the velocity dispersions, and measurement uncertainties on the half-light radii. Importantly, we find significant differences between the simulated FP and observations, which likely reflects a systematic difference in the stellar mass distributions. Therefore, we suggest the stellar mass FP offers a simple test for cosmological simulations, requiring minimal post-processing of simulation data.


title: Time to augment self-supervised visual representation learning

abstract: Biological vision systems are unparalleled in their ability to learn visual representations without supervision. In machine learning, self-supervised learning (SSL) has led to major advances in forming object representations in an unsupervised fashion. Such systems learn representations invariant to augmentation operations over images, like cropping or flipping. In contrast, biological vision systems exploit the temporal structure of the visual experience during natural interactions with objects. This gives access to "augmentations" not commonly used in SSL, like watching the same object from multiple viewpoints or against different backgrounds. Here, we systematically investigate and compare the potential benefits of such time-based augmentations during natural interactions for learning object categories. Our results show that time-based augmentations achieve large performance gains over state-of-the-art image augmentations. Specifically, our analyses reveal that: 1) 3-D object manipulations drastically improve the learning of object categories; 2) viewing objects against changing backgrounds is important for learning to discard background-related information from the latent representation. Overall, we conclude that time-based augmentations during natural interactions with objects can substantially improve self-supervised learning, narrowing the gap between artificial and biological vision systems.


title: The Cellwise Minimum Covariance Determinant Estimator

abstract: The usual Minimum Covariance Determinant (MCD) estimator of a covariance matrix is robust against casewise outliers. These are cases (that is, rows of the data matrix) that behave differently from the majority of cases, raising suspicion that they might belong to a different population. On the other hand, cellwise outliers are individual cells in the data matrix. When a row contains one or more outlying cells, the other cells in the same row still contain useful information that we wish to preserve. We propose a cellwise robust version of the MCD method, called cellMCD. Its main building blocks are observed likelihood and a penalty term on the number of flagged cellwise outliers. It possesses good breakdown properties. We construct a fast algorithm for cellMCD based on concentration steps (C-steps) that always lower the objective. The method performs well in simulations with cellwise outliers, and has high finite-sample efficiency on clean data. It is illustrated on real data with visualizations of the results.


title: Enhanced dissipation and blow-up suppression in a chemotaxis-fluid system

abstract: In this paper, we investigate a coupled Patlak-Keller-Segel-Navier-Stokes (PKS-NS) system. We show that globally regular solutions with arbitrary large cell populations exist. The primary blowup suppression mechanism is the shear flow mixing induced enhanced dissipation phenomena.


title: Reflectivity of Venus' dayside disk during the 2020 observation campaign: outcomes and future perspectives

abstract: We performed a unique Venus observation campaign to measure the disk brightness of Venus over a broad range of wavelengths in August and September 2020. The primary goal of the campaign is to investigate the absorption properties of the unknown absorber in the clouds. The secondary goal is to extract a disk mean SO$_2$ gas abundance, whose absorption spectral feature is entangled with that of the unknown absorber at the ultraviolet (UV) wavelengths. A total of 3 spacecraft and 6 ground-based telescopes participated in this campaign, covering the 52 to 1700~nm wavelength range. After careful evaluation of the observational data, we focused on the data sets acquired by 4 facilities. We accomplished our primary goal by analyzing the reflectivity spectrum of the Venus disk over the 283-800 nm wavelengths. Considerable absorption is present in the 350-450 nm range, for which we retrieved the corresponding optical depth by the unknown absorber. The result shows a consistent wavelength dependence of the relative optical depth with that at low latitudes during the Venus flyby by MESSENGER in 2007 (P\'erez-Hoyos et al. 2018), which was expected because the overall disk reflectivity is dominated by low latitudes. Last, we summarize the experience obtained during this first campaign that should enable us to accomplish our second goal in future campaigns.


title: Hypercyclicity of composition operators on discrete weighted Banach spaces

abstract: In this paper, we study the hypercyclic composition operators on weighted Banach spaces of functions defined on discrete metric spaces. We show that the only such composition operators act on the "little" spaces. We characterize the bounded composition operators on the little spaces, as well as provide various necessary conditions for hypercyclicity.


title: Counting the number of non-isotopic Taniguchi semifields

abstract: We investigate the isotopy question for Taniguchi semifields. We give a complete characterization when two Taniguchi semifields are isotopic. We further give precise upper and lower bounds for the total number of non-isotopic Taniguchi semifields, proving that there are around $p^{m+s}$ non-isotopic Taniguchi semifields of size $p^{2m}$ where $s$ is the largest divisor of $m$ with $2s\neq m$. This result proves that the family of Taniguchi semifields is (asymptotically) the biggest known family of semifields of odd order. The key ingredient of the proofs is a technique to determine isotopy that uses group theory to exploit the existence of certain large subgroups of the autotopism group of a semifield.


title: $2$-nodal domain theorems for higher dimensional circle bundles

abstract: We prove that the real parts of equivariant (but non-invariant) eigenfunctions of generic bundle metrics on nontrivial principal $S^1$ bundles over manifolds of any dimension have connected nodal sets and exactly 2 nodal domains. This generalizes earlier results of the authors in the $3$-dimensional case. The failure of the results on for non-free $S^1$ actions is illustrated on even dimensional spheres by one-parameter subgroups of rotations whose fixed point set consists of two antipodal points.


title: On a Dynamic Variant of the Iteratively Regularized Gauss-Newton Method with Sequential Data

abstract: For numerous parameter and state estimation problems, assimilating new data as they become available can help produce accurate and fast inference of unknown quantities. While most existing algorithms for solving those kind of ill-posed inverse problems can only be used with a single instance of the observed data, in this work we propose a new framework that enables existing algorithms to invert multiple instances of data in a sequential fashion. Specifically we will work with the well-known iteratively regularized Gauss-Newton method (IRGNM), a variational methodology for solving nonlinear inverse problems. We develop a theory of convergence analysis for a proposed dynamic IRGNM algorithm in the presence of Gaussian white noise. We combine this algorithm with the classical IRGNM to deliver a practical (hybrid) algorithm that can invert data sequentially while producing fast estimates. Our work includes the proof of well-definedness of the proposed iterative scheme, as well as various error bounds that rely on standard assumptions for nonlinear inverse problems. We use several numerical experiments to verify our theoretical findings, and to highlight the benefits of incorporating sequential data. The context of the numerical experiments comprises various parameter identification problems including a Darcy flow elliptic PDE example, and that of electrical impedance tomography.


title: Modelling Social Context for Fake News Detection: A Graph Neural Network Based Approach

abstract: Detection of fake news is crucial to ensure the authenticity of information and maintain the news ecosystems reliability. Recently, there has been an increase in fake news content due to the recent proliferation of social media and fake content generation techniques such as Deep Fake. The majority of the existing modalities of fake news detection focus on content based approaches. However, most of these techniques fail to deal with ultra realistic synthesized media produced by generative models. Our recent studies find that the propagation characteristics of authentic and fake news are distinguishable, irrespective of their modalities. In this regard, we have investigated the auxiliary information based on social context to detect fake news. This paper has analyzed the social context of fake news detection with a hybrid graph neural network based approach. This hybrid model is based on integrating a graph neural network on the propagation of news and bi directional encoder representations from the transformers model on news content to learn the text features. Thus this proposed approach learns the content as well as the context features and hence able to outperform the baseline models with an f1 score of 0.91 on PolitiFact and 0.93 on the Gossipcop dataset, respectively


title: Sensitivity and constraints to the 2HDM soft-breaking $Z_2$ parameter $m_{12}$

abstract: In this letter we study the specific sensitivity and constraints to the soft breaking $Z_2$ parameter $m_{12}$ of the Two Higgs Doublet Model (2HDM). $m_{12}$ is considered here as an input parameter of the model together with the masses of the Higgs bosons, $m_h$, $m_H$, $m_A$, $m_{H^\pm}$, the ratio of the two Higgs vacuum expectation values, $\tan \beta$, and $\cos(\beta-\alpha)$, with $\alpha$ and $\beta$ the mixing angles of the $\mathcal{CP}$-even and $\mathcal{CP}$-odd Higgs sector, respectively. We explore in particular the sensitivity to $m_{12}$ in the decays of the lightest Higgs boson $h$ to two photons, assuming: 1) that $h$ is the state observed at the LHC at $\sim 125 \ \mathrm{GeV}$, and 2) the $h$ couplings to the SM particles are SM-like, by going to the alignment limit, $\cos(\beta-\alpha) = 0$. The aim of this work is to demonstrate possible constraints on $m_{12}$ from the present measurement of the di-photon signal strength, $\mu_{\gamma \gamma}$. These constraints are relevant in the region of the 2HDM parameter space that is allowed by all the other constraints, specifically, theoretical constraints as well as experimental constraints from LHC Higgs rate measurements, Higgs boson searches, flavor physics and precision observables. The exploration is performed in the four different Yukawa types of 2HDM, where the allowed region by all the other constraints depends on the model type. We also analyze the case that the Higgs-boson mass spectrum accommodates a possible new world average of $m_W$ including the recent CDF measurement.


title: Generalizable multi-task, multi-domain deep segmentation of sparse pediatric imaging datasets via multi-scale contrastive regularization and multi-joint anatomical priors

abstract: Clinical diagnosis of the pediatric musculoskeletal system relies on the analysis of medical imaging examinations. In the medical image processing pipeline, semantic segmentation using deep learning algorithms enables an automatic generation of patient-specific three-dimensional anatomical models which are crucial for morphological evaluation. However, the scarcity of pediatric imaging resources may result in reduced accuracy and generalization performance of individual deep segmentation models. In this study, we propose to design a novel multi-task, multi-domain learning framework in which a single segmentation network is optimized over the union of multiple datasets arising from distinct parts of the anatomy. Unlike previous approaches, we simultaneously consider multiple intensity domains and segmentation tasks to overcome the inherent scarcity of pediatric data while leveraging shared features between imaging datasets. To further improve generalization capabilities, we employ a transfer learning scheme from natural image classification, along with a multi-scale contrastive regularization aimed at promoting domain-specific clusters in the shared representations, and multi-joint anatomical priors to enforce anatomically consistent predictions. We evaluate our contributions for performing bone segmentation using three scarce and pediatric imaging datasets of the ankle, knee, and shoulder joints. Our results demonstrate that the proposed approach outperforms individual, transfer, and shared segmentation schemes in Dice metric with statistically sufficient margins. The proposed model brings new perspectives towards intelligent use of imaging resources and better management of pediatric musculoskeletal disorders.


title: Microcavities integrated in metal halide perovskite light-emitting field-effect transistors

abstract: Metal halide perovskites are materials that show unique characteristics for photovoltaics and light emission. Amplified spontaneous emission and stimulated emission has been shown with these materials, together with electroluminescence in light-emitting diodes and light-emitting transistors. An important achievement that combine stimulated emission and electroluminescence could be the fabrication of electrically driven metal halide perovskite lasers. In this work, the integration of metal halide perovskite light-emitting field-effect transistors with photonic microcavities is proposed. This can lead to the engineering of electrically driven lasers. The microcavities have been designed in order to have the cavity mode at 750 nm, which is the peak wavelength of the electroluminescent spectrum of recently reported MaPbI3-based electroluminescent devices. The optical properties of the photonic microcavities have been simulated by means of the transfer matrix method, considering the wavelength dependent refractive indexes of all the materials involved. The material for the gate is indium tin oxide, while different materials, either inorganic or organic, have been considered for the microcavity architectures.


title: The exterior Dirichlet problem for the homogeneous $k$-Hessian equation

abstract: We study the exterior Dirichlet problem for the homogeneous $k$-Hessian equation. The prescribed asymptotic behavior at infinity of the solution is zero if $k<\frac{n}{2}$, it is $\log|x|+O(1)$ if $k=\frac{n}{2}$ and it is $|x|^{\frac{2k-n}{n}}+O(1)$ if $k>\frac{n}{2}$. By constructing smooth solutions of approximating non-degenerate $k$-Hessian equations with uniform $C^{1,1}$-estimates, we prove the existence part. The uniqueness follows from the comparison theorem and thus the $C^{1,1}$ regularity of the solution of the homogeneous $k$-Hessian equation in the exterior domain is proved. We also prove a uniform positive lower bound of the gradient. As an implication of the $C^{1,1}$ estimates, we derive an almost monotonicity formula along the level set of the approximating solution. In particular, we get an weighted geometric inequality which is a natural generalization of the $k=1$ case.


title: Multi-Forgery Detection Challenge 2022: Push the Frontier of Unconstrained and Diverse Forgery Detection

abstract: In this paper, we present the Multi-Forgery Detection Challenge held concurrently with the IEEE Computer Society Workshop on Biometrics at CVPR 2022. Our Multi-Forgery Detection Challenge aims to detect automatic image manipulations including but not limited to image editing, image synthesis, image generation, image photoshop, etc. Our challenge has attracted 674 teams from all over the world, with about 2000 valid result submission counts. We invited the Top 10 teams to present their solutions to the challenge, from which three teams are awarded prizes in the grand finale. In this paper, we present the solutions from the Top 3 teams, in order to boost the research work in the field of image forgery detection.


title: Satellite Image Based Cross-view Localization for Autonomous Vehicle

abstract: Existing spatial localization techniques for autonomous vehicles mostly use a pre-built 3D-HD map, often constructed using a survey-grade 3D mapping vehicle, which is not only expensive but also laborious. This paper shows that by using an off-the-shelf high-definition satellite image as a ready-to-use map, we are able to achieve cross-view vehicle localization up to a satisfactory accuracy, providing a cheaper and more practical way for localization. While the utilization of satellite imagery for cross-view localization is an established concept, the conventional methodology focuses primarily on image retrieval. This paper introduces a novel approach to cross-view localization that departs from the conventional image retrieval method. Specifically, our method develops (1) a Geometric-align Feature Extractor (GaFE) that leverages measured 3D points to bridge the geometric gap between ground and overhead views, (2) a Pose Aware Branch (PAB) adopting a triplet loss to encourage pose-aware feature extraction, and (3) a Recursive Pose Refine Branch (RPRB) using the Levenberg-Marquardt (LM) algorithm to align the initial pose towards the true vehicle pose iteratively. Our method is validated on KITTI and Ford Multi-AV Seasonal datasets as ground view and Google Maps as the satellite view. The results demonstrate the superiority of our method in cross-view localization with median spatial and angular errors within $1$ meter and $1^\circ$, respectively.


title: Efficient and improved prediction of the band offsets at semiconductor heterojunctions from meta-GGA density functionals

abstract: Accurate theoretical prediction of the band offsets at interfaces of semiconductor heterostructures can often be quite challenging. Although density functional theory has been reasonably successful to carry out such calculations and efficient and accurate semilocal functionals are desirable to reduce the computational cost. In general, the semilocal functionals based on the generalized gradient approximation (GGA) significantly underestimate the bulk band gaps. This, in turn, results in inaccurate estimates of the band offsets at the heterointerfaces. In this paper, we investigate the performance of several advanced meta-GGA functionals in the computational prediction of band offsets at semiconductor heterojunctions. In particular, we investigate the performance of r2SCAN (revised strongly-constrained and appropriately-normed functional), rMGGAC (revised semilocal functional based on cuspless hydrogen model and Pauli kinetic energy density functional), mTASK (modified Aschebrock and K\"ummel meta-GGA functional), and LMBJ (local modified Becke-Johnson) exchange-correlation functionals. Our results strongly suggest that these meta-GGA functionals for supercell calculations perform quite well, especially, when compared to computationally more demanding GW calculations. We also present band offsets calculated using ionization potentials and electron affinities, as well as band alignment via the branch point energies. Overall, our study shows that the aforementioned meta-GGA functionals can be used within the DFT framework to estimate the band offsets in semiconductor heterostructures with predictive accuracy.


title: Challenges and Opportunities of Computational Social Science for Official Statistics

abstract: The vast amount of data produced everyday (so-called 'digital traces') and available nowadays represent a gold mine for the social sciences, especially in a computational context, that allows to fully extract their informational and knowledge value. In the latest years, statistical offices have made efforts to profit from harnessing the potential offered by these new sources of data, with promising results. But how difficult is this integration process? What are the challenges that statistical offices would likely face to profit from new data sources and analytical methods? This chapter will start by setting the scene of the current official statistics system, with a focus on its fundamental principles and dimensions relevant to the use of non-traditional data. It will then present some experiments and proofs of concept in the context of data innovation for official statistics, followed by a discussion on prospective challenges related to sustainable data access, new technical and methodological approaches and effective use of new sources of data.


title: Understanding density driven errors for reaction barrier heights

abstract: Delocalization errors, such as charge-transfer and some self-interaction errors, plague computationally-efficient and otherwise-accurate density functional approximations (DFAs). Evaluating a semi-local DFA non-self-consistently on the Hartree-Fock (HF) density is often recommended as a computationally cheap remedy for delocalization errors. For sophisticated meta-GGAs like SCAN, this approach can achieve remarkable accuracy. When this HF-DFT (or DFA@HF) significantly improves over the DFA, it is often presumed that the HF density is more accurate than the self-consistent DFA density. By applying the metrics of density-corrected density functional theory (DFT), we show that HF-DFT works for barrier heights by making a localizing charge transfer error or density over-correction, thereby producing a somewhat-reliable cancellation of density- and functional-driven errors for the energy. A quantitative analysis of the charge transfer errors in a few transition states confirms this trend. We do not have the exact functional and exact densities that are needed to evaluate the exact density- and functional-driven errors for the large BH76 database of barrier heights. Instead, we have identified and used three non-local proxy functionals (the SCAN 50% global hybrid, the range-separated hybrid LC-$\omega$PBE, and SCAN-FLOSIC) and their self-consistent densities. These functionals yield reasonably accurate self-consistent barrier heights, and their self-consistent total energies are nearly piecewise linear in fractional electron number - two important points of similarity to the exact functional. We argue that density-driven errors of the energy in a self-consistent density functional calculation are second-order in the density error, and that large density-driven errors arise primarily from incorrect electron transfers over length scales larger than the diameter of an atom.


title: LUXE: A new experiment to study non-perturbative QED in electron-laser and photon-laser collisions

abstract: The LUXE experiment (Laser Und XFEL Experiment) is an experiment in planning at DESY Hamburg using the electron beam of the European XFEL (Eu.XFEL). LUXE is intended to study collisions between a high-intensity optical laser pulse and 16.5 GeV electrons from the Eu.XFEL electron beam, as well as collisions between the laser pulse and high-energy secondary photons. This will elucidate Quantum Electrodynamics (QED) at the strong-field frontier, where the electromagnetic field of the laser in the electron rest frame is above the Schwinger limit. In this regime, QED is non-perturbative in the charge field coupling. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum, similar to Hawking radiation from black holes. LUXE intends to measure the positron production rate in an unprecedented laser intensity regime. It is expected to start running in 2025. An overview of the LUXE experimental setup and its challenges and progress will be given, along with a discussion of the expected physics reach in the context of testing QED in the non-perturbative regime.


title: Distinct magnetic gaps between antiferromagnetic and ferromagnetic orders driven by surface defects in the topological magnet MnBi2Te4

abstract: The magnetic topological insulator, MnBi$_2$Te$_4$, shows metallic behavior at zero magnetic fields (antiferromagnetic phase, AFM) in thin film transport, which coincides with gapless surface states observed by angle-resolved photoemission spectroscopy, while it can become a Chern insulator at field larger than 6 T (ferromagnetic phase, FM). Thus, the zero-field surface magnetism was once speculated to be different from the bulk AFM phase. However, recent magnetic force microscopy refutes this assumption by detecting persistent AFM order on the surface. In this work, we propose a mechanism related to surface defects that can rationalize these contradicting observations in different experiments. We find that co-antisites (exchanging Mn and Bi atoms in the surface van der Waals layer) can strongly suppress the magnetic gap down to several meV in the AFM phase without violating the magnetic order but preserve the magnetic gap in the FM phase. The different gap sizes between AFM and FM phases are caused by the defect-induced surface charge redistribution among top two van der Waals layers. This theory can be validated by the position- and field-dependent gap in future surface spectroscopy measurements. Our work suggests suppressing related defects in samples to realize the quantum anomalous Hall insulator or axion insulator at zero fields.


title: Long-term temporal evolution of extreme temperature in a warming Earth

abstract: We present a new approach to modeling the future development of extreme temperatures globally and on a long time-scale by using non-stationary generalized extreme value distributions in combination with logistic functions. This approach is applied to data from the fully coupled climate model AWI-ESM. It enables us to investigate how extremes will change depending on the geographic location not only in terms of the magnitude, but also in terms of the timing of the changes. We observe that in general, changes in extremes are stronger and more rapid over land masses than over oceans. In addition, our models differentiate between changes in mean, in variability and in distributional shape, allowing for developments in these statistics to take place independently and at different times. Different models are presented and the Bayesian Information Criterion is used for model selection. It turns out that in most regions, changes in mean and variance take place simultaneously while the shape parameter of the distribution is predicted to stay constant. In the Arctic region, however, a different picture emerges: There, climate variability drastically and abruptly increases around 2050 due to the melting of ice, whereas changes in the mean values take longer and come into effect later.


title: Learning with Combinatorial Optimization Layers: a Probabilistic Approach

abstract: Combinatorial optimization (CO) layers in machine learning (ML) pipelines are a powerful tool to tackle data-driven decision tasks, but they come with two main challenges. First, the solution of a CO problem often behaves as a piecewise constant function of its objective parameters. Given that ML pipelines are typically trained using stochastic gradient descent, the absence of slope information is very detrimental. Second, standard ML losses do not work well in combinatorial settings. A growing body of research addresses these challenges through diverse methods. Unfortunately, the lack of well-maintained implementations slows down the adoption of CO layers. In this paper, building upon previous works, we introduce a probabilistic perspective on CO layers, which lends itself naturally to approximate differentiation and the construction of structured losses. We recover many approaches from the literature as special cases, and we also derive new ones. Based on this unifying perspective, we present InferOpt.jl, an open-source Julia package that 1) allows turning any CO oracle with a linear objective into a differentiable layer, and 2) defines adequate losses to train pipelines containing such layers. Our library works with arbitrary optimization algorithms, and it is fully compatible with Julia's ML ecosystem. We demonstrate its abilities using a pathfinding problem on video game maps as guiding example, as well as three other applications from operations research.


title: UNIMIB at TREC 2021 Clinical Trials Track

abstract: This contribution summarizes the participation of the UNIMIB team to the TREC 2021 Clinical Trials Track. We have investigated the effect of different query representations combined with several retrieval models on the retrieval performance. First, we have implemented a neural re-ranking approach to study the effectiveness of dense text representations. Additionally, we have investigated the effectiveness of a novel decision-theoretic model for relevance estimation. Finally, both of the above relevance models have been compared with standard retrieval approaches. In particular, we combined a keyword extraction method with a standard retrieval process based on the BM25 model and a decision-theoretic relevance model that exploits the characteristics of this particular search task. The obtained results show that the proposed keyword extraction method improves 84% of the queries over the TREC's median NDCG@10 measure when combined with either traditional or decision-theoretic relevance models. Moreover, regarding RPEC@10, the employed decision-theoretic model improves 85% of the queries over the reported TREC's median value.


title: Snell's law revisited and generalized via Finsler Geometry

abstract: We study the variational problem of finding the fastest path between two points that belong to different anisotropic media, each with a prescribed speed profile and a common interface. The optimal curves are Finsler geodesics that are refracted -- broken -- as they pass through the interface, due to the discontinuity of their velocities. This "breaking" must satisfy a specific condition in terms of the Finsler metrics defined by the speed profiles, thus establishing the generalized Snell's law. In the same way, optimal paths bouncing off the interface -- without crossing into the second domain -- provide the generalized law of reflection. The classical Snell's and reflection laws are recovered in this setting when the velocities are isotropic. If one considers a wave that propagates in all directions from a given ignition point, the trajectories that globally minimize the traveltime generate the wavefront at each instant of time. We study in detail the global properties of such wavefronts in the Euclidean plane with anisotropic speed profiles. Like the individual rays, they break when they encounter the discontinuity interface. But they are also broken due to the formation of cut loci -- stemming from the self-intersection of the wavefronts -- which typically appear when they approach a high-speed profile domain from a low-speed profile.


title: Online Continual Learning with Contrastive Vision Transformer

abstract: Online continual learning (online CL) studies the problem of learning sequential tasks from an online data stream without task boundaries, aiming to adapt to new data while alleviating catastrophic forgetting on the past tasks. This paper proposes a framework Contrastive Vision Transformer (CVT), which designs a focal contrastive learning strategy based on a transformer architecture, to achieve a better stability-plasticity trade-off for online CL. Specifically, we design a new external attention mechanism for online CL that implicitly captures previous tasks' information. Besides, CVT contains learnable focuses for each class, which could accumulate the knowledge of previous classes to alleviate forgetting. Based on the learnable focuses, we design a focal contrastive loss to rebalance contrastive learning between new and past classes and consolidate previously learned representations. Moreover, CVT contains a dual-classifier structure for decoupling learning current classes and balancing all observed classes. The extensive experimental results show that our approach achieves state-of-the-art performance with even fewer parameters on online CL benchmarks and effectively alleviates the catastrophic forgetting.


title: Percolation in heterogeneous spatial networks with long-range interactions

abstract: We study the emergence of a giant component in a spatial network where the distribution of the metric distances between the nodes is scale-invariant, and the interaction between the nodes has a long-range power-law behavior. The nodes are positioned in the metric space using a Levy flight procedure, with an associated scale-invariant step probability density function, and is then followed by a process of connecting each pair of nodes with a probability function that depends on the distance between them. A natural way to analyze the system is to consider the total probability for an edge between steps in term of their indexes, by summing over their possible positions. By doing so, a correspondence is found between this model and a model of percolation in a one-dimensional lattice with long-range interactions, which allows the identification of the conditions for which a percolation transition is possible. We find that the emergence of a giant component and percolation transitions is determined by a complicated phase diagram, that exhibits a transition from weak long-range interactions to strong long-range interactions.


title: Future Unruptured Intracranial Aneurysm Growth Prediction using Mesh Convolutional Neural Networks

abstract: The growth of unruptured intracranial aneurysms (UIAs) is a predictor of rupture. Therefore, for further imaging surveillance and treatment planning, it is important to be able to predict if an UIA is likely to grow based on an initial baseline Time-of-Flight MRA (TOF-MRA). It is known that the size and shape of UIAs are predictors of aneurysm growth and/or rupture. We perform a feasibility study of using a mesh convolutional neural network for future UIA growth prediction from baseline TOF-MRAs. We include 151 TOF-MRAs, with 169 UIAs where 49 UIAs were classified as growing and 120 as stable, based on the clinical definition of growth (>1 mm increase in size in follow-up scan). UIAs were segmented from TOF-MRAs and meshes were automatically generated. We investigate the input of both UIA mesh only and region-of-interest (ROI) meshes including UIA and surrounding parent vessels. We develop a classification model to predict UIAs that will grow or remain stable. The model consisted of a mesh convolutional neural network including additional novel input edge features of shape index and curvedness which describe the surface topology. It was investigated if input edge mid-point co-ordinates influenced the model performance. The model with highest AUC (63.8%) for growth prediction was using UIA meshes with input edge mid-point co-ordinate features (average F1 score = 62.3%, accuracy = 66.9%, sensitivity = 57.3%, specificity = 70.8%). We present a future UIA growth prediction model based on a mesh convolutional neural network with promising results.


title: PB TMD fits at NLO with dynamical resolution scale

abstract: Parton branching solutions of QCD evolution equations have recently been studied to construct both collinear and transverse momentum dependent (TMD) parton distributions. In this formalism, a soft-gluon resolution scale is introduced to separate resolvable and non-resolvable branchings, and to take into account soft-gluon coherence effects. In this talk, results of fits to the high precision deep inelastic scattering (DIS) structure function measurements are shown including for the first time the effects of dynamical, i.e. branching-scale dependent, resolution scales at Next-to-Leading-Order (NLO) accuracy in the strong coupling.


title: Integrable generalized Heisenberg ferromagnet equations with self-consistent potentials and related Yajima-Oikawa type equations

abstract: We consider some nonlinear models describing interactions of long and short (LS) waves. Such LS models have been derived and proposed with various motivations, which mainly come from fluid and plasma physics. In this paper, we study some of integrable LS models, namely, the Yajima-Oikawa equation, the Newell equation, the Ma equation, the Geng-Li equation and etc. In particular, the gauge equivalent counterparts of these integrable LS models (equations) are found. In fact, these gauge equivalents of the LS equations are integrable generalized Heisenberg ferromagnet equations (HFE) with self-consistent potentials (HFESCP). The associated Lax representations of these HFESCP are given. We also presented several spin-phonon equations which describe nonlinear interactions of spin and lattice subsystems in ferromagnetic materials.


title: Entanglement enhanced metrology with quantum many-body scars

abstract: Although entanglement is a key resource for quantum-enhanced metrology, not all entanglement is useful. For example in the process of many-body thermalisation, bipartite entanglement grows rapidly, naturally saturating to a volume law. This type of entanglement generation is ubiquitous in nature but has no known application in most quantum technologies. The generation, stabilisation and exploitation of genuine multipartite entanglement, on the other hand, is far more elusive yet highly desirable for metrological applications. Recently it has been shown that quantum many-body scars can have extensive multipartite entanglement. However the accessibility of this structure for real application has been so far unclear. In this work, we show how systems containing quantum many-body scars can be used to dynamically generate stable multipartite entanglement, and describe how to exploit this structure for phase estimation with a precision that beats the standard quantum limit. Key to this is a physically motivated modification of a Hamiltonian that generates a variety of multipartite entangled states through the dynamics in the scar subspace.


title: Model-Free, Monotone Invariant and Computationally Efficient Feature Screening with Data-adaptive Threshold

abstract: Feature screening for ultrahigh-dimension, in general, proceeds with two essential steps. The first step is measuring and ranking the marginal dependence between response and covariates, and the second is determining the threshold. We develop a new screening procedure, called SIT-BY procedure, that possesses appealing statistical properties in both steps. By employing sliced independence estimates in the measuring and ranking stage, our proposed procedure requires no model assumptions, remains invariant to monotone transformation, and achieves almost linear computation complexity. Inspired by false discovery rate (FDR) control procedures, we offer a data-adaptive threshold benefit from the asymptotic normality of test statistics. Under moderate conditions, we demonstrate that our procedure can asymptotically control the FDR while maintaining the sure screening property. We investigate the finite sample performance of our proposed procedure via extensive simulations and an application to genome-wide dataset.


title: Adapting the Exploration-Exploitation Balance in Heterogeneous Swarms: Tracking Evasive Targets

abstract: There has been growing interest in the use of multi-robot systems in various tasks and scenarios. The main attractiveness of such systems is their flexibility, robustness, and scalability. An often overlooked yet promising feature is system modularity, which offers the possibility to harness agent specialization, while also enabling system-level upgrades. However, altering the agents' capacities can change the exploration-exploitation balance required to maximize the system's performance. Here, we study the effect of a swarm's heterogeneity on its exploration-exploitation balance while tracking multiple fast-moving evasive targets under the Cooperative Multi-Robot Observation of Multiple Moving Targets framework. To this end, we use a decentralized search and tracking strategy with adjustable levels of exploration and exploitation. By indirectly tuning the balance, we first confirm the presence of an optimal balance between these two key competing actions. Next, by substituting slower moving agents with faster ones, we show that the system exhibits a performance improvement without any modifications to the original strategy. In addition, owing to the additional amount of exploitation carried out by the faster agents, we demonstrate that a heterogeneous system's performance can be further improved by reducing an agent's level of connectivity, to favor the conduct of exploratory actions. Furthermore, in studying the influence of the density of swarming agents, we show that the addition of faster agents can counterbalance a reduction in the overall number of agents while maintaining the level of tracking performance. Finally, we explore the challenges of using differentiated strategies to take advantage of the heterogeneous nature of the swarm.


title: Line-by-line velocity measurements, an outlier-resistant method for precision velocimetry

abstract: We present a new algorithm for precision radial velocity (pRV) measurements, a line-by-line (LBL) approach designed to handle outlying spectral information in a simple but efficient manner. The effectiveness of the LBL method is demonstrated on two datasets, one obtained with SPIRou on Barnard's star, and the other with HARPS on Proxima Centauri. In the near-infrared, the LBL provides a framework for m/s-level accuracy in pRV measurements despite the challenges associated with telluric absorption and sky emission lines. We confirm with SPIRou measurements spanning 2.7 years that the candidate super-Earth on a 233-day orbit around Barnard's star is an artifact due to a combination of time-sampling and activity. The LBL analysis of the Proxima Centauri HARPS post-upgrade data alone easily recovers the Proxima b signal and also provides a 2-sigma detection of the recently confirmed 5-day Proxima d planet, but argues against the presence of the candidate Proxima c with a period of 1900 days. We provide evidence that the Proxima c signal is associated with small, unaccounted systematic effects affecting the HARPS-TERRA template matching RV extraction method for long-period signals. Finally, the LBL framework provides a very effective activity indicator, akin to the full width at half maximum derived from the cross-correlation function, from which we infer a rotation period of $92.1^{+4.2}_{-3.5}$ days for Proxima.


title: Open-source Radiative Modelling Tools for Extragalactic VHE gamma-ray Sources

abstract: In this review, we discuss various open-source software for modelling the broad-band emission of extragalactic sources from radio up to the highest gamma ray energies. As we provide an overview of the different tools available, we discuss the physical processes such tools implement and detail the computations they can perform. We also examine their conformity with modern good software practices. After considering the currently available software as a first generation of open-source modelling tools, we outline some desirable characteristics for the next generation.


title: UltimateKalman: Flexible Kalman Filtering and Smoothing Using Orthogonal Transformations

abstract: UltimateKalman is a flexible linear Kalman filter and smoother implemented in three popular programming languages: MATLAB, C, and Java. UltimateKalman is a slight simplification and slight generalization of an elegant Kalman filter and smoother that was proposed in 1977 by Paige and Saunders. Their algorithm appears to be numerically superior and more flexible than other Kalman filters and smoothers, but curiously has never been implemented or used before. UltimateKalman is flexible: it can easily handle time-dependent problems, problems with state vectors whose dimensions vary from step to step, problems with varying number of observations in different steps (or no observations at all in some steps), and problems in which the expectation of the initial state is unknown. The programming interface of UltimateKalman is broken into simple building blocks that can be used to construct filters, single or multi-step predictors, multi-step or whole-track smoothers, and combinations. The paper describes the algorithm and its implementation as well as with a test suite of examples and tests.


title: Early Results From GLASS-JWST. XII: The Morphology of Galaxies at the Epoch of Reionization

abstract: Star-forming galaxies can exhibit strong morphological differences between the rest-frame far-UV and optical, reflecting inhomogeneities in star-formation and dust attenuation. We exploit deep, high resolution NIRCAM 7-band observations to take a first look at the morphology of galaxies in the epoch of reionization ($z>7$), and its variation in the rest-frame wavelength range between Lyman $\alpha$ and 6000-4000\AA, at $z=7-12$. We find no dramatic variations in morphology with wavelength -- of the kind that would have overturned anything we have learned from the Hubble Space Telescope. No significant trends between morphology and wavelengths are detected using standard quantitative morphology statistics. We detect signatures of mergers/interactions in 4/19 galaxies. Our results are consistent with a scenario in which Lyman Break galaxies -- observed when the universe is only 400-800 Myrs old - are growing via a combination of rapid galaxy-scale star formation supplemented by accretion of star forming clumps and interactions.


title: Digital-analog co-design of the Harrow-Hassidim-Lloyd algorithm

abstract: The Harrow-Hassidim-Lloyd quantum algorithm was proposed to solve linear systems of equations $A\vec{x} = \vec{b}$ and it is the core of various applications. However, there is not an explicit quantum circuit for the subroutine which maps the inverse of the problem matrix $A$ into an ancillary qubit. This makes challenging the implementation in current quantum devices, forcing us to use hybrid approaches. Here, we propose a systematic manner to implement this subroutine, which can be adapted to other functions $f(A)$ of the matrix $A$, we present a co-designed quantum processor which reduces the depth of the algorithm, and we introduce its digital-analog implementation. The depth of our proposal scales with the precision $\epsilon$ as $\mathcal{O}(\epsilon^{-1})$, which is bounded by the number of samples allowed for a certain experiment. The co-design of the Harrow-Hassidim-Lloyd algorithm leads to a "kite-like" architecture, which allows us to reduce the number of required SWAP gates. Finally, merging a co-design quantum processor architecture with a digital-analog implementation contributes to the reduction of noise sources during the experimental realization of the algorithm.


title: A Variational AutoEncoder for Transformers with Nonparametric Variational Information Bottleneck

abstract: We propose a VAE for Transformers by developing a variational information bottleneck regulariser for Transformer embeddings. We formalise the embedding space of Transformer encoders as mixture probability distributions, and use Bayesian nonparametrics to derive a nonparametric variational information bottleneck (NVIB) for such attention-based embeddings. The variable number of mixture components supported by nonparametric methods captures the variable number of vectors supported by attention, and the exchangeability of our nonparametric distributions captures the permutation invariance of attention. This allows NVIB to regularise the number of vectors accessible with attention, as well as the amount of information in individual vectors. By regularising the cross-attention of a Transformer encoder-decoder with NVIB, we propose a nonparametric variational autoencoder (NVAE). Initial experiments on training a NVAE on natural language text show that the induced embedding space has the desired properties of a VAE for Transformers.


title: A Hybrid Deep Animation Codec for Low-bitrate Video Conferencing

abstract: Deep generative models, and particularly facial animation schemes, can be used in video conferencing applications to efficiently compress a video through a sparse set of keypoints, without the need to transmit dense motion vectors. While these schemes bring significant coding gains over conventional video codecs at low bitrates, their performance saturates quickly when the available bandwidth increases. In this paper, we propose a layered, hybrid coding scheme to overcome this limitation. Specifically, we extend a codec based on facial animation by adding an auxiliary stream consisting of a very low bitrate version of the video, obtained through a conventional video codec (e.g., HEVC). The animated and auxiliary videos are combined through a novel fusion module. Our results show consistent average BD-Rate gains in excess of -30% on a large dataset of video conferencing sequences, extending the operational range of bitrates of a facial animation codec alone


title: Inconsistent black hole kick estimates from gravitational-wave models

abstract: The accuracy of gravitational-wave models of compact binaries has traditionally been addressed by the mismatch between the model and numerical-relativity simulations. This is a measure of the overall agreement between the two waveforms. However, the largest modelling error typically appears in the strong-field merger regime and may affect subdominant signal harmonics more strongly. These inaccuracies are often not well characterised by the mismatch. We explore the use of a complementary, physically motivated tool to investigate the accuracy of gravitational-wave harmonics in waveform models: the remnant's recoil, or kick velocity. Asymmetric binary mergers produce remnants with significant recoil, encoded by subtle imprints in the gravitational-wave signal. The kick estimate is highly sensitive to the intrinsic inaccuracies of the modelled gravitational-wave harmonics during the strongly relativistic merger regime. Here we investigate the accuracy of the higher harmonics in four state-of-the-art waveform models of binary black holes. We find that the SEOBNRv4HM_ROM, IMRPhenomHM, IMRPhenomXHM and NRHybSur3dq8 models are not consistent in their kick predictions. Our results enable us to identify regions in the parameter space where the models require further improvement and support the use of the kick estimate to investigate waveform systematics. We discuss how numerical-relativity kick estimates could be used to calibrate waveform models further, proposing the first steps towards kick-based gravitational-wave tuning.


title: Contrastive Masked Autoencoders are Stronger Vision Learners

abstract: Masked image modeling (MIM) has achieved promising results on various vision tasks. However, the limited discriminability of learned representation manifests there is still plenty to go for making a stronger vision learner. Towards this goal, we propose Contrastive Masked Autoencoders (CMAE), a new self-supervised pre-training method for learning more comprehensive and capable vision representations. By elaboratively unifying contrastive learning (CL) and masked image model (MIM) through novel designs, CMAE leverages their respective advantages and learns representations with both strong instance discriminability and local perceptibility. Specifically, CMAE consists of two branches where the online branch is an asymmetric encoder-decoder and the momentum branch is a momentum updated encoder. During training, the online encoder reconstructs original images from latent representations of masked images to learn holistic features. The momentum encoder, fed with the full images, enhances the feature discriminability via contrastive learning with its online counterpart. To make CL compatible with MIM, CMAE introduces two new components, i.e. pixel shifting for generating plausible positive views and feature decoder for complementing features of contrastive pairs. Thanks to these novel designs, CMAE effectively improves the representation quality and transfer performance over its MIM counterpart. CMAE achieves the state-of-the-art performance on highly competitive benchmarks of image classification, semantic segmentation and object detection. Notably, CMAE-Base achieves $85.3\%$ top-1 accuracy on ImageNet and $52.5\%$ mIoU on ADE20k, surpassing previous best results by $0.7\%$ and $1.8\%$ respectively. The source code is publicly accessible at \url{https://github.com/ZhichengHuang/CMAE}.


title: Features of the gamma-ray pulsar halo HESS J1831$-$098

abstract: Gamma-ray pulsar halos are ideal indicators of cosmic-ray propagation in localized regions of the Galaxy and electron injection from pulsar wind nebulae. HESS~J1831$-$098 is a candidate pulsar halo observed by both H.E.S.S. and HAWC experiments. We adopt the flux map of the H.E.S.S. Galactic plane survey and the spectrum measurements of H.E.S.S. and \textit{Fermi}-LAT to study HESS~J1831$-$098. We find that HESS~J1831$-$098 meets all the criteria for a pulsar halo. The diffusion coefficient inside the halo and the conversion efficiency from the pulsar spin-down energy to the electron energy are both similar to the Geminga halo, a canonical pulsar halo. The injection spectrum can be well described by an exponentially-cutoff power law. However, the needed power-law term is very hard with $p\lesssim1$ if the diffusion coefficient is spatially and temporally independent. Considering the possible origins of the slow-diffusion environment, we adopt the two-zone diffusion model and the time-delayed slow-diffusion model. Both the models can interpret the H.E.S.S. and \textit{Fermi}-LAT results with a milder $p$. A modified injection time profile may have a similar effect.


title: Bayesian Inference of the Specific Shear and Bulk Viscosities of the Quark-Gluon Plasma at Crossover from $\phi$ and $\Omega$ Observables

abstract: Due to their weak final state interactions, the $\phi$ meson and $\Omega$ baryon provide unique probes of the properties of the quark-gluon plasma (QGP) formed in relativistic heavy-ion collisions. Using the quark recombination model with the quark phase-space information parameterized in a viscous blastwave, we study the transverse-momentum spectra and elliptic flows of $\phi$ and $\Omega$ in Au+Au collisions at $\sqrt{s_{\rm NN}} = 200$ GeV and Pb+Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. The viscous blastwave includes non-equilibrium deformations of thermal distributions due to shear and bulk stresses and thus carries information on the specific shear viscosity $\eta/s$ and the specific bulk viscosity $\zeta/s$ of the QGP. We perform a model-to-data comparison with Bayesian inference and simultaneously obtain $\eta/s=(2.08^{+1.10}_{-1.09})/4\pi$ and $\zeta/s= 0.06^{+0.04}_{-0.04}$ at $90\%$ C.L. for the baryon-free QGP at crossover temperature of about $160$ MeV. Our work provides a novel approach to simultaneously determine the $\eta/s$ and $\zeta/s$ of the QGP at hadronization.


title: On the van Est analogy in Hopf cyclic cohomology

abstract: We present results relating the Hopf cyclic cohomology of the Hopf algebra of moving frames with that of the DG Hopf algebra of moving coframes, analogous to the van Est isomorphism between Lie algebra cohomology and continuous group cohomology.


title: Microscopic study on fusion reactions $^{40,48}\mathrm{Ca}+{}^{78}\mathrm{Ni}$ and the effect of tensor force

abstract: We provide a microscopic description of the fusion reactions between $^{40,48}$Ca and $^{78}$Ni. The internuclear potentials are obtained using the density-constrained (DC) time-dependent Hartree-Fock (TDHF) approach and fusion cross sections are calculated via the incoming wave boundary condition method. By performing DC-TDHF calculations at several selected incident energies, the internuclear potentials for both systems are obtained and the energy-dependence of fusion barrier are revealed. The influence of tensor force on internuclear potentials of $^{48}\mathrm{Ca}+{}^{78}\mathrm{Ni}$ is more obvious than those of $^{40}\mathrm{Ca}+{}^{78}\mathrm{Ni}$. By comparing the calculated fusion cross sections between $^{40}\mathrm{Ca}+{}^{78}\mathrm{Ni}$ and $^{48}\mathrm{Ca}+{}^{78}\mathrm{Ni}$, an interesting enhancement of sub-barrier fusion cross sections for the former system is found, which can be explained by the narrow width of internuclear potential for $^{40}\mathrm{Ca}+{}^{78}\mathrm{Ni}$ while the barrier heights and positions are very close to each other. The tensor force suppresses the sub-barrier fusion cross sections of both two systems.


title: Gupta-Bleuler quantization of optical fibers in weak gravitational fields

abstract: The theory of gauge-fixed Maxwell equations in linear isotropic dielectrics is developed using a generalisation of the standard $R_\xi$ gauge-fixing term. In static space-times, the theory can be quantised using the Gupta-Bleuler method, which is worked out explicitly for optical fibres either in flat space-time or at a constant gravitational potential. This yields a consistent first-principles description of gravitational fibre-optic interferometry at the single-photon level within the framework of quantum field theory in curved space-times.


title: Continuous Kasteleyn theory for the bead model

abstract: Consider the semi-discrete torus $\mathbb{T}_n := [0,1) \times \{0,1,\ldots,n-1\}$ representing $n$ unit length strings running in parallel. A bead configuration on $\mathbb{T}_n$ is a point process on $\mathbb{T}_n$ with the property that between every two consecutive points on the same string, there lies a point on each of the neighbouring strings. In this article we develop a continuous version of Kasteleyn theory to show that partition functions for bead configurations on $\mathbb{T}_n$ may be expressed in terms of Fredholm determinants of certain operators on $\mathbb{T}_n$. We obtain an explicit formula for the volumes of bead configurations on $\mathbb{T}_n$. The asymptotics of this formula confirm a recent prediction in the free probability literature. Thereafter we study random bead configurations on $\mathbb{T}_n$, showing that they have a determinantal structure which can be connected with exclusion processes. We use this machinery to construct a new probabilistic representation of TASEP on the ring.


title: Interaction-Free Polarimetry

abstract: The combination of interaction-free measurement and the quantum Zeno effect has been shown to both increase the signal-to-noise ratio of imaging, and decrease the light intensity flux through the imaged object. So far though, this has only been considered for discrimination between translucent and opaque areas of an object. In this paper, we extend this to the polarimetry of a given sample. This will allow the identification and characterisation of these samples with far less absorbed energy than current approaches -- a key concern for delicate samples being probed with high-frequency radiation.


title: Vanishing and Symmetries of BPS Invariants for CDV Singularities

abstract: This paper shows that the motivic BPS invariants associated to a noncommutative crepant resolution of a compound Du-Val singularity are controlled by the labelled Dynkin combinatorics appearing in the work of Iyama--Wemyss. In particular, we show that the invariants vanish for dimension vectors which are not a multiple of a restricted root obtained from the affine root system under a natural quotient map. An immediate corollary is a description of the curve classes for which the Gopakumar--Vafa invariants of geometric crepant resolutions vanish, generalising a recent result of Nabijou--Wemyss to the nonisolated setting. We furthermore formulate a method for finding symmetries among the non-vanishing invariants using derived equivalences, and show how this can be applied to line bundle twists and mutation functors in some settings. In particular, we find new wall-crossing relations among the Gopakumar-Vafa invariants of the different crepant resolutions of a cDV singularity.


title: Representing Paths in Graph Database Pattern Matching

abstract: Modern graph database query languages such as GQL, SQL/PGQ, and their academic predecessor G-Core promote paths to first-class citizens in the sense that paths that match regular path queries can be returned to the user. This brings a number of challenges in terms of efficiency, caused by the fact that graphs can have a huge amount of paths between a given node pair. We introduce the concept of path multiset representations (PMRs), which can represent multisets of paths in an exponentially succinct manner. After exploring fundamental problems such as minimization and equivalence testing of PMRs, we explore how their use can lead to significant time and space savings when executing query plans. We show that, from a computational complexity point of view, PMRs seem especially well-suited for representing results of regular path queries and extensions thereof involving counting, random sampling, unions, and joins.


title: Flow of gluten with tunable protein composition: from stress undershoot to stress overshoot and strain hardening

abstract: Understanding the origin of the unique rheological properties of wheat gluten, the protein fraction of wheat grain, is crucial in bread-making processes and questions scientists since polymeric glutenins. To better understand the respective role of the different classes of proteins in the supramolecular structure of gluten and its link to the material properties, we investigate here concentrated dispersions of gluten proteins in water with a fixed total protein concentration but variable composition in gliadin and glutenin. Linear viscoelasticity measurements show a gradual increase of the viscosity of the samples as the glutenin mass content increases from 7 to 66%. While the gliadin-rich samples are microphase-separated viscous fluids, homogeneous and transparent pre-gel and gels are obtained with the replacement of gliadin by glutenin. To unravel the flow properties of the gluten samples, we perform shear start-up experiments at different shear-rates. In accordance with the linear viscoelastic signature, three classes of behaviour are evidenced depending on the protein composition. As samples get depleted in gliadin and enriched in glutenin, distinctive features are measured: (i) viscosity undershoot suggesting droplet elongation for microphase-separated dispersions, (ii) stress overshoot and partial structural relaxation for near-critical pre-gels, and (iii) strain hardening and flow instabilities of gels. We discuss the experimental results by analogy with the behaviour of model systems, including viscoelastic emulsions, branched polymer melts and critical gels, and provide a consistent physical picture of the supramolecular features of the three classes of protein dispersions.


title: Abstracting Sketches through Simple Primitives

abstract: Humans show high-level of abstraction capabilities in games that require quickly communicating object information. They decompose the message content into multiple parts and communicate them in an interpretable protocol. Toward equipping machines with such capabilities, we propose the Primitive-based Sketch Abstraction task where the goal is to represent sketches using a fixed set of drawing primitives under the influence of a budget. To solve this task, our Primitive-Matching Network (PMN), learns interpretable abstractions of a sketch in a self supervised manner. Specifically, PMN maps each stroke of a sketch to its most similar primitive in a given set, predicting an affine transformation that aligns the selected primitive to the target stroke. We learn this stroke-to-primitive mapping end-to-end with a distance-transform loss that is minimal when the original sketch is precisely reconstructed with the predicted primitives. Our PMN abstraction empirically achieves the highest performance on sketch recognition and sketch-based image retrieval given a communication budget, while at the same time being highly interpretable. This opens up new possibilities for sketch analysis, such as comparing sketches by extracting the most relevant primitives that define an object category. Code is available at https://github.com/ExplainableML/sketch-primitives.


title: Anomalies in charged-current $B$ decays

abstract: This paper reviews the recent progresses of the flavor and collider searches that can probe New Physics effects responsible for the current discrepancy in the lepton flavor universality ratio of $R_{D^{(*)}}$ between the experimental measurements and SM values.


title: Learning Hyper Label Model for Programmatic Weak Supervision

abstract: To reduce the human annotation efforts, the programmatic weak supervision (PWS) paradigm abstracts weak supervision sources as labeling functions (LFs) and involves a label model to aggregate the output of multiple LFs to produce training labels. Most existing label models require a parameter learning step for each dataset. In this work, we present a hyper label model that (once learned) infers the ground-truth labels for each dataset in a single forward pass without dataset-specific parameter learning. The hyper label model approximates an optimal analytical (yet computationally intractable) solution of the ground-truth labels. We train the model on synthetic data generated in the way that ensures the model approximates the analytical optimal solution, and build the model upon Graph Neural Network (GNN) to ensure the model prediction being invariant (or equivariant) to the permutation of LFs (or data points). On 14 real-world datasets, our hyper label model outperforms the best existing methods in both accuracy (by 1.4 points on average) and efficiency (by six times on average). Our code is available at https://github.com/wurenzhi/hyper_label_model


title: Equivariant K-theoretic enumerative invariants and wall-crossing formulae in abelian categories

abstract: We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to include equivariance. The primary new tool is that the operational K-homology of $\mathfrak{M}$ is an equivariant multiplicative vertex algebra.


title: Pulse-adding of Temporal Dissipative Solitons: Resonant Homoclinic Points and the Orbit Flip of Case B with Delay

abstract: We numerically investigate the branching of temporally localized, two-pulse periodic traveling waves from one-pulse periodic traveling waves with non-oscillating tails in delay differential equations (DDEs) with large delay. Solutions of this type are commonly referred to as temporal dissipative solitons (TDSs) in applications, and we adopt this term here. We show by means of a prototypical example that -- analogous to traveling pulses in reaction-diffusion partial differential equations (PDEs) -- the branching of two-pulse TDSs from one-pulse TDSs with non-oscillating tails is organized by codimension-two homoclinic bifurcation points of a real saddle equilibrium in a corresponding traveling wave frame. We consider a generalization of Sandstede's model (a prototypical model for studying codimension-two homoclinic bifurcation points in ODEs) with an additional time-shift parameter, and use Auto07p and DDE-BIFTOOL to compute numerically the unfolding of these bifurcation points in the resulting DDE. We then interpret this model as the traveling wave equation for TDSs in a DDE with large delay by exploiting the reappearance of periodic solutions in DDEs. In doing so, we identify both the non-orientable resonant homoclinic bifurcation and the orbit flip bifurcation of case $\mathbf{B}$ as organizing centers for the existence of two-pulse TDSs in the DDE with large delay. Additionally, we discuss how folds of homoclinic bifurcations in an auxiliary system bound the existence region of TDSs in the DDE with large delay.


title: The noncommutative factor theorem for lattices in product groups

abstract: We prove a noncommutative Bader-Shalom factor theorem for lattices with dense projections in product groups. As an application of this result and our previous works, we obtain a noncommutative Margulis factor theorem for all irreducible lattices $\Gamma < G$ in higher rank semisimple algebraic groups. Namely, we give a complete description of all intermediate von Neumann subalgebras $\operatorname{L}(\Gamma) \subset M \subset \operatorname{L}(\Gamma \curvearrowright G/P)$ sitting between the group von Neumann algebra and the group measure space von Neumann algebra associated with the action on the Furstenberg-Poisson boundary.


title: FORQ-based Language Inclusion Formal Testing

abstract: We propose a novel algorithm to decide the language inclusion between (nondeterministic) B\"uchi automata, a PSPACE-complete problem. Our approach, like others before, leverage a notion of quasiorder to prune the search for a counterexample by discarding candidates which are subsumed by others for the quasiorder. Discarded candidates are guaranteed to not compromise the completeness of the algorithm. The novelty of our work lies in the quasiorder used to discard candidates. We introduce FORQs (family of right quasiorders) that we obtain by adapting the notion of family of right congruences put forward by Maler and Staiger in 1993. We define a FORQ-based inclusion algorithm which we prove correct and instantiate it for a specific FORQ, called the structural FORQ, induced by the B\"uchi automaton to the right of the inclusion sign. The resulting implementation, called FORKLIFT, scales up better than the state-of-the-art on a variety of benchmarks including benchmarks from program verification and theorem proving for word combinatorics.


title: Solving Poisson's equation for birth-death chains: Structure, instability, and accurate approximation

abstract: Poisson's equation plays a fundamental role as a tool for performance evaluation and optimization of Markov chains. For continuous-time birth-death chains with possibly unbounded transition and cost rates as addressed herein, when analytical solutions are unavailable its numerical solution can in theory be obtained by a simple forward recurrence. Yet, this may suffer from numerical instability, which can hide the structure of exact solutions. This paper presents three main contributions: (1) it establishes a structural result (convexity of the relative cost function) under mild conditions on transition and cost rates, which is relevant for proving structural properties of optimal policies in Markov decision models; (2) it elucidates the root cause, extent and prevalence of instability in numerical solutions by standard forward recurrence; and (3) it presents a novel forward-backward recurrence scheme to compute accurate numerical solutions. The results are applied to the accurate evaluation of the bias and the asymptotic variance, and are illustrated in an example.


title: A Proper Orthogonal Decomposition approach for parameters reduction of Single Shot Detector networks

abstract: As a major breakthrough in artificial intelligence and deep learning, Convolutional Neural Networks have achieved an impressive success in solving many problems in several fields including computer vision and image processing. Real-time performance, robustness of algorithms and fast training processes remain open problems in these contexts. In addition object recognition and detection are challenging tasks for resource-constrained embedded systems, commonly used in the industrial sector. To overcome these issues, we propose a dimensionality reduction framework based on Proper Orthogonal Decomposition, a classical model order reduction technique, in order to gain a reduction in the number of hyperparameters of the net. We have applied such framework to SSD300 architecture using PASCAL VOC dataset, demonstrating a reduction of the network dimension and a remarkable speedup in the fine-tuning of the network in a transfer learning context.


title: iCub Knows Where You Look: Exploiting Social Cues for Interactive Object Detection Learning

abstract: Performing joint interaction requires constant mutual monitoring of own actions and their effects on the other's behaviour. Such an action-effect monitoring is boosted by social cues and might result in an increasing sense of agency. Joint actions and joint attention are strictly correlated and both of them contribute to the formation of a precise temporal coordination. In human-robot interaction, the robot's ability to establish joint attention with a human partner and exploit various social cues to react accordingly is a crucial step in creating communicative robots. Along the social component, an effective human-robot interaction can be seen as a new method to improve and make the robot's learning process more natural and robust for a given task. In this work we use different social skills, such as mutual gaze, gaze following, speech and human face recognition, to develop an effective teacher-learner scenario tailored to visual object learning in dynamic environments. Experiments on the iCub robot demonstrate that the system allows the robot to learn new objects through a natural interaction with a human teacher in presence of distractors.


title: Type of Non-reciprocity in Fiber Sagnac Interferometer Induced by Geometric Phases

abstract: The non-reciprocity of Sagnac interferometer provides ultra-high sensitivity for parameter estimation and offers a wide range of applications, especially for optical fiber sensing. In this work, we study a new type of non-reciprocity existed in optical fiber Sagnac interferometer where the polarization dependent loss is taken into consideration. In particular, this non-reciprocity is irrelevant to the physical effects that being considered in previous studies, which originates from the geometric phases induced by continuous-weak-measurement. In consequence, it has a unique phenomenon of sudden phase transition, which may open a new way for the future design of high precision optical fiber sensors.