-
Induced Domain Walls of QCD Axion, and Gravitational Waves
Authors:
Junseok Lee,
Kai Murai,
Fuminobu Takahashi,
Wen Yin
Abstract:
We show that heavy axion domain walls induce domain walls of the QCD axion through a mixing between the heavy axion and the QCD axion, even when the pre-inflationary initial condition is assumed for the QCD axion. The induced domain walls arise because the effective $θ$ parameter changes across the heavy axion domain walls, shifting the potential minimum of the QCD axion. When the heavy axion doma…
▽ More
We show that heavy axion domain walls induce domain walls of the QCD axion through a mixing between the heavy axion and the QCD axion, even when the pre-inflationary initial condition is assumed for the QCD axion. The induced domain walls arise because the effective $θ$ parameter changes across the heavy axion domain walls, shifting the potential minimum of the QCD axion. When the heavy axion domain walls collapse, the induced QCD axion domain walls collapse as well. This novel mechanism for producing the QCD axions can explain dark matter even with the axion decay constant as small as ${\cal O}(10^{9})$ GeV. In particular, this scenario requires domain wall collapse near the QCD crossover, potentially accounting for the stochastic gravitational wave background suggested by recent pulsar timing array observations, including NANOGrav. Using this mechanism, it is also possible to easily create induced domain walls for string axions or axions with a large decay constant, which would otherwise be challenging. We also comment on the implications for cosmic birefringence using induced axion domain walls.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Symmetric Second-Harmonic Generation in Sub-wavelength Periodically Poled Thin Film Lithium Niobate
Authors:
Fengyan Yang,
Juanjuan Lu,
Mohan Shen,
Guangcanlan Yang,
Hong X. Tang
Abstract:
Second harmonic generation (SHG) extensively employs periodically poled nonlinear crystals through forward quasi-phase-matching to achieve efficient frequency conversion. As poling periods approach sub-micrometers, backward quasi-phase-matching has also been demonstrated, albeit by utilizing pulsed laser drives. The realization of symmetric second harmonic generation, characterized by counterpropa…
▽ More
Second harmonic generation (SHG) extensively employs periodically poled nonlinear crystals through forward quasi-phase-matching to achieve efficient frequency conversion. As poling periods approach sub-micrometers, backward quasi-phase-matching has also been demonstrated, albeit by utilizing pulsed laser drives. The realization of symmetric second harmonic generation, characterized by counterpropagating pumps, however, has remained elusive despite theoretical predictions. The main challenge lies in achieving strong nonlinear coupling with poling period below half the wavelength of the second-harmonic light. The recent emergence of high-quality ferroelectric lithium niobate thin films provides an opportunity for achieving precise domain control at submicron dimensions. In this article, we demonstrate reliable control of ferroelectric domains in thin film lithium niobate waveguide with a poling period down to 370nm, thereby realizing highly efficient continuous-wave pumped symmetric SHG. This demonstration not only validates the feasibility of achieving subwavelength periodic poling on waveguides but also opens new avenues for leveraging submicron ferroelectric domain structures in integrated photonics and nonlinear optics research.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
How coronal mass ejections are influenced by the morphology and toroidal flux of their source magnetic flux ropes?
Authors:
J. H. Guo,
L. Linan,
S. Poedts,
Y. Guo,
B. Schmieder,
A. Lani,
Y. W. Ni,
M. Brchnelova,
B. Perri,
T. Baratashvili,
S. T. Li,
P. F. Chen
Abstract:
Coronal mass ejections (CMEs) stand as intense eruptions of magnetized plasma from the Sun, playing a pivotal role in driving significant changes of the heliospheric environment. Deducing the properties of CMEs from their progenitors in solar source regions is crucial for space weather forecasting. Deducing the properties of CMEs from their progenitors in solar source regions is crucial for space…
▽ More
Coronal mass ejections (CMEs) stand as intense eruptions of magnetized plasma from the Sun, playing a pivotal role in driving significant changes of the heliospheric environment. Deducing the properties of CMEs from their progenitors in solar source regions is crucial for space weather forecasting. Deducing the properties of CMEs from their progenitors in solar source regions is crucial for space weather forecasting. The primary objective of this paper is to establish a connection between CMEs and their progenitors in solar source regions, enabling us to infer the magnetic structures of CMEs before their full development. To this end, we create a dataset comprising a magnetic flux rope series with varying projection shapes, sizes and toroidal fluxes, using the Regularized Biot-Savart Laws (RBSL). Thereafter, we simulate the propagation of these flux ropes from the solar surface to a distance of 25$R_{\odot}$ with our global coronal MHD model which is named COCONUT. Our parametric survey reveals significant impacts of source flux ropes on the consequent CMEs. We find that the projection shape can influence the magnetic structures of CMEs at 20$R_{\odot}$, albeit with minimal impacts on the propagation speed. However, these impacts diminish as source flux ropes become fat. In terms of toroidal flux, our simulation results demonstrate a pronounced correlation with the propagation speed of CMEs, as well as the successfulness in erupting. This work builds the bridge between the CMEs in the outer corona and their progenitors in solar source regions. Our parametric survey suggests that the projection shape, cross-section radius and toroidal flux of source flux ropes are crucial parameters in predicting magnetic structures and propagation speed of CMEs, providing valuable insights for space weather prediction.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Beyond the instanton gas approach: dominant thimbles approximation for the Hubbard model
Authors:
Maksim Ulybyshev,
Fakher F. Assaad
Abstract:
To each complex saddle point of an action, one can attach a Lefschetz thimble on which the imaginary part of the action is constant. Cauchy theorem states that summation over a set of thimbles produces the exact result. This reorganization of the path integral, is an appealing starting point for various approximations: In the realm of auxiliary quantum Monte Carlo methods it provides a framework t…
▽ More
To each complex saddle point of an action, one can attach a Lefschetz thimble on which the imaginary part of the action is constant. Cauchy theorem states that summation over a set of thimbles produces the exact result. This reorganization of the path integral, is an appealing starting point for various approximations: In the realm of auxiliary quantum Monte Carlo methods it provides a framework to alleviate the negative sign problem. Here, we suggest to constrain the integration to the \textit{dominant} thimbles: the thimbles attached to the saddle points with the largest statistical weight. For the Hubbard model, in a formulation where the the Hubbard Stratonovitch field couples to the charge, this provides a \textit{symmetry} consistent approximation to the physics of the Hubbard model: constraining the integration domain does not explicitly break a symmetry. We can test this approach for the Hubbard model at half-filling on a bipartite lattice. The paper builds on the previously developed instanton gas approach, where an exhaustive saddle point approximation was constructed. We present results, showing that the dominant thimbles approximation provides results that are in remarkable agreement with the exact results for various fermionic observables including spin and charge order parameters and single electron spectral functions. We discuss implications of our results for simulations away of half filling.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Human-like Episodic Memory for Infinite Context LLMs
Authors:
Zafeirios Fountas,
Martin A Benfeghoul,
Adnan Oomerjee,
Fenia Christopoulou,
Gerasimos Lampouras,
Haitham Bou-Ammar,
Jun Wang
Abstract:
Large language models (LLMs) have shown remarkable capabilities, but still struggle with processing extensive contexts, limiting their ability to maintain coherence and accuracy over long sequences. In contrast, the human brain excels at organising and retrieving episodic experiences across vast temporal scales, spanning a lifetime. In this work, we introduce EM-LLM, a novel approach that integrat…
▽ More
Large language models (LLMs) have shown remarkable capabilities, but still struggle with processing extensive contexts, limiting their ability to maintain coherence and accuracy over long sequences. In contrast, the human brain excels at organising and retrieving episodic experiences across vast temporal scales, spanning a lifetime. In this work, we introduce EM-LLM, a novel approach that integrates key aspects of human episodic memory and event cognition into LLMs, enabling them to effectively handle practically infinite context lengths while maintaining computational efficiency. EM-LLM organises sequences of tokens into coherent episodic events using a combination of Bayesian surprise and graph-theoretic boundary refinement in an on-line fashion. When needed, these events are retrieved through a two-stage memory process, combining similarity-based and temporally contiguous retrieval for efficient and human-like access to relevant information. Experiments on the LongBench dataset demonstrate EM-LLM's superior performance, outperforming the state-of-the-art InfLLM model with an overall relative improvement of 4.3% across various tasks, including a 33% improvement on the PassageRetrieval task. Furthermore, our analysis reveals strong correlations between EM-LLM's event segmentation and human-perceived events, suggesting a bridge between this artificial system and its biological counterpart. This work not only advances LLM capabilities in processing extended contexts but also provides a computational framework for exploring human memory mechanisms, opening new avenues for interdisciplinary research in AI and cognitive science.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
ASTPrompter: Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts
Authors:
Amelia F. Hardy,
Houjun Liu,
Bernard Lange,
Mykel J. Kochenderfer
Abstract:
Typical schemes for automated red-teaming large language models (LLMs) focus on discovering prompts that trigger a frozen language model (the defender) to generate toxic text. This often results in the prompting model (the adversary) producing text that is unintelligible and unlikely to arise. Here, we propose a reinforcement learning formulation of the LLM red-teaming task which allows us to disc…
▽ More
Typical schemes for automated red-teaming large language models (LLMs) focus on discovering prompts that trigger a frozen language model (the defender) to generate toxic text. This often results in the prompting model (the adversary) producing text that is unintelligible and unlikely to arise. Here, we propose a reinforcement learning formulation of the LLM red-teaming task which allows us to discover prompts that both (1) trigger toxic outputs from a frozen defender and (2) have low perplexity as scored by the defender. We argue these cases are most pertinent in a red-teaming setting because of their likelihood to arise during normal use of the defender model. We solve this formulation through a novel online and weakly supervised variant of Identity Preference Optimization (IPO) on GPT-2 and GPT-2 XL defenders. We demonstrate that our policy is capable of generating likely prompts that also trigger toxicity. Finally, we qualitatively analyze learned strategies, trade-offs of likelihood and toxicity, and discuss implications. Source code is available for this project at: https://github.com/sisl/ASTPrompter/.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The $μ\mathcal{G}$ Language for Programming Graph Neural Networks
Authors:
Matteo Belenchia,
Flavio Corradini,
Michela Quadrini,
Michele Loreti
Abstract:
Graph neural networks form a class of deep learning architectures specifically designed to work with graph-structured data. As such, they share the inherent limitations and problems of deep learning, especially regarding the issues of explainability and trustworthiness. We propose $μ\mathcal{G}$, an original domain-specific language for the specification of graph neural networks that aims to overc…
▽ More
Graph neural networks form a class of deep learning architectures specifically designed to work with graph-structured data. As such, they share the inherent limitations and problems of deep learning, especially regarding the issues of explainability and trustworthiness. We propose $μ\mathcal{G}$, an original domain-specific language for the specification of graph neural networks that aims to overcome these issues. The language's syntax is introduced, and its meaning is rigorously defined by a denotational semantics. An equivalent characterization in the form of an operational semantics is also provided and, together with a type system, is used to prove the type soundness of $μ\mathcal{G}$. We show how $μ\mathcal{G}$ programs can be represented in a more user-friendly graphical visualization, and provide examples of its generality by showing how it can be used to define some of the most popular graph neural network models, or to develop any custom graph processing application.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Combination theorems in convex projective geometry
Authors:
Jeffrey Danciger,
François Guéritaud,
Fanny Kassel
Abstract:
We prove a general combination theorem for discrete subgroups of $\mathrm{PGL}(n,\mathbb{R})$ preserving properly convex open subsets in the projective space $\mathbb{P}(\mathbb{R}^n)$, in the spirit of Klein and Maskit. We use it in particular to prove that a free product of two $(\mathbb{Z}$-)linear groups is again ($\mathbb{Z}$-)linear, and to construct Zariski-dense discrete subgroups of…
▽ More
We prove a general combination theorem for discrete subgroups of $\mathrm{PGL}(n,\mathbb{R})$ preserving properly convex open subsets in the projective space $\mathbb{P}(\mathbb{R}^n)$, in the spirit of Klein and Maskit. We use it in particular to prove that a free product of two $(\mathbb{Z}$-)linear groups is again ($\mathbb{Z}$-)linear, and to construct Zariski-dense discrete subgroups of $\mathrm{PGL}(n,\mathbb{R})$ which are not lattices but contain a lattice of a smaller higher-rank simple Lie group. We also establish a version of our combination theorem for discrete groups that are convex cocompact in $\mathbb{P}(\mathbb{R}^n)$ in the sense of arXiv:1704.08711. In particular, we prove that a free product of two convex cocompact groups is convex cocompact, which implies that the free product of two Anosov groups is Anosov. We also prove a virtual amalgamation theorem over convex cocompact subgroups generalizing work of Baker-Cooper.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
MUSCLE: A Model Update Strategy for Compatible LLM Evolution
Authors:
Jessica Echterhoff,
Fartash Faghri,
Raviteja Vemulapalli,
Ting-Yao Hu,
Chun-Liang Li,
Oncel Tuzel,
Hadi Pouransari
Abstract:
Large Language Models (LLMs) are frequently updated due to data or architecture changes to improve their performance. When updating models, developers often focus on increasing overall performance metrics with less emphasis on being compatible with previous model versions. However, users often build a mental model of the functionality and capabilities of a particular machine learning model they ar…
▽ More
Large Language Models (LLMs) are frequently updated due to data or architecture changes to improve their performance. When updating models, developers often focus on increasing overall performance metrics with less emphasis on being compatible with previous model versions. However, users often build a mental model of the functionality and capabilities of a particular machine learning model they are interacting with. They have to adapt their mental model with every update -- a draining task that can lead to user dissatisfaction. In practice, fine-tuned downstream task adapters rely on pretrained LLM base models. When these base models are updated, these user-facing downstream task models experience instance regression or negative flips -- previously correct instances are now predicted incorrectly. This happens even when the downstream task training procedures remain identical. Our work aims to provide seamless model updates to a user in two ways. First, we provide evaluation metrics for a notion of compatibility to prior model versions, specifically for generative tasks but also applicable for discriminative tasks. We observe regression and inconsistencies between different model versions on a diverse set of tasks and model updates. Second, we propose a training strategy to minimize the number of inconsistencies in model updates, involving training of a compatibility model that can enhance task fine-tuned language models. We reduce negative flips -- instances where a prior model version was correct, but a new model incorrect -- by up to 40% from Llama 1 to Llama 2.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
A Perspective on Foundation Models for the Electric Power Grid
Authors:
Hendrik F. Hamann,
Thomas Brunschwiler,
Blazhe Gjorgiev,
Leonardo S. A. Martins,
Alban Puech,
Anna Varbella,
Jonas Weiss,
Juan Bernabe-Moreno,
Alexandre Blondin Massé,
Seong Choi,
Ian Foster,
Bri-Mathias Hodge,
Rishabh Jain,
Kibaek Kim,
Vincent Mai,
François Mirallès,
Martin De Montigny,
Octavio Ramos-Leaños,
Hussein Suprême,
Le Xie,
El-Nasser S. Youssef,
Arnaud Zinflou,
Alexander J. Belvi,
Ricardo J. Bessa,
Bishnu Prasad Bhattari
, et al. (2 additional authors not shown)
Abstract:
Foundation models (FMs) currently dominate news headlines. They employ advanced deep learning architectures to extract structural information autonomously from vast datasets through self-supervision. The resulting rich representations of complex systems and dynamics can be applied to many downstream applications. Therefore, FMs can find uses in electric power grids, challenged by the energy transi…
▽ More
Foundation models (FMs) currently dominate news headlines. They employ advanced deep learning architectures to extract structural information autonomously from vast datasets through self-supervision. The resulting rich representations of complex systems and dynamics can be applied to many downstream applications. Therefore, FMs can find uses in electric power grids, challenged by the energy transition and climate change. In this paper, we call for the development of, and state why we believe in, the potential of FMs for electric grids. We highlight their strengths and weaknesses amidst the challenges of a changing grid. We argue that an FM learning from diverse grid data and topologies could unlock transformative capabilities, pioneering a new approach in leveraging AI to redefine how we manage complexity and uncertainty in the electric grid. Finally, we discuss a power grid FM concept, namely GridFM, based on graph neural networks and show how different downstream tasks benefit.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
TelecomGPT: A Framework to Build Telecom-Specfic Large Language Models
Authors:
Hang Zou,
Qiyang Zhao,
Yu Tian,
Lina Bariah,
Faouzi Bader,
Thierry Lestable,
Merouane Debbah
Abstract:
Large Language Models (LLMs) have the potential to revolutionize the Sixth Generation (6G) communication networks. However, current mainstream LLMs generally lack the specialized knowledge in telecom domain. In this paper, for the first time, we propose a pipeline to adapt any general purpose LLMs to a telecom-specific LLMs. We collect and build telecom-specific pre-train dataset, instruction data…
▽ More
Large Language Models (LLMs) have the potential to revolutionize the Sixth Generation (6G) communication networks. However, current mainstream LLMs generally lack the specialized knowledge in telecom domain. In this paper, for the first time, we propose a pipeline to adapt any general purpose LLMs to a telecom-specific LLMs. We collect and build telecom-specific pre-train dataset, instruction dataset, preference dataset to perform continual pre-training, instruct tuning and alignment tuning respectively. Besides, due to the lack of widely accepted evaluation benchmarks in telecom domain, we extend existing evaluation benchmarks and proposed three new benchmarks, namely, Telecom Math Modeling, Telecom Open QnA and Telecom Code Tasks. These new benchmarks provide a holistic evaluation of the capabilities of LLMs including math modeling, Open-Ended question answering, code generation, infilling, summarization and analysis in telecom domain. Our fine-tuned LLM TelecomGPT outperforms state of the art (SOTA) LLMs including GPT-4, Llama-3 and Mistral in Telecom Math Modeling benchmark significantly and achieve comparable performance in various evaluation benchmarks such as TeleQnA, 3GPP technical documents classification, telecom code summary and generation and infilling.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Liouville polarizations and the rigidity of their Lagrangian skeleta in dimension $4$
Authors:
Emmanuel Opshtein,
Felix Schlenk
Abstract:
The main theme of this paper is the introduction of a new type of polarizations, suited for some open symplectic manifolds, and their applications. These applications include symplectic embedding results that answer a question by Sackel-Song-Varolgunes-Zhu and Brendel, new Lagrangian non-removable intersections at small scales, and a novel phenomenon of Legendrian barriers in contact geometry.
The main theme of this paper is the introduction of a new type of polarizations, suited for some open symplectic manifolds, and their applications. These applications include symplectic embedding results that answer a question by Sackel-Song-Varolgunes-Zhu and Brendel, new Lagrangian non-removable intersections at small scales, and a novel phenomenon of Legendrian barriers in contact geometry.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Cosmic topology. Part IIIa. Microwave background parity violation without parity-violating microphysics
Authors:
Amirhossein Samandar,
Javier Carrón Duque,
Craig J. Copi,
Mikel Martin Barandiaran,
Deyan P. Mihaylov,
Thiago S. Pereira,
Glenn D. Starkman,
Yashar Akrami,
Stefano Anselmi,
Fernando Cornet-Gomez,
Johannes R. Eskilt,
Andrew H. Jaffe,
Arthur Kosowsky,
Andrius Tamosiunas
Abstract:
The standard cosmological model, which assumes statistical isotropy and parity invariance, predicts the absence of correlations between even-parity and odd-parity observables of the cosmic microwave background (CMB). Contrary to these predictions, large-angle CMB temperature anomalies generically involve correlations between even-$\ell$ and odd-$\ell$ angular power spectrum $C_\ell$, while recent…
▽ More
The standard cosmological model, which assumes statistical isotropy and parity invariance, predicts the absence of correlations between even-parity and odd-parity observables of the cosmic microwave background (CMB). Contrary to these predictions, large-angle CMB temperature anomalies generically involve correlations between even-$\ell$ and odd-$\ell$ angular power spectrum $C_\ell$, while recent analyses of CMB polarization have revealed non-zero equal-$\ell$ $EB$ correlations. These findings challenge the conventional understanding, suggesting deviations from statistical isotropy, violations of parity, or both. Cosmic topology, which involves changing only the boundary conditions of space relative to standard cosmology, offers a compelling framework to potentially account for such parity-violating observations. Topology inherently breaks statistical isotropy, and can also break homogeneity and parity, providing a natural paradigm for explaining observations of parity-breaking observables without the need to add parity violation to the underlying microphysics. Our investigation delves into the harmonic space implications of topology for CMB correlations, using as an illustrative example $EB$ correlations generated by tensor perturbations under both parity-preserving and parity-violating scenarios. Consequently, these findings not only challenge the foundational assumptions of the standard cosmological model but also open new avenues for exploring the topological structure of the Universe through CMB observations.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
A grid of self-consistent MSG (MARCS-StaticWeather-GGchem) cool stellar, sub-stellar, and exoplanetary model atmospheres
Authors:
Uffe G. Jørgensen,
Flavia Amadio,
Beatriz Campos Estrada,
Kristian Holten Møller,
Aaron D. Schneider,
Thorsten Balduin,
Azzurra D'Alessandro,
Eftychia Symeonidou,
Christiane Helling,
Åke Nordlund,
Peter Woitke
Abstract:
Computation of a grid of self consistent 1D model atmospheres of cool stars, sub-stellar objects and exoplanets in the effective temperature range 300K to 3000K, including cloud formation, chemical non-equilibrium effects, and stellar irradiation.
The models are called MSG, because they are based on an iterative coupling between three well tested codes, the MARCS stellar atmosphere code, the Sta…
▽ More
Computation of a grid of self consistent 1D model atmospheres of cool stars, sub-stellar objects and exoplanets in the effective temperature range 300K to 3000K, including cloud formation, chemical non-equilibrium effects, and stellar irradiation.
The models are called MSG, because they are based on an iterative coupling between three well tested codes, the MARCS stellar atmosphere code, the StaticWeather cloud formation code and the GGchem chemical equilibrium code. It includes up-to-date molecular and atomic opacities, cloud formation and advanced chemical equilibrium calculations, and involves new numerical methods at low temperatures to allow robust convergence.
The coupling between the MARCS radiative transfer and GGchem chemical equilibrium computations has made it possibly effectively to reach convergence based on electron pressure for the warmer models and gas pressure for the cooler models, enabling self-consistent modelling of stellar, sub-stellar and exoplanetary objects in a very wide range of effective temperatures. Here we describe the basic details of the models, with illustrative examples of cloudy and irradiated models as well as models based on non-equilibrium chemistry.
The qualitative changes in the relative abundances of TiO, H2O, CH4, NH3, and other molecules in our models follow the observationally defined M, L, T (and Y) sequences, but reveal more complex and depth dependent abundance changes, and therefore a spectral classification depending on more parameters. The self consistent coupling to Static-Weather cloud computations, allows detailed comparison between nucleation and observed relative dimming of different spectral bands, with advanced applications for new identification methods of potential exoplanetary biology.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Open-Canopy: A Country-Scale Benchmark for Canopy Height Estimation at Very High Resolution
Authors:
Fajwel Fogel,
Yohann Perron,
Nikola Besic,
Laurent Saint-André,
Agnès Pellissier-Tanon,
Martin Schwartz,
Thomas Boudras,
Ibrahim Fayad,
Alexandre d'Aspremont,
Loic Landrieu,
Phillipe Ciais
Abstract:
Estimating canopy height and canopy height change at meter resolution from satellite imagery has numerous applications, such as monitoring forest health, logging activities, wood resources, and carbon stocks. However, many existing forest datasets are based on commercial or closed data sources, restricting the reproducibility and evaluation of new approaches. To address this gap, we introduce Open…
▽ More
Estimating canopy height and canopy height change at meter resolution from satellite imagery has numerous applications, such as monitoring forest health, logging activities, wood resources, and carbon stocks. However, many existing forest datasets are based on commercial or closed data sources, restricting the reproducibility and evaluation of new approaches. To address this gap, we introduce Open-Canopy, the first open-access and country-scale benchmark for very high resolution (1.5 m) canopy height estimation. Covering more than 87,000 km$^2$ across France, Open-Canopy combines SPOT satellite imagery with high resolution aerial LiDAR data. We also propose Open-Canopy-$Δ$, the first benchmark for canopy height change detection between two images taken at different years, a particularly challenging task even for recent models. To establish a robust foundation for these benchmarks, we evaluate a comprehensive list of state-of-the-art computer vision models for canopy height estimation. The dataset and associated codes can be accessed at https://github.com/fajwel/Open-Canopy.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Dipolar droplets of strongly interacting molecules
Authors:
Tim Langen,
Jordi Bosonat,
Juan Sánchez-Baena,
Raúl Bombín,
Tijs Karman,
Ferran Mazzanti
Abstract:
We simulate a molecular Bose-Einstein condensate in the strongly dipolar regime, observing the existence of self-bound droplets, as well as their splitting into multiple droplets by confinement-induced frustration. Our quantum Monte Carlo approach goes beyond the limits of the established effective mean-field theories for dipolar quantum gases, revealing small droplets produced by strong dipolar i…
▽ More
We simulate a molecular Bose-Einstein condensate in the strongly dipolar regime, observing the existence of self-bound droplets, as well as their splitting into multiple droplets by confinement-induced frustration. Our quantum Monte Carlo approach goes beyond the limits of the established effective mean-field theories for dipolar quantum gases, revealing small droplets produced by strong dipolar interactions outside known stable regimes. The simulations include realistic molecular interactions and therefore have direct relevance for current and future experiments.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The Effectiveness of Curvature-Based Rewiring and the Role of Hyperparameters in GNNs Revisited
Authors:
Floriano Tori,
Vincent Holst,
Vincent Ginis
Abstract:
Message passing is the dominant paradigm in Graph Neural Networks (GNNs). The efficiency of message passing, however, can be limited by the topology of the graph. This happens when information is lost during propagation due to being oversquashed when travelling through bottlenecks. To remedy this, recent efforts have focused on graph rewiring techniques, which disconnect the input graph originatin…
▽ More
Message passing is the dominant paradigm in Graph Neural Networks (GNNs). The efficiency of message passing, however, can be limited by the topology of the graph. This happens when information is lost during propagation due to being oversquashed when travelling through bottlenecks. To remedy this, recent efforts have focused on graph rewiring techniques, which disconnect the input graph originating from the data and the computational graph, on which message passing is performed. A prominent approach for this is to use discrete graph curvature measures, of which several variants have been proposed, to identify and rewire around bottlenecks, facilitating information propagation. While oversquashing has been demonstrated in synthetic datasets, in this work we reevaluate the performance gains that curvature-based rewiring brings to real-world datasets. We show that in these datasets, edges selected during the rewiring process are not in line with theoretical criteria identifying bottlenecks. This implies they do not necessarily oversquash information during message passing. Subsequently, we demonstrate that SOTA accuracies on these datasets are outliers originating from sweeps of hyperparameters -- both the ones for training and dedicated ones related to the rewiring algorithm -- instead of consistent performance gains. In conclusion, our analysis nuances the effectiveness of curvature-based rewiring in real-world datasets and brings a new perspective on the methods to evaluate GNN accuracy improvements.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
HiPPO-Prophecy: State-Space Models can Provably Learn Dynamical Systems in Context
Authors:
Federico Arangath Joseph,
Kilian Haefeli,
Noah Liniger,
Caglar Gulcehre
Abstract:
This work explores the in-context learning capabilities of State Space Models (SSMs) and presents, to the best of our knowledge, the first theoretical explanation of a possible underlying mechanism. We introduce a novel weight construction for SSMs, enabling them to predict the next state of any dynamical system after observing previous states without parameter fine-tuning. This is accomplished by…
▽ More
This work explores the in-context learning capabilities of State Space Models (SSMs) and presents, to the best of our knowledge, the first theoretical explanation of a possible underlying mechanism. We introduce a novel weight construction for SSMs, enabling them to predict the next state of any dynamical system after observing previous states without parameter fine-tuning. This is accomplished by extending the HiPPO framework to demonstrate that continuous SSMs can approximate the derivative of any input signal. Specifically, we find an explicit weight construction for continuous SSMs and provide an asymptotic error bound on the derivative approximation. The discretization of this continuous SSM subsequently yields a discrete SSM that predicts the next state. Finally, we demonstrate the effectiveness of our parameterization empirically. This work should be an initial step toward understanding how sequence models based on SSMs learn in context.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Bipartizing (Pseudo-)Disk Graphs: Approximation with a Ratio Better than 3
Authors:
Daniel Lokshtanov,
Fahad Panolan,
Saket Saurabh,
Jie Xue,
Meirav Zehavi
Abstract:
In a disk graph, every vertex corresponds to a disk in $\mathbb{R}^2$ and two vertices are connected by an edge whenever the two corresponding disks intersect. Disk graphs form an important class of geometric intersection graphs, which generalizes both planar graphs and unit-disk graphs. We study a fundamental optimization problem in algorithmic graph theory, Bipartization (also known as Odd Cycle…
▽ More
In a disk graph, every vertex corresponds to a disk in $\mathbb{R}^2$ and two vertices are connected by an edge whenever the two corresponding disks intersect. Disk graphs form an important class of geometric intersection graphs, which generalizes both planar graphs and unit-disk graphs. We study a fundamental optimization problem in algorithmic graph theory, Bipartization (also known as Odd Cycle Transversal), on the class of disk graphs. The goal of Bipartization is to delete a minimum number of vertices from the input graph such that the resulting graph is bipartite. A folklore (polynomial-time) $3$-approximation algorithm for Bipartization on disk graphs follows from the classical framework of Goemans and Williamson [Combinatorica'98] for cycle-hitting problems. For over two decades, this result has remained the best known approximation for the problem (in fact, even for Bipartization on unit-disk graphs). In this paper, we achieve the first improvement upon this result, by giving a $(3-α)$-approximation algorithm for Bipartization on disk graphs, for some constant $α>0$. Our algorithm directly generalizes to the broader class of pseudo-disk graphs. Furthermore, our algorithm is robust in the sense that it does not require a geometric realization of the input graph to be given.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis
Authors:
Andoni Rodríguez,
Felipe Gorostiaga,
César Sánchez
Abstract:
Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specification language. Boolean abstractions allow reducing LTLt specifications (i.e., LTL with propositions replaced by literals from a theory calT), into equi-realizable LTL specifications. In this paper we extend these results…
▽ More
Reactive synthesis is the process of generating correct controllers from temporal logic specifications. Classical LTL reactive synthesis handles (propositional) LTL as a specification language. Boolean abstractions allow reducing LTLt specifications (i.e., LTL with propositions replaced by literals from a theory calT), into equi-realizable LTL specifications. In this paper we extend these results into a full static synthesis procedure. The synthesized system receives from the environment valuations of variables from a rich theory calT and outputs valuations of system variables from calT. We use the abstraction method to synthesize a reactive Boolean controller from the LTL specification, and we combine it with functional synthesis to obtain a static controller for the original LTLt specification. We also show that our method allows responses in the sense that the controller can optimize its outputs in order to e.g., always provide the smallest safe values. This is the first full static synthesis method for LTLt, which is a deterministic program (hence predictable and efficient).
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Thermodynamics of Giant Molecular Clouds: The Effects of Dust Grain Size
Authors:
Nadine H. Soliman,
Philip F. Hopkins,
Michael Y. Grudić
Abstract:
The dust grain size distribution (GSD) likely varies significantly across different star-forming environments in the Universe, but the overall impact of this variation on star formation remains unclear. This ambiguity arises because the GSD interacts non-linearly with processes like heating/cooling, radiation, and chemistry, which have competing effects and different environmental dependencies. In…
▽ More
The dust grain size distribution (GSD) likely varies significantly across different star-forming environments in the Universe, but the overall impact of this variation on star formation remains unclear. This ambiguity arises because the GSD interacts non-linearly with processes like heating/cooling, radiation, and chemistry, which have competing effects and different environmental dependencies. In this study, we investigate the effects of GSD variation on the thermochemistry and evolution of giant molecular clouds (GMCs). To achieve this, we conducted radiation-dust-magnetohydrodynamic simulations spanning a range of cloud masses and grain sizes, which explicitly incorporate the dynamics of dust grains within the full-physics framework of the STARFORGE project. We find that differences in grain size significantly alter the thermochemistry of GMCs. Specifically, we show that the leading-order effect is that larger grains, under fixed dust mass and dust-to-gas ratio conditions, result in lower dust opacities. This reduced opacity permits ISRF photons to penetrate more deeply and allows internal radiation field photons to permeate more extensively into the cloud, resulting in rapid gas heating and the inhibition of star formation. We find that star formation efficiency is highly sensitive to grain size, with an order of magnitude reduction in efficiency when grain size increases from 0.1 $\rmμm$ to 10 $\rmμm$. Additionally, we note that warmer gas suppresses the formation of low-mass stars. Moreover, as a consequence of the decreased opacities, we observe a greater proportion of gas residing in diffuse ionized structures.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Modelling shock propagation and resilience in financial temporal networks
Authors:
Fabrizio Lillo,
Giorgio Rizzini
Abstract:
Modelling how a shock propagates in a temporal network and how the system relaxes back to equilibrium is challenging but important in many applications, such as financial systemic risk. Most studies so far have focused on shocks hitting a link of the network, while often it is the node and its propensity to be connected that are affected by a shock. Using as starting point the configuration model,…
▽ More
Modelling how a shock propagates in a temporal network and how the system relaxes back to equilibrium is challenging but important in many applications, such as financial systemic risk. Most studies so far have focused on shocks hitting a link of the network, while often it is the node and its propensity to be connected that are affected by a shock. Using as starting point the configuration model, a specific Exponential Random Graph model, we propose a vector autoregressive (VAR) framework to analytically compute the Impulse Response Function (IRF) of a network metric conditional to a shock on a node. Unlike the standard VAR, the model is a nonlinear function of the shock size and the IRF depends on the state of the network at the shock time. We propose a novel econometric estimation method that combines the Maximum Likelihood Estimation and Kalman filter to estimate the dynamics of the latent parameters and compute the IRF, and we apply the proposed methodology to the dynamical network describing the electronic Market of Interbank Deposit (e-MID).
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Nationwide frequency-dependent seismic site amplification models for Iceland
Authors:
Atefe Darzi,
Benedikt Halldorsson,
Fabrice Cotton,
Sahar Rahpeyma
Abstract:
Seismic wave amplification due to localized site conditions is an important aspect of regional seismic hazard assessment. Without systematic studies of frequency-dependent site-effects during strong Icelandic earthquakes, various local site proxies of large-scale studies in other seismic regions have been used in Iceland. Recently, earthquake site-effects were rigorously quantified for 34 stations…
▽ More
Seismic wave amplification due to localized site conditions is an important aspect of regional seismic hazard assessment. Without systematic studies of frequency-dependent site-effects during strong Icelandic earthquakes, various local site proxies of large-scale studies in other seismic regions have been used in Iceland. Recently, earthquake site-effects were rigorously quantified for 34 stations in Southwest Iceland for the first time and correlated to distinct Icelandic geological units of hard rock, rock, lava rock, and sedimentary soil. These units are prevalent throughout Iceland and herein we present 1) nationwide maps of proxies (slope, Vs30, geological units) that may contribute to a better estimation of site effects and associated, 2) frequency-dependent site-amplification maps of Iceland. The frequency-dependent site factors for each geological unit are presented at 1-30 Hz and PGA. Finally, we generate site amplification maps based on recent large-scale models developed in other seismic regions (ESRM20) and various site proxies they are based on (geology- and slope-based inferred Vs30, geomorphological sedimentary thickness). We compare site-proxy maps and amplification maps from both Icelandic and large-scale, non-Icelandic, models. Neither spatial patterns nor amplification levels in either proxy or amplification maps from large-scale non-Icelandic studies resemble those observed from local quantitative strong-motion research as presented in this study. We attribute the discrepancy primarily to the young geology of Iceland and its formation history. Additionally, we compare model performance across frequencies by assessing the bias of model predictions against empirical site amplifications in the South Iceland Seismic Zone, accounting for site-to-site variability of residuals indicating the superior performance of the local amplification model.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Strangeness-Correlations on the pseudo-critical line in (2+1)-flavor QCD
Authors:
D. Bollweg,
H. -T. Ding,
J. Goswami,
F. Karsch,
Swagato Mukherjee,
P. Petreczky,
C. Schmidt
Abstract:
We present some lattice QCD results on first ($χ_1^i$) and second ($χ_2^i$) cumulants of and correlations ($χ_{11}^{ij}$) among net baryon-number ($B$), strangeness ($S$) and electric charge ($Q$) along the pseudo-critical line ($T_{pc}(μ_B)$) in the temperature ($T$)--baryon chemical potential ($μ_B$) phase diagram of (2+1)-flavor QCD. We point out that violations of the isospin symmetric limit o…
▽ More
We present some lattice QCD results on first ($χ_1^i$) and second ($χ_2^i$) cumulants of and correlations ($χ_{11}^{ij}$) among net baryon-number ($B$), strangeness ($S$) and electric charge ($Q$) along the pseudo-critical line ($T_{pc}(μ_B)$) in the temperature ($T$)--baryon chemical potential ($μ_B$) phase diagram of (2+1)-flavor QCD. We point out that violations of the isospin symmetric limit of vanishing electric charge chemical potential are small along the $T_{pc}(μ_B)$ for the entire range of $μ_B$ covered in the RHIC beam energy scan. For the strangeness neutral matter produced in heavy-ion collisions this leads to a close relation between $χ_{11}^{BS}$ and $χ_{11}^{QS}$. We compare lattice QCD results for $χ_{11}^{BS}/χ_2^S$ along the $T_{pc}(μ_B)$ line with preliminary experimental measurements of $χ_{11}^{BS}/χ_2^S$ for collision energies $7.7~{\rm GeV}\le \sqrt{s_{_{NN}}}\le 62.4~{\rm GeV}$. While we find good agreements for $\sqrt{s_{_{NN}}}\ge 39$~GeV, differences are sizeable at smaller values of $\sqrt{s_{_{NN}}}$. Moreover, we compare lattice QCD results for the ratio of the strangeness ($μ_S$) to baryon ($μ_B$) chemical potentials, which define a strangeness neutral system with fixed electric charge to baryon number density, with experimental results obtained by the STAR collaboration for $μ_S/μ_B$ using strange baryon yields on the freeze-out line. Finally, we determine the baryon chemical potential at the freeze-out ($μ_B^f$) by comparing $χ_1^B/χ_2^B$ along the $T_{pc}(μ_B)$ with the experimentally measured net-proton cumulants $χ_1^p/χ_2^p$. We find that $\{μ_B^f, T_{pc}(μ_B^f) \}$ are consistent with the freeze-out parameters of the statistical-model fits to experimentally measured hadron yields for $\sqrt{s_{_{NN}}} \geq 11.5$ GeV.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Function spaces on formal manifolds
Authors:
Fulin Chen,
Binyong Sun,
Chuyun Wang
Abstract:
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the foundational framework of formal manifolds. In this paper, we study various function spaces on formal manifolds, including generalizations of vector-valued gen…
▽ More
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In a previous paper, we introduce the notion of formal manifolds and develop the foundational framework of formal manifolds. In this paper, we study various function spaces on formal manifolds, including generalizations of vector-valued generalized functions and vector-valued distributions on smooth manifolds to the setting of formal manifolds.
△ Less
Submitted 10 July, 2024;
originally announced July 2024.
-
Team careers in science: formation, composition and success of persistent collaborations
Authors:
Sandeep Chowdhary,
Luca Gallo,
Federico Musciotto,
Federico Battiston
Abstract:
Teams are the fundamental units propelling innovation and advancing modern science. A rich literature links the fundamental features of teams, such as their size and diversity, to academic success. However, such analyses fail to capture temporal patterns, treating each group of co-authors as a distinct unit and neglecting the existence of persistent collaborations. By contrast, teams are dynamical…
▽ More
Teams are the fundamental units propelling innovation and advancing modern science. A rich literature links the fundamental features of teams, such as their size and diversity, to academic success. However, such analyses fail to capture temporal patterns, treating each group of co-authors as a distinct unit and neglecting the existence of persistent collaborations. By contrast, teams are dynamical entities, made of core members who consistently work together, surrounded by transient members who sporadically participate. Leveraging on a large dataset of over 205 million scientific papers published since 1900, we extract 511,550 core teams of statistically significant persistent collaborations of pairs and larger groups of scientists. We look into `team careers' investigating their trajectories in time, characterizing their formation, productivity and eventual dissolution. We characterize team composition along multiple dimensions, including age, academic affiliation and scientific disciplines. Finally, we investigate the academic impact of persistent collaborations, hallmarking the key compositional features underlying their success. Our work sheds light on the nature of persistent teams, informing researchers, institutions and funding agencies about the dynamics of their formation, evolution and success.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The $Λ_c\to Λ\, l^+ν_\ell$ weak decay including new physics
Authors:
Fernando Alvarado,
Luis Alvarez-Ruso,
Eliecer Hernandez,
Juan Nieves,
Neus Penalva
Abstract:
We investigate the $Λ_c \to Λ\ell^{+} ν_\ell$ decay with a focus on potential new physics (NP) effects in the $\ell = μ$ channel. We employ an effective Hamiltonian within the framework of the Standard Model Effective Field Theory (SMEFT) to consider generalized dimension-6 semileptonic $c\to s$ operators of scalar, pseudoscalar, vector, axial-vector and tensor types. We rely on Lattice QCD (LQCD)…
▽ More
We investigate the $Λ_c \to Λ\ell^{+} ν_\ell$ decay with a focus on potential new physics (NP) effects in the $\ell = μ$ channel. We employ an effective Hamiltonian within the framework of the Standard Model Effective Field Theory (SMEFT) to consider generalized dimension-6 semileptonic $c\to s$ operators of scalar, pseudoscalar, vector, axial-vector and tensor types. We rely on Lattice QCD (LQCD) for the hadronic transition form factors, using heavy quark spin symmetry (HQSS) to determine those that have not yet been obtained on the lattice. Uncertainties due to the truncation of the NP Hamiltonian and different implementations of HQSS are taken into account. As a result, we unravel the NP discovery potential of the $Λ_c\to Λ$ semileptonic decay in different observables. Our findings indicate high sensitivity to NP in lepton flavour universality ratios, probing multi-TeV scales in some cases. On the theoretical side, we identify LQCD uncertainties in axial and vector form factors as critical for improving NP sensitivity, alongside better SMEFT uncertainty estimations.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Quantum backreaction effect in optical soliton
Authors:
Sang-Shin Baak,
Friedrich Koenig
Abstract:
Optical solitons classically are stationary solutions of the nonlinear Schrödinger equation. We perform a quantum field theoretic treatment by quantising a linearised fluctuation field around the classical soliton solution which can be seen as providing a background spacetime for the field. The linearised fluctuation modifies the soliton background, which is often neglected, reminiscent of the non…
▽ More
Optical solitons classically are stationary solutions of the nonlinear Schrödinger equation. We perform a quantum field theoretic treatment by quantising a linearised fluctuation field around the classical soliton solution which can be seen as providing a background spacetime for the field. The linearised fluctuation modifies the soliton background, which is often neglected, reminiscent of the nondepleted-pump approximation. Going beyond this approximation and by using a number-conserving Bogoljubov approach, we find unstable modes that grow as the soliton propagates. Eventually, these unstable modes induce a considerable (backreaction) effect in the soliton. We calculate the backreaction in the classical field fully analytically in the leading second order. The result is a quadratic local decrease of the soliton photon number in propagation due to the backreaction effect of the unstable mode. Provided the initial pulse is close to the classical soliton solution, the unstable mode contributions always become dominant. We also consider practical scenarios for observing this quantum-induced soliton distortion, in the spectral domain. The backreaction, which we expect to be present in bright and dark, discrete and continuous solitons and other nonlinear pulses plays an important role for future optical analogue gravity experiments, for soliton lasers, and optical communications.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Bonding states underpinning structural transitions in IrTe$_2$ observed with micro-ARPES
Authors:
C. W. Nicholson,
M. D. Watson,
A. Pulkkinen,
M. Rumo,
G. Kremer,
K. Y. Ma,
F. O. von Rohr,
C. Cacho,
C. Monney
Abstract:
Competing interactions in low-dimensional materials can produce nearly degenerate electronic and structural phases. We investigate the staircase of structural phase transitions in layered IrTe$_2$ for which a number of potential transition mechanisms have been postulated. The spatial coexistence of multiple phases on the micron scale has prevented a detailed analysis of the electronic structure. B…
▽ More
Competing interactions in low-dimensional materials can produce nearly degenerate electronic and structural phases. We investigate the staircase of structural phase transitions in layered IrTe$_2$ for which a number of potential transition mechanisms have been postulated. The spatial coexistence of multiple phases on the micron scale has prevented a detailed analysis of the electronic structure. By exploiting micro-ARPES obtained with synchrotron radiation we extract the electronic structure of the multiple structural phases in IrTe$_2$ in order to address the mechanism underlying the phase transitions. We find direct evidence of lowered energy states that appear in the low-temperature phases, states previously predicted by \textit{ab initio} calculations and extended here. Our results validate a proposed scenario of bonding and anti-bonding states as the driver of the phase transitions.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
In-situ Analysis of the Effect of Residual fcc Phase and Special Grain Boundaries on the Deformation Dynamics in Pure Cobalt
Authors:
Michal Knapek,
Peter Minárik,
Adam Greš,
Patrik Dobroň,
Petr Harcuba,
Tomáš Tayari,
František Chmelík
Abstract:
Polycrystalline hcp metals - an important class of engineering materials - typically exhibit complex plasticity because of a limited number of slip systems. Among these metals, deformation is even more complicated in cobalt as it commonly contains residual fcc phase due to the incomplete martensitic fcc$\rightarrow$hcp transformation upon cooling. In this work, we employ a combination of in-situ (…
▽ More
Polycrystalline hcp metals - an important class of engineering materials - typically exhibit complex plasticity because of a limited number of slip systems. Among these metals, deformation is even more complicated in cobalt as it commonly contains residual fcc phase due to the incomplete martensitic fcc$\rightarrow$hcp transformation upon cooling. In this work, we employ a combination of in-situ (acoustic emission, AE) and ex-situ (scanning electron microscopy, SEM) techniques in order to examine deformation dynamics in pure polycrystalline cobalt varying in grain size and the content of residual fcc phase prepared using systematic thermal treatment and cycling. We reveal that the presence of the fcc phase and special ~71° grain boundaries between different hcp martensite variants brings about higher deformability and strength. The fcc phase provides additional slip systems and also accommodates deformation via the stress-induced fcc$\rightarrow$hcp transformation during loading. On the other hand, special boundaries enhance structural integrity and suppress the formation of critical defects. Both these non-trivial effects can dominate over the influence of grain size, being a traditional microstructural variable. The ex-situ SEM experiments further reveal that the stress-induced fcc$\rightarrow$hcp transformation is sluggish and only partial even at high strains, and it does not give rise to detectable AE signals, unlike in other materials exhibiting martensitic transformation. In turn, these insights into cobalt plasticity provide new avenues for the microstructure and performance optimization towards the desired applications through the modern concept of grain boundary engineering.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Experimental verifiable multi-client blind quantum computing on a Qline architecture
Authors:
Beatrice Polacchi,
Dominik Leichtle,
Gonzalo Carvacho,
Giorgio Milani,
Nicolò Spagnolo,
Marc Kaplan,
Elham Kashefi,
Fabio Sciarrino
Abstract:
The exploitation of certification tools by end users represents a fundamental aspect of the development of quantum technologies as the hardware scales up beyond the regime of classical simulatability. Certifying quantum networks becomes even more crucial when the privacy of their users is exposed to malicious quantum nodes or servers as in the case of multi-client distributed blind quantum computi…
▽ More
The exploitation of certification tools by end users represents a fundamental aspect of the development of quantum technologies as the hardware scales up beyond the regime of classical simulatability. Certifying quantum networks becomes even more crucial when the privacy of their users is exposed to malicious quantum nodes or servers as in the case of multi-client distributed blind quantum computing, where several clients delegate a joint private computation to remote quantum servers, e.g. federated quantum machine learning. In such protocols, security must be provided not only by kee** data hidden but also by verifying that the server is correctly performing the requested computation while minimizing the hardware assumptions on the employed devices. Notably, standard verification techniques fail in scenarios where the clients receive quantum states from untrusted sources such as, for example, in a recently demonstrated linear quantum network performing multi-client blind quantum computation. However, recent theoretical results provide techniques to verify blind quantum computations even in the case of untrusted state preparation. Equipped with such theoretical tools, in this work, we provide the first experimental implementation of a two-client verifiable blind quantum computing protocol in a distributed architecture. The obtained results represent novel perspectives for the verification of multi-tenant distributed quantum computation in large-scale networks.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Dynamic-Mode Decomposition of Geostrophically Balanced and Unbalanced Motions from SWOT
Authors:
Takaya Uchida,
Yadidya Badarvada,
Karl E. Lapo,
Xiaobiao Xu,
Brian K. Arbic,
Dimitris Menemenlis,
Luna Hiron,
Eric P. Chassignet,
Jay F. Shriver
Abstract:
The decomposition of oceanic flow into its balanced and unbalanced motions carries theoretical and practical significance for the oceanographic community. These two motions have distinct dynamical characteristics and affect the transport of tracers differently from one another. The launch of Surface Water and Ocean Topography (SWOT) satellite provides a prime opportunity to diagnose the surface ba…
▽ More
The decomposition of oceanic flow into its balanced and unbalanced motions carries theoretical and practical significance for the oceanographic community. These two motions have distinct dynamical characteristics and affect the transport of tracers differently from one another. The launch of Surface Water and Ocean Topography (SWOT) satellite provides a prime opportunity to diagnose the surface balanced and unbalanced motions on a global scale at an unprecedented spatial resolution. Here, we apply dynamic-mode decomposition (DMD), a linear-algebraic data-driven method, to a tidally-forced numerical simulation and one-day-repeat SWOT observations of sea-surface height (SSH) in the Gulf Stream extension. DMD is able to separate out the spatial modes associated with sub-inertial periods from super-inertial periods. The sub-inertial modes of DMD can be used to extract geostrophically balanced motions from SSH fields, which have an imprint of internal tides.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Some results on Mattei's Conjecture
Authors:
Leonardo M. Câmara,
Fernando Reis,
José Edson Sampaio
Abstract:
In this note, we present some results on the Mattei's conjecture, which asserts that the algebraic multiplicity of one-dimensional holomorphic foliations is a topological invariant. For instance, we establish a version of the A'Campo-Lê Theorem adapted for foliations, which was originally formulated for hypersurfaces. More precisely, we show that, under certain conditions, the algebraic multiplici…
▽ More
In this note, we present some results on the Mattei's conjecture, which asserts that the algebraic multiplicity of one-dimensional holomorphic foliations is a topological invariant. For instance, we establish a version of the A'Campo-Lê Theorem adapted for foliations, which was originally formulated for hypersurfaces. More precisely, we show that, under certain conditions, the algebraic multiplicity equals to 1 of holomorphic one-dimensional foliations is a topological invariant. As a consequence, we prove that saddle-nodes are also topological invariant. Additionally, we address a fundamental result in the literature concerning Mattei's conjecture proved by Rosas-Bazan, which says that under the existence of a homeomorphism extending throughout a neighborhood of the exceptional divisor of the first blowing up, Mattei's conjecture has a positive answer. As a consequence of a characterization of the invariance of multiplicity proved here, we obtain that Mattei's conjecture has a positive answer if the homeomorphism extends locally in a small neighborhood where there is a separatrix not contained in the exceptional divisor of the first blowing up, but not necessarily extends throughout a neighborhood of whole exceptional divisor.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
PID: Physics-Informed Diffusion Model for Infrared Image Generation
Authors:
Fangyuan Mao,
Jilin Mei,
Shun Lu,
Fuyang Liu,
Liang Chen,
Fangzhou Zhao,
Yu Hu
Abstract:
Infrared imaging technology has gained significant attention for its reliable sensing ability in low visibility conditions, prompting many studies to convert the abundant RGB images to infrared images. However, most existing image translation methods treat infrared images as a stylistic variation, neglecting the underlying physical laws, which limits their practical application. To address these i…
▽ More
Infrared imaging technology has gained significant attention for its reliable sensing ability in low visibility conditions, prompting many studies to convert the abundant RGB images to infrared images. However, most existing image translation methods treat infrared images as a stylistic variation, neglecting the underlying physical laws, which limits their practical application. To address these issues, we propose a Physics-Informed Diffusion (PID) model for translating RGB images to infrared images that adhere to physical laws. Our method leverages the iterative optimization of the diffusion model and incorporates strong physical constraints based on prior knowledge of infrared laws during training. This approach enhances the similarity between translated infrared images and the real infrared domain without increasing extra training parameters. Experimental results demonstrate that PID significantly outperforms existing state-of-the-art methods. Our code is available at https://github.com/fangyuanmao/PID.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The effect of spectroscopic binning on atmospheric retrievals
Authors:
Jack J. Davey,
Kai Hou Yip,
Ahmed F. Al-Refaie,
Ingo P. Waldmann
Abstract:
With the James Webb Space Telescope (JWST) offering higher resolution data in space-based transmission spectroscopy, understanding the capabilities of our current atmospheric retrieval pipelines is essential. These new data cover wider wavelength ranges and at much higher spectral resolution than previous instruments have been able to offer. Therefore, it is often appealing to bin spectra to fewer…
▽ More
With the James Webb Space Telescope (JWST) offering higher resolution data in space-based transmission spectroscopy, understanding the capabilities of our current atmospheric retrieval pipelines is essential. These new data cover wider wavelength ranges and at much higher spectral resolution than previous instruments have been able to offer. Therefore, it is often appealing to bin spectra to fewer points, better constrained in their transit depth, before using them as inputs for atmospheric retrievals. However, little quantitative analysis of the trade-off between spectral resolution and signal-to-noise ratio has been conducted thus far. As such, we produce a simulation replicating the observations of WASP-39b by the NIRSpec PRISM instrument on board JWST and assess the accuracy and consistency of retrievals while varying resolution and the average photometric error. While this probes a specific case we also plot `binning paths' in the resulting sensitivity maps to demonstrate the best attainable atmospheric parameter estimations starting from the position of the real JWST Early Release Science observation. We repeat this analysis on three different simulation setups where each includes an opaque cloud layer at a different height in the atmosphere. We find that a much greater resolution is needed in the case of a high cloud deck since features are already heavily muted by the presence of the clouds. In the other two cases, there are large `safe zones' in the parameter space. If these maps can be generalised, binning paths could inform future observations on how to achieve the most accurate retrieval results.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Sample size for develo** a prediction model with a binary outcome: targeting precise individual risk estimates to improve clinical decisions and fairness
Authors:
Richard D Riley,
Gary S Collins,
Rebecca Whittle,
Lucinda Archer,
Kym IE Snell,
Paula Dhiman,
Laura Kirton,
Amardeep Legha,
Xiaoxuan Liu,
Alastair Denniston,
Frank E Harrell Jr,
Laure Wynants,
Glen P Martin,
Joie Ensor
Abstract:
When develo** a clinical prediction model, the sample size of the development dataset is a key consideration. Small sample sizes lead to greater concerns of overfitting, instability, poor performance and lack of fairness. Previous research has outlined minimum sample size calculations to minimise overfitting and precisely estimate the overall risk. However even when meeting these criteria, the u…
▽ More
When develo** a clinical prediction model, the sample size of the development dataset is a key consideration. Small sample sizes lead to greater concerns of overfitting, instability, poor performance and lack of fairness. Previous research has outlined minimum sample size calculations to minimise overfitting and precisely estimate the overall risk. However even when meeting these criteria, the uncertainty (instability) in individual-level risk estimates may be considerable. In this article we propose how to examine and calculate the sample size required for develo** a model with acceptably precise individual-level risk estimates to inform decisions and improve fairness. We outline a five-step process to be used before data collection or when an existing dataset is available. It requires researchers to specify the overall risk in the target population, the (anticipated) distribution of key predictors in the model, and an assumed 'core model' either specified directly (i.e., a logistic regression equation is provided) or based on specified C-statistic and relative effects of (standardised) predictors. We produce closed-form solutions that decompose the variance of an individual's risk estimate into Fisher's unit information matrix, predictor values and total sample size; this allows researchers to quickly calculate and examine individual-level uncertainty interval widths and classification instability for specified sample sizes. Such information can be presented to key stakeholders (e.g., health professionals, patients, funders) using prediction and classification instability plots to help identify the (target) sample size required to improve trust, reliability and fairness in individual predictions. Our proposal is implemented in software module pmstabilityss. We provide real examples and emphasise the importance of clinical context including any risk thresholds for decision making.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Structuring Authenticity Assessments on Historical Documents using LLMs
Authors:
Andrea Schimmenti,
Valentina Pasqual,
Francesca Tomasi,
Fabio Vitali,
Marieke van Erp
Abstract:
Given the wide use of forgery throughout history, scholars have and are continuously engaged in assessing the authenticity of historical documents. However, online catalogues merely offer descriptive metadata for these documents, relegating discussions about their authenticity to free-text formats, making it difficult to study these assessments at scale. This study explores the generation of struc…
▽ More
Given the wide use of forgery throughout history, scholars have and are continuously engaged in assessing the authenticity of historical documents. However, online catalogues merely offer descriptive metadata for these documents, relegating discussions about their authenticity to free-text formats, making it difficult to study these assessments at scale. This study explores the generation of structured data about documents' authenticity assessment from natural language texts. Our pipeline exploits Large Language Models (LLMs) to select, extract and classify relevant claims about the topic without the need for training, and Semantic Web technologies to structure and type-validate the LLM's results. The final output is a catalogue of documents whose authenticity has been debated, along with scholars' opinions on their authenticity. This process can serve as a valuable resource for integration into catalogues, allowing room for more intricate queries and analyses on the evolution of these debates over centuries.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
How buildings change the fundamental allometry
Authors:
Fabiano L. Ribeiro,
Peiran Zhang,
Liang Gao,
Diego Rybski
Abstract:
We demonstrate that the original fundamental allometry alone cannot accurately describe the relationship between urban area and population size. Instead, building height is a third factor that interplays with area and population. To illustrate this, we propose a straightforward model based on the idea that city area is the result of people's desire to live close to one another while also having su…
▽ More
We demonstrate that the original fundamental allometry alone cannot accurately describe the relationship between urban area and population size. Instead, building height is a third factor that interplays with area and population. To illustrate this, we propose a straightforward model based on the idea that city area is the result of people's desire to live close to one another while also having sufficient living space. This leads to a more general form of fundamental allometry (relating area, population, and building height). Our argument is supported by empirical data from different countries.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
MetaFood CVPR 2024 Challenge on Physically Informed 3D Food Reconstruction: Methods and Results
Authors:
Jiangpeng He,
Yuhao Chen,
Gautham Vinod,
Talha Ibn Mahmud,
Fengqing Zhu,
Edward Delp,
Alexander Wong,
Pengcheng Xi,
Ahmad AlMughrabi,
Umair Haroon,
Ricardo Marques,
Petia Radeva,
Jiadong Tang,
Dianyi Yang,
Yu Gao,
Zhaoxiang Liang,
Yawei Jueluo,
Chengyu Shi,
Pengyu Wang
Abstract:
The increasing interest in computer vision applications for nutrition and dietary monitoring has led to the development of advanced 3D reconstruction techniques for food items. However, the scarcity of high-quality data and limited collaboration between industry and academia have constrained progress in this field. Building on recent advancements in 3D reconstruction, we host the MetaFood Workshop…
▽ More
The increasing interest in computer vision applications for nutrition and dietary monitoring has led to the development of advanced 3D reconstruction techniques for food items. However, the scarcity of high-quality data and limited collaboration between industry and academia have constrained progress in this field. Building on recent advancements in 3D reconstruction, we host the MetaFood Workshop and its challenge for Physically Informed 3D Food Reconstruction. This challenge focuses on reconstructing volume-accurate 3D models of food items from 2D images, using a visible checkerboard as a size reference. Participants were tasked with reconstructing 3D models for 20 selected food items of varying difficulty levels: easy, medium, and hard. The easy level provides 200 images, the medium level provides 30 images, and the hard level provides only 1 image for reconstruction. In total, 16 teams submitted results in the final testing phase. The solutions developed in this challenge achieved promising results in 3D food reconstruction, with significant potential for improving portion estimation for dietary assessment and nutritional monitoring. More details about this workshop challenge and access to the dataset can be found at https://sites.google.com/view/cvpr-metafood-2024.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Power Optimization and Deep Learning for Channel Estimation of Active IRS-Aided IoT
Authors:
Yan Wang,
Wei Gao,
Qi Zhang,
Jiajia Liu,
Feng Shu
Abstract:
In this paper, channel estimation of an active intelligent reflecting surface (IRS) aided uplink Internet of Things (IoT) network is investigated. Firstly, the least square (LS) estimators for the direct channel and the cascaded channel are presented, respectively. The corresponding mean square errors (MSE) of channel estimators are derived. Subsequently, in order to evaluate the influence of adju…
▽ More
In this paper, channel estimation of an active intelligent reflecting surface (IRS) aided uplink Internet of Things (IoT) network is investigated. Firstly, the least square (LS) estimators for the direct channel and the cascaded channel are presented, respectively. The corresponding mean square errors (MSE) of channel estimators are derived. Subsequently, in order to evaluate the influence of adjusting the transmit power at the IoT devices or the reflected power at the active IRS on Sum-MSE performance, two situations are considered. In the first case, under the total power sum constraint of the IoT devices and active IRS, the closed-form expression of the optimal power allocation factor is derived. In the second case, when the transmit power at the IoT devices is fixed, there exists an optimal reflective power at active IRS. To further improve the estimation performance, the convolutional neural network (CNN)-based direct channel estimation (CDCE) algorithm and the CNN-based cascaded channel estimation (CCCE) algorithm are designed. Finally, simulation results demonstrate the existence of an optimal power allocation strategy that minimizes the Sum-MSE, and further validate the superiority of the proposed CDCE / CCCE algorithms over their respective traditional LS and minimum mean square error (MMSE) baselines.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Second-order artifact overwhelming the third-order signal in 2D Raman-THz spectroscopy of non-centrosymmetric materials
Authors:
Seyyed Jabbar Mousavi,
Megan F. Biggs,
Jeremy A. Johnson,
Peter Hamm,
Andrey Shalit
Abstract:
Through comprehensive data analysis, we demonstrate that a second-order artifact contributes significantly to the measured signal in 2D Raman-THz spectroscopy of non-centrosymmetric materials. We confirm that by measuring the 2D Raman-THz response of a beta barium borate (BBO) crystal, a well-known $χ^{(2)}$ active sample. More importantly, we show that this strong second-order artifact can be eff…
▽ More
Through comprehensive data analysis, we demonstrate that a second-order artifact contributes significantly to the measured signal in 2D Raman-THz spectroscopy of non-centrosymmetric materials. We confirm that by measuring the 2D Raman-THz response of a beta barium borate (BBO) crystal, a well-known $χ^{(2)}$ active sample. More importantly, we show that this strong second-order artifact can be effectively suppressed by implementing a special detection scheme. By doing so, we successfully isolate the desired third-order nonlinear response. Our experimentally recovered 2D Raman-THz signal for an x-cut BBO crystal reveals a distinct cross-peak feature, whose frequency position suggests the presence of phonon-phonon coupling within this crystal. Our study emphasizes the critical significance of considering second-order nonlinear responses when conducting 2D THz experiments involving non-centrosymmetric samples.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
An Adaptive Indoor Localization Approach Using WiFi RSSI Fingerprinting with SLAM-Enabled Robotic Platform and Deep Neural Networks
Authors:
Seyed Alireza Rahimi Azghadi,
Atah Nuh Mih,
Asfia Kawnine,
Francis Palma,
Hung Cao
Abstract:
Indoor localization plays a vital role in the era of the IoT and robotics, with WiFi technology being a prominent choice due to its ubiquity. We present a method for creating WiFi fingerprinting datasets to enhance indoor localization systems and address the gap in WiFi fingerprinting dataset creation. We used the Simultaneous Localization And Map** (SLAM) algorithm and employed a robotic platfo…
▽ More
Indoor localization plays a vital role in the era of the IoT and robotics, with WiFi technology being a prominent choice due to its ubiquity. We present a method for creating WiFi fingerprinting datasets to enhance indoor localization systems and address the gap in WiFi fingerprinting dataset creation. We used the Simultaneous Localization And Map** (SLAM) algorithm and employed a robotic platform to construct precise maps and localize robots in indoor environments. We developed software applications to facilitate data acquisition, fingerprinting dataset collection, and accurate ground truth map building. Subsequently, we aligned the spatial information generated via the SLAM with the WiFi scans to create a comprehensive WiFi fingerprinting dataset. The created dataset was used to train a deep neural network (DNN) for indoor localization, which can prove the usefulness of grid density. We conducted experimental validation within our office environment to demonstrate the proposed method's effectiveness, including a heatmap from the dataset showcasing the spatial distribution of WiFi signal strengths for the testing access points placed within the environment. Notably, our method offers distinct advantages over existing approaches as it eliminates the need for a predefined map of the environment, requires no preparatory steps, lessens human intervention, creates a denser fingerprinting dataset, and reduces the WiFi fingerprinting dataset creation time. Our method achieves 26% more accurate localization than the other methods and can create a six times denser fingerprinting dataset in one-third of the time compared to the traditional method. In summary, using WiFi RSSI Fingerprinting data surveyed by the SLAM-Enabled Robotic Platform, we can adapt our trained DNN model to indoor localization in any dynamic environment and enhance its scalability and applicability in real-world scenarios.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Skip** a beat: discovery of persistent quasi-periodic oscillations associated with pulsed fraction drop of the spin signal in M51 ULX-7
Authors:
Matteo Imbrogno,
Sara Elisa Motta,
Roberta Amato,
Gian Luca Israel,
Guillermo Andres Rodríguez Castillo,
Murray Brightman,
Piergiorgio Casella,
Matteo Bachetti,
Felix Fürst,
Luigi Stella,
Ciro Pinto,
Fabio Pintore,
Francesco Tombesi,
Andrés Gúrpide,
Matthew J. Middleton,
Chiara Salvaggio,
Andrea Tiengo,
Andrea Belfiore,
Andrea De Luca,
Paolo Esposito,
Anna Wolter,
Hannah P. Earnshaw,
Dominic J. Walton,
Timothy P. Roberts,
Luca Zampieri
, et al. (2 additional authors not shown)
Abstract:
The discovery of pulsations in (at least) six ultraluminous X-ray sources (ULXs) has shown that neutron stars can accrete at (highly) super-Eddington rates, challenging the standard accretion theories. M51 ULX-7, with a spin signal of $P\simeq2.8$ s, is the pulsating ULX (PULX) with the shortest known orbital period ($P_\mathrm{orb}\simeq2$ d) and has been observed multiple times by XMM-Newton, Ch…
▽ More
The discovery of pulsations in (at least) six ultraluminous X-ray sources (ULXs) has shown that neutron stars can accrete at (highly) super-Eddington rates, challenging the standard accretion theories. M51 ULX-7, with a spin signal of $P\simeq2.8$ s, is the pulsating ULX (PULX) with the shortest known orbital period ($P_\mathrm{orb}\simeq2$ d) and has been observed multiple times by XMM-Newton, Chandra, and NuSTAR. We report on the timing and spectral analyses of three XMM-Newton observations of M51 ULX-7 performed between the end of 2021 and the beginning of 2022, together with a timing re-analysis of XMM-Newton, Chandra, and NuSTAR archival observations. We investigated the spin signal by applying accelerated search techniques and studied the power spectrum through the fast Fourier transform, looking for (a)periodic variability in the source flux. We analysed the energy spectra of the 2021-2022 observations and compared them to the older ones. We report the discovery of a recurrent, significant ($>$3$σ$) broad complex at mHz frequencies in the power spectra of M51 ULX-7. We did not detect the spin signal, setting a 3$σ$ upper limit on the pulsed fraction of $\lesssim10\%$ for the single observation. The complex is significantly detected also in five Chandra observations performed in 2012. M51 ULX-7 represents the second PULX for which we have a significant detection of mHz-QPOs at super-Eddington luminosities. These findings suggest that one should avoid using the observed QPO frequency to infer the mass of the accretor in a ULX. The absence of spin pulsations when the broad complex is detected suggests that the mechanism responsible for the aperiodic modulation also dampens the spin signal's pulsed fraction. If true, this represents an additional obstacle in the detection of new PULXs, suggesting an even larger occurrence of PULXs among ULXs.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Modelling the Human Intuition to Complete the Missing Information in Images for Convolutional Neural Networks
Authors:
Robin Koç,
Fatoş T. Yarman Vural
Abstract:
In this study, we attempt to model intuition and incorporate this formalism to improve the performance of the Convolutional Neural Networks. Despite decades of research, ambiguities persist on principles of intuition. Experimental psychology reveals many types of intuition, which depend on state of the human mind. We focus on visual intuition, useful for completing missing information during visua…
▽ More
In this study, we attempt to model intuition and incorporate this formalism to improve the performance of the Convolutional Neural Networks. Despite decades of research, ambiguities persist on principles of intuition. Experimental psychology reveals many types of intuition, which depend on state of the human mind. We focus on visual intuition, useful for completing missing information during visual cognitive tasks. First, we set up a scenario to gradually decrease the amount of visual information in the images of a dataset to examine its impact on CNN accuracy. Then, we represent a model for visual intuition using Gestalt theory. The theory claims that humans derive a set of templates according to their subconscious experiences. When the brain decides that there is missing information in a scene, such as occlusion, it instantaneously completes the information by replacing the missing parts with the most similar ones. Based upon Gestalt theory, we model the visual intuition, in two layers. Details of these layers are provided throughout the paper. We use the MNIST data set to test the suggested intuition model for completing the missing information. Experiments show that the augmented CNN architecture provides higher performances compared to the classic models when using incomplete images.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Belief Propagation-based Rotation and Translation Estimation for Rigid Body Localization
Authors:
Volodymyr Vizitiv,
Hyeon Seok Rou,
Niclas Führling,
Giuseppe Thadeu Freitas de Abreu
Abstract:
We propose a novel solution to the rigid body localization (RBL) problem, in which the three-dimensional (3D) rotation and translation is estimated by only utilizing the range measurements between the wireless sensors on the rigid body and the anchor sensors. The proposed framework first constructs a linear Gaussian belief propagation (GaBP) algorithm to estimate the absolute sensor positions util…
▽ More
We propose a novel solution to the rigid body localization (RBL) problem, in which the three-dimensional (3D) rotation and translation is estimated by only utilizing the range measurements between the wireless sensors on the rigid body and the anchor sensors. The proposed framework first constructs a linear Gaussian belief propagation (GaBP) algorithm to estimate the absolute sensor positions utilizing the range-based received signal model, which is used for the reconstruction of the RBL transformation model, linearized with a small-angle approximation. In light of the reformulated system, a second bivariate GaBP is designed to directly estimate the 3D rotation angles and translation distances, with an interference cancellation (IC) refinement to improve the angle estimation performance. The effectiveness of the proposed method is verified via numerical simulations, highlighting the superior performance of the proposed method against the state-of-the-art (SotA) techniques for the position, rotation, and translation estimation performance.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Spherical Fourier multipliers related to Gelfand pairs
Authors:
Yaogan Mensah,
Marie Françoise Ouedraogo
Abstract:
In this paper, we introduce a family of Fourier multipliers using the spherical Fourier transform on Gelfand pairs. We refer to them as spherical Fourier multipliers. We study certain sufficient conditions under which they are bounded. Then, under the hypothesis of compactness of the underlying group and under certain summability conditions, we obtain the belonging of the spherical Fourier multipl…
▽ More
In this paper, we introduce a family of Fourier multipliers using the spherical Fourier transform on Gelfand pairs. We refer to them as spherical Fourier multipliers. We study certain sufficient conditions under which they are bounded. Then, under the hypothesis of compactness of the underlying group and under certain summability conditions, we obtain the belonging of the spherical Fourier multipliers to some Schatten-von Neumann classes.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Symmetry groups and deformations of sums of exponentials
Authors:
Florian Pausinger,
David Petrecca
Abstract:
We study the symmetry groups and winding numbers of planar curves obtained by taking the image of the complex unit circle under a Laurent polynomial, a class that includes weighted sums of exponentials. We generalize various results on such sums of exponentials and relate them to other classes of curves present in the literature. Moreover, we consider the evolution under the wave equation of such…
▽ More
We study the symmetry groups and winding numbers of planar curves obtained by taking the image of the complex unit circle under a Laurent polynomial, a class that includes weighted sums of exponentials. We generalize various results on such sums of exponentials and relate them to other classes of curves present in the literature. Moreover, we consider the evolution under the wave equation of such curves for the case of binomials. Interestingly, our methods provide a unified and systematic way of constructing curves with prescribed properties, such as number of cusps, number of intersection points or winding number.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Projection onto hyperbolicity cones and beyond: a dual Frank-Wolfe approach
Authors:
Takayuki Nagano,
Bruno F. Lourenço,
Akiko Takeda
Abstract:
We discuss the problem of projecting a point onto an arbitrary hyperbolicity cone from both theoretical and numerical perspectives. While hyperbolicity cones are furnished with a generalization of the notion of eigenvalues, obtaining closed form expressions for the projection operator as in the case of semidefinite matrices is an elusive endeavour. To address that we propose a Frank-Wolfe method t…
▽ More
We discuss the problem of projecting a point onto an arbitrary hyperbolicity cone from both theoretical and numerical perspectives. While hyperbolicity cones are furnished with a generalization of the notion of eigenvalues, obtaining closed form expressions for the projection operator as in the case of semidefinite matrices is an elusive endeavour. To address that we propose a Frank-Wolfe method to handle this task and, more generally, strongly convex optimization over closed convex cones. One of our innovations is that the Frank-Wolfe method is actually applied to the dual problem and, by doing so, subproblems can be solved in closed-form using minimum eigenvalue functions and conjugate vectors. To test the validity of our proposed approach, we present numerical experiments where we check the performance of alternative approaches including interior point methods and an earlier accelerated gradient method proposed by Renegar. We also show numerical examples where the hyperbolic polynomial has millions of monomials. Finally, we also discuss the problem of projecting onto p-cones which, although not hyperbolicity cones in general, are still amenable to our techniques.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
Fabrication of low-loss lithium niobate on insulator waveguides on the wafer scale
Authors:
Mohammadreza Younesi,
Thomas Kasebier,
Ilia Elmanov,
Yang-Teng Li,
Pawan Kumar,
Reinhard Geiss,
Thomas Siefke,
Falk Eilenberger,
Frank Setzpfandt,
Uwe Zeitner,
Thomas Pertsch
Abstract:
We report on the wafer scale fabrication of single mode low-loss lithium niobate on insulator waveguides utilizing a chemically amplified resist and an optimized dry etching method. The fabricated single mode waveguides are free of residuals and re-deposition, with measured losses for straight waveguides around 2 dB/m (0.02 dB/cm). We present on a method offering advantages for large-scale product…
▽ More
We report on the wafer scale fabrication of single mode low-loss lithium niobate on insulator waveguides utilizing a chemically amplified resist and an optimized dry etching method. The fabricated single mode waveguides are free of residuals and re-deposition, with measured losses for straight waveguides around 2 dB/m (0.02 dB/cm). We present on a method offering advantages for large-scale production due to its cost-effectiveness, faster writing time, and simplified processes. This work holds promise for advancing integrated photonics and optical communication technologies.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.
-
The MICADO first light imager for the ELT: off-axis performance of PSF reconstruction
Authors:
Matteo Simioni,
Daniel Jodlbauer,
Carmelo Arcidiacono,
Andrea Grazian,
Marco Gullieuszik,
Elisa Portaluri,
Benedetta Vulcani,
Roland Wagner,
Anita Zanella,
Johanna Hartke,
Tapio Helin,
Hanindyo Kuncarayakti,
Fernando Pedichini,
Roberto Piazzesi,
Piero Vaccari
Abstract:
The highest scientific return, for adaptive optics (AO) observations, is achieved with a reliable reconstruction of the PSF. This is especially true for MICADO@ELT. In this presentation, we will focus on extending the MICADO PSF reconstruction (PSF-R) method to the off-axis case. Specifically, a novel approach based on temporal-based tomography of AO telemetry data has been recently implemented. R…
▽ More
The highest scientific return, for adaptive optics (AO) observations, is achieved with a reliable reconstruction of the PSF. This is especially true for MICADO@ELT. In this presentation, we will focus on extending the MICADO PSF reconstruction (PSF-R) method to the off-axis case. Specifically, a novel approach based on temporal-based tomography of AO telemetry data has been recently implemented. Results from the PSF-R of both simulated and real data show that, at half isoplanatic angle distances, a precision of about 10-15% is achievable in both Strehl ratio and full-width at half maximum, paving the way to extend the MICADO PSF-R tool also to the multi-conjugated AO case.
△ Less
Submitted 12 July, 2024;
originally announced July 2024.