title: Beyond modeling: NLP Pipeline for efficient environmental policy analysis

abstract: As we enter the UN Decade on Ecosystem Restoration, creating effective incentive structures for forest and landscape restoration has never been more critical. Policy analysis is necessary for policymakers to understand the actors and rules involved in restoration in order to shift economic and financial incentives to the right places. Classical policy analysis is resource-intensive and complex, lacks comprehensive central information sources, and is prone to overlapping jurisdictions. We propose a Knowledge Management Framework based on Natural Language Processing (NLP) techniques that would tackle these challenges and automate repetitive tasks, reducing the policy analysis process from weeks to minutes. Our framework was designed in collaboration with policy analysis experts and made to be platform-, language- and policy-agnostic. In this paper, we describe the design of the NLP pipeline, review the state-of-the-art methods for each of its components, and discuss the challenges that rise when building a framework oriented towards policy analysis.


title: Variational Inference for Quantifying Inter-observer Variability in Segmentation of Anatomical Structures

abstract: Lesions or organ boundaries visible through medical imaging data are often ambiguous, thus resulting in significant variations in multi-reader delineations, i.e., the source of aleatoric uncertainty. In particular, quantifying the inter-observer variability of manual annotations with Magnetic Resonance (MR) Imaging data plays a crucial role in establishing a reference standard for various diagnosis and treatment tasks. Most segmentation methods, however, simply model a mapping from an image to its single segmentation map and do not take the disagreement of annotators into consideration. In order to account for inter-observer variability, without sacrificing accuracy, we propose a novel variational inference framework to model the distribution of plausible segmentation maps, given a specific MR image, which explicitly represents the multi-reader variability. Specifically, we resort to a latent vector to encode the multi-reader variability and counteract the inherent information loss in the imaging data. Then, we apply a variational autoencoder network and optimize its evidence lower bound (ELBO) to efficiently approximate the distribution of the segmentation map, given an MR image. Experimental results, carried out with the QUBIQ brain growth MRI segmentation datasets with seven annotators, demonstrate the effectiveness of our approach.


title: Co-Pulsing FDA Radar

abstract: Target localization based on frequency diverse array (FDA) radar has lately garnered significant research interest. A linear frequency offset (FO) across FDA antennas yields a range-angle dependent beampattern that allows for joint estimation of range and direction-of-arrival (DoA). Prior works on FDA largely focus on the one-dimensional linear array to estimate only azimuth angle and range while ignoring the elevation and Doppler velocity. However, in many applications, the latter two parameters are also essential for target localization. Further, there is also an interest in radar systems that employ fewer measurements in temporal, Doppler, or spatial signal domains. We address these multiple challenges by proposing a co-prime L-shaped FDA, wherein co-prime FOs are applied across the elements of L-shaped co-prime array and each element transmits at a non-uniform co-prime pulse repetition interval (C$^3$ or C-Cube). This co-pulsing FDA yields significantly large degrees-of-freedom (DoFs) for target localization in the range-azimuth-elevation-Doppler domain while also reducing the time-on-target and transmit spectral usage. By exploiting these DoFs, we develop C-Cube auto-pairing (CCing) algorithm, in which all the parameters are ipso facto paired during a joint estimation. We show that C-Cube FDA requires at least $2\sqrt{Q+1}-1$ antenna elements and $2\sqrt{Q+1}-1$ pulses to guarantee perfect recovery of $Q$ targets as against $Q+1$ elements and $Q+1$ pulses required by both L-shaped uniform linear array and L-shaped linear FO FDA with uniform pulsing. We derive Cram\'er-Rao bounds (CRBs) for joint angle-range-Doppler estimation errors for C-Cube FDA and provide the conditions under which the CRBs exist. Numerical experiments with our CCing algorithm show great performance improvements in parameter recovery.


title: Some Hermite-Hadamard inequalities for strongly harmonic convex set-valued functions

abstract: This research aimed to explore some new Hermite-Hadamard inequalities for strongly harmonic convex set-valued functions with modulus c > 0 introduced by G. Santana


title: The Companion of Enrico's Chart for Phase Noise and Two-Sample Variances

abstract: Phase noise and frequency (in)stability both describe the fluctuation of stable periodic signals, from somewhat different standpoints. Frequency is unique compared to other domains of metrology, in that its fluctuations of interest span at least 14 orders of magnitude, from $10^{-4}$ in a mechanical watch to $10^{-18}$ in atomic clocks. The frequency span of interest is some 12-15 orders of magnitude, from $\mu$Hz to GHz Fourier frequency for phase noise, while the time span over which the fluctuations occur ranges from sub-$\mu$s to years integration time for variances. Because this domain is ubiquitous in science and technology, a common language and tools suitable to the variety mentioned are a challenge. This article is at once (1) a tutorial, (2) a review covering the most important facts about phase noise, frequency noise and two-sample (Allan and Allan-like) variances, and (3) a user guide to "Enrico's Chart of Phase Noise and Two-Sample Variances." In turn, the Chart is a reference card collecting the most useful concepts, formulas and plots in a single A4/A-size sheet, intended to be a staple on the desk of whoever works with these topics. The Chart is available under Creative Commons 4.0 CC-BY-NC-ND license from Zenodo, DOI 10.5281/zenodo.4399218. A wealth of auxiliary material is available for free on the Enrico's home page http://rubiola.org.

categories: physics.ins-det physics.atom-ph physics.optics quant-ph


title: Using homemade spectrometers to perform accurate measurements of discrete and continuous spectra

abstract: Homemade spectrometers are commonly used tools to analyze light sources and determine its physical characteristics. We perform an assessment of homemade spectrometers in terms of spectral resolution and accuracy in the determination of intensity, through the comparison of results with a spectroscope commonly used in the physics and chemistry labs. We found that the homemade spectrometer used is sufficiently accurate in wavelength, and can be used by undergraduate students to perform precise measurements as, for example, the spectrum of the Sun, leading to the determination of its temperature.


title: In-situ alignment of anisotropic hard magnets of 3D printed magnets

abstract: Within this work, we demonstrate in-situ easy-axis alignment of single-crystal magnetic particles inside a polymer matrix using fused filament fabrication. Two different magnetic materials are investigated: (i) Strontium hexaferrite inside a PA6 matrix, fill grade: 49 vol% and (ii) Samarium iron nitride inside a PA12 matrix, fill grade: 44 vol%. In the presence of the external alignment field, the strontium hexaferrite particles inside the PA6 matrix can be well aligned with a ratio of remanent magnetization to saturation magnetization of 0.7. No significant alignment for samarium iron nitride could be achieved. The results show the feasibility to fabricate magnets with arbitrary and locally defined easy axis using fused filament fabrication since the permanent magnets used for the alignment (or alternatively an electromagnet) can be mounted on a rotatable platform.


title: Sectioning of Biomedical Abstracts: A Sequence of Sequence Classification Task

abstract: Rapid growth of the biomedical literature has led to many advances in the biomedical text mining field. Among the vast amount of information, biomedical article abstracts are the easily accessible sources. However, the number of the structured abstracts, describing the rhetorical sections with one of Background, Objective, Method, Result and Conclusion categories is still not considerable. Exploration of valuable information in the biomedical abstracts can be expedited with the improvements in the sequential sentence classification task. Deep learning based models has great performance/potential in achieving significant results in this task. However, they can often be overly complex and overfit to specific data. In this project, we study a state-of-the-art deep learning model, which we called SSN-4 model here. We investigate different components of the SSN-4 model to study the trade-off between the performance and complexity. We explore how well this model generalizes to a new data set beyond Randomized Controlled Trials (RCT) dataset. We address the question that whether word embeddings can be adjusted to the task to improve the performance. Furthermore, we develop a second model that addresses the confusion pairs in the first model. Results show that SSN-4 model does not appear to generalize well beyond RCT dataset.


title: Three Weight Ternary Linear Codes from Non-Weakly Regular Bent Functions

abstract: In this paper, several classes of three-weight ternary linear codes from non-weakly regular dual-bent functions are constructed based on a generic construction method. Instead of the whole space, we use the subspaces $B_+(f)$ or $B_-(f)$ associated with a ternary non-weakly regular dual-bent function $f$. Unusually, we use the pre-image sets of the dual function $f^*$ in $B_+(f)$ or $B_-(f)$ as the defining sets of the corresponding codes. Since the size of the defining sets of the constructed codes is flexible, it enables us to construct several codes with different parameters for a fixed dimension. We represent the weight distribution of the constructed codes. We also give several examples.


title: PDF bias and flavor dependence in TMD distributions

abstract: Transverse momentum dependent (TMD) distributions match collinear parton density functions (PDF) in the limit of small transverse distances, which is accounted for by global extractions of TMD distributions. We study the influence of the collinear PDF value and uncertainties on the determination of unpolarized TMD distributions and the description of Drell-Yan (DY) and Z-boson production measurements at low transverse momenta. We take into account, for the first time, flavor-dependent non-perturbative TMD profiles. We carry out a Bayesian analysis to incorporate the propagation of PDF uncertainties into TMD extractions. We find that collinear PDF uncertainties and non-perturbative TMD flavor dependence are both essential to obtain reliable TMD determinations, and should be included in future global analyses.


title: Scenario-based Requirements Engineering for Complex Smart City Projects

abstract: Various stakeholders with different backgrounds are involved in Smart City projects. These stakeholders define the project goals, e.g., based on participative approaches, market research or innovation management processes. To realize these goals often complex technical solutions must be designed and implemented. In practice, however, it is difficult to synchronize the technical design and implementation phase with the definition of moving Smart City goals. We hypothesize that this is due to a lack of a common language for the different stakeholder groups and the technical disciplines. We address this problem with scenario-based requirements engineering techniques. In particular, we use scenarios at different levels of abstraction and formalization that are connected end-to-end by appropriate methods and tools. This enables fast feedback loops to iteratively align technical requirements, stakeholder expectations, and Smart City goals. We demonstrate the applicability of our approach in a case study with different industry partners.


