title: Reproducibility in machine learning for medical imaging

abstract: Reproducibility is a cornerstone of science, as the replication of findings is the process through which they become knowledge. It is widely considered that many fields of science are undergoing a reproducibility crisis. This has led to the publications of various guidelines in order to improve research reproducibility. This didactic chapter intends at being an introduction to reproducibility for researchers in the field of machine learning for medical imaging. We first distinguish between different types of reproducibility. For each of them, we aim at defining it, at describing the requirements to achieve it and at discussing its utility. The chapter ends with a discussion on the benefits of reproducibility and with a plea for a non-dogmatic approach to this concept and its implementation in research practice.


title: SELTO: Sample-Efficient Learned Topology Optimization

abstract: Recent developments in Deep Learning (DL) suggest a vast potential for Topology Optimization (TO). However, while there are some promising attempts, the subfield still lacks a firm footing regarding basic methods and datasets. We aim to address both points. First, we explore physics-based preprocessing and equivariant networks to create sample-efficient components for TO DL pipelines. We evaluate them in a large-scale ablation study using end-to-end supervised training. The results demonstrate a drastic improvement in sample efficiency and the predictions' physical correctness. Second, to improve comparability and future progress, we publish the two first TO datasets containing problems and corresponding ground truth solutions.


title: Empirical determination of the Bohr-Weisskopf effect in cesium and improved tests of precision atomic theory in searches for new physics

abstract: The finite distribution of the nuclear magnetic moment across the nucleus gives a contribution to the hyperfine structure known as the Bohr-Weisskopf (BW) effect. We have obtained an empirical value of -0.24(18)% for this effect in the ground and excited s states of atomic Cs-133. This value is found from historical muonic-atom measurements in combination with our muonic-atom and atomic many-body calculations. The effect differs by 0.5% in the hyperfine structure from the value found using the uniform magnetization distribution, which has been commonly employed in the precision heavy-atom community over the last several decades. We also deduce accurate values for the BW effect in other isotopes and states of cesium. These results enable cesium atomic wave functions to be tested in the nuclear region at an unprecedented 0.2% level, and are needed for the development of precision atomic many-body methods. This is important for increasing the discovery potential of precision atomic searches for new physics, in particular for atomic parity violation in cesium.


title: Coxeter systems with $2$-dimensional Davis complexes, growth rates and Perron numbers

abstract: In this paper, we study growth rates of Coxeter systems with Davis complexes of dimension at most $2$. We show that if the Euler characteristic $\chi$ of the nerve of a Coxeter system is vanishing (resp. positive), then its growth rate is a Salem (resp. a Pisot) number. In this way, we extend results due to Floyd and Parry. Moreover, in the case where $\chi$ is negative, we provide infinitely many non-hyperbolic Coxeter systems whose growth rates are Perron numbers.


title: Structured Optimization-Based Model Order Reduction for Parametric Systems

abstract: We develop an optimization-based algorithm for parametric model order reduction (PMOR) of linear time-invariant dynamical systems. Our method aims at minimizing the $\mathcal{H}_\infty \otimes \mathcal{L}_\infty$ approximation error in the frequency and parameter domain by an optimization of the reduced order model (ROM) matrices. State-of-the-art PMOR methods often compute several nonparametric ROMs for different parameter samples, which are then combined to a single parametric ROM. However, these parametric ROMs can have a low accuracy between the utilized sample points. In contrast, our optimization-based PMOR method minimizes the approximation error across the entire parameter domain. Moreover, due to our flexible approach of optimizing the system matrices directly, we can enforce favorable features such as a port-Hamiltonian structure in our ROMs across the entire parameter domain. Our method is an extension of the recently developed SOBMOR-algorithm to parametric systems. We extend both the ROM parameterization and the adaptive sampling procedure to the parametric case. Several numerical examples demonstrate the effectiveness and high accuracy of our method in a comparison with other PMOR methods.


title: (Eternal) Vertex Cover Number of Infinite and Finite Grid Graphs

abstract: In the eternal vertex cover problem, mobile guards on the vertices of a graph are used to defend it against an infinite sequence of attacks on its edges by moving to neighbor vertices. The eternal vertex cover problem consists in determining the minimum number of necessary guards. Motivated by previous literature, in this paper, we study the vertex cover and eternal vertex cover problems on regular grids, when passing from infinite to finite version of the same graphs, and we provide either coinciding or very tight lower and upper bounds on the number of necessary guards. To this aim, we generalize the notions of minimum vertex covers and minimum eternal vertex cover in order to be well defined for infinite grids.


title: Presentable categories internal to an $\infty$-topos

abstract: We develop the theory of presentable categories internal to an $\infty$-topos $\mathcal{B}$. We provide several characterisations of these, including a description in terms of the associated sheaves of $\infty$-categories as well as an internal analogue of the Lurie-Simpson characterisation of presentable $\infty$-categories. For the latter, we develop a theory of internal filteredness and study the associated notion of accessible internal categories. We furthermore establish various structural results about presentable internal categories, such as adjoint functor theorems and a symmetric monoidal structure. We use the latter to identify the $\infty$-category of presentable $\infty$-categories which are tensored over $\mathcal{B}$ as a full subcategory of the $\infty$-category of presentable internal categories in $\mathcal{B}$. We provide two applications of our framework: in the first, we derive a general version of Diaconescu's theorem for $\infty$-topoi. In the second, we characterise dualisable objects in the $\infty$-category of modules over an $\mathbb{E}_\infty$-ring in $\mathcal{B}$ as internally compact objects.


title: Bias Challenges in Counterfactual Data Augmentation

abstract: Deep learning models tend not to be out-of-distribution robust primarily due to their reliance on spurious features to solve the task. Counterfactual data augmentations provide a general way of (approximately) achieving representations that are counterfactual-invariant to spurious features, a requirement for out-of-distribution (OOD) robustness. In this work, we show that counterfactual data augmentations may not achieve the desired counterfactual-invariance if the augmentation is performed by a context-guessing machine, an abstract machine that guesses the most-likely context of a given input. We theoretically analyze the invariance imposed by such counterfactual data augmentations and describe an exemplar NLP task where counterfactual data augmentation by a context-guessing machine does not lead to robust OOD classifiers.


title: Classical to Quantum Software Migration Journey Begins: A Conceptual Readiness Model

abstract: With recent advances in the development of more powerful quantum computers, the re-search area of quantum software engineering is emerging. Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently to provide concepts, principles, and guidelines to address the ongoing challenges of quantum software development. The importance of the topic motivated us to voice out a call for action to develop a readiness model that will help an organization assess its capability of migration from classic software engineering to quan-tum software engineering. The proposed model will be based on the existing multivocal literature, industrial empirical study, understanding of the process areas, challenging factors and enablers that could impact the quantum software engineering process. We believe that the proposed model will provide a roadmap for software development organizations to measure their readiness concerning to transformation from classic to quantum software engineering by suggesting best practices and highlighting important process areas, challeng-es, and enablers.


title: Ordinal Graph Gamma Belief Network for Social Recommender Systems

abstract: To build recommender systems that not only consider user-item interactions represented as ordinal variables, but also exploit the social network describing the relationships between the users, we develop a hierarchical Bayesian model termed ordinal graph factor analysis (OGFA), which jointly models user-item and user-user interactions. OGFA not only achieves good recommendation performance, but also extracts interpretable latent factors corresponding to representative user preferences. We further extend OGFA to ordinal graph gamma belief network, which is a multi-stochastic-layer deep probabilistic model that captures the user preferences and social communities at multiple semantic levels. For efficient inference, we develop a parallel hybrid Gibbs-EM algorithm, which exploits the sparsity of the graphs and is scalable to large datasets. Our experimental results show that the proposed models not only outperform recent baselines on recommendation datasets with explicit or implicit feedback, but also provide interpretable latent representations.


title: Multimessenger Picture of J1048+7143

abstract: We draw the multimessenger picture of J1048+7143, a flat-spectrum radio quasar known to show quasi-periodic oscillations in the $\gamma$-ray regime. We generate the adaptively-binned Fermi Large Area Telescope light curve of this source above 168 MeV to find three major $\gamma$-ray flares of the source, such that all three flares consist of two-two sharp sub-flares. Based on radio interferometric imaging data taken with the Very Large Array, we find that the kpc-scale jet is directed towards west, while our analysis of $8.6$-GHz very long baseline interferometry data, mostly taken with the Very Long Baseline Array, revealed signatures of two pc-scale jets, one pointing towards east, one pointing towards south. We suggest that the misalignment of the kpc- and pc-scale jets is a revealing signature of jet precession. We also analyze the $5$-GHz total flux density curve of J1048+7143 taken with the Nanshan(Ur) and RATAN-600 single dish radio telescopes and find two complete radio flares, slightly lagging behind the $\gamma$-ray flares. We model the timing of $\gamma$-ray flares as signature of the spin-orbit precession in a supermassive black hole binary, and find that the binary could merge in the next $\sim 60-80$ years. We show that both the Pulsar Timing Arrays and the planned Laser Interferometer Space Antenna lack sensitivity and frequency coverage to detect the hypothetical supermassive black hole binary in J1048$+$7143. We argue that the identification of sources similar to J1048+7143 plays a key role to reveal periodic high-energy sources in the distant Universe.


title: Reliable Reserve-Crew Scheduling for Airlines

abstract: We study the practical setting in which regular- and reserve-crew schedules are dynamically maintained up to the day of executing the schedule. At each day preceding the execution of the schedule, disruptions occur due to sudden unavailability of personnel, making the planned regular and reserve-crew schedules infeasible for its execution day. This paper studies the fundamental question how to repair the schedules' infeasibility in the days preceding the execution, taking into account labor regulations. We propose a robust repair strategy that maintains flexibility in order to cope with additional future disruptions. The flexibility in reserve-crew usage is explicitly considered through evaluating the expected shortfall of the reserve-crew schedule based on a Markov chain formulation. The core of our approach relies on iteratively solving a set-covering formulation, which we call the Robust Crew Recovery Problem, which encapsulates this flexibility notion for reserve crew usage. A tailored branch-and-price algorithm is developed for solving the Robust Crew Recovery Problem to optimality. The corresponding pricing problem is efficiently solved by a newly developed pulse algorithm. Based on actual data from a medium-sized hub-and-spoke airline, we show that embracing our approach leads to fewer flight cancellations and fewer last-minute alterations, compared to repairing disrupted schedules without considering our robust measure.


