title: The developmental trajectory of object recognition robustness: children are like small adults but unlike big deep neural networks

abstract: In laboratory object recognition tasks based on undistorted photographs, both adult humans and Deep Neural Networks (DNNs) perform close to ceiling. Unlike adults', whose object recognition performance is robust against a wide range of image distortions, DNNs trained on standard ImageNet (1.3M images) perform poorly on distorted images. However, the last two years have seen impressive gains in DNN distortion robustness, predominantly achieved through ever-increasing large-scale datasets$\unicode{x2014}$orders of magnitude larger than ImageNet. While this simple brute-force approach is very effective in achieving human-level robustness in DNNs, it raises the question of whether human robustness, too, is simply due to extensive experience with (distorted) visual input during childhood and beyond. Here we investigate this question by comparing the core object recognition performance of 146 children (aged 4$\unicode{x2013}$15) against adults and against DNNs. We find, first, that already 4$\unicode{x2013}$6 year-olds showed remarkable robustness to image distortions and outperform DNNs trained on ImageNet. Second, we estimated the number of $\unicode{x201C}$images$\unicode{x201D}$ children have been exposed to during their lifetime. Compared to various DNNs, children's high robustness requires relatively little data. Third, when recognizing objects children$\unicode{x2014}$like adults but unlike DNNs$\unicode{x2014}$rely heavily on shape but not on texture cues. Together our results suggest that the remarkable robustness to distortions emerges early in the developmental trajectory of human object recognition and is unlikely the result of a mere accumulation of experience with distorted visual input. Even though current DNNs match human performance regarding robustness they seem to rely on different and more data-hungry strategies to do so.


title: Kernel Estimates as General Concept for the Measuring of Pedestrian Density

abstract: The standard definition of pedestrian density produces scattered values, hence, many approaches have been developed to improve the features of the estimated density. This paper provides a review of generally applied methods and presents a general framework based on various kernels that bring desired properties of density estimates (e.g., continuity) and incorporate ordinarily used methods. The developed kernel concept considers each pedestrian as a source of density distribution, parametrized by the kernel type (e.g., Gauss, cone) and kernel size. The quantitative parametric study performed on experimental data illustrates that parametrization brings desired features, for instance, a conic kernel with a base radius in (0.7, 1.2) m produces smooth values that retain trend features. The correspondence between kernel and non-kernel methods (namely Voronoi diagram and customized inverse distance to the nearest pedestrian) is achievable for a wide range of kernel parameter. Thereby the generality of the concept is supported.


title: Revisiting GANs by Best-Response Constraint: Perspective, Methodology, and Application

abstract: In past years, the minimax type single-level optimization formulation and its variations have been widely utilized to address Generative Adversarial Networks (GANs). Unfortunately, it has been proved that these alternating learning strategies cannot exactly reveal the intrinsic relationship between the generator and discriminator, thus easily result in a series of issues, including mode collapse, vanishing gradients and oscillations in the training phase, etc. In this work, by investigating the fundamental mechanism of GANs from the perspective of hierarchical optimization, we propose Best-Response Constraint (BRC), a general learning framework, that can explicitly formulate the potential dependency of the generator on the discriminator. Rather than adopting these existing time-consuming bilevel iterations, we design an implicit gradient scheme with outer-product Hessian approximation as our fast solution strategy. \emph{Noteworthy, we demonstrate that even with different motivations and formulations, a variety of existing GANs ALL can be uniformly improved by our flexible BRC methodology.} Extensive quantitative and qualitative experimental results verify the effectiveness, flexibility and stability of our proposed framework.


title: Cox rings of projectivized toric vector bundles and toric flag Bundles

abstract: Work of Gonz\'alez, Hering, Payne, and S\"uss shows that it is possible to find both examples and non-examples of Mori dream spaces among projectivized toric vector bundles. This result, and the combinatorial nature of the data of projectivized toric vector bundles make them an ideal test class for the question: what makes a variety a Mori dream space? In the present paper we consider this question with respect to natural algebraic operations on vector bundles. Suppose $\mathcal{E}$ is a toric vector bundle such that the projectivization $\mathbb{P}\mathcal{E}$ is a Mori dream space, then when are the direct sum bundles $\mathbb{P}(\mathcal{E} \oplus \mathcal{E})$, $\mathbb{P}(\mathcal{E} \oplus \mathcal{E} \oplus \mathcal{E})\ldots$ also Mori dream spaces? We give an answer to this question utilizing a relationship with the associated full flag bundle $\mathcal{FL}(\mathcal{E})$. We describe several classes of examples, and we compute a presentation for the Cox ring of the full flag bundle for the tangent bundle of projective space.


title: Revisiting the Affleck-Dine mechanism for primordial black hole formation

abstract: We study a primordial black hole (PBH) formation scenario based on the Affleck-Dine (AD) mechanism and investigate two PBH mass regions: $M \sim 30 M_\odot$ motivated by the LIGO-Virgo observations of the binary black hole mergers and $M \gtrsim 10^4 M_\odot$ motivated by the observations of supermassive black holes at the center of galaxies. In the previous studies, it has been considered that the inhomogeneous AD baryogenesis generates regions with a large baryon asymmetry, some of which collapse into PBHs. In this paper, we show that this scenario is severely constrained due to the baryon asymmetry remaining outside PBHs, which would spoil the success of the big bang nucleosynthesis. Then, we propose an alternative scenario where the AD leptogenesis results in the inhomogeneous formation of Q-balls with lepton charges, which collapse into PBHs. As a result, we find that our scenario can explain the favorable PBH abundance without conflicting with the observational constraints.


title: A Global Analysis of Resonance-enhanced Light Scalar Dark Matter

abstract: We study a minimal model for a light scalar dark matter, requiring a light scalar mediator to address the core-cusp problem and interact with the standard model particles. We analyze the model comprehensively by focusing on the Breit-Wigner resonance for dark matter annihilation and self-scattering channels, considering the thermal relic abundance condition that includes the early kinetic decoupling effect, as well as the present and future constraints from collider, direct, and indirect dark matter detections. We found that the scalar dark matter with the mass of 0.3-2 GeV remains uncharted, which will be efficiently tested by the near future MeV gamma-ray observations.


title: Axion and FIMP Dark Matter in a $U(1)$ extension of the Standard Model

abstract: In the Standard Model a Dark Matter candidate is missing, but it is relatively simple to enlarge the model including one or more suitable particles. We consider in this paper one such extension, inspired by simplicity and by the goal to solve more than just the Dark Matter issue. Indeed we consider a local $U(1) $ extension of the SM providing an axion particle to solve the strong CP problem and including RH neutrinos with appropriate mass terms. One of the latter is decoupled from the SM leptons and can constitute stable sterile neutrino DM. In this setting, the PQ symmetry arises only as an accidental symmetry but its breaking by higher order operators is sufficiently suppressed to avoid introducing a large $ \theta $ contribution. The axion decay constant and the RH neutrino masses are related to the same v.e.v.s and the PQ scale and both DM densities are determined by the parameters of the axion and scalar sector. The model predicts in general a mixed Dark Matter scenario with both axion and sterile neutrino DM and is characterised by a reduced density and observational signals from each single component.


title: Discussion of "Vintage factor analysis with Varimax performs statistical inference"

abstract: We wholeheartedly congratulate Drs. Rohe and Zeng for their insightful paper \cite{rohe2020vintage} on vintage factor analysis with Varimax rotation. This note discusses the conditions to guarantee Varimax consistently recovers the subspace rotation.


title: Investigating the impact of BTI, HCI and time-zero variability on neuromorphic spike event generation circuits

abstract: Neuromorphic computing refers to brain-inspired computers, that differentiate it from von Neumann architecture. Analog VLSI based neuromorphic circuits is a current research interest. Two simpler spiking integrate and fire neuron model namely axon-Hillock (AH) and voltage integrate, and fire (VIF) circuits are commonly used for generating spike events. This paper discusses the impact of reliability issues like Bias Temperature instability (BTI) and Hot Carrier Injection (HCI), and timezero variability on these CMOS based neuromorphic circuits. AH and VIF circuits are implemented using HKMG based 45nm technology. For reliability analysis, industry standard Cadence RelXpert tool is used. For time-zero variability analysis, 1000 Monte-Carlo simulations are performed.


title: Mapping Complex Technologies via Science-Technology Linkages; The Case of Neuroscience -- A transformer based keyword extraction approach

abstract: In this paper, we present an efficient deep learning based approach to extract technology-related topics and keywords within scientific literature, and identify corresponding technologies within patent applications. Specifically, we utilize transformer based language models, tailored for use with scientific text, to detect coherent topics over time and describe these by relevant keywords that are automatically extracted from a large text corpus. We identify these keywords using Named Entity Recognition, distinguishing between those describing methods, applications and other scientific terminology. We create a large amount of search queries based on combinations of method- and application-keywords, which we use to conduct semantic search and identify related patents. By doing so, we aim at contributing to the growing body of research on text-based technology mapping and forecasting that leverages latest advances in natural language processing and deep learning. We are able to map technologies identified in scientific literature to patent applications, thereby providing an empirical foundation for the study of science-technology linkages. We illustrate the workflow as well as results obtained by mapping publications within the field of neuroscience to related patent applications.


title: A Look Inside 5G Standards to Support Time Synchronization for Smart Manufacturing

abstract: Connectivity has a major role in the current transformation of smart manufacturing. 5G is foreseen as an integral part of an end-to-end networking infrastructure supporting smart manufacturing operation. The integration of 5G with time-sensitive networking (TSN)is seen as a holistic communication solution for smart factories. The next generation of industrialization consists of real-time processes, automation, fixed and cellular networks, and high diversity of devices. The integration of fixed and cellular devices in a single infrastructure to enable end-to-end deterministic communications requires high accuracy of time synchronization. The transport technologies in fixed networks have been evolving toward TSN and deterministic networking to fulfill the requirements for industrial communications. The latest cellular specifications for 5G are targeting ultra-reliable and low-latency communications that enable the Industrial Internet of Things. This article describes the state of the art for integrating TSN with 5G networks based on the support given in 3GPP TS 23.501 Release 16. The requirements for time synchronization in factory automation and integration with 5G networks are presented, together with the most recent advancements in the standardization process.