title: Robust Computation Tree Logic

abstract: It is widely accepted that every system should be robust in that ``small'' violations of environment assumptions should lead to ``small'' violations of system guarantees, but it is less clear how to make this intuition mathematically precise. While significant efforts have been devoted to providing notions of robustness for Linear Temporal Logic (LTL), branching-time logics, such as Computation Tree Logic (CTL) and CTL*, have received less attention in this regard. To address this shortcoming, we develop ``robust'' extensions of CTL and CTL*, which we name robust CTL (rCTL) and robust CTL* (rCTL*). Both extensions are syntactically similar to their parent logics but employ multi-valued semantics to distinguish between ``large'' and ``small'' violations of the specification. We show that the multi-valued semantics of rCTL make it more expressive than CTL, while rCTL* is as expressive as CTL*. Moreover, we show that the model checking problem, the satisfiability problem, and the synthesis problem for rCTL and rCTL* have the same asymptotic complexity as their non-robust counterparts, implying that robustness can be added to branching-time logics for free.


title: Small graphs and hypergraphs of given degree and girth

abstract: The search for the smallest possible $d$-regular graph of girth $g$ has a long history, and is usually known as the cage problem. This problem has a natural extension to hypergraphs, where we may ask for the smallest number of vertices in a $d$-regular, $r$-uniform hypergraph of given (Berge) girth $g$. We show that these two problems are in fact very closely linked. By extending the ideas of Cayley graphs to the hypergraph context, we find smallest known hypergraphs for various parameter sets. Because of the close link to the cage problem from graph theory, we are able to use these techniques to find new record smallest cubic graphs of girths 23, 24, 28, 29, 30, 31 and 32.


title: Radiofrequency response of the optically detected level anti-crossing signal in NV color centers in diamond in zero and weak magnetic fields

abstract: The response of the level anti-crossing signal to a quasi-resonant radio-frequency field, which appears in a zero magnetic field at NV color centers in diamond, is investigated. It is shown that the complex structure of this response can be explained by the Autler-Townes splitting. The possibility of controlling the parameters of the level anti-crossing signal is considered. It is shown that the slope of the central resonance recorded in this structure upon low-frequency modulation of the external magnetic field can be 2.3 times higher than the slope of the resonance recorded in the absence of an RF field. Conclusions are drawn about the nature of the level anti-crossing effect arising in zero field in NV color centers in diamond.


title: A Survey on Code-Based Cryptography

abstract: The improvements on quantum technology are threatening our daily cybersecurity, as a capable quantum computer can break all currently employed asymmetric cryptosystems. In preparation for the quantum-era the National Institute of Standards and Technology (NIST) has initiated in 2016 a standardization process for public-key encryption (PKE) schemes, key-encapsulation mechanisms (KEM) and digital signature schemes. In 2023, NIST made an additional call for post-quantum signatures. With this chapter we aim at providing a survey on code-based cryptography, focusing on PKEs and signature schemes. We cover the main frameworks introduced in code-based cryptography and analyze their security assumptions. We provide the mathematical background in a lecture notes style, with the intention of reaching a wider audience.


title: Contextual road lane and symbol generation for autonomous driving

abstract: In this paper we present a novel approach for lane detection and segmentation using generative models. Traditionally discriminative models have been employed to classify pixels semantically on a road. We model the probability distribution of lanes and road symbols by training a generative adversarial network. Based on the learned probability distribution, context-aware lanes and road signs are generated for a given image which are further quantized for nearest class label. Proposed method has been tested on BDD100K and Baidu ApolloScape datasets and performs better than state of the art and exhibits robustness to adverse conditions by generating lanes in faded out and occluded scenarios.


title: Reconfigurable Control of a Class of Multicopters

abstract: In this paper, a reconfigurable control scheme for a generalized class of multicopters is presented to overcome single or multiple rotor failures. In a multicopter, the rotor failure heavily affects its dynamics and thus its controllability. Limited controllability leads to limited or no reconfigurability. \emph{Available Control Authority Index} has been recently developed \cite{Du2015} as a measure of controllability of multicopters. In this work, the notion of \emph{Available Reduced-Control Authority Index} (ArCAI) is introduced, which shows that in some uncontrollable failures it is still possible to control reduced set of states. Based on this notion, a reconfigurable control scheme is presented, which comprises a \emph{Nonlinear Dynamic Inversion} based baseline control law, a constrained control allocation scheme along with some modifications to incorporate reconfiguration, and a simplified fault detection and isolation technique. Simulation results for a commonly used configuration of Hexacopter are presented in the presence of single and multiple rotor failures.


title: Laser-induced charge and spin photocurrents at BiAg$_2$ surface: a first principles benchmark

abstract: Here, we report first principles calculations and analysis of laser-induced photocurrents at the surface of a prototype Rashba system. By referring to Keldysh non-equilibrium formalism combined with the Wannier interpolation scheme we perform first-principles electronic structure calculations of a prototype BiAg$_2$ surface alloy, which is a well-known material realization of the Rashba model. In addition to non-magnetic ground state situation we also study the case of in-plane magnetized BiAg$_2$. We calculate the laser-induced charge photocurrents for the ferromagnetic case and the laser-induced spin photocurrents for both the non-magnetic and the ferromagnetic cases. Our results confirm the emergence of very large in-plane photocurrents as predicted by the Rashba model. The resulting photocurrents satisfy all the symmetry restrictions with respect to the light helicity and the magnetization direction. We provide microscopic insights into the symmetry and magnitude of the computed currents based on the ab-initio multi-band electronic structure of the system, and scrutinize the importance of resonant two-band and three-band transitions for driven currents, thereby establishing a benchmark picture of photocurrents at Rashba-like surfaces and interfaces. Our work contributes to the study of the role of the interfacial Rashba spin-orbit interaction as a mechanism for the generation of in-plane photocurrents, which are of great interest in the field of ultrafast and terahertz spintronics.


title: Speed-vs-Accuracy Tradeoff in Collective Estimation: An Adaptive Exploration-Exploitation Case

abstract: The tradeoff between accuracy and speed is considered fundamental to individual and collective decision-making. In this paper, we focus on collective estimation as an example of collective decision-making. The task is to estimate the average scalar intensity of a desired feature in the environment. The solution we propose consists of exploration and exploitation phases, where the switching time is a factor dictating the balance between the two phases. By decomposing the total accuracy into bias and variance, we explain that diversity and social interactions could promote the accuracy of the collective decision. We also show how the exploration-vs-exploitation tradeoff relates to the speed-vs-accuracy tradeoff. One significant finding of our work is that there is an optimal duration for exploration to compromise between speed and accuracy. This duration cannot be determined offline for an unknown environment. Hence, we propose an adaptive, distributed mechanism enabling individual agents to decide in a decentralized manner when to switch. Moreover, the spatial consequence of the exploitation phase is an emergent collective movement, leading to the aggregation of the collective at the iso-contours of the mean intensity of the environmental field in the spatial domain. Examples of potential applications for such a fully distributed collective estimation model are spillage capturing and source localization.


title: Attentional Feature Refinement and Alignment Network for Aircraft Detection in SAR Imagery

abstract: Aircraft detection in Synthetic Aperture Radar (SAR) imagery is a challenging task in SAR Automatic Target Recognition (SAR ATR) areas due to aircraft's extremely discrete appearance, obvious intraclass variation, small size and serious background's interference. In this paper, a single-shot detector namely Attentional Feature Refinement and Alignment Network (AFRAN) is proposed for detecting aircraft in SAR images with competitive accuracy and speed. Specifically, three significant components including Attention Feature Fusion Module (AFFM), Deformable Lateral Connection Module (DLCM) and Anchor-guided Detection Module (ADM), are carefully designed in our method for refining and aligning informative characteristics of aircraft. To represent characteristics of aircraft with less interference, low-level textural and high-level semantic features of aircraft are fused and refined in AFFM throughly. The alignment between aircraft's discrete back-scatting points and convolutional sampling spots is promoted in DLCM. Eventually, the locations of aircraft are predicted precisely in ADM based on aligned features revised by refined anchors. To evaluate the performance of our method, a self-built SAR aircraft sliced dataset and a large scene SAR image are collected. Extensive quantitative and qualitative experiments with detailed analysis illustrate the effectiveness of the three proposed components. Furthermore, the topmost detection accuracy and competitive speed are achieved by our method compared with other domain-specific,e.g., DAPN, PADN, and general CNN-based methods,e.g., FPN, Cascade R-CNN, SSD, RefineDet and RPDet.


title: WATCH: Wasserstein Change Point Detection for High-Dimensional Time Series Data

abstract: Detecting relevant changes in dynamic time series data in a timely manner is crucially important for many data analysis tasks in real-world settings. Change point detection methods have the ability to discover changes in an unsupervised fashion, which represents a desirable property in the analysis of unbounded and unlabeled data streams. However, one limitation of most of the existing approaches is represented by their limited ability to handle multivariate and high-dimensional data, which is frequently observed in modern applications such as traffic flow prediction, human activity recognition, and smart grids monitoring. In this paper, we attempt to fill this gap by proposing WATCH, a novel Wasserstein distance-based change point detection approach that models an initial distribution and monitors its behavior while processing new data points, providing accurate and robust detection of change points in dynamic high-dimensional data. An extensive experimental evaluation involving a large number of benchmark datasets shows that WATCH is capable of accurately identifying change points and outperforming state-of-the-art methods.


title: Instance-aware Prompt Learning for Language Understanding and Generation

