title: Two-dimensional Discommensurations: an extension to McMillan's Ginzburg-Landau Theory

abstract: Charge density waves (CDW) profoundly affect the electronic properties of materials and have an intricate interplay with other collective states, like superconductivity and magnetism. The well-known macroscopic Ginzburg-Landau theory stands out as a theoretical method for describing CDW phenomenology without requiring a microscopic description. In particular, it has been instrumental in understanding the emergence of domain structures in several CDW compounds, as well as the influence of critical fluctuations and the evolution towards or across lock-in transitions. In this context, McMillan's foundational work introduced discommensurations as the objects mediating the transition from commensurate to incommensurate CDW, through an intermediate nearly commensurate phase characterised by an ordered array of phase slips. Here, we extend the simplified, effectively one-dimensional, setting of the original model to a fully two-dimensional analysis. We find exact and numerical solutions for several types of discommensuration patterns and provide a framework for consistently describing multi-component CDW embedded in quasi-two-dimensional atomic lattices.


title: Branching points in the planar Gilbert--Steiner problem have degree 3

abstract: Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation. We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.


title: Carter's case [D] admits the 2nd Canonical Form of the Killing Tensor

abstract: The study of the Canonical Forms of the Killing Tensor concerns the simultaneous resolving of the Integrability Conditions of the Killing Tensor along with the Einstein's Field Equations employing the framework of Newman-Penrose Formalism. We present all the Petrov Types admitting the 2nd and 3rd Canonical Forms of Killing Tensor in Vacuum in the frame of General Theory of Relativity. During the investigation of the Type D solution of 2nd Canonical form of the Killing Tensor the Carter's Case [D] solution in Vacuum emerged.


title: Task Offloading Optimization in Mobile Edge Computing under Uncertain Processing Cycles and Intermittent Communications

abstract: Mobile edge computing (MEC) has been regarded as a promising approach to deal with explosive computation requirements by enabling cloud computing capabilities at the edge of networks. Existing models of MEC impose some strong assumptions on the known processing cycles and unintermittent communications. However, practical MEC systems are constrained by various uncertainties and intermittent communications, rendering these assumptions impractical. In view of this, we investigate how to schedule task offloading in MEC systems with uncertainties. First, we derive a closed-form expression of the average offloading success probability in a device-to-device (D2D) assisted MEC system with uncertain computation processing cycles and intermittent communications. Then, we formulate a task offloading maximization problem (TOMP), and prove that the problem is NP-hard. For problem solving, if the problem instance exhibits a symmetric structure, we propose a task scheduling algorithm based on dynamic programming (TSDP). By solving this problem instance, we derive a bound to benchmark sub-optimal algorithm. For general scenarios, by reformulating the problem, we propose a repeated matching algorithm (RMA). Finally, in performance evaluations, we validate the accuracy of the closed-form expression of the average offloading success probability by Monte Carlo simulations, as well as the effectiveness of the proposed algorithms.


title: Symmetry-Enriched Criticality in a Coupled Spin-Ladder