title: Large-Signal Stability Guarantees for Cycle-by-Cycle Controlled DC-DC Converters

abstract: Stability guarantees are critical for cycle-by-cycle controlled dc-dc converters in consumer electronics and energy storage systems. Traditional stability analysis on cycle-by-cycle dc-dc converters is incomplete because the inductor current ramps are considered fixed; but instead, inductor ramps are not fixed because they are dependent on the output voltage in large-signal transients. We demonstrate a new large-signal stability theory that treats cycle-by-cycle controlled dc-dc converters as a particular type of feedback interconnection system. An analytical and practical stability criterion is provided based on this system. The criterion indicates that the L/R and RC time constants are the design parameters that determine the amount of coupling between the current ramp and the output voltage.


title: A note on the maximum number of $k$-powers in a finite word

abstract: A \emph{power} is a word of the form $\underbrace{uu...u}_{k \; \text{times}}$, where $u$ is a word and $k$ is a positive integer; the power is also called a {\em $k$-power} and $k$ is its {\em exponent}. We prove that for any $k \ge 2$, the maximum number of different non-empty $k$-power factors in a word of length $n$ is between $\frac{n}{k-1}-\Theta(\sqrt{n})$ and $\frac{n-1}{k-1}$. We also show that the maximum number of different non-empty power factors of exponent at least 2 in a length-$n$ word is at most $n-1$. Both upper bounds generalize the recent upper bound of $n-1$ on the maximum number of different square factors in a length-$n$ word by Brlek and Li (2022).


title: Machine Learning for Combinatorial Optimisation of Partially-Specified Problems: Regret Minimisation as a Unifying Lens