abstract: Recently, prompt learning has become a new paradigm to utilize pre-trained language models (PLMs) and achieves promising results in downstream tasks with a negligible increase of parameters. The current usage of discrete and continuous prompts assumes that the prompt is fixed for a specific task and all samples in the task share the same prompt. However, a task may contain quite diverse samples in which some are easy and others are difficult, and diverse prompts are desirable. In this paper, we propose an instance-aware prompt learning method that learns a different prompt for each instance. Specifically, we suppose that each learnable prompt token has a different contribution to different instances, and we learn the contribution by calculating the relevance score between an instance and each prompt token. The contribution weighted prompt would be instance aware. We apply our method to both unidirectional and bidirectional PLMs on both language understanding and generation tasks. Extensive experiments demonstrate that our method obtains considerable improvements compared to strong baselines. Especially, our method achieves the state-of-the-art on the SuperGLUE few-shot learning benchmark.


title: Concatenations of Terms of an Arithmetic Progression

abstract: Let $\left(u(n)\right)_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $\left(u(n)\right)_{n\in\mathbb{N}}$ in base $b$ from the right; $s_r(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $\left(s_*(n)\right)_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s_r(n-1)s(n)}^b, n\geq 1$. We construct explicit formulas for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $\left(s(n)\right)_{n\in\mathbb{N}}$ and $\left(s_r(n)\right)_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.


title: Global solvabilty for nonlinear wave equations with singular potential

abstract: In this work we study the global existence for 3d semilinear wave equation with non-negative potential satisfying generic decay assumptions. In the supercritical case we establish the small data global existence result. The approach is based on appropriate conformal energy estimate in combination with Hardy inequality for conformal energy on space - like surfaces.


title: Alchemical geometry relaxation

abstract: We propose to relax geometries throughout chemical compound space (CCS) using alchemical perturbation density functional theory (APDFT). APDFT refers to perturbation theory involving changes in nuclear charges within approximate solutions to Schr\"odinger's equation. We give an analytical formula to calculate the mixed second order energy derivatives with respect to both, nuclear charges and nuclear positions (named "alchemical force"), within the restricted Hartree-Fock case. We have implemented and studied the formula for its use in geometry relaxation of various reference and target molecules. We have also analysed the convergence of the alchemical force perturbation series, as well as basis set effects. Interpolating alchemically predicted energies, forces, and Hessian to a Morse potential yields more accurate geometries and equilibrium energies than when performing a standard Newton Raphson step. Our numerical predictions for small molecules including BF, CO, N2, CH$_4$, NH$_3$, H$_2$O, and HF yield mean absolute errors of of equilibrium energies and bond lengths smaller than 10 mHa and 0.01 Bohr for 4$^\text{th}$ order APDFT predictions, respectively. Our alchemical geometry relaxation still preserves the combinatorial efficiency of APDFT: Based on a single coupled perturbed Hartree Fock derivative for benzene we provide numerical predictions of equilibrium energies and relaxed structures of all the 17 iso-electronic charge-netural BN-doped mutants with averaged absolute deviations of $\sim$27 mHa and $\sim$0.12 Bohr, respectively.


title: Online, Informative MCMC Thinning with Kernelized Stein Discrepancy

abstract: A fundamental challenge in Bayesian inference is efficient representation of a target distribution. Many non-parametric approaches do so by sampling a large number of points using variants of Markov Chain Monte Carlo (MCMC). We propose an MCMC variant that retains only those posterior samples which exceed a KSD threshold, which we call KSD Thinning. We establish the convergence and complexity tradeoffs for several settings of KSD Thinning as a function of the KSD threshold parameter, sample size, and other problem parameters. Finally, we provide experimental comparisons against other online nonparametric Bayesian methods that generate low-complexity posterior representations, and observe superior consistency/complexity tradeoffs. Code is available at github.com/colehawkins/KSD-Thinning.


title: Leveraging Real Talking Faces via Self-Supervision for Robust Forgery Detection

abstract: One of the most pressing challenges for the detection of face-manipulated videos is generalising to forgery methods not seen during training while remaining effective under common corruptions such as compression. In this paper, we examine whether we can tackle this issue by harnessing videos of real talking faces, which contain rich information on natural facial appearance and behaviour and are readily available in large quantities online. Our method, termed RealForensics, consists of two stages. First, we exploit the natural correspondence between the visual and auditory modalities in real videos to learn, in a self-supervised cross-modal manner, temporally dense video representations that capture factors such as facial movements, expression, and identity. Second, we use these learned representations as targets to be predicted by our forgery detector along with the usual binary forgery classification task; this encourages it to base its real/fake decision on said factors. We show that our method achieves state-of-the-art performance on cross-manipulation generalisation and robustness experiments, and examine the factors that contribute to its performance. Our results suggest that leveraging natural and unlabelled videos is a promising direction for the development of more robust face forgery detectors.


title: Laser Cooling Beyond Rate Equations: Approaches From Quantum Thermodynamics

abstract: Solids can be cooled by driving impurity ions with lasers, allowing them to transfer heat from the lattice phonons to the electromagnetic surroundings. This exemplifies a quantum thermal machine, which uses a quantum system as a working medium to transfer heat between reservoirs. We review the derivation of the Bloch-Redfield equation for a quantum system coupled to a reservoir, and its extension, using counting fields, to calculate heat currents. We use the full form of this equation, which makes only the weak-coupling and Markovian approximations, to calculate the cooling power for a simple model of laser cooling. We compare its predictions with two other time-local master equations: the secular approximation to the full Bloch-Redfield equation, and the Lindblad form expected for phonon transitions in the absence of driving. We conclude that the full Bloch-Redfield equation provides accurate results for the heat current in both the weak- and strong- driving regimes, whereas the other forms have more limited applicability. Our results support the use of Bloch-Redfield equations in quantum thermal machines, in spite of their potential to give unphysical results.


title: Magnetic slowdown of topological edge states

abstract: We study the propagation of wavepackets along curved interfaces between topological, magnetic materials. Our Hamiltonian is a massive Dirac operator with a magnetic potential. We construct semiclassical wavepackets propagating along the curved interface as adiabatic modulations of straight edge states under constant magnetic fields. While in the magnetic-free case, the wavepackets propagate coherently at speed one, here they experience slowdown, dispersion, and Aharonov - Bohm effects. Several numerical simulations illustrate our results.

categories: math-ph cond-mat.mes-hall math.AP math.MP quant-ph


title: 1-GHz mid-infrared frequency comb spanning 3 to 13 {\mu}m

abstract: Mid-infrared (MIR) spectrometers are invaluable tools for molecular fingerprinting and hyper-spectral imaging. Among the available spectroscopic approaches, GHz MIR dual-comb absorption spectrometers have the potential to simultaneously combine the high-speed, high spectral resolution, and broad optical bandwidth needed to accurately study complex, transient events in chemistry, combustion, and microscopy. However, such a spectrometer has not yet been demonstrated due to the lack of GHz MIR frequency combs with broad and full spectral coverage. Here, we introduce the first broadband MIR frequency comb laser platform at 1 GHz repetition rate that achieves spectral coverage from 3 to 13 {\mu}m. This frequency comb is based on a commercially available 1.56 {\mu}m mode-locked laser, robust all-fiber Er amplifiers and intra-pulse difference frequency generation (IP-DFG) of few-cycle pulses in \c{hi}(2) nonlinear crystals. When used in a dual comb spectroscopy (DCS) configuration, this source will simultaneously enable measurements with {\mu}s time resolution, 1 GHz (0.03 cm-1) spectral point spacing and a full bandwidth of >5 THz (>166 cm-1) anywhere within the MIR atmospheric windows. This represents a unique spectroscopic resource for characterizing fast and non-repetitive events that are currently inaccessible with other sources.


title: Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis

abstract: Being able to provide counterfactual interventions - sequences of actions we would have had to take for a desirable outcome to happen - is essential to explain how to change an unfavourable decision by a black-box machine learning model (e.g., being denied a loan request). Existing solutions have mainly focused on generating feasible interventions without providing explanations on their rationale. Moreover, they need to solve a separate optimization problem for each user. In this paper, we take a different approach and learn a program that outputs a sequence of explainable counterfactual actions given a user description and a causal graph. We leverage program synthesis techniques, reinforcement learning coupled with Monte Carlo Tree Search for efficient exploration, and rule learning to extract explanations for each recommended action. An experimental evaluation on synthetic and real-world datasets shows how our approach generates effective interventions by making orders of magnitude fewer queries to the black-box classifier with respect to existing solutions, with the additional benefit of complementing them with interpretable explanations.


title: Incompleteness of graph neural networks for points clouds in three dimensions

abstract: Graph neural networks (GNN) are very popular methods in machine learning and have been applied very successfully to the prediction of the properties of molecules and materials. First-order GNNs are well known to be incomplete, i.e., there exist graphs that are distinct but appear identical when seen through the lens of the GNN. More complicated schemes have thus been designed to increase their resolving power. Applications to molecules (and more generally, point clouds), however, add a geometric dimension to the problem. The most straightforward and prevalent approach to construct graph representation for molecules regards atoms as vertices in a graph and draws a bond between each pair of atoms within a chosen cutoff. Bonds can be decorated with the distance between atoms, and the resulting "distance graph NNs" (dGNN) have empirically demonstrated excellent resolving power and are widely used in chemical ML, with all known indistinguishable configurations being resolved in the fully-connected limit, which is equivalent to infinite or sufficiently large cutoff. Here we present a counterexample that proves that dGNNs are not complete even for the restricted case of fully-connected graphs induced by 3D atom clouds. We construct pairs of distinct point clouds whose associated graphs are, for any cutoff radius, equivalent based on a first-order Weisfeiler-Lehman test. This class of degenerate structures includes chemically-plausible configurations, both for isolated structures and for infinite structures that are periodic in 1, 2, and 3 dimensions. The existence of indistinguishable configurations sets an ultimate limit to the expressive power of some of the well-established GNN architectures for atomistic machine learning. Models that explicitly use angular or directional information in the description of atomic environments can resolve this class of degeneracies.