abstract: We study a one-dimensional ladder of two coupled XXZ spin chains and identify several distinct gapless symmetry-enriched critical phases. These have the same unbroken symmetries and long-wavelength description, but cannot be connected without encountering either a phase transition or other intermediate phases. Using bosonizaion, we analyze the nature of their distinction by determining how microscopic symmetries are manifested in the long-wavelength fields, the behavior of charged local and nonlocal operators, and identify the universality class of all direct continuous phase transitions between them. One of these phases is a gapless topological phase with protected edge modes. We characterize its precise nature and place it within the broader classification. We also find the occurrence of `multiversality' in the phase diagram, wherein two fixed phases are separated by continuous transitions with different universality classes in different parameter regimes. We determine the phase diagram and all its aspects, as well as verify our predictions numerically using density matrix renormalization group and a mapping onto an effective spin-1 model.


title: Variable order porous media equations: Application on modeling the S&P500 and Bitcoin price return

abstract: This article reveals a specific category of solutions for the $1+1$ Variable Order (VO) nonlinear fractional Fokker-Planck equations. These solutions are formulated using VO $q$-Gaussian functions, granting them significant versatility in their application to various real-world systems, such as financial economy areas spanning from conventional stock markets to cryptocurrencies. The VO $q$-Gaussian functions provide a more robust expression for the distribution function of price returns in real-world systems. Additionally, we analyzed the temporal evolution of the anomalous characteristic exponents derived from our study, which are associated with the long-range memory in time series data and autocorrelation patterns.


title: Optimal baseline exploitation in vertical dark-matter detectors based on atom interferometry

abstract: Several terrestrial detectors for gravitational waves and dark matter based on long-baseline atom interferometry are currently in the final planning stages or already under construction. These upcoming vertical sensors are inherently subject to gravity and thus feature gradiometer or multi-gradiometer configurations using single-photon transitions for large momentum transfer. While there has been significant progress on optimizing these experiments against detrimental noise sources and for deployment at their projected sites, finding optimal configurations that make the best use of the available resources are still an open issue. Even more, the fundamental limit of the device's sensitivity is still missing. Here we fill this gap and show that (a) resonant-mode detectors based on multi-diamond fountain gradiometers achieve the optimal, shot-noise limited, sensitivity if their height constitutes 20% of the available baseline; (b) this limit is independent of the dark-matter oscillation frequency; and (c) doubling the baseline decreases the ultimate measurement uncertainty by approximately 65%. Moreover, we propose a multi-diamond scheme with less mirror pulses where the leading-order gravitational phase contribution is suppressed, compare it to established geometries, and demonstrate that both configurations saturate the same fundamental limit.


title: Prediction of even and odd sunspot cycles

abstract: Here we study the prediction of even and odd numbered sunspot cycles separately, thereby taking into account the Hale cyclicity of solar magnetism. We first show that the temporal evolution and shape of all sunspot cycles are extremely well described by a simple parameterized mathematical expression. We find that the parameters describing even sunspot cycles can be predicted quite accurately using the sunspot number 41 months prior to sunspot minimum as a precursor. We find that the parameters of the odd cycles can be best predicted with maximum geomagnetic aa index close to fall equinox within a 3-year window preceding the sunspot minimum. We use the found precursors to predict all previous sunspot cycles and evaluate the performance with a cross-validation methodology, which indicates that each past cycle is very accurately predicted. For the coming sunspot cycle 25 we predict an amplitude of 171 +/- 23 and the end of the cycle in September 2029 +/- 1.9 years. We are also able to make a rough prediction for cycle 26 based on the predicted cycle 25. While the uncertainty for the cycle amplitude is large we estimate that the cycle 26 will most likely be stronger than cycle 25. These results suggest an increasing trend in solar activity for the next decades.


title: Computable error bounds for quasi-Monte Carlo using points with non-negative local discrepancy

abstract: Let $f:[0,1]^d\to\mathbb{R}$ be a completely monotone integrand as defined by Aistleitner and Dick (2015) and let points $\boldsymbol{x}_0,\dots,\boldsymbol{x}_{n-1}\in[0,1]^d$ have a non-negative local discrepancy (NNLD) everywhere in $[0,1]^d$. We show how to use these properties to get a non-asymptotic and computable upper bound for the integral of $f$ over $[0,1]^d$. An analogous non-positive local discrepancy (NPLD) property provides a computable lower bound. It has been known since Gabai (1967) that the two dimensional Hammersley points in any base $b\ge2$ have non-negative local discrepancy. Using the probabilistic notion of associated random variables, we generalize Gabai's finding to digital nets in any base $b\ge2$ and any dimension $d\ge1$ when the generator matrices are permutation matrices. We show that permutation matrices cannot attain the best values of the digital net quality parameter when $d\ge3$. As a consequence the computable absolutely sure bounds we provide come with less accurate estimates than the usual digital net estimates do in high dimensions. We are also able to construct high dimensional rank one lattice rules that are NNLD. We show that those lattices do not have good discrepancy properties: any lattice rule with the NNLD property in dimension $d\ge2$ either fails to be projection regular or has all its points on the main diagonal.


title: Robust online estimation of biophysical neural circuits

abstract: The control of neuronal networks, whether biological or neuromorphic, relies on tools for estimating parameters in the presence of model uncertainty. In this work, we explore the robustness of adaptive observers for neuronal estimation. Inspired by biology, we show that decentralization and redundancy help recover the performance of a centralized recursive mean square algorithm in the presence of uncertainty and mismatch on the internal dynamics of the model.


title: Counterfactual Explanations via Locally-guided Sequential Algorithmic Recourse

abstract: Counterfactuals operationalised through algorithmic recourse have become a powerful tool to make artificial intelligence systems explainable. Conceptually, given an individual classified as y -- the factual -- we seek actions such that their prediction becomes the desired class y' -- the counterfactual. This process offers algorithmic recourse that is (1) easy to customise and interpret, and (2) directly aligned with the goals of each individual. However, the properties of a "good" counterfactual are still largely debated; it remains an open challenge to effectively locate a counterfactual along with its corresponding recourse. Some strategies use gradient-driven methods, but these offer no guarantees on the feasibility of the recourse and are open to adversarial attacks on carefully created manifolds. This can lead to unfairness and lack of robustness. Other methods are data-driven, which mostly addresses the feasibility problem at the expense of privacy, security and secrecy as they require access to the entire training data set. Here, we introduce LocalFACE, a model-agnostic technique that composes feasible and actionable counterfactual explanations using locally-acquired information at each step of the algorithmic recourse. Our explainer preserves the privacy of users by only leveraging data that it specifically requires to construct actionable algorithmic recourse, and protects the model by offering transparency solely in the regions deemed necessary for the intervention.


title: Extreme Spontaneous Deformations of Active Crystals

abstract: We demonstrate that two-dimensional crystals made of active particles can experience extremely large spontaneous deformations without melting. Using particles mostly interacting via pairwise repulsive forces, we show that such active crystals maintain long-range bond order and algebraically-decaying positional order, but with an exponent $\eta$ not limited by the $\tfrac{1}{3}$ bound given by the (equilibrium) KTHNY theory. We rationalize our findings using linear elastic theory and show the existence of two well-defined effective temperatures quantifying respectively large-scale deformations and bond-order fluctuations. The root of these phenomena lies in the sole time-persistence of the intrinsic axes of particles, and they should thus be observed in many different situations.


title: UQ at #SMM4H 2023: ALEX for Public Health Analysis with Social Media

abstract: As social media becomes increasingly popular, more and more activities related to public health emerge. Current techniques for public health analysis involve popular models such as BERT and large language models (LLMs). However, the costs of training in-domain LLMs for public health are especially expensive. Furthermore, such kinds of in-domain datasets from social media are generally imbalanced. To tackle these challenges, the data imbalance issue can be overcome by data augmentation and balanced training. Moreover, the ability of the LLMs can be effectively utilized by prompting the model properly. In this paper, a novel ALEX framework is proposed to improve the performance of public health analysis on social media by adopting an LLMs explanation mechanism. Results show that our ALEX model got the best performance among all submissions in both Task 2 and Task 4 with a high score in Task 1 in Social Media Mining for Health 2023 (SMM4H)[1]. Our code has been released at https:// github.com/YanJiangJerry/ALEX.


title: Chevet-type inequalities for subexponential Weibull variables and estimates for norms of random matrices

abstract: We prove two-sided Chevet-type inequalities for independent symmetric Weibull random variables with shape parameter $r\in[1,2]$. We apply them to provide two-sided estimates for operator norms from $\ell_p^n$ to $\ell_q^m$ of random matrices $(a_ib_jX_{i,j})_{i\le m, j\le n}$, in the case when $X_{i,j}$'s are iid symmetric Weibull variables with shape parameter $r\in[1,2]$ or when $X$ is an isotropic log-concave unconditional random matrix. We also show how these Chevet-type inequalities imply two-sided bounds for maximal norms from $\ell_p^n$ to $\ell_q^m$ of submatrices of $X$ in both Weibull and log-concave settings.


title: Measurement of the cross section of $e^+e^-\rightarrow\Xi^{-}\bar\Xi^{+}$ at center-of-mass energies between 3.510 and 4.843 GeV

abstract: Using $e^+e^-$ collision data corresponding to a total integrated luminosity of 12.9 $fb^{-1}$ collected with the BESIII detector at the BEPCII collider, the exclusive Born cross sections and the effective form factors of the reaction $e^+e^-\rightarrow\Xi^{-}\bar\Xi^{+}$ are measured via the single baryon-tag method at 23 center-of-mass energies between 3.510 and 4.843 GeV. Evidence for the decay $\psi(3770)\rightarrow\Xi^{-}\bar\Xi^{+}$ is observed with a significance of 4.5$\sigma$ by analyzing the measured cross sections together with earlier BESIII results. For the other charmonium(-like) states $\psi(4040)$, $\psi(4160)$, $Y(4230)$, $Y(4360)$, $\psi(4415)$, and $Y(4660)$, no significant signal of their decay to $\Xi^-\bar \Xi^+$ is found. For these states, upper limits of the products of the branching fraction and the electronic partial width at the 90% confidence level are provided.


title: Liquidity Dynamics in RFQ Markets and Impact on Pricing

abstract: To assign a value to a portfolio, it is common to use Mark-to-Market prices. However, how should one proceed when the securities are illiquid? When transaction prices are scarce, how can one use all the available real-time information? In this article, we address these questions for over-the-counter (OTC) markets based on requests for quotes (RFQs). We extend the concept of micro-price, which was recently introduced for assets exchanged through limit order books in the market microstructure literature, and incorporate ideas from the recent literature on OTC market making. To account for liquidity imbalances in RFQ markets, we use an approach based on bidimensional Markov-modulated Poisson processes. Beyond extending the concept of micro-price to RFQ markets, we introduce the new concept of Fair Transfer Price. Our concepts of price can be used to value securities fairly, even when the market is relatively illiquid and/or tends to be one-sided.


title: Estimation of photon number distribution and derivative characteristics of photon-pair sources

abstract: The evaluation of a photon-pair source employs characteristic metrics like the photon-pair generation rate, heralding efficiency, and second-order correlation function, all of which are determined by the photon number distribution of the source. The photon number distribution, however, can be altered due to spectral or spatial filtering and optical losses, leading to changes in the above characteristics. In this paper, we theoretically describe the effects of different filterings, losses, and noise counts on the photon number distribution and related characteristics. From the theoretical description, an analytic expression for the effective mode number of the joint spectral density is also derived. Compared with previous methods for estimating the photon number distribution and characteristics, an improved methodology is introduced along with a suitable metric of accuracy for estimating the photon number distribution, focusing on photon-pair sources. We discuss the accuracy of the calculated characteristics from the estimated (or reconstructed) photon number distribution through repeated simulations and bootstrapped experimental data.


title: Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cycles

abstract: A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.


title: The second-order zero differential spectra of some functions over finite fields

abstract: It was shown by Boukerrou et al.~\cite{Bouk} [IACR Trans. Symmetric Cryptol. 1 2020, 331--362] that the $F$-boomerang uniformity (which is the same as the second-order zero differential uniformity in even characteristic) of perfect nonlinear functions is~$0$ on $\F_{p^n}$ ($p$ prime) and the one of almost perfect nonlinear functions on $\F_{2^n}$ is~$0$. It is natural to inquire what happens with APN or other low differential uniform functions in even and odd characteristics. Here, we explicitly determine the second-order zero differential spectra of several maps with low differential uniformity. In particular, we compute the second-order zero differential spectra for some almost perfect nonlinear (APN) functions, pushing further the study started in Boukerrou et al.~\cite{Bouk} and continued in Li et al. \cite{LYT} [Cryptogr. Commun. 14.3 (2022), 653--662], and it turns out that our considered functions also have low second-order zero differential uniformity.


title: Score-PA: Score-based 3D Part Assembly

abstract: Autonomous 3D part assembly is a challenging task in the areas of robotics and 3D computer vision. This task aims to assemble individual components into a complete shape without relying on predefined instructions. In this paper, we formulate this task from a novel generative perspective, introducing the Score-based 3D Part Assembly framework (Score-PA) for 3D part assembly. Knowing that score-based methods are typically time-consuming during the inference stage. To address this issue, we introduce a novel algorithm called the Fast Predictor-Corrector Sampler (FPC) that accelerates the sampling process within the framework. We employ various metrics to assess assembly quality and diversity, and our evaluation results demonstrate that our algorithm outperforms existing state-of-the-art approaches. We release our code at https://github.com/J-F-Cheng/Score-PA_Score-based-3D-Part-Assembly.


title: Concomitant Group Testing

abstract: In this paper, we introduce a variation of the group testing problem capturing the idea that a positive test requires a combination of multiple ``types'' of item. Specifically, we assume that there are multiple disjoint \emph{semi-defective sets}, and a test is positive if and only if it contains at least one item from each of these sets. The goal is to reliably identify all of the semi-defective sets using as few tests as possible, and we refer to this problem as \textit{Concomitant Group Testing} (ConcGT). We derive a variety of algorithms for this task, focusing primarily on the case that there are two semi-defective sets. Our algorithms are distinguished by (i) whether they are deterministic (zero-error) or randomized (small-error), and (ii) whether they are non-adaptive, fully adaptive, or have limited adaptivity (e.g., 2 or 3 stages). Both our deterministic adaptive algorithm and our randomized algorithms (non-adaptive or limited adaptivity) are order-optimal in broad scaling regimes of interest, and improve significantly over baseline results that are based on solving a more general problem as an intermediate step (e.g., hypergraph learning).


title: Offline Recommender System Evaluation under Unobserved Confounding

abstract: Off-Policy Estimation (OPE) methods allow us to learn and evaluate decision-making policies from logged data. This makes them an attractive choice for the offline evaluation of recommender systems, and several recent works have reported successful adoption of OPE methods to this end. An important assumption that makes this work is the absence of unobserved confounders: random variables that influence both actions and rewards at data collection time. Because the data collection policy is typically under the practitioner's control, the unconfoundedness assumption is often left implicit, and its violations are rarely dealt with in the existing literature. This work aims to highlight the problems that arise when performing off-policy estimation in the presence of unobserved confounders, specifically focusing on a recommendation use-case. We focus on policy-based estimators, where the logging propensities are learned from logged data. We characterise the statistical bias that arises due to confounding, and show how existing diagnostics are unable to uncover such cases. Because the bias depends directly on the true and unobserved logging propensities, it is non-identifiable. As the unconfoundedness assumption is famously untestable, this becomes especially problematic. This paper emphasises this common, yet often overlooked issue. Through synthetic data, we empirically show how na\"ive propensity estimation under confounding can lead to severely biased metric estimates that are allowed to fly under the radar. We aim to cultivate an awareness among researchers and practitioners of this important problem, and touch upon potential research directions towards mitigating its effects.


title: HITA: An Architecture for System-level Testing of Healthcare IoT Applications

abstract: System-level testing of healthcare Internet of Things (IoT) applications requires creating a test infrastructure with integrated medical devices and third-party applications. A significant challenge in creating such test infrastructure is that healthcare IoT applications evolve continuously with the addition of new medical devices from different vendors and new services offered by different third-party organizations following different architectures. Moreover, creating test infrastructure with a large number of different types of medical devices is time-consuming, financially expensive, and practically infeasible. Oslo City's healthcare department faced these challenges while working with various healthcare IoT applications. To address these challenges, this paper presents a real-world test infrastructure software architecture (HITA) designed for healthcare IoT applications. We evaluated HITA's digital twin (DT) generation component implemented using model-based and machine learning (ML) approaches in terms of DT fidelity, scalability, and time cost of generating DTs. Results show that the fidelity of DTs created using model-based and ML approaches reach 94% and 95%, respectively. Results from operating 100 DTs concurrently show that the DT generation component is scalable and ML-based DTs have a higher time cost.


title: Stress-shape misalignment in confluent cell layers

abstract: This study investigates the relationship between cell shape and cell-generated stresses in confluent cell layers. Using simultaneous measurements of cell shape orientation and cell-generated contractile forces in MDCK and LP-9 colonies, we report the emergence of correlated, dynamic domains in which misalignment between the directors defined by cell shape and by contractile forces reaches up to 90$^o$, effectively creating extensile domains in a monolayer of contractile cells. To understand this misalignment, we develop a continuum model that decouples the orientation of cell-generated active forces from the orientation of the cell shapes. This challenges the prevailing understanding that cells throughout a tissue create either contractile or extensile forces, and the validity of the usual active nematic models of cell motility where active forces are strictly slaved to cell shape orientation.


title: Long-Range Correlation Supervision for Land-Cover Classification from Remote Sensing Images

abstract: Long-range dependency modeling has been widely considered in modern deep learning based semantic segmentation methods, especially those designed for large-size remote sensing images, to compensate the intrinsic locality of standard convolutions. However, in previous studies, the long-range dependency, modeled with an attention mechanism or transformer model, has been based on unsupervised learning, instead of explicit supervision from the objective ground truth. In this paper, we propose a novel supervised long-range correlation method for land-cover classification, called the supervised long-range correlation network (SLCNet), which is shown to be superior to the currently used unsupervised strategies. In SLCNet, pixels sharing the same category are considered highly correlated and those having different categories are less relevant, which can be easily supervised by the category consistency information available in the ground truth semantic segmentation map. Under such supervision, the recalibrated features are more consistent for pixels of the same category and more discriminative for pixels of other categories, regardless of their proximity. To complement the detailed information lacking in the global long-range correlation, we introduce an auxiliary adaptive receptive field feature extraction module, parallel to the long-range correlation module in the encoder, to capture finely detailed feature representations for multi-size objects in multi-scale remote sensing images. In addition, we apply multi-scale side-output supervision and a hybrid loss function as local and global constraints to further boost the segmentation accuracy. Experiments were conducted on three remote sensing datasets. Compared with the advanced segmentation methods from the computer vision, medicine, and remote sensing communities, the SLCNet achieved a state-of-the-art performance on all the datasets.


title: Microscopic optical potentials for medium-mass isotopes derived at the first order of the Watson multiple scattering theory

abstract: We perform a first-principle calculation of optical potentials for nucleon elastic scattering off medium-mass isotopes. Fully based on a saturating chiral Hamiltonian, the optical potentials are derived by folding nuclear density distributions computed with ab initio self-consistent Green's function theory with a nucleon-nucleon $t$ matrix computed with a consistent chiral interaction. The dependence on the folding interaction as well as the convergence of the target densities are investigated. Numerical results are presented and discussed for differential cross sections and analyzing powers, with focus on elastic proton scattering off Calcium and Nickel isotopes. Our optical potentials generally show a remarkable agreement with the available experimental data for laboratory energies in the range 65-200 MeV. We study the evolution of the scattering observables with increasing proton-neutron asymmetry by computing theoretical predictions of the cross section and analyzing power over the Calcium and Nickel isotopic chains.


title: Quantum engineering for compactly localized states in disordered Lieb lattices

abstract: Blending ordering within an uncorrelated disorder potential in families of 3D Lieb lattices preserves the macroscopic degeneracy of compact localized states and yields unconventional combinations of localized and delocalized phases -- as shown in Phys.Rev.B 106, 214204 (2022). We proceed to reintroduce translation invariance in the system by further ordering the disorder, and discuss the spectral structure and eigenstates features of the resulting perturbed lattices. We restore order in steps by first (i) rendering the disorder binary -- i.e. yielding a randomized checkerboard potential, then (ii) reordering the randomized checkerboard into an ordered one, and at last (iii) realigning all the checkerboard values yielding a constant potential shift, but only on a sub-lattice. Along this path, we test the influence of additional random impurities on the order restoration. We find that in each of these steps, sub-families of states are projected upon the location of the degenerate compact states, while the complementary ones are localized in the perturbed sites with energy determined by the strength of checkerboard. This strategy, herewith implemented in the 3D Lieb, highlights order restoration as experimental pathway to engineer spectral and states features in disordered lattice structures in the pursuit of quantum storage and memory applications.


title: FIVA: Facial Image and Video Anonymization and Anonymization Defense

abstract: In this paper, we present a new approach for facial anonymization in images and videos, abbreviated as FIVA. Our proposed method is able to maintain the same face anonymization consistently over frames with our suggested identity-tracking and guarantees a strong difference from the original face. FIVA allows for 0 true positives for a false acceptance rate of 0.001. Our work considers the important security issue of reconstruction attacks and investigates adversarial noise, uniform noise, and parameter noise to disrupt reconstruction attacks. In this regard, we apply different defense and protection methods against these privacy threats to demonstrate the scalability of FIVA. On top of this, we also show that reconstruction attack models can be used for detection of deep fakes. Last but not least, we provide experimental results showing how FIVA can even enable face swapping, which is purely trained on a single target image.


title: Quantum dots for photonic quantum information technology

abstract: The generation, manipulation, storage, and detection of single photons play a central role in emerging photonic quantum information technology. Individual photons serve as flying qubits and transmit the quantum information at high speed and with low losses, for example between individual nodes of quantum networks. Due to the laws of quantum mechanics, quantum communication is fundamentally tap-proof, which explains the enormous interest in this modern information technology. On the other hand, stationary qubits or photonic states in quantum computers can potentially lead to enormous increases in performance through parallel data processing, to outperform classical computers in specific tasks when quantum advantage is achieved. Here, we discuss in depth the great potential of quantum dots (QDs) in photonic quantum information technology. In this context, QDs form a key resource for the implementation of quantum communication networks and photonic quantum computers because they can generate single photons on-demand. Moreover, QDs are compatible with the mature semiconductor technology, so that they can be integrated comparatively easily into nanophotonic structures, which form the basis for quantum light sources and integrated photonic quantum circuits. After a thematic introduction, we present modern numerical methods and theoretical approaches to device design and the physical description of quantum dot devices. We then present modern methods and technical solutions for the epitaxial growth and for the deterministic nanoprocessing of quantum devices based on QDs. Furthermore, we present the most promising concepts for quantum light sources and photonic quantum circuits that include single QDs as active elements and discuss applications of these novel devices in photonic quantum information technology. We close with an overview of open issues and an outlook on future developments.


title: Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned

abstract: Healthcare Internet of Things (IoT) applications require rigorous testing to ensure their dependability. Such applications are typically integrated with various third-party healthcare applications and medical devices through REST APIs. This integrated network of healthcare IoT applications leads to REST APIs with complicated and interdependent structures, thus creating a major challenge for automated system-level testing. We report an industrial evaluation of a state-of-the-art REST APIs testing approach (RESTest) on a real-world healthcare IoT application. We analyze the effectiveness of RESTest's testing strategies regarding REST APIs failures, faults in the application, and REST API coverage, by experimenting with six REST APIs of 41 API endpoints of the healthcare IoT application. Results show that several failures are discovered in different REST APIs with ~56% coverage using RESTest. Moreover, nine potential faults are identified. Using the evidence collected from the experiments, we provide our experiences and lessons learned.


title: Subregion Complementarity in AdS/CFT

abstract: We examine the bulk reconstruction in the AdS/CFT correspondence. We demonstrate that the subregion duality fails to hold, highlighting discrepancies between operators in causal wedge reconstruction and those in global reconstruction at the leading order in the large $N$ limit. We argue the invalidity of the entanglement wedge reconstruction, attributing it to non-perturbative finite $N$ effects or quantum gravity effects due to the trans-Planckian modes near the horizon. Nevertheless, we propose the subregion complementarity, illustrating that different CFT operators can describe a bulk subregion. While we expect that this complementarity is valid outside the horizon in general eternal black holes, it is inapplicable for single-sided black holes where a semi-classical description at the stretched horizon is absent.


title: Seeding Contradiction: a fast method for generating full-coverage test suites

abstract: The regression test suite, a key resource for managing program evolution, needs to achieve 100% coverage, or very close, to be useful. Devising a test suite manually is unacceptably tedious, but existing automated methods are often inefficient. The method described in this article, ``Seeding Contradiction'', inserts incorrect instructions into every basic block of the program, enabling an SMT-based Hoare-style prover to generate a counterexample for every branch of the program and, from the collection of all such counterexamples, a test suite. The method is static, works fast, and achieves excellent coverage.


title: Multifunction full space graphene assisted metasurface

abstract: In recent years, there has been notable advancement in programmable metasurfaces, primarily attributed to their cost-effectiveness and capacity to manipulate electromagnetic (EM) waves. Nevertheless, a significant limitation of numerous available metasurfaces is their capability to influence wavefronts only in reflection mode or transmission mode, thus catering to only half of the spatial coverage. To the best of our knowledge and for the first time, a novel graphene-assisted reprogrammable metasurface that offers the unprecedented capability to independently and concurrently manipulate EM waves within both half-spaces has been introduced in the THz frequency band.


title: Astrometric VLBI observations of H$_2$O masers in an extreme OH/IR star candidate NSV17351

abstract: Results of astrometric very long baseline interferometry (VLBI) observations towards an extreme OH/IR star candidate NSV17351 are presented. We used the VERA (VLBI Exploration of Radio Astrometry) VLBI array to observe 22\,GHz H$_2$O masers of NSV17351. We derived an annual parallax of 0.247$\pm$0.035 mas which corresponds to a distance of 4.05$\pm$0.59 kpc. By averaging the proper motions of 15 maser spots, we obtained the systemic proper motion of NSV17351 to be ($\mu_{\alpha}\cos{\delta}, \mu_{\delta}$)$^{\mathrm{avg}}$ $=$ ($-$1.19 $\pm$ 0.11, 1.30 $\pm$ 0.19) mas\,yr$^{-1}$. The maser spots spread out over a region of 20 mas $\times$ 30 mas, which can be converted to a spatial distribution of $\sim$80 au $\times$ $\sim$120 au at the source distance. Internal motions of the maser spots suggest an outward moving maser region with respect to the estimated position of the central star. From single dish monitoring of the H$_2$O maser emission, we estimate the pulsation period of NSV17351 to be 1122$\pm$24 days. This is the first report of the periodic activity of NSV17351, indicating that NSV17351 could have a mass of $\sim$4\,M$_{\odot}$. We confirmed that the time variation of H$_2$O masers can be used as a period estimator of variable OH/IR stars. Furthermore, by inspecting dozens of double-peaked H$_2$O maser spectra from the last 40 years, we detected a long-term acceleration in the radial velocity of the circumstellar matter to be $0.17\pm0.03$ km\,s$^{-1}$\,yr$^{-1}$ Finally, we determined the position and kinematics of NSV17351 in the Milky Way Galaxy and found that NSV17351 is located in an interarm region between the Outer and Perseus arms. We note that astrometric VLBI observations towards extreme OH/IR stars are useful samples for studies of the Galactic dynamics.


title: Quasi-integrability and nonlinear resonances in cold atoms under modulation

abstract: Quantum dynamics of a collection of atoms subjected to phase modulation has been carefully revisited. We present an exact analysis of the evolution of a two-level system (represented by a spinor) under the action of a time-dependent matrix Hamiltonian. The dynamics is shown to evolve on two coupled potential energy surfaces, one of them binding while the other one scattering type. The dynamics is shown to be quasi-integrable with nonlinear resonances. The bounded dynamics with intermittent scattering at random moments presents the scenario reminiscent to Anderson and dynamical localization. We believe that a careful analytical investigation of a multi-component system which is classically non-integrable is relevant to many other fields, including quantum computation with multi-qubit system.


title: Adaptive Distributed Kernel Ridge Regression: A Feasible Distributed Learning Scheme for Data Silos

abstract: Data silos, mainly caused by privacy and interoperability, significantly constrain collaborations among different organizations with similar data for the same purpose. Distributed learning based on divide-and-conquer provides a promising way to settle the data silos, but it suffers from several challenges, including autonomy, privacy guarantees, and the necessity of collaborations. This paper focuses on developing an adaptive distributed kernel ridge regression (AdaDKRR) by taking autonomy in parameter selection, privacy in communicating non-sensitive information, and the necessity of collaborations in performance improvement into account. We provide both solid theoretical verification and comprehensive experiments for AdaDKRR to demonstrate its feasibility and effectiveness. Theoretically, we prove that under some mild conditions, AdaDKRR performs similarly to running the optimal learning algorithms on the whole data, verifying the necessity of collaborations and showing that no other distributed learning scheme can essentially beat AdaDKRR under the same conditions. Numerically, we test AdaDKRR on both toy simulations and two real-world applications to show that AdaDKRR is superior to other existing distributed learning schemes. All these results show that AdaDKRR is a feasible scheme to defend against data silos, which are highly desired in numerous application regions such as intelligent decision-making, pricing forecasting, and performance prediction for products.


title: Interband scattering- and nematicity-induced quantum oscillation frequency in FeSe

abstract: Understanding the nematic phase observed in the iron-chalcogenide materials is crucial for describing their superconducting pairing. Experiments on FeSe$_{1-x}$S$_x$ showed that one of the slow Shubnikov--de Haas quantum oscillation frequencies disappears when tuning the material out of the nematic phase via chemical substitution or pressure, which has been interpreted as a Lifshitz transition [Coldea et al., npj Quant Mater 4, 2 (2019), Reiss et al., Nat. Phys. 16, 89-94 (2020)]. Here, we present a generic, alternative scenario for a nematicity-induced sharp quantum oscillation frequency which disappears in the tetragonal phase and is not connected to an underlying Fermi surface pocket. We show that different microscopic interband scattering mechanisms - for example, orbital-selective scattering - in conjunction with nematic order can give rise to this quantum oscillation frequency beyond the standard Onsager relation. We discuss implications for iron-chalcogenides and the interpretation of quantum oscillations in other correlated materials.


title: Uniqueness of the extremal Schwarzschild de Sitter spacetime

abstract: We prove that any analytic vacuum spacetime with a positive cosmological constant in four and higher dimensions, that contains a static extremal Killing horizon with a maximally symmetric compact cross-section, must be locally isometric to either the extremal Schwarzschild de Sitter solution or its near-horizon geometry (the Nariai solution). In four-dimensions, this implies these solutions are the only analytic vacuum spacetimes that contain a static extremal horizon with compact cross-sections (up to identifications). We also consider the analogous uniqueness problem for the four-dimensional extremal hyperbolic Schwarzschild anti-de Sitter solution and show that it reduces to a spectral problem for the laplacian on compact hyperbolic surfaces, if a cohomological obstruction to the uniqueness of infinitesimal transverse deformations of the horizon is absent.


title: Investigating a Global Collapsing Hub-Filament Cloud G326.611+0.811

abstract: We present the dynamics study toward the G326.611+0.811 (G326) hub-filament-system (HFS) cloud using the new APEX observations of both $^{13}$CO and C$^{18}$O (J = 2-1). The G326 HFS cloud constitutes a central hub and at least four hub-composing filaments that are divided into a major branch of filaments (F1, and F2) and a side branch (F3-F5). The cloud holds ongoing high-mass star formation as characterised by three massive dense clumps (i.e., 370-1100 $M_{\odot}$ and 0.14-0.16 g cm$^{-2}$ for C1-C3) with the high clump-averaged mass infalling rates ($>10^{-3}$ $M_{\odot}$ yr$^{-1}$) within in the major filament branch, and the associated point sources bright at 70 $\mu$m typical of young protostars. Along the five filaments, the velocity gradients are found in both $^{13}$CO and C$^{18}$O (J = 2-1) emission, suggesting that the filament-aligned gravitational collapse toward the central hub (i.e., C2) is being at work for high-mass star formation therein. Moreover, a periodic velocity oscillation along the major filament branch is revealed in both $^{13}$CO and C$^{18}$O (J = 2-1) emission with a characteristic wavelength of $\sim$3.5 pc and an amplitude of $\sim$0.31-0.38 km s$^{-1}$. We suggest that this pattern of velocity oscillation in G326 could arise from the clump-forming gas motions induced by gravitational instability. Taking into account the prevalent velocity gradients, the fragmentation of the major branch of filaments, and the ongoing collapse of the three massive dense clumps, it is indicative that G326 is a HFS undergoing global collapse.


title: Burau representation of braid groups and $q$-rationals

abstract: We establish a link between the new theory of $q$-deformed rational numbers and the classical Burau representation of the braid group $\mathrm{B}_3$. We apply this link to the open problem of classification of faithful complex specializations of this representation. As a result we provide an answer to this problem in terms of the singular set of the $q$-rationals and prove the faithfulness of the Burau representation specialized at complex $t\in \mathbb{C}^*$ outside the annulus $3-2\sqrt2 \leq |t| \leq 3+2\sqrt2.$


title: Periapsis precession in general stationary and axisymmetric spacetimes

abstract: This work studies the periapsis shift in the equatorial plane of arbitrary stationary and axisymmetric spacetimes. Two perturbative methods are systematically developed. The first work for small eccentricity but very general orbit size and the second, which is post-Newtonian and includes two variants, is more accurate for orbits of large size but allows general eccentricity. Results from these methods are shown to be equivalent under small eccentricity and large size limits. The periapsis shift of Kerr-Newman, Kerr-Sen and Kerr-Taub-NUT spacetimes are computed to high orders. The electric charge and NUT charge are shown to contribute to the leading order but with opposite signs. The frame-dragging term and high-order effect of spacetime spin are given. The electric and NUT changes of the Earth, Sun and Sgr A* are constrained using the Mercury, satellite and S2 precession data. Periapsis shifts of other spacetimes are obtained too.


title: Neutrino Phenomenology in a Model with Generalized CP symmetry within Type-I seesaw framework

abstract: We investigate the consequences of generalized CP (GCP) symmetry within the context of the two Higgs doublet model (2HDM), specifically focusing on the lepton sector. Utilizing the Type-I seesaw framework, we study an intriguing connection between the Dirac Yukawa couplings originating from both Higgs fields, leading to a reduction in the number of independent Yukawa couplings and simplifying the scalar and Yukawa sectors when compared to the general 2HDM. The CP3 constraint results in two right-handed neutrinos having equal masses and leads to a diagonal right-handed Majorana neutrino mass matrix. Notably, CP symmetry experiences a soft break due to the phase associated with the vacuum expectation value of the second Higgs doublet. The model aligns well with observed charged lepton masses and neutrino oscillation data, explaining both masses and mixing angles, and yields distinct predictions for normal and inverted neutrino mass hierarchies. It features a novel interplay between atmospheric mixing angle $\theta_{23}$ and neutrino mass hierarchy: the angle $\theta_{23}$ is below maximal for the normal hierarchy and above maximal for inverted hierarchy. Another interesting feature of the model is inherent CP violation for the inverted hierarchy.


title: Emergence of Chaos in Magnetic-Field-Driven Skyrmions

abstract: We explore magnetic-field-driven chaos in magnetic skyrmions. Oscillating magnetic fields induce nonlinear dynamics in skyrmions, arising from the coupling of the secondary gyrotropic mode with a non-uniform, breathing-like mode. Through micromagnetic simulations, we observe complex patterns of hypotrochoidal motion in the orbital trajectories of the skyrmions, which are interpreted using bifurcation diagrams and local Lyapunov exponents. Our findings demonstrate that different nonlinear behaviors of skyrmions emerge at distinct temporal stages, depending on the nonlinear dynamic parameters. Investigating the abundant dynamic patterns of skyrmions during the emergence of chaos not only enhances device reliability but also provides useful guidelines for establishing chaos computing based on skyrmion dynamics.


title: Existence of balanced functions that are not derivative of bent functions

abstract: It is disproved the Tokareva's conjecture that any balanced boolean function of appropriate degree is a derivative of some bent function. This result is based on new upper bounds for the numbers of bent and plateaued functions.


title: VR Accessibility in Distance Adult Education

abstract: As virtual reality (VR) technology becomes more pervasive, it continues to find multiple new uses beyond research laboratories. One of them is distance adult education -- the potential of VR to provide valuable education experiences is massive, despite the current barriers to its widespread application. Nevertheless, recent trends demonstrate clearly that VR is on the rise in education settings, and VR-only courses are becoming more popular across the globe. This trend will continue as more affordable VR solutions are released commercially, increasing the number of education institutions that benefit from the technology. No accessibility guidelines exist at present that are created specifically for the design, development, and use of VR hardware and software in distance education. The purpose of this workshop is to address this niche. It gathers researchers and practitioners who are interested in education and intend to work together to formulate a set of practical guidelines for the use of VR in distance adult education to make it accessible to a wider range of people.


title: Search for shower's duplicates at the IAU MDC. Methods and general results

abstract: Observers submit both new and known meteor shower parameters to the database of the IAU Meteor Data Center (MDC). It may happen that a new observation of an already known meteor shower is submitted as a discovery of a new shower. Then, a duplicate shower appears in the MDC. On the other hand, the observers may provide data which, in their opinion, is another set of parameters of an already existing shower. However, if this is not true, we can talk about a shower that is a false-duplicate of a known meteor shower. We aim to develop a method for objective detection of duplicates among meteor showers and apply it to the MDC. The method will also enable us to verify whether various sets of parameters of the same shower are compatible and, thus, reveal the false-duplicates. We suggest two methods based on cluster analyses and two similarity functions among geocentric and heliocentric shower parameters collected in the MDC. 7 new showers represented by two or more parameter sets were discovered. 30 times there was full agreement between our results and those reported in the MDC. 20 times the same duplicates as given in the MDC, were found only by one method. We found 34 multi-solution showers for which the number of the same duplicates found by both method is close to the corresponding number in the MDC database. However for 56 multi-solution showers listed in the MDC no duplicates were found by any of the applied methods. The obtained results confirmed the effectiveness of the proposed approach of identifying duplicates. We have shown that in order to detect and verify duplicate meteor showers, it is possible to apply the objective proposal instead of the subjective approach used so far.


title: Towards Practical Capture of High-Fidelity Relightable Avatars

abstract: In this paper, we propose a novel framework, Tracking-free Relightable Avatar (TRAvatar), for capturing and reconstructing high-fidelity 3D avatars. Compared to previous methods, TRAvatar works in a more practical and efficient setting. Specifically, TRAvatar is trained with dynamic image sequences captured in a Light Stage under varying lighting conditions, enabling realistic relighting and real-time animation for avatars in diverse scenes. Additionally, TRAvatar allows for tracking-free avatar capture and obviates the need for accurate surface tracking under varying illumination conditions. Our contributions are two-fold: First, we propose a novel network architecture that explicitly builds on and ensures the satisfaction of the linear nature of lighting. Trained on simple group light captures, TRAvatar can predict the appearance in real-time with a single forward pass, achieving high-quality relighting effects under illuminations of arbitrary environment maps. Second, we jointly optimize the facial geometry and relightable appearance from scratch based on image sequences, where the tracking is implicitly learned. This tracking-free approach brings robustness for establishing temporal correspondences between frames under different lighting conditions. Extensive qualitative and quantitative experiments demonstrate that our framework achieves superior performance for photorealistic avatar animation and relighting.


title: String-wall composites winding around a torus knot vacuum in an axionlike model

abstract: We study a simple axionlike model with a charged scalar $\phi$ and a double-charged scalar $\zeta$ of global $U(1)$ symmetry. A particular feature of our model is that a vacuum manifold is a torus knot. We consider a hierarchical symmetry-breaking scenario where $\zeta$ first condenses, giving rise to cosmic $\zeta$-strings, and the subsequent condensation of $\phi$ leads to domain-wall formation spanning the $\zeta$-strings. We find that the formation of the walls undergoes two different regimes depending on the magnitude of an explicit breaking term of the relative $U(1)$ between $\zeta$ and $\phi$. One is the weakly interacting regime where the walls are accompanied by another cosmic $\phi$ strings. The other is the strongly interacting regime where no additional strings appear. In both regimes, neither a $\zeta$-string, a $\phi$-string nor a wall alone is topological, but the composite of an appropriate number of strings and walls as a whole is topologically stable, characterized by the fundamental homotopy group of the torus knot. We confirm the formation and the structure of the string-wall system by first-principle cosmological two-dimensional simulations. We find stable string-wall composites at equilibrium, where the repulsive force between $\zeta$-strings and the tension of walls balances, and a novel reconnection of the string-wall composites.


title: Random singlets and permutation symmetry in the disordered spin-2 Heisenberg chain: A tensor network renormalization group study

abstract: We use a tensor network renormalization group method to study random $S=2$ antiferromagnetic Heisenberg chains with alternating bond strength distributions. In the absence of randomness, bond alternation induces two quantum critical points between the $S=2$ Haldane phase, a partially dimerized phase and a fully dimerized phase, depending on the strength of dimerization. These three phases, called ($\sigma$,$4-\sigma$)=(2,2), (3,1) and (4,0) phases, are valence-bond solid (VBS) states characterized by $\sigma$ valence bonds forming across even links and $4-\sigma$ valence bonds on odd links. Here we study the effects of bond randomness on the ground states of the dimerized spin chain, calculating disorder-averaged twist order parameters and spin correlations. We classify the types of random VBS phases depending on the strength of bond randomness $R$ and dimerization $D$ using the twist order parameter, which has a negative/positive sign for a VBS phase with odd/even $\sigma$. Our results demonstrate the existence of a multicritical point in the intermediate disorder regime with finite dimerization, where (2,2), (3,1) and (4,0) phases meet. This multicritical point is at the junction of three phase boundaries in the $R$-$D$ plane: the (2,2)-(3,1) and (3,1)-(4,0) boundaries that extend to zero randomness, and the (2,2)-(4,0) phase boundary that connects another multicritical point in the undimerized limit. The undimerized multicritical point separates a gapless Haldane phase and an infinite-randomness critical line with the diverging dynamic critical exponent in the large $R$ limit at $D=0$. Furthermore, we identify the (3,1)-(4,0) phase boundary as an infinite-randomness critical line even at small $R$, and find the signature of infinite randomness at the (2,2)-(3,1) phase boundary only in the vicinity of the multicritical point.


title: Provider Fairness and Beyond-Accuracy Trade-offs in Recommender Systems

abstract: Recommender systems, while transformative in online user experiences, have raised concerns over potential provider-side fairness issues. These systems may inadvertently favor popular items, thereby marginalizing less popular ones and compromising provider fairness. While previous research has recognized provider-side fairness issues, the investigation into how these biases affect beyond-accuracy aspects of recommendation systems - such as diversity, novelty, coverage, and serendipity - has been less emphasized. In this paper, we address this gap by introducing a simple yet effective post-processing re-ranking model that prioritizes provider fairness, while simultaneously maintaining user relevance and recommendation quality. We then conduct an in-depth evaluation of the model's impact on various aspects of recommendation quality across multiple datasets. Specifically, we apply the post-processing algorithm to four distinct recommendation models across four varied domain datasets, assessing the improvement in each metric, encompassing both accuracy and beyond-accuracy aspects. This comprehensive analysis allows us to gauge the effectiveness of our approach in mitigating provider biases. Our findings underscore the effectiveness of the adopted method in improving provider fairness and recommendation quality. They also provide valuable insights into the trade-offs involved in achieving fairness in recommender systems, contributing to a more nuanced understanding of this complex issue.


title: Toward Certifying Maps for Safe Registration-based Localization Under Adverse Conditions

abstract: In this paper, we propose a way to model the resilience of the Iterative Closest Point (ICP) algorithm in the presence of corrupted measurements. In the context of autonomous vehicles, certifying the safety of the localization process poses a significant challenge. As robots evolve in a complex world, various types of noise can impact the measurements. Conventionally, this noise has been assumed to be distributed according to a zero-mean Gaussian distribution. However, this assumption does not hold in numerous scenarios, including adverse weather conditions, occlusions caused by dynamic obstacles, or long-term changes in the map. In these cases, the measurements are instead affected by large and deterministic faults. This paper introduces a closed-form formula approximating the pose error resulting from an ICP algorithm when subjected to the most detrimental adverse measurements. Using this formula, we develop a metric to certify and pinpoint specific regions within the environment where the robot is more vulnerable to localization failures in the presence of faults in the measurements.


title: The Effects of Ligand Substituents on the Character of Zn-Coordination in Zeolitic Imidazolate Frameworks

abstract: Due to their favorable properties and high porosity, zeolitic imidazolate frameworks (ZIFs) have recently received much limelight for key technologies such as energy storage, optoelectronics, sensorics, and catalysis. Despite the widespread interest in these materials, fundamental questions regarding the zinc coordination environment remain poorly understood. By focusing on zinc(II)2-methylimidazolate (ZIF-8) and its tetrahedrally coordinated analogs with Br-, Cl-, and H-substitution in the 2-ring position, we aim to clarify how variations in the local environment of Zn impact the charge distribution and the electronic properties of these materials. Our results from density-functional theory confirm the presence of a Zn coordinative bond with a large polarization that is quantitatively affected by different substituents on the organic ligand. Moreover, our findings suggest that the variations induced by the functionalization in the Zn coordination have a negligible effect on the electronic structure of the considered compounds. On the other hand, halogen terminations of the ligands lead to distinct electronic contributions in the vicinity of the frontier region which ultimately reduce the band-gap size by a few hundred meV. Experimental results obtained from X-ray absorption spectroscopy (Zn $K$-edge) confirm the trends predicted by theory and, together with them, contribute to a better understanding of the structure-property relationships that are needed to tailor ZIFs for target applications.


title: Duality-Invariant Non-linear Electrodynamics and Stress Tensor Flows

abstract: Given a model for self-dual non-linear electrodynamics in four spacetime dimensions, any deformation of this theory which is constructed from the duality-invariant energy-momentum tensor preserves duality invariance. In this work we present new proofs of this known result, and also establish a previously unknown converse: any parameterized family of duality-invariant Lagrangians, all constructed from an Abelian field strength $F_{\mu \nu}$ but not its derivatives, is related by a generalized stress tensor flow, in a sense which we make precise. We establish this and other properties of stress tensor deformations of theories of non-linear electrodynamics using both a conventional Lagrangian representation and using two auxiliary field formulations. We analyze these flows in several examples of duality-invariant models including the Born-Infeld and ModMax theories, and we derive a new auxiliary field representation for the two-parameter family of ModMax-Born-Infeld theories. These results suggest that the space of duality-invariant theories may be characterized as a subspace of theories of electrodynamics with the property that all tangent vectors to this subspace are operators constructed from the stress tensor.

categories: hep-th hep-ph math-ph math.MP physics.class-ph physics.optics


title: Axion inflation in the strong-backreaction regime: decay of the Anber-Sorbo solution

abstract: Axion inflation coupled to Abelian gauge fields via a Chern-Simons-like term of the form $\phi F\tilde{F}$ represents an attractive inflationary model with a rich phenomenology, including the production of magnetic fields, black holes, gravitational waves, and the matter-antimatter asymmetry. In this work, we focus on a particular regime of axion inflation, the so-called Anber-Sorbo (AS) solution, in which the energy loss in the gauge-field production provides the dominant source of friction for the inflaton motion. We revisit the AS solution and confirm that it is unstable. Contrary to earlier numerical works that attempted to reach the AS solution starting from a regime of weak backreaction, we perform, for the first time, a numerical evolution starting directly from the regime of strong backreaction. Our analysis strongly suggests that, at least as long as one neglects spatial inhomogeneities in the inflaton field, the AS solution has no basin of attraction, not even a very small one that might have been missed in previous numerical studies. Our analysis employs an arsenal of analytical and numerical techniques, some established and some newly introduced, including (1) linear perturbation theory along the lines of arXiv:2209.08131, (2) the gradient expansion formalism (GEF) developed in arXiv:2109.01651, (3) a new linearized version of the GEF, and (4) the standard mode-by-mode approach in momentum space in combination with input from the GEF. All these methods yield consistent results confirming the instability of the AS solution, which renders the dynamics of axion inflation in the strong-backreaction regime even more interesting than previously believed.


title: LLMCad: Fast and Scalable On-device Large Language Model Inference

abstract: Generative tasks, such as text generation and question answering, hold a crucial position in the realm of mobile applications. Due to their sensitivity to privacy concerns, there is a growing demand for their execution directly on mobile devices. Currently, the execution of these generative tasks heavily depends on Large Language Models (LLMs). Nevertheless, the limited memory capacity of these devices presents a formidable challenge to the scalability of such models. In our research, we introduce LLMCad, an innovative on-device inference engine specifically designed for efficient generative Natural Language Processing (NLP) tasks. The core idea behind LLMCad revolves around model collaboration: a compact LLM, residing in memory, takes charge of generating the most straightforward tokens, while a high-precision LLM steps in to validate these tokens and rectify any identified errors. LLMCad incorporates three novel techniques: (1) Instead of generating candidate tokens in a sequential manner, LLMCad employs the smaller LLM to construct a token tree, encompassing a wider range of plausible token pathways. Subsequently, the larger LLM can efficiently validate all of these pathways simultaneously. (2) It employs a self-adjusting fallback strategy, swiftly initiating the verification process whenever the smaller LLM generates an erroneous token. (3) To ensure a continuous flow of token generation, LLMCad speculatively generates tokens during the verification process by implementing a compute-IO pipeline. Through an extensive series of experiments, LLMCad showcases an impressive token generation speed, achieving rates up to 9.3x faster than existing inference engines.


title: Dynamics of trans-Neptunian objects near the 3/1 mean-motion resonance with Neptune

abstract: The complex classification of trans-Neptunian objects (TNOs) that are captured in mean-motion resonances (MMRs) and the constraint of their multiple origins are two significant open problems concerning the Solar System. The case-by-case study of the different MMRs and their characteristics provide information about their origin and dynamics, which helps us to understand the early stages of the Solar System evolution. In this paper, we study the dynamics of the detected TNOs close to a 3/1 MMR with Neptune. We initially use a semi-analytic three-body model to investigate the coplanar secular dynamics of these objects and find the stationary points. We then use surface sections and stability maps to analyse the non-averaged dynamics. These methods allow us to isolate the different stability regions and determine the extent of the chaotic regions. We show that stability maps are an extremely powerful tool for studying the resonant dynamics when they are computed in terms of the resonant angle. We then use these maps to study the non-planar three-body problem and the full dynamics in the presence of planetary perturbations. We confirm that TNOs near the 3/1 MMR regions can exist at very high inclinations. In the framework of the three-body problem, many of these objects can also be stable outside the 3/1 MMR owing to a Kozai secular resonance. However, when we take into account the perturbations of the four giant planets, the Kozai regions disappear and only the 3/1 MMR region remains, with eccentricities $e \lesssim 0.5$.

categories: astro-ph.EP math.DS nlin.CD physics.space-ph


title: A Tutorial on Distributed Optimization for Cooperative Robotics: from Setups and Algorithms to Toolboxes and Research Directions

abstract: Several interesting problems in multi-robot systems can be cast in the framework of distributed optimization. Examples include multi-robot task allocation, vehicle routing, target protection and surveillance. While the theoretical analysis of distributed optimization algorithms has received significant attention, its application to cooperative robotics has not been investigated in detail. In this paper, we show how notable scenarios in cooperative robotics can be addressed by suitable distributed optimization setups. Specifically, after a brief introduction on the widely investigated consensus optimization (most suited for data analytics) and on the partition-based setup (matching the graph structure in the optimization), we focus on two distributed settings modeling several scenarios in cooperative robotics, i.e., the so-called constraint-coupled and aggregative optimization frameworks. For each one, we consider use-case applications, and we discuss tailored distributed algorithms with their convergence properties. Then, we revise state-of-the-art toolboxes allowing for the implementation of distributed schemes on real networks of robots without central coordinators. For each use case, we discuss their implementation in these toolboxes and provide simulations and real experiments on networks of heterogeneous robots.


title: Radiation-dominated injection of positrons generated by the nonlinear Breit-Wheeler process into a plasma channel

abstract: Plasma acceleration is considered a prospective technology for building a compact multi-TeV electron-positron collider in the future. The challenge of this endeavor is greater for positrons than for the electrons because usually the self-generated fields from laser-plasma interaction are not well-suited for positron focusing and on-axis guiding. In addition, an external positron source is required, while electrons are naturally available in the plasma. Here, we study electron-positron pair generation by an orthogonal collision of a multi-PW laser pulse and a GeV electron beam by the nonlinear Breit-Wheeler process. We studied conditions favorable for positron deflection in the direction of the laser pulse propagation, which favors injection into the plasma for further acceleration. We demonstrate using the OSIRIS particle-in-cell framework that the radiation reaction triggered by ultra-high laser intensity plays a crucial role in the positron injection. It provides a suppression of the initial transverse momentum gained by the positrons from the Breit-Wheeler process. For the parameters used in this work, the intensity of at least 2.2x1023 W/cm2 is needed in order to inject more than 1% of positrons created. Above this threshold, the percentage of injected positrons rapidly increases with intensity. Moreover, subsequent direct laser acceleration of positrons in a plasma channel, using the same laser pulse that created them, can ensure a boost of the final positron energy by a factor of two. The positron focusing and guiding on the axis is provided by significant electron beam loading that changes the internal structure of the channel fields.


title: C++ Design Patterns for Low-latency Applications Including High-frequency Trading

abstract: This work aims to bridge the existing knowledge gap in the optimisation of latency-critical code, specifically focusing on high-frequency trading (HFT) systems. The research culminates in three main contributions: the creation of a Low-Latency Programming Repository, the optimisation of a market-neutral statistical arbitrage pairs trading strategy, and the implementation of the Disruptor pattern in C++. The repository serves as a practical guide and is enriched with rigorous statistical benchmarking, while the trading strategy optimisation led to substantial improvements in speed and profitability. The Disruptor pattern showcased significant performance enhancement over traditional queuing methods. Evaluation metrics include speed, cache utilisation, and statistical significance, among others. Techniques like Cache Warming and Constexpr showed the most significant gains in latency reduction. Future directions involve expanding the repository, testing the optimised trading algorithm in a live trading environment, and integrating the Disruptor pattern with the trading algorithm for comprehensive system benchmarking. The work is oriented towards academics and industry practitioners seeking to improve performance in latency-sensitive applications.


title: High-resolution APEX/LAsMA $^{12}$CO and $^{13}$CO (3-2) observation of the G333 giant molecular cloud complex : II. Survival and gravitational collapse of dense gas structures under feedback

abstract: We investigate the physical properties of gas structures under feedback in the G333 complex using data of the 13CO (3-2) line in the LAsMA observation. We used the Dendrogram algorithm to identify molecular gas structures based on the integrated intensity map of the 13CO (3-2) emission, and extracted the average spectra of all structures to investigate their velocity components and gas kinematics. We derive the column density ratios between different transitions of the 13CO emission pixel-by-pixel, and find the peak values N(2-1)/N(1-0) ~ 0.5, N(3-2)/N(1-0) ~ 0.3, N(3-2)/N(2-1) ~ 0.5. These ratios can also be roughly predicted by RADEX for an average H$_2$ volume density of ~ 4.2 * 10$^3$ cm$^{-3}$. A classical virial analysis does not reflect the true physical state of the identified structures, and we find that external pressure from the ambient cloud plays an important role in confining the observed gas structures. For high column density structures, velocity dispersion and density show a clear correlation, while for low column density structures they do not, indicating the contribution of gravitational collapse to the velocity dispersion. For both leaf and branch structures, $\sigma-N*R$ always has a stronger correlation compared to $\sigma-N$ and $\sigma-R$. The scaling relations are stronger, and have steeper slopes when considering only self-gravitating structures, which are the structures most closely associated with the Heyer-relation. Although the feedback disrupting the molecular clouds will break up the original cloud complex, the substructures of the original complex can be reorganized into new gravitationally governed configurations around new gravitational centers. This process is accompanied by structural destruction and generation, and changes in gravitational centers, but gravitational collapse is always ongoing.


title: Stochastic Cahn-Hilliard and conserved Allen-Cahn equations with logarithmic potential and conservative noise

abstract: We investigate the Cahn-Hilliard and the conserved Allen-Cahn equations with logarithmic type potential and conservative noise in a periodic domain. These features ensure that the order parameter takes its values in the physical range and, albeit the stochastic nature of the problems, that the total mass is conserved almost surely in time. For the Cahn-Hilliard equation, existence and uniqueness of probabilistically-strong solutions is shown up to the three-dimensional case. For the conserved Allen-Cahn equation, under a restriction on the noise magnitude, existence of martingale solutions is proved even in dimension three, while existence and uniqueness of probabilistically-strong solutions holds in dimension one. The analysis is carried out by studying the Cahn-Hilliard/conserved Allen-Cahn equations jointly, that is a linear combination of both the equations, which has an independent interest.


title: Stability of symmetric teleparallel scalar-tensor cosmologies with alternative connections

abstract: In symmetric teleparallel geometry the curvature and torsion tensors are assumed to vanish identically, while the dynamics of gravity is encoded by nonmetricity. Here the spatially homogeneous and isotropic connections that can accompany flat Friedmann-Lemaitre-Robertson-Walker metric come in three sets. As the trivial set has received much attention, we focus on the two alternative sets which introduce an extra degree of freedom into the equations. Working in the context of symmetric teleparallel scalar-tensor gravity with generic nonminimal coupling and potential, we show that the extra free function in the connection can not play the role of dark matter nor dark energy, but it drastically alters the scalar field behavior. We determine the restrictions on the model functions which permit the standard cosmological scenario of successive radiation, dust matter, and scalar potential domination eras to be stable. However, the alternative connections also introduce a rather general possibility of the system meeting a singularity in finite time.


title: The basic resolvents of position and momentum operators form a total set in the resolvent algebra

abstract: Let Q and P be the position and momentum operators of a particle in one dimension. It is shown that all compact operators can be approximated in norm by linear combinations of the basic resolvents (aQ + bP - i r)^{-1} for real constants a,b,r=/=0. This implies that the basic resolvents form a total set (norm dense span) in the C*-algebra R generated by the resolvents, termed resolvent algebra. So the basic resolvents share this property with the unitary Weyl operators, which span the Weyl algebra. These results obtain for finite systems of particles in any number of dimensions. The resolvent algebra of infinite systems (quantum fields), being the inductive limit of its finitely generated subalgebras, is likewise spanned by its basic resolvents.


title: Heating and cooling in stellar coronae: coronal rain on a young Sun

abstract: Recent observations of rapidly-rotating cool dwarfs have revealed H$\alpha$ line asymmetries indicative of clumps of cool, dense plasma in the stars' coronae. These clumps may be either long-lived (persisting for more than one stellar rotation) or dynamic. The fastest dynamic features show velocities greater than the escape speed, suggesting that they may be centrifugally ejected from the star, contributing to the stellar angular momentum loss. Many however show lower velocities, similar to coronal rain observed on the Sun. We present 2.5D magnetohydrodynamic simulations of the formation and dynamics of these condensations in a rapidly rotating ($P_{\rm rot}~=~ 1 \ \mathrm{day}$) young Sun. Formation is triggered by excess surface heating. This pushes the system out of thermal equilibrium and triggers a thermal instability. The resulting condensations fall back towards the surface. They exhibit quasi-periodic behaviour, with periods longer than typical periods for solar coronal rain. We find line-of-sight velocities for these clumps in the range $50 \ \mathrm{km} \ \mathrm{s}^{-1}$ (blue shifted) to $250 \ \mathrm{km} \ \mathrm{s}^{-1}$ (red shifted). These are typical of those inferred from stellar H$\alpha$ line asymmetries, but the inferred clump masses of $3.6\times 10^{14}\ \mathrm{g}$ are significantly smaller. We find that a maximum of $\simeq~3\%$ of the coronal mass is cool clumps. We conclude that coronal rain may be common in solar like stars, but may appear on much larger scales in rapid rotators.


title: Asymmetric Clean Segments-Guided Self-Supervised Learning for Robust Speaker Verification

abstract: Contrastive self-supervised learning (CSL) for speaker verification (SV) has drawn increasing interest recently due to its ability to exploit unlabeled data. Performing data augmentation on raw waveforms, such as adding noise or reverberation, plays a pivotal role in achieving promising results in SV. Data augmentation, however, demands meticulous calibration to ensure intact speaker-specific information, which is difficult to achieve without speaker labels. To address this issue, we introduce a novel framework by incorporating clean and augmented segments into the contrastive training pipeline. The clean segments are repurposed to pair with noisy segments to form additional positive and negative pairs. Moreover, the contrastive loss is weighted to increase the difference between the clean and augmented embeddings of different speakers. Experimental results on Voxceleb1 suggest that the proposed framework can achieve a remarkable 19% improvement over the conventional methods, and it surpasses many existing state-of-the-art techniques.


title: Locating Buggy Segments in Quantum Program Debugging

abstract: When a bug is detected by testing a quantum program on a quantum computer, we want to determine its location to fix it. To locate the bug, the quantum program is divided into several segments, and each segment is tested. However, to prepare a quantum state that is input to a segment, it is necessary to execute all the segments ahead of that segment in a quantum computer. This means that the cost of testing each segment depends on its location. We can also locate a buggy segment only if it is confirmed that there are no bugs in all segments ahead of that buggy segment. Since a quantum program is tested statistically on the basis of measurement results, there is a tradeoff between testing accuracy and cost. Although these characteristics are unique to quantum programs and complicate locating bugs, they have not been investigated. We suggest for the first time that these characteristics should be considered to efficiently locate bugs. We are also the first to propose a bug-locating method that takes these characteristics into account. The results from experiments indicate that the bug-locating cost, represented as the number of executed quantum gates, can be reduced with the proposed method compared with naive methods.


title: The use of deception in dementia-care robots: Should robots tell "white lies" to limit emotional distress?

abstract: With projections of ageing populations and increasing rates of dementia, there is need for professional caregivers. Assistive robots have been proposed as a solution to this, as they can assist people both physically and socially. However, caregivers often need to use acts of deception (such as misdirection or white lies) in order to ensure necessary care is provided while limiting negative impacts on the cared-for such as emotional distress or loss of dignity. We discuss such use of deception, and contextualise their use within robotics.


title: Optimal Rate of Kernel Regression in Large Dimensions

abstract: We perform a study on kernel regression for large-dimensional data (where the sample size $n$ is polynomially depending on the dimension $d$ of the samples, i.e., $n\asymp d^{\gamma}$ for some $\gamma >0$ ). We first build a general tool to characterize the upper bound and the minimax lower bound of kernel regression for large dimensional data through the Mendelson complexity $\varepsilon_{n}^{2}$ and the metric entropy $\bar{\varepsilon}_{n}^{2}$ respectively. When the target function falls into the RKHS associated with a (general) inner product model defined on $\mathbb{S}^{d}$, we utilize the new tool to show that the minimax rate of the excess risk of kernel regression is $n^{-1/2}$ when $n\asymp d^{\gamma}$ for $\gamma =2, 4, 6, 8, \cdots$. We then further determine the optimal rate of the excess risk of kernel regression for all the $\gamma>0$ and find that the curve of optimal rate varying along $\gamma$ exhibits several new phenomena including the {\it multiple descent behavior} and the {\it periodic plateau behavior}. As an application, For the neural tangent kernel (NTK), we also provide a similar explicit description of the curve of optimal rate. As a direct corollary, we know these claims hold for wide neural networks as well.


title: From Sparse to Dense: GPT-4 Summarization with Chain of Density Prompting

abstract: Selecting the ``right'' amount of information to include in a summary is a difficult task. A good summary should be detailed and entity-centric without being overly dense and hard to follow. To better understand this tradeoff, we solicit increasingly dense GPT-4 summaries with what we refer to as a ``Chain of Density'' (CoD) prompt. Specifically, GPT-4 generates an initial entity-sparse summary before iteratively incorporating missing salient entities without increasing the length. Summaries generated by CoD are more abstractive, exhibit more fusion, and have less of a lead bias than GPT-4 summaries generated by a vanilla prompt. We conduct a human preference study on 100 CNN DailyMail articles and find that that humans prefer GPT-4 summaries that are more dense than those generated by a vanilla prompt and almost as dense as human written summaries. Qualitative analysis supports the notion that there exists a tradeoff between informativeness and readability. 500 annotated CoD summaries, as well as an extra 5,000 unannotated summaries, are freely available on HuggingFace (https://huggingface.co/datasets/griffin/chain_of_density).


title: A Reliable and Resilient Framework for Multi-UAV Mutual Localization

abstract: This paper presents a robust and secure framework for achieving accurate and reliable mutual localization in multiple unmanned aerial vehicle (UAV) systems. Challenges of accurate localization and security threats are addressed and corresponding solutions are brought forth and accessed in our paper with numerical simulations. The proposed solution incorporates two key components: the Mobility Adaptive Gradient Descent (MAGD) and Time-evolving Anomaly Detectio (TAD). The MAGD adapts the gradient descent algorithm to handle the configuration changes in the mutual localization system, ensuring accurate localization in dynamic scenarios. The TAD cooperates with reputation propagation (RP) scheme to detect and mitigate potential attacks by identifying UAVs with malicious data, enhancing the security and resilience of the mutual localization


title: Electromagnetic precursors to black hole - neutron star gravitational wave events: Flares and reconnection-powered fast-radio transients from the late inspiral

abstract: The presence of magnetic fields in the late inspiral of black hole -- neutron star binaries could lead to potentially detectable electromagnetic precursor transients. Using general-relativistic force-free electrodynamics simulations, we investigate pre-merger interactions of the common magnetosphere of black hole -- neutron star systems. We demonstrate that these systems can feature copious electromagnetic flaring activity, which we find depends on the magnetic field orientation but not on black hole spin. Due to interactions with the surrounding magnetosphere, these flares could lead to Fast Radio Burst-like transients and X-ray emission, with $\mathcal{L}_{\rm EM} \lesssim 10^{41} \left( B_\ast/ 10^{12}\, \rm G \right)^2\, \rm erg/ s$ as an upper bound for the luminosity, where $B_\ast$ is the magnetic field strength on the surface of the neutron star.


title: Learning Zero-Sum Linear Quadratic Games with Improved Sample Complexity and Last-Iterate Convergence

abstract: Zero-sum Linear Quadratic (LQ) games are fundamental in optimal control and can be used (i)~as a dynamic game formulation for risk-sensitive or robust control and (ii)~as a benchmark setting for multi-agent reinforcement learning with two competing agents in continuous state-control spaces. In contrast to the well-studied single-agent linear quadratic regulator problem, zero-sum LQ games entail solving a challenging nonconvex-nonconcave min-max problem with an objective function that lacks coercivity. Recently, Zhang et al. showed that an~$\epsilon$-Nash equilibrium (NE) of finite horizon zero-sum LQ games can be learned via nested model-free Natural Policy Gradient (NPG) algorithms with poly$(1/\epsilon)$ sample complexity. In this work, we propose a simpler nested Zeroth-Order (ZO) algorithm improving sample complexity by several orders of magnitude and guaranteeing convergence of the last iterate. Our main results are two-fold: (i) in the deterministic setting, we establish the first global last-iterate linear convergence result for the nested algorithm that seeks NE of zero-sum LQ games; (ii) in the model-free setting, we establish a~$\widetilde{\mathcal{O}}(\epsilon^{-2})$ sample complexity using a single-point ZO estimator. For our last-iterate convergence results, our analysis leverages the Implicit Regularization (IR) property and a new gradient domination condition for the primal function. Our key improvements in the sample complexity rely on a more sample-efficient nested algorithm design and a finer control of the ZO natural gradient estimation error utilizing the structure endowed by the finite-horizon setting.


title: Equivariant theory for codes and lattices I

abstract: In this paper, we present a generalization of Hayden's theorem [7, Theorem 4.2] for $G$-codes over finite Frobenius rings. A lattice theoretical form of this generalization is also given. Moreover, Astumi's MacWilliams identity [1, Theorem 1] is generalized in several ways for different weight enumerators of $G$-codes over finite Frobenius rings. Furthermore, we provide the Jacobi analogue of Astumi's MacWilliams identity for $G$-codes over finite Frobenius rings. Finally, we study the relation between $G$-codes and its corresponding $G$-lattices.


title: Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof

abstract: The communities of blockchains and distributed ledgers have been stirred up by the introduction of zero-knowledge proofs (ZKPs). Originally designed to solve privacy issues, ZKPs have now evolved into an effective remedy for scalability concerns and are applied in Zcash (internet money like Bitcoin). To enable ZKPs, Rank-1 Constraint Systems (R1CS) offer a verifier for bi-linear equations. To accurately and efficiently represent R1CS, several language tools like Circom, Noir, and Snarky have been proposed to automate the compilation of advanced programs into R1CS. However, due to the flexible nature of R1CS representation, there can be significant differences in the compiled R1CS forms generated from circuit language programs with the same underlying semantics. To address this issue, this paper uses a data-flow-based R1CS paradigm algorithm, which produces a standardized format for different R1CS instances with identical semantics. By using the normalized R1CS format circuits, the complexity of circuits' verification can be reduced. In addition, this paper presents an R1CS normalization algorithm benchmark, and our experimental evaluation demonstrates the effectiveness and correctness of our methods.


title: Symmetries of exotic spheres via complex and quaternionic Mahowald invariants

abstract: We deduce the existence of smooth $U(1)$- and $Sp(1)$-actions on certain exotic spheres using complex and quaternionic analogues of the Mahowald {(root)} invariant. In particular, we prove that the complex (respectively, quaternionic) Mahowald invariant takes an element of $\pi_k^s$ represented by a homotopy sphere $\Sigma^k$ to an element {of $\pi_{k+\ell}$} represented by another homotopy sphere $\Sigma^{k+\ell}$ equipped with a smooth $U(1)$- (respectively, $Sp(1)$-) action with fixed points the original homotopy sphere $\Sigma^k\subset \Sigma^{k+\ell}$. This work is motivated by results of Stolz on the classical Mahowald invariant and smooth $C_2$-actions on homotopy spheres.


title: Impact of bio-inspired V-formation on flow past arrangements of non-lifting objects

abstract: Inspired by the energy-saving character of group motion, great interest is directed toward the design of efficient swarming strategies for groups of unmanned aerial/underwater vehicles. While most of the current research on drone swarms addresses controls, communication, and mission planning, less effort is put toward understanding the physics of the flow around the members of the group. Currently, a large variety of drones and underwater vehicles consist of non-lifting frames for which the available formation flight strategies based on lift-induced upwash are not readily applicable. Here, we explore the V-formations of non-lifting objects and discuss how such a configuration alters the flow field around each member of the array compared to a solo flyer and how these changes in flow physics affect the drag force experienced by each member. Our measurements are made in a water tunnel using a multi-illumination particle image velocimetry technique where we find that in formations with an overlap in streamwise projections of the members, all the members experience a significant reduction in drag, with some members seeing as much as 45% drag reduction. These findings are instrumental in developing generalized energy-saving swarming strategies for aerial and underwater vehicles irrespective of the body shapes.


title: Modulation and Estimation with a Helper

abstract: The problem of transmitting a parameter value over an additive white Gaussian noise (AWGN) channel is considered, where, in addition to the transmitter and the receiver, there is a helper that observes the noise non-causally and provides a description of limited rate $R_h$ to the transmitter and/or the receiver. We derive upper and lower bounds on the optimal achievable $\alpha$-th moment of the estimation error and show that they coincide for small values of $\alpha$ and for high values of $R_h$. The upper bound relies on a recently proposed channel-coding scheme that effectively conveys $R_h$ bits essentially error-free and the rest of the rate - over the same AWGN channel without help, with the error-free bits being allocated to the most significant bits of the quantized parameter. We then concentrate on the setting with a total transmit energy constraint, for which we derive achievability results for both channel coding and parameter modulation for several scenarios: when the helper assists only the transmitter or only the receiver and knows the noise, and when the helper assists the transmitter and/or the receiver and knows both the noise and the message. In particular, for the message-informed helper that assists both the receiver and the transmitter, it is shown that the error probability in the channel-coding task decays doubly exponentially. Finally, we translate these results to those for continuous-time power-limited AWGN channels with unconstrained bandwidth. As a byproduct, we show that the capacity with a message-informed helper that is available only at the transmitter can exceed the sum of the capacity without help and the help rate $R_h$, when the helper knows only the noise but not the message.


title: How can feature usage be tracked across product variants? Implicit Feedback in Software Product Lines

abstract: Implicit feedback is collecting information about software usage to understand how and when the software is used. This research tackles implicit feedback in Software Product Lines (SPLs). The need for platform-centric feedback makes SPL feedback depart from one-off-application feedback in both the artefact to be tracked (the platform vs the variant) as well as the tracking approach (indirect coding vs direct coding). Traditionally, product feedback is achieved by embedding `usage trackers' into the software's code. Yet, products are now members of the SPL portfolio, and hence, this approach conflicts with one of the main SPL tenants: reducing, if not eliminating, coding directly into the variant's code. Thus, we advocate for Product Derivation to be subject to a second transformation that precedes the construction of the variant based on the configuration model. This approach is tested through FEACKER, an extension to pure::variants. We resorted to a TAM evaluation on pure-systems GmbH employees(n=8). Observed divergences were next tackled through a focus group (n=3). The results reveal agreement in the interest in conducting feedback analysis at the platform level (perceived usefulness) while regarding FEACKER as a seamless


