title: Exploiting Low-confidence Pseudo-labels for Source-free Object Detection

abstract: Source-free object detection (SFOD) aims to adapt a source-trained detector to an unlabeled target domain without access to the labeled source data. Current SFOD methods utilize a threshold-based pseudo-label approach in the adaptation phase, which is typically limited to high-confidence pseudo-labels and results in a loss of information. To address this issue, we propose a new approach to take full advantage of pseudo-labels by introducing high and low confidence thresholds. Specifically, the pseudo-labels with confidence scores above the high threshold are used conventionally, while those between the low and high thresholds are exploited using the Low-confidence Pseudo-labels Utilization (LPU) module. The LPU module consists of Proposal Soft Training (PST) and Local Spatial Contrastive Learning (LSCL). PST generates soft labels of proposals for soft training, which can mitigate the label mismatch problem. LSCL exploits the local spatial relationship of proposals to improve the model's ability to differentiate between spatially adjacent proposals, thereby optimizing representational features further. Combining the two components overcomes the challenges faced by traditional methods in utilizing low-confidence pseudo-labels. Extensive experiments on five cross-domain object detection benchmarks demonstrate that our proposed method outperforms the previous SFOD methods, achieving state-of-the-art performance.


title: Trenchcoat: Human-Computable Hashing Algorithms for Password Generation

abstract: The average user has between 90-130 online accounts, and around $3 \times 10^{11}$ passwords are in use this year. Most people are terrible at remembering "random" passwords, so they reuse or create similar passwords using a combination of predictable words, numbers, and symbols. Previous password-generation or management protocols have imposed so large a cognitive load that users have abandoned them in favor of insecure yet simpler methods (e.g., writing them down or reusing minor variants). We describe a range of candidate human-computable "hash" functions suitable for use as password generators - as long as the human (with minimal education assumptions) keeps a single, easily-memorizable "master" secret - and rate them by various metrics, including effective security. These functions hash master-secrets with user accounts to produce sub-secrets that can be used as passwords; $F_R($s$, w) \longrightarrow y$, takes a website $w$, produces a password $y$, parameterized by master secret $s$, which may or may not be a string. We exploit the unique configuration $R$ of each user's associative and implicit memory (detailed in section 2) to ensure that sources of randomness unique to each user are present in each master-secret $F_R$. An adversary cannot compute or verify $F_R$ efficiently since $R$ is unique to each individual; in that sense, our hash function is similar to a physically unclonable function. For the algorithms we propose, the user need only complete primitive operations such as addition, spatial navigation or searching. Critically, most of our methods are also accessible to neurodiverse, or cognitively or physically differently-abled persons. We present results from a survey (n=134 individuals) investigating real-world usage of these methods and how people currently come up with their passwords, we also survey 400 websites to collate current password advice.


title: Recoverable Privacy-Preserving Image Classification through Noise-like Adversarial Examples

abstract: With the increasing prevalence of cloud computing platforms, ensuring data privacy during the cloud-based image related services such as classification has become crucial. In this study, we propose a novel privacypreserving image classification scheme that enables the direct application of classifiers trained in the plaintext domain to classify encrypted images, without the need of retraining a dedicated classifier. Moreover, encrypted images can be decrypted back into their original form with high fidelity (recoverable) using a secret key. Specifically, our proposed scheme involves utilizing a feature extractor and an encoder to mask the plaintext image through a newly designed Noise-like Adversarial Example (NAE). Such an NAE not only introduces a noise-like visual appearance to the encrypted image but also compels the target classifier to predict the ciphertext as the same label as the original plaintext image. At the decoding phase, we adopt a Symmetric Residual Learning (SRL) framework for restoring the plaintext image with minimal degradation. Extensive experiments demonstrate that 1) the classification accuracy of the classifier trained in the plaintext domain remains the same in both the ciphertext and plaintext domains; 2) the encrypted images can be recovered into their original form with an average PSNR of up to 51+ dB for the SVHN dataset and 48+ dB for the VGGFace2 dataset; 3) our system exhibits satisfactory generalization capability on the encryption, decryption and classification tasks across datasets that are different from the training one; and 4) a high-level of security is achieved against three potential threat models. The code is available at https://github.com/csjunjun/RIC.git.


title: Generating Robust Adversarial Examples against Online Social Networks (OSNs)

abstract: Online Social Networks (OSNs) have blossomed into prevailing transmission channels for images in the modern era. Adversarial examples (AEs) deliberately designed to mislead deep neural networks (DNNs) are found to be fragile against the inevitable lossy operations conducted by OSNs. As a result, the AEs would lose their attack capabilities after being transmitted over OSNs. In this work, we aim to design a new framework for generating robust AEs that can survive the OSN transmission; namely, the AEs before and after the OSN transmission both possess strong attack capabilities. To this end, we first propose a differentiable network termed SImulated OSN (SIO) to simulate the various operations conducted by an OSN. Specifically, the SIO network consists of two modules: 1) a differentiable JPEG layer for approximating the ubiquitous JPEG compression and 2) an encoder-decoder subnetwork for mimicking the remaining operations. Based upon the SIO network, we then formulate an optimization framework to generate robust AEs by enforcing model outputs with and without passing through the SIO to be both misled. Extensive experiments conducted over Facebook, WeChat and QQ demonstrate that our attack methods produce more robust AEs than existing approaches, especially under small distortion constraints; the performance gain in terms of Attack Success Rate (ASR) could be more than 60%. Furthermore, we build a public dataset containing more than 10,000 pairs of AEs processed by Facebook, WeChat or QQ, facilitating future research in the robust AEs generation. The dataset and code are available at https://github.com/csjunjun/RobustOSNAttack.git.


title: Capacity Limitation and Optimization Strategy for Flexible Point-to-Multi-Point Optical Networks

abstract: Point-to-multi-point (PtMP) optical networks become the main solutions for network-edge applications such as passive optical networks and radio access networks. Entropy-loading digital subcarrier multiplexing (DSCM) is the core technology to achieve low latency and approach high capacity for flexible PtMP optical networks. However, the high peak-to-average power ratio of the entropy-loading DSCM signal limits the power budget and restricts the capacity, which can be reduced effectively by clipping operation. In this paper, we derive the theoretical capacity limitation of the flexible PtMP optical networks based on the entropy-loading DSCM signal. Meanwhile, an optimal clipping ratio for the clipping operation is acquired to approach the highest capacity limitation. Based on an accurate clipping-noise model under the optimal clipping ratio, we establish a three-dimensional look-up table for bit-error ratio, spectral efficiency, and link loss. Based on the three-dimensional look-up table, an optimization strategy is proposed to acquire optimal spectral efficiencies for achieving a higher capacity of the flexible PtMP optical networks.


title: On the fundamental groups of the surface parametrizing cuboids

abstract: Motivated by Chabauty-Kim theory, we prove that the surface parametrizing cuboids and its resolution of singularities have a trivial fundamental group. We also compute the fundamental group of the surface minus the divisor of degenerate cuboids, which turns out to be non-abelian. In addition, we conclude by studying the analogous fundamental groups of the surface of face cuboids.


title: Modelling multivariate extremes through angular-radial decomposition of the density function

abstract: We present a new framework for modelling multivariate extremes, based on an angular-radial representation of the probability density function. Under this representation, the problem of modelling multivariate extremes is transformed to that of modelling an angular density and the tail of the radial variable, conditional on angle. Motivated by univariate theory, we assume that the tail of the conditional radial distribution converges to a generalised Pareto (GP) distribution. To simplify inference, we also assume that the angular density is continuous and finite and the GP parameter functions are continuous with angle. We refer to the resulting model as the semi-parametric angular-radial (SPAR) model for multivariate extremes. We consider the effect of the choice of polar coordinate system and introduce generalised concepts of angular-radial coordinate systems and generalised scalar angles in two dimensions. We show that under certain conditions, the choice of polar coordinate system does not affect the validity of the SPAR assumptions. However, some choices of coordinate system lead to simpler representations. In contrast, we show that the choice of margin does affect whether the model assumptions are satisfied. In particular, the use of Laplace margins results in a form of the density function for which the SPAR assumptions are satisfied for many common families of copula, with various dependence classes. We show that the SPAR model provides a more versatile framework for characterising multivariate extremes than provided by existing approaches, and that several commonly-used approaches are special cases of the SPAR model.


title: Curvature Aligned Simplex Gradient: Principled Sample Set Construction For Numerical Differentiation

abstract: The simplex gradient, a popular numerical differentiation method due to its flexibility, lacks a principled method by which to construct the sample set, specifically the location of function evaluations. Such evaluations, especially from real-world systems, are often noisy and expensive to obtain, making it essential that each evaluation is carefully chosen to reduce cost and increase accuracy. This paper introduces the curvature aligned simplex gradient (CASG), which provably selects the optimal sample set under a mean squared error objective. As CASG requires function-dependent information often not available in practice, we additionally introduce a framework which exploits a history of function evaluations often present in practical applications. Our numerical results, focusing on applications in sensitivity analysis and derivative free optimization, show that our methodology significantly outperforms or matches the performance of the benchmark gradient estimator given by forward differences (FD) which is given exact function-dependent information that is not available in practice. Furthermore, our methodology is comparable to the performance of central differences (CD) that requires twice the number of function evaluations.


title: Learn from the Past: A Proxy Guided Adversarial Defense Framework with Self Distillation Regularization

