Showing 1–50 of 86 results for author: Yip, H

Upper Bounds on Polynomial Root Separation

Authors: Greg Knapp, Chi Hoi Yip

Abstract: In this paper, we consider the relationship between the Mahler measure of a polynomial and its separation. In 1964, Mahler proved that if $f(x) \in \mathbb{Z}[x]$ is separable of degree $n$, then $\operatorname{sep}(f) \gg_n M(f)^{-(n-1)}$. This spurred further investigations into the implicit constant involved in that relation, and it led to questions about the optimal exponent on $M(f)$ in that… ▽ More In this paper, we consider the relationship between the Mahler measure of a polynomial and its separation. In 1964, Mahler proved that if $f(x) \in \mathbb{Z}[x]$ is separable of degree $n$, then $\operatorname{sep}(f) \gg_n M(f)^{-(n-1)}$. This spurred further investigations into the implicit constant involved in that relation, and it led to questions about the optimal exponent on $M(f)$ in that relation. However, there has been relatively little study concerning upper bounds on $\operatorname{sep}(f)$ in terms of $M(f)$. In this paper, we prove that if $f(x) \in \mathbb{C}[x]$ has degree $n$, then $\operatorname{sep}(f) \ll n^{-1/2}M(f)^{1/(n-1)}$. Moreover, this bound is sharp up to the implied constant factor. We further investigate the constant factor under various additional assumptions on $f(x)$, for example, if it only has real roots. △ Less

Submitted 1 October, 2024; originally announced October 2024.

Comments: 11 pages

Report number: PIMS-20241001-PDF MSC Class: 11R06 (Primary); 11H99; 12D10 (Secondary)

On the fractional parts of certain sequences of $ξα^{n}$

Authors: Xiang Gao, Chi Hoi Yip

Abstract: Assume that $α>1$ is an algebraic number and $ξ\neq0$ is a real number. We are concerned with the distribution of the fractional parts of the sequence $(ξα^{n})$. Under various Diophantine conditions on $ξ$ and $α$, we obtain lower bounds on the number $n$ with $1\leq n\leq N $ for which the fractional part of the sequence $(ξα^{n})_{n\geq1}$ fall into a prescribed region $I\subset [0,1]$, extendi… ▽ More Assume that $α>1$ is an algebraic number and $ξ\neq0$ is a real number. We are concerned with the distribution of the fractional parts of the sequence $(ξα^{n})$. Under various Diophantine conditions on $ξ$ and $α$, we obtain lower bounds on the number $n$ with $1\leq n\leq N $ for which the fractional part of the sequence $(ξα^{n})_{n\geq1}$ fall into a prescribed region $I\subset [0,1]$, extending several results in the literature. As an application, we show that the Fourier decay rate of some self-similar measures is logarithmic, generalizing a result of Varjú and Yu. △ Less

Submitted 6 August, 2024; originally announced August 2024.

Comments: 12 pages

MSC Class: Primary: 11J71; 28A80. Secondary: 11K16; 37A45; 42A38

Operational range bounding of spectroscopy models with anomaly detection

Authors: Luís F. Simões, Pierluigi Casale, Marília Felismino, Kai Hou Yip, Ingo P. Waldmann, Giovanna Tinetti, Theresa Lueftinger

Abstract: Safe operation of machine learning models requires architectures that explicitly delimit their operational ranges. We evaluate the ability of anomaly detection algorithms to provide indicators correlated with degraded model performance. By placing acceptance thresholds over such indicators, hard boundaries are formed that define the model's coverage. As a use case, we consider the extraction of ex… ▽ More Safe operation of machine learning models requires architectures that explicitly delimit their operational ranges. We evaluate the ability of anomaly detection algorithms to provide indicators correlated with degraded model performance. By placing acceptance thresholds over such indicators, hard boundaries are formed that define the model's coverage. As a use case, we consider the extraction of exoplanetary spectra from transit light curves, specifically within the context of ESA's upcoming Ariel mission. Isolation Forests are shown to effectively identify contexts where prediction models are likely to fail. Coverage/error trade-offs are evaluated under conditions of data and concept drift. The best performance is seen when Isolation Forests model projections of the prediction model's explainability SHAP values. △ Less

Submitted 5 August, 2024; originally announced August 2024.

Comments: To appear in "Proceedings of SPAICE 2024: 1st ESA/IAA conference on AI in and for Space". Conference page at https://spaice.esa.int/

ACM Class: I.2.6; I.5.1; I.6.4; J.2

Journal ref: Proceedings of the 1st SPAICE Conference on AI in and for Space, pp. 186-190, 2024

A strengthening of McConnel's theorem on permutations over finite fields

Authors: Chi Hoi Yip

Abstract: Let $p$ be a prime, $q=p^n$, and $D \subset \mathbb{F}_q^*$. A celebrated result of McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^*$, and $f:\mathbb{F}_q \to \mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y) \in D$ whenever $x \neq y$, then $f(x)$ necessarily has the form $ax^{p^j}+b$. In this notes, we give a sufficient condition on $D$ to obtain the same conclusion on… ▽ More Let $p$ be a prime, $q=p^n$, and $D \subset \mathbb{F}_q^*$. A celebrated result of McConnel states that if $D$ is a proper subgroup of $\mathbb{F}_q^*$, and $f:\mathbb{F}_q \to \mathbb{F}_q$ is a function such that $(f(x)-f(y))/(x-y) \in D$ whenever $x \neq y$, then $f(x)$ necessarily has the form $ax^{p^j}+b$. In this notes, we give a sufficient condition on $D$ to obtain the same conclusion on $f$. In particular, we show that McConnel's theorem extends if $D$ has small doubling. △ Less

Submitted 18 October, 2024; v1 submitted 31 July, 2024; originally announced July 2024.

Comments: 5 pages, revised based on referee comments

MSC Class: 11T06; 11B30

Journal ref: Canad. Math. Bull., 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.

Comments: Submitted to Monthly Notices of the Royal Astronomical Society, 25 pages, 27 figures

Enhancing 3D Planetary Atmosphere Simulations with a Surrogate Radiative Transfer Model

Authors: Tara P. A. Tahseen, João M. Mendonça, Kai Hou Yip, Ingo P. Waldmann

Abstract: This work introduces an approach to enhancing the computational efficiency of 3D atmospheric simulations by integrating a machine-learned surrogate model into the OASIS global circulation model (GCM). Traditional GCMs, which are based on repeatedly numerically integrating physical equations governing atmospheric processes across a series of time-steps, are time-intensive, leading to compromises in… ▽ More This work introduces an approach to enhancing the computational efficiency of 3D atmospheric simulations by integrating a machine-learned surrogate model into the OASIS global circulation model (GCM). Traditional GCMs, which are based on repeatedly numerically integrating physical equations governing atmospheric processes across a series of time-steps, are time-intensive, leading to compromises in spatial and temporal resolution of simulations. This research improves upon this limitation, enabling higher resolution simulations within practical timeframes. Speeding up 3D simulations holds significant implications in multiple domains. Firstly, it facilitates the integration of 3D models into exoplanet inference pipelines, allowing for robust characterisation of exoplanets from a previously unseen wealth of data anticipated from JWST and post-JWST instruments. Secondly, acceleration of 3D models will enable higher resolution atmospheric simulations of Earth and Solar System planets, enabling more detailed insights into their atmospheric physics and chemistry. Our method replaces the radiative transfer module in OASIS with a recurrent neural network-based model trained on simulation inputs and outputs. Radiative transfer is typically one of the slowest components of a GCM, thus providing the largest scope for overall model speed-up. The surrogate model was trained and tested on the specific test case of the Venusian atmosphere, to benchmark the utility of this approach in the case of non-terrestrial atmospheres. This approach yields promising results, with the surrogate-integrated GCM demonstrating above 99.0% accuracy and 101 factor GPU speed-up of the entire simulation compared to using the matched original GCM under Venus-like conditions. △ Less

Submitted 11 July, 2024; originally announced July 2024.

Comments: 17 pages, 11 figures

Compact Proofs of Model Performance via Mechanistic Interpretability

Authors: Jason Gross, Rajashree Agrawal, Thomas Kwa, Euan Ong, Chun Hei Yip, Alex Gibson, Soufiane Noubir, Lawrence Chan

Abstract: We propose using mechanistic interpretability -- techniques for reverse engineering model weights into human-interpretable algorithms -- to derive and compactly prove formal guarantees on model performance. We prototype this approach by formally proving lower bounds on the accuracy of 151 small transformers trained on a Max-of-$K$ task. We create 102 different computer-assisted proof strategies an… ▽ More We propose using mechanistic interpretability -- techniques for reverse engineering model weights into human-interpretable algorithms -- to derive and compactly prove formal guarantees on model performance. We prototype this approach by formally proving lower bounds on the accuracy of 151 small transformers trained on a Max-of-$K$ task. We create 102 different computer-assisted proof strategies and assess their length and tightness of bound on each of our models. Using quantitative metrics, we find that shorter proofs seem to require and provide more mechanistic understanding. Moreover, we find that more faithful mechanistic understanding leads to tighter performance bounds. We confirm these connections by qualitatively examining a subset of our proofs. Finally, we identify compounding structureless noise as a key challenge for using mechanistic interpretability to generate compact proofs on model performance. △ Less

Submitted 5 September, 2024; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: accepted to ICML 2024 Workshop on Mechanistic Interpretability (Spotlight)

Bayesian inference of Latent Spectral Shapes