title: Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive

abstract: Twelve years ago, the European Union began with the gradual phase-out of energy-inefficient incandescent light bulbs under the Ecodesign Directive. In this work, we implement an agent-based simulation to model the consumer behaviour in the EU lighting market with the goal to explain consumer behaviour and explore alternative policies. Agents are based on the Consumat II model, have individual preferences based on empirical market research, gather experience from past actions, and socially interact with each other in a dynamic environment. Our findings suggest that the adoption of energy-friendly lighting alternatives was hindered by a low level of consumer interest combined with high-enough levels of satisfaction about incandescent bulbs and that information campaigns can partially address this. These findings offer insight into both individual-level driving forces of behaviour and society-level outcomes in a niche market. With this, our work demonstrates the strengths of agent-based models for policy generation and evaluation.


title: Continuous head-related transfer function representation based on hyperspherical harmonics

abstract: Expressing head-related transfer functions (HRTFs) in spherical harmonic (SH) domain has been thoroughly studied as a method of obtaining continuity over space. However, HRTFs are functions not only of direction but also of frequency. This paper presents an extension of the SH-based method, utilizing hyperspherical harmonics (HSHs) to obtain an HRTF representation that is continuous over both space and frequency. The application of the HSH approximation results in a relatively small set of coefficients which can be decoded into HRTF values at any direction and frequency. The paper discusses results obtained by applying the method to magnitude spectra extracted from exemplary HRTF measurements. The HRTF representations based on SHs and HSHs exhibit similar reproduction accuracy, with the latter one featuring continuity over both space and frequency and requiring much lower number of coefficients. The developed HSH-based continuous functional model can serve multiple purposes, such as interpolation, compression or parametrization for machine-learning applications.


title: RIS-aided Wireless Communication with $1$-bit Discrete Optimization for Signal Enhancement

abstract: In recent years, a brand-new technology, reconfigurable intelligent surface (RIS) has been widely studied for reconfiguring the wireless propagation environment. RIS is an artificial surface of electromagnetic material that is capable of customizing the propagation of the wave impinging upon it. Utilizing RIS for communication service like signal enhancement usually lead to non-convex optimization problems. Existing optimization methods either suffers from scalability issues for $N$ number of RIS elements large, or may lead to suboptimal solutions in some scenario. In this paper, we propose a divide-and-sort (DaS) discrete optimization approach, that is guaranteed to find the global optimal phase shifts for $1$-bit RIS, and has time complexity $\mathcal{O}(N \log(N))$. Numerical experiments show that the proposed approach achieves a better ``performance--complexity tradeoff'' over other methods for $1$-bit RIS.


title: A challenge-based survey of e-recruitment recommendation systems

abstract: E-recruitment recommendation systems recommend jobs to job seekers and job seekers to recruiters. The recommendations are generated based on the suitability of the job seekers for the positions as well as the job seekers' and the recruiters' preferences. Therefore, e-recruitment recommendation systems could greatly impact job seekers' careers. Moreover, by affecting the hiring processes of the companies, e-recruitment recommendation systems play an important role in shaping the companies' competitive edge in the market. Hence, the domain of e-recruitment recommendation deserves specific attention. Existing surveys on this topic tend to discuss past studies from the algorithmic perspective, e.g., by categorizing them into collaborative filtering, content based, and hybrid methods. This survey, instead, takes a complementary, challenge-based approach, which we believe might be more practical to developers facing a concrete e-recruitment design task with a specific set of challenges, as well as to researchers looking for impactful research projects in this domain. We first identify the main challenges in the e-recruitment recommendation research. Next, we discuss how those challenges have been studied in the literature. Finally, we provide future research directions that we consider promising in the e-recruitment recommendation domain.


title: New Solvable System OF 2 First-Order Nonlinearly-Coupled Ordinary Differential Equations

abstract: In this short communication we introduce a rather simple autonomous system of 2 nonlinearly-coupled first-order Ordinary Differential Equations (ODEs), whose initial-values problem is explicitly solvable by algebraic operations. Its ODEs feature 2 right-hand sides which are the ratios of 2 homogeneous polynomials of first degree divided by the same homogeneous polynomial of second degree. The model features only 4 arbitrary parameters. We also report its isochronous variant featuring 4 nonlinearly-coupled first-order ODEs in 4 dependent variables, featuring 9 arbitrary parameters.


title: Rook Theory of the Etzion-Silberstein Conjecture

abstract: In 2009, Etzion and Siberstein proposed a conjecture on the largest dimension of a linear space of matrices over a finite field in which all nonzero matrices are supported on a Ferrers diagram and have rank bounded below by a given integer. Although several cases of the conjecture have been established in the past decade, proving or disproving it remains to date a wide open problem. In this paper, we take a new look at the Etzion-Siberstein Conjecture, investigating its connection with rook theory. Our results show that the combinatorics behind this open problem is closely linked to the theory of $q$-rook polynomials associated with Ferrers diagrams, as defined by Garsia and Remmel. In passing, we give a closed formula for the trailing degree of the $q$-rook polynomial associated with a Ferrers diagram in terms of the cardinalities of its diagonals. The combinatorial approach taken in this paper allows us to establish some new instances of the Etzion-Silberstein Conjecture using a non-constructive argument. We also solve the asymptotic version of the conjecture over large finite fields, answering a current open question.


title: Categorical generalization of MacDowell Mansouri gravity coupled to Kalb Ramond fields

abstract: In this work we generalize the MacDowell-Mansouri theory of gravity using strict 2-groups. To achieve this, we construct the categorical generalization of the ISO(4,1) group, which we call the de Sitter 2-group. We then proceed to generalize the MacDowell-Mansouri theory in two different ways. First, as a Yang-Mills-type theory, where the symmetry is explicitly broken to obtain an Einstein-Cartan theory coupled to Kalb-Ramond fields. And second, by using the categorical generalization of the BF theory, called 2-BF theory, which after the addition of some symmetry breaking and constraint terms gives the same Einstein-Cartan theory coupled to Kalb-Ramond fields plus some extra topological terms.


title: Explicit models of $\ell_1$-preduals and the weak$^*$ fixed point property in $\ell_1$

abstract: We provide a concrete isometric description of all the preduals of $\ell_1$ for which the standard basis in $\ell_1$ has a finite number of $w^*$-limit points. Then, we apply this result to give an example of an $\ell_1$-predual $X$ such that its dual $X^*$ lacks the weak$^*$ fixed point property for nonexpansive mappings (briefly, $w^*$-FPP), but $X$ does not contain an isometric copy of any hyperplane $W_{\alpha}$ of the space $c$ of convergent sequences such that $W_\alpha$ is a predual of $\ell_1$ and $W_\alpha^*$ lacks the $w^*$-FPP. This answers a question left open in the 2017 paper of the present authors.


title: Flat bands, edge states and possible topological phases in a branching fractal

abstract: We address the problem of analytically extracting a countable infinity of flat, non-dispersive bands in a periodic array of cells that comprise branching Vicsek geometries of higher and higher generations. Through a geometric construction, followed by an exact real space renormalization scheme we unravel clusters of compact localized states, corresponding to densely packed groups of flat bands, sometimes in close proximity with the dispersive ones, as the unit cells accommodate Vicsek fractal motifs of higher and higher generations. In such periodic arrays, energy bands close and open at energies that can be calculated exactly, and the precise correlation between the overlap integrals describing the tight binding systems can be worked out. The possibility of a topological phase transition is pointed out through an explicit construction of the edge states, weakly protected against disorder, though it is argued that the typical bulk-boundary correspondence is not holding good in such cases.


title: Constraints on the positron emission from pulsar populations with AMS-02 data

abstract: Electron and positron fluxes in cosmic rays are currently measured with unprecedented precision by AMS-02 up to TeV energies, and represent unique probes for the local properties of our Galaxy. The interpretation of their spectra is at present still debated, especially for the excess of positrons above 10 GeV. The hypothesis that pulsars can significantly contribute to this excess has been consolidated after the observation of gamma-ray halos at TeV energies of a few degree size around Geminga and Monogem pulsars. However, the spatial and energetic Galactic distribution of pulsars and the details of the positron production, acceleration and release from these sources are not yet fully understood. I will describe how we can use the high-precision AMS-02 positron data to constrain the main properties of the Galactic pulsar population and of the positron acceleration needed to explain the observed fluxes. This is achieved by simulating a large number of Galactic pulsar populations, following the most recent self-consistent modelings for the pulsar spin-down and evolution properties, calibrated on catalog observations. By fitting the positron AMS-02 data together with a secondary component due to collisions of primary cosmic rays with the interstellar medium, we determine the physical parameters of the pulsars dominating the positron flux, and assess the impact of different assumptions on radial distributions, spin-down properties, Galactic propagation scenarios and positron emission time.


title: On the distribution of the Cantor-integers