abstract: Adversarial Training (AT), pivotal in fortifying the robustness of deep learning models, is extensively adopted in practical applications. However, prevailing AT methods, relying on direct iterative updates for target model's defense, frequently encounter obstacles such as unstable training and catastrophic overfitting. In this context, our work illuminates the potential of leveraging the target model's historical states as a proxy to provide effective initialization and defense prior, which results in a general proxy guided defense framework, `LAST' ({\bf L}earn from the P{\bf ast}). Specifically, LAST derives response of the proxy model as dynamically learned fast weights, which continuously corrects the update direction of the target model. Besides, we introduce a self-distillation regularized defense objective, ingeniously designed to steer the proxy model's update trajectory without resorting to external teacher models, thereby ameliorating the impact of catastrophic overfitting on performance. Extensive experiments and ablation studies showcase the framework's efficacy in markedly improving model robustness (e.g., up to 9.2\% and 20.3\% enhancement in robust accuracy on CIFAR10 and CIFAR100 datasets, respectively) and training stability. These improvements are consistently observed across various model architectures, larger datasets, perturbation sizes, and attack modalities, affirming LAST's ability to consistently refine both single-step and multi-step AT strategies. The code will be available at~\url{https://github.com/callous-youth/LAST}.


title: Wasserstein distance in speed limit inequalities for Markov jump processes

abstract: The role of the Wasserstein distance in the thermodynamic speed limit inequalities for Markov jump processes is investigated. We elucidate the nature of the Wasserstein distance in the thermodynamic speed limit inequality from three different perspectives with resolving three remaining problems. In the first part, we derive a unified speed limit inequality for a general weighted graph, which reproduces both the conventional speed limit inequality and the trade-off relation between current and entropy production as its special case. In the second part, we treat the setting where the tightest bound with the Wasserstein distance has not yet been obtained and investigate why such a bound is out of reach. In the third part, we compare the speed limit inequalities for Markov jump processes with L$^1$-Wasserstein distance and for overdamped Langevin systems with L$^2$-Wasserstein distance, and argue that these two have different origins despite their apparent similarity.


title: How Biomimetic Morphing Dorsal Fin Affects the Swimming Performance of a Free-swimming Tuna Robot

abstract: It is well known that tuna fish in the ocean can dynamically morph their median fins to achieve optimal hydrodynamic performance, e.g. linear acceleration and maneuverability. In this study, based on the previous studies about the median fin's hydrodynamic effects focusing on tethered conditions, we continue to explore the hydrodynamic function of tuna morphing dorsal fin in free swimming conditions for better approaching real-life situations.Here, we developed a tuna-inspired robotic fish platform that can swim independently in three dimensions, equipped with a biomimetic morphing dorsal fin magnetically attached to the robotic fish. Based on the free-swimming robotic fish platform, we investigated how the erected dorsal fin affects the speed, cost of transport (COT), and robotic fish's yaw angle at different frequencies and amplitudes. The erected dorsal fin plays a positive role in improving the yaw stability of robotic fish. However, it shows little influence on the speed and COT in our test. This remains to be further investigated in the future.


title: A contextuality witness inspired by optimal state discrimination

abstract: Many protocols and tasks in quantum information science rely inherently on the fundamental notion of contextuality to provide advantages over their classical counterparts, and contextuality represents one of the main differences between quantum and classical physics. In this work we present a witness for preparation contextuality inspired by optimal two-state discrimination. The main idea is based on finding the accessible averaged success and error probabilities in both classical and quantum models. We can then construct a noncontextuality inequality and associated witness which we find to be robust against depolarising noise and loss in the form of inconclusive events.


title: Influence of the ion core on relaxation processes in dense plasmas

abstract: The effect of an ionic core on the temperature relaxation in dense hot plasma of beryllium is studied using the pseudpotential model by Gericke et al [Phys. Rev. E 2010, 81, 065401(R)]. Employing the screened version of the ion pseudpotential [by Ramazanov et al, Phys. Plasmas 2021, 28 (9), 092702], we computed the quantum transport cross-section for the electron-ion collisions in dense beryllium plamsas, where screening is taking into account using the density response function in the long wavelength regime. The results for the transport cross-section are used to compute a generalised Coulomb logarithm and electron-ion collision frequency. Utilizing the latter, we show the effect of the ionic core on the temperature relaxation. To understand the role of the ionic core, we compare the results with the data computed considering ions as point-like charges.


title: Nonequilibrium Probability Currents in Optically-Driven Colloidal Suspensions

abstract: In the absence of directional motion it is often hard to recognize athermal fluctuations. Probability currents provide such a measure in terms of the rate at which they enclose area in phase space. We measure this area enclosing rate for trapped colloidal particles, where only one particle is driven. By combining experiment, theory, and simulation, we single out the effect of the different time scales in the system on the measured probability currents. In this controlled experimental setup, particles interact hydrodynamically. These interactions lead to a strong spatial dependence of the probability currents and to a local influence of athermal agitation. In a multiple-particle system, we show that even when the driving acts only on one particle, probability currents occur between other, non-driven particles. This may have significant implications for the interpretation of fluctuations in biological systems containing elastic networks in addition to a suspending fluid.


title: Effect of connectivity on the carrier transport and recombination dynamics of perovskite quantum dot networks

abstract: Quantum dot (QD) solids are being widely exploited as a solution-processable technology to develop photovoltaic, light-emission, and photo-detection devices. Charge transport in these materials is the result of a compromise between confinement at the individual QD level and electronic coupling among the different nanocrystals in the ensemble. While this is commonly achieved by ligand engineering in colloidal-based systems, ligand-free QD assemblies have recently emerged as an exciting alternative where nanostructures can be directly grown into porous matrices with optical quality as well as control over their connectivity and hence charge transport properties. In this context, we present a complete photophysical study comprising fluence and temperature-dependent time-resolved spectroscopy to study carrier dynamics in ligand-free QD networks with gradually varying degrees of interconnectivity, which we achieve by changing the average distance between the QDs. Analysis of the photoluminescence and absorption properties of the QD assemblies, involving both static and time-resolved measurements, allows us to identify the weight of the different recombination mechanisms, both radiative and non-radiative, as a function of QD connectivity. We propose a picture where carrier diffusion, which is needed for any optoelectronic application and implies inter-particle transport, gives rise to the exposure of carriers to a larger defect landscape than in the case of isolated QDs. The use of a broad range of fluences permits extracting valuable information for applications demanding either low or high carrier injection levels and highlighting the relevance of a judicious design to balance recombination and diffusion.


title: A modified lognormal approximation of the Lyman-$\alpha$ forest: comparison with full hydrodynamic simulations at $2\leq z\leq 2.7$

abstract: Observations of the Lyman-$\alpha$ forest in distant quasar spectra with upcoming surveys are expected to provide significantly larger and higher-quality datasets. To interpret these datasets, it is imperative to develop efficient simulations. One such approach is based on the assumption that baryonic densities in the intergalactic medium (IGM) follow a lognormal distribution. We extend our earlier work to assess the robustness of the lognormal model of the Lyman-$\alpha$ forest in recovering the parameters characterizing IGM state, namely, the mean-density IGM temperature ($T_0$), the slope of the temperature-density relation ($\gamma$), and the hydrogen photoionization rate ($\Gamma_{12}$), by comparing with high-resolution Sherwood SPH simulations across the redshift range $2 \leq z \leq 2.7$. These parameters are estimated through a Markov Chain Monte Carlo technique, using the mean and power spectrum of the transmitted flux. We find that the usual lognormal distribution of IGM densities cannot recover the parameters of the SPH simulations. This limitation arises from the fact that the SPH baryonic density distribution cannot be described by a simple lognormal form. To address this, we extend the model by scaling the linear density contrast by a parameter $\nu$. While the resulting baryonic density is still lognormal, the additional parameter gives us extra freedom in setting the variance of density fluctuations. With this extension, values of $T_0$ and $\gamma$ implied in the SPH simulations are recovered at $\sim 1-\sigma$ ($\lesssim$ 10%) of the median (best-fit) values for most redshifts bins. However, this extended lognormal model cannot recover $\Gamma_{12}$ reliably, with the best-fit value discrepant by $\gtrsim 3-\sigma$ for $z > 2.2$. Despite this limitation in the recovery of $\Gamma_{12}$, we argue that the model remains useful for constraining cosmological parameters.


title: Invariant theory of $\imath$quantum groups of type AIII

abstract: We develop an invariant theory of quasi-split $\imath$quantum groups $\mathbf{U}_n^\imath$ of type AIII on a tensor space associated to $\imath$Howe dualities. The first and second fundamental theorems for $\mathbf{U}_n^\imath$-invariants are derived.


title: Poincar\'e inequality and topological rigidity of translators and self-expanders for the mean curvature flow

abstract: We prove an abstract structure theorem for weighted manifolds supporting a weighted $f$-Poincar\'e inequality and whose ends satisfy a suitable non-integrability condition. We then study how our arguments can be used to obtain full topological control on two important classes of hypersurfaces of the Euclidean space, namely translators and self-expanders for the mean curvature flow, under either stability or curvature asumptions. As an important intermediate step in order to get our results we get the validity of a Poincar\'e inequality with respect to the natural weighted measure on any translator and we prove that any end of a translator must have infinite weighted volume. Similar tools can be obtained for properly immersed self-expanders permitting to get topological rigidity under curvature assumptions.


title: Tight Short-Lived Signatures

abstract: A Time-lock puzzle (TLP) sends information into the future: a predetermined number of sequential computations must occur (i.e., a predetermined amount of time must pass) to retrieve the information, regardless of parallelization. Buoyed by the excitement around secure decentralized applications and cryptocurrencies, the last decade has witnessed numerous constructions of TLP variants and related applications (e.g., cost-efficient blockchain designs, randomness beacons, e-voting, etc.). In this poster, we first extend the notion of TLP by formally defining the "time-lock public key encryption" (TLPKE) scheme. Next, we introduce and construct a "tight short-lived signatures" scheme using our TLPKE. Furthermore, to test the validity of our proposed schemes, we do a proof-of-concept implementation and run detailed simulations.


title: Query-aware Long Video Localization and Relation Discrimination for Deep Video Understanding

abstract: The surge in video and social media content underscores the need for a deeper understanding of multimedia data. Most of the existing mature video understanding techniques perform well with short formats and content that requires only shallow understanding, but do not perform well with long format videos that require deep understanding and reasoning. Deep Video Understanding (DVU) Challenge aims to push the boundaries of multimodal extraction, fusion, and analytics to address the problem of holistically analyzing long videos and extract useful knowledge to solve different types of queries. This paper introduces a query-aware method for long video localization and relation discrimination, leveraging an imagelanguage pretrained model. This model adeptly selects frames pertinent to queries, obviating the need for a complete movie-level knowledge graph. Our approach achieved first and fourth positions for two groups of movie-level queries. Sufficient experiments and final rankings demonstrate its effectiveness and robustness.


title: Spectrally resolved Franson interference

abstract: Franson interference can be used to test the nonlocal features of energy-time entanglement and has become a standard in quantum physics. However, most of the previous Franson interference experiments were demonstrated in the time domain, and the spectral properties of Franson interference have not been fully explored. Here, we theoretically and experimentally demonstrate spectrally resolved Franson interference using biphotons with different correlations, including positive correlation, negative correlation, and non-correlation. It is found that the joint spectral intensities of the biphotons can be modulated along both the signal and idler directions, which has potential applications in generating high-dimensional frequency entanglement and time-frequency grid states. This work may provide a new perspective for understanding the spectral-temporal properties of the Franson interferometer.


title: Error-mitigated fermionic classical shadows on noisy quantum devices

abstract: Efficiently estimating fermionic Hamiltonian expectation values is vital for simulating various physical systems. Classical shadow (CS) algorithms offer a solution by reducing the number of quantum state copies needed, but noise in quantum devices poses challenges. We propose an error-mitigated CS algorithm assuming gate-independent, time-stationary, and Markovian (GTM) noise. For $n$-qubit systems, our algorithm, which employs the easily prepared initial state $|0^n\rangle\!\langle 0^n|$ assumed to be noiseless, efficiently estimates $k$-RDMs with $\widetilde{\mathcal O}(kn^k)$ state copies and $\widetilde{\mathcal O}(\sqrt{n})$ calibration measurements for GTM noise with constant fidelities. We show that our algorithm is robust against noise types like depolarizing, damping, and $X$-rotation noise with constant strengths, showing scalings akin to prior CS algorithms for fermions but with better noise resilience. Numerical simulations confirm our algorithm's efficacy in noisy settings, suggesting its viability for near-term quantum devices.


title: Representing and Computing Uncertainty in Phonological Reconstruction

abstract: Despite the inherently fuzzy nature of reconstructions in historical linguistics, most scholars do not represent their uncertainty when proposing proto-forms. With the increasing success of recently proposed approaches to automating certain aspects of the traditional comparative method, the formal representation of proto-forms has also improved. This formalization makes it possible to address both the representation and the computation of uncertainty. Building on recent advances in supervised phonological reconstruction, during which an algorithm learns how to reconstruct words in a given proto-language relying on previously annotated data, and inspired by improved methods for automated word prediction from cognate sets, we present a new framework that allows for the representation of uncertainty in linguistic reconstruction and also includes a workflow for the computation of fuzzy reconstructions from linguistic data.


title: Towards a classification of simple partial comodules of Hopf algebras

abstract: Making the first steps towards a classification of simple partial comodules, we give a general construction for partial comodules of a Hopf algebra \(H\) using central idempotents in right coideal subalgebras and show that any \(1\)-dimensional partial comodule is of that form. We conjecture that in fact all finite-dimensional simple partial \(H\)-comodules arise this way. For \(H = kG\) for some finite group \(G\), we give conditions for the constructed partial comodule to be simple, and we determine when two of them are isomorphic. If \(H = kG^*,\) then our construction recovers the work of M. Dokuchaev and N. Zhukavets. We also study the partial modules and comodules of the non-commutative non-cocommutative Kac-Paljutkin algebra \(\mathcal{A}\).


title: Advancements in Radar Odometry

abstract: Radar odometry estimation has emerged as a critical technique in the field of autonomous navigation, providing robust and reliable motion estimation under various environmental conditions. Despite its potential, the complex nature of radar signals and the inherent challenges associated with processing these signals have limited the widespread adoption of this technology. This paper aims to address these challenges by proposing novel improvements to an existing method for radar odometry estimation, designed to enhance accuracy and reliability in diverse scenarios. Our pipeline consists of filtering, motion compensation, oriented surface points computation, smoothing, one-to-many radar scan registration, and pose refinement. The developed method enforces local understanding of the scene, by adding additional information through smoothing techniques, and alignment of consecutive scans, as a refinement posterior to the one-to-many registration. We present an in-depth investigation of the contribution of each improvement to the localization accuracy, and we benchmark our system on the sequences of the main datasets for radar understanding, i.e., the Oxford Radar RobotCar, MulRan, and Boreas datasets. The proposed pipeline is able to achieve superior results, on all scenarios considered and under harsh environmental constraints.


title: Reconstruction of multiplex networks via graph embeddings

abstract: Multiplex networks are collections of networks with identical nodes but distinct layers of edges. They are genuine representations for a large variety of real systems whose elements interact in multiple fashions or flavors. However, multiplex networks are not always simple to observe in the real world; often, only partial information on the layer structure of the networks is available, whereas the remaining information is in the form of aggregated, single-layer networks. Recent works have proposed solutions to the problem of reconstructing the hidden multiplexity of single-layer networks using tools proper of network science. Here, we develop a machine learning framework that takes advantage of graph embeddings, i.e., representations of networks in geometric space. We validate the framework in systematic experiments aimed at the reconstruction of synthetic and real-world multiplex networks, providing evidence that our proposed framework not only accomplishes its intended task, but often outperforms existing reconstruction techniques.


title: Optimizing the Traversal Time for Gantry Trajectories for Proton Arc Therapy Treatment Plans

abstract: Background: Proton arc therapy is an emerging radiation therapy technique where either the gantry or the patient continuously rotates during the irradiation treatment. One of the perceived advantages of proton arc therapy is the reduced treatment time, but it is still unclear exactly how long these treatment times will be, given that no machine capable of its delivery is available at the market at the time of writing. Purpose: We introduce the algorithm Arc Trajectory Optimization Method (ATOM), which aims to determine an efficient velocity profile for the gantry for rapid delivery of a given proton arc treatment plan. Methods: ATOM computes the trajectory with the shortest delivery time while ensuring there is enough time to deliver all spots in each energy layer and switch energy between layers. The feasibility of the dynamic gantry movement was assured by enforcing maximum and minimum limits for velocity, acceleration, and jerk. This was achieved by discretizing the gantry velocity and combining the A* algorithm with the open-source motion generation library Ruckig. The algorithm was tested on a synthetic data set as well as a liver case, a prostate case and a head and neck case. Results: Arc trajectories for plans with 360 energy layers were calculated in under a second using 256 discrete velocities. Conclusions: ATOM is an open-source C++ library with a Python interface that rapidly generates velocity profiles, making it a highly efficient tool for determining proton arc delivery times, which could be integrated into the treatment planning process.


title: Overcoming the compression limit of the individualsequence (zero order empirical entropy) using the Set Shaping Theory

abstract: Given the importance of the claim, we want to start by exposing the following consideration: this claim comes out more than a year after the article "Practical applications of Set Shaping Theory in Huffman coding" which reports the program that carried out an experiment of data compression in which the coding limit NH0(S) of a single sequence was questioned. We waited so long because, before making a claim of this type, we wanted to be sure of the consistency of the result. All this time the program has always been public; anyone could download it, modify it and independently obtain the reported results. In this period there have been many information theory experts who have tested the program and agreed to help us, we thank these people for the time dedicated to us and their precious advice. Given a sequence S of random variables i.i.d. with symbols belonging to an alphabet A; the parameter NH0(S) (the zero-order empirical entropy multiplied by the length of the sequence) is considered the average coding limit of the symbols of the sequence S through a uniquely decipherable and instantaneous code. Our experiment that calls into question this limit is the following: a sequence S is generated in a random and uniform way, the value NH0(S) is calculated, the sequence S is transformed into a new sequence f(S), longer but with the symbols belonging to the same alphabet, finally we code f(S) using Huffman coding. By generating a statistically significant number of sequences we obtain that the average value of the length of the encoded sequence f(S) is less than the average value of NH0(S). In this way, a result is obtained which is incompatible with the meaning given to NH0(S).


title: Multiscale Motion-Aware and Spatial-Temporal-Channel Contextual Coding Network for Learned Video Compression

abstract: Recently, learned video compression has achieved exciting performance. Following the traditional hybrid prediction coding framework, most learned methods generally adopt the motion estimation motion compensation (MEMC) method to remove inter-frame redundancy. However, inaccurate motion vector (MV) usually lead to the distortion of reconstructed frame. In addition, most approaches ignore the spatial and channel redundancy. To solve above problems, we propose a motion-aware and spatial-temporal-channel contextual coding based video compression network (MASTC-VC), which learns the latent representation and uses variational autoencoders (VAEs) to capture the characteristics of intra-frame pixels and inter-frame motion. Specifically, we design a multiscale motion-aware module (MS-MAM) to estimate spatial-temporal-channel consistent motion vector by utilizing the multiscale motion prediction information in a coarse-to-fine way. On the top of it, we further propose a spatial-temporal-channel contextual module (STCCM), which explores the correlation of latent representation to reduce the bit consumption from spatial, temporal and channel aspects respectively. Comprehensive experiments show that our proposed MASTC-VC is surprior to previous state-of-the-art (SOTA) methods on three public benchmark datasets. More specifically, our method brings average 10.15\% BD-rate savings against H.265/HEVC (HM-16.20) in PSNR metric and average 23.93\% BD-rate savings against H.266/VVC (VTM-13.2) in MS-SSIM metric.


title: An analytic approach to estimating the solutions of B\'ezout's polynomial identity

abstract: This paper contains sharp bounds on the coefficients of the polynomials $R$ and $S$ which solve the classical one variable B\'{e}zout identity $A R + B S = 1$, where $A$ and $B$ are polynomials with no common zeros. The bounds are expressed in terms of the separation of the zeros of $A$ and $B$. Our proof involves contour integral representations of these coefficients. We also obtain an estimate on the norm of the inverse of the Sylvester matrix.


title: Boundary statistics for the six-vertex model with DWBC

abstract: We study the behavior of configurations in the symmetric six-vertex model with $a,b,c$ weights in the $n\times n$ square with Domain Wall Boundary Conditions as $n\to\infty$. We prove that when $\Delta=\frac{a^2+b^2-c^2}{2ab}<1$, configurations near the boundary have fluctuations of order $n^{1/2}$ and are asymptotically described by the GUE-corners process of the random matrix theory. On the other hand, when $\Delta>1$, the fluctuations are of finite order and configurations are asymptotically described by the stochastic six-vertex model in a quadrant. In the special case $c=0$ (which implies $\Delta>1$), the limit is expressed as the $q$-exchangeable random permutation of infinitely many letters, distributed according to the infinite Mallows measure.


title: ExtSwap: Leveraging Extended Latent Mapper for Generating High Quality Face Swapping

abstract: We present a novel face swapping method using the progressively growing structure of a pre-trained StyleGAN. Previous methods use different encoder decoder structures, embedding integration networks to produce high-quality results, but their quality suffers from entangled representation. We disentangle semantics by deriving identity and attribute features separately. By learning to map the concatenated features into the extended latent space, we leverage the state-of-the-art quality and its rich semantic extended latent space. Extensive experiments suggest that the proposed method successfully disentangles identity and attribute features and outperforms many state-of-the-art face swapping methods, both qualitatively and quantitatively.


title: A new complex variable solution on noncircular shallow tunnelling with reasonable far-field displacement

abstract: A new mechanical model on noncircular shallow tunnelling considering initial stress field is proposed in this paper by constraining far-field ground surface to eliminate displacement singularity at infinity, and the originally unbalanced tunnel excavation problem in existing solutions is turned to an equilibrium one of mixed boundaries. By applying analytic continuation, the mixed boundaries are transformed to a homogenerous Riemann-Hilbert problem, which is subsequently solved via an efficient and accurate iterative method with boundary conditions of static equilibrium, displacement single-valuedness, and traction along tunnel periphery. The Lanczos filtering technique is used in the final stress and displacement solution to reduce the Gibbs phenomena caused by the constrained far-field ground surface for more accurte results. Several numerical cases are conducted to intensively verify the proposed solution by examining boundary conditions and comparing with existing solutions, and all the results are in good agreements. Then more numerical cases are conducted to investigate the stress and deformation distribution along ground surface and tunnel periphery, and several engineering advices are given. Further discussions on the defects of the proposed solution are also conducted for objectivity.


title: Chern correspondence for higher principal bundles

abstract: The classical Chern correspondence states that a choice of Hermitian metric on a holomorphic vector bundle determines uniquely a unitary 'Chern connection'. This basic principle in Hermitian geometry, later generalized to the theory of holomorphic principal bundles, provides one of the most fundamental ingredients in modern gauge theory, via its applications to the Donaldson-Uhlenbeck-Yau Theorem. In this work we study a generalization of the Chern correspondence in the context of higher gauge theory, where the structure group of the bundle is categorified. For this, we define connective structures on a multiplicative gerbe and propose a natural notion of complexification for an important class of 2-groups. Using this, we put forward a new notion of higher connection which is well-suited for describing holomorphic principal 2-bundles for these 2-groups, and establish a Chern correspondence in this way. As an upshot of our construction, we unify two previous notions of higher connections in the literature, namely those of adjusted connections and of trivializations of Chern-Simons 2-gerbes with connection.


title: Strongly stable dual-pairing summation by parts finite difference schemes for the vector invariant nonlinear shallow water equations -- I: Numerical scheme and validation on the plane

abstract: We present an energy/entropy stable and high order accurate finite difference method for solving the nonlinear (rotating) shallow water equations (SWE) in vector invariant form using the newly developed dual-pairing and dispersion-relation preserving summation-by-parts finite difference operators. We derive new well-posed boundary conditions for the SWE in one space dimension, formulated in terms of fluxes and applicable to linear and nonlinear SWEs. For the nonlinear SWE, entropy stability ensures the boundedness of numerical solution but does not guarantee convergence. Adequate amount of numerical dissipation is necessary to control high frequency errors which could negatively impact accuracy in the numerical simulations. Using the dual-pairing summation by parts framework, we derive high order accurate and nonlinear hyper-viscosity operator which dissipates entropy and enstrophy. The hyper-viscosity operator effectively minimises oscillations from shocks and discontinuities, and eliminates high frequency grid-scale errors. The numerical method is most suitable for the simulations of subcritical flows typically observed in atmospheric and geostrophic flow problems. We prove a priori error estimates for the semi-discrete approximations of both linear and nonlinear SWE. Convergence, accuracy, and well-balanced properties are verified via the method of manufactured solutions and canonical test problems such as the dam break and lake at rest. Numerical simulations in two-dimensions are presented which include the rotating and merging vortex problem and barotropic shear instability, with fully developed turbulence.

categories: math.NA cs.NA math.AP physics.ao-ph physics.comp-ph physics.flu-dyn


title: On the power of iid information for linear approximation

abstract: This survey is concerned with the power of random information for approximation in the (deterministic) worst-case setting, with special emphasis on information consisting of functionals selected independently and identically distributed (iid) at random on a class of admissible information functionals. We present a general result based on a weighted least squares method and derive consequences for special cases. Improvements are available if the information is ``Gaussian'' or if we consider iid function values for Sobolev spaces. We include open questions to guide future research on the power of random information in the context of information-based complexity.


title: The Botization of Science? Large-scale study of the presence and impact of Twitter bots in science dissemination

abstract: Twitter bots are a controversial element of the platform, and their negative impact is well known. In the field of scientific communication, they have been perceived in a more positive light, and the accounts that serve as feeds alerting about scientific publications are quite common. However, despite being aware of the presence of bots in the dissemination of science, no large-scale estimations have been made nor has it been evaluated if they can truly interfere with altmetrics. Analyzing a dataset of 3,744,231 papers published between 2017 and 2021 and their associated 51,230,936 Twitter mentions, our goal was to determine the volume of publications mentioned by bots and whether they skew altmetrics indicators. Using the BotometerLite API, we categorized Twitter accounts based on their likelihood of being bots. The results showed that 11,073 accounts (0.23% of total users) exhibited automated behavior, contributing to 4.72% of all mentions. A significant bias was observed in the activity of bots. Their presence was particularly pronounced in disciplines such as Mathematics, Physics, and Space Sciences, with some specialties even exceeding 70% of the tweets. However, these are extreme cases, and the impact of this activity on altmetrics varies by speciality, with minimal influence in Arts & Humanities and Social Sciences. This research emphasizes the importance of distinguishing between specialties and disciplines when using Twitter as an altmetric.


title: Weak pinning and long-range anticorrelated motion of phase boundaries in driven diffusive systems

abstract: We show that domain walls separating coexisting extremal current phases in driven diffusive systems exhibit complex stochastic dynamics, with a subdiffusive temporal growth of position fluctuations due to long-range anticorrelated current fluctuations and a weak pinning at long times. This weak pinning manifests itself in a saturated width of the domain wall position fluctuations that increases sublinearly with the system size. As a function of time $t$ and system size $L$, the width $w(t,L)$ exhibits a scaling behavior $w(t,L)=L^{3/4}f(t/L^{9/4})$, with $f(u)$ constant for $u\gg1$ and $f(u)\sim u^{1/3}$ for $u\ll1$. An Orstein-Uhlenbeck process with long-range anticorrelated noise is shown to capture this scaling behavior. Results for the drift coefficient of the domain wall motion point to memory effects in its dynamics.


title: Canonical normalizing flows for manifold learning

abstract: Manifold learning flows are a class of generative modelling techniques that assume a low-dimensional manifold description of the data. The embedding of such a manifold into the high-dimensional space of the data is achieved via learnable invertible transformations. Therefore, once the manifold is properly aligned via a reconstruction loss, the probability density is tractable on the manifold and maximum likelihood can be used to optimize the network parameters. Naturally, the lower-dimensional representation of the data requires an injective-mapping. Recent approaches were able to enforce that the density aligns with the modelled manifold, while efficiently calculating the density volume-change term when embedding to the higher-dimensional space. However, unless the injective-mapping is analytically predefined, the learned manifold is not necessarily an efficient representation of the data. Namely, the latent dimensions of such models frequently learn an entangled intrinsic basis, with degenerate information being stored in each dimension. Alternatively, if a locally orthogonal and/or sparse basis is to be learned, here coined canonical intrinsic basis, it can serve in learning a more compact latent space representation. Toward this end, we propose a canonical manifold learning flow method, where a novel optimization objective enforces the transformation matrix to have few prominent and non-degenerate basis functions. We demonstrate that by minimizing the off-diagonal manifold metric elements $\ell_1$-norm, we can achieve such a basis, which is simultaneously sparse and/or orthogonal. Canonical manifold flow yields a more efficient use of the latent space, automatically generating fewer prominent and distinct dimensions to represent data, and a better approximation of target distributions than other manifold flow methods in most experiments we conducted, resulting in lower FID scores.


title: Validation of a new 60 MeV proton beam-line for radiation hardness testing

abstract: A 60 MeV proton beam-line has been developed in Nice, France, in collaboration with the Centre National d'Etudes Spatiales (CNES). Experimental results are presented here to validate the beam-line for radiation hardness testing.


title: A laserball calibration device for the SNO+ scintillator phase

abstract: Located 2 km underground in SNOLAB, Sudbury, Canada, SNO+ is a large scale liquid scintillator experiment that primarily aims to search for neutrinoless double beta decay. Whilst SNO+ has light and radioactive calibration sources external to the inner volume, an internally deployed optical source is necessary for the full characterization of the detector model. A laser diffuser ball developed for SNO has previously demonstrated to be an effective optical calibration device for both SNO and SNO+ water phase. Since the introduction of liquid scintillator for SNO+, the material compatibility, cleanliness, and radiopurity requirements of any materials in contact with the internal medium have increased. Improving on the original SNO laserball design, a new laserball calibration device has been developed for the SNO+ scintillator phase with the goal of measuring the optical properties of the detector and performing routine PMT gain and timing calibrations. Simulations have been written to model the diffusion properties to optimise optical and temporal performance for calibration. Prototype laserballs have been built and characterised, demonstrating sub-ns timing resolution and a quasi-isotropic light distribution


title: TabuLa: Harnessing Language Models for Tabular Data Synthesis

abstract: Given the ubiquitous use of tabular data in industries and the growing concerns in data privacy and security, tabular data synthesis emerges as a critical research area. The recent state-of-the-art methods show that large language models (LLMs) can be adopted to generate realistic tabular data. As LLMs pre-process tabular data as full text, they have the advantage of avoiding the curse of dimensionality associated with one-hot encoding high-dimensional data. However, their long training time and limited re-usability on new tasks prevent them from replacing exiting tabular generative models. In this paper, we propose Tabula, a tabular data synthesizer based on the language model structure. Through Tabula, we demonstrate the inherent limitation of employing pre-trained language models designed for natural language processing (NLP) in the context of tabular data synthesis. Our investigation delves into the development of a dedicated foundational model tailored specifically for tabular data synthesis. Additionally, we propose a token sequence compression strategy to significantly reduce training time while preserving the quality of synthetic data. Extensive experiments on six datasets demonstrate that using a language model structure without loading the well-trained model weights yields a better starting model for tabular data synthesis. Moreover, the Tabula model, previously trained on other tabular data, serves as an excellent foundation model for new tabular data synthesis tasks. Additionally, the token sequence compression method substantially reduces the model's training time. Results show that Tabula averagely reduces 46.2% training time per epoch comparing to current LLMs-based state-of-the-art algorithm and consistently achieves even higher synthetic data utility.


title: Optimal decay rates to the contact wave for 1-D compressible Navier-Stokes equations

abstract: This paper investigates the decay rates of the contact wave in one-dimensional Navier-Stokes equations. We study two cases of perturbations, with and without zero mass condition, i.e., the integration of initial perturbations is zero and non-zero, respectively. For the case without zero mass condition, we obtain the optimal decay rate $(1+t)^{-\frac{1}{2}}$ for the perturbation in $L^\infty$ norm, which provides a positive answer to the conjecture in \cite{HMX}. We applied the anti-derivative method, introducing the diffusion wave to carry the initial excess mass, diagonalizing the integrated system, and estimating the energy of perturbation in the diagonalized system. Precisely, due to the presence of diffusion waves, the decay rates for errors of perturbed system are too poor to get the optimal decay rate. We find the dissipation structural in the diagonalized system, see \cref{ds}. This observation makes us able to fully utilize the fact that the sign of the derivative of the contact wave is invariant and to control the terms with poor decay rates in energy estimates. For the case with zero mass condition, there are also terms with poor decay rates. In this case, note that there is a cancellation in the linearly degenerate field so that the terms with poor decay rates will not appear in the second equation of the diagonalized system. Thanks to this cancellation and a Poincar\'e type of estimate obtained by a critical inequality introduced by \cite{HLM}, we get the decay rate of $\ln^{\frac{1}{2}} (2+t)$ for $L^2$ norm of anti-derivatives of perturbation and $(1+t)^{-\frac{1}{2}}\ln^{\frac{1}{2}}(2+t)$ for the $L^2$ norm of perturbation itself, the decay rates are optimal, which is consistent with the results obtained by using pointwise estimate in \cite{XZ} for the system with artificial viscosity.


title: Selfextensions of modules over group algebras

abstract: Let $KG$ be a group algebra with $G$ a finite group and $K$ a field and $M$ an indecomposable $KG$-module. We pose the question, whether $Ext_{KG}^1(M,M) \neq 0$ implies that $Ext_{KG}^i(M,M) \neq 0$ for all $i \geq 1$. We give a positive answer in several important special cases such as for periodic groups and give a positive answer also for all Nakayama algebras, which allows us to improve a classical result of Gustafson. We then specialise the question to the case where the module $M$ is simple, where we obtain a positive answer also for all tame blocks of group algebras. For simple modules $M$, the appendix provides a Magma program that gives strong evidence for a positive answer to this question for groups of small order.


title: Age and genetic relationships among CB, CH and CR chondrites

abstract: The carbonaceous Bencubbin-like (CB), high-metal (CH), and Renazzo-like (CR) chondrites are metal-rich chondrites that have been suggested to be genetically linked and are sometimes grouped together as the CR chondrite clan. Of these, the CB and CH chondrites are thought to have formed in an impact-generated vapor-melt plume from material that may be isotopically akin to CR chondrites. We report Mo, Ti, Cr, and Hf-W isotopic data for CB and CH chondrites in order to determine their formation time, to assess whether these chondrites are genetically related, and to evaluate their potential link to CR chondrites. An internal Hf-W isochron for the CH chondrite Acfer 182 yields an age of 3.8 +- 1.2 Ma after the formation of Ca-Al-rich inclusions (CAIs), which is indistinguishable from the mean Hf-W model age for CB metal of 3.8 +- 1.3 Ma. The Mo isotopic data for CB and CH chondrites indicate that both contain some of the same metal and silicate components, which themselves are isotopically distinct. As such, the different Mo isotopic compositions of bulk CB and CH chondrites reflect their distinct metal-to-silicate ratios. CR metal exhibits the same Mo isotopic composition as CB and CH metal, but CR silicates have distinct Mo and Ti isotopic compositions compared to CB and CH silicates, indicating that CB/CH chondrites may be genetically related to CR metal, but not to CR silicates. Together, the new isotopic data are consistent with formation of CB and CH chondrites in different regions of a common impact-generated vapor- melt plume and suggest that the CB and CH metal may derive from a metal-rich precursor genetically linked to CR chondrites. The Hf-W systematics of CH and CB chondrites indicate that the impact occurred at 3.8 +- 0.8 Ma after the formation of Ca-Al-rich inclusions and, hence, up to ~1 Ma earlier than previously inferred based on Pb- Pb chronology.


title: Good position braid representatives and transversal slices of unipotent orbits

abstract: Let G be a connected reductive group over an algebraically closed field and W be its Weyl group. Steinberg constructed a transversal slice of the regular unipotent orbit in G. This construction was generalized to n was generalized to unipotent orbits associated to any elliptic conjugacy classes of W by He and Lusztig via good minimal length elements. In this paper, we construct transversal slices for all unipotent orbits using the good elements in the associated braid monoid of W. As an application, we reformulate the dimension formula of affine Springer fibers using these good elements.


title: Character-level Chinese Backpack Language Models

abstract: The Backpack is a Transformer alternative shown to improve interpretability in English language modeling by decomposing predictions into a weighted sum of token sense components. However, Backpacks' reliance on token-defined meaning raises questions as to their potential for languages other than English, a language for which subword tokenization provides a reasonable approximation for lexical items. In this work, we train, evaluate, interpret, and control Backpack language models in character-tokenized Chinese, in which words are often composed of many characters. We find that our (134M parameter) Chinese Backpack language model performs comparably to a (104M parameter) Transformer, and learns rich character-level meanings that log-additively compose to form word meanings. In SimLex-style lexical semantic evaluations, simple averages of Backpack character senses outperform input embeddings from a Transformer. We find that complex multi-character meanings are often formed by using the same per-character sense weights consistently across context. Exploring interpretability-through control, we show that we can localize a source of gender bias in our Backpacks to specific character senses and intervene to reduce the bias.


title: Discretize Relaxed Solution of Spectral Clustering via a Non-Heuristic Algorithm

abstract: Spectral clustering and its extensions usually consist of two steps: (1) constructing a graph and computing the relaxed solution; (2) discretizing relaxed solutions. Although the former has been extensively investigated, the discretization techniques are mainly heuristic methods, e.g., k-means, spectral rotation. Unfortunately, the goal of the existing methods is not to find a discrete solution that minimizes the original objective. In other words, the primary drawback is the neglect of the original objective when computing the discrete solution. Inspired by the first-order optimization algorithms, we propose to develop a first-order term to bridge the original problem and discretization algorithm, which is the first non-heuristic to the best of our knowledge. Since the non-heuristic method is aware of the original graph cut problem, the final discrete solution is more reliable and achieves the preferable loss value. We also theoretically show that the continuous optimum is beneficial to discretization algorithms though simply finding its closest discrete solution is an existing heuristic algorithm which is also unreliable. Sufficient experiments significantly show the superiority of our method.


title: Patch-CLIP: A Patch-Text Pre-Trained Model

abstract: In recent years, patch representation learning has emerged as a necessary research direction for exploiting the capabilities of machine learning in software generation. These representations have driven significant performance enhancements across a variety of tasks involving code changes. While the progress is undeniable, a common limitation among existing models is their specialization: they predominantly excel in either predictive tasks, such as security patch classification, or in generative tasks such as patch description generation. This dichotomy is further exacerbated by a prevalent dependency on potentially noisy data sources. Specifically, many models utilize patches integrated with Abstract Syntax Trees (AST) that, unfortunately, may contain parsing inaccuracies, thus acting as a suboptimal source of supervision. In response to these challenges, we introduce PATCH-CLIP, a novel pre-training framework for patches and natural language text. PATCH-CLIP deploys a triple-loss training strategy for 1) patch-description contrastive learning, which enables to separate patches and descriptions in the embedding space, 2) patch-description matching, which ensures that each patch is associated to its description in the embedding space, and 3) patch-description generation, which ensures that the patch embedding is effective for generation. These losses are implemented for joint learning to achieve good performance in both predictive and generative tasks involving patches. Empirical evaluations focusing on patch description generation, demonstrate that PATCH-CLIP sets new state of the art performance, consistently outperforming the state-of-the-art in metrics like BLEU, ROUGE-L, METEOR, and Recall.


title: Multiwavelength Analysis of Fermi-LAT Blazars with High-Significance Periodicity: Detection of a Long-Term Rising Emission in PG 1553+113

abstract: Blazars display variable emission across the entire electromagnetic spectrum, with timescales that can range from a few minutes to several years. Our recent work has shown that a sample of five blazars exhibit hints of periodicity with a global significance $\gtrsim2\,\sigma$ at $\gamma$-ray energies, in the range of 0.1~GeV$<$E$<$800~GeV. In this work, we study their multiwavelength (MWL) emission, covering the X-ray, ultraviolet, optical, and radio bands. We show that three of these blazars present similar periodic patterns in the optical and radio bands. Additionally, fluxes in the different bands of the five blazars are correlated, suggesting a co-spatial origin. Moreover, we detect a long-term ($\approx$10 year) rising trend in the light curves of PG~1553+113, and we use it to infer possible constraints on the binary black hole hypothesis.


title: Minimalist and High-Performance Semantic Segmentation with Plain Vision Transformers

abstract: In the wake of Masked Image Modeling (MIM), a diverse range of plain, non-hierarchical Vision Transformer (ViT) models have been pre-trained with extensive datasets, offering new paradigms and significant potential for semantic segmentation. Current state-of-the-art systems incorporate numerous inductive biases and employ cumbersome decoders. Building upon the original motivations of plain ViTs, which are simplicity and generality, we explore high-performance `minimalist' systems to this end. Our primary purpose is to provide simple and efficient baselines for practical semantic segmentation with plain ViTs. Specifically, we first explore the feasibility and methodology for achieving high-performance semantic segmentation using the last feature map. As a result, we introduce the PlainSeg, a model comprising only three 3$\times$3 convolutions in addition to the transformer layers (either encoder or decoder). In this process, we offer insights into two underlying principles: (i) high-resolution features are crucial to high performance in spite of employing simple up-sampling techniques and (ii) the slim transformer decoder requires a much larger learning rate than the wide transformer decoder. On this basis, we further present the PlainSeg-Hier, which allows for the utilization of hierarchical features. Extensive experiments on four popular benchmarks demonstrate the high performance and efficiency of our methods. They can also serve as powerful tools for assessing the transfer ability of base models in semantic segmentation. Code is available at \url{https://github.com/ydhongHIT/PlainSeg}.