Authors: Hiu Ching Yip, Daria Valente, Enrico Bibbona, Olivier Friard, Gianluca Mastrantonio, Marco Gamba

Abstract: This paper proposes a hierarchical spatial-temporal model for modelling the spectrograms of animal calls. The motivation stems from analyzing recordings of the so-called grunt calls emitted by various lemur species. Our goal is to identify a latent spectral shape that characterizes each species and facilitates measuring dissimilarities between them. The model addresses the synchronization of anima… ▽ More This paper proposes a hierarchical spatial-temporal model for modelling the spectrograms of animal calls. The motivation stems from analyzing recordings of the so-called grunt calls emitted by various lemur species. Our goal is to identify a latent spectral shape that characterizes each species and facilitates measuring dissimilarities between them. The model addresses the synchronization of animal vocalizations, due to varying time-lengths and speeds, with non-stationary temporal patterns and accounts for periodic sampling artifacts produced by the time discretization of analog signals. The former is achieved through a synchronization function, and the latter is modeled using a circular representation of time. To overcome the curse of dimensionality inherent in the model's implementation, we employ the Nearest Neighbor Gaussian Process, and posterior samples are obtained using the Markov Chain Monte Carlo method. We apply the model to a real dataset comprising sounds from 8 different species. We define a representative sound for each species and compare them using a simple distance measure. Cross-validation is used to evaluate the predictive capability of our proposal and explore special cases. Additionally, a simulation example is provided to demonstrate that the algorithm is capable of retrieving the true parameters. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: 33 pages, 11 figures

Improved upper bounds on Diophantine tuples with the property $D(n)$

Authors: Chi Hoi Yip

Abstract: Let $n$ be a non-zero integer. A set $S$ of positive integers is a Diophantine tuple with the property $D(n)$ if $ab+n$ is a perfect square for each $a,b \in S$ with $a \neq b$. It is of special interest to estimate the quantity $M_n$, the maximum size of a Diophantine tuple with the property $D(n)$. In this notes, we show the contribution of intermediate elements is $O(\log \log |n|)$, improving… ▽ More Let $n$ be a non-zero integer. A set $S$ of positive integers is a Diophantine tuple with the property $D(n)$ if $ab+n$ is a perfect square for each $a,b \in S$ with $a \neq b$. It is of special interest to estimate the quantity $M_n$, the maximum size of a Diophantine tuple with the property $D(n)$. In this notes, we show the contribution of intermediate elements is $O(\log \log |n|)$, improving a result by Dujella. As a consequence, we deduce that $M_n\leq (2+o(1))\log |n|$, improving the best-known upper bound on $M_n$ by Becker and Murty. △ Less

Submitted 27 June, 2024; v1 submitted 2 June, 2024; originally announced June 2024.

Comments: 4 pages, revised based on referee comments

MSC Class: 11D09; 11D45

Journal ref: Bull. Aust. Math. Soc., 2024

$F$-Diophantine sets over finite fields

Authors: Chi Hoi Yip, Semin Yoo

Abstract: Let $k \geq 2$, $q$ be an odd prime power, and $F \in \mathbb{F}_q[x_1, \ldots, x_k]$ be a polynomial. An $F$-Diophantine set over a finite field $\mathbb{F}_q$ is a set $A \subset \mathbb{F}_q^*$ such that $F(a_1, a_2, \ldots, a_k)$ is a square in $\mathbb{F}_q$ whenever $a_1, a_2, \ldots, a_k$ are distinct elements in $A$. In this paper, we provide a strategy to construct a large $F$-Diophantine… ▽ More Let $k \geq 2$, $q$ be an odd prime power, and $F \in \mathbb{F}_q[x_1, \ldots, x_k]$ be a polynomial. An $F$-Diophantine set over a finite field $\mathbb{F}_q$ is a set $A \subset \mathbb{F}_q^*$ such that $F(a_1, a_2, \ldots, a_k)$ is a square in $\mathbb{F}_q$ whenever $a_1, a_2, \ldots, a_k$ are distinct elements in $A$. In this paper, we provide a strategy to construct a large $F$-Diophantine set, provided that $F$ has a nice property in terms of its monomial expansion. In particular, when $F=x_1x_2\ldots x_k+1$, our construction gives a $k$-Diophantine tuple over $\mathbb{F}_q$ with size $\gg_k \log q$, significantly improving the $Θ((\log q)^{1/(k-1)})$ lower bound in a recent paper by Hammonds-Kim-Miller-Nigam-Onghai-Saikia-Sharma. △ Less

Submitted 1 June, 2024; originally announced June 2024.

Comments: 7 pages

MSC Class: 11D79; 11T06; 11T24

Paley-like quasi-random graphs arising from polynomials

Authors: Seoyoung Kim, Chi Hoi Yip, Semin Yoo