abstract: For any positive integers $p\geq 3$, let $A$ be a proper subset of $\{0,1,\cdots, p-1\}$ with $\sharp A=s\geq 2$. We focus on so-called Cantor-integers $\{a_n\}_{n\geq 1}$, an arithmetic function, which consist of these positive integers $n$ such that all the digits in the $p$-ary expansion of $n$ belong to $A$. We show that $\left\{\frac{x}{(\mu_{\mathfrak{C}}([0,x]))^{\log_s p}}: x\in\mathfrak{C}\cap[\frac{a}{p},1]\right\}$ is precisely the set of the accumulation points of $\left\{\frac{a_n}{n^{\log_s p}}\right\}_{n\geq 1}$, which is an interval $[m,M]$, where $n^{\log_s p}$ is just the growth order of $a_n$ and $\mu_{\mathfrak{C}}$ is the self-similar measure supported on the corresponding Cantor set $\mathfrak{C}=\{x\in[0,1]: \text{ the digits in the } p \text{-ary expansion of } x \text{ belong to } A\}$, $m=\inf\left\{\frac{a_n}{n^{\log_s p}}:n\geq 1\right\}$, $M=\sup\left\{\frac{a_n}{n^{\log_s p}}:n\geq 1\right\}$ and $a=\min\{a\in A:a\neq 0\}$. We further show that the sequence $\left\{\frac{a_n}{n^{\log_s p}}\right\}_{n\geq 1}$ does not have the cumulative distribution function, but has the logarithmic distribution function (give by a specific Lebesgue integral). In particular, $m=\frac{q(s-1)+r}{p-1}, M=\frac{q(p-1)+pr}{p-1}$ if the set $A$ consists of all the integers in $\{0,1,\cdots, p-1\}$ which have the same remainder $r\in\{0,1,\cdots,q-1\}$ modulus $q$ for some positive integer $q \geq 2$.


title: Existential characterizations of monadic NIP

abstract: We show that if a universal theory is not monadically NIP, then this is witnessed by a canonical configuration defined by an existential formula. As a consequence, we show that a hereditary class of relational structures is NIP (resp. stable) if and only if it is monadically NIP (resp. monadically stable). As another consequence, we show that if such a class is not monadically NIP, then it has superexponential growth rate.


title: Stability of normal quantum-fluid mixtures

abstract: Mixtures of quantum fluids, that is gases or liquids, are considered with the emphasis on the conditions characterizing the stability of the mixtures. The mixtures, that can be formed by cold atoms or molecules, are assumed to be quantum requiring the description using quantum techniques, but not so cold that to exhibit superfluidity or superconductivity. Reviewing the stability conditions of such normal quantum systems is important for the comparison of these conditions with the stability conditions of, e.g., Bose-condensed mixtures. The behavior of observable quantities under the stratification of quantum mixtures is discussed.


title: Data Augmentation by Selecting Mixed Classes Considering Distance Between Classes

abstract: Data augmentation is an essential technique for improving recognition accuracy in object recognition using deep learning. Methods that generate mixed data from multiple data sets, such as mixup, can acquire new diversity that is not included in the training data, and thus contribute significantly to accuracy improvement. However, since the data selected for mixing are randomly sampled throughout the training process, there are cases where appropriate classes or data are not selected. In this study, we propose a data augmentation method that calculates the distance between classes based on class probabilities and can select data from suitable classes to be mixed in the training process. Mixture data is dynamically adjusted according to the training trend of each class to facilitate training. The proposed method is applied in combination with conventional methods for generating mixed data. Evaluation experiments show that the proposed method improves recognition performance on general and long-tailed image recognition datasets.


title: Fluctuations of Quantum Lattice Systems under Boltzmann Evolution

abstract: For quantum lattice systems a Boltzmann-type evolution arrises according to results of Hugenholtz in the limit of N-scaled time evolution together with an interaction scaled as N^-1/2. According ti Illner-Neunzert this passage to an irreversible dynamics can only happen when the initial state satisfies stronger assumptions than the evolved state. We show that the initial state satisfies space clustering as it is necessary for the construction of a fluctuation algebra whereas the evolved state allows fluctuations only in an appropriate local scaling but not on a mesoscopic level.


title: Sobolev embeddings for kinetic Fokker-Planck equations

abstract: We introduce intrinsic Sobolev-Slobodeckij spaces for a class of ultra-parabolic Kolmogorov type operators satisfying the weak H\"ormander condition. We prove continuous embeddings into Lorentz and intrinsic H\"older spaces. We also prove approximation and interpolation inequalities by means of an intrinsic Taylor expansion, extending analogous results for H\"older spaces. The embedding at first order is proved by adapting a method by Luc Tartar which only exploits scaling properties of the intrinsic quasi-norm, while for higher orders we use uniform kernel estimates.


title: X-ray detection of a nova in the fireball phase

abstract: Novae are caused by runaway thermonuclear burning in the hydrogen-rich envelopes of accreting white dwarfs, which results in the envelope to expand rapidly and to eject most of its mass. For more than 30 years, nova theory has predicted the existence of a "fireball" phase following directly the runaway fusion, which should be observable as a short, bright, and soft X-ray flash before the nova becomes visible in the optical. Here we present the unequivocal detection of an extremely bright and very soft X-ray flash of the classical Galactic nova YZ Reticuli 11 hours prior to its 9 mag optical brightening. No X-ray source was detected 4 hours before and after the event, constraining the duration of the flash to shorter than 8 hours. In agreement with theoretical predictions, the source's spectral shape is consistent with a black body of $3.27^{+0.11}_{-0.33}\times 10^5$ K ($28.2^{+0.9}_{-2.8}$ eV), or a white dwarf atmosphere, radiating at the Eddington luminosity, with a photosphere that is only slightly larger than a typical white dwarf. This detection of the expanding white dwarf photosphere before the ejection of the envelope provides the last link of the predicted photospheric lightcurve evolution and opens a new window to measure the total nova energetics.


title: Robust and Scalable Content-and-Structure Indexing (Extended Version)

abstract: Frequent queries on semi-structured hierarchical data are Content-and-Structure (CAS) queries that filter data items based on their location in the hierarchical structure and their value for some attribute. We propose the Robust and Scalable Content-and-Structure (RSCAS) index to efficiently answer CAS queries on big semi-structured data. To get an index that is robust against queries with varying selectivities we introduce a novel dynamic interleaving that merges the path and value dimensions of composite keys in a balanced manner. We store interleaved keys in our trie-based RSCAS index, which efficiently supports a wide range of CAS queries, including queries with wildcards and descendant axes. We implement RSCAS as a log-structured merge (LSM) tree to scale it to data-intensive applications with a high insertion rate. We illustrate RSCAS's robustness and scalability by indexing data from the Software Heritage (SWH) archive, which is the world's largest, publicly-available source code archive.


title: Sustaining Dynamic Traffic in Dense Urban Areas with High Altitude Platform Stations (HAPS)

abstract: The impact of information and communication technologies on global energy consumption is increasing every year, and mobile networks account for a significant portion of it. More than 50% of the total energy consumption of mobile networks is issued from radio access networks (RANs), due mainly to the rapid penetration of data-intensive applications and the increasing heterogeneity, dynamicity, and unpredictability of traffic. To tackle these high-demanding problems, RAN densification through the installation of additional base stations in high-demand areas is conventionally used. However, this leads to inefficient energy use and over-provisioning issues. In this context, high altitude platform stations (HAPS) may be used to complement RANs and sustain their services in densely populated areas, where traffic can peak unpredictably. Due to their wide coverage areas, substantial communication payloads, and green energy model, HAPS super macro base stations (SMBSs) are capable of handling the massive and dynamic mobile data traffic of ground users. In this paper, we show how HAPS-SMBSs can complement RANs and serve the dynamic and unpredictable traffic demands of users in an energy-efficient manner. Through the simulation of a case study, we demonstrate the performance of a HAPS-SMBS compared to the conventional RAN densification method and analyze the two approaches in terms of sustainability.


title: Operational solar flare forecasting via video-based deep learning

abstract: Operational flare forecasting aims at providing predictions that can be used to make decisions, typically at a daily scale, about the space weather impacts of flare occurrence. This study shows that video-based deep learning can be used for operational purposes when the training and validation sets used for the network optimization are generated while accounting for the periodicity of the solar cycle. Specifically, the paper describes an algorithm that can be applied to build up sets of active regions that are balanced according to the flare class rates associated to a specific cycle phase. These sets are used to train and validate a Long-term Recurrent Convolutional Network made of a combination of a convolutional neural network and a Long-Short Memory network. The reliability of this approach is assessed in the case of two prediction windows containing the solar storm of March 2015 and September 2017, respectively.


title: Exploitees vs. Exploiters: Dynamics of Exploitation

abstract: Either saying that the market is structured to promote workforce exploitation in some sections or the people who participate there benefit from the existing structure and exploit, exploitation happens - systematically or opportunistically. This research presents a perspective on how workforce exploitation may occur when vulnerable groups voluntarily seek employment in the labor market.


title: Semantic-Preserving Adversarial Code Comprehension

abstract: Based on the tremendous success of pre-trained language models (PrLMs) for source code comprehension tasks, current literature studies either ways to further improve the performance (generalization) of PrLMs, or their robustness against adversarial attacks. However, they have to compromise on the trade-off between the two aspects and none of them consider improving both sides in an effective and practical way. To fill this gap, we propose Semantic-Preserving Adversarial Code Embeddings (SPACE) to find the worst-case semantic-preserving attacks while forcing the model to predict the correct labels under these worst cases. Experiments and analysis demonstrate that SPACE can stay robust against state-of-the-art attacks while boosting the performance of PrLMs for code.


title: Holes and magnetic polarons in a triangular lattice antiferromagnet

abstract: The intricate interplay between charge motion and magnetic order in geometrically frustrated lattices is central for the properties of many two-dimensional quantum materials. The triangular lattice antiferromagnet is a canonical example of a frustrated system, and here we analyse the dynamics of a hole in such a lattice focusing on observables that have become accessible in a new generation of experiments. Using the $t$-$J$ model, we solve the problem exactly within linear spin wave theory in the limit of strong magnetic interactions, showing that the ground state is described by a coherent state of spin waves. The derivation highlights the crucial role played by the interaction between a static hole and the neighboring spins, which originates in the geometric frustration and has often been omitted in earlier works. Furthermore, we show that the non-equilibrium dynamics after a hole has abruptly been inserted at a lattice site is given exactly by a coherent state with time-dependent oscillatory coefficients. Physically, this describes a burst of magnetic frustration propagating through only two-thirds of the lattice sites, since a destructive interference of spin waves leaves spins parallel to that removed by the hole unperturbed. After the wave has propagated through the lattice, the magnetization relaxes to that of the ground state. We then use our analytical solution to benchmark the widely used self-consistent Born approximation (SCBA), showing that it is very accurate also for a triangular lattice. The magnetic polaron spectrum is analysed for general magnetic interactions using the SCBA, and we compare our results with those for a square lattice.