title: Locally Resonant Metagrating by Elastic Impedance Modulation

abstract: The optical and acoustic metagratings have addressed the limitations of low-efficiency wave manipulation and high-complexity fabrication of metamaterials and metasurfaces. In this research, we introduce the concept of elastic metagrating and present the theoretical and experimental demonstration of locally resonant elastic metagrating (LREM). Remarkably, the LREM, with dimensions two orders of magnitude smaller than the relevant wavelength, overcomes the size limitations of conventional metagratings and offers a unique design paradigm for highly efficient wave manipulation with an extremely compact structure in elastic wave systems. Based on a distinctive elastic impedance engineering with hybridization of intrinsic evanescent waves, the proposed LREM achieves wide-angle perfect absorption. This tackles a fundamental challenge faced by all elastic metastructures designed for wave manipulation, which consists in the unavoidable vibration modes in finite structures hindering their implementations in real-world applications.


title: Conservative Inference for Counterfactuals

abstract: In causal inference, the joint law of a set of counterfactual random variables is generally not identified. We show that a conservative version of the joint law - corresponding to the smallest treatment effect - is identified. Finding this law uses recent results from optimal transport theory. Under this conservative law we can bound causal effects and we may construct inferences for each individual's counterfactual dose-response curve. Intuitively, this is the flattest counterfactual curve for each subject that is consistent with the distribution of the observables. If the outcome is univariate then, under mild conditions, this curve is simply the quantile function of the counterfactual distribution that passes through the observed point. This curve corresponds to a nonparametric rank preserving structural model.