abstract: It is increasingly common to solve combinatorial optimisation problems that are partially-specified. We survey the case where the objective function or the relations between variables are not known or are only partially specified. The challenge is to learn them from available data, while taking into account a set of hard constraints that a solution must satisfy, and that solving the optimisation problem (esp. during learning) is computationally very demanding. This paper overviews four seemingly unrelated approaches, that can each be viewed as learning the objective function of a hard combinatorial optimisation problem: 1) surrogate-based optimisation, 2) empirical model learning, 3) decision-focused learning (`predict + optimise'), and 4) structured-output prediction. We formalise each learning paradigm, at first in the ways commonly found in the literature, and then bring the formalisations together in a compatible way using regret. We discuss the differences and interactions between these frameworks, highlight the opportunities for cross-fertilization and survey open directions.


title: Swapping Semantic Contents for Mixing Images

abstract: Deep architecture have proven capable of solving many tasks provided a sufficient amount of labeled data. In fact, the amount of available labeled data has become the principal bottleneck in low label settings such as Semi-Supervised Learning. Mixing Data Augmentations do not typically yield new labeled samples, as indiscriminately mixing contents creates between-class samples. In this work, we introduce the SciMix framework that can learn to generator to embed a semantic style code into image backgrounds, we obtain new mixing scheme for data augmentation. We then demonstrate that SciMix yields novel mixed samples that inherit many characteristics from their non-semantic parents. Afterwards, we verify those samples can be used to improve the performance semi-supervised frameworks like Mean Teacher or Fixmatch, and even fully supervised learning on a small labeled dataset.


title: Getting a-Round Guarantees: Floating-Point Attacks on Certified Robustness

abstract: Adversarial examples pose a security risk as they can alter decisions of a machine learning classifier through slight input perturbations. Certified robustness has been proposed as a mitigation where given an input $\mathbf{x}$, a classifier returns a prediction and a certified radius $R$ with a provable guarantee that any perturbation to $\mathbf{x}$ with $R$-bounded norm will not alter the classifier's prediction. In this work, we show that these guarantees can be invalidated due to limitations of floating-point representation that cause rounding errors. We design a rounding search method that can efficiently exploit this vulnerability to find adversarial examples against state-of-the-art certifications in two threat models, that differ in how the norm of the perturbation is computed. We show that the attack can be carried out against linear classifiers that have exact certifiable guarantees and against neural networks that have conservative certifications. In the weak threat model, our experiments demonstrate attack success rates over 50% on random linear classifiers, up to 23% on the MNIST dataset for linear SVM, and up to 15% for a neural network. In the strong threat model, the success rates are lower but positive. The floating-point errors exploited by our attacks can range from small to large (e.g., $10^{-13}$ to $10^{3}$) - showing that even negligible errors can be systematically exploited to invalidate guarantees provided by certified robustness. Finally, we propose a formal mitigation approach based on bounded interval arithmetic, encouraging future implementations of robustness certificates to account for limitations of modern computing architecture to provide sound certifiable guarantees.


title: Transient two pole accretion in the polar V496 UMa

abstract: We report XMM-Newton and TESS observations of V496 UMa, an AM Herculis-type cataclysmic variable. The XMM-Newton observation reveals that at times, two poles on the white dwarf accrete simultaneously, but accretion onto the secondary magnetic pole is erratic and can nearly cease in less than one binary orbit (1.5 h). Modelling of the X-ray spectrum during the primary maximum reveals no change in the accretion structures onto the primary pole when accretion onto the secondary pole is disrupted, suggesting that the disruption of accretion onto the secondary pole may be caused by mass-transfer variations from the donor star. The TESS observation, which spanned eight weeks at a two-minute cadence, shows a stable, double-humped orbital modulation due to cyclotron emission from the post-shock region, while the observed times of maximum light show a slow systematic drift that does not correlate with the system's overall brightness.


title: The role of the Big Geographic Sort in the circulation of misinformation among U.S. Reddit users

abstract: Past research has attributed the online circulation of misinformation to two main factors - individual characteristics (e.g., a person's information literacy) and social media effects (e.g., algorithm-mediated information diffusion) - and has overlooked a third one: the critical mass created by the offline self-segregation of Americans into like-minded geographical regions such as states (a phenomenon called "The Big Sort"). We hypothesized that this latter factor matters for the online spreading of misinformation not least because online interactions, despite having the potential of being global, end up being localized: interaction probability is known to rapidly decay with distance. Upon analysis of more than 8M Reddit comments containing news links spanning four years, from January 2016 to December 2019, we found that Reddit did not work as an "hype machine" for misinformation (as opposed to what previous work reported for other platforms, circulation was not mainly caused by platform-facilitated network effects) but worked as a supply-and-demand system: misinformation news items scaled linearly with the number of users in each state (with a scaling exponent beta=1, and a goodness of fit R2 = 0.95). Furthermore, deviations from such a universal pattern were best explained by state-level personality and cultural factors (R2 = {0.12, 0.39}), rather than socioeconomic conditions (R2 = {0.15, 0.29}) or, as one would expect, political characteristics (R2 ={0.06, 0.21}). Higher-than-expected circulation of any type of news (including reputable news) was found in states characterised by residents who tend to be less diligent in terms of their personality (low in conscientiousness) and by loose cultures understating the importance of adherence to norms (low in cultural tightness).


title: FedAdapter: Efficient Federated Learning for Modern NLP

abstract: Transformer-based pre-trained models have revolutionized NLP for superior performance and generality. Fine-tuning pre-trained models for downstream tasks often requires private data, for which federated learning is the de-facto approach (i.e., FedNLP). However, our measurements show that FedNLP is prohibitively slow due to the large model sizes and the resultant high network/computation cost. Towards practical FedNLP, we identify as the key building blocks adapters, small bottleneck modules inserted at a variety of model layers. A key challenge is to properly configure the depth and width of adapters, to which the training speed and efficiency is highly sensitive. No silver-bullet configuration exists: the optimal choice varies across downstream NLP tasks, desired model accuracy, and mobile resources. To automate adapter configuration, we propose FedAdapter, a framework that enhances the existing FedNLP with two novel designs. First, FedAdapter progressively upgrades the adapter configuration throughout a training session; the principle is to quickly learn shallow knowledge by only training fewer and smaller adapters at the model's top layers, and incrementally learn deep knowledge by incorporating deeper and larger adapters. Second, FedAdapter continuously profiles future adapter configurations by allocating participant devices to trial groups. Extensive experiments show that FedAdapter can reduce FedNLP's model convergence delay to no more than several hours, which is up to 155.5$\times$ faster compared to vanilla FedNLP and 48$\times$ faster compared to strong baselines.


title: On some open problems concerning perfect powers

abstract: The starting point of our paper is Kashihara's open problem number $30$, concerning the sequence $A001292$ of the OEIS, asking how many terms are powers of integers. We confirm his last conjecture up to the $100128$-th term and provide a general theorem that rules out $4/9$ of the candidates. Moreover, we formulate a new, provocative, conjecture involving the OEIS sequence $A352991$ (which includes all the terms of $A001292$). Our risky conjecture states that all the perfect powers belonging to the sequence $A352991$ are perfect squares and they cannot be written as higher order perfect powers if the given term of $A352991$ is not equal to one. This challenging conjecture has been checked for any integer smaller than $10111121314151617181920212223456789$ and no counterexample has been found so far.


title: Tight globally simple non-zero sum Heffter arrays and biembeddings

abstract: Square relative non-zero sum Heffter arrays, denoted by $\mathrm{N}\mathrm{H}_t(n;k)$, have been introduced as a variant of the classical concept of Heffter array. An $\mathrm{N}\mathrm{H}_t(n; k)$ is an $n\times n$ partially filled array with elements in $\mathbb{Z}_v$, where $v=2nk+t$, whose rows and whose columns contain $k$ filled cells, such that the sum of the elements in every row and column is different from $0$ (modulo $v$) and, for every $x\in \mathbb{Z}_v$ not belonging to the subgroup of order $t$, either $x$ or $-x$ appears in the array. In this paper we give direct constructions of square non-zero sum Heffter arrays with no empty cells, $\mathrm{N}\mathrm{H}_t(n;n)$, for every $n$ odd, when $t$ is a divisor of $n$ and when $t\in\{2,2n,n^2,2n^2\}$. The constructed arrays have also the very restrictive property of being "globally simple"; this allows us to get new orthogonal path decompositions and new biembeddings of complete multipartite graphs.


title: A counterexample to the conjecture: Let $S$ be a singular inner function. Then $z\cdot S$ is onto $U$

abstract: In this paper we give a counterexample to the conjecture: Let $S\in{\rm SInn}$. Then $z\cdot S$ is onto $U$.


title: Quasinormal modes of a Generic-class of magnetically charged regular black hole: scalar and electromagnetic perturbations

abstract: In this contribution, we study the quasinormal modes of a Generic--class of a regular black hole with a magnetic charge in nonlinear electrodynamics, considering scalar and electromagnetic perturbations. The Generic--class contains the Bardeen--class, Hayward--class, and New--class solutions. As the Generic--class can represent a black hole with two horizons or one horizon. First, we obtain the critical values of the magnetic charge and mass. Then, using the third--order WKB approximation, we can determine the dependence of the quasinormal modes with the parameters of the Generic--class. Finally, the transmission and reflection coefficients of the scattered wave in the third--order WKB approximation are calculated.


title: Reconstruction of the Solar Activity from the Catalogs of the Zurich Observatory

abstract: Catalogs of the Zurich Observatory contain positional information on sunspots, prominences and faculae in late 19th and early 20th centuries. This database is given in handwritten tabular form and was not systematically analysed earlier. It is different from the sunspot number time series made in Zurich and was obtained with a larger telescope. We trained a neural-network model for handwritten text recognition and present the database of reconstructed coordinates. The database obtained connects the earlier observations by Sp\"orer with later programs of the 20th century and supplements the sunspot-group catalogs of the Royal Greenwich Observatory. We also expect that the presented machine-learning approach and its deep capabilities will motivate the processing of a wide bulk of astronomical data, which is still given in non-digitized form or as plain scanned images.


title: Silhouettes of wormholes traversed for radiation

abstract: The problem of the passage of light through the mouth of a zero-mass wormhole and the possibility of observing the objects from another asymptotically flat space-time through the mouth of a wormhole are considered. It is shown that an individual star can have several images and the fact that the image of a flat Lambertian screen has a complex brightness distribution for an observer located on the opposite side of the throat. Images of two such screens visible inside the silhouette of a massless wormhole and the distribution of radiation intensity in their images are constructed.


title: Beam Training and Tracking in MmWave Communication: A Survey

abstract: Communicating on millimeter wave (mmWave) bands is ushering in a new epoch of mobile communication which provides the availability of 10 Gbps high data rate transmission. However, mmWave links are easily prone to short transmission range communication because of the serious free space path loss and the blockage by obstacles. To overcome these challenges, highly directional beams are exploited to achieve robust links by hybrid beamforming. Accurately aligning the transmitter and receiver beams, i.e. beam training, is vitally important to high data rate transmission. However, it may cause huge overhead which has negative effects on initial access, handover, and tracking. Besides, the mobility patterns of users are complicated and dynamic, which may cause tracking error and large tracking latency. An efficient beam tracking method has a positive effect on sustaining robust links. This article provides an overview of the beam training and tracking technologies on mmWave bands and reveals the insights for future research in the 6th Generation (6G) mobile network. Especially, some open research problems are proposed to realize fast, accurate, and robust beam training and tracking. We hope that this survey provides guidelines for the researchers in the area of mmWave communications.


title: An optimal control-based numerical method for scalar transmission problems with sign-changing coefficients

abstract: In this work, we present a new numerical method for solving the scalar transmission problem with sign-changing coefficients. In electromagnetism, such a transmission problem can occur if the domain of interest is made of a classical dielectric material and a metal or a metamaterial, with for instance an electric permittivity that is strictly negative in the metal or metamaterial. The method is based on an optimal control reformulation of the problem. Contrary to other existing approaches, the convergence of this method is proved without any restrictive condition. In particular, no condition is imposed on the a priori regularity of the solution to the problem, and no condition is imposed on the meshes, other than that they fit with the interface between the two media. Our results are illustrated by some (2D) numerical experiments.


title: First results from the INDRA-FAZIA apparatus on isospin diffusion in $^{58,64}$Ni+$^{58,64}$Ni systems at Fermi energies

abstract: An investigation of the isospin equilibration process in the reactions $^{58,64}$Ni+$^{58,64}$Ni at two bombarding energies in the Fermi regime ($32\,$MeV/nucleon and $52\,$MeV/nucleon) is presented. Data have been acquired during the first experimental campaign of the coupled INDRA-FAZIA apparatus in GANIL. Selecting from peripheral to semi-central collisions, both the neutron content of the quasiprojectile residue and that of the light ejectiles coming from the quasiprojectile evaporation have been used as probes of the dynamical process of isospin diffusion between projectile and target for the asymmetric systems. The isospin transport ratio technique has been employed. The relaxation of the initial isospin imbalance with increasing centrality has been clearly evidenced. The isospin equilibration appears stronger for the reactions at $32\,$MeV/nucleon, as expected due to the longer projectile-target interaction time than at $52\,$MeV/nucleon. Coherent indications of isospin equilibration come from the quasiprojectile residue characteristics and from particles ascribed to the quasiprojectile decay.


title: The Curvature of Spectral Energy Distribution and $\gamma$-ray Dominance of Fermi BL Lac Objects

abstract: The extragalactic $\gamma$-ray sky is dominated by blazars and their study plays an important role in understanding jet physics, cosmic evolution history and origin of ultra high energy cosmic rays. In this work, we study a large sample of BL Lac objects to investigate why some sources are detected in $\gamma$-rays, while others not. We selected 170 BL Lac objects, with measured synchrotron spectral curvature and Doppler factor, and divided them into Fermi-LAT detected (FBLs) and non-detected (NFBLs) sources. We show that FBLs have smaller curvature than NFBLs, even after getting rid of Doppler beaming effect. The BL Lac objects PKS 0048-09 and S5 0716+714 have similar synchrotron peak frequency and luminosity but different $\gamma$-ray dominance and their quasi-simultaneous broadband spectral energy distributions (SEDs) can be well fitted by a log-parabolic synchrotron self-Compton (SSC) model with same jet parameters except for the curvature and source size, assuming curvature being proportional to the size of emission region. Our results imply that for a given synchrotron luminosity, the different SED curvature and Compton dominance may account for the discrepancy between FBLs and NFBLs. We discuss these results in context of stochastic particle acceleration and radiation mechanisms.


title: The disk of FU Orionis viewed with MATISSE/VLTI: first interferometric observations in $L$ and $M$ bands

abstract: The disk of FU Orionis is marginally resolved with MATISSE, suggesting that the region emitting in the thermal infrared is rather compact. An upper limit of $\sim1.3\pm0.1$ mas (in $L$) can be given for the diameter of the disk region probed in the $L$ band, corresponding to 0.5 au at the adopted Gaia EDR3 distance. This represents the hot, gaseous region of the accretion disk. The $N$-band data indicate that the dusty passive disk is silicate-rich. Only the innermost region of said dusty disk is found to emit strongly in the $N$ band, and it is resolved at an angular size of $\sim5$ mas, which translates to a diameter of about 2 au. The observations therefore place stringent constraints for the outer radius of the inner accretion disk. Dust radiative transfer simulations with RADMC-3D provide adequate fits to the spectral energy distribution from the optical to the submillimeter and to the interferometric observables when opting for an accretion rate $\dot{M}\sim 2\times 10^{-5}\, M_\odot$ yr$^{-1}$ and assuming $M_*=0.6\, M_\odot$. Most importantly, the hot inner accretion disk's outer radius can be fixed at 0.3 au. The outer radius of the dusty disk is placed at 100 au, based on constraints from scattered-light images in the literature. The dust mass contained in the disk is $2.4\times10^{-4}\, M_\odot$, and for a typical gas-to-dust ratio of 100, the total mass in the disk is approximately 0.02 $M_\odot$. We did not find any evidence for a nearby companion in the current interferometric data, and we tentatively explored the case of disk misalignment. For the latter, our modeling results suggest that the disk orientation is similar to that found in previous imaging studies by ALMA. Should there be an asymmetry in the very compact, inner accretion disk, this might be resolved at even smaller spatial scales ($\leq1$ mas).


title: Pre-hijacked accounts: An Empirical Study of Security Failures in User Account Creation on the Web

abstract: The ubiquity of user accounts in websites and online services makes account hijacking a serious security concern. Although previous research has studied various techniques through which an attacker can gain access to a victim's account, relatively little attention has been directed towards the process of account creation. The current trend towards federated authentication (e.g., Single Sign-On) adds an additional layer of complexity because many services now support both the classic approach in which the user directly sets a password, and the federated approach in which the user authenticates via an identity provider. Inspired by previous work on preemptive account hijacking [Ghasemisharif et al., USENIX SEC 2018], we show that there exists a whole class of account pre-hijacking attacks. The distinctive feature of these attacks is that the attacker performs some action before the victim creates an account, which makes it trivial for the attacker to gain access after the victim has created/recovered the account. Assuming a realistic attacker who knows only the victim's email address, we identify and discuss five different types of account pre-hijacking attacks. To ascertain the prevalence of such vulnerabilities in the wild, we analyzed 75 popular services and found that at least 35 of these were vulnerable to one or more account pre-hijacking attacks. Whilst some of these may be noticed by attentive users, others were completely undetectable from the victim's perspective. Finally, we investigated the root cause of these vulnerabilities and present a set of security requirements to prevent such vulnerabilities arising in future.


title: Task Relabelling for Multi-task Transfer using Successor Features

abstract: Deep Reinforcement Learning has been very successful recently with various works on complex domains. Most works are concerned with learning a single policy that solves the target task, but is fixed in the sense that if the environment changes the agent is unable to adapt to it. Successor Features (SFs) proposes a mechanism that allows learning policies that are not tied to any particular reward function. In this work we investigate how SFs may be pre-trained without observing any reward in a custom environment that features resource collection, traps and crafting. After pre-training we expose the SF agents to various target tasks and see how well they can transfer to new tasks. Transferring is done without any further training on the SF agents, instead just by providing a task vector. For training the SFs we propose a task relabelling method which greatly improves the agent's performance.


title: Topology-aware Serverless Function-Execution Scheduling

abstract: Cloud-edge serverless applications or serverless deployments spanning multiple regions introduce the need to govern the scheduling of functions to satisfy their functional constraints or avoid performance degradation. For instance, functions may require to be allocated to specific private (edge) nodes that have access to specialised resources or to nodes with low latency to access a certain database to decrease the overall latency of the application. State-of-the-art serverless platforms do not support directly the implementation of topological constraints on the scheduling of functions. We address this problem by presenting a declarative language for defining topology-aware, function-specific serverless scheduling policies, called tAPP. Given a tAPP script, a compatible serverless scheduler can enforce different, co-existing topological constraints without requiring ad-hoc platform deployments. We prove our approach feasible by implementing a tAPP-based serverless platform as an extension of the Apache OpenWhisk serverless platform. We show that, compared to vanilla OpenWhisk, our extension does not negatively impact the performance of generic, non-topology-bound serverless scenarios, while it increases the performance of topology-bound ones.


title: Stability of black solitons in optical systems with intensity-dependent dispersion

abstract: Black solitons are identical in the nonlinear Schr\"{o}dinger (NLS) equation with intensity-dependent dispersion and the cubic defocusing NLS equation. We prove that the intensity-dependent dispersion introduces new properties in the stability analysis of the black soliton. First, the spectral stability problem possesses only isolated eigenvalues on the imaginary axis. Second, the energetic stability argument holds in Sobolev spaces with exponential weights. Third, the black soliton persists with respect to addition of a small decaying potential and remains spectrally stable when it is pinned to the minimum points of the effective potential. The same model exhibits a family of traveling dark solitons for every wave speed and we incorporate properties of these dark solitons for small wave speeds in the analysis of orbital stability of the black soliton.

categories: math.AP math-ph math.DS math.MP nlin.PS nlin.SI


title: Visually-Augmented Language Modeling

abstract: Human language is grounded on multimodal knowledge including visual knowledge like colors, sizes, and shapes. However, current large-scale pre-trained language models rely on text-only self-supervised training with massive text data, which precludes them from utilizing relevant visual information when necessary. To address this, we propose a novel pre-training framework, named VaLM, to Visually-augment text tokens with retrieved relevant images for Language Modeling. Specifically, VaLM builds on a novel latent text-image alignment method via an image retrieval module to fetch corresponding images given a textual context. With the visually-augmented context, VaLM uses a visual knowledge fusion layer to enable multimodal grounded language modeling by attending to both text context and visual knowledge in images. We evaluate VaLM on various visual knowledge-intensive commonsense reasoning tasks, which require visual information to excel. The experimental results illustrate that VaLM outperforms all strong language-only and vision-language baselines with substantial gains in reasoning object commonsense including color, size, and shape. Our code is available at https://github.com/Victorwz/VaLM.


title: Towards the Generation of Synthetic Images of Palm Vein Patterns: A Review

abstract: With the recent success of computer vision and deep learning, remarkable progress has been achieved on automatic personal recognition using vein biometrics. However, collecting large-scale real-world training data for palm vein recognition has turned out to be challenging, mainly due to the noise and irregular variations included at the time of acquisition. Meanwhile, existing palm vein recognition datasets are usually collected under near-infrared light, lacking detailed annotations on attributes (e.g., pose), so the influences of different attributes on vein recognition have been poorly investigated. Therefore, this paper examines the suitability of synthetic vein images generated to compensate for the urgent lack of publicly available large-scale datasets. Firstly, we present an overview of recent research progress on palm vein recognition, from the basic background knowledge to vein anatomical structure, data acquisition, public database, and quality assessment procedures. Then, we focus on the state-of-the-art methods that have allowed the generation of vascular structures for biometric purposes and the modeling of biological networks with their respective application domains. In addition, we review the existing research on the generation of style transfer and biological nature-based synthetic palm vein image algorithms. Afterward, we formalize a general flowchart for the creation of a synthetic database comparing real palm vein images and generated synthetic samples to obtain some understanding into the development of the realistic vein imaging system. Ultimately, we conclude by discussing the challenges, insights, and future perspectives in generating synthetic palm vein images for further works.


title: Controlling the configuration space topology of mechanisms

abstract: Linkages are mechanical devices constructed from rigid bars and freely rotating joints studied both for their utility in engineering and as mathematical idealizations in a number of physical systems. Recently, there has been a resurgence of interest in designing linkages to perform certain tasks from the physics community. We describe a method to design the topology of the configuration space of a linkage by first identifying the manifold of critical points, then perturbing around such critical configurations. We then demonstrate our procedure by designing a mechanism to gate the propagation of a soliton in a Kane-Lubensky chain of interconnected rotors.


title: Neural-network-based mixed subgrid-scale model for turbulent flow

abstract: An artificial neural-network-based subgrid-scale model using the resolved stress, which is capable of predicting untrained decaying isotropic turbulence, is developed. Providing the grid-scale strain-rate tensor alone as input leads the model to predict a subgrid-scale stress tensor aligns with the strain-rate tensor, and the model performs similar to the dynamic Smagorinsky model. On the other hand, providing the resolved stress tensor as input in addition to the strain-rate tensor is found to significantly improve the model in terms of the energy spectra and probability density function of subgrid-scale dissipation. In an attempt to apply the neural-network-based model trained for forced homogeneous isotropic turbulence to decaying homogeneous isotropic turbulence, special attention is given to the normalisation of the input and output tensors. It is found that successful generalisation of the model to turbulence at various untrained conditions is possible if the distributions of the normalised inputs and outputs of the neural-network remain unchanged as Reynolds numbers and grid resolution of the turbulence vary. In a posteriori tests of the forced and the decaying homogeneous isotropic turbulence, the developed neural-network model is found to predict turbulence statistics more accurately and to be computationally more efficient than the conventional dynamic models.


title: Quantum Heterodyne Sensing of Nuclear Spins via Double Resonance

abstract: Nanoscale nuclear magnetic resonance (NMR) signals can be measured through hyperfine interaction to paramagnetic electron sensor spins. A heterodyne approach is widely used to overcome the electron spin lifetime limit in spectral resolution. It uses a series of modified Hahn echo pulse sequences applied coherently with precession signal resulting in a subsampled NMR signal. Due to challenges with applying high electron Rabi frequencies its application is limited to low fields, thus the full potential of the method is not yet exploited at high magnetic fields, beneficial for NMR. Here we present heterodyne detection utilizing a series of phase coherent electron nuclear double resonance sensing blocks which extends nanoscale NMR protocols to arbitrary magnetic fields. We demonstrate this principle on a single NV center, both with an intrinsic $^{14}$N and a weekly coupled $^{13}$C nuclear spin in the bath surrounding single NV centres. We compare our protocol to existing heterodyne protocols and discuss its prospects. This work paves the way towards high field nanoscale heterodyne NMR protocols with NV centres which is crucial for reducing sample volumes and improving chemical resolution.


title: Prototypical Calibration for Few-shot Learning of Language Models

abstract: In-context learning of GPT-like models has been recognized as fragile across different hand-crafted templates, and demonstration permutations. In this work, we propose prototypical calibration to adaptively learn a more robust decision boundary for zero- and few-shot classification, instead of greedy decoding. Concretely, our method first adopts Gaussian mixture distribution to estimate the prototypical clusters for all categories. Then we assign each cluster to the corresponding label by solving a weighted bipartite matching problem. Given an example, its prediction is calibrated by the likelihood of prototypical clusters. Experimental results show that prototypical calibration yields a substantial improvement on a diverse set of tasks. Extensive analysis across different scales also indicates that our method calibrates the decision boundary as expected, greatly improving the robustness of GPT to templates, permutations, and class imbalance.


title: E-Scooter Rider Detection and Classification in Dense Urban Environments

abstract: Accurate detection and classification of vulnerable road users is a safety critical requirement for the deployment of autonomous vehicles in heterogeneous traffic. Although similar in physical appearance to pedestrians, e-scooter riders follow distinctly different characteristics of movement and can reach speeds of up to 45kmph. The challenge of detecting e-scooter riders is exacerbated in urban environments where the frequency of partial occlusion is increased as riders navigate between vehicles, traffic infrastructure and other road users. This can lead to the non-detection or mis-classification of e-scooter riders as pedestrians, providing inaccurate information for accident mitigation and path planning in autonomous vehicle applications. This research introduces a novel benchmark for partially occluded e-scooter rider detection to facilitate the objective characterization of detection models. A novel, occlusion-aware method of e-scooter rider detection is presented that achieves a 15.93% improvement in detection performance over the current state of the art.


title: Energy dissipation from confined states in nanoporous molecular networks

abstract: Crystalline nanoporous molecular networks are assembled on the Ag(111) surface, where the pores confine electrons originating from the surface state of the metal. Depending on the pore sizes and their coupling, an antibonding level is shifted upwards by 0.1 to 0.3 eV as measured by scanning tunneling microscopy. On molecular sites, a down-shifted bonding state is observed, which is occupied under equilibrium conditions. Low-temperature force spectroscopy reveals energy dissipation peaks and jumps of frequency shifts at bias voltages, which are related to the confined states. The dissipation maps show delocalization on the supra-molecular assembly and a weak distance-dependence of the dissipation peaks. These observations indicate that two-dimensional arrays of coupled quantum dots are formed, which are quantitatively characterized by their quantum capacitances and resonant tunneling rates. Our work provides a method for studying the capacitive and dissipative response of quantum materials with nanomechanical oscillators.


title: Bayesian Active Learning with Fully Bayesian Gaussian Processes

abstract: The bias-variance trade-off is a well-known problem in machine learning that only gets more pronounced the less available data there is. In active learning, where labeled data is scarce or difficult to obtain, neglecting this trade-off can cause inefficient and non-optimal querying, leading to unnecessary data labeling. In this paper, we focus on active learning with Gaussian Processes (GPs). For the GP, the bias-variance trade-off is made by optimization of the two hyperparameters: the length scale and noise-term. Considering that the optimal mode of the joint posterior of the hyperparameters is equivalent to the optimal bias-variance trade-off, we approximate this joint posterior and utilize it to design two new acquisition functions. The first one is a Bayesian variant of Query-by-Committee (B-QBC), and the second is an extension that explicitly minimizes the predictive variance through a Query by Mixture of Gaussian Processes (QB-MGP) formulation. Across six simulators, we empirically show that B-QBC, on average, achieves the best marginal likelihood, whereas QB-MGP achieves the best predictive performance. We show that incorporating the bias-variance trade-off in the acquisition functions mitigates unnecessary and expensive data labeling.


title: Adversarial Body Shape Search for Legged Robots

abstract: We propose an evolutionary computation method for an adversarial attack on the length and thickness of parts of legged robots by deep reinforcement learning. This attack changes the robot body shape and interferes with walking-we call the attacked body as adversarial body shape. The evolutionary computation method searches adversarial body shape by minimizing the expected cumulative reward earned through walking simulation. To evaluate the effectiveness of the proposed method, we perform experiments with three-legged robots, Walker2d, Ant-v2, and Humanoid-v2 in OpenAI Gym. The experimental results reveal that Walker2d and Ant-v2 are more vulnerable to the attack on the length than the thickness of the body parts, whereas Humanoid-v2 is vulnerable to the attack on both of the length and thickness. We further identify that the adversarial body shapes break left-right symmetry or shift the center of gravity of the legged robots. Finding adversarial body shape can be used to proactively diagnose the vulnerability of legged robot walking.


title: A Proximal Algorithm for Sampling from Non-convex Potentials

abstract: We study sampling problems associated with non-convex potentials that meanwhile lack smoothness. In particular, we consider target distributions that satisfy either logarithmic-Sobolev inequality or Poincar\'e inequality. Rather than smooth, the potentials are assumed to be semi-smooth or the summation of multiple semi-smooth functions. We develop a sampling algorithm that resembles proximal algorithms in optimization for this challenging sampling task. Our algorithm is based on a special case of Gibbs sampling known as the alternating sampling framework (ASF). The key contribution of this work is a practical realization of the ASF based on rejection sampling in the non-convex and semi-smooth setting. This work extends the recent algorithm in \cite{LiaChe21,LiaChe22} for non-smooth/semi-smooth log-concave distribution to the setting with non-convex potentials. In almost all the cases of sampling considered in this work, our proximal sampling algorithm achieves better complexity than all existing methods.


title: Progressive Class Semantic Matching for Semi-supervised Text Classification

abstract: Semi-supervised learning is a promising way to reduce the annotation cost for text-classification. Combining with pre-trained language models (PLMs), e.g., BERT, recent semi-supervised learning methods achieved impressive performance. In this work, we further investigate the marriage between semi-supervised learning and a pre-trained language model. Unlike existing approaches that utilize PLMs only for model parameter initialization, we explore the inherent topic matching capability inside PLMs for building a more powerful semi-supervised learning approach. Specifically, we propose a joint semi-supervised learning process that can progressively build a standard $K$-way classifier and a matching network for the input text and the Class Semantic Representation (CSR). The CSR will be initialized from the given labeled sentences and progressively updated through the training process. By means of extensive experiments, we show that our method can not only bring remarkable improvement to baselines, but also overall be more stable, and achieves state-of-the-art performance in semi-supervised text classification.


title: Sparse coupling and Markov blankets: A comment on "How particular is the physics of the Free Energy Principle?" by Aguilera, Millidge, Tschantz and Buckley

abstract: In this commentary, we respond to a technical analysis of the Free Energy Principle (hereafter: FEP) presented in "How particular is the physics of the Free Energy Principle" by Aguilera et al. In the target article, the authors analyzed certain sparsely coupled stochastic differential equations whose non-equilibrium steady-state densities are claimed--in previous FEP literature--to have a Markov blanket. The authors demonstrate that in general, Markov blankets are not guaranteed to follow from sparse coupling. The current commentary explains the relationship between sparse coupling and Markov blankets in the case of Gaussian steady-state densities. We precisely derive conditions under which causal coupling leads--or does not lead--to Markov blankets. Importantly, our derivations hold for both linear and non-linear stochastic differential equations. This result may shed light on the sorts of systems which we expect to have Markov blankets. Future work should focus on verifying whether these sorts of constraints are satisfied in realistic models of sparsely coupled systems.


title: Direct observation of moir\'e flat-band breakdown at the edge of magic-angle twisted bilayer graphene

abstract: Low-energy moir\'e flat bands in magic-angle twisted bilayer graphene (tBG) have demonstrated incredible potentials to exhibit rich exotic quantum phenomena. Theoretically, the moir\'e flat bands of tBG are based on the extended structures, i.e., the moir\'e patterns with periodic boundary conditions. However, a fundamental question of whether the flat bands can exist in the graphene moir\'e patterns with a reduced structure symmetry, such as sample edges, remains unanswered. Here, via scanning tunneling microscopy and spectroscopy, we study the local electronic properties of a magic-angle tBG near the sample terminated edge and report a direct observation of breakdown of the moir\'e flat bands. We show that the moir\'e electronic structures, including the low-energy flat bands, can sufficiently exist in a complete moir\'e spot, i.e., a moir\'e supercell, right at the edge even the translational symmetry of the moir\'e patterns is broken in one direction. However, the flat-band characteristic is obviously absent in the incomplete moir\'e spots that are partly terminated by the edge. Our results indicate that a whole moir\'e spot is sufficient and indispensable for the generation of the effective moir\'e flat bands in tBG.


title: On the Trade-off between Redundancy and Local Coherence in Summarization

abstract: Extractive summaries are usually presented as lists of sentences with no expected cohesion between them and with plenty of redundant information if not accounted for. In this paper, we investigate the trade-offs incurred when aiming to control for inter-sentential cohesion and redundancy in extracted summaries, and their impact on their informativeness. As case study, we focus on the summarization of long, highly redundant documents and consider two optimization scenarios, reward-guided and with no supervision. In the reward-guided scenario, we compare systems that control for redundancy and cohesion during sentence scoring. In the unsupervised scenario, we introduce two systems that aim to control all three properties -- informativeness, redundancy, and cohesion -- in a principled way. Both systems implement a psycholinguistic theory that simulates how humans keep track of relevant content units and how cohesion and non-redundancy constraints are applied in short-term memory during reading. Extensive automatic and human evaluations reveal that systems optimizing for -- among other properties -- cohesion are capable of better organizing content in summaries compared to systems that optimize only for redundancy, while maintaining comparable informativeness. We find that the proposed unsupervised systems manage to extract highly cohesive summaries across varying levels of document redundancy, although sacrificing informativeness in the process. Finally, we lay evidence as to how simulated cognitive processes impact the trade-off between the analyzed summary properties.


title: Simultaneous cooling of all six degrees of freedom of an optically levitated nanoparticle by elliptic coherent scattering

abstract: We report on strong cooling and orientational control of all translational and angular degrees of freedom of a nanoparticle levitated in an optical trap in high vacuum. The motional cooling and control of all six degrees of freedom of a nanoparticle levitated by an optical tweezer is accomplished using coherent elliptic scattering within a high finesse optical cavity. Translational temperatures in the 100 $\mu$K range were reached while temperatures as low as 5 mK were attained in the librational degrees of freedom. This work represents an important milestone in controlling all observable degrees of freedom of a levitated particle and opens up future applications in quantum science and the study of single isolated nanoparticles.


title: A new compressed cover tree for k-nearest neighbour search and the stable-under-noise mergegram of a point cloud

abstract: This thesis consists of two topics related to computational geometry and one topic related to topological data analysis (TDA), which combines fields of computational geometry and algebraic topology for analyzing data. The first part studies the classical problem of finding k nearest neighbors to m query points in a larger set of n reference points in any metric space. The second part is about the construction of a Minimum Spanning Tree (MST) on any finite metric space. The third part extends the key concept of persistence within Topological Data Analysis in a new direction.


title: Unsupervised Flow-Aligned Sequence-to-Sequence Learning for Video Restoration

abstract: How to properly model the inter-frame relation within the video sequence is an important but unsolved challenge for video restoration (VR). In this work, we propose an unsupervised flow-aligned sequence-to-sequence model (S2SVR) to address this problem. On the one hand, the sequence-to-sequence model, which has proven capable of sequence modeling in the field of natural language processing, is explored for the first time in VR. Optimized serialization modeling shows potential in capturing long-range dependencies among frames. On the other hand, we equip the sequence-to-sequence model with an unsupervised optical flow estimator to maximize its potential. The flow estimator is trained with our proposed unsupervised distillation loss, which can alleviate the data discrepancy and inaccurate degraded optical flow issues of previous flow-based methods. With reliable optical flow, we can establish accurate correspondence among multiple frames, narrowing the domain difference between 1D language and 2D misaligned frames and improving the potential of the sequence-to-sequence model. S2SVR shows superior performance in multiple VR tasks, including video deblurring, video super-resolution, and compressed video quality enhancement. Code and models are publicly available at https://github.com/linjing7/VR-Baseline


title: Hydrodynamic charge transport in GaAs/AlGaAs ultrahigh-mobility two-dimensional electron gas

abstract: Viscous fluid in an ultrahigh-mobility two-dimensional electron gas (2DEG) in GaAs/AlGaAs quantum wells is systematically studied through measurements of negative magnetoresistance (NMR) and photoresistance under microwave radiation, and the data are analyzed according to recent theoretical work by e.g., Alekseev, Physical Review Letters 117,166601 (2016). Size-dependent and temperature dependent NMR are found to conform to the theoretical predictions. In particular, transport of 2DEG with relatively weak Coulomb interaction (interparticle interaction parameter r_s<1) manifests a crossover between viscous liquid and viscous gas. The size dependence of microwave induced resistance oscillations and that of the '2nd harmonic' peak indicate that 2DEG in a moderate magnetic field should be regarded as viscous fluid as well. Our results suggest that the hydrodynamic effects must be considered in order to understand semiclassical electronic transport in a clean 2DEG.


title: The Detection of Transiting Exoplanets by Gaia

abstract: Context: The space telescope Gaia is dedicated mainly to performing high-precision astrometry, but also spectroscopy and epoch photometry which can be used to study various types of photometric variability. One such variability type is exoplanetary transits. The photometric data accumulated so far have finally matured enough to allow the detection of some exoplanets. Aims: In order to fully exploit the scientific potential of Gaia, we search its photometric data for the signatures of exoplanetary transits. Methods: The search relies on a version of the Box-Least-Square (BLS) method, applied to a set of stars prioritized by machine-learning classification methods. An independent photometric validation was obtained using the public full-frame images of TESS. In order to validate the first two candidates, radial-velocity follow-up observations were performed using the spectrograph PEPSI of the Large Binocular Telescope (LBT). Results: The radial-velocity measurements confirm that two of the candidates are indeed hot Jupiters. Thus, they are the first exoplanets detected by Gaia - Gaia-1b and Gaia-2b. Conclusions: Gaia-1b and Gaia-2b demonstrate that the approach presented in this paper is indeed effective. This approach will be used to assemble a set of additional exoplanet candidates, to be released in Gaia third data release, ensuring better fulfillment of the exoplanet detection potential of Gaia.


title: A New Central Limit Theorem for the Augmented IPW Estimator: Variance Inflation, Cross-Fit Covariance and Beyond

abstract: Estimation of the average treatment effect (ATE) is a central problem in causal inference. In recent times, inference for the ATE in the presence of high-dimensional covariates has been extensively studied. Among the diverse approaches that have been proposed, augmented inverse probability weighting (AIPW) with cross-fitting has emerged a popular choice in practice. In this work, we study this cross-fit AIPW estimator under well-specified outcome regression and propensity score models in a high-dimensional regime where the number of features and samples are both large and comparable. Under assumptions on the covariate distribution, we establish a new central limit theorem for the suitably scaled cross-fit AIPW that applies without any sparsity assumptions on the underlying high-dimensional parameters. Our CLT uncovers two crucial phenomena among others: (i) the AIPW exhibits a substantial variance inflation that can be precisely quantified in terms of the signal-to-noise ratio and other problem parameters, (ii) the asymptotic covariance between the pre-cross-fit estimators is non-negligible even on the root-n scale. These findings are strikingly different from their classical counterparts. On the technical front, our work utilizes a novel interplay between three distinct tools--approximate message passing theory, the theory of deterministic equivalents, and the leave-one-out approach. We believe our proof techniques should be useful for analyzing other two-stage estimators in this high-dimensional regime. Finally, we complement our theoretical results with simulations that demonstrate both the finite sample efficacy of our CLT and its robustness to our assumptions.


title: A Novel Underwater Image Enhancement and Improved Underwater Biological Detection Pipeline

abstract: For aquaculture resource evaluation and ecological environment monitoring, automatic detection and identification of marine organisms is critical. However, due to the low quality of underwater images and the characteristics of underwater biological, a lack of abundant features may impede traditional hand-designed feature extraction approaches or CNN-based object detection algorithms, particularly in complex underwater environment. Therefore, the goal of this paper is to perform object detection in the underwater environment. This paper proposed a novel method for capturing feature information, which adds the convolutional block attention module (CBAM) to the YOLOv5 backbone. The interference of underwater creature characteristics on object characteristics is decreased, and the output of the backbone network to object information is enhanced. In addition, the self-adaptive global histogram stretching algorithm (SAGHS) is designed to eliminate the degradation problems such as low contrast and color loss caused by underwater environmental information to better restore image quality. Extensive experiments and comprehensive evaluation on the URPC2021 benchmark dataset demonstrate the effectiveness and adaptivity of our methods. Beyond that, this paper conducts an exhaustive analysis of the role of training data on performance.


title: The Fairness of Credit Scoring Models

abstract: In credit markets, screening algorithms aim to discriminate between good-type and bad-type borrowers. However, when doing so, they can also discriminate between individuals sharing a protected attribute (e.g. gender, age, racial origin) and the rest of the population. This can be unintentional and originate from the training dataset or from the model itself. We show how to formally test the algorithmic fairness of scoring models and how to identify the variables responsible for any lack of fairness. We then use these variables to optimize the fairness-performance trade-off. Our framework provides guidance on how algorithmic fairness can be monitored by lenders, controlled by their regulators, improved for the benefit of protected groups, while still maintaining a high level of forecasting accuracy.


title: On the Decentralization of Blockchain-enabled Asynchronous Federated Learning

abstract: Federated learning (FL), thanks in part to the emergence of the edge computing paradigm, is expected to enable true real-time applications in production environments. However, its original dependence on a central server for orchestration raises several concerns in terms of security, privacy, and scalability. To solve some of these worries, blockchain technology is expected to bring decentralization, robustness, and enhanced trust to FL. The empowerment of FL through blockchain (also referred to as FLchain), however, has some implications in terms of ledger inconsistencies and age of information (AoI), which are naturally inherited from the blockchain's fully decentralized operation. Such issues stem from the fact that, given the temporary ledger versions in the blockchain, FL devices may use different models for training, and that, given the asynchronicity of the FL operation, stale local updates (computed using outdated models) may be generated. In this paper, we shed light on the implications of the FLchain setting and study the effect that both the AoI and ledger inconsistencies have on the FL performance. To that end, we provide a faithful simulation tool that allows capturing the decentralized and asynchronous nature of the FLchain operation.


title: How to Guide Adaptive Depth Sampling?

abstract: Recent advances in depth sensing technologies allow fast electronic maneuvering of the laser beam, as opposed to fixed mechanical rotations. This will enable future sensors, in principle, to vary in real-time the sampling pattern. We examine here the abstract problem of whether adapting the sampling pattern for a given frame can reduce the reconstruction error or allow a sparser pattern. We propose a constructive generic method to guide adaptive depth sampling algorithms. Given a sampling budget B, a depth predictor P and a desired quality measure M, we propose an Importance Map that highlights important sampling locations. This map is defined for a given frame as the per-pixel expected value of M produced by the predictor P, given a pattern of B random samples. This map can be well estimated in a training phase. We show that a neural network can learn to produce a highly faithful Importance Map, given an RGB image. We then suggest an algorithm to produce a sampling pattern for the scene, which is denser in regions that are harder to reconstruct. The sampling strategy of our modular framework can be adjusted according to hardware limitations, type of depth predictor, and any custom reconstruction error measure that should be minimized. We validate through simulations that our approach outperforms grid and random sampling patterns as well as recent state-of-the-art adaptive algorithms.


title: Learning to Count Anything: Reference-less Class-agnostic Counting with Weak Supervision

abstract: Current class-agnostic counting methods can generalise to unseen classes but usually require reference images to define the type of object to be counted, as well as instance annotations during training. Reference-less class-agnostic counting is an emerging field that identifies counting as, at its core, a repetition-recognition task. Such methods facilitate counting on a changing set composition. We show that a general feature space with global context can enumerate instances in an image without a prior on the object type present. Specifically, we demonstrate that regression from vision transformer features without point-level supervision or reference images is superior to other reference-less methods and is competitive with methods that use reference images. We show this on the current standard few-shot counting dataset FSC-147. We also propose an improved dataset, FSC-133, which removes errors, ambiguities, and repeated images from FSC-147 and demonstrate similar performance on it. To the best of our knowledge, we are the first weakly-supervised reference-less class-agnostic counting method.


title: Planar graphs with separation are dp-minimal

abstract: We prove that given a planar embedding of a graph in the sphere the expansion of the graph structure by predicates encoding separation of vertices by simple cycles of the graph is dp-minimal.


title: Estimation of binary time-frequency masks from ambient noise

abstract: We investigate the retrieval of a binary time-frequency mask from a few observations of filtered white ambient noise. Confirming household wisdom in acoustic modeling, we show that this is possible by inspecting the average spectrogram of ambient noise. Specifically, we show that the lower quantile of the average of $\mathcal{O}(\log(|\Omega|/\varepsilon))$ masked spectrograms is enough to identify a rather general mask $\Omega$ with confidence at least $\varepsilon$, up to shape details concentrated near the boundary of $\Omega$. As an application, the expected measure of the estimation error is dominated by the perimeter of the time-frequency mask. The estimator requires no knowledge of the noise variance, and only a very qualitative profile of the filtering window, but no exact knowledge of it.


title: A computational study of aortic reconstruction in single ventricle patients

abstract: Patients with hypoplastic left heart syndrome (HLHS) are born with an underdeveloped left heart. They typically receive a sequence of surgeries that result in a single ventricle physiology called the Fontan circulation. While these patients usually survive into early adulthood, they are at risk for medical complications, partially due to their lower than normal cardiac output, which leads to insufficient cerebral and gut perfusion. While clinical imaging data can provide detailed insight into cardiovascular function within the imaged region, it is difficult to use this data for assessing deficiencies in the rest of the body and for deriving blood pressure dynamics. Data from patients used in this paper include three dimensional, magnetic resonance angiograms (MRA), time-resolved phase contrast cardiac magnetic resonance images (4D-MRI) and sphygmomanometer blood pressure measurements. The 4D-MRI images provide detailed insight into velocity and flow in vessels within the imaged region, but they cannot predict flow in the rest of the body, nor do they provide values of blood pressure. To remedy these limitations, this study combines the MRA, 4D-MRI, and pressure data with 1D fluid dynamics models to predict hemodynamics in the major systemic arteries, including the cerebral and gut vasculature. To study effects post-surgery we compare simulations for an HLHS patient with simulations for a matched control patient that has double outlet right ventricle (DORV) physiology with a native aorta. Our results show that the HLHS patient has hypertensive pressures in the brain as well as reduced flow to the gut. Wave-intensity analysis suggests that the HLHS patient has irregular circulatory function during light upright exercise conditions and that predicted wall-shear stresses are lower than normal, suggesting the HLHS patient may have hypertension.


title: Measuring algorithmic interpretability: A human-learning-based framework and the corresponding cognitive complexity score

abstract: Algorithmic interpretability is necessary to build trust, ensure fairness, and track accountability. However, there is no existing formal measurement method for algorithmic interpretability. In this work, we build upon programming language theory and cognitive load theory to develop a framework for measuring algorithmic interpretability. The proposed measurement framework reflects the process of a human learning an algorithm. We show that the measurement framework and the resulting cognitive complexity score have the following desirable properties - universality, computability, uniqueness, and monotonicity. We illustrate the measurement framework through a toy example, describe the framework and its conceptual underpinnings, and demonstrate the benefits of the framework, in particular for managers considering tradeoffs when selecting algorithms.


title: A reduced-order, rotation-based model for thin hard-magnetic plates

abstract: We develop a reduced-order model for thin plates made of hard magnetorheological elastomers (hard-MREs), which are materials composed of hard-magnetic particles embedded in a polymeric matrix. First, we propose a new magnetic potential, as an alternative to an existing torque-based 3D continuum theory of hard-MREs, obtained by reformulating the remnant magnetization of a deformed hard-MRE body. Specifically, the magnetizations in the initial and current configurations are related by the rotation tensor decomposed from the deformation gradient, independently of stretching deformation. This description is motivated by recently reported observations in microscopic homogenization simulations. Then, we derive a 2D plate model through the dimensional reduction of our proposed rotation-based 3D theory. For comparison, we also provide a second plate model derived from the existing 3D theory. Finally, we perform precision experiments to thoroughly evaluate the proposed 3D and 2D models on hard-magnetic plates under various magnetic and mechanical loading conditions. We demonstrate that our rotation-based modification of the magnetic potential is crucial in correctly capturing the behavior of plates subjected to an applied field aligned with the magnetization, and undergoing in-plane stretching. In all the tested cases, our rotation-based 3D and 2D models yield predictions in excellent quantitative agreement with the experiments and can thus serve as predictive tools for the rational design of hard-magnetic plate structures.


title: Generalization of the Fokker-Planck equation for stellar orbit diffusion in multi-mass star systems

abstract: We improve the standard theory of collisional stellar systems by considering the presence of a continuous mass distribution. The calculus of the diffusion coefficients is generalized and a new expression of the Fokker-Planck equation is found for multi-mass systems. A King-like distribution function, which validates the basic assumptions of most multi-mass models for Globular Clusters existing in literature, is obtained.


title: Test-time Batch Normalization

abstract: Deep neural networks often suffer the data distribution shift between training and testing, and the batch statistics are observed to reflect the shift. In this paper, targeting of alleviating distribution shift in test time, we revisit the batch normalization (BN) in the training process and reveals two key insights benefiting test-time optimization: $(i)$ preserving the same gradient backpropagation form as training, and $(ii)$ using dataset-level statistics for robust optimization and inference. Based on the two insights, we propose a novel test-time BN layer design, GpreBN, which is optimized during testing by minimizing Entropy loss. We verify the effectiveness of our method on two typical settings with distribution shift, i.e., domain generalization and robustness tasks. Our GpreBN significantly improves the test-time performance and achieves the state of the art results.


title: Dark matter fluid constraints from galaxy rotation curves

abstract: Galaxy rotation curves are considered to be convincing evidence for dark matter or some dynamically equivalent alternative mechanism. Starting only from the rotation curve data, we present a model independent approach of testing a general hypothesis that dark matter has the properties of a barotropic fluid. It is shown how the speed of sound squared can be expressed in terms of rotation curve data and their radial derivatives and how model independent constraints can be obtained from the requirements that it is confined between 0 and $c^2$. Using the Milky Way rotation curve data available in the literature, we obtain the constraints on the barotropic fluid speed of sound and illustrate the potential of this approach. Technical challenges, limitations and possible future extensions and improvements of the proposed approach are discussed.


title: Thermodynamically consistent master equation based on subsystem eigenstates

abstract: Master equations under appropriate assumptions are efficient tools for the study of open quantum systems. For many-body systems, subsystems of which locally couple to thermal baths and weakly interact with each other, the local approach provides a more convenient description than the global approach. However, these local master equations are believed to generate inconsistencies with the laws of thermodynamics when intersubsystem interactions exist. Here we develop an alternative local master equation by virtue of similar approximations used in deriving the traditional Gorini-Kossakowski-Lindblad-Sudarshan master equation. In particular, we stick to using eigenstates of each subsystem to construct quantum jump operators, and the secular approximation is also employed to modify the intersubsystem interactions. Our results show that violations of thermodynamic laws will be avoided after correcting intersubsystem interactions. Finally, We study a two-qubit heat transfer model and this further shows the validity of our modified master equation.


title: Measurement of the $Z$ boson production cross-section in proton-lead collisions at $\sqrt{s_\mathrm{NN}}=8.16\,\mathrm{TeV}$

abstract: This article presents the first measurement of the differential $Z$-boson production cross-section in the forward region using proton-lead collisions with the LHCb detector. The dataset was collected at a nucleon-nucleon centre-of-mass energy of $\sqrt{s_\mathrm{NN}}=8.16\,\mathrm{TeV}$ in 2016, corresponding to an integrated luminosity of $30.8\,\mathrm{nb}^{-1}$. The forward-backward ratio and the nuclear modification factors are measured together with the differential cross-section as functions of the $Z$ boson rapidity in the centre-of-mass frame, the transverse momentum of the $Z$ boson and a geometric variable $\phi^{*}$. The results are in good agreement with the predictions from nuclear parton distribution functions, providing strong constraining power at small Bjorken-$x$.


title: Ultrabright Polarization-Entangled Photon Pair Source for Frequency-Multiplexed Quantum Communication in Free-Space

abstract: The distribution of entanglement via satellite links will drastically extend the reach of quantum networks. Highly efficient entangled photon sources are an essential requirement towards overcoming high channel loss and achieving practical transmission rates in long-distance satellite downlinks. Here we report on an ultrabright entangled photon source that is optimized for long-distance free-space transmission. It operates in a wavelength range that is efficiently detected with space-ready single photon avalanche diodes (Si-SPADs), and readily provides pair emission rates that exceed the detector bandwidth (i.e., the temporal resolution). To overcome this limitation, we demultiplex the photon flux into wavelength channels that can be handled by current single photon detector technology. This is achieved efficiently by using the spectral correlations due to hyper-entanglement in polarization and frequency as an auxiliary resource. Combined with recent demonstrations of space-proof source prototypes, these results pave the way to a broadband long-distance entanglement distribution network based on satellites.


title: Audio Declipping with (Weighted) Analysis Social Sparsity

abstract: We develop the analysis (cosparse) variant of the popular audio declipping algorithm of Siedenburg et al. (2014). Furthermore, we extend both the old and the new variants by the possibility of weighting the time-frequency coefficients. We examine the audio reconstruction performance of several combinations of weights and shrinkage operators. The weights are shown to improve the reconstruction quality in some cases; however, the best scores achieved by the non-weighted methods are not surpassed with the help of weights. Yet, the analysis Empirical Wiener (EW) shrinkage was able to reach the quality of a computationally more expensive competitor, the Persistent Empirical Wiener (PEW). Moreover, the proposed analysis variant incorporating PEW slightly outperforms the synthesis counterpart in terms of an auditorily motivated metric.


title: XMM-Newton and TESS observations of the highly variable polar V496 UMa

abstract: We aim to study the temporal and spectral behaviour of \vum from the optical to the X-ray regimes. We used archival \xmmn and \tes observations obtained in 2017 and 2019 to perform a spectral and timing analysis of the highly variable polar. The light curves of both satellites, TESS and XMM-Newton, reveal a double-humped pattern modulated with the periodicity of $91.058467 \pm 0.00001$ minutes. V496 UMa displays a two-pole accretion geometry in the high accretion state. X-ray spectra from both regions are composed of thermal plasma radiation and soft blackbody components with almost identical temperatures and a total accretion rate of $\dot{M}=1.4(8)\times10^{-11}$ M$_{\odot}$ yr$^{-1}$. The X-ray centers of the humps show longitudinal shifts of -18 and 4 degrees and -172 and -186 degrees size around photometric phase zero, for the main hump and second hump, respectively. The long-term ZTF light curves reveal high and low accretions states. Low-state ZTF and SDSS photometric data are consistent with an $0.8$ M$_{\odot}$ white dwarf at 10000 K and a main-sequence donor star with a spectral type of M5.0 at a \gai-determined distance of 758 pc. V496 UMa is a very bright polar in X-rays when it is in the high state. Due to its unusual geometric structure, mass accretion onto the second accretion pole is interrupted occasionally. This discontinuous behavior does not follow a certain pattern in time and is observed so far only in the high state. The X-ray light curves display clear evidence for an accretion stream at the photometric phase of $\phi=$0.81, which does not show up in optical light curves. An accurate period was derived using the combined TESS and XMM-Newton data, which differs by 3.8 $\sigma$ from published results.


title: Memorization and Optimization in Deep Neural Networks with Minimum Over-parameterization

abstract: The Neural Tangent Kernel (NTK) has emerged as a powerful tool to provide memorization, optimization and generalization guarantees in deep neural networks. A line of work has studied the NTK spectrum for two-layer and deep networks with at least a layer with $\Omega(N)$ neurons, $N$ being the number of training samples. Furthermore, there is increasing evidence suggesting that deep networks with sub-linear layer widths are powerful memorizers and optimizers, as long as the number of parameters exceeds the number of samples. Thus, a natural open question is whether the NTK is well conditioned in such a challenging sub-linear setup. In this paper, we answer this question in the affirmative. Our key technical contribution is a lower bound on the smallest NTK eigenvalue for deep networks with the minimum possible over-parameterization: the number of parameters is roughly $\Omega(N)$ and, hence, the number of neurons is as little as $\Omega(\sqrt{N})$. To showcase the applicability of our NTK bounds, we provide two results concerning memorization capacity and optimization guarantees for gradient descent training.


title: Learning Task-relevant Representations for Generalization via Characteristic Functions of Reward Sequence Distributions

abstract: Generalization across different environments with the same tasks is critical for successful applications of visual reinforcement learning (RL) in real scenarios. However, visual distractions -- which are common in real scenes -- from high-dimensional observations can be hurtful to the learned representations in visual RL, thus degrading the performance of generalization. To tackle this problem, we propose a novel approach, namely Characteristic Reward Sequence Prediction (CRESP), to extract the task-relevant information by learning reward sequence distributions (RSDs), as the reward signals are task-relevant in RL and invariant to visual distractions. Specifically, to effectively capture the task-relevant information via RSDs, CRESP introduces an auxiliary task -- that is, predicting the characteristic functions of RSDs -- to learn task-relevant representations, because we can well approximate the high-dimensional distributions by leveraging the corresponding characteristic functions. Experiments demonstrate that CRESP significantly improves the performance of generalization on unseen environments, outperforming several state-of-the-arts on DeepMind Control tasks with different visual distractions.


title: A giant planet shaping the disk around the very low-mass star CIDA 1

abstract: (Abridged) Exoplanetary research has provided us with exciting discoveries of planets around very low-mass (VLM) stars (e.g., TRAPPIST-1 and Proxima Centauri). However, current theoretical models strive to explain planet formation in these conditions and do not predict the development of giant planets. Recent high-resolution observations from ALMA of the disk around CIDA 1, a VLM star in Taurus, show substructures hinting at the presence of a massive planet. We aim to reproduce the dust ring of CIDA 1, observed in the dust continuum emission in ALMA Band 7 (0.9 mm) and Band 4 (2.1 mm), along with its $^{12}$CO (J=3-2) and $^{13}$CO (J=3-2) channel maps, assuming the structures are shaped by the interaction of the disk with a massive planet. We seek to retrieve the mass and position of the putative planet. We model the protoplanetary disk with a set of hydrodynamical simulations, varying the mass and locations of the embedded planet. We compute the dust and gas emission using radiative transfer simulations, and, finally, we obtain the synthetic observations treating the images as the actual ALMA observations. Our models indicate that a planet with a minimum mass of $\sim1.4\,\text{M}_\text{Jup}$ orbiting at a distance of $\sim 9-10$ au can explain the morphology and location of the observed dust ring at Band 7 and Band 4. We can reproduce the low spectral index ($\sim 2$) observed where the dust ring is detected. Our synthetic images reproduce the morphology of the $^{12}$CO and $^{13}$CO observed channel maps where the cloud absorption allowed a detection. Applying an empirical relation between planet mass and gap width in the dust, we predict a maximum planet mass of $\sim4 - 8\,\text{M}_\text{Jup}$. Our results suggest the presence of a massive planet orbiting CIDA 1, thus challenging our understanding of planet formation around VLM stars.


title: Intermediate Points for Missions to Interstellar Objects Using Optimum Interplanetary Trajectory Software

abstract: This paper explicates the concept of an Intermediate Point (IP), its incorporation as a node along an interplanetary trajectory, and how it permits the determination and optimization of trajectories to interstellar objects (ISOs). IPs can be used to model Solar Oberth Manoeuvres (SOM) as well as Vinfnity Leveraging Manoeuvres (VLM). The SOM has been established theoretically as an important mechanism by which rapid exit from the solar system and intercept of ISOs can both be achieved; the VLM has been demonstrated practically as a method of reducing overall mission Delta-V as well as the Characteristic Energy, C3, at launch. Thus via these two applications, the feasibility of missions to interstellar objects (ISOs) such as 1I/Oumuamua can be analysed. The interplanetary trajectory optimizer tool exploited for this analysis, OITS, permits IP selection as an encounter option along the interplanetary trajectory in question. OITS adopts the assumption of impulsive thrust at discrete points along the trajectory, an assumption which is generally valid for high thrust propulsion scenarios, like chemical or nuclear thermal for instance.


title: Applications of single-photon technology

abstract: This doctoral dissertation deals with the subject of single-photon technology applications. Particular emphasis was placed on the use of single-photon sources in quantum communication, metrology, and further development of quantum computers. At the beginning of this thesis, the development history of cryptography is described, starting from steganography and ending with quantum key distribution protocols. Later, the key elements of the quantum network, such as end nodes and transmission channels, are presented. Various types of sources and single-photon detectors are discussed. Methods for amplifying the signal and correcting errors that occur during transmission are also mentioned. In the further part of this thesis, two examples of single-photon sources are described, along with their experimental implementation. These sources are based on the nonlinear spontaneous parametric down-conversion (SPDC) process, which has also been described in detail. Parameters that specify the quality of a single-photon source (such as conversion efficiency, phase-matching conditions, singleness and photonic density matrix) are also characterized, both mathematically and experimentally. Furthermore, this doctoral dissertation consists of definitions and elaborated descriptions of quantum optical phenomena, which should be useful for those who are not yet familiar with the subject of single-photon sources and their applications or just start their work in this field.


title: An affective and adaptive educational robot

abstract: In this paper we present an educational robot called Wolly, designed to engage children in an affective and social interaction. Indeed, we are now focusing on its role as an educational and affective robot capable of being controlled by coding instructions and at the same time interacting verbally and affectively with children by recognizing their emotions and remembering their interests, and adapting its behavior accordingly.


title: Mosaic Zonotope Shadow Matching for Risk-Aware Autonomous Localization in Harsh Urban Environments

abstract: Risk-aware urban localization with the Global Navigation Satellite System (GNSS) remains an unsolved problem with frequent misdetection of the user's street or side of the street. Significant advances in 3D map-aided GNSS use grid-based GNSS shadow matching alongside AI-driven line-of-sight (LOS) classifiers and server-based processing to improve localization accuracy, especially in the cross-street direction. Our prior work introduces a new paradigm for shadow matching that proposes set-valued localization with computationally efficient zonotope set representations. While existing literature improved accuracy and efficiency, the current state of shadow matching theory does not address the needs of risk-aware autonomous systems. We extend our prior work to propose Mosaic Zonotope Shadow Matching (MZSM) that employs a classifier-agnostic polytope mosaic architecture to provide risk-awareness and certifiable guarantees on urban positioning. We formulate a recursively expanding binary tree that refines an initial location estimate with set operations into smaller polytopes. Together, the smaller polytopes form a mosaic. We weight the tree branches with the probability that the user is in line of sight of the satellite and expand the tree with each new satellite observation. Our method yields an exact shadow matching distribution from which we guarantee uncertainty bounds on the user localization. We perform high-fidelity simulations using a 3D building map of San Francisco to validate our algorithm's risk-aware improvements. We demonstrate that MZSM provides certifiable guarantees across varied data-driven LOS classifier accuracies and yields a more precise understanding of the uncertainty over existing methods. We validate that our tree-based construction is efficient and tractable, computing a mosaic from 14 satellites in 0.63 seconds and growing quadratically in the satellite number.


title: Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach

abstract: Wireless sensor and actuator networks (WSAN) are real-time systems which demand high degrees of reliability requirements. To ensure this level of reliability, different analysis approaches have been proposed for WSAN applications. Among different alternatives, analytical analysis and model checking are two common approaches which are widely used for the formal analysis of WSAN applications. Analytical approaches apply constraint satisfaction methods, whereas model checking generates explicit states of models and analyze them. In this paper, we compare the two approaches in schedulability analysis of WSAN applications using an application for monitoring and control of civil infrastructures, which is implemented on the Imote2 wireless sensor platform. We show how the highest possible data acquisition frequency for this application is computed while meeting the deadlines, and compare the results of the two approaches as well as their scalability, extensibility, and flexibility.


title: Coexisting N\'eel and charge density wave orders in attractive three-color fermions

abstract: In optical lattices attractive ultracold fermions with three hyperfine-spin components (colors) can form three fermionic configurations depending on interactions: unbound fermion, on-site trion and off-site trion, leading to the coexistence of multiple Fermi species in the ordered phase, which manifests that the attractive three-color fermions are unique from other correlated fermion systems and may host intriguing phases and phase transitions. At temperature below the superexchange energy scale, we employ the determinant quantum Monte Carlo (QMC) method to investigate the phases and phase transitions in the half-filled attractive three-color Hubbard model on a honeycomb lattice where Hubbard interactions are color-dependent (anisotropic interactions) and the coupling between color 3 and colors (1, 2) serves as a control parameter. In the coupling regime where on-site and off-site trions coexist, our QMC simulations demonstrate coexisting N\'eel and charge density wave orders which are common in condensed matter but rare in ultracold atoms. At weak coupling where the color superfluid (CSF) order is scattered by color-3 fermions, we find that very small coupling of color 3 with colors (1, 2) can destroy the CSF order and the vanishing of the CSF order is not immediately accompanied by the emergence of the on-site trionic phase, which strikingly disagrees with the prevalent results of dynamical mean-field theory. The underlying mechanisms of the coexisting charge/spin orders and the CSF order breaking are also presented based on intuitive physical pictures.