title: GGI Lectures on Entropy, Operator Algebras and Black Holes

abstract: These are slightly extended notes for my lectures at the workshop ``Reconstructing the Gravitational Hologram'' held at Galileo-Galilei Institute, Florence in June 2022, v2 changes to sec. 9 on generalized second law


title: Operation and Design of Ferroelectric FETs for a BEOL Compatible Device Implementation

abstract: We present a study based on numerical simulations and comparative analysis of recent experimental data concerning the operation and design of FeFETs. Our results show that a proper consideration of charge trapping in the ferroelectric-dielectric stack is indispensable to reconcile simulations with experiments, and to attain the desired hysteretic behavior of the current-voltage characteristics. Then we analyze a few design options for polysilicon channel FeFETs and, in particular, we study the influence of the channel thickness and doping concentration on the memory window, and on the ratio between the polarization dependent, high and low resistance state.


title: On topological data analysis for structural dynamics: an introduction to persistent homology

abstract: Topological methods can provide a way of proposing new metrics and methods of scrutinising data, that otherwise may be overlooked. In this work, a method of quantifying the shape of data, via a topic called topological data analysis will be introduced. The main tool within topological data analysis (TDA) is persistent homology. Persistent homology is a method of quantifying the shape of data over a range of length scales. The required background and a method of computing persistent homology is briefly discussed in this work. Ideas from topological data analysis are then used for nonlinear dynamics to analyse some common attractors, by calculating their embedding dimension, and then to assess their general topologies. A method will also be proposed, that uses topological data analysis to determine the optimal delay for a time-delay embedding. TDA will also be applied to a Z24 Bridge case study in structural health monitoring, where it will be used to scrutinise different data partitions, classified by the conditions at which the data were collected. A metric, from topological data analysis, is used to compare data between the partitions. The results presented demonstrate that the presence of damage alters the manifold shape more significantly than the effects present from temperature.


title: Signs of Language: Embodied Sign Language Fingerspelling Acquisition from Demonstrations for Human-Robot Interaction

abstract: Learning fine-grained movements is a challenging topic in robotics, particularly in the context of robotic hands. One specific instance of this challenge is the acquisition of fingerspelling sign language in robots. In this paper, we propose an approach for learning dexterous motor imitation from video examples without additional information. To achieve this, we first build a URDF model of a robotic hand with a single actuator for each joint. We then leverage pre-trained deep vision models to extract the 3D pose of the hand from RGB videos. Next, using state-of-the-art reinforcement learning algorithms for motion imitation (namely, proximal policy optimization and soft actor-critic), we train a policy to reproduce the movement extracted from the demonstrations. We identify the optimal set of hyperparameters for imitation based on a reference motion. Finally, we demonstrate the generalizability of our approach by testing it on six different tasks, corresponding to fingerspelled letters. Our results show that our approach is able to successfully imitate these fine-grained movements without additional information, highlighting its potential for real-world applications in robotics.


title: On using VeriFast, VerCors, Plural, and KeY to check object usage

abstract: Typestates are a notion of behavioral types that describe protocols for stateful objects, specifying the available methods for each state, in terms of a state machine. Usually, objects with protocol are either forced to be used in a linear way, which restricts what a programmer can do, or deductive verification is required to verify programs where these objects may be aliased. To evaluate the strengths and limitations of static verification tools for object-oriented languages in checking the correct use of shared objects with protocol, we present a survey on four tools for Java: VeriFast, VerCors, Plural, and KeY. We describe the implementation of a file reader and of a linked-list, check for each tool its ability to statically guarantee protocol compliance as well as protocol completion, even when objects are shared in collections, and evaluate the programmer's effort in making the code acceptable to these tools.


title: Central schemes for networked scalar conservation laws

abstract: We propose a novel scheme to numerically solve scalar conservation laws on networks without the necessity to solve Riemann problems at the junction. The scheme is derived using the relaxation system introduced in [Jin and Xin, Comm. Pure Appl. Math. 48(3), 235-276 (1995)] and taking the relaxation limit also at the nodes of the network. The scheme is mass conservative and yields well defined and easy-to-compute coupling conditions even for general networks. We discuss higher order extension of the scheme and applications to traffic flow and two-phase flow. In the former we compare with results obtained in literature.


title: Effects of Planetesimal Scattering: Explaining the Observed Offsets from Period Ratios 3:2 and 2:1

abstract: The observed deficit and excess of adjacent planet pairs with period ratios narrow and wide of 3:2 and 2:1, the nominal values for the corresponding mean motion resonances (MMRs), have intrigued many. Previously, using a suite of simulations, Chatterjee & Ford (2015) showed that the excess above the 2:1 MMR can be naturally explained if planet pairs, initially trapped in the 2:1 MMR, dynamically interact with nearby planetesimals in a disk. We build on this work by: a) updating the census of discovered planet pairs, b) extending the study to initially non-resonant as well as resonant planet pairs, c) using initial planet and orbital properties directly guided by those observed, and d) extending the initial period ratios to include both 2:1 and 3:2. We find that 1) interactions with planetesimals typically increase the period ratios of both initially resonant and non-resonant planet pairs; 2) starting from an initially flat period ratio distribution for systems across 3:2 and 2:1, these interactions can naturally create the deficits observed narrow of these period ratios; 3) contribution from initially resonant planet pairs is needed to explain the observed levels of excess wide of 3:2; 4) a mixture model where about 25% (1%) planet pairs were initially trapped into 3:2 (2:1) MMRs is favored to explain both the observed deficit and excess of systems across these period ratios, however, up to a few percent of planet pairs are expected to remain in MMR today.


title: Automated MIMO Motion Feedforward Control: Efficient Learning through Data-Driven Gradients via Adjoint Experiments and Stochastic Approximation

abstract: Parameterized feedforward control is at the basis of many successful control applications with varying references. The aim of this paper is to develop an efficient data-driven approach to learn the feedforward parameters for MIMO systems. To this end, a cost criterion is minimized using a stochastic gradient descent algorithm, in which both the search direction and step size are determined through system experiments. In particular, the search direction is chosen as an unbiased estimate of the gradient which is obtained from a single experiment, regardless of the size of the MIMO system. The approach is illustrated using a simulation example, in which it is shown to be superior to a deterministic method in terms of convergence speed and thus experimental cost.


title: Running streams of a ferroelectric nematic liquid crystal on a lithium niobate surface

abstract: Sessile droplets of a ferroelectric nematic liquid crystalline material were exposed to surface electric fields produced by pyroelectric and photogalvanic (photovoltaic) effects in X-cut iron-doped lithium niobate crystals. The resulting dynamic processes were monitored by polarization optical (video)microscopy (POM). During heating/cooling cycles, at first, the droplets change their shape from spherical to extended ellipsoidal. Then they start to move rapidly along the surface electric field, i.e., along the crystal's polar axis (c-axis). During this motion, several droplets merge into running streams (tendrils) extending towards the edges of the top surface area. Finally, practically all liquid crystalline material is transported from the top surface to the side surfaces of the crystal. At stabilized temperature, laser illumination of the assembly causes dynamic processes that are localized to the illuminated area. Also, in this case, the LC droplets merge into several tendril-like formations that are preferentially oriented along the c-axis of the crystal. The pattern of tendrils fluctuates with time, but it persists as long as the illumination is present. In this case, the LC material is transported between the central and the edge region of the illuminated area.


title: Quantum theory of cross-correlation heterodyne detection

abstract: Cross-correlation heterodyne detectors exhibit the potential for suppression of the detection quantum noise below shot noise without use of optical squeezing for capturing weak optical signals in low frequency bands. To understand the underlying mechanism, we develop a quantum theory to describe the noise performance of cross-correlation heterodyne detectors. By calculating the cross spectral density (CSD) of the photocurrent fluctuations from a cross-correlation heterodyne detector, we prove that its noise performance can break the shot noise limit and exceed that of a regular heterodyne detector for detection of coherent light. When the detected light signal is in a squeezed state, we show that the corresponding CSD value is negative and discuss how a negative CSD may be explored to improve the output signal-to-noise ratio of the detector contaminated by classical noises through tuning the parameter of the degree of squeezing. This work may find itself useful in space-based gravitational wave searching and a variety of other scientific research activities, such as observation of vacuum magnetic birefringence and telecommunications.


title: The role of entanglement for enhancing the efficiency of quantum kernels towards classification

abstract: Quantum kernels are considered as potential resources to illustrate benefits of quantum computing in machine learning. Considering the impact of hyperparameters on the performance of a classical machine learning model, it is imperative to identify promising hyperparameters using quantum kernel methods in order to achieve quantum advantages. In this work, we analyse and classify sentiments of textual data using a new quantum kernel based on linear and full entangled circuits as hyperparameters for controlling the correlation among words. We also find that the use of linear and full entanglement further controls the expressivity of the Quantum Support Vector Machine (QSVM). In addition, we also compare the efficiency of the proposed circuit with other quantum circuits and classical machine learning algorithms. Our results show that the proposed fully entangled circuit outperforms all other fully or linearly entangled circuits in addition to classical algorithms for most of the features. In fact, as the feature increases the efficiency of our proposed fully entangled model also increases significantly.


title: Machine-enhanced CP-asymmetries in the electroweak sector