Abstract: Paley graphs and Paley sum graphs are classical examples of quasi-random graphs. In this paper, we provide new constructions of families of quasi-random graphs that behave like Paley graphs but are neither Cayley graphs nor Cayley sum graphs. These graphs give a unified perspective of studying various graphs arising from polynomials over finite fields such as Paley graphs, Paley sum graphs, and gr… ▽ More Paley graphs and Paley sum graphs are classical examples of quasi-random graphs. In this paper, we provide new constructions of families of quasi-random graphs that behave like Paley graphs but are neither Cayley graphs nor Cayley sum graphs. These graphs give a unified perspective of studying various graphs arising from polynomials over finite fields such as Paley graphs, Paley sum graphs, and graphs coming from Diophantine tuples and their generalizations. We also provide new lower bounds on the clique number and independence number of general quasi-random graphs. In particular, we give a sufficient condition for the clique number of quasi-random graphs of $n$ vertices to be at least $(1-o(1)\log_{3.008}n$. Such a condition applies to many classical quasi-random graphs, including Paley graphs and Paley sum graphs, as well as some new Paley-like graphs we construct. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 26 pages

MSC Class: 05C48; 05C50; 11B30; 11T06

Avoiding short progressions in Euclidean Ramsey theory

Authors: Gabriel Currier, Kenneth Moore, Chi Hoi Yip

Abstract: We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of… ▽ More We provide a general framework to construct colorings avoiding short monochromatic arithmetic progressions in Euclidean Ramsey theory. Specifically, if $\ell_m$ denotes $m$ collinear points with consecutive points of distance one apart, we say that $\mathbb{E}^n \not \to (\ell_r,\ell_s)$ if there is a red/blue coloring of $n$-dimensional Euclidean space that avoids red congruent copies of $\ell_r$ and blue congruent copies of $\ell_s$. We show that $\mathbb{E}^n \not \to (\ell_3, \ell_{20})$, improving the best-known result $\mathbb{E}^n \not \to (\ell_3, \ell_{1177})$ by Führer and Tóth, and also establish $\mathbb{E}^n \not \to (\ell_4, \ell_{18})$ and $\mathbb{E}^n \not \to (\ell_5, \ell_{10})$ in the spirit of the classical result $\mathbb{E}^n \not \to (\ell_6, \ell_{6})$ due to Erd{ő}s et. al. We also show a number of similar $3$-coloring results, as well as $\mathbb{E}^n \not \to (\ell_3, α\ell_{6889})$, where $α$ is an arbitrary positive real number. This final result answers a question of Führer and Tóth in the positive. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 12 pages

MSC Class: 05D10; 52C10; 11B25

A Population Analysis of 20 Exoplanets Observed from the Optical to the Near-infrared Wavelengths with HST: Evidence for Widespread Stellar Contamination

Authors: Arianna Saba, Alexandra Thompson, Kai Hou Yip, Sushuang Ma, Angelos Tsiaras, Ahmed Faris Al-Refaie, Giovanna Tinetti

Abstract: We present a population study of 20 exoplanets, ranging from Neptune-like to inflated hot-Jupiter planets, observed during transit with the STIS and WFC3 instruments aboard the Hubble Space Telescope. To obtain spectral information from the near-UV to the near-infrared, we reanalysed sixteen WFC3 and over fifty STIS archival data sets with our dedicated HST pipeline. We also include twenty-four WF… ▽ More We present a population study of 20 exoplanets, ranging from Neptune-like to inflated hot-Jupiter planets, observed during transit with the STIS and WFC3 instruments aboard the Hubble Space Telescope. To obtain spectral information from the near-UV to the near-infrared, we reanalysed sixteen WFC3 and over fifty STIS archival data sets with our dedicated HST pipeline. We also include twenty-four WFC3 data sets previously reduced with the same software. Across our target sample we observe significant divergence among multiple observations conducted with the same STIS grating at various epochs, whilst we do not detect variations in the WFC3 data sets. These results are suggestive of stellar contamination, which we have investigated further using known Bayesian tools and other tailored metrics, facilitating a more objective assessment of stellar activity intensity within each system. Our findings reveal that stellar activity contaminates up to half of the studied exoplanet atmospheres, albeit at varying extents. Accounting for stellar activity can significantly alter planetary atmospheric parameters like molecular abundances (up to 6 orders of magnitude) and temperature (up to 145 %), contrasting with the results of analyses that neglect activity. Our results emphasise the importance of considering the effects of stellar contamination in exoplanet transit studies; this issue is particularly true for data sets obtained with facilities that do not cover the optical and/or UV spectral range where the activity is expected to be more impactful but also more easily detectable. Our results also provide a catalogue of potentially active stars for further investigation and monitoring. △ Less

Submitted 25 April, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 68 pages, 18 figures, 25 tables, submitted to ApJS

On cyclotomic matrices involving Gauss sums over finite fields

Authors: Hai-Liang Wu, Jie Li, Li-Yuan Wang, Chi Hoi Yip

Abstract: Inspired by the works of L. Carlitz and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices involving Gauss sums over finite fields, which can be viewed as finite field analogues of certain matrices related to the Gamma function. For example, let $q=p^n$ be an odd prime power with $p$ prime and $n\in\mathbb{Z}^+$. Let $ζ_p=e^{2π{\bf i}/p}$ and let $χ$ be a… ▽ More Inspired by the works of L. Carlitz and Z.-W. Sun on cyclotomic matrices, in this paper, we investigate certain cyclotomic matrices involving Gauss sums over finite fields, which can be viewed as finite field analogues of certain matrices related to the Gamma function. For example, let $q=p^n$ be an odd prime power with $p$ prime and $n\in\mathbb{Z}^+$. Let $ζ_p=e^{2π{\bf i}/p}$ and let $χ$ be a generator of the group of all mutiplicative characters of the finite field $\mathbb{F}_q$. For the Gauss sum $$G_q(χ^{r})=\sum_{x\in\mathbb{F}_q}χ^{r}(x)ζ_p^{{\rm Tr}_{\mathbb{F}_q/\mathbb{F}_p}(x)},$$ we prove that $$\det \left[G_q(χ^{2i+2j})\right]_{0\le i,j\le (q-3)/2}=(-1)^{α_p}\left(\frac{q-1}{2}\right)^{\frac{q-1}{2}}2^{\frac{p^{n-1}-1}{2}},$$ where $$α_p= \begin{cases} 1 & \mbox{if}\ n\equiv 1\pmod 2, (p^2+7)/8 & \mbox{if}\ n\equiv 0\pmod 2. \end{cases}$$ △ Less

Submitted 30 April, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 15 pages. Comments are very welcome

Journal ref: Proc. Amer. Math. Soc., 2024

Mutual position of two smooth quadrics over finite fields

Authors: Shamil Asgarli, Chi Hoi Yip

Abstract: Given two irreducible conics $C$ and $D$ over a finite field $\mathbb{F}_q$ with $q$ odd, we show that there are $q^2/4+O(q^{3/2})$ points $P$ in $\mathbb{P}^2(\mathbb{F}_q)$ such that $P$ is external to $C$ and internal to $D$. This answers a question of Korchmáros. We also prove the analogous result for higher-dimensional smooth quadric hypersurfaces over $\mathbb{P}^{n-1}$ with $n$ odd, where t… ▽ More Given two irreducible conics $C$ and $D$ over a finite field $\mathbb{F}_q$ with $q$ odd, we show that there are $q^2/4+O(q^{3/2})$ points $P$ in $\mathbb{P}^2(\mathbb{F}_q)$ such that $P$ is external to $C$ and internal to $D$. This answers a question of Korchmáros. We also prove the analogous result for higher-dimensional smooth quadric hypersurfaces over $\mathbb{P}^{n-1}$ with $n$ odd, where the answer is $q^{n-1}/4+O(q^{n-\frac{3}{2}})$. △ Less

Submitted 10 April, 2024; originally announced April 2024.

Comments: 10 pages

MSC Class: Primary: 51E15; 14G15; Secondary: 15A63; 14J70; 11T24

Explicit constructions of Diophantine tuples over finite fields

Authors: Seoyoung Kim, Chi Hoi Yip, Semin Yoo

Abstract: A Diophantine $m$-tuple over a finite field $\mathbb{F}_q$ is a set $\{a_1,\ldots, a_m\}$ of $m$ distinct elements in $\mathbb{F}_{q}^{*}$ such that $a_{i}a_{j}+1$ is a square in $\mathbb{F}_q$ whenever $i\neq j$. In this paper, we study $M(q)$, the maximum size of a Diophantine tuple over $\mathbb{F}_q$, assuming the characteristic of $\mathbb{F}_q$ is fixed and $q \to \infty$. By explicit constr… ▽ More A Diophantine $m$-tuple over a finite field $\mathbb{F}_q$ is a set $\{a_1,\ldots, a_m\}$ of $m$ distinct elements in $\mathbb{F}_{q}^{*}$ such that $a_{i}a_{j}+1$ is a square in $\mathbb{F}_q$ whenever $i\neq j$. In this paper, we study $M(q)$, the maximum size of a Diophantine tuple over $\mathbb{F}_q$, assuming the characteristic of $\mathbb{F}_q$ is fixed and $q \to \infty$. By explicit constructions, we improve the lower bound on $M(q)$. In particular, this improves a recent result of Dujella and Kazalicki by a multiplicative factor. △ Less

Submitted 8 April, 2024; originally announced April 2024.

Comments: 9 pages

MSC Class: 11D72; 11D45; 11T24; 11B83

Journal ref: Ramanujan J. 65 (2024), no. 1, 163-172

Positivity preservers over finite fields

Authors: Dominique Guillot, Himanshu Gupta, Prateek Kumar Vishwakarma, Chi Hoi Yip

Abstract: We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider matrices with entries in a finite field and obtain a complete characterization of such preservers for matrices of a fixed dimension. When the dimension of the matrices… ▽ More We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider matrices with entries in a finite field and obtain a complete characterization of such preservers for matrices of a fixed dimension. When the dimension of the matrices is at least $3$, we prove that, surprisingly, the positivity preservers are precisely the positive multiples of the field's automorphisms. We also obtain characterizations of preservers for matrices of dimension $2$ over a finite field with $q$ elements, unless $q \equiv 1 \pmod 4$ and $q$ is not a square. Our proofs build on several novel connections between positivity preservers and field automorphisms via the works of Weil, Carlitz, and Muzychuk-Kovács, and via the structure of cliques in Paley graphs. △ Less

Submitted 18 October, 2024; v1 submitted 29 March, 2024; originally announced April 2024.

Comments: 32 pages, LaTeX; this version contains simplified proofs. Section 6 is completely new

MSC Class: 15B48 (primary); 15B33; 05C25; 05C50; 11T06 (secondary)

Cosmology with Persistent Homology: a Fisher Forecast

Authors: Jacky H. T. Yip, Matteo Biagetti, Alex Cole, Karthik Viswanathan, Gary Shiu

Abstract: Persistent homology naturally addresses the multi-scale topological characteristics of the large-scale structure as a distribution of clusters, loops, and voids. We apply this tool to the dark matter halo catalogs from the Quijote simulations, and build a summary statistic for comparison with the joint power spectrum and bispectrum statistic regarding their information content on cosmological para… ▽ More Persistent homology naturally addresses the multi-scale topological characteristics of the large-scale structure as a distribution of clusters, loops, and voids. We apply this tool to the dark matter halo catalogs from the Quijote simulations, and build a summary statistic for comparison with the joint power spectrum and bispectrum statistic regarding their information content on cosmological parameters and primordial non-Gaussianity. Through a Fisher analysis, we find that constraints from persistent homology are tighter for 8 out of the 10 parameters by margins of 13-50%. The complementarity of the two statistics breaks parameter degeneracies, allowing for a further gain in constraining power when combined. We run a series of consistency checks to consolidate our results, and conclude that our findings motivate incorporating persistent homology into inference pipelines for cosmological survey data. △ Less

Submitted 26 August, 2024; v1 submitted 20 March, 2024; originally announced March 2024.

Comments: 24+18 pages, 22 figures, 4 tables. Accepted for publication in JCAP. Replaced with the accepted version (minor changes)

Journal ref: JCAP 09 (2024) 034

Distribution of power residues over shifted subfields and maximal cliques in generalized Paley graphs

Authors: Greg Martin, Chi Hoi Yip

Abstract: We derive an asymptotic formula for the number of solutions in a given subfield to certain system of equations over finite fields. As an application, we construct new families of maximal cliques in generalized Paley graphs. Given integers $d\ge2$ and $q \equiv 1 \pmod d$, we show that for each positive integer $m$ such that $\operatorname{rad}(m) \mid \operatorname{rad}(d)$, there are maximal cliq… ▽ More We derive an asymptotic formula for the number of solutions in a given subfield to certain system of equations over finite fields. As an application, we construct new families of maximal cliques in generalized Paley graphs. Given integers $d\ge2$ and $q \equiv 1 \pmod d$, we show that for each positive integer $m$ such that $\operatorname{rad}(m) \mid \operatorname{rad}(d)$, there are maximal cliques of size approximately $q/m$ in the $d$-Paley graph defined on $\mathbb{F}_{q^d}$. We also confirm a conjecture of Goryainov, Shalaginov, and the second author on the maximality of certain cliques in generalized Paley graphs, as well as an analogous conjecture of Goryainov for Peisert graphs. △ Less

Submitted 10 August, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Comments: 16 pages, revised based on referee comments

MSC Class: 11T24; 11B30; 05C25

Journal ref: Proc. Amer. Math. Soc., 2024

Towards atmospheric retrievals of panchromatic light-curves: ExPLOR-ing generalized inversion techniques for transiting exoplanets with JWST and Ariel

Authors: Quentin Changeat, Yuichi Ito, Ahmed F. Al-Refaie, Kai Hou Yip, Theresa Lueftinger

Abstract: Conventional atmospheric retrieval codes are designed to extract information, such as chemical abundances, thermal structures and cloud properties, from fully "reduced" spectra obtained during transit or eclipse. Reduced spectra, however, are assembled by fitting a series of simplified light-curves to time series observations, wavelength-by-wavelength. Thus, spectra are a post-processed summary st… ▽ More Conventional atmospheric retrieval codes are designed to extract information, such as chemical abundances, thermal structures and cloud properties, from fully "reduced" spectra obtained during transit or eclipse. Reduced spectra, however, are assembled by fitting a series of simplified light-curves to time series observations, wavelength-by-wavelength. Thus, spectra are a post-processed summary statistics of the original data, which by definition does not encode all the available information (i.e., astrophysical signal, model covariance, instrumental noise). Here, we explore an alternative inversion strategy where the atmospheric retrieval is performed on the light-curve directly -- i.e., closer to the data. This method is implemented in ExPLOR (EXoplanet Panchromatic Light-curve Observation and Retrieval), a novel atmospheric retrieval code inheriting from the TauREx project. By explicitly considering time in the model, ExPLOR naturally handles transit, eclipse, phase-curve and other complex geometries for transiting exoplanets. In this paper, we have validated this new technique by inverting simulated panchromatic light-curves. The model was tested on realistic simulations of a WASP-43b like exoplanet as observed with the James Webb Space Telescope (JWST) and Ariel telescope. By comparing our panchromatic light-curve approach against conventional spectral retrievals on mock scenarios, we have identified key breaking points in information and noise propagation when employing past literature techniques. Throughout the paper, we discuss the importance of developing "closer-to-data" approaches such as the method presented in this work, and highlight the inevitable increase in model complexity and computing requirements associated with the recent JWST revolution. △ Less

Submitted 4 March, 2024; originally announced March 2024.

Comments: Accepted to AJ, 22 pages, 11 figures

Any two-coloring of the plane contains monochromatic 3-term arithmetic progressions

Authors: Gabriel Currier, Kenneth Moore, Chi Hoi Yip

Abstract: A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-colori… ▽ More A conjecture of Erdős, Graham, Montgomery, Rothschild, Spencer and Straus states that, with the exception of equilateral triangles, any two-coloring of the plane will have a monochromatic congruent copy of every three-point configuration. This conjecture is known only for special classes of configurations. In this manuscript, we confirm one of the most natural open cases; that is, every two-coloring of the plane admits a monochromatic congruent copy of any $3$-term arithmetic progression. △ Less

Submitted 22 July, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: 13 pages, revised based on referee comments

MSC Class: 05D10; 52C10

Journal ref: Combinatorica, 2024

Is the atmosphere of the ultra-hot Jupiter WASP-121b variable?

Authors: Quentin Changeat, Jack W. Skinner, James Y-K. Cho, Joonas Nättilä, Ingo P. Waldmann, Ahmed F. Al-Refaie, Achrène Dyrek, Billy Edwards, Thomas Mikal-Evans, Max Joshua, Giuseppe Morello, Nour Skaf, Angelos Tsiaras, Olivia Venot, Kai Hou Yip

Abstract: We present a comprehensive analysis of the Hubble Space Telescope observations of the atmosphere of WASP-121 b, a ultra-hot Jupiter. After reducing the transit, eclipse, and phase-curve observations with a uniform methodology and addressing the biases from instrument systematics, sophisticated atmospheric retrievals are used to extract robust constraints on the thermal structure, chemistry, and cl… ▽ More We present a comprehensive analysis of the Hubble Space Telescope observations of the atmosphere of WASP-121 b, a ultra-hot Jupiter. After reducing the transit, eclipse, and phase-curve observations with a uniform methodology and addressing the biases from instrument systematics, sophisticated atmospheric retrievals are used to extract robust constraints on the thermal structure, chemistry, and cloud properties of the atmosphere. Our analysis shows that the observations are consistent with a strong thermal inversion beginning at ~0.1 bar on the dayside, solar to subsolar metallicity Z (i.e., -0.77 < log(Z) < 0.05), and super-solar C/O ratio (i.e., 0.59 < C/O < 0.87). More importantly, utilizing the high signal-to-noise ratio and repeated observations of the planet, we identify the following unambiguous time-varying signals in the data: i) a shift of the putative hotspot offset between the two phase-curves and ii) varying spectral signatures in the transits and eclipses. By simulating the global dynamics of WASP-121 b atmosphere at high-resolution, we show that the identified signals are consistent with quasi-periodic weather patterns, hence atmospheric variability, with signatures at the level probed by the observations (~5% to ~10%) that change on a timescale of ~5 planet days; in the simulations, the weather patterns arise from the formation and movement of storms and fronts, causing hot (as well as cold) patches of atmosphere to deform, separate, and mix in time. △ Less