title: Theoretical issues in the accurate computation of the electron-phonon interaction contribution to the total energy

abstract: The total energy is the most fundamental quantity in ab initio studies. To include electron-phonon interaction (EPI) contribution to the total energy, we have recast Allen's equation, for the case of semiconductors and insulators. This equivalent expression can be computed using available software, leading to more accurate total energy. We calculate the total energies and their differences for carbon-diamond and carbon-hexagonal polytypes. Contrary to the current understanding, where per-atom quantities are computed from the primitive unit cell, our results, unexpectedly, show that the per-atom total energy (EPI included) depends on the unit cell size and violates the unit cell independence. For example, it differs for carbon-diamond by 1eV/atom between the primitive unit cell and supercells. This norm-violating behaviour arises from the partial Fan-Migdal (FM) self-energy term present in Allen's equation. Consequently, to determine the total energy differences between polytypes, supercells with identical number of atoms are necessary. A crucial inference of general validity is that any equation that contains a partial Fan-Migdal self-energy term violates the unit cell independence, contrary to the current understanding. Further theoretical studies are needed to establish if the total energy (EPI included) is an exception or can be reconciled with the unit cell independence.


title: On the lattice of fuzzy rough sets

abstract: By the means of lower and upper fuzzy approximations we define quasiorders. Their properties are used to prove our main results. First, we characterize those pairs of fuzzy sets which form fuzzy rough sets w.r.t. a t-similarity relation $\theta$ on $U$, for certain t-norms and implicators. Then we establish conditions under which fuzzy rough sets form lattices. We show that for the $\min$ t-norm and any S-implicator defined by the $\max$ co-norm with an involutive negator, the fuzzy rough sets form a complete lattice, whenever $U$ is finite or the range of $\theta$ and of the fuzzy sets is a fixed finite chain.