abstract: The violation of charge conjugation (C) and parity (P) symmetries are a requirement for the observed dominance of matter over antimatter in the Universe. As an established effect of beyond the Standard Model physics, this could point towards additional CP violation in the Higgs-gauge sector. The phenomenological footprint of the associated anomalous couplings can be small, and designing measurement strategies with the highest sensitivity is therefore of the utmost importance in order to maximise the discovery potential of the Large Hadron Collider (LHC). There are, however, very few measurements of CP-sensitive observables in processes that probe the weak-boson self-interactions. In this article, we study the sensitivity to new sources of CP violation for a range of experimentally-accessible electroweak processes, including $W\gamma$ production, $WW$ production via photon fusion, electroweak $Zjj$ production, electroweak $ZZjj$ production, and electroweak $W^\pm W^\pm jj$ production. We study simple angular observables as well CP-sensitive observables constructed using the outputs of machine-learning (ML) algorithms. We find that the ML-constructed CP-sensitive observables improve the sensitivity to CP-violating effects by up to a factor of five, depending on the process. We also find that inclusive $W\gamma$ and electroweak $Zjj$ production have the potential to set the best possible constraints on certain CP-odd operators in the Higgs-gauge sector of dimension-six effective field theories.


title: What could KIDSpec, a new MKID spectrograph, do on the ELT?

abstract: Microwave Kinetic Inductance Detectors (MKIDs) are beginning to become more prominent in astronomical instrumentation, due to their sensitivity, low noise, high pixel count for superconducting detectors, and inherent energy and time resolving capability. The Kinetic Inductance Detector Spectrometer (KIDSpec) will take advantage of these features, KIDSpec is a medium resolution MKID spectrograph for the optical/near infrared. KIDSpec will contribute to many science areas particularly those involving short and/or faint observations. When short period binary systems are found, typical CCD detectors will struggle to characterise these systems due to the very short exposures required, causing errors as large as the estimated parameter itself. The KIDSpec Simulator (KSIM) has been developed to investigate how much KIDSpec could improve on this. KIDSpec was simulated on an ELT class telescope to find the extent of its potential, and it was found that KIDSpec could observe a $m_{V}\approx{24}$ with an SNR of 5 for a 10s exposure at 1420 spectral resolution. This would mean that KIDSpec on an ELT class telescope could spectroscopically follow up on any LSST photometric discoveries of LISA verification sources.


title: On finding short reconfiguration sequences between independent sets

abstract: Assume we are given a graph $G$, two independent sets $S$ and $T$ in $G$ of size $k \geq 1$, and a positive integer $\ell \geq 1$. The goal is to decide whether there exists a sequence $\langle I_0, I_1, ..., I_\ell \rangle$ of independent sets such that for all $j \in \{0,\ldots,\ell-1\}$ the set $I_j$ is an independent set of size $k$, $I_0 = S$, $I_\ell = T$, and $I_{j+1}$ is obtained from $I_j$ by a predetermined reconfiguration rule. We consider two reconfiguration rules. Intuitively, we view each independent set as a collection of tokens placed on the vertices of the graph. Then, the Token Sliding Optimization (TSO) problem asks whether there exists a sequence of at most $\ell$ steps that transforms $S$ into $T$, where at each step we are allowed to slide one token from a vertex to an unoccupied neighboring vertex. In the Token Jumping Optimization (TJO) problem, at each step, we are allowed to jump one token from a vertex to any other unoccupied vertex of the graph. Both TSO and TJO are known to be fixed-parameter tractable when parameterized by $\ell$ on nowhere dense classes of graphs. In this work, we show that both problems are fixed-parameter tractable for parameter $k + \ell + d$ on $d$-degenerate graphs as well as for parameter $|M| + \ell + \Delta$ on graphs having a modulator $M$ whose deletion leaves a graph of maximum degree $\Delta$. We complement these result by showing that for parameter $\ell$ alone both problems become W[1]-hard already on $2$-degenerate graphs. Our positive result makes use of the notion of independence covering families introduced by Lokshtanov et al. Finally, we show that using such families one can obtain a simpler and unified algorithm for the standard Token Jumping Reachability problem parameterized by $k$ on both degenerate and nowhere dense classes of graphs.


title: Secure state estimation over Markov wireless communication channels (extended version)

abstract: This note studies state estimation in wireless networked control systems with secrecy against eavesdropping. Specifically, a sensor transmits a system state information to the estimator over a legitimate user link, and an eavesdropper overhears these data over its link independent of the user link. Each connection may be affected by packet losses and is modeled by a finite-state Markov channel (FSMC), an abstraction widely used to design wireless communication systems. This paper presents a novel concept of optimal mean square expected secrecy over FSMCs and delineates the design of a secrecy parameter requiring the user mean square estimation error (MSE) to be bounded and eavesdropper MSE unbounded. We illustrate the developed results on an example of an inverted pendulum on a cart whose parameters are estimated remotely over a wireless link exposed to an eavesdropper.


title: A new upper bound on the minimum degree of minimal Ramsey graphs

abstract: We prove that $s_r(K_{k+1}) = O(k^3 r^3 \log^3 k)$, where $s_r(K_k)$ is the Ramsey parameter introduced by Burr, Erd\H{o}s and Lov\'{a}sz in 1976, which is defined as the smallest minimum degree of a graph $G$ such that any $r$-colouring of the edges of $G$ contains a monochromatic $K_k$, whereas no proper subgraph of $G$ has this property.


title: Personalized Federated Learning with Communication Compression

abstract: In contrast to training traditional machine learning (ML) models in data centers, federated learning (FL) trains ML models over local datasets contained on resource-constrained heterogeneous edge devices. Existing FL algorithms aim to learn a single global model for all participating devices, which may not be helpful to all devices participating in the training due to the heterogeneity of the data across the devices. Recently, Hanzely and Richt\'{a}rik (2020) proposed a new formulation for training personalized FL models aimed at balancing the trade-off between the traditional global model and the local models that could be trained by individual devices using their private data only. They derived a new algorithm, called Loopless Gradient Descent (L2GD), to solve it and showed that this algorithms leads to improved communication complexity guarantees in regimes when more personalization is required. In this paper, we equip their L2GD algorithm with a bidirectional compression mechanism to further reduce the communication bottleneck between the local devices and the server. Unlike other compression-based algorithms used in the FL-setting, our compressed L2GD algorithm operates on a probabilistic communication protocol, where communication does not happen on a fixed schedule. Moreover, our compressed L2GD algorithm maintains a similar convergence rate as vanilla SGD without compression. To empirically validate the efficiency of our algorithm, we perform diverse numerical experiments on both convex and non-convex problems and using various compression techniques.


title: Type checking data structures more complex than trees

abstract: Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normally, these structures are handled with destructive assignments to heaps, which is opposed to a purely functional programming style and makes verification difficult. We propose a new purely functional language, $\lambda_{GT}$, that handles graphs as immutable, first-class data structures with a pattern matching mechanism based on Graph Transformation and developed a new type system, $F_{GT}$, for the language. Our approach is in contrast with the analysis of pointer manipulation programs using separation logic, shape analysis, etc. in that (i) we do not consider destructive operations but pattern matchings over graphs provided by the new higher-level language that abstract pointers and heaps away and that (ii) we pursue what properties can be established automatically using a rather simple typing framework.


title: Bounding the Rademacher Complexity of Fourier neural operators

abstract: A Fourier neural operator (FNO) is one of the physics-inspired machine learning methods. In particular, it is a neural operator. In recent times, several types of neural operators have been developed, e.g., deep operator networks, Graph neural operator (GNO), and Multiwavelet-based operator (MWTO). Compared with other models, the FNO is computationally efficient and can learn nonlinear operators between function spaces independent of a certain finite basis. In this study, we investigated the bounding of the Rademacher complexity of the FNO based on specific group norms. Using capacity based on these norms, we bound the generalization error of the model. In addition, we investigated the correlation between the empirical generalization error and the proposed capacity of FNO. From the perspective of our result, we inferred that the type of group norms determines the information about the weights and architecture of the FNO model stored in the capacity. And then, we confirmed these inferences through experiments. Based on this fact, we gained insight into the impact of the number of modes used in the FNO model on the generalization error. And we got experimental results that followed our insights.


title: Shifting superconducting dome of two-dimensional hole-doped Hubbard model by a dry Fermi sea: enhanced d-wave pairing in the overdoped regime

abstract: Motivated by the presence of an extremely small electron pocket in the electronic band structure of infinite-layer (IL) nickelate superconductors, we systematically explore the superconducting (SC) properties of a two-dimensional Hubbard model influenced by an additional conduction band with small occupancy (dry Fermi sea). Our dynamic cluster quantum Monte Carlo calculations demonstrated the unusual impact of this additional dry metallic layer, which shifts the SC dome of the correlated Hubbard layer towards the overdoped regime, namely the $d$-wave SC can be enhanced (suppressed) in the overdoped (underdoped) regime. Simultaneously, the pseudogap (PG) crossover line shifts to the same higher doping regime as well. Our analysis revealed the interplay of the effective pairing interaction, pair-field susceptibility, and antiferromagnetic spin fluctuation in the underlying non-monotonic physics. We postulate on the physical picture of SC dome shift in terms of the Kondo-type electron-hole binding in the case of a dry additional conduction band. Our investigation provided valuable new insights on tuning the SC properties via external dry bands.


title: Detecting Network-based Internet Censorship via Latent Feature Representation Learning

abstract: Internet censorship is a phenomenon of societal importance and attracts investigation from multiple disciplines. Several research groups, such as Censored Planet, have deployed large scale Internet measurement platforms to collect network reachability data. However, existing studies generally rely on manually designed rules (i.e., using censorship fingerprints) to detect network-based Internet censorship from the data. While this rule-based approach yields a high true positive detection rate, it suffers from several challenges: it requires human expertise, is laborious, and cannot detect any censorship not captured by the rules. Seeking to overcome these challenges, we design and evaluate a classification model based on latent feature representation learning and an image-based classification model to detect network-based Internet censorship. To infer latent feature representations fromnetwork reachability data, we propose a sequence-to-sequence autoencoder to capture the structure and the order of data elements in the data. To estimate the probability of censorship events from the inferred latent features, we rely on a densely connected multi-layer neural network model. Our image-based classification model encodes a network reachability data record as a gray-scale image and classifies the image as censored or not using a dense convolutional neural network. We compare and evaluate both approaches using data sets from Censored Planet via a hold-out evaluation. Both classification models are capable of detecting network-based Internet censorship as we were able to identify instances of censorship not detected by the known fingerprints. Latent feature representations likely encode more nuances in the data since the latent feature learning approach discovers a greater quantity, and a more diverse set, of new censorship instances.