title: Impact of dephasing probes on incommensurate lattices

abstract: We investigate open quantum dynamics for a one-dimensional incommensurate Aubry-Andr\'{e}-Harper lattice chain, a part of which is initially filled with electrons and is further connected to dephasing probes at the filled lattice sites. This setup is akin to a step-initial configuration where the non-zero part of the step is subjected to dephasing. We investigate the quantum dynamics of local electron density, the scaling of the density front as a function of time both inside and outside of the initial step, and the growth of the total number of electrons outside the step. We analyze these quantities in all three regimes, namely, the de-localized, critical, and localized phases of the underlying lattice. Outside the initial step, we observe that the density front spreads according to the underlying nature of single-particle states of the lattice, for both the de-localized and critical phases. For the localized phase, the spread of the density front hints at a logarithmic behaviour in time that has no parallel in the isolated case (\emph{i.e.}, in the absence of probes). Inside the initial step, due to the presence of the probes, the density front spreads in a diffusive manner for all the phases. This combination of rich and different dynamical behaviour, outside and inside the initial step, results in the emergence of mixed dynamical phases. While the total occupation of electrons remains conserved, the value outside or inside the initial step turns out to have a rich dynamical behaviour. Our work is widely adaptable and has interesting consequences when disordered/quasi-disordered systems are subjected to a thermodynamically large number of probes.