title: Dynamics of an SIRWS model with waning of immunity and varying immune boosting period

abstract: SIRS models capture transmission dynamics of infectious diseases for which immunity is not lifelong. Extending these models by a W compartment for individuals with waning immunity, the boosting of the immune system upon repeated exposure may be incorporated. Previous analyses assumed identical waning rates from R to W and from W to S. This implicitly assumes equal length for the period of full immunity and of waned immunity. We relax this restriction, and allow an asymmetric partitioning of the total immune period. Stability switches of the endemic equilibrium are investigated with a combination of analytic and numerical tools. Then, continuation methods are applied to track bifurcations along the equilibrium branch. We find rich dynamics: Hopf bifurcations, endemic double bubbles, and regions of bistability. Our results highlight that the length of the period in which waning immunity can be boosted is a crucial parameter significantly influencing long term epidemiological dynamics.


title: A Note about Weyl Equidistribution Theorem

abstract: H. Weyl proved in \cite{Weyl} that integer evaluations of polynomials are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. We use Weyl's result to prove a higher dimensional analogue of this fact. Namely, we prove that evaluations of polynomials on lattice points are equidistributed mod 1 whenever at least one of the non-free coefficients is irrational. This result strengths the main result of Arhipov-Karacuba-\v{C}ubarikov in \cite{PolWeyl}. We prove this analogue as a Corollary of a Theorem that guarantees equidistribution of lattice evaluations mod 1 for all functions which satisfy some restrains on their derivatives. Another Corollary we prove is that for $p\in(1,\infty)$ the $\ell^p$ norms of integer vectors are equidistributed mod 1.


title: Safe Online Bid Optimization with Return-On-Investment and Budget Constraints subject to Uncertainty

abstract: In online marketing, the advertisers' goal is usually a tradeoff between achieving high volumes and high profitability. The companies' business units customarily address this tradeoff by maximizing the volumes while guaranteeing a lower bound to the Return On Investment (ROI). This paper investigates combinatorial bandit algorithms for the bid optimization of advertising campaigns subject to uncertain budget and ROI constraints. We study the nature of both the optimization and learning problems. In particular, when focusing on the optimization problem without uncertainty, we show that it is inapproximable within any factor unless P=NP, and we provide a pseudo-polynomial-time algorithm that achieves an optimal solution. When considering uncertainty, we prove that no online learning algorithm can violate the (ROI or budget) constraints during the learning process a sublinear number of times while guaranteeing a sublinear pseudo-regret. Thus, we provide an algorithm, namely GCB, guaranteeing sublinear regret at the cost of a potentially linear number of constraints violations. We also design its safe version, namely GCB_{safe}, guaranteeing w.h.p. a constant upper bound on the number of constraints violations at the cost of a linear pseudo-regret. More interestingly, we provide an algorithm, namely GCB_{safe}(\psi,\phi), guaranteeing both sublinear pseudo-regret and safety w.h.p. at the cost of accepting tolerances \psi and \phi in the satisfaction of the ROI and budget constraints, respectively. This algorithm actually mitigates the risks due to the constraints violations without precluding the convergence to the optimal solution. Finally, we experimentally compare our algorithms in terms of pseudo-regret/constraint-violation tradeoff in settings generated from real-world data, showing the importance of adopting safety constraints in practice and the effectiveness of our algorithms.


title: Real-time two-photon interference from distinct molecules on the same chip

abstract: Scalability and miniaturization are hallmarks of solid-state platforms for photonic quantum technologies. Still a main challenge is two-photon interference from distinct emitters on chip. This requires local tuning, integration and novel approaches to understand and tame noise processes. A promising platform is that of molecular single photon sources. Thousands of molecules with optically tuneable emission frequency can be easily isolated in solid matrices and triggered with pulsed excitation. We here discuss Hong-Ou-Mandel interference experiments using several couples of molecules within few tens of microns. Quantum interference is observed in real time, enabling the analysis of local environment effects at different time-scales.


title: On Lieb-Robinson Bounds for the Double Bracket Flow

abstract: We consider the possibility of developing a Lieb-Robinson bound for the double bracket flow. This is a differential equation $$\partial_B H(B)=[[V,H(B)],H(B)]$$ which may be used to diagonalize Hamiltonians. Here, $V$ is fixed and $H(0)=H$. We argue (but do not prove) that $H(B)$ need not converge to a limit for nonzero real $B$ in the infinite volume limit, even assuming several conditions on $H(0)$. However, we prove Lieb-Robinson bounds for all $B$ for the double-bracket flow for free fermion systems, but the range increases \emph{exponentially} with the control parameter $B$.


title: Mean arc theorem for exploring domains with randomly distributed arbitrary closed trajectories

abstract: A remarkable result from integral geometry is Cauchy's formula, which relates the mean path length of ballistic trajectories randomly crossing a convex 2D domain, to the ratio between the region area and its perimeter. This theorem has been generalized for non-convex domains and extended to the case of Brownian motion to find many applications in various fields including biological locomotion and wave physics. Here, we generalize the theorem to arbitrary closed trajectories exploring arbitrary domains. We demonstrate that, regardless of the complexity of the trajectory, the mean arc length still satisfies Cauchy's formula provided that no trajectory is entirely contained in the domain. Below this threshold, the mean arc length decreases with the size of the trajectory. In this case, an approximate analytical formula can still be given for convex trajectories intersecting convex domains provided they are small in comparison. To validate our analysis, we performed numerical simulations of different types of trajectories exploring arbitrary 2D domains. Our results could be applied to retrieve geometric information of bounded domains from the mean first entrance-exit length.


title: Generalized spiral transformation for high-resolution sorting of vortex modes

abstract: We propose a generalized spiral transformation scheme that is versatile to incorporate various types of spirals such as the Archimedean spiral and the Fermat spiral. Taking advantage of the equidistant feature, we choose the Archimedean spiral mapping and demonstrate its application in high-resolution orbital angular momentum mode sorting. Given a fixed minimum spiral width, the Archimedean spiral mapping shows superior performance over the logarithmic spiral mapping. This generalized transformation scheme may also find various applications in optical transformation and can be easily extended to other fields related to conformal mapping.


title: The Trace of the affine Hecke category

abstract: We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an "affine" version of the construction of [14]. Explicitly, we show that the aforementioned trace is generated by the objects $E_{\textbf{d}} = \text{Tr}(Y_1^{d_1} \dots Y_n^{d_n} T_1 \dots T_{n-1})$ as $\textbf{d} = (d_1,\dots,d_n) \in \mathbb{Z}^n$, where $Y_i$ denote the Wakimoto objects of [9] and $T_i$ denote Rouquier complexes. We compute certain categorical commutators between the $E_{\textbf{d}}$'s and show that they match the categorical commutators between the sheaves $\mathcal{E}_{\textbf{d}}$ on the flag commuting stack, that were considered in [27]. At the level of $K$-theory, these commutators yield a certain integral form $\widetilde{\mathcal{A}}$ of the elliptic Hall algebra, which we can thus map to the $K$-theory of the trace of the affine Hecke category.


title: Two-dipole and three-dipole interaction coefficients of GROUP XII elements

abstract: The study of long-range interactions is increasingly becoming essential due to its various applications in cold atomic physics. These interactions can be conveniently expressed in terms of dispersion coefficients. In the present work, theoretical calculations have been carried out to estimate the two-dipole ($C_6$) and three-dipole ($C_9$) dispersion coefficients between the group XII atoms and their ions, \textit{viz.}, Zn, Cd, Hg, Zn$^+$, Cd$^+$, and Hg$^+$. To obtain these coefficients, the dynamic dipole polarizabilities and reduced matrix elements required are evaluated using the relativistic methods for both the considered atoms and ions. Further, using the calculated matrix elements, the oscillator strengths corresponding to leading transitions and static dipole polarizabilities are determined. These are compared with the available values in the literature through which the accuracy of the present calculations ascertains. However, the oscillator strengths for few transitions of Zn, Cd, Hg, Zn$^+$, Cd$^+$, and Hg$^+$, are not reported earlier, and we have provided their values in this work. Thereafter, the dispersion $C_6$ and $C_9$ coefficients are calculated for various combinations of the group XII elements, and most of these coefficients were not reported earlier in the literature. Furthermore, the combinations for which the other theoretical and experimental values were available for comparison showed good agreement. We, therefore, believe that our results reported for $C_6$ and $C_9$ coefficients for various combinations of group XII elements are reliable.


title: Pair-production of the charged IDM scalars at high energy CLIC

abstract: The Inert Doublet Model (IDM) is a simple extension of the Standard Model, introducing an additional Higgs doublet that brings in four new scalar particles. The lightest of the IDM scalars is stable and is a good candidate for a dark matter particle. The potential of discovering the IDM scalars in the experiment at the Compact Linear Collider (CLIC), an e$^{+}$e$^{-}$ collider proposed as the next generation infrastructure at CERN, has been tested for two high-energy running stages, at 1.5 TeV and 3 TeV centre-of-mass energy. The CLIC sensitivity to pair-production of the charged IDM scalars was studied using the full detector simulation with GEANT4 for selected high-mass IDM benchmark scenarios and the semi-leptonic final state. To extrapolate full simulation results to a wider range of IDM benchmark scenarios, the CLIC detector model defined in the DELPHES fast simulation framework was modified to take into account the $\gamma\gamma \rightarrow$ had. beam-induced background. Results of the study indicate that heavy charged IDM scalars can be discovered at CLIC for most of the considered benchmark scenarios, up to masses of the order of 1 TeV.