title: The test of exponentiality based on the mean residual life function revisited

abstract: We revisit the family of goodness-of-fit tests for exponentiality based on the mean residual life time proposed by Baringhaus & Henze (2008). We motivate the test statistic by a characterisation of Shanbhag (1970) and provide an alternative representation, which leads to simple and short proofs for the known theory and an easy to access covariance structure of the limiting Gaussian process under the null hypothesis. Explicit formulas for the eigenvalues and eigenfunctions of the operator associated with the limit covariance are derived using results on weighted Brownian bridges. In addition we provide further asymptotic theory under fixed alternatives and derive approximate Bahadur efficiencies, which provide an insight into the choice of the tuning parameter with regard to the power performance of the tests.


title: Measurement of the branching fractions and $CP$ asymmetries of $B^+ \rightarrow \pi^+ \pi^0$ and $B^+ \rightarrow K^+ \pi^0$ decays in 2019-2021 Belle II data

abstract: We determine the branching fractions ${\mathcal{B}}$ and $CP$ asymmetries ${\mathcal{A}_{{\it CP}}}$ of the decays $B^+ \rightarrow \pi^+ \pi^0$ and $B^+ \rightarrow K^+ \pi^0$. The results are based on a data set containing 198 million bottom-antibottom meson pairs corresponding to an integrated luminosity of $190\;\text{fb}^{-1}$ recorded by the Belle II detector in energy-asymmetric electron-positron collisions at the $\Upsilon (4S)$ resonance. We measure ${\mathcal{B}(B^+ \rightarrow \pi^+ \pi^0) = (6.12 \pm 0.53 \pm 0.53)\times 10^{-6}}$, ${\mathcal{B}(B^+ \rightarrow K^+ \pi^0) = (14.30 \pm 0.69 \pm 0.79)\times 10^{-6}}$, ${\mathcal{A}_{{\it CP}}(B^+ \rightarrow \pi^+ \pi^0) = -0.085 \pm 0.085 \pm 0.019}$, and ${\mathcal{A}_{{\it CP}}(B^+ \rightarrow K^+ \pi^0) = 0.014 \pm 0.047 \pm 0.010}$, where the first uncertainties are statistical and the second are systematic. These results improve a previous Belle II measurement and agree with the world averages.


title: Cross-Coupled Iterative Learning Control for Complex Systems: A Monotonically Convergent and Computationally Efficient Approach

abstract: Cross-coupled iterative learning control (ILC) can achieve high performance for manufacturing applications in which tracking a contour is essential for the quality of a product. The aim of this paper is to develop a framework for norm-optimal cross-coupled ILC that enables the use of exact contour errors that are calculated offline, and iteration- and time-varying weights. Conditions for the monotonic convergence of this iteration-varying ILC algorithm are developed. In addition, a resource-efficient implementation is proposed in which the ILC update law is reframed as a linear quadratic tracking problem, reducing the computational load significantly. The approach is illustrated on a simulation example.


title: Multiple Control Barrier Functions: An Application to Reactive Obstacle Avoidance for a Multi-steering Tractor-trailer System

abstract: Control barrier functions (CBFs) recently introduced a systematic way to guarantee the system's safety through set invariance. Together with a nominal control method, it establishes a safety-critical control mechanism. The resulting safety constraints can be enforced as hard constraints in quadratic programming (QP) optimization, which rectifies the nominal control law based on the set of safe inputs. In this work, we introduce a multiple CBFs scheme which enforces several safety constraints with high relative degrees. This control structure is essential in many challenging robotic applications that need to meet several safety criteria simultaneously. In order to illustrate the capabilities of the proposed method, we have addressed the problem of reactive obstacle avoidance for a class of tractor-trailer systems. Safety is one of the fundamental issues in autonomous tractor-trailer systems design. The lack of fast response due to poor maneuverability makes reactive obstacle avoidance difficult for these systems. We develop a control structure based on a multiple CBFs scheme for a multi-steering tractor-trailer system to ensure a collision-free maneuver for both the tractor and trailer in the presence of several obstacles. Model predictive control is selected as the nominal tracking controller, and the proposed control strategy is tested in several challenging scenarios.


title: Modeling X-ray Photoelectron Spectroscopy of Macromolecules Using GW

abstract: We propose a simple additive approach to simulate X-ray photoelectron spectra (XPS) of macromolecules based on the $GW$ method. Single-shot $GW$ ($G_0W_0$) is a promising technique to compute accurate core-electron binding energies (BEs). However, its application to large molecules is still unfeasible. To circumvent the computational cost of $G_0W_0$, we break the macromolecule into tractable building blocks, such as isolated monomers, and sum up the theoretical spectra of each component, weighted by their molar ratio. In this work, we provide a first proof of concept by applying the method to four test polymers and one copolymer, and show that it leads to an excellent agreement with experiments. The method could be used to retrieve the composition of unknown materials and study chemical reactions, by comparing the simulated spectra with experimental ones.


title: Singular valuations and the Hadwiger theorem on convex functions

abstract: We give a characterization of smooth, rotation and dually epi-translation invariant valuations and use this result to obtain a new proof of the Hadwiger theorem on convex functions. We also give a description of the construction of the functional intrinsic volumes using integration over the differential cycle and provide a new representation of these functionals as principal value integrals with respect to the Hessian measures.


title: Pilot-Wave Theory without Nonlocality

abstract: It is generally taken to be established that no local hidden-variable theory is possible. That conclusion applies if our world is a thread, where a thread is a world where particles follow trajectories, as in Pilot-Wave theory. But if our world is taken to be a set of threads locality can be recovered. Our world can be described by a many-threads theory, as defined by Jeffrey Barrett in the opening quote. Particles do not follow trajectories because a particle in our world is a set of elemental particles following different trajectories, each in a thread. The so-called elements of a superposition are construed as subsets in such a way that a particle in our world only has definite position if all its set-theoretic elements are at corresponding positions in each thread. Wave function becomes a three-dimensional density distribution of a particle's subset measures, the stuff of an electron probability cloud. Current Pilot-Wave theory provides a non-relativistic dynamics for the elemental particles, approximated by Many Interacting Worlds theory. EPR-Bell non-locality does not apply because the relevant measurement outcomes in the absolute elsewhere of an observer are always in superposition.


title: Prototypical few-shot segmentation for cross-institution male pelvic structures with spatial registration

abstract: The prowess that makes few-shot learning desirable in medical image analysis is the efficient use of the support image data, which are labelled to classify or segment new classes, a task that otherwise requires substantially more training images and expert annotations. This work describes a fully 3D prototypical few-shot segmentation algorithm, such that the trained networks can be effectively adapted to clinically interesting structures that are absent in training, using only a few labelled images from a different institute. First, to compensate for the widely recognised spatial variability between institutions in episodic adaptation of novel classes, a novel spatial registration mechanism is integrated into prototypical learning, consisting of a segmentation head and an spatial alignment module. Second, to assist the training with observed imperfect alignment, support mask conditioning module is proposed to further utilise the annotation available from the support images. Extensive experiments are presented in an application of segmenting eight anatomical structures important for interventional planning, using a data set of 589 pelvic T2-weighted MR images, acquired at seven institutes. The results demonstrate the efficacy in each of the 3D formulation, the spatial registration, and the support mask conditioning, all of which made positive contributions independently or collectively. Compared with the previously proposed 2D alternatives, the few-shot segmentation performance was improved with statistical significance, regardless whether the support data come from the same or different institutes.


title: How Much Does Prosody Help Turn-taking? Investigations using Voice Activity Projection Models

abstract: Turn-taking is a fundamental aspect of human communication and can be described as the ability to take turns, project upcoming turn shifts, and supply backchannels at appropriate locations throughout a conversation. In this work, we investigate the role of prosody in turn-taking using the recently proposed Voice Activity Projection model, which incrementally models the upcoming speech activity of the interlocutors in a self-supervised manner, without relying on explicit annotation of turn-taking events, or the explicit modeling of prosodic features. Through manipulation of the speech signal, we investigate how these models implicitly utilize prosodic information. We show that these systems learn to utilize various prosodic aspects of speech both on aggregate quantitative metrics of long-form conversations and on single utterances specifically designed to depend on prosody.


title: Locating the flickering source in polars

abstract: Flickering is a fast variability observed in all accreting systems. It has been shown that in most cataclysmic variables flickering originates in the accretion disc. However, in polars the strong magnetic field of the white dwarf prevents the formation of an accretion disc. Therefore, the origin of flickering in polars is not clear. We analyzed the changes of flickering amplitude with orbital phase in seven polars in order to reveal its site of origin. We show that at least in some polars there are two separate sources of flickering. Moreover, at least one of the sources is located at a large distance from the main source of light in the system.


title: Trap-assisted complexes in cold atom-ion collisions

abstract: We theoretically investigate the trap-assisted formation of complexes in atom-ion collisions and their impact on the stability of the trapped ion. The time-dependent potential of the Paul trap facilitates the formation of temporary complexes by reducing the energy of the atom, which gets temporarily stuck in the atom-ion potential. As a result, those complexes significantly impact termolecular reactions leading to molecular ion formation via three-body recombination. We find that complex formation is more pronounced in systems with heavy atoms, but the mass has no influence on the lifetime of the transient state. Instead, the complex formation rate strongly depends on the amplitude of the ion's micromotion. We also show that complex formation persists even in the case of a time-independent harmonic trap. In this case, we find higher formation rates and longer lifetimes than the Paul trap, indicating that the atom-ion complex plays an essential role in atom-ion mixtures in optical traps.


title: Embedding the MIS problem for non-local graphs with bounded degree using 3D arrays of atoms