title: A case study of early galaxy cluster with the Athena X-IFU

abstract: Context: Observations of the hot gas in distant clusters of galaxies, though challenging, are key to understand the role of intense galaxy activity, super-massive black hole feedback and chemical enrichment in the process of massive halos assembly. Aims: We assess the feasibility to retrieve, using X-ray hyperspectral data only, the thermodymamical hot gas properties and chemical abundances of a $z=2$ galaxy cluster of mass M500=7 x $10^{13} M_{\odot}$, extracted from the Hydrangea hydrodynamical simulation. Methods: We create mock X-ray observations of the future X-ray Integral Field Unit (X-IFU) onboard the Athena mission. By forward-modeling the measured 0.4-1 keV surface brightness, the projected gas temperature and abundance profiles, we reconstruct the three-dimensional distribution for the gas density, pressure, temperature and entropy. Results: Thanks to its large field-of-view, high throughput and exquisite spectral resolution, one X-IFU exposure lasting 100ks enables reconstructing density and pressure profiles with 20% precision out to a characteristic radius of R500, accounting for each quantity's intrinsic dispersion in the Hydrangea simulations. Reconstruction of abundance profiles requires both higher signal-to-noise ratios and specific binning schemes. We assess the enhancement brought by longer exposures and by observing the same object at later evolutionary stages ($z=1-1.5$). Conclusions: Our analysis highlights the importance of scatter in the radially binned gas properties, which induces significant effects on the observed projected quantities. The fidelity of the reconstruction of gas profiles is sensitive to the degree of gas components mixing along the line-of-sight. Future analyses should aim at involving dedicated hyper-spectral models and fitting methods that are able to grasp the complexity of such three-dimensional, multi-phase, diffuse gas structures.