Submitted 2 January, 2024; originally announced January 2024.

Comments: Accepted for publication in ApJS. 43 pages, 31 figures, 2 animations (available online at the journal)

Multiplicatively reducible subsets of shifted perfect $k$-th powers and bipartite Diophantine tuples

Authors: Chi Hoi Yip

Abstract: Recently, Hajdu and Sárközy studied the multiplicative decompositions of polynomial sequences. In particular, they showed that when $k \geq 3$, each infinite subset of $\{x^k+1: x \in \mathbb{N}\}$ is multiplicatively irreducible. In this paper, we attempt to make their result effective by building a connection between this problem and the bipartite generalization of the well-studied Diophantine t… ▽ More Recently, Hajdu and Sárközy studied the multiplicative decompositions of polynomial sequences. In particular, they showed that when $k \geq 3$, each infinite subset of $\{x^k+1: x \in \mathbb{N}\}$ is multiplicatively irreducible. In this paper, we attempt to make their result effective by building a connection between this problem and the bipartite generalization of the well-studied Diophantine tuples. More precisely, given an integer $k \geq 3$ and a nonzero integer $n$, we call a pair of subsets of positive integers $(A,B)$ \emph{a bipartite Diophantine tuple with property $BD_k(n)$} if $|A|,|B| \geq 2$ and $AB+n \subset \{x^k: x \in \mathbb{N}\}$. We show that $\min \{|A|, |B|\} \ll \log |n|$, extending a celebrated work of Bugeaud and Dujella (where they considered the case $n=1$). We also provide an upper bound on $|A||B|$ in terms of $n$ and $k$ under the assumption $\min \{|A|,|B|\}\geq 4$ and $k \geq 6$. Specializing our techniques to Diophantine tuples, we significantly improve several results by Bérczes-Dujella-Hajdu-Luca, Bhattacharjee-Dixit-Saikia, and Dixit-Kim-Murty. △ Less

Submitted 9 September, 2024; v1 submitted 22 December, 2023; originally announced December 2023.

Comments: 17 pages, revised based on referee comments

MSC Class: 11D45; 11D72; 11N36; 11B30

Journal ref: Acta Arith., 2024

Roadmap on Perovskite Light-Emitting Diodes

Authors: Ziming Chen, Robert L. Z. Hoye, Hin-Lap Yip, Nadesh Fiuza-Maneiro, Iago López-Fernández, Clara Otero-Martínez, Lakshminarayana Polavarapu, Navendu Mondal, Alessandro Mirabelli, Miguel Anaya, Samuel D. Stranks, Hui Liu, Guangyi Shi, Zhengguo Xiao, Nakyung Kim, Yunna Kim, Byungha Shin, Jinquan Shi, Mengxia Liu, Qianpeng Zhang, Zhiyong Fan, James C. Loy, Lianfeng Zhao, Barry P. Rand, Habibul Arfin , et al. (18 additional authors not shown)

Abstract: In recent years, the field of metal-halide perovskite emitters has rapidly emerged as a new community in solid-state lighting. Their exceptional optoelectronic properties have contributed to the rapid rise in external quantum efficiencies (EQEs) in perovskite light-emitting diodes (PeLEDs) from <1% (in 2014) to approaching 30% (in 2023) across a wide range of wavelengths. However, several challeng… ▽ More In recent years, the field of metal-halide perovskite emitters has rapidly emerged as a new community in solid-state lighting. Their exceptional optoelectronic properties have contributed to the rapid rise in external quantum efficiencies (EQEs) in perovskite light-emitting diodes (PeLEDs) from <1% (in 2014) to approaching 30% (in 2023) across a wide range of wavelengths. However, several challenges still hinder their commercialization, including the relatively low EQEs of blue/white devices, limited EQEs in large-area devices, poor device stability, as well as the toxicity of the easily accessible lead components and the solvents used in the synthesis and processing of PeLEDs. This roadmap addresses the current and future challenges in PeLEDs across fundamental and applied research areas, by sharing the community's perspectives. This work will provide the field with practical guidelines to advance PeLED development and facilitate more rapid commercialization. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Comments: 103 pages, 29 figures. This is the version of the article before peer review or editing, as submitted by an author to Journal of Physics: Photonics. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it

On an Erdős similarity problem in the large

Authors: Xiang Gao, Yuveshen Mooroogen, Chi Hoi Yip

Abstract: In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity pro… ▽ More In a recent paper, Kolountzakis and Papageorgiou ask if for every $ε\in (0,1)$, there exists a set $S \subseteq \mathbb{R}$ such that $\vert S \cap I\vert \geq 1 - ε$ for every interval $I \subset \mathbb{R}$ with unit length, but that does not contain any affine copy of a given increasing sequence of exponential growth or faster. This question is an analogue of the well-known Erdős similarity problem. In this paper, we show that for each sequence of real numbers whose integer parts form a set of positive upper Banach density, one can explicitly construct such a set $S$ that contains no affine copy of that sequence. Since there exist sequences of arbitrarily rapid growth that satisfy this condition, our result answers Kolountzakis and Papageorgiou's question in the affirmative. A key ingredient of our proof is a generalization of results by Amice, Kahane, and Haight from metric number theory. In addition, we construct a set $S$ with the required property -- but with $ε\in (1/2, 1)$ -- that contains no affine copy of $\{2^n\}$. △ Less