abstract: In the past years, many quantum algorithms have been proposed to tackle hard combinatorial problems. These algorithms, which have been studied in depth in complexity theory, are at the heart of many industrial applications. In particular, the Maximum Independent Set (MIS) is a known NP-hard problem that can be naturally encoded in Rydberg atom arrays. By representing a graph with an ensemble of neutral atoms one can leverage Rydberg dynamics to naturally encode the constraints and the solution to MIS. However, the classes of graphs that can be directly mapped node-to-atom on such devices are limited to Unit-Disk graphs. In this setting, the inherent locality of the graphs can be leveraged by classical polynomial-time approximation schemes (PTAS) that guarantee an {\epsilon}-approximate solution. In this work, we present a deterministic and polynomial-time construction to embed a large family of non-local graphs in 3D atomic arrays. This construction is a first crucial step towards tackling combinatorial tasks on quantum computers for which no classical efficient {\epsilon}-approximation scheme exists.


title: Overcoming photon blockade in circuit QED single-atom maser with engineered metastability and strong coupling

abstract: Reaching high cavity population with a coherent pump in the strong-coupling regime of a single-atom laser is impossible due to the photon blockade effect. In this work, we experimentally demonstrate that in a single-atom maser based on a transmon strongly coupled to two resonators it is possible to pump over a dozen of photons into the system. The first high-quality resonator plays a role of usual lasing cavity, and the second one presents a controlled dissipation channel, bolstering population inversion, and modifies the energy level structure to lift the blockade. As a confirmation of lasing action, we observe conventional laser features such as the narrowing of emission linewidth and external signal amplification. Additionally, we report unique single-atom features: self-quenching and several lasing thresholds.


title: Exploring Domain Incremental Video Highlights Detection with the LiveFood Benchmark

abstract: Video highlights detection (VHD) is an active research field in computer vision, aiming to locate the most user-appealing clips given raw video inputs. However, most VHD methods are based on the closed world assumption, i.e., a fixed number of highlight categories is defined in advance and all training data are available beforehand. Consequently, existing methods have poor scalability with respect to increasing highlight domains and training data. To address above issues, we propose a novel video highlights detection method named Global Prototype Encoding (GPE) to learn incrementally for adapting to new domains via parameterized prototypes. To facilitate this new research direction, we collect a finely annotated dataset termed LiveFood, including over 5,100 live gourmet videos that consist of four domains: ingredients, cooking, presentation, and eating. To the best of our knowledge, this is the first work to explore video highlights detection in the incremental learning setting, opening up new land to apply VHD for practical scenarios where both the concerned highlight domains and training data increase over time. We demonstrate the effectiveness of GPE through extensive experiments. Notably, GPE surpasses popular domain incremental learning methods on LiveFood, achieving significant mAP improvements on all domains. Concerning the classic datasets, GPE also yields comparable performance as previous arts. The code is available at: https://github.com/ForeverPs/IncrementalVHD_GPE.


title: LF-VISLAM: A SLAM Framework for Large Field-of-View Cameras with Negative Imaging Plane on Mobile Agents

abstract: Simultaneous Localization And Mapping (SLAM) has become a crucial aspect in the fields of autonomous driving and robotics. One crucial component of visual SLAM is the Field-of-View (FoV) of the camera, as a larger FoV allows for a wider range of surrounding elements and features to be perceived. However, when the FoV of the camera reaches the negative half-plane, traditional methods for representing image feature points using [u,v,1]^T become ineffective. While the panoramic FoV is advantageous for loop closure, its benefits are not easily realized under large-attitude-angle differences where loop-closure frames cannot be easily matched by existing methods. As loop closure on wide-FoV panoramic data further comes with a large number of outliers, traditional outlier rejection methods are not directly applicable. To address these issues, we propose LF-VISLAM, a Visual Inertial SLAM framework for cameras with extremely Large FoV with loop closure. A three-dimensional vector with unit length is introduced to effectively represent feature points even on the negative half-plane. The attitude information of the SLAM system is leveraged to guide the feature point detection of the loop closure. Additionally, a new outlier rejection method based on the unit length representation is integrated into the loop closure module. We collect the PALVIO dataset using a Panoramic Annular Lens (PAL) system with an entire FoV of 360{\deg}x(40{\deg}~120{\deg}) and an Inertial Measurement Unit (IMU) for Visual Inertial Odometry (VIO) to address the lack of panoramic SLAM datasets. Experiments on the established PALVIO and public datasets show that the proposed LF-VISLAM outperforms state-of-the-art SLAM methods. Our code will be open-sourced at https://github.com/flysoaryun/LF-VISLAM.


title: Manifold Rewiring for Unlabeled Imaging

abstract: Geometric data analysis relies on graphs that are either given as input or inferred from data. These graphs are often treated as "correct" when solving downstream tasks such as graph signal denoising. But real-world graphs are known to contain missing and spurious links. Similarly, graphs inferred from noisy data will be perturbed. We thus define and study the problem of graph denoising, as opposed to graph signal denoising, and propose an approach based on link-prediction graph neural networks. We focus in particular on neighborhood graphs over point clouds sampled from low-dimensional manifolds, such as those arising in imaging inverse problems and exploratory data analysis. We illustrate our graph denoising framework on regular synthetic graphs and then apply it to single-particle cryo-EM where the measurements are corrupted by very high levels of noise. Due to this degradation, the initial graph is contaminated by noise, leading to missing or spurious edges. We show that our proposed graph denoising algorithm improves the state-of-the-art performance of multi-frequency vector diffusion maps.


title: On the application of the generating series for nonlinear systems with polynomial stiffness

abstract: Analytical solutions to nonlinear differential equations -- where they exist at all -- can often be very difficult to find. For example, Duffing's equation for a system with cubic stiffness requires the use of elliptic functions in the exact solution. A system with general polynomial stiffness would be even more difficult to solve analytically, if such a solution was even to exist. Perturbation and series solutions are possible, but become increasingly demanding as the order of solution increases. This paper aims to revisit, present and discuss a geometric/algebraic method of determining system response which lends itself to automation. The method, originally due to Fliess and co-workers, makes use of the generating series and shuffle product, mathematical ideas founded in differential geometry and abstract algebra. A family of nonlinear differential equations with polynomial stiffness is considered; the process of manipulating a series expansion into the generating series follows and is shown to provide a recursive schematic, which is amenable to computer algebra. The inverse Laplace-Borel transform is then applied to derive a time-domain response. New solutions are presented for systems with general polynomial stiffness, both for deterministic and Gaussian white-noise excitation


title: Resource Allocation to Agents with Restrictions: Maximizing Likelihood with Minimum Compromise

abstract: Many scenarios where agents with restrictions compete for resources can be cast as maximum matching problems on bipartite graphs. Our focus is on resource allocation problems where agents may have restrictions that make them incompatible with some resources. We assume that a Principle chooses a maximum matching randomly so that each agent is matched to a resource with some probability. Agents would like to improve their chances of being matched by modifying their restrictions within certain limits. The Principle's goal is to advise an unsatisfied agent to relax its restrictions so that the total cost of relaxation is within a budget (chosen by the agent) and the increase in the probability of being assigned a resource is maximized. We establish hardness results for some variants of this budget-constrained maximization problem and present algorithmic results for other variants. We experimentally evaluate our methods on synthetic datasets as well as on two novel real-world datasets: a vacation activities dataset and a classrooms dataset.


title: Chaotic string motion in a near pp-wave limit

abstract: We revisit classical string motion in a near pp-wave limit of AdS$_5\times$S$^5$. It is known that the Toda lattice models are integrable. But if the exponential potential is truncated at finite order, then the system may become non-integrable. In particular, when the exponential potential in a three-particle periodic Toda chain is truncated at the third order of the dynamical variables, the resulting system becomes a well-known non-integrable system, Henon-Heiles model. The same thing may happen in a near pp-wave limit of AdS$_5\times$S$^5$, on which the classical string motion becomes chaotic.


title: Halevi's extension of the Euler-Drude model for plasmonic systems

abstract: The nonlocal response of plasmonic materials and nanostructures is usually described within a hydrodynamic approach which is based on the Euler-Drude equation. In this work, we reconsider this approach within linear response theory and employ Halevi's extension to this standard hydrodynamic model. After discussing the impact of this improved model, which we term the Halevi model, on the propagation of longitudinal volume modes, we accordingly extend the Mie-Ruppin theory. Specifically, we derive the dispersion relation of cylindrical surface plasmons. This reveals a nonlocal, collisional damping term which is related to earlier phenomenological considerations of limited-mean-free-path effects and influences both, peak width and amplitude of corresponding resonances in the extinction spectrum. In addition, we transfer the Halevi model into the time-domain thereby revealing a novel, diffusive contribution to the current which shares certain similarities with Cattaneo-type currents and analyze the resulting hybrid, diffusive-wave-like motion. Further, we discuss the relation of the Halevi model to other approaches commonly used in the literature. Finally, we demonstrate how to implement the Halevi model into the Discontinuous-Galerkin Time-Domain finite-element Maxwell solver and are able to identify an oscillatory contribution to the diffusive current. The Halevi model thus captures a number of relevant features beyond the standard hydrodynamic model. Contrary to other extensions of the standard hydrodynamic model, its use in time-domain Maxwell solvers is straightforward -- especially due its affinity to a class of descriptions that allow for a clear distinction between bulk and surface response. This is of particular importance for applications in nano-plasmonics where nano-gap structures and other nano-scale features have to be modeled efficiently and accurately.


title: Stochastic Geometry-based Analysis of Multi-Purpose UAVs for Package and Data Delivery

abstract: Using drones for communications and transportation is drawing great attention in many practical scenarios, such as package delivery and providing additional wireless coverage. However, the increasing demand for UAVs from industry and academia will cause aerial traffic conflicts in the future. This, in turn, motivates the idea of this paper: multi-purpose UAVs, acting as aerial wireless data relays and means of aerial transportation simultaneously, to deliver packages and data at the same time. This paper aims to analyze the feasibility of using drones to collect and deliver data from the Internet of Things (IoT) devices to terrestrial base stations (TBSs) while delivering packages from warehouses to residential areas. We propose an algorithm to optimize the trajectory of UAVs to maximize the size of collected/delivered data while minimizing the total round trip time subject to the limited onboard battery of UAVs. Specifically, we use tools from stochastic geometry to model the locations of the IoT clusters and the TBSs and study the system performance with respect to energy efficiency, average size of collected/delivered data, and package delivery time. Our numerical results reveal that multi-functional UAVs have great potential to enhance the efficiency of both communication and transportation networks.