title: Spin-polarizing electron beam splitter from crossed graphene nanoribbons

abstract: Junctions composed of two crossed graphene nanoribbons (GNRs) have been theoretically proposed as electron beam splitters where incoming electron waves in one GNR can be split coherently into propagating waves in \emph{two} outgoing terminals with nearly equal amplitude and zero back-scattering. Here we scrutinize this effect for devices composed of narrow zigzag GNRs taking explicitly into account the role of Coulomb repulsion that leads to spin-polarized edge states within mean-field theory. We show that the beam-splitting effect survives the opening of the well-known correlation gap and, more strikingly, that a \emph{spin-dependent} scattering potential emerges which spin-polarizes the transmitted electrons in the two outputs. A near-perfect polarization can be achieved by joining several junctions in series. Our findings suggest that GNRs are interesting building blocks in spintronics and quantum technologies with applications for interferometry and entanglement.


title: Multipliers and Covers of Perfect Diassociative Algebras

abstract: The paper concerns perfect diassociative algebras and their implications to the theory of central extensions. It is first established that perfect diassociative algebras have strong ties with universal central extensions. Then, using a known characterization of the multiplier in terms of a free presentation, we obtain a special cover for perfect diassociative algebras, as well as some of its properties. The subsequent results connect and build on the previous topics. For the final theorem, we invoke an extended Hochschild-Serre type spectral sequence to show that, for a perfect diassociative algebra, its cover is perfect and has trivial multiplier. This paper is part of an ongoing project to advance extension theory in the context of several Loday algebras.


title: Radiative properties of Cu-isoelectronic As, Se and Br ions for astrophysical applications

abstract: We present precise radiative data of line strengths, transition probabilities and oscillator strengths for the allowed transitions among the $nS_{1/2}$, $nP_{1/2,3/2}$, $n'D_{3/2,5/2}$ and $n'F_{5/2,7/2}$ states with $n=4$ to $6$ and $n'=4,5$ of the Cu-isoelectronic As, Se and Br ions. Due to unavailability of precise observations of these spectroscopic data, their accurate estimations are of great interest and useful in analyzing various astrophysical phenomena undergoing inside the heavenly bodies that contain As, Se and Br elements. An all-order perturbative many-body method in the relativistic theory framework has been employed to determine the atomic wave functions, which are further used to estimate the above quantities with the uncertainties. We found significant differences between some of our results and results that are available earlier.


title: Gaining or Losing Perspective for Convex Multivariate Functions on a Simplex

abstract: MINLO (mixed-integer nonlinear optimization) formulations of the disjunction between the origin and a polytope via a binary indicator variable have broad applicability in nonlinear combinatorial optimization, for modeling a fixed cost $c$ associated with carrying out a set of $d$ activities and a convex variable cost function $f$ associated with the levels of the activities. The perspective relaxation is often used to solve such models to optimality in a branch-and-bound context, especially in the context in which $f$ is univariate (e.g., in Markowitz-style portfolio optimization). But such a relaxation typically requires conic solvers and are typically not compatible with general-purpose NLP software which can accommodate additional classes of constraints. This motivates the study of weaker relaxations to investigate when simpler relaxations may be adequate. Comparing the volume (i.e., Lebesgue measure) of the relaxations as means of comparing them, we lift some of the results related to univariate functions $f$ to the multivariate case. Along the way, we survey, connect and extend relevant results on integration over a simplex, some of which we concretely employ, and others of which can be used for further exploration on our main subject.


title: Unsupervised detection of decoupled subspaces: many-body scars and beyond

abstract: Highly excited eigenstates of quantum many-body systems are typically featureless thermal states. Some systems, however, possess a small number of special, low-entanglement eigenstates known as quantum scars. We introduce a quantum-inspired machine learning platform based on a Quantum Variational Autoencoder (QVAE) that detects families of scar states in spectra of many-body systems. Unlike a classical autoencoder, QVAE performs a parametrized unitary operation, allowing us to compress a single eigenstate into a smaller number of qubits. We demonstrate that the autoencoder trained on a scar state is able to detect the whole family of scar states sharing common features with the input state. We identify families of quantum many-body scars in the PXP model beyond the $\mathbb{Z}_2$ and $\mathbb{Z}_3$ families and find dynamically decoupled subspaces in the Hilbert space of disordered, interacting spin ladder model. The possibility of an automatic detection of subspaces of scar states opens new pathways in studies of models with a weak breakdown of ergodicity and fragmented Hilbert spaces.


title: The Evolution of Assistive Technology: A Literature Review of Technology Developments and Applications

abstract: The term Assistive Technology has evolved over the years and identifies equipment or product systems, whether acquired, modified, or customized, that are used to increase, maintain, or improve functional capabilities of individuals with disabilities. Considering the advances that have been made, what trends can be identified to provide evidence of the evolution of AT as devices that foster accessibility and empower users with different abilities? Through a systematic literature review we identify research items that offer evidence of the evolution of the meaning, purpose, and applications of AT throughout the history. This paper provides evidence that AT evolved from products to improve functional capabilities of individuals with disabilities toward enabling technologies that facilitate tasks for people with different needs, abilities, gender, age, and culture. This evolution will lead to a positive demystification of the meaning and applications of AT toward broad usage acceptance among mainstream users.


title: Braid groups and symplectic Steinberg groups

abstract: We construct a homomorphism $f$ from the braid group $B_{2n+2}$ on $2n+2$ strands to the Steinberg group associated with the Lie type $C_n$ and with integer coefficients. This homomorphism lifts the well-known symplectic representation of the braid groups. We also describe the image and the kernel of $f$.


title: Fluctuations of cell geometry and their non-equilibrium thermodynamics in living epithelial tissue

abstract: We measure different contributions to entropy production in a living functional epithelial tissue. We do this by extracting the functional dynamics of development while at the same time quantifying fluctuations. Using the translucent Drosophila melanogaster pupal epithelium as an ideal tissue for high resolution live imaging [1], we measure the entropy associated with the stochastic geometry of cells in the epithelium. This is done using a detailed analysis of the dynamics of the shape and orientation of individual cells which enables separation of local and global aspects of the tissue behaviour. We find intriguingly that we can observe irreversible dynamics in the cell geometries but without a change in the entropy associated with those degrees of freedom, showing that there is a flow of energy into those degrees of freedom. Hence the living system is controlling how the entropy is being produced and partitioned into its different parts.


title: Curved operadic calculus

abstract: Curved algebras are a generalization of differential graded algebras which have found numerous applications recently. The goal of this foundational article is to introduce the notion of a curved operad, and to develop the operadic calculus at this new level. The algebraic side of the curved operadic calculus provides us with universal constructions: using a new notion of curved operadic bimodules, we construct curved universal enveloping algebras. Since there is no notion of quasi-isomorphism in the curved context, we develop the homotopy theory of curved operads using new methods. This approach leads us to introduce the new notion of a curved absolute operad, which is the notion Koszul dual to counital cooperads non-necessarily conilpotent, and we construct a complete Bar-Cobar adjunction between them. We endow curved absolute operads with a suitable model category structure. We establish a duality square of duality functors which intertwines this complete Bar-Cobar construction with the Bar-Cobar adjunction between unital operads and conilpotent curved cooperads. This allows us to compute minimal cofibrant resolutions for various curved absolute operads. Using the complete Bar construction, we show a general Homotopy Transfer Theorem for curved algebras. Along the way, we construct the non-necessarily conilpotent cofree cooperad.


title: Designing Stochastic Channels

abstract: Stochastic channels are ubiquitous in the field of quantum information because they are simple and easy to analyze. In particular, Pauli channels and depolarizing channels are widely studied because they can be efficiently simulated in many relevant quantum circuits. Despite their wide use, the properties of general stochastic channels have received little attention. In this paper, we prove that the diamond distance of a general stochastic channel from the identity coincides with its process infidelity to the identity. We demonstrate with an explicit example that there exist multi-qubit stochastic channels that are not unital. We then discuss the relationship between unitary 1-designs and stochastic channels. We prove that the twirl of an arbitrary quantum channel by a unitary 1-design is always a stochastic channel. However, unlike with unitary 2-designs, the twirled channel depends upon the choice of unitary 1-design. Moreover, we prove by example that there exist stochastic channels that cannot be obtained by twirling a quantum channel by a unitary 1-design.


title: Semi-empirical and Linear-Scaling DFT Methods to Characterize duplex DNA and G-quadruplexes in Presence of Interacting Small Molecules

abstract: The computational study of DNA and its interaction with ligands is a highly relevant area of research, with significant consequences for developing new therapeutic strategies. However, the computational description of such large and complex systems requires considering interactions of different types. All these considerations imply a real challenge for computational chemistry. Using quantum methods for the entire system requires significant computational resources, with improvements in parallelization and optimization of theoretical strategies. Computational methods, such as LS-DFT and DLPNO-CCSD(T), may allow performing ab initio QM calculations, including explicitly the electronic structure for large biological systems, at a reasonable computing time. In this work, we study the interaction of small molecules and cations with DNA (duplex-DNA and G-quadruplexes), comparing different computational methods: a linear-scaling DFT (LS-DFT) at LMKLL/DZDP level of theory, semi-empirical methods (PM6-DH2 and PM7), mixed QM/MM, and DLPNO-CCSD(T). Our goal is to demonstrate the adequacy of LS-DFT to treat the different types of interactions present in DNA-dependent systems. We show that LMKLL/DZDP using SIESTA can yield very accurate geometries and energetics in all the different systems considered in this work: duplex DNA (dDNA), phenanthroline intercalating dDNA, G-quadruplexes, and Metal-G-tetrads considering alkaline metals of different sizes. As far as we know, this is the first time that full G-quadruplex geometry optimizations have been carried out using a DFT method thanks to its linear-scaling capabilities. Moreover, we show that LS-DFT provides high-quality structures, and some semi-empirical Hamiltonian can also yield suitable geometries. However, DLPNO-CCSD(T) and LS-DFT are the only methods that accurately describe interaction energies for all the systems considered in our study.