Submitted 12 December, 2023; v1 submitted 11 November, 2023; originally announced November 2023.

Comments: 17 pages

MSC Class: 28A75; 28A78 (Primary) 28A80; 11K55; 11J71; 11B05 (Secondary)

Uncertainty Estimation for Safety-critical Scene Segmentation via Fine-grained Reward Maximization

Authors: Hongzheng Yang, Cheng Chen, Yueyao Chen, Markus Scheppach, Hon Chi Yip, Qi Dou

Abstract: Uncertainty estimation plays an important role for future reliable deployment of deep segmentation models in safety-critical scenarios such as medical applications. However, existing methods for uncertainty estimation have been limited by the lack of explicit guidance for calibrating the prediction risk and model confidence. In this work, we propose a novel fine-grained reward maximization (FGRM)… ▽ More Uncertainty estimation plays an important role for future reliable deployment of deep segmentation models in safety-critical scenarios such as medical applications. However, existing methods for uncertainty estimation have been limited by the lack of explicit guidance for calibrating the prediction risk and model confidence. In this work, we propose a novel fine-grained reward maximization (FGRM) framework, to address uncertainty estimation by directly utilizing an uncertainty metric related reward function with a reinforcement learning based model tuning algorithm. This would benefit the model uncertainty estimation through direct optimization guidance for model calibration. Specifically, our method designs a new uncertainty estimation reward function using the calibration metric, which is maximized to fine-tune an evidential learning pre-trained segmentation model for calibrating prediction risk. Importantly, we innovate an effective fine-grained parameter update scheme, which imposes fine-grained reward-weighting of each network parameter according to the parameter importance quantified by the fisher information matrix. To the best of our knowledge, this is the first work exploring reward optimization for model uncertainty estimation in safety-critical vision tasks. The effectiveness of our method is demonstrated on two large safety-critical surgical scene segmentation datasets under two different uncertainty estimation settings. With real-time one forward pass at inference, our method outperforms state-of-the-art methods by a clear margin on all the calibration metrics of uncertainty estimation, while maintaining a high task accuracy for the segmentation results. Code is available at \url{https://github.com/med-air/FGRM}. △ Less

Submitted 5 November, 2023; originally announced November 2023.

Restricted sumsets in multiplicative subgroups

Authors: Chi Hoi Yip

Abstract: We establish the restricted sumset analogue of the celebrated conjecture of Sárközy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the set of nonzero squares in $\mathbb{F}_q$ cannot be written as a restricted sumset $A \hat{+} A$, extending a result of Shkredov. More generally, we study restricted su… ▽ More We establish the restricted sumset analogue of the celebrated conjecture of Sárközy on additive decompositions of the set of nonzero squares over a finite field. More precisely, we show that if $q>13$ is an odd prime power, then the set of nonzero squares in $\mathbb{F}_q$ cannot be written as a restricted sumset $A \hat{+} A$, extending a result of Shkredov. More generally, we study restricted sumsets in multiplicative subgroups over finite fields as well as restricted sumsets in perfect powers (over integers) motivated by a question of Erdős and Moser. We also prove an analogue of van Lint-MacWilliams' conjecture for restricted sumsets, which appears to be the first analogue of Erdős-Ko-Rado theorem in a family of Cayley sum graphs. △ Less

Submitted 30 September, 2024; v1 submitted 19 September, 2023; originally announced September 2023.

Comments: 23 pages,revised based on referee comments

MSC Class: Primary 11B30; 11P70; Secondary 11B13; 05C25

Journal ref: Canadian J. Math., 2024+

Diophantine tuples and multiplicative structure of shifted multiplicative subgroups

Authors: Seoyoung Kim, Chi Hoi Yip, Semin Yoo

Abstract: In this paper, we investigate the multiplicative structure of a shifted multiplicative subgroup and its connections with additive combinatorics and the theory of Diophantine equations. Among many new results, we highlight our main contributions as follows. First, we show that if a nontrivial shift of a multiplicative subgroup $G$ contains a product set $AB$, then $|A||B|$ is essentially bounded by… ▽ More In this paper, we investigate the multiplicative structure of a shifted multiplicative subgroup and its connections with additive combinatorics and the theory of Diophantine equations. Among many new results, we highlight our main contributions as follows. First, we show that if a nontrivial shift of a multiplicative subgroup $G$ contains a product set $AB$, then $|A||B|$ is essentially bounded by $|G|$, refining a well-known consequence of a classical result by Vinogradov. Second, we provide a sharper upper bound of $M_k(n)$, the largest size of a set such that each pairwise product of its elements is $n$ less than a $k$-th power, refining the recent result of Dixit, Kim, and Murty. One main ingredient in our proof is the first non-trivial upper bound on the maximum size of a generalized Diophantine tuple over a finite field. In addition, we determine the maximum size of an infinite family of generalized Diophantine tuples over finite fields with square order, which is of independent interest. We also make significant progress towards a conjecture of Sárközy on the multiplicative decompositions of shifted multiplicative subgroups. In particular, we prove that for almost all primes $p$, the set $\{x^2-1: x \in \mathbb{F}_p^*\} \setminus \{0\}$ cannot be decomposed as the product of two sets in $\mathbb{F}_p$ non-trivially. △ Less

Submitted 2 September, 2024; v1 submitted 16 September, 2023; originally announced September 2023.

Comments: 33 pages, 1 figure. Exposition improved

MSC Class: Primary 11B30; 11D72; Secondary 11D45; 11N36; 11L40

An annotated bibliography for comparative prime number theory

Authors: Greg Martin, Pu Justin Scarfy Yang, Aram Bahrini, Prajeet Bajpai, Kübra Benli, Jenna Downey, Yuan Yuan Li, Xiaoxuan Liang, Amir Parvardi, Reginald Simpson, Ethan Patrick White, Chi Hoi Yip

Abstract: The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory (through mid-2024) together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. The goal of this annotated bibliography is to record every publication on the topic of comparative prime number theory (through mid-2024) together with a summary of its results. We use a unified system of notation for the quantities being studied and for the hypotheses under which results are obtained. △ Less

Submitted 6 September, 2024; v1 submitted 15 September, 2023; originally announced September 2023.

Comments: 110 pages; supersedes "Comparative prime number theory: A survey" (arXiv:1202.3408)

MSC Class: 11N13 (11Y35)

RESTORE: Graph Embedding Assessment Through Reconstruction

Authors: Hong Yung Yip, Chidaksh Ravuru, Neelabha Banerjee, Shashwat Jha, Amit Sheth, Aman Chadha, Amitava Das

Abstract: Following the success of Word2Vec embeddings, graph embeddings (GEs) have gained substantial traction. GEs are commonly generated and evaluated extrinsically on downstream applications, but intrinsic evaluations of the original graph properties in terms of topological structure and semantic information have been lacking. Understanding these will help identify the deficiency of the various families… ▽ More Following the success of Word2Vec embeddings, graph embeddings (GEs) have gained substantial traction. GEs are commonly generated and evaluated extrinsically on downstream applications, but intrinsic evaluations of the original graph properties in terms of topological structure and semantic information have been lacking. Understanding these will help identify the deficiency of the various families of GE methods when vectorizing graphs in terms of preserving the relevant knowledge or learning incorrect knowledge. To address this, we propose RESTORE, a framework for intrinsic GEs assessment through graph reconstruction. We show that reconstructing the original graph from the underlying GEs yields insights into the relative amount of information preserved in a given vector form. We first introduce the graph reconstruction task. We generate GEs from three GE families based on factorization methods, random walks, and deep learning (with representative algorithms from each family) on the CommonSense Knowledge Graph (CSKG). We analyze their effectiveness in preserving the (a) topological structure of node-level graph reconstruction with an increasing number of hops and (b) semantic information on various word semantic and analogy tests. Our evaluations show deep learning-based GE algorithm (SDNE) is overall better at preserving (a) with a mean average precision (mAP) of 0.54 and 0.35 for 2 and 3-hop reconstruction respectively, while the factorization-based algorithm (HOPE) is better at encapsulating (b) with an average Euclidean distance of 0.14, 0.17, and 0.11 for 1, 2, and 3-hop reconstruction respectively. The modest performance of these GEs leaves room for further research avenues on better graph representation learning. △ Less

Submitted 5 September, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Learning from Topology: Cosmological Parameter Estimation from the Large-scale Structure

Authors: Jacky H. T. Yip, Adam Rouhiainen, Gary Shiu

Abstract: The topology of the large-scale structure of the universe contains valuable information on the underlying cosmological parameters. While persistent homology can extract this topological information, the optimal method for parameter estimation from the tool remains an open question. To address this, we propose a neural network model to map persistence images to cosmological parameters. Through a pa… ▽ More The topology of the large-scale structure of the universe contains valuable information on the underlying cosmological parameters. While persistent homology can extract this topological information, the optimal method for parameter estimation from the tool remains an open question. To address this, we propose a neural network model to map persistence images to cosmological parameters. Through a parameter recovery test, we demonstrate that our model makes accurate and precise estimates, considerably outperforming conventional Bayesian inference approaches. △ Less

Submitted 4 August, 2023; originally announced August 2023.

Comments: 7 pages, 4 figures. Accepted to the Synergy of Scientific and Machine Learning Modeling Workshop (ICML 2023)

Characterising a World Within the Hot Neptune Desert: Transit Observations of LTT 9779 b with HST WFC3

Authors: Billy Edwards, Quentin Changeat, Angelos Tsiaras, Andrew Allan, Patrick Behr, Simone R. Hagey, Michael D. Himes, Sushuang Ma, Keivan G. Stassun, Luis Thomas, Alexandra Thompson, Aaron Boley, Luke Booth, Jeroen Bouwman, Kevin France, Nataliea Lowson, Annabella Meech, Caprice L. Phillips, Aline A. Vidotto, Kai Hou Yip, Michelle Bieger, Amelie Gressier, Estelle Janin, Ing-Guey Jiang, Pietro Leonardi , et al. (5 additional authors not shown)

Abstract: We present an atmospheric analysis of LTT 9779 b, a rare planet situated in the hot Neptune desert, that has been observed with HST WFC3 G102 and G141. The combined transmission spectrum, which covers 0.8 - 1.6 $μ$m, shows a gradual increase in transit depth with wavelength. Our preferred atmospheric model shows evidence for H$_{\rm 2}$O, CO$_{\rm 2}$ and FeH with a significance of 3.1 $σ$, 2.4… ▽ More We present an atmospheric analysis of LTT 9779 b, a rare planet situated in the hot Neptune desert, that has been observed with HST WFC3 G102 and G141. The combined transmission spectrum, which covers 0.8 - 1.6 $μ$m, shows a gradual increase in transit depth with wavelength. Our preferred atmospheric model shows evidence for H$_{\rm 2}$O, CO$_{\rm 2}$ and FeH with a significance of 3.1 $σ$, 2.4 $σ$ and 2.1 $σ$, respectively. In an attempt to constrain the rate of atmospheric escape for this planet, we search for the 1.083 $μ$m Helium line in the G102 data but find no evidence of excess absorption that would indicate an escaping atmosphere using this tracer. We refine the orbital ephemerides of LTT 9779 b using our HST data and observations from TESS, searching for evidence of orbital decay or apsidal precession, which is not found. The phase-curve observation of LTT 9779 b with JWST NIRISS should provide deeper insights into the atmosphere of this planet and the expected atmospheric escape might be detected with further observations concentrated on other tracers such as Lyman $α$. △ Less

Submitted 23 June, 2023; originally announced June 2023.

Comments: Accepted for publication in AJ

Extremal Peisert-type graphs without the strict-EKR property

Authors: Sergey Goryainov, Chi Hoi Yip

Abstract: It is known that Paley graphs of square order have the strict-EKR property, that is, all maximum cliques are canonical cliques. Peisert-type graphs are natural generalizations of Paley graphs and some of them also have the strict-EKR property. Given a prime power $q \geq 3$, we study Peisert-type graphs of order $q^2$ without the strict-EKR property and with the minimum number of edges and we call… ▽ More It is known that Paley graphs of square order have the strict-EKR property, that is, all maximum cliques are canonical cliques. Peisert-type graphs are natural generalizations of Paley graphs and some of them also have the strict-EKR property. Given a prime power $q \geq 3$, we study Peisert-type graphs of order $q^2$ without the strict-EKR property and with the minimum number of edges and we call such graphs extremal. We determine number of edges in extremal graphs for each value of $q$. If $q$ is a a square or a cube, we show the uniqueness of the extremal graph and classify all maximum cliques explicitly. Moreover, when $q$ is a square, we prove that there is no Hilton-Milner type result for the extremal graph, and show the tightness of the weight-distribution bound for both non-principal eigenvalues of this graph. △ Less

Submitted 4 March, 2024; v1 submitted 1 June, 2023; originally announced June 2023.

Comments: 34 pages, final version accepted by JCTA

Journal ref: J. Combin. Theory Ser. A 206 (2024), Paper No. 105887, 42pp

An exponential bound for simultaneous embeddings of planar graphs

Authors: Ritesh Goenka, Pardis Semnani, Chi Hoi Yip

Abstract: We show that there are $O(n \cdot 4^{n/11})$ planar graphs on $n$ vertices which do not admit a simultaneous straight-line embedding on any $n$-point set in the plane. In particular, this improves the best known bound $O(n!)$ significantly. We show that there are $O(n \cdot 4^{n/11})$ planar graphs on $n$ vertices which do not admit a simultaneous straight-line embedding on any $n$-point set in the plane. In particular, this improves the best known bound $O(n!)$ significantly. △ Less

Submitted 25 May, 2023; originally announced May 2023.

Comments: 4 figures, 8 pages

MSC Class: 05C62; 68R10; 05C10

Journal ref: Graphs Combin. 39 (2023), no. 5, Paper No. 100, 9 pp

Additive decompositions of large multiplicative subgroups in finite fields

Authors: Chi Hoi Yip

Abstract: We show that a large multiplicative subgroup of a finite field $\mathbb{F}_q$ cannot be decomposed into $A+A$ or $A+B+C$ nontrivially. We also find new families of multiplicative subgroups that cannot be decomposed as the sum of two sets nontrivially. In particular, our results extensively generalize the results of Sárközy and Shkredov on the additive decomposition of the set of quadratic residues… ▽ More We show that a large multiplicative subgroup of a finite field $\mathbb{F}_q$ cannot be decomposed into $A+A$ or $A+B+C$ nontrivially. We also find new families of multiplicative subgroups that cannot be decomposed as the sum of two sets nontrivially. In particular, our results extensively generalize the results of Sárközy and Shkredov on the additive decomposition of the set of quadratic residues modulo a prime. △ Less

Submitted 20 February, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 16 pages, revised based on referee comments

MSC Class: 11B13; 11B30; 11P70; 11T06

Journal ref: Acta Arith. 213 (2024), no.2, 97-116

Exact values and improved bounds on the clique number of cyclotomic graphs

Authors: Chi Hoi Yip

Abstract: Let $q$ be an odd power of a prime $p$, and $S \subset \mathbb{F}_q^*$ such that $S=-S$ and $S/S \neq \mathbb{F}_q^*$. We show that the clique number of the Cayley graph $\operatorname{Cay}(\mathbb{F}_q^+,S)$ is at most $\sqrt{|S/S|}+\sqrt{q/p}$, improving the best-known $\sqrt{q}$ upper bound for many families of such graphs substantially. Such a new bound is strongest for cyclotomic graphs and i… ▽ More Let $q$ be an odd power of a prime $p$, and $S \subset \mathbb{F}_q^*$ such that $S=-S$ and $S/S \neq \mathbb{F}_q^*$. We show that the clique number of the Cayley graph $\operatorname{Cay}(\mathbb{F}_q^+,S)$ is at most $\sqrt{|S/S|}+\sqrt{q/p}$, improving the best-known $\sqrt{q}$ upper bound for many families of such graphs substantially. Such a new bound is strongest for cyclotomic graphs and in particular, it implies the first nontrivial upper bound on the clique number of all generalized Paley graphs of non-square order, extending the work of Hanson and Pertidis. Moreover, our new bound is asymptotically sharp for an infinite family of generalized Paley graphs, and we further discover the first nontrivial family among them for which the clique number can be exactly determined. We also obtain a new lower bound on the number of directions determined by a large Cartesian product in the affine Galois plane $AG(2,q)$, which is sharp for infinite families. △ Less

Submitted 19 June, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 10 pages, typos corrected

MSC Class: 11B30; 05C25; 51E15

Intermolecular CT excitons enable nanosecond excited-state lifetimes in NIR-absorbing non-fullerene acceptors for efficient organic solar cells

Authors: Xian-Kai Chen, Christopher C. S. Chan, Sudhi Mahadevan, Yu Guo, Guichuan Zhang, He Yan, Kam Sing Wong, Hin-Lap Yip, Jean-Luc Bredas, Sai Wing Tsang, Philip C. Y. Chow

Abstract: State-of-the-art Y6-type molecular acceptors exhibit nanosecond excited-state lifetimes despite their low optical gaps (~1.4 eV), thus allowing organic solar cells (OSCs) to achieve highly efficient charge generation with extended near-infrared (NIR) absorption range (up to ~1000 nm). However, the precise molecular-level mechanism that enables low-energy excited states in Y6-type acceptors to achi… ▽ More State-of-the-art Y6-type molecular acceptors exhibit nanosecond excited-state lifetimes despite their low optical gaps (~1.4 eV), thus allowing organic solar cells (OSCs) to achieve highly efficient charge generation with extended near-infrared (NIR) absorption range (up to ~1000 nm). However, the precise molecular-level mechanism that enables low-energy excited states in Y6-type acceptors to achieve nanosecond lifetimes has remained elusive. Here, we demonstrate that the distinct packing of Y6 molecules in film leads to a strong intermolecular charge-transfer (iCT) character of the lowest excited state in Y6 aggregates, which is absent in other low-gap acceptors such as ITIC. Due to strong electronic couplings between the adjacent Y6 molecules, the iCT-exciton energies are greatly reduced by up to ~0.25 eV with respect to excitons formed in separated molecules. Importantly, despite their low energies, the iCT excitons have reduced non-adiabatic electron-vibration couplings with the electronic ground state, thus suppressing non-radiative recombination and allowing Y6 to overcome the well-known energy gap law. Our results reveal the fundamental relationship between molecular packing and nanosecond excited-state lifetimes in NIR-absorbing Y6-type acceptors underlying the outstanding performance of Y6-based OSCs. △ Less

Submitted 18 April, 2023; originally announced April 2023.

Erdős-Ko-Rado theorem in Peisert-type graphs

Authors: Chi Hoi Yip

Abstract: The celebrated Erdős-Ko-Rado (EKR) theorem for Paley graphs (of square order) states that all maximum cliques are canonical in the sense that each maximum clique arises from the subfield construction. Recently, Asgarli and Yip extended this result to Peisert graphs and other Cayley graphs which are Peisert-type graphs with nice algebraic properties on the connection set. On the other hand, there a… ▽ More The celebrated Erdős-Ko-Rado (EKR) theorem for Paley graphs (of square order) states that all maximum cliques are canonical in the sense that each maximum clique arises from the subfield construction. Recently, Asgarli and Yip extended this result to Peisert graphs and other Cayley graphs which are Peisert-type graphs with nice algebraic properties on the connection set. On the other hand, there are Peisert-type graphs for which the EKR theorem fails to hold. In this paper, we show that the EKR theorem of Paley graphs extends to almost all pseudo-Paley graphs of Peisert-type. Furthermore, we establish the stability results of the same flavor. △ Less

Submitted 1 August, 2023; v1 submitted 1 February, 2023; originally announced February 2023.

Comments: 10 pages, typos corrected

MSC Class: 05C25; 15A03; 51E15

Journal ref: Canad. Math. Bull. 67(1), 2024, pp. 176-187

Existence of pencils with nonblocking hypersurfaces

Authors: Shamil Asgarli, Dragos Ghioca, Chi Hoi Yip

Abstract: We prove that there is a pencil of hypersurfaces in $\mathbb{P}^n$ of any given degree over a finite field $\mathbb{F}_q$ such that every $\mathbb{F}_q$-member of the pencil is not blocking with respect to $\mathbb{F}_q$-lines. We prove that there is a pencil of hypersurfaces in $\mathbb{P}^n$ of any given degree over a finite field $\mathbb{F}_q$ such that every $\mathbb{F}_q$-member of the pencil is not blocking with respect to $\mathbb{F}_q$-lines. △ Less

Submitted 10 August, 2023; v1 submitted 22 January, 2023; originally announced January 2023.

Comments: 8 pages

MSC Class: Primary: 14N05; 14C21; Secondary: 14J70; 14G15; 51E21

Journal ref: Finite Fields Appl. 92 (2023), Paper No. 102283, 11 pp

Exact values and improved bounds on $k$-neighborly families of boxes

Authors: Xinbu Cheng, Meiqin Wang, Zixiang Xu, Chi Hoi Yip

Abstract: A finite family $\mathcal{F}$ of $d$-dimensional convex polytopes is called $k$-neighborly if $d-k\le\textup{dim}(C\cap C')\le d-1$ for any two distinct members $C,C'\in\mathcal{F}$. In 1997, Alon initiated the study of the general function $n(k,d)$, which is defined to be the maximum size of $k$-neighborly families of standard boxes in $\mathbb{R}^{d}$. Based on a weighted count of vectors in… ▽ More A finite family $\mathcal{F}$ of $d$-dimensional convex polytopes is called $k$-neighborly if $d-k\le\textup{dim}(C\cap C')\le d-1$ for any two distinct members $C,C'\in\mathcal{F}$. In 1997, Alon initiated the study of the general function $n(k,d)$, which is defined to be the maximum size of $k$-neighborly families of standard boxes in $\mathbb{R}^{d}$. Based on a weighted count of vectors in $\{0,1\}^{d}$, we improve a recent upper bound on $n(k,d)$ by Alon, Grytczuk, Kisielewicz, and Przesławski for any positive integers $d$ and $k$ with $d\ge k+2$. In particular, when $d$ is sufficiently large and $k\ge 0.123d$, our upper bound on $n(k,d)$ improves the bound $\sum_{i=1}^{k}2^{i-1}\binom{d}{i}+1$ shown by Huang and Sudakov exponentially. Furthermore, we determine that $n(2,4)=9$, $n(3,5)=18$, $n(3,6)=27$, $n(4,6)=37$, $n(5,7)=74$, and $n(6,8)=150$. The stability result of Kleitman's isodiametric inequality plays an important role in the proofs. △ Less

Submitted 5 January, 2024; v1 submitted 16 January, 2023; originally announced January 2023.

Comments: Final version, accepted by European Journal of Combinatorics

MSC Class: 05C70

Journal ref: European J. Combin. 118 (2024), Paper No. 103926, 17pp

Proportion of blocking curves in a pencil

Authors: Shamil Asgarli, Dragos Ghioca, Chi Hoi Yip

Abstract: Let $\mathcal{L}$ be a pencil of plane curves defined over $\mathbb{F}_q$ with no $\mathbb{F}_q$-points in its base locus. We investigate the number of curves in $\mathcal{L}$ whose $\mathbb{F}_q$-points form a blocking set. When the degree of the pencil is allowed to grow with respect to $q$, we show that the geometric problem can be translated into a purely combinatorial problem about disjoint b… ▽ More Let $\mathcal{L}$ be a pencil of plane curves defined over $\mathbb{F}_q$ with no $\mathbb{F}_q$-points in its base locus. We investigate the number of curves in $\mathcal{L}$ whose $\mathbb{F}_q$-points form a blocking set. When the degree of the pencil is allowed to grow with respect to $q$, we show that the geometric problem can be translated into a purely combinatorial problem about disjoint blocking sets. We also study the same problem when the degree of the pencil is fixed. △ Less

Submitted 15 January, 2023; originally announced January 2023.

Comments: 9 pages

MSC Class: Primary: 14H50; 51E21; Secondary: 14C21; 14N05; 14G15; 51E20

Most plane curves over finite fields are not blocking

Authors: Shamil Asgarli, Dragos Ghioca, Chi Hoi Yip

Abstract: A plane curve $C\subset\mathbb{P}^2$ of degree $d$ is called \emph{blocking} if every $\mathbb{F}_q$-line in the plane meets $C$ at some $\mathbb{F}_q$-point. We prove that the proportion of blocking curves among those of degree $d$ is $o(1)$ when $d\geq 2q-1$ and $q \to \infty$. We also show that the same conclusion holds for smooth curves under the somewhat weaker condition $d\geq 3p$ and… ▽ More A plane curve $C\subset\mathbb{P}^2$ of degree $d$ is called \emph{blocking} if every $\mathbb{F}_q$-line in the plane meets $C$ at some $\mathbb{F}_q$-point. We prove that the proportion of blocking curves among those of degree $d$ is $o(1)$ when $d\geq 2q-1$ and $q \to \infty$. We also show that the same conclusion holds for smooth curves under the somewhat weaker condition $d\geq 3p$ and $d, q \to \infty$. Moreover, the two events in which a random plane curve is smooth and respectively blocking are shown to be asymptotically independent. Extending a classical result on the number of $\mathbb{F}_q$-roots of random polynomials, we find that the limiting distribution of the number of $\mathbb{F}_q$-points in the intersection of a random plane curve and a fixed $\mathbb{F}_q$-line is Poisson with mean $1$. We also present an explicit formula for the proportion of blocking curves involving statistics on the number of $\mathbb{F}_q$-points contained in a union of $k$ lines for $k=1, 2, \ldots, q^2+q+1$. △ Less

Submitted 4 January, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 21 pages, revised based on referee comments

MSC Class: Primary: 14H50; 51E21; Secondary: 11G20; 11T55; 14N10; 05B25

Journal ref: J. Combin. Theory Ser. A 204 (2024), Paper No. 105871, 26pp

Exploring the Ability of HST WFC3 G141 to Uncover Trends in Populations of Exoplanet Atmospheres Through a Homogeneous Transmission Survey of 70 Gaseous Planets

Authors: Billy Edwards, Quentin Changeat, Angelos Tsiaras, Kai Hou Yip, Ahmed F. Al-Refaie, Lara Anisman, Michelle F. Bieger, Amelie Gressier, Sho Shibata, Nour Skaf, Jeroen Bouwman, James Y-K. Cho, Masahiro Ikoma, Olivia Venot, Ingo Waldmann, Pierre-Olivier Lagage, Giovanna Tinetti

Abstract: We present the analysis of the atmospheres of 70 gaseous extrasolar planets via transit spectroscopy with Hubble's Wide Field Camera 3 (WFC3). For over half of these, we statistically detect spectral modulation which our retrievals attribute to molecular species. Among these, we use Bayesian Hierarchical Modelling to search for chemical trends with bulk parameters. We use the extracted water abund… ▽ More We present the analysis of the atmospheres of 70 gaseous extrasolar planets via transit spectroscopy with Hubble's Wide Field Camera 3 (WFC3). For over half of these, we statistically detect spectral modulation which our retrievals attribute to molecular species. Among these, we use Bayesian Hierarchical Modelling to search for chemical trends with bulk parameters. We use the extracted water abundance to infer the atmospheric metallicity and compare it to the planet's mass. We also run chemical equilibrium retrievals, fitting for the atmospheric metallicity directly. However, although previous studies have found evidence of a mass-metallicity trend, we find no such relation within our data. For the hotter planets within our sample, we find evidence for thermal dissociation of dihydrogen and water via the H$^-$ opacity. We suggest that the general lack of trends seen across this population study could be due to i) the insufficient spectral coverage offered by HST WFC3 G141, ii) the lack of a simple trend across the whole population, iii) the essentially random nature of the target selection for this study or iv) a combination of all the above. We set out how we can learn from this vast dataset going forward in an attempt to ensure comparative planetology can be undertaken in the future with facilities such as JWST, Twinkle and Ariel. We conclude that a wider simultaneous spectral coverage is required as well as a more structured approach to target selection. △ Less

Submitted 1 November, 2022; originally announced November 2022.

Comments: Accepted for publication in ApJS

Acoustic amplifying diode using non-reciprocal Willis coupling

Authors: Xinhua Wen, Heung Kit Yip, Choonlae Cho, Jensen Li, Namkyoo Park

Abstract: We propose a concept called acoustic amplifying diode in combining both signal isolation and amplification in a single device. The signal is exponentially amplified in one direction with no reflection and is completely absorbed in another. In this case, the reflection is eliminated from the device in both directions due to impedance matching, preventing backscattering to the signal source. Here, w… ▽ More We propose a concept called acoustic amplifying diode in combining both signal isolation and amplification in a single device. The signal is exponentially amplified in one direction with no reflection and is completely absorbed in another. In this case, the reflection is eliminated from the device in both directions due to impedance matching, preventing backscattering to the signal source. Here, we experimentally demonstrate the amplifying diode using an active metamaterial with non-reciprocal Willis coupling. We also discuss the situation with the presence of both reciprocal and non-reciprocal Willis couplings for more flexibility in implementation. The concept of acoustic amplifying diode will enable applications in sound isolation, sensing and communication, in which non-reciprocity can play an important role. △ Less

Submitted 29 October, 2022; originally announced October 2022.

Comments: 13 pages, 4 figures

Sperner systems with restricted differences

Authors: Zixiang Xu, Chi Hoi Yip

Abstract: Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, w… ▽ More Let $\mathcal{F}$ be a family of subsets of $[n]$ and $L$ be a subset of $[n]$. We say $\mathcal{F}$ is an $L$-differencing Sperner system if $|A\setminus B|\in L$ for any distinct $A,B\in\mathcal{F}$. Let $p$ be a prime and $q$ be a power of $p$. Frankl first studied $p$-modular $L$-differencing Sperner systems and showed an upper bound of the form $\sum_{i=0}^{|L|}\binom{n}{i}$. In this paper, we obtain new upper bounds on $q$-modular $L$-differencing Sperner systems using elementary $p$-adic analysis and polynomial method, extending and improving existing results substantially. Moreover, our techniques can be used to derive new upper bounds on subsets of the hypercube with restricted Hamming distances. One highlight of the paper is the first analogue of the celebrated Snevily's theorem in the $q$-modular setting, which results in several new upper bounds on $q$-modular $L$-avoiding $L$-intersecting systems. In particular, we improve a result of Felszeghy, Hegedűs, and Rónyai, and give a partial answer to a question posed by Babai, Frankl, Kutin, and Štefankovič. △ Less

Submitted 27 October, 2022; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: 22 pages, results in table 1 and section 6.1 improved

MSC Class: 05D05; 11B75

Maximality of subfields as cliques in Cayley graphs over finite fields

Authors: Chi Hoi Yip

Abstract: We show the maximality of subfields as cliques in a special family of Cayley graphs defined on the additive group of a finite field. In particular, this confirms a conjecture of Yip on generalized Paley graphs. We show the maximality of subfields as cliques in a special family of Cayley graphs defined on the additive group of a finite field. In particular, this confirms a conjecture of Yip on generalized Paley graphs. △ Less

Submitted 6 September, 2022; v1 submitted 2 September, 2022; originally announced September 2022.

Comments: exposition improved, 5 pages

MSC Class: 05C25; 05C69; 11T24

Journal ref: Algebr. Comb. 6 (2023), no. 4, 901-905

Plane curves giving rise to blocking sets over finite fields

Authors: Shamil Asgarli, Dragos Ghioca, Chi Hoi Yip

Abstract: In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by Rédei-type polynomials, are powerful in studying blocking sets. In this paper, we reverse the engine and study when blocking sets can arise from rational points on plane curves over finite fields. We show that irreducible curves of low degree can… ▽ More In recent years, many useful applications of the polynomial method have emerged in finite geometry. Indeed, algebraic curves, especially those defined by Rédei-type polynomials, are powerful in studying blocking sets. In this paper, we reverse the engine and study when blocking sets can arise from rational points on plane curves over finite fields. We show that irreducible curves of low degree cannot provide blocking sets and prove more refined results for cubic and quartic curves. On the other hand, using tools from number theory, we construct smooth plane curves defined over $\mathbb{F}_p$ of degree at most $4p^{3/4}+1$ whose points form blocking sets. △ Less

Submitted 31 May, 2023; v1 submitted 28 August, 2022; originally announced August 2022.

Comments: 25 pages

MSC Class: Primary 51E21; 14H50; Secondary 51E15; 11T30; 11G20

Journal ref: Des. Codes Cryptogr. 91 (2023), no. 11, 3643--3669

Don't Pay Attention to the Noise: Learning Self-supervised Representations of Light Curves with a Denoising Time Series Transformer

Authors: Mario Morvan, Nikolaos Nikolaou, Kai Hou Yip, Ingo Waldmann

Abstract: Astrophysical light curves are particularly challenging data objects due to the intensity and variety of noise contaminating them. Yet, despite the astronomical volumes of light curves available, the majority of algorithms used to process them are still operating on a per-sample basis. To remedy this, we propose a simple Transformer model -- called Denoising Time Series Transformer (DTST) -- and s… ▽ More Astrophysical light curves are particularly challenging data objects due to the intensity and variety of noise contaminating them. Yet, despite the astronomical volumes of light curves available, the majority of algorithms used to process them are still operating on a per-sample basis. To remedy this, we propose a simple Transformer model -- called Denoising Time Series Transformer (DTST) -- and show that it excels at removing the noise and outliers in datasets of time series when trained with a masked objective, even when no clean targets are available. Moreover, the use of self-attention enables rich and illustrative queries into the learned representations. We present experiments on real stellar light curves from the Transiting Exoplanet Space Satellite (TESS), showing advantages of our approach compared to traditional denoising techniques. △ Less

Submitted 6 July, 2022; originally announced July 2022.

Comments: ICML 2022 Workshop: Machine Learning for Astrophysics

Intersective sets over abelian groups

Authors: Zixiang Xu, Chi Hoi Yip

Abstract: Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Hegedűs by bu… ▽ More Given a finite abelian group $G$ and a subset $J\subset G$ with $0\in J$, let $D_{G}(J,N)$ be the maximum size of $A\subset G^{N}$ such that the difference set $A-A$ and $J^{N}$ have no non-trivial intersection. Recently, this extremal problem has been widely studied for different groups $G$ and subsets $J$. In this paper, we generalize and improve the relevant results by Alon and by Hegedűs by building a bridge between this problem and cyclotomic polynomials with the help of algebraic graph theory. In particular, we construct infinitely many non-trivial families of $G$ and $J$ for which the current known upper bounds on $D_{G}(J, N)$ can be improved exponentially. We also obtain a new upper bound $D_{\mathbb{F}_{p}}(\{0,1\},N)\le (\frac{1}{2}+o(1))(p-1)^{N}$, which improves the previously best-known result by Huang, Klurman, and Pohoata. △ Less

Submitted 13 March, 2023; v1 submitted 30 June, 2022; originally announced July 2022.

Comments: 18 pages

MSC Class: 05D05; 11B30; 11C08

ESA-Ariel Data Challenge NeurIPS 2022: Inferring Physical Properties of Exoplanets From Next-Generation Telescopes

Authors: Kai Hou Yip, Ingo P. Waldmann, Quentin Changeat, Mario Morvan, Ahmed F. Al-Refaie, Billy Edwards, Nikolaos Nikolaou, Angelos Tsiaras, Catarina Alves de Oliveira, Pierre-Olivier Lagage, Clare Jenner, James Y-K. Cho, Jeyan Thiyagalingam, Giovanna Tinetti

Abstract: The study of extra-solar planets, or simply, exoplanets, planets outside our own Solar System, is fundamentally a grand quest to understand our place in the Universe. Discoveries in the last two decades have re-defined our understanding of planets, and helped us comprehend the uniqueness of our very own Earth. In recent years the focus has shifted from planet detection to planet characterisation,… ▽ More The study of extra-solar planets, or simply, exoplanets, planets outside our own Solar System, is fundamentally a grand quest to understand our place in the Universe. Discoveries in the last two decades have re-defined our understanding of planets, and helped us comprehend the uniqueness of our very own Earth. In recent years the focus has shifted from planet detection to planet characterisation, where key planetary properties are inferred from telescope observations using Monte Carlo-based methods. However, the efficiency of sampling-based methodologies is put under strain by the high-resolution observational data from next generation telescopes, such as the James Webb Space Telescope and the Ariel Space Mission. We are delighted to announce the acceptance of the Ariel ML Data Challenge 2022 as part of the NeurIPS competition track. The goal of this challenge is to identify a reliable and scalable method to perform planetary characterisation. Depending on the chosen track, participants are tasked to provide either quartile estimates or the approximate distribution of key planetary properties. To this end, a synthetic spectroscopic dataset has been generated from the official simulators for the ESA Ariel Space Mission. The aims of the competition are three-fold. 1) To offer a challenging application for comparing and advancing conditional density estimation methods. 2) To provide a valuable contribution towards reliable and efficient analysis of spectroscopic data, enabling astronomers to build a better picture of planetary demographics, and 3) To promote the interaction between ML and exoplanetary science. The competition is open from 15th June and will run until early October, participants of all skill levels are more than welcomed! △ Less

Submitted 29 June, 2022; originally announced June 2022.

Comments: 13 pages, Accepted in the Conference on Neural Information Processing Systems 2022 (NeurIPS 2022), Competition hosted on https://www.ariel-datachallenge.space/