-
Josephson Parametric Amplifier based Quantum Noise Limited Amplifier Development for Axion Search Experiments in CAPP
Authors:
Sergey V. Uchaikin,
**myeong Kim,
Caglar Kutlu,
Boris I. Ivanov,
**su Kim,
Arjan F. van Loo,
Yasunobu Nakamura,
Saebyeok Ahn,
Seonjeong Oh,
Minsu Ko,
Yannis K. Semertzidis
Abstract:
This paper provides a comprehensive overview of the development of flux-driven Josephson Parametric Amplifiers (JPAs) as Quantum Noise Limited Amplifier for axion search experiments conducted at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science. It focuses on the characterization, and optimization of JPAs, which are crucial for achieving the highest sens…
▽ More
This paper provides a comprehensive overview of the development of flux-driven Josephson Parametric Amplifiers (JPAs) as Quantum Noise Limited Amplifier for axion search experiments conducted at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science. It focuses on the characterization, and optimization of JPAs, which are crucial for achieving the highest sensitivity in axion particle detection. We discuss various characterization techniques, methods for improving bandwidth, and the attainment of ultra-low noise temperatures. JPAs have emerged as indispensable tools in CAPPs axion search endeavors, playing a significant role in advancing our understanding of fundamental physics and unraveling the mysteries of the universe.
△ Less
Submitted 12 June, 2024;
originally announced June 2024.
-
RoboCasa: Large-Scale Simulation of Everyday Tasks for Generalist Robots
Authors:
Soroush Nasiriany,
Abhiram Maddukuri,
Lance Zhang,
Adeet Parikh,
Aaron Lo,
Abhishek Joshi,
Ajay Mandlekar,
Yuke Zhu
Abstract:
Recent advancements in Artificial Intelligence (AI) have largely been propelled by scaling. In Robotics, scaling is hindered by the lack of access to massive robot datasets. We advocate using realistic physical simulation as a means to scale environments, tasks, and datasets for robot learning methods. We present RoboCasa, a large-scale simulation framework for training generalist robots in everyd…
▽ More
Recent advancements in Artificial Intelligence (AI) have largely been propelled by scaling. In Robotics, scaling is hindered by the lack of access to massive robot datasets. We advocate using realistic physical simulation as a means to scale environments, tasks, and datasets for robot learning methods. We present RoboCasa, a large-scale simulation framework for training generalist robots in everyday environments. RoboCasa features realistic and diverse scenes focusing on kitchen environments. We provide thousands of 3D assets across over 150 object categories and dozens of interactable furniture and appliances. We enrich the realism and diversity of our simulation with generative AI tools, such as object assets from text-to-3D models and environment textures from text-to-image models. We design a set of 100 tasks for systematic evaluation, including composite tasks generated by the guidance of large language models. To facilitate learning, we provide high-quality human demonstrations and integrate automated trajectory generation methods to substantially enlarge our datasets with minimal human burden. Our experiments show a clear scaling trend in using synthetically generated robot data for large-scale imitation learning and show great promise in harnessing simulation data in real-world tasks. Videos and open-source code are available at https://robocasa.ai/
△ Less
Submitted 4 June, 2024;
originally announced June 2024.
-
Parameter optimization of Josephson parametric amplifiers using a heuristic search algorithm for axion haloscope search
Authors:
Younggeun Kim,
Junu Jeong,
SungWoo Youn,
Sungjae Bae,
Arjan F. van Loo,
Yasunobu Nakamura,
Sergey Uchaikin,
Yannis K. Semertzidis
Abstract:
The cavity haloscope is among the most widely adopted experimental platforms designed to detect dark matter axions with its principle relying on the conversion of axions into microwave photons in the presence of a strong magnetic field. The Josephson parametric amplifier (JPA), known for its quantum-limited noise characteristics, has been incorporated in the detection system to capture the weakly…
▽ More
The cavity haloscope is among the most widely adopted experimental platforms designed to detect dark matter axions with its principle relying on the conversion of axions into microwave photons in the presence of a strong magnetic field. The Josephson parametric amplifier (JPA), known for its quantum-limited noise characteristics, has been incorporated in the detection system to capture the weakly interacting axion signals. However, the performance of the JPA can be influenced by its environment, leading to potential unreliability of a predefined parameter set obtained in a specific laboratory setting. Furthermore, conducting a broadband search requires consecutive characterization of the amplifier across different tuning frequencies. To ensure more reliable measurements, we utilize the Nelder-Mead technique as a numerical search method to dynamically determine the optimal operating conditions. This heuristic search algorithm explores the multidimensional parameter space of the JPA, optimizing critical characteristics such as gain and noise temperature to maximize signal-to-noise ratios for a given experimental setup. Our study presents a comprehensive analysis of the properties of a flux-driven JPA to demonstrate the effectiveness of the algorithm. This approach contributes to ongoing efforts in axion dark matter research by offering an efficient method to enhance axion detection sensitivity through the optimized utilization of JPAs.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Extensive search for axion dark matter over 1\,GHz with CAPP's Main Axion eXperiment
Authors:
Saebyeok Ahn,
**Myeong Kim,
Boris I. Ivanov,
Ohjoon Kwon,
HeeSu Byun,
Arjan F. van Loo,
SeongTae Par,
Junu Jeong,
Soohyung Lee,
**su Kim,
Çağlar Kutlu,
Andrew K. Yi,
Yasunobu Nakamura,
Seonjeong Oh,
Danho Ahn,
SungJae Bae,
Hyoungsoon Choi,
Jihoon Choi,
Yonuk Chong,
Woohyun Chung,
Violeta Gkika,
Jihn E. Kim,
Younggeun Kim,
Byeong Rok Ko,
Lino Miceli
, et al. (11 additional authors not shown)
Abstract:
We report an extensive high-sensitivity search for axion dark matter above 1\,GHz at the Center for Axion and Precision Physics Research (CAPP). The cavity resonant search, exploiting the coupling between axions and photons, explored the frequency (mass) range of 1.025\,GHz (4.24\,$μ$eV) to 1.185\,GHz (4.91\,$μ$eV). We have introduced a number of innovations in this field, demonstrating the practi…
▽ More
We report an extensive high-sensitivity search for axion dark matter above 1\,GHz at the Center for Axion and Precision Physics Research (CAPP). The cavity resonant search, exploiting the coupling between axions and photons, explored the frequency (mass) range of 1.025\,GHz (4.24\,$μ$eV) to 1.185\,GHz (4.91\,$μ$eV). We have introduced a number of innovations in this field, demonstrating the practical approach of optimizing all the relevant parameters of axion haloscopes, extending presently available technology. The CAPP 12\,T magnet with an aperture of 320\,mm made of Nb$_3$Sn and NbTi superconductors surrounding a 37-liter ultralight-weight copper cavity is expected to convert DFSZ axions into approximately $10^2$ microwave photons per second. A powerful dilution refrigerator, capable of kee** the core system below 40\,mK, combined with quantum-noise limited readout electronics, achieved a total system noise of about 200\,mK or below, which corresponds to a background of roughly $4\times 10^3$ photons per second within the axion bandwidth. The combination of all those improvements provides unprecedented search performance, imposing the most stringent exclusion limits on axion--photon coupling in this frequency range to date. These results also suggest an experimental capability suitable for highly-sensitive searches for axion dark matter above 1\,GHz.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Experimental search for invisible dark matter axions around 22 μeV
Authors:
Younggeun Kim,
Junu Jeong,
SungWoo Youn,
Sungjae Bae,
Kiwoong Lee,
Arjan F. van Loo,
Yasunobu Nakamura,
Seonjeong Oh,
Taehyeon Seong,
Sergey Uchaikin,
Jihn E. Kim,
Yannis K. Semertzidis
Abstract:
The axion has emerged as the most attractive solution to two fundamental questions in modern physics related to the charge-parity invariance in strong interactions and the invisible matter component of our universe. Over the past decade, there have been many theoretical efforts to constrain the axion mass based on various cosmological assumptions. Interestingly, different approaches from independe…
▽ More
The axion has emerged as the most attractive solution to two fundamental questions in modern physics related to the charge-parity invariance in strong interactions and the invisible matter component of our universe. Over the past decade, there have been many theoretical efforts to constrain the axion mass based on various cosmological assumptions. Interestingly, different approaches from independent groups produce good overlap between 20 and 30 μeV. We performed an experimental search to probe the presence of dark matter axions within this particular mass region. The experiment utilized a multi-cell cavity haloscope embedded in a 12 T magnetic field to seek for microwave signals induced by the axion-photon coupling. The results ruled out the KSVZ axions as dark matter over a mass range between 21.86 and 22.00 μeV at a 90% confidence level. This represents a sensitive experimental search guided by specific theoretical predictions
△ Less
Submitted 1 July, 2024; v1 submitted 18 December, 2023;
originally announced December 2023.
-
Ramsey goodness of $k$-uniform paths, or the lack thereof
Authors:
Simona Boyadzhiyska,
Allan Lo
Abstract:
Given a pair of $k$-uniform hypergraphs $(G,H)$, the Ramsey number of $(G,H)$, denoted by $R(G,H)$, is the smallest integer $n$ such that in every red/blue-colouring of the edges of $K_n^{(k)}$ there exists a red copy of $G$ or a blue copy of $H$. Burr showed that, for any pair of graphs $(G,H)$, where $G$ is large and connected, $R(G,H) \geq (v(G)-1)(χ(H)-1)+σ(H)$, where $σ(H)$ stands for the min…
▽ More
Given a pair of $k$-uniform hypergraphs $(G,H)$, the Ramsey number of $(G,H)$, denoted by $R(G,H)$, is the smallest integer $n$ such that in every red/blue-colouring of the edges of $K_n^{(k)}$ there exists a red copy of $G$ or a blue copy of $H$. Burr showed that, for any pair of graphs $(G,H)$, where $G$ is large and connected, $R(G,H) \geq (v(G)-1)(χ(H)-1)+σ(H)$, where $σ(H)$ stands for the minimum size of a colour class over all proper $χ(H)$-colourings of $H$. We say that $G$ is $H$-good if $R(G,H)$ is equal to the general lower bound. Burr showed that, for any graph~$H$, every sufficiently long path is $H$-good.
Our goal is to explore the notion of Ramsey goodness in the setting of $k$-uniform hypergraphs. We demonstrate that, in stark contrast to the graph case, $k$-uniform $\ell$-paths are not $H$-good for a large class of $k$-graphs. On the other hand, we prove that long loose paths are always at least asymptotically $H$-good for every $H$ and derive lower and upper bounds that are best possible in a certain sense.
In the 3-uniform setting, we complement our negative result with a positive one, in which we determine the Ramsey number asymptotically for pairs containing a long tight path and a 3-graph $H$ when $H$ belongs to a certain family of hypergraphs. This extends a result of Balogh, Clemen, Skokan, and Wagner for the Fano plane asymptotically to a much larger family of 3-graphs.
△ Less
Submitted 24 June, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Random Forest for Dynamic Risk Prediction or Recurrent Events: A Pseudo-Observation Approach
Authors:
Abigail Loe,
Susan Murray,
Zhenke Wu
Abstract:
Recurrent events are common in clinical, healthcare, social and behavioral studies. A recent analysis framework for potentially censored recurrent event data is to construct a censored longitudinal data set consisting of times to the first recurrent event in multiple prespecified follow-up windows of length $τ$. With the staggering number of potential predictors being generated from genetic, -omic…
▽ More
Recurrent events are common in clinical, healthcare, social and behavioral studies. A recent analysis framework for potentially censored recurrent event data is to construct a censored longitudinal data set consisting of times to the first recurrent event in multiple prespecified follow-up windows of length $τ$. With the staggering number of potential predictors being generated from genetic, -omic, and electronic health records sources, machine learning approaches such as the random forest are growing in popularity, as they can incorporate information from highly correlated predictors with non-standard relationships. In this paper, we bridge this gap by develo** a random forest approach for dynamically predicting probabilities of remaining event-free during a subsequent $τ$-duration follow-up period from a reconstructed censored longitudinal data set. We demonstrate the increased ability of our random forest algorithm for predicting the probability of remaining event-free over a $τ$-duration follow-up period when compared to the recurrent event modeling framework of Xia et al. (2020) in settings where association between predictors and recurrent event outcomes is complex in nature. The proposed random forest algorithm is demonstrated using recurrent exacerbation data from the Azithromycin for the Prevention of Exacerbations of Chronic Obstructive Pulmonary Disease (Albert et al., 2011).
△ Less
Submitted 4 April, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Reflection-Equivariant Diffusion for 3D Structure Determination from Isotopologue Rotational Spectra in Natural Abundance
Authors:
Austin Cheng,
Alston Lo,
Santiago Miret,
Brooks Pate,
Alán Aspuru-Guzik
Abstract:
Structure determination is necessary to identify unknown organic molecules, such as those in natural products, forensic samples, the interstellar medium, and laboratory syntheses. Rotational spectroscopy enables structure determination by providing accurate 3D information about small organic molecules via their moments of inertia. Using these moments, Kraitchman analysis determines isotopic substi…
▽ More
Structure determination is necessary to identify unknown organic molecules, such as those in natural products, forensic samples, the interstellar medium, and laboratory syntheses. Rotational spectroscopy enables structure determination by providing accurate 3D information about small organic molecules via their moments of inertia. Using these moments, Kraitchman analysis determines isotopic substitution coordinates, which are the unsigned $|x|,|y|,|z|$ coordinates of all atoms with natural isotopic abundance, including carbon, nitrogen, and oxygen. While unsigned substitution coordinates can verify guesses of structures, the missing $+/-$ signs make it challenging to determine the actual structure from the substitution coordinates alone. To tackle this inverse problem, we develop KREED (Kraitchman REflection-Equivariant Diffusion), a generative diffusion model that infers a molecule's complete 3D structure from its molecular formula, moments of inertia, and unsigned substitution coordinates of heavy atoms. KREED's top-1 predictions identify the correct 3D structure with >98% accuracy on the QM9 and GEOM datasets when provided with substitution coordinates of all heavy atoms with natural isotopic abundance. When substitution coordinates are restricted to only a subset of carbons, accuracy is retained at 91% on QM9 and 32% on GEOM. On a test set of experimentally measured substitution coordinates gathered from the literature, KREED predicts the correct all-atom 3D structure in 25 of 33 cases, demonstrating experimental applicability for context-free 3D structure determination with rotational spectroscopy.
△ Less
Submitted 19 November, 2023; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Cycle Partitions in Dense Regular Digraphs and Oriented Graphs
Authors:
Allan Lo,
Viresh Patel,
Mehmet Akif Yıldız
Abstract:
A conjecture of Jackson from 1981 states that every $d$-regular oriented graph on $n$ vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large $n$. In fact we prove a more general result that for all $α>0$, there exists $n_0=n_0(α)$ such that every $d$-regular digraph on $n\geq n_0$ vertices with $d \geq αn $ can be covered by at most $n/(d+1)$ vertex-disjoint cyc…
▽ More
A conjecture of Jackson from 1981 states that every $d$-regular oriented graph on $n$ vertices with $n\leq 4d+1$ is Hamiltonian. We prove this conjecture for sufficiently large $n$. In fact we prove a more general result that for all $α>0$, there exists $n_0=n_0(α)$ such that every $d$-regular digraph on $n\geq n_0$ vertices with $d \geq αn $ can be covered by at most $n/(d+1)$ vertex-disjoint cycles, and moreover that if $G$ is an oriented graph, then at most $n/(2d+1)$ cycles suffice.
△ Less
Submitted 7 June, 2024; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Almost partitioning every $2$-edge-coloured complete $k$-graph into $k$ monochromatic tight cycles
Authors:
Allan Lo,
Vincent Pfenninger
Abstract:
A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.
A $k$-uniform tight cycle is a $k$-graph with a cyclic order of its vertices such that every $k$ consecutive vertices from an edge. We show that for $k\geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains $k$ vertex-disjoint monochromatic tight cycles that together cover $n - o(n)$ vertices.
△ Less
Submitted 8 May, 2024; v1 submitted 8 September, 2023;
originally announced September 2023.
-
A lower bound on the multicolor size-Ramsey numbers of paths in hypergraphs
Authors:
Deepak Bal,
Louis DeBiasio,
Allan Lo
Abstract:
The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich…
▽ More
The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich. In a recent breakthrough result, Letzter, Pokrovskiy, and Yepremyan gave a linear upper bound on the $r$-color size-Ramsey number of the $k$-uniform tight path $P_{n}^{(k)}$; i.e. $\hat{R}_r(P_{n}^{(k)})=O_{r,k}(n)$. Winter gave the first non-trivial lower bounds on the 2-color size-Ramsey number of $P_{n}^{(k)}$ for $k\geq 3$; i.e. $\hat{R}_2(P_{n}^{(3)})\geq \frac{8}{3}n-O(1)$ and $\hat{R}_2(P_{n}^{(k)})\geq \lceil\log_2(k+1)\rceil n-O_k(1)$ for $k\geq 4$.
We consider the problem of giving a lower bound on the $r$-color size-Ramsey number of $P_{n}^{(k)}$ (for fixed $k$ and growing $r$). Our main result is that $\hat{R}_r(P_n^{(k)})=Ω_k(r^kn)$ which generalizes the best known lower bound for graphs mentioned above. One of the key elements of our proof is a determination of the correct order of magnitude of the $r$-color size-Ramsey number of every sufficiently short tight path; i.e. $\hat{R}_r(P_{k+m}^{(k)})=Θ_k(r^m)$ for all $1\leq m\leq k$.
All of our results generalize to $\ell$-overlap** $k$-uniform paths $P_{n}^{(k, \ell)}$. In particular we note that when $1\leq \ell\leq \frac{k}{2}$, we have $Ω_k(r^{2}n)=\hat{R}_r(P_{n}^{(k, \ell)})=O((r^2\log r)n)$ which essentially matches the best known bounds for graphs mentioned above. Additionally, in the case $k=3$, $\ell=2$, and $r=2$, we give a more precise estimate which implies $\hat{R}_2(P^{(3)}_{n})\geq \frac{28}{9}n-O(1)$, improving on the above-mentioned lower bound of Winter in the case $k=3$.
△ Less
Submitted 12 March, 2024; v1 submitted 25 August, 2023;
originally announced August 2023.
-
Systematic Approach for Tuning Flux-driven Josephson Parametric Amplifiers for Stochastic Small Signals
Authors:
Çağlar Kutlu,
Saebyeok Ahn,
Sergey V. Uchaikin,
Soohyung Lee,
Arjan F. van Loo,
Yasunobu Nakamura,
Seonjeong Oh,
Yannis K. Semertzidis
Abstract:
Many experiments operating at millikelvin temperatures with signal frequencies in the microwave regime are beginning to incorporate Josephson Parametric Amplifiers (JPA) as their first amplification stage. While there are implementations for a wideband frequency response with a minimal need for tuning, designs using resonant structures with small numbers of Josephson elements still achieve the bes…
▽ More
Many experiments operating at millikelvin temperatures with signal frequencies in the microwave regime are beginning to incorporate Josephson Parametric Amplifiers (JPA) as their first amplification stage. While there are implementations for a wideband frequency response with a minimal need for tuning, designs using resonant structures with small numbers of Josephson elements still achieve the best noise performance. In a typical measurement scheme involving a JPA, one needs to control the resonance frequency, pump frequency and pump power to achieve the desired amplification and noise properties. In this work, we propose a straightforward approach for operating JPAs with the help of a look-up table (LUT) and online fine-tuning. Using the proposed approach, we demonstrate the operation of a flux-driven JPA with 20 dB gain around 5.9 GHz, covering approximately 100 MHz with 20 kHz tuning steps. The proposed methodology was successfully used in the context of a haloscope axion experiment.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Analysis of Adversarial Image Manipulations
Authors:
Ahsi Lo,
Gabriella Pangelinan,
Michael C. King
Abstract:
As virtual and physical identity grow increasingly intertwined, the importance of privacy and security in the online sphere becomes paramount. In recent years, multiple news stories have emerged of private companies scra** web content and doing research with or selling the data. Images uploaded online can be scraped without users' consent or knowledge. Users of social media platforms whose image…
▽ More
As virtual and physical identity grow increasingly intertwined, the importance of privacy and security in the online sphere becomes paramount. In recent years, multiple news stories have emerged of private companies scra** web content and doing research with or selling the data. Images uploaded online can be scraped without users' consent or knowledge. Users of social media platforms whose images are scraped may be at risk of being identified in other uploaded images or in real-world identification situations. This paper investigates how simple, accessible image manipulation techniques affect the accuracy of facial recognition software in identifying an individual's various face images based on one unique image.
△ Less
Submitted 10 May, 2023;
originally announced May 2023.
-
A Statistical Model of Bipartite Networks: Application to Cosponsorship in the United States Senate
Authors:
Adeline Lo,
Santiago Olivella,
Kosuke Imai
Abstract:
Many networks in political and social research are bipartite, with edges connecting exclusively across two distinct types of nodes. A common example includes cosponsorship networks, in which legislators are connected indirectly through the bills they support. Yet most existing network models are designed for unipartite networks, where edges can arise between any pair of nodes. However, using a uni…
▽ More
Many networks in political and social research are bipartite, with edges connecting exclusively across two distinct types of nodes. A common example includes cosponsorship networks, in which legislators are connected indirectly through the bills they support. Yet most existing network models are designed for unipartite networks, where edges can arise between any pair of nodes. However, using a unipartite network model to analyze bipartite networks, as often done in practice, can result in aggregation bias and artificially high-clustering -- a particularly insidious problem when studying the role groups play in network formation. To address these methodological problems, we develop a statistical model of bipartite networks theorized to be generated through group interactions by extending the popular mixed-membership stochastic blockmodel. Our model allows researchers to identify the groups of nodes, within each node type in the bipartite structure, that share common patterns of edge formation. The model also incorporates both node and dyad-level covariates as the predictors of group membership and of observed dyadic relations. We develop an efficient computational algorithm for fitting the model, and apply it to cosponsorship data from the United States Senate. We show that legislators in a Senate that was perfectly split along party lines were able to remain productive and pass major legislation by forming non-partisan, power-brokering coalitions that found common ground through their collaboration on low-stakes bills. We also find evidence for norms of reciprocity, and uncover the substantial role played by policy expertise in the formation of cosponsorships between senators and legislation. We make an open-source software package available that makes it possible for other researchers to uncover similar insights from bipartite networks.
△ Less
Submitted 27 June, 2024; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Four-channel System for Characterization of Josephson Parametric Amplifiers
Authors:
Boris I. Ivanov,
**myeong Kim,
Çağlar Kutlu,
Arjan F. van Loo,
Yasunobu Nakamura,
Sergey V. Uchaikin,
Seonjeong Oh,
Violeta Gkika,
Andrei Matlashov,
Woohyun Chung,
Yannis K. Semertzidis
Abstract:
The axion search experiments based on haloscopes at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science (IBS) in South Korea are performed in the frequency range from 1 GHz to 6 GHz. In order to perform the experiments in a strong magnetic field of 12 T and a large-volume cavity of close to 40 liters, we use He wet dilution refrigerators with immersed supe…
▽ More
The axion search experiments based on haloscopes at the Center for Axion and Precision Physics Research (CAPP) of the Institute for Basic Science (IBS) in South Korea are performed in the frequency range from 1 GHz to 6 GHz. In order to perform the experiments in a strong magnetic field of 12 T and a large-volume cavity of close to 40 liters, we use He wet dilution refrigerators with immersed superconducting magnets. The measurements require continuous operation for months without interruptions for microwave component replacements. This is achieved by using different cryogenic engineering approaches including microwave RF-switching. The critical components, defining the scanning rate and the sensitivity of the setup, are the Josephson parametric amplifiers (JPA) and cryogenic low noise amplifiers (cLNA) based on high-electron-mobility-transistor (HEMT) technology. It is desirable for both devices to have a wide frequency range and low noise close to the quantum limit for the JPA. In this paper, we show a recent design of a 4-channel measurement setup for JPA and HEMT measurements. The setup is based on a 4-channel wideband noise source (NS) and is used for both JPA and HEMT gain and noise measurements. The setup is placed at 20 mK inside the dry dilution refrigerator. The NS is thermally decoupled from the environment using plastic spacers, superconducting wires and superconducting coaxial cables. We show the gain and noise temperature curves measured for 4 HEMT amplifiers and 2 JPAs in one cool-down
△ Less
Submitted 9 May, 2023; v1 submitted 26 April, 2023;
originally announced April 2023.
-
CAPP Axion Search Experiments with Quantum Noise Limited Amplifiers
Authors:
Sergey V. Uchaikin,
Boris I. Ivanov,
**myeong Kim,
Çağlar Kutlu,
Arjan F. Van Loo,
Yasunobu Nakamura,
Seonjeong OH,
Violeta Gkika,
Andrei Matlashov,
Woohyun Chung,
Yannis K. Semertzidis
Abstract:
The axion is expected to solve the strong CP problem of quantum chromodynamics and is one of the leading candidates for dark matter. CAPP in South Korea has several axion search experiments based on cavity haloscopes in the frequency range of 1-6 GHz. The main effort focuses on operation of the experiments with the highest possible sensitivity. It requires maintenance of the haloscopes at the lowe…
▽ More
The axion is expected to solve the strong CP problem of quantum chromodynamics and is one of the leading candidates for dark matter. CAPP in South Korea has several axion search experiments based on cavity haloscopes in the frequency range of 1-6 GHz. The main effort focuses on operation of the experiments with the highest possible sensitivity. It requires maintenance of the haloscopes at the lowest physical temperature in the range of mK and usage of low noise components to amplify the weak axion signal. We report development and operation of low noise amplifiers for 5 haloscope experiments targeting at different frequency ranges. The amplifiers show noise temperatures approaching the quantum limit.
△ Less
Submitted 24 April, 2023; v1 submitted 13 April, 2023;
originally announced April 2023.
-
The James Webb Space Telescope Mission
Authors:
Jonathan P. Gardner,
John C. Mather,
Randy Abbott,
James S. Abell,
Mark Abernathy,
Faith E. Abney,
John G. Abraham,
Roberto Abraham,
Yasin M. Abul-Huda,
Scott Acton,
Cynthia K. Adams,
Evan Adams,
David S. Adler,
Maarten Adriaensen,
Jonathan Albert Aguilar,
Mansoor Ahmed,
Nasif S. Ahmed,
Tanjira Ahmed,
Rüdeger Albat,
Loïc Albert,
Stacey Alberts,
David Aldridge,
Mary Marsha Allen,
Shaune S. Allen,
Martin Altenburg
, et al. (983 additional authors not shown)
Abstract:
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono…
▽ More
Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Josephson Parametric Amplifier in Axion Experiments
Authors:
**myeong Kim,
Boris I. Ivanov,
Çağlar Kutlu,
Seongtae Park,
Arjan F. Van Loo,
Yasunobu Nakamura,
Sergey V. Uchaikin,
Seonjeong Oh,
Violeta Gkika,
Andrei Matlashov,
Woohyun Chung,
Yannis K. Semertzidis
Abstract:
The axion is a hypothetical particle, a promising candidate for dark matter, and a solution to the strong CP problem. Axion haloscope search experiments deal with a signal power comparable to noise uncertainty at millikelvin temperature. We use a flux-driven Josephson parametric amplifier (JPA) with the aim of approaching a noise level near the theoretically allowed limit of half quanta. In our me…
▽ More
The axion is a hypothetical particle, a promising candidate for dark matter, and a solution to the strong CP problem. Axion haloscope search experiments deal with a signal power comparable to noise uncertainty at millikelvin temperature. We use a flux-driven Josephson parametric amplifier (JPA) with the aim of approaching a noise level near the theoretically allowed limit of half quanta. In our measurements to characterize the JPA we have found the added noise to the system with a JPA as the first-stage amplifier to be lower than 110 mK at the frequencies from 0.938 GHz to 0.963 GHz.
△ Less
Submitted 19 April, 2023; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Recent advances in the Self-Referencing Embedding Strings (SELFIES) library
Authors:
Alston Lo,
Robert Pollice,
AkshatKumar Nigam,
Andrew D. White,
Mario Krenn,
Alán Aspuru-Guzik
Abstract:
String-based molecular representations play a crucial role in cheminformatics applications, and with the growing success of deep learning in chemistry, have been readily adopted into machine learning pipelines. However, traditional string-based representations such as SMILES are often prone to syntactic and semantic errors when produced by generative models. To address these problems, a novel repr…
▽ More
String-based molecular representations play a crucial role in cheminformatics applications, and with the growing success of deep learning in chemistry, have been readily adopted into machine learning pipelines. However, traditional string-based representations such as SMILES are often prone to syntactic and semantic errors when produced by generative models. To address these problems, a novel representation, SELF-referencIng Embedded Strings (SELFIES), was proposed that is inherently 100% robust, alongside an accompanying open-source implementation. Since then, we have generalized SELFIES to support a wider range of molecules and semantic constraints and streamlined its underlying grammar. We have implemented this updated representation in subsequent versions of \selfieslib, where we have also made major advances with respect to design, efficiency, and supported features. Hence, we present the current status of \selfieslib (version 2.1.1) in this manuscript.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
Search for the Sagittarius Tidal Stream of Axion Dark Matter around 4.55 $μ$eV
Authors:
Andrew K. Yi,
Saebyeok Ahn,
Çağlar Kutlu,
**Myeong Kim,
Byeong Rok Ko,
Boris I. Ivanov,
HeeSu Byun,
Arjan F. van Loo,
SeongTae Park,
Junu Jeong,
Ohjoon Kwon,
Yasunobu Nakamura,
Sergey V. Uchaikin,
Jihoon Choi,
Soohyung Lee,
MyeongJae Lee,
Yun Chang Shin,
**su Kim,
Doyu Lee,
Danho Ahn,
SungJae Bae,
Jiwon Lee,
Younggeun Kim,
Violeta Gkika,
Ki Woong Lee
, et al. (7 additional authors not shown)
Abstract:
We report the first search for the Sagittarius tidal stream of axion dark matter around 4.55 $μ$eV using CAPP-12TB haloscope data acquired in March of 2022. Our result excluded the Sagittarius tidal stream of Dine-Fischler-Srednicki-Zhitnitskii and Kim-Shifman-Vainshtein-Zakharov axion dark matter densities of $ρ_a\gtrsim0.184$ and $\gtrsim0.025$ GeV/cm$^{3}$, respectively, over a mass range from…
▽ More
We report the first search for the Sagittarius tidal stream of axion dark matter around 4.55 $μ$eV using CAPP-12TB haloscope data acquired in March of 2022. Our result excluded the Sagittarius tidal stream of Dine-Fischler-Srednicki-Zhitnitskii and Kim-Shifman-Vainshtein-Zakharov axion dark matter densities of $ρ_a\gtrsim0.184$ and $\gtrsim0.025$ GeV/cm$^{3}$, respectively, over a mass range from 4.51 to 4.59 $μ$eV at a 90% confidence level.
△ Less
Submitted 13 July, 2023; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Are Language Models Worse than Humans at Following Prompts? It's Complicated
Authors:
Albert Webson,
Alyssa Marie Loo,
Qinan Yu,
Ellie Pavlick
Abstract:
Prompts have been the center of progress in advancing language models' zero-shot and few-shot performance. However, recent work finds that models can perform surprisingly well when given intentionally irrelevant or misleading prompts. Such results may be interpreted as evidence that model behavior is not "human like". In this study, we challenge a central assumption in such work: that humans would…
▽ More
Prompts have been the center of progress in advancing language models' zero-shot and few-shot performance. However, recent work finds that models can perform surprisingly well when given intentionally irrelevant or misleading prompts. Such results may be interpreted as evidence that model behavior is not "human like". In this study, we challenge a central assumption in such work: that humans would perform badly when given pathological instructions. We find that humans are able to reliably ignore irrelevant instructions and thus, like models, perform well on the underlying task despite an apparent lack of signal regarding the task they are being asked to do. However, when given deliberately misleading instructions, humans follow the instructions faithfully, whereas models do not. Our findings caution that future research should not idealize human behaviors as a monolith and should not train or evaluate models to mimic assumptions about these behaviors without first validating humans' behaviors empirically.
△ Less
Submitted 11 November, 2023; v1 submitted 17 January, 2023;
originally announced January 2023.
-
An oriented discrepancy version of Dirac's theorem
Authors:
Andrea Freschi,
Allan Lo
Abstract:
The study of graph discrepancy problems, initiated by Erdős in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with large discrepancy (i.e. the copy of $H$ contains significantly more than half of its edges in one colour). Motivated by this line of research, Gishboliner, Krivelev…
▽ More
The study of graph discrepancy problems, initiated by Erdős in the 1960s, has received renewed attention in recent years. In general, given a $2$-edge-coloured graph $G$, one is interested in embedding a copy of a graph $H$ in $G$ with large discrepancy (i.e. the copy of $H$ contains significantly more than half of its edges in one colour). Motivated by this line of research, Gishboliner, Krivelevich and Michaeli considered an oriented version of graph discrepancy for Hamilton cycles. In particular, they conjectured the following generalization of Dirac's theorem: if $G$ is an oriented graph on $n\geq3$ vertices with $δ(G)\geq n/2$, then $G$ contains a Hamilton cycle with at least $δ(G)$ edges pointing forward. In this paper, we present a full resolution to this conjecture.
△ Less
Submitted 27 June, 2024; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Cycle decompositions in $k$-uniform hypergraphs
Authors:
Allan Lo,
Simón Piga,
Nicolás Sanhueza-Matamala
Abstract:
We show that $k$-uniform hypergraphs on $n$ vertices whose codegree is at least $(2/3 + o(1))n$ can be decomposed into tight cycles, subject to the trivial divisibility conditions. As a corollary, we show those graphs contain tight Euler tours as well. In passing, we also investigate decompositions into tight paths.
In addition, we also prove an alternative condition for building absorbers for e…
▽ More
We show that $k$-uniform hypergraphs on $n$ vertices whose codegree is at least $(2/3 + o(1))n$ can be decomposed into tight cycles, subject to the trivial divisibility conditions. As a corollary, we show those graphs contain tight Euler tours as well. In passing, we also investigate decompositions into tight paths.
In addition, we also prove an alternative condition for building absorbers for edge-decompositions of arbitrary $k$-uniform hypergraphs, which should be of independent interest.
△ Less
Submitted 6 March, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Axion Dark Matter Search around 4.55 $μ$eV with Dine-Fischler-Srednicki-Zhitnitskii Sensitivity
Authors:
Andrew K. Yi,
Saebyeok Ahn,
Çağlar Kutlu,
**Myeong Kim,
Byeong Rok Ko,
Boris I. Ivanov,
HeeSu Byun,
Arjan F. van Loo,
SeongTae Park,
Junu Jeong,
Ohjoon Kwon,
Yasunobu Nakamura,
Sergey V. Uchaikin,
Jihoon Choi,
Soohyung Lee,
MyeongJae Lee,
Yun Chang Shin,
**su Kim,
Doyu Lee,
Danho Ahn,
SungJae Bae,
Jiwon Lee,
Younggeun Kim,
Violeta Gkika,
Ki Woong Lee
, et al. (7 additional authors not shown)
Abstract:
We report an axion dark matter search at Dine-Fischler-Srednicki-Zhitnitskii sensitivity with the CAPP-12TB haloscope, assuming axions contribute 100\% of the local dark matter density.
The search excluded the axion--photon coupling $g_{aγγ}$ down to about $6.2\times10^{-16}$ GeV$^{-1}$ over the axion mass range between 4.51 and 4.59 $μ$eV at a 90\% confidence level.
The achieved experimental…
▽ More
We report an axion dark matter search at Dine-Fischler-Srednicki-Zhitnitskii sensitivity with the CAPP-12TB haloscope, assuming axions contribute 100\% of the local dark matter density.
The search excluded the axion--photon coupling $g_{aγγ}$ down to about $6.2\times10^{-16}$ GeV$^{-1}$ over the axion mass range between 4.51 and 4.59 $μ$eV at a 90\% confidence level.
The achieved experimental sensitivity can also exclude Kim-Shifman-Vainshtein-Zakharov axion dark matter that makes up just 13\% of the local dark matter density.
The CAPP-12TB haloscope will continue the search over a wide range of axion masses.
△ Less
Submitted 16 February, 2023; v1 submitted 19 October, 2022;
originally announced October 2022.
-
If Influence Functions are the Answer, Then What is the Question?
Authors:
Juhan Bae,
Nathan Ng,
Alston Lo,
Marzyeh Ghassemi,
Roger Grosse
Abstract:
Influence functions efficiently estimate the effect of removing a single training data point on a model's learned parameters. While influence estimates align well with leave-one-out retraining for linear models, recent works have shown this alignment is often poor in neural networks. In this work, we investigate the specific factors that cause this discrepancy by decomposing it into five separate…
▽ More
Influence functions efficiently estimate the effect of removing a single training data point on a model's learned parameters. While influence estimates align well with leave-one-out retraining for linear models, recent works have shown this alignment is often poor in neural networks. In this work, we investigate the specific factors that cause this discrepancy by decomposing it into five separate terms. We study the contributions of each term on a variety of architectures and datasets and how they vary with factors such as network width and training time. While practical influence function estimates may be a poor match to leave-one-out retraining for nonlinear networks, we show they are often a good approximation to a different object we term the proximal Bregman response function (PBRF). Since the PBRF can still be used to answer many of the questions motivating influence functions, such as identifying influential or mislabeled examples, our results suggest that current algorithms for influence function estimation give more informative results than previous error analyses would suggest.
△ Less
Submitted 12 September, 2022;
originally announced September 2022.
-
Near-Quantum-Noise Axion Dark Matter Search at CAPP around 9.5 $μ$eV
Authors:
**su Kim,
Ohjoon Kwon,
Çağlar Kutlu,
Woohyun Chung,
Andrei Matlashov,
Sergey Uchaikin,
Arjan Ferdinand van Loo,
Yasunobu Nakamura,
Seonjeong Oh,
HeeSu Byun,
Danho Ahn,
Yannis K. Semertzidis
Abstract:
We report the results of an axion dark matter search over an axion mass range of 9.39-9.51 $μ$eV. A flux-driven Josephson parametric amplifier (JPA) was added to the cryogenic receiver chain. A system noise temperature of as low as 200 mK was achieved, which is the lowest recorded noise among published axion cavity experiments with phase-insensitive JPA operation. In addition, we developed a two-s…
▽ More
We report the results of an axion dark matter search over an axion mass range of 9.39-9.51 $μ$eV. A flux-driven Josephson parametric amplifier (JPA) was added to the cryogenic receiver chain. A system noise temperature of as low as 200 mK was achieved, which is the lowest recorded noise among published axion cavity experiments with phase-insensitive JPA operation. In addition, we developed a two-stage scanning method which boosted the scan speed by 26%. As a result, a range of two-photon coupling in a plausible model for the QCD axion was excluded with an order of magnitude higher in sensitivity than existing limits.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
The Science Performance of JWST as Characterized in Commissioning
Authors:
Jane Rigby,
Marshall Perrin,
Michael McElwain,
Randy Kimble,
Scott Friedman,
Matt Lallo,
René Doyon,
Lee Feinberg,
Pierre Ferruit,
Alistair Glasse,
Marcia Rieke,
George Rieke,
Gillian Wright,
Chris Willott,
Knicole Colon,
Stefanie Milam,
Susan Neff,
Christopher Stark,
Jeff Valenti,
Jim Abell,
Faith Abney,
Yasin Abul-Huda,
D. Scott Acton,
Evan Adams,
David Adler
, et al. (601 additional authors not shown)
Abstract:
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries f…
▽ More
This paper characterizes the actual science performance of the James Webb Space Telescope (JWST), as determined from the six month commissioning period. We summarize the performance of the spacecraft, telescope, science instruments, and ground system, with an emphasis on differences from pre-launch expectations. Commissioning has made clear that JWST is fully capable of achieving the discoveries for which it was built. Moreover, almost across the board, the science performance of JWST is better than expected; in most cases, JWST will go deeper faster than expected. The telescope and instrument suite have demonstrated the sensitivity, stability, image quality, and spectral range that are necessary to transform our understanding of the cosmos through observations spanning from near-earth asteroids to the most distant galaxies.
△ Less
Submitted 10 April, 2023; v1 submitted 12 July, 2022;
originally announced July 2022.
-
SELFIES and the future of molecular string representations
Authors:
Mario Krenn,
Qianxiang Ai,
Senja Barthel,
Nessa Carson,
Angelo Frei,
Nathan C. Frey,
Pascal Friederich,
Théophile Gaudin,
Alberto Alexander Gayle,
Kevin Maik Jablonka,
Rafael F. Lameiro,
Dominik Lemm,
Alston Lo,
Seyed Mohamad Moosavi,
José Manuel Nápoles-Duarte,
AkshatKumar Nigam,
Robert Pollice,
Kohulan Rajan,
Ulrich Schatzschneider,
Philippe Schwaller,
Marta Skreta,
Berend Smit,
Felix Strieth-Kalthoff,
Chong Sun,
Gary Tom
, et al. (6 additional authors not shown)
Abstract:
Artificial intelligence (AI) and machine learning (ML) are expanding in popularity for broad applications to challenging tasks in chemistry and materials science. Examples include the prediction of properties, the discovery of new reaction pathways, or the design of new molecules. The machine needs to read and write fluently in a chemical language for each of these tasks. Strings are a common tool…
▽ More
Artificial intelligence (AI) and machine learning (ML) are expanding in popularity for broad applications to challenging tasks in chemistry and materials science. Examples include the prediction of properties, the discovery of new reaction pathways, or the design of new molecules. The machine needs to read and write fluently in a chemical language for each of these tasks. Strings are a common tool to represent molecular graphs, and the most popular molecular string representation, SMILES, has powered cheminformatics since the late 1980s. However, in the context of AI and ML in chemistry, SMILES has several shortcomings -- most pertinently, most combinations of symbols lead to invalid results with no valid chemical interpretation. To overcome this issue, a new language for molecules was introduced in 2020 that guarantees 100\% robustness: SELFIES (SELF-referencIng Embedded Strings). SELFIES has since simplified and enabled numerous new applications in chemistry. In this manuscript, we look to the future and discuss molecular string representations, along with their respective opportunities and challenges. We propose 16 concrete Future Projects for robust molecular representations. These involve the extension toward new chemical domains, exciting questions at the interface of AI and robust languages and interpretability for both humans and machines. We hope that these proposals will inspire several follow-up works exploiting the full potential of molecular string representations for the future of AI in chemistry and materials science.
△ Less
Submitted 31 March, 2022;
originally announced April 2022.
-
Hamilton Cycles in Dense Regular Digraphs and Oriented Graphs
Authors:
Allan Lo,
Viresh Patel,
Mehmet Akif Yıldız
Abstract:
We prove that for every $\varepsilon > 0$ there exists $n_0=n_0(\varepsilon)$ such that every regular oriented graph on $n > n_0$ vertices and degree at least $(1/4 + \varepsilon)n$ has a Hamilton cycle. This establishes an approximate version of a conjecture of Jackson from 1981. We also establish a result related to a conjecture of Kühn and Osthus about the Hamiltonicity of regular directed grap…
▽ More
We prove that for every $\varepsilon > 0$ there exists $n_0=n_0(\varepsilon)$ such that every regular oriented graph on $n > n_0$ vertices and degree at least $(1/4 + \varepsilon)n$ has a Hamilton cycle. This establishes an approximate version of a conjecture of Jackson from 1981. We also establish a result related to a conjecture of Kühn and Osthus about the Hamiltonicity of regular directed graphs with suitable degree and connectivity conditions.
△ Less
Submitted 14 September, 2023; v1 submitted 18 March, 2022;
originally announced March 2022.
-
Upper density of monochromatic paths in edge-coloured infinite complete graphs and bipartite graphs
Authors:
A. Nicholas Day,
Allan Lo
Abstract:
The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper d…
▽ More
The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper density at least $(12 + \sqrt{8})/17$, which is best possible. In this paper, we extend this result to $k$-edge-colouring of $K_{\mathbb{N}}$ for $k \ge 3$. We conjecture that every $k$-edge-coloured $K_{\mathbb{N}}$ contains a monochromatic path with upper density at least $1/(k-1)$, which is best possible (when $k-1$ is a prime power). We prove that this is true when $k = 3$ and asymptotically when $k =4$. Furthermore, we show that this problem can be deduced from its bipartite variant, which is of independent interest.
△ Less
Submitted 25 October, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
The Ramsey number for 4-uniform tight cycles
Authors:
Allan Lo,
Vincent Pfenninger
Abstract:
A $k$-uniform tight cycle is a $k$-graph with a cyclic ordering of its vertices such that its edges are precisely the sets of $k$ consecutive vertices in that ordering. A $k$-uniform tight path is a $k$-graph obtained by deleting a vertex from a $k$-uniform tight cycle. We prove that the Ramsey number for the $4$-uniform tight cycle on $4n$ vertices is $(5 +o(1))n$. This is asymptotically tight. T…
▽ More
A $k$-uniform tight cycle is a $k$-graph with a cyclic ordering of its vertices such that its edges are precisely the sets of $k$ consecutive vertices in that ordering. A $k$-uniform tight path is a $k$-graph obtained by deleting a vertex from a $k$-uniform tight cycle. We prove that the Ramsey number for the $4$-uniform tight cycle on $4n$ vertices is $(5 +o(1))n$. This is asymptotically tight. This result also implies that the Ramsey number for the $4$-uniform tight path on $n$ vertices is $(5/4 + o(1))n$.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
A Study of Mixed Precision Strategies for GMRES on GPUs
Authors:
Jennifer A. Loe,
Christian A. Glusa,
Ichitaro Yamazaki,
Erik G. Boman,
Sivasankaran Rajamanickam
Abstract:
Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for mixed precision stra…
▽ More
Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for mixed precision strategies at the linear algebra algorithms level if we want to exploit the hardware to its full potential while meeting the accuracy requirements. In this paper, we focus on preconditioned sparse iterative linear solvers, a key kernel in several CSE applications. We present a study of mixed precision strategies for accelerating this kernel on an NVIDIA V$100$ GPU with a Power 9 CPU. We seek the best methods for incorporating multiple precisions into the GMRES linear solver; these include iterative refinement and parallelizable preconditioners. Our work presents strategies to determine when mixed precision GMRES will be effective and to choose parameters for a mixed precision iterative refinement solver to achieve better performance. We use an implementation that is based on the Trilinos library and employs Kokkos Kernels for performance portability of linear algebra kernels. Performance results demonstrate the promise of mixed precision approaches and demonstrate even further improvements are possible by optimizing low-level kernels.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Complete subgraphs in a multipartite graph
Authors:
Allan Lo,
Andrew Treglown,
Yi Zhao
Abstract:
In 1975 Bollobás, Erd\H os, and Szemerédi asked the following question: given positive integers $n, t, r$ with $2\le t\le r-1$, what is the largest minimum degree $δ(G)$ among all $r$-partite graphs $G$ with parts of size $n$ and which do not contain a copy of $K_{t+1}$? The $r=t+1$ case has attracted a lot of attention and was fully resolved by Haxell and Szabó, and Szabó and Tardos in 2006. In t…
▽ More
In 1975 Bollobás, Erd\H os, and Szemerédi asked the following question: given positive integers $n, t, r$ with $2\le t\le r-1$, what is the largest minimum degree $δ(G)$ among all $r$-partite graphs $G$ with parts of size $n$ and which do not contain a copy of $K_{t+1}$? The $r=t+1$ case has attracted a lot of attention and was fully resolved by Haxell and Szabó, and Szabó and Tardos in 2006. In this paper we investigate the $r>t+1$ case of the problem, which has remained dormant for over forty years. We resolve the problem exactly in the case when $r \equiv -1 \pmod{t}$, and up to an additive constant for many other cases, including when $r \geq (3t-1)(t-1)$. Our approach utilizes a connection to the related problem of determining the maximum of the minimum degrees among the family of balanced $r$-partite $rn$-vertex graphs of chromatic number at most $t$.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Experimental Evaluation of Multiprecision Strategies for GMRES on GPUs
Authors:
Jennifer A. Loe,
Christian A. Glusa,
Ichitaro Yamazaki,
Erik G. Boman,
Sivasankaran Rajamanickam
Abstract:
Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for multiprecision strat…
▽ More
Support for lower precision computation is becoming more common in accelerator hardware due to lower power usage, reduced data movement and increased computational performance. However, computational science and engineering (CSE) problems require double precision accuracy in several domains. This conflict between hardware trends and application needs has resulted in a need for multiprecision strategies at the linear algebra algorithms level if we want to exploit the hardware to its full potential while meeting the accuracy requirements. In this paper, we focus on preconditioned sparse iterative linear solvers, a key kernel in several CSE applications. We present a study of multiprecision strategies for accelerating this kernel on GPUs. We seek the best methods for incorporating multiple precisions into the GMRES linear solver; these include iterative refinement and parallelizable preconditioners. Our work presents strategies to determine when multiprecision GMRES will be effective and to choose parameters for a multiprecision iterative refinement solver to achieve better performance. We use an implementation that is based on the Trilinos library and employs Kokkos Kernels for performance portability of linear algebra kernels. Performance results demonstrate the promise of multiprecision approaches and demonstrate even further improvements are possible by optimizing low-level kernels.
△ Less
Submitted 16 May, 2021;
originally announced May 2021.
-
Characterization of a flux-driven Josephson parametric amplifier with near quantum-limited added noise for axion search experiments
Authors:
Çağlar Kutlu,
Arjan F. van Loo,
Sergey V. Uchaikin,
Andrei N. Matlashov,
Doyu Lee,
Seonjeong Oh,
**su Kim,
Woohyun Chung,
Yasunobu Nakamura,
Yannis K. Semertzidis
Abstract:
The axion, a hypothetical elementary pseudoscalar, is expected to solve the strong CP problem of QCD and is also a promising candidate for dark matter. The most sensitive axion search experiments operate at millikelvin temperatures and hence rely on instrumentation that carries signals from a system at cryogenic temperatures to room temperature instrumentation. One of the biggest limiting factors…
▽ More
The axion, a hypothetical elementary pseudoscalar, is expected to solve the strong CP problem of QCD and is also a promising candidate for dark matter. The most sensitive axion search experiments operate at millikelvin temperatures and hence rely on instrumentation that carries signals from a system at cryogenic temperatures to room temperature instrumentation. One of the biggest limiting factors affecting the parameter scanning speed of these detectors is the noise added by the components in the signal detection chain. Since the first amplifier in the chain limits the minimum noise, low-noise amplification is of paramount importance. This paper reports on the operation of a flux-driven Josephson parametric amplifier (JPA) operating at around 2.3 GHz with added noise approaching the quantum limit. The JPA was employed as a first stage amplifier in an experimental setting similar to the ones used in haloscope axion detectors. By operating the JPA at a gain of 19 dB and cascading it with two cryogenic amplifiers operating at 4 K, noise temperatures as low as 120 mK were achieved for the whole signal detection chain.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
Towards Lehel's conjecture for 4-uniform tight cycles
Authors:
Allan Lo,
Vincent Pfenninger
Abstract:
A $k$-uniform tight cycle is a $k$-uniform hypergraph with a cyclic ordering of its vertices such that its edges are all the sets of size $k$ formed by $k$ consecutive vertices in the ordering. We prove that every red-blue edge-coloured $K_n^{(4)}$ contains a red and a blue tight cycle that are vertex-disjoint and together cover $n-o(n)$ vertices. Moreover, we prove that every red-blue edge-colour…
▽ More
A $k$-uniform tight cycle is a $k$-uniform hypergraph with a cyclic ordering of its vertices such that its edges are all the sets of size $k$ formed by $k$ consecutive vertices in the ordering. We prove that every red-blue edge-coloured $K_n^{(4)}$ contains a red and a blue tight cycle that are vertex-disjoint and together cover $n-o(n)$ vertices. Moreover, we prove that every red-blue edge-coloured $K_n^{(5)}$ contains four monochromatic tight cycles that are vertex-disjoint and together cover $n-o(n)$ vertices.
△ Less
Submitted 7 December, 2022; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Path decompositions of tournaments
Authors:
António Girão,
Bertille Granet,
Daniela Kühn,
Allan Lo,
Deryk Osthus
Abstract:
In 1976, Alspach, Mason, and Pullman conjectured that any tournament $T$ of even order can be decomposed into exactly ${\rm ex}(T)$ paths, where ${\rm ex}(T):= \frac{1}{2}\sum_{v\in V(T)}|d_T^+(v)-d_T^-(v)|$. We prove this conjecture for all sufficiently large tournaments. We also prove an asymptotically optimal result for tournaments of odd order.
In 1976, Alspach, Mason, and Pullman conjectured that any tournament $T$ of even order can be decomposed into exactly ${\rm ex}(T)$ paths, where ${\rm ex}(T):= \frac{1}{2}\sum_{v\in V(T)}|d_T^+(v)-d_T^-(v)|$. We prove this conjecture for all sufficiently large tournaments. We also prove an asymptotically optimal result for tournaments of odd order.
△ Less
Submitted 28 July, 2022; v1 submitted 27 October, 2020;
originally announced October 2020.
-
LB Scalability: Achieving the Right Balance Between Being Stateful and Stateless
Authors:
Reuven Cohen,
Matty Kadosh,
Alan Lo,
Qasem Sayah
Abstract:
A high performance Layer-4 load balancer (LB) is one of the most important components of a cloud service infrastructure. Such an LB uses network and transport layer information for deciding how to distribute client requests across a group of servers. A crucial requirement for a stateful LB is per connection consistency (PCC); namely, that all the packets of the same connection will be forwarded to…
▽ More
A high performance Layer-4 load balancer (LB) is one of the most important components of a cloud service infrastructure. Such an LB uses network and transport layer information for deciding how to distribute client requests across a group of servers. A crucial requirement for a stateful LB is per connection consistency (PCC); namely, that all the packets of the same connection will be forwarded to the same server, as long as the server is alive, even if the pool of servers or the assignment function changes. The challenge is in designing a high throughput, low latency solution that is also scalable. This paper proposes a highly scalable LB, called Prism, implemented using a programmable switch ASIC. As far as we know, Prism is the first reported LB that can process millions of connections per second and hundreds of millions connections in total, while ensuring PCC. This is due to the fact that Prism forwards all the packets in hardware, even during server pool changes, while avoiding the need to maintain a hardware state per every active connection. We implemented a prototype of the proposed architecture and showed that Prism can scale to 100 million simultaneous connections, and can accommodate more than one pool update per second.
△ Less
Submitted 26 October, 2020;
originally announced October 2020.
-
Antibody Watch: Text Mining Antibody Specificity from the Literature
Authors:
Chun-Nan Hsu,
Chia-Hui Chang,
Thamolwan Poopradubsil,
Amanda Lo,
Karen A. William,
Ko-Wei Lin,
Anita Bandrowski,
Ibrahim Burak Ozyurt,
Jeffrey S. Grethe,
Maryann E. Martone
Abstract:
Antibodies are widely used reagents to test for expression of proteins and other antigens. However, they might not always reliably produce results when they do not specifically bind to the target proteins that their providers designed them for, leading to unreliable research results. While many proposals have been developed to deal with the problem of antibody specificity, it is still challenging…
▽ More
Antibodies are widely used reagents to test for expression of proteins and other antigens. However, they might not always reliably produce results when they do not specifically bind to the target proteins that their providers designed them for, leading to unreliable research results. While many proposals have been developed to deal with the problem of antibody specificity, it is still challenging to cover the millions of antibodies that are available to researchers. In this study, we investigate the feasibility of automatically generating alerts to users of problematic antibodies by extracting statements about antibody specificity reported in the literature. The extracted alerts can be used to construct an "Antibody Watch" knowledge base containing supporting statements of problematic antibodies. We developed a deep neural network system and tested its performance with a corpus of more than two thousand articles that reported uses of antibodies. We divided the problem into two tasks. Given an input article, the first task is to identify snippets about antibody specificity and classify if the snippets report that any antibody exhibits non-specificity, and thus is problematic. The second task is to link each of these snippets to one or more antibodies mentioned in the snippet. The experimental evaluation shows that our system can accurately perform both classification and linking tasks with weighted F-scores over 0.925 and 0.923, respectively, and 0.914 overall when combined to complete the joint task. We leveraged Research Resource Identifiers (RRID) to precisely identify antibodies linked to the extracted specificity snippets. The result shows that it is feasible to construct a reliable knowledge base about problematic antibodies by text mining.
△ Less
Submitted 11 November, 2020; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Breaking the trade-off between fast control and long lifetime of a superconducting qubit
Authors:
Shingo Kono,
Kazuki Koshino,
Dany Lachance-Quirion,
Arjan F. Van Loo,
Yutaka Tabuchi,
Atsushi Noguchi,
Yasunobu Nakamura
Abstract:
The rapid development in designs and fabrication techniques of superconducting qubits has helped making coherence times of qubits longer. In the near future, however, the radiative decay of a qubit into its control line will be a fundamental limitation, imposing a trade-off between fast control and long lifetime of the qubit. In this work, we successfully break this trade-off by strongly coupling…
▽ More
The rapid development in designs and fabrication techniques of superconducting qubits has helped making coherence times of qubits longer. In the near future, however, the radiative decay of a qubit into its control line will be a fundamental limitation, imposing a trade-off between fast control and long lifetime of the qubit. In this work, we successfully break this trade-off by strongly coupling another superconducting qubit along the control line. This second qubit, which we call a Josephson quantum filter (JQF), prevents the qubit from emitting microwave photons and thus suppresses its relaxation, while faithfully transmitting large-amplitude control microwave pulses due to the saturation of the quantum filter, enabling fast qubit control. We observe an improvement of the qubit relaxation time without a reduction of the Rabi frequency. This device could potentially help in the realization of a large-scale superconducting quantum information processor in terms of the heating of the qubit environments and the crosstalk between qubits.
△ Less
Submitted 9 March, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Toward Efficient Polynomial Preconditioning for GMRES
Authors:
Jennifer A. Loe,
Ronald B. Morgan
Abstract:
We present a polynomial preconditioner for solving large systems of linear equations. The polynomial is derived from the minimum residual polynomial (the GMRES polynomial) and is more straightforward to compute and implement than many previous polynomial preconditioners. Our current implementation of this polynomial using its roots is naturally more stable than previous methods of computing the sa…
▽ More
We present a polynomial preconditioner for solving large systems of linear equations. The polynomial is derived from the minimum residual polynomial (the GMRES polynomial) and is more straightforward to compute and implement than many previous polynomial preconditioners. Our current implementation of this polynomial using its roots is naturally more stable than previous methods of computing the same polynomial. We implement further stability control using added roots, and this allows for high degree polynomials. We discuss the effectiveness and challenges of root-adding and give an additional check for stability. In this paper, we study the polynomial preconditioner applied to GMRES; however it could be used with any Krylov solver. This polynomial preconditioning algorithm can dramatically improve convergence for some problems, especially for difficult problems, and can reduce dot products by an even greater margin.
△ Less
Submitted 12 January, 2022; v1 submitted 16 November, 2019;
originally announced November 2019.
-
Polynomial Preconditioned GMRES to Reduce Communication in Parallel Computing
Authors:
Jennifer A. Loe,
Heidi K. Thornquist,
Erik G. Boman
Abstract:
Polynomial preconditioning with the GMRES minimal residual polynomial has the potential to greatly reduce orthogonalization costs, making it useful for communication reduction. We implement polynomial preconditioning in the Belos package from Trilinos and show how it can be effective in both serial and parallel implementations. We further show it is a communication-avoiding technique and is a viab…
▽ More
Polynomial preconditioning with the GMRES minimal residual polynomial has the potential to greatly reduce orthogonalization costs, making it useful for communication reduction. We implement polynomial preconditioning in the Belos package from Trilinos and show how it can be effective in both serial and parallel implementations. We further show it is a communication-avoiding technique and is a viable option to CA-GMRES for large-scale parallel computing.
△ Less
Submitted 26 October, 2019; v1 submitted 28 June, 2019;
originally announced July 2019.
-
Transitive tournament tilings in oriented graphs with large minimum total degree
Authors:
Louis DeBiasio,
Allan Lo,
Theodore Molla,
Andrew Treglown
Abstract:
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\vec{T}_4$'s, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint $\vec{T}_k$'s.
Let $\vec{T}_k$ be the transitive tournament on $k$ vertices. We show that every oriented graph on $n=4m$ vertices with minimum total degree $(11/12+o(1))n$ can be partitioned into vertex disjoint $\vec{T}_4$'s, and this bound is asymptotically tight. We also improve the best known bound on the minimum total degree for partitioning oriented graphs into vertex disjoint $\vec{T}_k$'s.
△ Less
Submitted 26 May, 2020; v1 submitted 18 June, 2019;
originally announced June 2019.
-
Large Polaron Generation and Dynamics in 3D Metal-Halide Perovskites
Authors:
Walter P. D. Wong,
Jun Yin,
Bhumika Chaudhary,
Chin Xin Yu,
Daniele Cortecchia,
Shu-Zee A. Lo,
Andrew C. Grimsdale,
Guglielmo Lanzani,
Cesare Soci
Abstract:
In recent years, metal halide perovskites have generated tremendous interest for optoelectronic applications and their underlying fundamental properties. Due to the large electron-phonon coupling characteristic of soft lattices, self-trap** phenomena are expected to dominate hybrid perovskite photoexcitation dynamics. Yet, while the photogeneration of small polarons was proven in low dimensional…
▽ More
In recent years, metal halide perovskites have generated tremendous interest for optoelectronic applications and their underlying fundamental properties. Due to the large electron-phonon coupling characteristic of soft lattices, self-trap** phenomena are expected to dominate hybrid perovskite photoexcitation dynamics. Yet, while the photogeneration of small polarons was proven in low dimensional perovskites, the nature of polaron excitations in technologically relevant 3D perovskites, and their influence on charge carrier transport, remain elusive. In this study, we used a combination of first principle calculations and advanced spectroscopy techniques spanning the entire optical frequency range to pin down polaron features in 3D metal halide perovskites. Mid-infrared photoinduced absorption shows the photogeneration of states associated to low energy intragap electronic transitions with lifetime up to the ms time scale, and vibrational mode renormalization in both frequency and amplitude. Density functional theory supports the assignment of the spectroscopic features to large polarons leading to new intra gap transitions, hardening of phonon mode frequency, and renormalization of the oscillator strength. Theory provides quantitative estimates of the charge carrier masses and mobilities increase upon polaron formation, confirming experimental results. Overall, this work contributes to complete the scenario of elementary photoexcitations in metal halide perovskites and highlights the importance of polaronic transport in perovskite-based optoelectronic devices.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Microwave magnon dam** in YIG films at millikelvin temperatures
Authors:
Sandoko Kosen,
Arjan F. van Loo,
Dmytro A. Bozhko,
Laura Mihalceanu,
Alexy D. Karenowska
Abstract:
Magnon systems used in quantum devices require low dam** if coherence is to be maintained. The ferrimagnetic electrical insulator yttrium iron garnet (YIG) has low magnon dam** at room temperature and is a strong candidate to host microwave magnon excitations in future quantum devices. Monocrystalline YIG films are typically grown on gadolinium gallium garnet (GGG) substrates. In this work, co…
▽ More
Magnon systems used in quantum devices require low dam** if coherence is to be maintained. The ferrimagnetic electrical insulator yttrium iron garnet (YIG) has low magnon dam** at room temperature and is a strong candidate to host microwave magnon excitations in future quantum devices. Monocrystalline YIG films are typically grown on gadolinium gallium garnet (GGG) substrates. In this work, comparative experiments made on YIG waveguides with and without GGG substrates indicate that the material plays a significant role in increasing the dam** at low temperatures. Measurements reveal that dam** due to temperature-peak processes is dominant above 1 K. Dam** behaviour that we show can be attributed to coupling to two-level fluctuators (TLFs) is observed below 1 K. Upon saturating the TLFs in the substrate-free YIG at 20 mK, linewidths of 1.4 MHz are achievable: lower than those measured at room temperature.
△ Less
Submitted 24 October, 2019; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Decomposing tournaments into paths
Authors:
Allan Lo,
Viresh Patel,
Jozef Skokan,
John Talbot
Abstract:
We consider a generalisation of Kelly's conjecture which is due to Alspach, Mason, and Pullman from 1976. Kelly's conjecture states that every regular tournament has an edge decomposition into Hamilton cycles, and this was proved by Kühn and Osthus for large tournaments. The conjecture of Alspach, Mason, and Pullman asks for the minimum number of paths needed in a path decomposition of a general t…
▽ More
We consider a generalisation of Kelly's conjecture which is due to Alspach, Mason, and Pullman from 1976. Kelly's conjecture states that every regular tournament has an edge decomposition into Hamilton cycles, and this was proved by Kühn and Osthus for large tournaments. The conjecture of Alspach, Mason, and Pullman asks for the minimum number of paths needed in a path decomposition of a general tournament $T$. There is a natural lower bound for this number in terms of the degree sequence of $T$ and it is conjectured that this bound is correct for tournaments of even order. Almost all cases of the conjecture are open and we prove many of them.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Minimalist designs
Authors:
Ben Barber,
Stefan Glock,
Daniela Kühn,
Allan Lo,
Richard Montgomery,
Deryk Osthus
Abstract:
The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was obtained. Here, we illustrate the method by investigating triangle decompositions: we give a simple proof that a triangle-divisible graph of large minimum degree has a…
▽ More
The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was obtained. Here, we illustrate the method by investigating triangle decompositions: we give a simple proof that a triangle-divisible graph of large minimum degree has a triangle decomposition and prove a similar result for quasi-random host graphs.
△ Less
Submitted 28 February, 2020; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Long properly coloured cycles in edge-coloured graphs
Authors:
Allan Lo
Abstract:
Let $G$ be an edge-coloured graph. The minimum colour degree $δ^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v$, there are at least $k$ distinct colours on edges incident to $v$. We say that $G$ is properly coloured if no two adjacent edges have the same colour. In this paper, we show that, for any $\varepsilon >0$ and $n$ large, every edge-coloured graph $G$ with…
▽ More
Let $G$ be an edge-coloured graph. The minimum colour degree $δ^c(G)$ of $G$ is the largest integer $k$ such that, for every vertex $v$, there are at least $k$ distinct colours on edges incident to $v$. We say that $G$ is properly coloured if no two adjacent edges have the same colour. In this paper, we show that, for any $\varepsilon >0$ and $n$ large, every edge-coloured graph $G$ with $δ^c(G) \ge (1/2+\varepsilon)n$ contains a properly coloured cycle of length at least $\min\{ n , \lfloor 2 δ^c(G)/3 \rfloor\}$.
△ Less
Submitted 13 August, 2018;
originally announced August 2018.
-
Density of monochromatic infinite paths
Authors:
Allan Lo,
Nicolás Sanhueza-Matamala,
Guanghui Wang
Abstract:
For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBia…
▽ More
For any subset $A \subseteq \mathbb{N}$, we define its upper density to be $\limsup_{ n \rightarrow \infty } |A \cap \{ 1, \dotsc, n \}| / n$. We prove that every $2$-edge-colouring of the complete graph on $\mathbb{N}$ contains a monochromatic infinite path, whose vertex set has upper density at least $(9 + \sqrt{17})/16 \approx 0.82019$. This improves on results of Erdős and Galvin, and of DeBiasio and McKenney.
△ Less
Submitted 22 October, 2018; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Monochromatic cycle partitions in random graphs
Authors:
Richard Lang,
Allan Lo
Abstract:
Erdős, Gyárfás and Pyber showed that every $r$-edge-coloured complete graph $K_n$ can be covered by $25 r^2 \log r$ vertex-disjoint monochromatic cycles (independent of $n$). Here, we extend their result to the setting of binomial random graphs. That is, we show that if $p = p(n) = Ω(n^{-1/(2r)})$, then with high probability any $r$-edge-coloured $G(n,p)$ can be covered by at most…
▽ More
Erdős, Gyárfás and Pyber showed that every $r$-edge-coloured complete graph $K_n$ can be covered by $25 r^2 \log r$ vertex-disjoint monochromatic cycles (independent of $n$). Here, we extend their result to the setting of binomial random graphs. That is, we show that if $p = p(n) = Ω(n^{-1/(2r)})$, then with high probability any $r$-edge-coloured $G(n,p)$ can be covered by at most $1000 r^4 \log r $ vertex-disjoint monochromatic cycles. This answers a question of Korándi, Mousset, Nenadov, Škorić and Sudakov.
△ Less
Submitted 5 August, 2020; v1 submitted 17 July, 2018;
originally announced July 2018.