title: An achromatic metafiber for focusing and imaging across the entire telecommunication range

abstract: Dispersion engineering is essential to the performance of most modern optical systems including fiber-optic devices. Even though the chromatic dispersion of a meter-scale single-mode fiber used for endoscopic applications is negligible, optical lenses located on the fiber end face for optical focusing and imaging suffer from strong chromatic aberration. Here we present the design and nanoprinting of a 3D achromatic diffractive metalens on the end face of a single-mode fiber, capable of performing achromatic and polarization-insensitive focusing across the entire near-infrared telecommunication wavelength band ranging from 1.25 to 1.65 um. This represents the whole single-mode domain of commercially used fibers. The unlocked height degree of freedom in a 3D nanopillar meta-atom largely increases the upper bound of the time-bandwidth product of an achromatic metalens up to 21.34, leading to a wide group delay modulation range spanning from -8 to 14 fs. Furthermore, we demonstrate the use of our compact and flexible achromatic metafiber for fiber-optic confocal imaging, capable of creating in-focus sharp images under broadband light illumination. These results may unleash the full potential of fiber meta-optics for widespread applications including hyperspectral endoscopic imaging, femtosecond laser-assisted treatment, deep tissue imaging, wavelength-multiplexing fiber-optic communications, fiber sensing, and fiber lasers.


title: Examining the Relations between Household Saving Rate of Rural Areas and Migration

abstract: China has been developing very fast since the beginning of the 21st century. The net income of households has been increased a lot as well. Nonetheless, migration from rural areas to urban sectors tends to keep a high saving rate instead of consumption. This essay tries to use the conventional Ordinary Least Square regression, along with the method of Instrument Variable to test the problem of endogeneity, to discover the relationship between the saving rates of rural households and labor migration, controlling for other characteristic variables including having insurance, marital status, education, having children, health conditions. The assumption is that migration contributes positively to the dependent variable, meaning that migration could increase the household save rates. However, the conclusion is that it is negatively with the household save rates. All the other variables regarding education, health conditions, marital status, insurance, and number of children are negatively related with the household saving rates.


title: Punctured groups for exotic fusion systems

abstract: The transporter systems of Oliver and Ventura and the localities of Chermak are classes of algebraic structures that model the $p$-local structures of finite groups. Other than the transporter categories and localities of finite groups, important examples include centric, quasicentric, and subcentric linking systems for saturated fusion systems. These examples are however not defined in general on the full collection of subgroups of the Sylow group. We study here punctured groups, a short name for transporter systems or localities on the collection of nonidentity subgroups of a finite $p$-group. As an application of the existence of a punctured group, we show that the subgroup homology decomposition on the centric collection is sharp for the fusion system. We also prove a Signalizer Functor Theorem for punctured groups and use it to show that the smallest Benson-Solomon exotic fusion system at the prime $2$ has a punctured group, while the others do not. As for exotic fusion systems at odd primes $p$, we survey several classes and find that in almost all cases, either the subcentric linking system is a punctured group for the system, or the system has no punctured group because the normalizer of some subgroup of order $p$ is exotic. Finally, we classify punctured groups restricting to the centric linking system for certain fusion systems on extraspecial $p$-groups of order $p^3$.


title: Optimisation models for Transportation Network Design under Uncertainty:a literature review

abstract: Supply chain network is critical to serving customers, so the most common practices are to determine the number, location, and capacity of facilities. But at the same time, uncertainties and risks must be taken into account in order to control delays. In this context, many optimisation models have been developed to use the results in transportation network and therefore improve the supply chain performance. Models were developed in both routing and zoning/districting problems, and different cases have been discussed in the literature, such as facility location problems, urban problems, and transportation problems. This paper seeks to review the literature in this area and decompose the models into Mathematical modelling and Geometrical approaches. Distribution is an important part of the supply chain management, it is a process with multiple participants. This characteristic brings a high level of uncertainty. This article therefore presents the distribution process and in particular the design of the transportation network which can include both routing and districting problems.


title: Propagacion del SARS-COV-2 en Cuba. Una vision cualitativa desde la Teoria de Sistemas Complejos

abstract: We describe some properties of the evolution of the COVID-19 pandemic that reveal its behavior as a complex system. The propagation mechanism shows a Poincare section with fractal dimension 1 <D <2. The present period of apparent recovery shows a relaxation with non-extensive statistical properties.


title: Modelling the behavior of human crowds as coupled active-passive dynamics of interacting particle systems

abstract: The modelling of human crowd behaviors offers many challenging questions to science in general. Specifically, the social human behavior consists of many physiological and psychological processes which are still largely unknown. To model reliably such human crowd systems with complex social interactions, stochastic tools play an important role for the setting of mathematical formulations of the problems. In this work, using the description based on an exclusion principle, we study a statistical-mechanics-based lattice gas model for active-passive population dynamics with an application to human crowd behaviors. We provide representative numerical examples for the evacuation dynamics of human crowds, where the main focus in our considerations is given to an interacting particle system of active and passive human groups. Furthermore, our numerical results show that the communication between active and passive humans strongly influences the evacuation time of the whole population even when the "faster-is-slower" phenomenon is taken into account. To provide an additional inside into the problem, a stationary state of our model is analyzed via current representations and heat map techniques. Finally, future extensions of the proposed models are discussed in the context of coupled data-driven modelling of human crowds and traffic flows, vital for the design strategies in developing intelligent transportation systems.


title: Low Regret Binary Sampling Method for Efficient Global Optimization of Univariate Functions

abstract: In this work, we propose a computationally efficient algorithm for the problem of global optimization in univariate loss functions. For the performance evaluation, we study the cumulative regret of the algorithm instead of the simple regret between our best query and the optimal value of the objective function. Although our approach has similar regret results with the traditional lower-bounding algorithms such as the Piyavskii-Shubert method for the Lipschitz continuous or Lipschitz smooth functions, it has a major computational cost advantage. In Piyavskii-Shubert method, for certain types of functions, the query points may be hard to determine (as they are solutions to additional optimization problems). However, this issue is circumvented in our binary sampling approach, where the sampling set is predetermined irrespective of the function characteristics. For a search space of $[0,1]$, our approach has at most $L\log (3T)$ and $2.25H$ regret for $L$-Lipschitz continuous and $H$-Lipschitz smooth functions respectively. We also analytically extend our results for a broader class of functions that covers more complex regularity conditions.


title: Worldwide bilateral geopolitical interactions network inferred from national disciplinary profiles

abstract: A disciplinary profile of a country is defined as the versor whose components are the numbers of articles produced in a given discipline divided the overall production of the country. Starting from the Essential Science Indicators (ESI) schema of classification of subject area, we obtained the yearly disciplinary profiles of a worldwide graph, where on each node sits a country, in the two time intervals [1980-1988] and [1992-2017], the fall of the Berlin Wall being the watershed. We analyse the empirical pairwise cross-correlation matrices of the time series of disciplinary profiles. The contrast with random matrix theory proves that, beyond measurement noise, the empirical cross-correlation matrices bring genuine information. Arising from the Shannon theorem as the least-structured model consistent with the measured pairwise correlations, the stationary probability distribution of disciplinary profiles can be described by a Boltzmann distribution related to a generalized $n_d$-dimensional Heisenberg model. The set of network interactions of the Heisenberg model have been inferred and to it they have been applied two clusterization methods, hierarchical clustering and principal component analysis. On a geopolitical plane this allow to obtain a characterization of the worldwide bilateral interactions based on physical modeling. A simple geopolitical analysis reveals the consistency of the results obtained and gives a boost to deeper historical analysis. In order to obtain the optimal set of pairwise interactions we used a Pseudo-Likelihood approach. We analytically computed the Pseudo-Likelihood and its gradient. The analytical computations deserve interest in whatever inference Bayesian problem involving a $n_d$-dimensional Heisenberg model.


title: Nanotechnology Applications The future arrived suddenly

abstract: There is already a significant time, but it gives the sensation of extremely short,nanotechnology has become one of the most promising scientific hopes in innumerable human domains. Now the hope become reality. Countless scientific studies in several areas of knowledge have been made since the nanoscale emergence, carrying their contribution to the nanoscience development. The recent research in this field allowed the union of interests among several areas, such as physical sciences, molecular engineering, biology, biotechnology and medicine for example, contributing to the investigation of biosystems at a nanoscale. In this work begin discussing nanotechnology in a general way. Then nanotechnology and the applications in industry, in electronics and in medicine are presented and some discussion is proposed in order to define the boundaries for the advances on those areas. In the end, nanotechnology is discussed in terms of ethics and in terms of the borders that nanotechnology applications must satisfyand concluding notes are presented, highlighting the results of the analysis. Important considerations are made about the close connection between ethics and the nanotechnology and the effects over the society and values. Some future directions for the research are suggested.


title: Tracking accuracy evaluation of electromagnetic sensor-based colonoscope tracking method

abstract: This paper reports a detailed evaluation results of a colonoscope tracking method. A colonoscope tracking method utilizing electromagnetic sensors and a CT volume has been proposed. Tracking accuracy of this method was evaluated by using a colon phantom. In the previously proposed paper, tracking errors were measured only at six points on the colon phantom for the accuracy evaluation. The point number is not enough to evaluate relationships between the tracking errors and positions in the colon. In this paper, we evaluated the colonoscope tracking method based on more detailed measurement results of the tracking errors. We measured tracking errors at 52 points on the colon phantom and visualized magnitudes of the tracking errors. From our experiments, tracking errors in the ascending and descending colons were enough small to perform colonoscope navigations. However, tracking errors in the transverse and descending colons were large due to colon deformations.