title: The Social Cost of Carbon

abstract: The social cost of carbon is the damage avoided by slightly reducing carbon dioxide emissions. It is a measure of the desired intensity of climate policy. The social cost of carbon is highly uncertain because of the long and complex cause-effect chain, and because it quantifies and aggregates impacts over a long period of time, affecting all people in a wide range of possible futures. Recent estimates are around $\$$80/tCO$_2$.


title: Polarization-artifact reduction and accuracy improvement of Jones-matrix polarization-sensitive optical coherence tomography by multi-focus averaging

abstract: Polarization-sensitive optical coherence tomography (PS-OCT) is a promising biomedical imaging tool for differentiation of various tissue properties. However, the presence of multiple-scattering (MS) signals can degrade the quantitative polarization measurement accuracy. We demonstrate a method to reduce MS signals and increase the measurement accuracy of Jones matrix PS-OCT. This method suppresses MS signals by averaging of multiple Jones matrix volumes measured using different focal positions. The MS signals are decorrelated among the volumes by focus position modulation and are thus reduced by averaging. However, the single scattering signals are kept consistent among the focus-modulated volumes by computational refocusing. We validated the proposed method using a scattering phantom and a postmortem medaka fish. The results showed reduced artifacts in birefringence and degree-of-polarization uniformity measurements, particularly in deeper regions in the samples. This method offers a practical solution to mitigate MS-induced artifacts in PS-OCT imaging and improves quantitative polarization measurement accuracy.

categories: physics.optics physics.bio-ph physics.ins-det physics.med-ph


title: On the foundation of quantum decision theory

abstract: Quantum decision theory is introduced here, and a new basis for this theory is proposed. It is first based upon the author's general arguments for the Hilbert space formalism in quantum theory, and next on arguments for the Born rule, which is the basis for calculating quantum probabilities. A basic notion behind the quantum theory foundation is that of theoretical variables, that are divided into accessible and inaccessible ones. This is here specialized to decision variables. It is assumed that each accessible variable can be seen as a function of a specific inaccessible variable. Another assumption is that there exist two maximal accessible decision processes in the given situation. Two basic assumptions behind the Born rule are 1) the likelihood principle, 2) the actor in question has motivations that can be modeled by a hypothetical perfectly rational higher being. The theory is illustrated by a medical example. Finally, a broad discussion of decision processes is given.