title: Singlet exciton optics and phonon-mediated dynamics in oligoacene semiconductor crystals

abstract: Organic semiconductor crystals stand out as an efficient, cheap and diverse platform for realising optoelectronic applications. The optical response of these crystals is governed by a rich tapestry of exciton physics. So far, little is known on the phonon-driven singlet exciton dynamics in this class of materials. In this joint theory-experiment work, we combine the fabrication of a high-quality oligoacene semiconductor crystal and characterization via photoluminescence measurements with a sophisticated approach to the microscopic modeling in these crystals. This allows us to investigate singlet exciton optics and dynamics. We predict phonon-bottleneck effects in pentacene crystals, where we find dark excitons acting as crucial phonon-mediated relaxation scattering channels. While the efficient singlet fission in pentacene crystals hampers the experimental observation of this bottleneck effect, we reveal both in theory and experiment a distinct polarisation- and temperature-dependence in absorption and photoluminescence spectra of tetracene crystals, including microscopic origin of exciton linewidths, the activation of the higher Davydov states at large temperatures, and polarisation-dependent quenching of specific exciton resonances. Our joint theory-experiment study represents a significant advance in microscopic understanding of singlet exciton optics and dynamics in oligoacene crystals.


title: Isoclinism and factor set in regular Hom-Lie Superalgebras

abstract: Hom-Lie superalgebras can be considered as the deformation of Lie superalgebras; which are $\mathbb{Z}_2$-graded generalization of Hom-Lie algebras. The motivation of this paper is to introduce the concept of isoclinism and factor set in regular Hom-Lie superalgebras. Finally, we obtain that two finite same dimensional regular Hom-Lie superalgebras are isoclinic if and only if they are isomorphic.


title: Exact solutions for viscous Marangoni spreading

abstract: When surface-active molecules are released at a liquid interface, their spreading dynamics is controlled by Marangoni flows. Though such Marangoni spreading was investigated in different limits, exact solutions remain very few. Here we consider the spreading of an insoluble surfactant along the interface of a deep fluid layer. For two-dimensional Stokes flows, it was recently shown that the non-linear transport problem can be exactly mapped to a complex Burgers equation [Crowdy, SIAM J. Appl. Math. 81, 2526 (2021)]. We first present a very simple derivation of this equation. We then provide fully explicit solutions and find that varying the initial surfactant distribution - pulse, hole, or periodic - results in distinct spreading behaviors. By obtaining the fundamental solution, we also discuss the influence of surface diffusion. We identify situations where spreading can be described as an effective diffusion process but observe that this approximation is not generally valid. Finally, the case of a three-dimensional flow with axial symmetry is briefly considered. Our findings should provide reference solutions for Marangoni spreading, that may be tested experimentally with fluorescent or photoswitchable surfactants.


title: Nucleonic metamodelling in light of multimessenger, PREX-II and CREX data

abstract: The need of reconciling our understanding of the behavior of hadronic matter across a wide range of densities, especially at the time when data from multimessenger observations and novel experimental facilities are flooding in, has provided new challenges to the nuclear models. Particularly, the density dependence of the isovector channel of the nuclear energy functionals seems hard to pin down if experiments like PREX-II (or PREX) and CREX are required to be taken on the same footing. We put to test this anomaly in a semi-agnostic modelling technique, by performing a full Bayesian analysis of static properties of neutron stars, together with global properties of nuclei as binding energy, charge radii and neutron skin calculated at the semi-classical level. Our results show that the interplay between bulk and surface properties, and the importance of high order empirical parameters that effectively decouple the subsaturation and the supersaturation density regime, might partially explain the tension between the different measurements and observations. If the surface behaviors, however, are decoupled from the bulk properties, we found a rather harmonious situation among experimental and observational data.


title: The role of rotation on the formation of second generation stars in globular clusters

abstract: By means of 3D hydrodynamic simulations, we explore the effects of rotation in the formation of second-generation (SG) stars in globular clusters (GC). Our simulations follow the SG formation in a first-generation (FG) internally rotating GC; SG stars form out of FG asymptotic giant branch (AGB) ejecta and external pristine gas accreted by the system. We have explored two different initial rotational velocity profiles for the FG cluster and two different inclinations of the rotational axis with respect to the direction of motion of the external infalling gas, whose density has also been varied. For a low (10^-24 g cm^-3) external gas density, a disk of SG helium-enhanced stars is formed. The SG is characterized by distinct chemo-dynamical phase space patterns: it shows a more rapid rotation than the FG with the helium-enhanced SG subsystem rotating more rapidly than the moderate helium-enhanced one. In models with high external gas density (10^-23 g cm^-3), the inner SG disc is disrupted by the early arrival of external gas and only a small fraction of highly enhanced helium stars preserves the rotation acquired at birth. Variations in the inclination angle between the rotation axis and the direction of the infalling gas and the velocity profile can slightly alter the extent of the stellar disc and the rotational amplitude. No significant variation has been found in the timespan of our simulations when changing the inclination angle between the rotation axis and the direction of the infalling gas, while different velocity profiles can slightly alter the extent of the stellar disc and the rotational amplitude. The results of our simulations illustrate the complex link between dynamical and chemical properties of multiple populations and provide new elements for the interpretation of observational studies and future investigations of the dynamics of multiple-population GCs.


title: Evolution of trust in a hierarchical population with punishing investors

abstract: Trust plays an essential role in the development of human society. According to the standard trust game, an investor decides whether to keep or transfer a certain portion of initial stake to a trustee. In the latter case, the stake is enhanced to signal the value of trust. The trustee then chooses how much to return to the investor. We here distinguish two types of investors and two types of trustees who can learn from each other. While a trustee can be trustworthy or untrustworthy, an investor could be normal or punishing one. The latter strategy punishes both untrustworthy trustees and normal investors who are reluctant to control misbehaving trustees. Importantly, we assume a hierarchical population where the portion of investors and trustees is fixed. By means of replicator equation approach, we study the $N$-player trust game and calculate the level of trust and trustworthiness. We find that the introduction of punishment can induce a stable coexistence state between punishing investors and trustworthy trustees. Furthermore, an intermediate fraction of investors can better promote the evolution of trust when the punishment intensity is low. For more intensive punishment, however, a higher fraction of investors can be more efficient to elevate the trust level. In addition, we reveal that appropriate increase of the punishment intensity can enlarge the attraction domain of the coexistence state.


title: Charmoniumlike resonant explanation on the newly observed $X(3960)$

abstract: Stimulated by the observation of the newly $X(3960)$ observed by the LHCb collaboration, we adopt the one-boson-exchange model and consider the $S-D$ wave mixing effects to study the $D_s\bar{D}_s/D^*\bar{D}^*/D_s^*\bar{D}_s^*$ interactions with $I(J^{PC})=0(0^{++})$. After producing the phase shifts of this coupled channel systems, our results show that there can exist a charmoniumlike resonance, whose obtained mass and width can both well match with the experimental data of the newly observed $X(3960)$. We also find that the $D^*\bar{D}^*$ system plays an important role in the formation of the newly observed $X(3960)$ as a charmoniumlike resonance, and the $D_s^*\bar{D}_s^*$ system makes a significant contribution to the resonant width. As a byproduct, we perform a coupled channel analysis on the $D^*\bar{D}^*/D_s\bar{D}_s^*/D_s^*\bar{D}_s^*$ interactions with $I(J^{PC})=0(1^{+-})$, our results can predict the existence of the $D_s\bar{D}_s^*$ molecule with $1^{+-}$ and the $D_s^*\bar{D}_s^*$ molecule with $1^{+-}$. Their widths are around several and several to several tens MeV, respectively. Experimental searches for these two possible charmoniumlike molecular candidates can be helpful to verify our proposal.


title: A Lagrangian program detecting the Weighted Fermat-Steiner-Frechet multitree for a Frechet $N-$multisimplex in the $N-$dimensional Euclidean Space

abstract: In this paper, we introduce the Fermat-Steiner-Frechet problem for a given $\frac{N(N+1)}{2}-$tuple of positive real numbers determining the edge lengths of an $N-$simplex in $\mathbb{R}^{N},$ in order to study its solution called the "Fermat-Steiner-Frechet multitree," which consist of a union of Fermat-Steiner trees for all derived pairwise incongruent $N-$simplexes in the sense of Blumenthal, Herzog for $N=3$ and Dekster-Wilker for $N\ge 3.$ We obtain a method to determine the Fermat-Steiner Frechet multitree in $\mathbb{R}^{N}$ based on the theory of Lagrange multipliers, whose equality constraints depend on $N-1$ independent solutions of the inverse weighted Fermat problem for an $N-$simplex in $\mathbb{R}^{N}.$ A fundamental application of the Lagrangian program for the Fermat-Steiner Frechet problem in $\mathbb{R}^{N}$ is the detection of the Fermat-Steiner tree with global minimum length having $N-1$ equally weighted Fermat-Steiner points among $\frac{[\frac{N(N+1)}{2}]!}{(N+1)!}$ incongruent $N-$simplexes determined by an $\frac{N(N+1)}{2}-$tuple of consecutive natural numbers controlled by Dekster-Wilker, Blumenthal-Herzog conditions and enriched with the fundamental evolutionary processes of Nature (Minimum communication networks, minimum mass trasfer, maximum volume of incongruent simplexes). Furthermore, we obtain the unique solution of the inverse weighted Fermat problem, referring to the unique set of $(N+1)$ weights, which correspond to the vertices of an $N-$ boundary simplex in $\mathbb{R}^{N}.$