title: Bayesian inference of spatial and temporal relations in AI patents for EU countries

abstract: In the paper, we propose two models of Artificial Intelligence (AI) patents in European Union (EU) countries addressing spatial and temporal behaviour. In particular, the models can quantitatively describe the interaction between countries or explain the rapidly growing trends in AI patents. For spatial analysis Poisson regression is used to explain collaboration between a pair of countries measured by the number of common patents. Through Bayesian inference, we estimated the strengths of interactions between countries in the EU and the rest of the world. In particular, a significant lack of cooperation has been identified for some pairs of countries. Alternatively, an inhomogeneous Poisson process combined with the logistic curve growth accurately models the temporal behaviour by an accurate trend line. Bayesian analysis in the time domain revealed an upcoming slowdown in patenting intensity.


title: On the linearized system of equations for the condensate-normal fluid interaction near the critical temperature

abstract: The Cauchy problem for the linearization of a system of equations arising in the kinetic theory of a condensed gas of bosons near the critical temperature around one of its equilibria is solved for radially symmetric initial data. It is proved that the linearized system has global classical solutions that satisfy the natural conservation laws for a large set of initial data. Some regularity properties of the solutions and their long time asymptotic behavior are described.


title: What is the mission of innovation?

abstract: Governments and organizations recognize the need to revisit a mission-driven innovation amidst national and organizational innovation policy formulations. Notwithstanding a fertile research agenda on mission statements (hereafter mission(s)), several lines of inquiry remain open, such as crossnational and multisectorial studies and an examination of research knowledge intensive institutions. In this article, we identify similarities and differences in the content of missions from government, private, higher education, and health research knowledge intensive institutions in a sample of over 1,900 institutions from 89 countries through the deployment of sentiment analysis, readability, and lexical diversity; semantic networks; and a similarity computation between document corpus. We found that missions of research knowledge intensive institutions are challenging to read texts with lower lexical diversity that favors positive rather than negative words. In stark contrast to this, the non-profit sector is consonant in multiple dimensions in its use of Corporate Social Responsibility jargon. The lexical appearance of research in the missions varies according to mission sectorial context, and each sector has a cluster specific focus. Utilizing the mission as a strategic planning tool in higher income regions might serve to explain corpora similarities shared by sectors and continents.


title: Exploring Bosonic and Fermionic Link Models on $(3+1)-$d tubes

abstract: Quantum link models (QLMs) have attracted a lot of attention in recent times as a generalization of Wilson's lattice gauge theories (LGT), and are particularly suitable for realization on quantum simulators and computers. These models are known to host new phases of matter and act as a bridge between particle and condensed matter physics. In this article, we study the Abelian $U(1)$ lattice gauge theory in $(3+1)$-d tubes using large-scale exact diagonalization (ED). We are then able to motivate the phase diagram of the model with finite size scaling techniques (FSS), and in particular propose the existence of a Coulomb phase. Furthermore, we introduce the first models involving fermionic quantum links, which generalize the gauge degrees of freedom to be of fermionic nature. We prove that while the spectra remain identical between the bosonic and the fermionic versions of the $U(1)$-symmetric quantum link models in $(2+1)$-d, they are different in $(3+1)$-d. We discuss the prospects of realizing the magnetic field interactions as correlated hopping in quantum simulator experiments.


title: A Principal Component Analysis of polycyclic aromatic hydrocarbon emission in NGC 7023

abstract: We carried out a principal component analysis (PCA) of the fluxes of five polycyclic aromatic hydrocarbon (PAH) bands at 6.2, 7.7, 8.6, 11.0, and 11.2 $\mu$m in the reflection nebula NGC 7023 comprising of the photodissociation region (PDR) and a cavity. We find that only two principal components (PCs) are required to explain the majority of the observed variance in PAH fluxes (98 %). The first PC ($PC_{1}$), which is the primary driver of the variance, represents the total PAH emission. The second PC ($PC_{2}$) is related to the ionization state of PAHs across the nebula. This is consistent with the results of a similar analysis of the PAH emission in NGC 2023. The biplots and the correlations of PCs with the various PAH ratios show that there are two subsets of ionic bands with the 6.2 and 7.7 $\mu$m bands forming one subset and the 8.6 and 11.0 $\mu$m bands the other. However, the distinction between these subsets is only present in the PDR. We have also carried out a separate PCA analysis of the PAH fluxes, this time only considering variations in the cavity. This shows that in the cavity, $PC_{2}$ is not related to the charge state of PAHs, but possibly to structural molecular changes.


title: NLO quark self-energy and dispersion relation using the hard thermal loop resummation

abstract: Using the hard-thermal-loop (HTL) resummation in real-time formalism, we study the next-to-leading order (NLO) quark self-energy and corresponding NLO dispersion laws. In NLO, we have replaced all the propagators and vertices with the HTL-effective ones in the usual quark self-energy diagram. Additionally, a four-point vertex diagram also contributes to the quark NLO self-energy. We calculate the usual quark self-energy diagram and the four-point vertex diagram separately. Using those, we express the NLO quark self-energy in terms of the three- and four-point HTL-effective vertex functions. Using the Feynman parametrization, we express the integrals containing the three- and four-point HTL effective vertex functions in terms of the solid angles. After completing the solid angle integrals, we numerically calculate the momentum integrals in the NLO quark self-energy and plot them as a function of the ratio of momentum and energy. Using the NLO quark self-energy, we plot the NLO correction to dispersion laws.


title: Molecular and Materials Basic Ontology: development and first steps

abstract: Advanced materials and their applications have become a key field of research, and it looks like this trend is not going to change soon. For that reason, the need for systematic and efficient methods for organizing knowledge in the field and conduct computational or experimental investigations is stronger than ever. In this work, we present a basic implementation of MAMBO - an ontology for molecular materials and their applications in real-life scenarios. The development of MAMBO has been guided by the needs of the research community involved in the development of novel materials with functional properties, with particular attention to the nanoscale. MAMBO aims at extending the current work in the field, while retaining a modular nature in order to allow straightforward extension of concepts and relations to neighboring domains. Our work is expected to enable the systematic integration of computational and experimental data in specific domains of interest (nanomaterials, molecular materials, organic an polymeric materials, supramolecular and bio-organic systems, etc.). Moreover, MAMBO is developed with a strong focus on the applications of data-driven frameworks for the design of novel materials with tailored characteristics.


title: Creation of turbulence in polyatomic gas flow via an intermolecular potential

abstract: We develop a tractable interaction model for a polyatomic gas, whose kinetic equation combines a Vlasov-type mean field forcing due to an intermolecular potential, and a Boltzmann-type collision integral due to rotational interactions. We construct a velocity moment hierarchy for the new kinetic equation, and find that, under the high Reynolds number condition, the pressure equation becomes decoupled from the angular momentum and stress. For the heat flux, we propose a novel closure by prescribing the specific heat capacity of the gas flow. Setting the specific heat capacity to that of a constant-pressure process leads to the system of equations for a balanced flow, where the momentum transport equation contains the mean field forcing, which is an averaged effect of the intermolecular potential. Remarkably, the balanced flow equations do not contain any information about internal thermodynamic properties of the gas, and are thereby applicable to a broad range of different gases. We conduct numerical simulations for an air-like gas at normal conditions in the inertial flow regime, where the pressure is constant throughout the domain. We find that the presence of the intermolecular potential produces a distinctly turbulent flow, whose time-averaged Fourier spectra of the kinetic energy and temperature exhibit Kolmogorov's power decay.


title: Almost Complex Structures on Homotopy Complex Projective Spaces

abstract: We show that all homotopy $\mathbb{C}P^n$s, smooth closed manifolds with the oriented homotopy type of $\mathbb{C}P^n$, admit almost complex structures for $3 \leq n \leq 6$, and classify these structures by their Chern classes. Our methods provide a new proof of a result of Libgober and Wood on the classification of almost complex structures on homotopy $\mathbb{C}P^4$s.


title: (Non)-projective bounds on gravitational EFT

abstract: In this paper we study both projective and non-projective constraints on four-dimensional gravitational effective fields theories implied from unitarity, causality and crossing, assuming perturbative UV completions in $M_{\rm pl}$. We derive bounds on the Wilson coefficients of $R^3$ and $D^{2n}R^4$ from its dispersive representation, utilizing both numerical semi-definite programming and analytic geometry analysis. From the former, we derive projective bounds on ratios of couplings and observe accumulation point spectrum populating the boundary of the allowed region. For the latter we consider the non-projective geometry of the EFThedron, which we relate to the known $L$-moment problem in the literature. This allows us to move beyond positivity and incorporate the upper bound from unitarity of the imaginary parts of partial waves. This leads to sharp bounds on individual coefficients, which are of order unity when normalized with respect to the UV scale. Finally, the non-projective geometry also allows us to derive optimal bounds reflecting assumptions of low-spin dominance, improving previous results. We complement the analytic analysis with a simple linear programming approach that validates the bounds.


title: Kawamata boundedness for Fano threefolds and the Graded Ring Database

abstract: We explain an effective Kawamata boundedness result for Mori-Fano 3-folds. In particular, we describe a list of 39,550 possible Hilbert series of semistable Mori-Fano 3-folds, with examples to explain its meaning, its relationship to known classifications and the wealth of more general Fano 3-folds it contains, as well as its application to the on-going classification of Fano 3-folds.


title: Fine-grained network traffic prediction from coarse data