title: Liveness Properties in Geometric Logic for Domain-Theoretic Streams

abstract: We devise a version of Linear Temporal Logic (LTL) on a denotational domain of streams. We investigate this logic in terms of domain theory, (point-free) topology and geometric logic. This yields the first steps toward an extension of the "Domain Theory in Logical Form" paradigm to temporal liveness properties. We show that the negation-free formulae of LTL induce sober subspaces of streams, but that this is in general not the case in presence of negation. We propose a direct, inductive, translation of negation-free LTL to geometric logic. This translation reflects the approximations used to compute the usual fixpoint representations of LTL modalities. As a motivating example, we handle a natural input-output specification for the usual filter function on streams.


title: Lensing bias on cosmological parameters from bright standard sirens

abstract: Next generation gravitational waves (GWs) observatories are expected to measure GW signals with unprecedented sensitivity, opening new, independent avenues to learn about our Universe. The distance-redshift relation is a fulcrum for cosmology and can be tested with GWs emitted by merging binaries of compact objects, called standard sirens, thanks to the fact that they provide the absolute distance from the source. On the other hand, fluctuations of the intervening matter density field induce modifications on the measurement of luminosity distance compared to that of a homogeneous universe. Assuming that the redshift information is obtained through the detection of an electromagnetic counterpart, we investigate the impact that lensing of GWs might have in the inference of cosmological parameters. We treat lensing as a systematic error and check for residual bias on the values of the cosmological parameters. We do so by means of mock catalogues of bright sirens events in different scenarios relevant to Einstein Telescope. For our fiducial scenario, the lensing bias can be comparable to or greater than the expected statistical uncertainty of the cosmological parameters, although non-negligible fluctuations in the bias values are observed for different realisations of the mock catalogue. We also discuss some mitigation strategies that can be adopted in the data analysis. Overall, our work highlights the need to model lensing effects when using standard sirens as probes of the distance-redshift relation.


title: Energy-Based Models For Speech Synthesis

abstract: Recently there has been a lot of interest in non-autoregressive (non-AR) models for speech synthesis, such as FastSpeech 2 and diffusion models. Unlike AR models, these models do not have autoregressive dependencies among outputs which makes inference efficient. This paper expands the range of available non-AR models with another member called energy-based models (EBMs). The paper describes how noise contrastive estimation, which relies on the comparison between positive and negative samples, can be used to train EBMs. It proposes a number of strategies for generating effective negative samples, including using high-performing AR models. It also describes how sampling from EBMs can be performed using Langevin Markov Chain Monte-Carlo (MCMC). The use of Langevin MCMC enables to draw connections between EBMs and currently popular diffusion models. Experiments on LJSpeech dataset show that the proposed approach offers improvements over Tacotron 2.


title: Transformer-based Entity Legal Form Classification

abstract: We propose the application of Transformer-based language models for classifying entity legal forms from raw legal entity names. Specifically, we employ various BERT variants and compare their performance against multiple traditional baselines. Our evaluation encompasses a substantial subset of freely available Legal Entity Identifier (LEI) data, comprising over 1.1 million legal entities from 30 different legal jurisdictions. The ground truth labels for classification per jurisdiction are taken from the Entity Legal Form (ELF) code standard (ISO 20275). Our findings demonstrate that pre-trained BERT variants outperform traditional text classification approaches in terms of F1 score, while also performing comparably well in the Macro F1 Score. Moreover, the validity of our proposal is supported by the outcome of third-party expert reviews conducted in ten selected jurisdictions. This study highlights the significant potential of Transformer-based models in advancing data standardization and data integration. The presented approaches can greatly benefit financial institutions, corporations, governments and other organizations in assessing business relationships, understanding risk exposure, and promoting effective governance.


title: Solving Two-Player Games under Progress Assumptions

abstract: This paper considers the problem of solving infinite two-player games over finite graphs under various classes of progress assumptions motivated by applications in cyber-physical system (CPS) design. Formally, we consider a game graph G, a temporal specification $\Phi$ and a temporal assumption $\psi$, where both are given as linear temporal logic (LTL) formulas over the vertex set of G. We call the tuple $(G,\Phi,\psi)$ an 'augmented game' and interpret it in the classical way, i.e., winning the augmented game $(G,\Phi,\psi)$ is equivalent to winning the (standard) game $(G,\psi \implies \Phi)$. Given a reachability or parity game $(G,\Phi)$ and some progress assumption $\psi$, this paper establishes whether solving the augmented game $(G,\Phi,\psi)$ lies in the same complexity class as solving $(G,\Phi)$. While the answer to this question is negative for arbitrary combinations of $\Phi$ and $\psi$, a positive answer results in more efficient algorithms, in particular for large game graphs. We therefore restrict our attention to particular classes of CPS-motivated progress assumptions and establish the worst-case time complexity of the resulting augmented games. Thereby, we pave the way towards a better understanding of assumption classes that can enable the development of efficient solution algorithms in augmented two-player games.


title: SemantIC: Semantic Interference Cancellation Towards 6G Wireless Communications

abstract: This letter proposes a novel anti-interference technique, semantic interference cancellation (SemantIC), for enhancing information quality towards the sixth-generation (6G) wireless networks. SemantIC only requires the receiver to concatenate the channel decoder with a semantic auto-encoder. This constructs a turbo loop which iteratively and alternately eliminates noise in the signal domain and the semantic domain. From the viewpoint of network information theory, the neural network of the semantic auto-encoder stores side information by training, and provides side information in iterative decoding, as an implementation of the Wyner-Ziv theorem. Simulation results verify the performance improvement by SemantIC without extra channel resource cost.


title: Mixing Histopathology Prototypes into Robust Slide-Level Representations for Cancer Subtyping

abstract: Whole-slide image analysis via the means of computational pathology often relies on processing tessellated gigapixel images with only slide-level labels available. Applying multiple instance learning-based methods or transformer models is computationally expensive as, for each image, all instances have to be processed simultaneously. The MLP-Mixer is an under-explored alternative model to common vision transformers, especially for large-scale datasets. Due to the lack of a self-attention mechanism, they have linear computational complexity to the number of input patches but achieve comparable performance on natural image datasets. We propose a combination of feature embedding and clustering to preprocess the full whole-slide image into a reduced prototype representation which can then serve as input to a suitable MLP-Mixer architecture. Our experiments on two public benchmarks and one inhouse malignant lymphoma dataset show comparable performance to current state-of-the-art methods, while achieving lower training costs in terms of computational time and memory load. Code is publicly available at https://github.com/butkej/ProtoMixer.


title: Prismatic cohomology relative to $\delta$-rings

abstract: We develop prismatic and syntomic cohomology relative to a $\delta$-ring. This simultaneously generalizes Bhatt and Scholze's absolute and relative prismatic cohomology and shows that the latter, which was defined relative to a prism, is in fact independent of the prism structure and only depends on the underlying $\delta$-ring. We give several possible definitions of our new version of prismatic cohomology: a site theoretic definition, one using prismatic crystals, and a stack theoretic definition. These are equivalent under mild syntomicity hypotheses. As an application, we note how the theory of prismatic cohomology of filtered rings arises naturally in this context.


title: Stochastic Average Gradient : A Simple Empirical Investigation

abstract: Despite the recent growth of theoretical studies and empirical successes of neural networks, gradient backpropagation is still the most widely used algorithm for training such networks. On the one hand, we have deterministic or full gradient (FG) approaches that have a cost proportional to the amount of training data used but have a linear convergence rate, and on the other hand, stochastic gradient (SG) methods that have a cost independent of the size of the dataset, but have a less optimal convergence rate than the determinist approaches. To combine the cost of the stochastic approach with the convergence rate of the deterministic approach, a stochastic average gradient (SAG) has been proposed. SAG is a method for optimizing the sum of a finite number of smooth convex functions. Like SG methods, the SAG method's iteration cost is independent of the number of terms in the sum. In this work, we propose to compare SAG to some standard optimizers used in machine learning. SAG converges faster than other optimizers on simple toy problems and performs better than many other optimizers on simple machine learning problems. We also propose a combination of SAG with the momentum algorithm and Adam. These combinations allow empirically higher speed and obtain better performance than the other methods, especially when the landscape of the function to optimize presents obstacles or is ill-conditioned.


title: On Some Intersection Properties of Finite Groups

abstract: In this article, we introduce the study of a class of finite groups $G$ which admits a subgroup which intersects all non-trivial subgroups of $G$. We also explore a subclass of it consisting of all groups $G$ in which the prime order elements commute. In particular, we discuss the relationship between these class of groups with other known classes of finite groups, like simple groups, perfect groups etc. Moreover, we also prove some results on the possible orders of such groups. Finally, we conclude with some open issues.


title: Safe RLHF: Safe Reinforcement Learning from Human Feedback

abstract: With the development of large language models (LLMs), striking a balance between the performance and safety of AI systems has never been more critical. However, the inherent tension between the objectives of helpfulness and harmlessness presents a significant challenge during LLM training. To address this issue, we propose Safe Reinforcement Learning from Human Feedback (Safe RLHF), a novel algorithm for human value alignment. Safe RLHF explicitly decouples human preferences regarding helpfulness and harmlessness, effectively avoiding the crowdworkers' confusion about the tension and allowing us to train separate reward and cost models. We formalize the safety concern of LLMs as an optimization task of maximizing the reward function while satisfying specified cost constraints. Leveraging the Lagrangian method to solve this constrained problem, Safe RLHF dynamically adjusts the balance between the two objectives during fine-tuning. Through a three-round fine-tuning using Safe RLHF, we demonstrate a superior ability to mitigate harmful responses while enhancing model performance compared to existing value-aligned algorithms. Experimentally, we fine-tuned the Alpaca-7B using Safe RLHF and aligned it with collected human preferences, significantly improving its helpfulness and harmlessness according to human evaluations.


title: Survival of the Most Influential Prompts: Efficient Black-Box Prompt Search via Clustering and Pruning

abstract: Prompt-based learning has been an effective paradigm for large pretrained language models (LLM), enabling few-shot or even zero-shot learning. Black-box prompt search has received growing interest recently for its distinctive properties of gradient-free optimization, proven particularly useful and powerful for model-as-a-service usage. However, the discrete nature and the complexity of combinatorial optimization hinder the efficiency of modern black-box approaches. Despite extensive research on search algorithms, the crucial aspect of search space design and optimization has been largely overlooked. In this paper, we first conduct a sensitivity analysis by prompting LLM, revealing that only a small number of tokens exert a disproportionate amount of influence on LLM predictions. Leveraging this insight, we propose the Clustering and Pruning for Efficient Black-box Prompt Search (ClaPS), a simple black-box search method that first clusters and prunes the search space to focus exclusively on influential prompt tokens. By employing even simple search methods within the pruned search space, ClaPS achieves state-of-the-art performance across various tasks and LLMs, surpassing the performance of complex approaches while significantly reducing search costs. Our findings underscore the critical role of search space design and optimization in enhancing both the usefulness and the efficiency of black-box prompt-based learning.


title: Ethical Aspects of Faking Emotions in Chatbots and Social Robots

abstract: Telling lies and faking emotions is quite common in human-human interactions: though there are risks, in many situations such behaviours provide social benefits. In recent years, there have been many social robots and chatbots that fake emotions or behave deceptively with their users. In this paper, I present a few examples of such robots and chatbots, and analyze their ethical aspects. Three scenarios are presented where some kind of lying or deceptive behaviour might be justified. Then five approaches to deceptive behaviours - no deception, blatant deception, tactful deception, nudging, and self deception - are discussed and their implications are analyzed. I conclude by arguing that we need to develop localized and culture-specific solutions to incorporating deception in social robots and chatbots.


title: First holistic modelling of meteoroid ablation and fragmentation: A case study of the Orionids recorded by the Canadian Automated Meteor Observatory

abstract: 18 mm-sized Orionid meteoroids were captured in 2019 and 2020 by the Canadian Automated Observatory's mirror tracking system. Meteor position measurements were made to an accuracy of $\sim1$ m and the meteors were tracked to a limiting magnitude of about $+7.5$ at the faintest point. The trajectory estimation shows the intrinsic physical dispersion of the Orionid radiant is $0.400^{\circ} \pm 0.062^{\circ}$. An erosion-based entry model was fit to the observations to reproduce ablation and fragmentation for each meteor, simultaneously reproducing the light curve, the dynamics, and the wake. Wake observations were found to directly inform the grain mass distribution released in the modelled erosion. A new luminous efficiency model was derived from simultaneous radar and optical observations and applied in the modelling to improve its accuracy. The results show that the apparent strength of Orionids varies with radiant location and time of appearance during the period of shower activity. The average differential grain mass distribution index was 2.15, higher than found from in-situ estimates, possibly due to the evolution of the physical properties of meteoroids since ejection. All Orionids showed leading fragment morphology which was best explained by stopping the erosion at the peak of the light curve, leaving a non-fragmenting meteoroid with $\sim10\%$ of the original mass. The inverted Orionid meteoroid average bulk density of $\sim300$ kg m$^{-3}$, corresponding to porosities of $\sim90\%$, is consistent with in-situ measurements of larger dust particles by Vega-2 at 1P/Halley and Rosetta at 67P.


title: Proximity and Remoteness in Graphs: a survey

abstract: The proximity $\pi = \pi (G)$ of a connected graph $G$ is the minimum, over all vertices, of the average distance from a vertex to all others. Similarly, the maximum is called the remoteness and denoted by $\rho = \rho (G)$. The concepts of proximity and remoteness, first defined in 2006, attracted the attention of several researchers in Graph Theory. Their investigation led to a considerable number of publications. In this paper, we present a survey of the research work.


title: Label-Aware Automatic Verbalizer for Few-Shot Text Classification

abstract: Prompt-based learning has shown its effectiveness in few-shot text classification. One important factor in its success is a verbalizer, which translates output from a language model into a predicted class. Notably, the simplest and widely acknowledged verbalizer employs manual labels to represent the classes. However, manual selection does not guarantee the optimality of the selected words when conditioned on the chosen language model. Therefore, we propose Label-Aware Automatic Verbalizer (LAAV), effectively augmenting the manual labels to achieve better few-shot classification results. Specifically, we use the manual labels along with the conjunction "and" to induce the model to generate more effective words for the verbalizer. The experimental results on five datasets across five languages demonstrate that LAAV significantly outperforms existing verbalizers. Furthermore, our analysis reveals that LAAV suggests more relevant words compared to similar approaches, especially in mid-to-low resource languages.


title: Emergence of a quasi-ergodic steady state in a dissipative Tavis-Cummings array

abstract: In an atom-photon interacting system described by Tavis Cummings Hubbard (TCH) model, we demonstrate the emergence of a quasi-steady state in a dissipative environment that exhibits intriguing ergodic behavior. The TCH model undergoes a dissipative transition from normal to superradiant phase hosting a gapped Higgs and gapless Goldstone modes. However, in a large region of the phase diagram, the instability of the Goldstone mode leads to the disappearance of the stable superradiant phase. In this regime, the decorrelator dynamics reveals light cone spreading of the perturbations and positive Lyapunov exponent, indicating enhanced fluctuations. Remarkably, a quasi-steady state emerges under quench dynamics in this unstable regime; in this state, a class of collective quantities such as site averaged photon number and atomic excitations approach a steady value, in spite of large temporal fluctuations in corresponding microscopic variables. This quasi-steady state describes an incoherent fluid of photons with significant phase fluctuation. The phase space dynamics reveals a fascinating ergodic behavior in presence of dissipation, leading to the characterization of the dynamical variables into two distinct classes. The first class includes site-averaged photon numbers and atomic excitations; these exhibit a stationary distribution regardless of the initial condition indicating ergodic behavior. The second class of variables, particularly those related to phase in contrast, retain information about the initial conditions, resulting in a violation of ergodicity for finite size system. Additionally, the dynamical variables of the ergodic class exhibit fascinating collective scarring phenomenon as the peak of their distribution is attracted towards the unstable steady state, analogous to the single particle quantum scar. We discuss the relevance of our findings in the current experiments.


title: Towards a Unified Quantum Protocol Framework: Classification, Implementation, and Use Cases

abstract: We present a framework for the unification and standardization of quantum network protocols, making their realization easier and expanding their use cases to a broader range of communities interested in quantum technologies. Our framework is available as an open-source repository, the Quantum Protocol Zoo. We follow a modular approach by identifying two key components: Functionality, which connects real-world applications; and Protocol, which is a set of instructions between two or many parties, at least one of which has a quantum device. Based on the different stages of the quantum internet and use-case in the commercialization of quantum communication, our framework classifies quantum cryptographic functionalities and the various protocol designs implementing these functionalities. Towards this classification, we introduce a novel concept of resource visualization for quantum protocols, which includes two interfaces: one to identify the building blocks for implementing a given protocol and another to identify accessible protocols when certain physical resources or functionalities are available. Such classification provides a hierarchy of quantum protocols based on their use-case and resource allocation. We have identified various valuable tools to improve its representation with a range of techniques, from abstract cryptography to graphical visualizations of the resource hierarchy in quantum networks. We elucidate the structure of the zoo and its primary features in this article to a broader class of quantum information scientists, physicists, computer science theorists and end-users. Since its introduction in 2018, the quantum protocol zoo has been a cornerstone in serving the quantum networks community in its ability to establish the use cases of emerging quantum internet networks. In that spirit we also provide some of the applications of our framework from different perspectives.


title: Conditional Density Estimations from Privacy-Protected Data

abstract: Many modern statistical analysis and machine learning applications require training models on sensitive user data. Differential privacy provides a formal guarantee that individual-level information about users does not leak. In this framework, randomized algorithms inject calibrated noise into the confidential data, resulting in privacy-protected datasets or queries. However, restricting access to only privatized data during statistical analysis makes it computationally challenging to make valid inferences on the parameters underlying the confidential data. In this work, we propose simulation-based inference methods from privacy-protected datasets. In addition to sequential Monte Carlo approximate Bayesian computation, we use neural conditional density estimators as a flexible family of distributions to approximate the posterior distribution of model parameters given the observed private query results. We illustrate our methods on discrete time-series data under an infectious disease model and with ordinary linear regression models. Illustrating the privacy-utility trade-off, our experiments and analysis demonstrate the necessity and feasibility of designing valid statistical inference procedures to correct for biases introduced by the privacy-protection mechanisms.


title: Comment on "Floquet non-Abelian topological insulator and multifold bulk-edge correspondence"

abstract: We comment on the recent paper ``Floquet non-Abelian topological insulator and multifold bulk-edge correspondence" by Tianyu Li and Haiping Hu, Nat. Comm. {\bf 14}, 6418 (2023). Apart from the fact that the authors unjustly imply to study multi-gap topology in Floquet systems for the first time, only known homotopic relations are presented. While such insights are used to present interesting Floquet phenomena and phases, which is an attractive result in itself, they cannot be used to deduce the total bulk characterization in the dynamical context without further proof. In fact, the authors essentially rephrase a Zak phase description. These results should in particular be contrasted to earlier results, arXiv:2208.12824, in which static-compatible Zak phases {\it and} dynamical Dirac strings were shown to be able to {\it distinguish} rather similar non-Abelian Floquet phases in $2+1$ dimensional systems. As a result, the claim of a sharp multifold bulk-edge correspondence cannot be concluded from the given arguments.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.quant-gas math-ph math.MP quant-ph