abstract: ICT systems provide detailed information on computer network traffic. However, due to storage limitations, some of the information on past traffic is often only retained in an aggregated form. In this paper we show that Linear Gaussian State Space Models yield simple yet effective methods to make predictions based on time series at different aggregation levels. The models link coarse-grained and fine-grained time series to a single model that is able to provide fine-grained predictions. Our numerical experiments show up to 3.7 times improvement in expected mean absolute forecast error when forecasts are made using, instead of ignoring, additional coarse-grained observations. The forecasts are obtained in a Bayesian formulation of the model, which allows for provisioning of a traffic prediction service with highly informative priors obtained from coarse-grained historical data.


title: A note on singularity avoidance in fourth-order gravity

abstract: We consider the fourth-order differential theory of gravitation to treat the problem of singularity avoidance: studying the short-distance behaviour in the case of black-holes and the big-bang we are going to see a way to attack the issue from a general perspective.


title: Pandemic Recession and Helicopter Money: Venice, 1629--1631

abstract: We analyse the money-financed fiscal stimulus implemented in Venice during the famine and plague of 1629--31, which was equivalent to a 'net-worth helicopter money' strategy -- a monetary expansion generating losses to the issuer. We argue that the strategy aimed at reconciling the need to subsidize inhabitants suffering from containment policies with the desire to prevent an increase in long-term government debt, but it generated much monetary instability and had to be quickly reversed. This episode highlights the redistributive implications of the design of macroeconomic policies and the role of political economy factors in determining such designs.


title: A model of conflict and leadership: Is there a hawkish drift in politics?

abstract: We analyze conflict between a citizenry and an insurgent group over a fixed resource such as land. The citizenry has an elected leader who proposes a division such that, the lower the land ceded to the insurgents, the higher the cost of conflict. Leaders differ in ability and ideology such that the higher the leader's ability, the lower the cost of conflict, and the more hawkish the leader, the higher his utility from retaining land. We show that the conflict arises from the political process with re-election motives causing leaders to choose to cede too little land to signal their ability. We also show that when the rents of office are high, the political equilibrium and the second best diverge; in particular, the policy under the political equilibrium is more hawkish compared to the second best. When both ideology and ability are unknown, we provide a plausible condition under which the probability of re-election increases in the leader's hawkishness, thereby providing an explanation for why hawkish politicians may have a natural advantage under the electoral process.


title: Unveiling philosophy and social aspects of nanotechnology: A short review

abstract: Philosophy has nurtured fundamental science by asking the right questions. This scientific growth has fuelled research in various domains and introduced diverse disciplines. Nanotechnology is an interdisciplinary domain with numerous applications ranging from medical diagnostics and food technology to electronics and psychology. Exploring nanotechnology's philosophical and social perspective can better understand these domains and may open new doors for research. This review addresses philosophical and other aspects of nanotechnology, such as history, definitions, vision, language, laws, politics, and ethics. This is an attempt to equip anyone in the field of nanotechnology with philosophical and social insights. We expect this review to provide an introductory understanding of philosophy and other aspects to the nanotechnologists, which are usually excluded from their degree curriculum.


title: Are neighbourhood amenities associated with more walking and less driving? Yes, but only for the wealthy

abstract: Cities are home to a vast array of amenities, from local barbers to science museums and shopping malls. But these are inequality distributed across urban space. Using Google Places data combined with trip-based mobility data for Bogot\'a, Colombia, we shed light on the impact of neighbourhood amenities on urban mobility patterns. Deriving a new accessibility metric that explicitly takes into account spatial range, we find that a higher density of local amenities is associated a higher likelihood of walking as well as shorter bus and car trips. Digging deeper, we use a sample stratification framework to show that socioeconomic status (SES) modulates these effects. Amenities within about a 1km radius are strongly associated with a higher propensity to walk and lower driving time only for only the wealthiest group. In contrast, a higher density of amenities is associated with shorter bus trips for low and middle SES residents. As cities globally aim to boost public transport and green travel, these findings enable us to better understand how commercial structure shapes urban mobility in highly income-segregated settings.


title: Orchestrating 5G Network Slices to Support Industrial Internet and to Shape Next-Generation Smart Factories

abstract: Industry 4.0 aims at shaking the current manufacturing landscape by leveraging the adoption of smart industrial equipment with increased connectivity, sensing, and actuation capabilities. By exploring access to real-time production information and advanced remote control features, servitization of manufacturing firms promises novel added value services for industrial operators and customers. On the other hand, industrial networks would face a transformation process in order to support the flexibility expected by the next-generation manufacturing processes and enable inter-factory cooperation. In this scenario, the 5G systems can play a key role in enabling Industry 4.0 by extending the network slicing paradigm to specifically support the requirements of industrial use cases over heterogeneous domains. We present a novel 5G-based network slicing framework which aims at accommodating the requirements of Industry 4.0. To interconnect different industrial sites up to the extreme edge, different slices of logical resources can be instantiated on-demand to provide the required end-to-end connectivity and processing features. We validate our proposed framework in three realistic use cases which enabled us highlight the envisioned benefits for industrial stakeholders.


title: Dynamic maps for automated driving and UAVs geofencing

abstract: The past few years have witnessed a remarkable rise in interest in driver-less cars; and naturally, in parallel, the demand for an accurate and reliable object localization and mapping system is higher than ever. Such a system would have to provide its subscribers with precise information within close range. There have been many previous research works that have explored the different possible approaches to implement such a highly dynamic mapping system in an intelligent transportation system setting, but few have discussed its applicability toward enabling other 5G verticals and services. In this article we start by describing the concept of dynamic maps. We then introduce the approach we took when creating a spatio-temporal dynamic maps system by presenting its architecture and different components. After that, we propose different scenarios where this fairly new and modern technology can be adapted to serve other 5G services, in particular, that of UAV geofencing, and finally, we test the object detection module and discuss the results.


title: Network Slicing-Based Customization of 5G Mobile Services

abstract: Through network slicing, different requirements of different applications and services can be met. These requirements can be in terms of latency, bandwidth, mobility support, defining service area, as well as security. Through fine and dynamic tuning of network slices, services can have their delivery platforms constantly customized according to their changing needs. In this article, we present our implementation of an E2E network slice orchestration platform, evaluate its performance in terms of dynamic deployment of network slices in an E2E fashion, and discuss how its functionality can be enhanced to better customize the network slices according to the needs of their respective services.


title: SoK: Blockchain Governance

abstract: Blockchain systems come with a promise of decentralization that often stumbles on a roadblock when key decisions about modifying the software codebase need to be made. This is attested by the fact that both of the two major cryptocurrencies, Bitcoin and Ethereum, have undergone hard forks that resulted in the creation of alternative systems, creating confusion and opportunities for fraudulent activities. These events, and numerous others, underscore the importance of Blockchain governance, namely the set of processes that blockchain platforms utilize in order to perform decision-making and converge to a widely accepted direction for the system to evolve. While a rich topic of study in other areas, governance of blockchain platforms is lacking a well established set of methods and practices that are adopted industry wide. This makes the topic of blockchain governance a fertile domain for a thorough systematization that we undertake in this work. We start by distilling a comprehensive array of properties for sound governance systems drawn from academic sources as well as grey literature of election systems and blockchain white papers. These are divided into seven categories, confidentiality, verifiability, accountability, sustainability, Pareto efficiency, suffrage and liveness that capture the whole spectrum of desiderata of governance systems. We proceed to classify ten well-documented blockchain systems. While all properties are satisfied, even partially, by at least one system, no system that satisfies most of them. Our work lays out a foundation for assessing blockchain governance processes. While it highlights shortcomings and deficiencies in currently deployed systems, it can also be a catalyst for improving these processes to the highest possible standard with appropriate trade-offs, something direly needed for blockchain platforms to operate effectively in the long term.


title: MUSE-VAE: Multi-Scale VAE for Environment-Aware Long Term Trajectory Prediction

abstract: Accurate long-term trajectory prediction in complex scenes, where multiple agents (e.g., pedestrians or vehicles) interact with each other and the environment while attempting to accomplish diverse and often unknown goals, is a challenging stochastic forecasting problem. In this work, we propose MUSE, a new probabilistic modeling framework based on a cascade of Conditional VAEs, which tackles the long-term, uncertain trajectory prediction task using a coarse-to-fine multi-factor forecasting architecture. In its Macro stage, the model learns a joint pixel-space representation of two key factors, the underlying environment and the agent movements, to predict the long and short-term motion goals. Conditioned on them, the Micro stage learns a fine-grained spatio-temporal representation for the prediction of individual agent trajectories. The VAE backbones across the two stages make it possible to naturally account for the joint uncertainty at both levels of granularity. As a result, MUSE offers diverse and simultaneously more accurate predictions compared to the current state-of-the-art. We demonstrate these assertions through a comprehensive set of experiments on nuScenes and SDD benchmarks as well as PFSD, a new synthetic dataset, which challenges the forecasting ability of models on complex agent-environment interaction scenarios.


title: Sensitivity analysis of a mean-value exergy-based internal combustion engine model

abstract: In this work, we conduct a sensitivity analysis of the mean-value internal combustion engine exergy-based model, recently developed by the authors, with respect to different driving cycles, ambient temperatures, and exhaust gas recirculation rates. Such an analysis allows to assess how driving conditions and environment affect the exergetic behavior of the engine, providing insights on the system's inefficiency. Specifically, the work is carried out for a military series hybrid electric vehicle.


title: Vortices in polar and $\beta$ phases of $^3$He

abstract: Recently new topological phase of superfluid $^3$He has been discovered -- the $\beta$ phase, which is obtained by strong polarization of the nematic polar phase. We consider half-quantum vortices, which are formed in rotating cryostat, and discuss the evolution of the vortex lattice in the process of the transition from the polar phase to the $\beta$-phase via the spin-polarized polar phase.