Showing 1–50 of 121 results for author: Xin, G

A polynomial time algorithm for Sylvester waves when entries are bounded

Authors: Guoce Xin, Chen Zhang

Abstract: The Sylvester's denumerant \( d(t; \boldsymbol{a}) \) is a quantity that counts the number of nonnegative integer solutions to the equation \( \sum_{i=1}^{N} a_i x_i = t \), where \( \boldsymbol{a} = (a_1, \dots, a_N) \) is a sequence of distinct positive integers with \( \gcd(\boldsymbol{a}) = 1 \). We present a polynomial time algorithm in $N$ for computing \( d(t; \boldsymbol{a}) \) when \( \bo… ▽ More The Sylvester's denumerant \( d(t; \boldsymbol{a}) \) is a quantity that counts the number of nonnegative integer solutions to the equation \( \sum_{i=1}^{N} a_i x_i = t \), where \( \boldsymbol{a} = (a_1, \dots, a_N) \) is a sequence of distinct positive integers with \( \gcd(\boldsymbol{a}) = 1 \). We present a polynomial time algorithm in $N$ for computing \( d(t; \boldsymbol{a}) \) when \( \boldsymbol{a} \) is bounded and \( t \) is a parameter. The proposed algorithm is rooted in the use of cyclotomic polynomials and builds upon recent results by Xin-Zhang-Zhang on the efficient computation of generalized Todd polynomials. The algorithm has been implemented in \texttt{Maple} under the name \texttt{Cyc-Denum} and demonstrates superior performance when \( a_i \leq 500 \) compared to Sills-Zeilberger's \texttt{Maple} package \texttt{PARTITIONS}. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 14 pages, 2 figures

MSC Class: Primary 05--08; Secondary 05--04; 05A17

A Fast Algorithm for Denumerants with Three Variables

Authors: Feihu Liu, Guoce Xin

Abstract: Let $a,b,c$ be distinct positive integers such that $a<b<c$ and $\gcd(a,b,c)=1$. For any non-negative integer $n$, the denumerant function $d(n;a,b,c)$ denotes the number of solutions of the equation $ax_1+bx_2+cx_3=n$ in non-negative integers $x_1,x_2,x_3$. We present an algorithm that computes $d(n;a,b,c)$ with a time complexity of $O(\log b)$. Let $a,b,c$ be distinct positive integers such that $a<b<c$ and $\gcd(a,b,c)=1$. For any non-negative integer $n$, the denumerant function $d(n;a,b,c)$ denotes the number of solutions of the equation $ax_1+bx_2+cx_3=n$ in non-negative integers $x_1,x_2,x_3$. We present an algorithm that computes $d(n;a,b,c)$ with a time complexity of $O(\log b)$. △ Less

Submitted 27 June, 2024; originally announced June 2024.

Comments: 12 pages

A Combinatorial Decomposition of Knapsack Cones

Authors: Guoce Xin, Yingrui Zhang, Zihao Zhang

Abstract: In this paper, we focus on knapsack cones, a specific type of simplicial cones that arise naturally in the context of the knapsack problem $x_1 a_1 + \cdots + x_n a_n = a_0$. We present a novel combinatorial decomposition for these cones, named \texttt{DecDenu}, which aligns with Barvinok's unimodular cone decomposition within the broader framework of Algebraic Combinatorics. Computer experiments… ▽ More In this paper, we focus on knapsack cones, a specific type of simplicial cones that arise naturally in the context of the knapsack problem $x_1 a_1 + \cdots + x_n a_n = a_0$. We present a novel combinatorial decomposition for these cones, named \texttt{DecDenu}, which aligns with Barvinok's unimodular cone decomposition within the broader framework of Algebraic Combinatorics. Computer experiments support us to conjecture that our \texttt{DecDenu} algorithm is polynomial when the number of variables $n$ is fixed. If true, \texttt{DecDenu} will provide the first alternative polynomial algorithm for Barvinok's unimodular cone decomposition, at least for denumerant cones. The \texttt{CTEuclid} algorithm is designed for MacMahon's partition analysis, and is notable for being the first algorithm to solve the counting problem for Magic squares of order 6. We have enhanced the \texttt{CTEuclid} algorithm by incorporating \texttt{DecDenu}, resulting in the \texttt{LLLCTEuclid} algorithm. This enhanced algorithm makes significant use of LLL's algorithm and stands out as an effective elimination-based approach. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 22 pages

MSC Class: Primary 52C07; Secondary 05--04; 05--08

Constraints on Ultra Heavy Dark Matter Properties from Dwarf Spheroidal Galaxies with LHAASO Observations

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: In this work we try to search for signals generated by ultra-heavy dark matter at the Large High Altitude Air Shower Observatory (LHAASO) data. We look for possible gamma-ray by dark matter annihilation or decay from 16 dwarf spheroidal galaxies in the field of view of LHAASO. Dwarf spheroidal galaxies are among the most promising targets for indirect detection of dark matter which have low fluxes… ▽ More In this work we try to search for signals generated by ultra-heavy dark matter at the Large High Altitude Air Shower Observatory (LHAASO) data. We look for possible gamma-ray by dark matter annihilation or decay from 16 dwarf spheroidal galaxies in the field of view of LHAASO. Dwarf spheroidal galaxies are among the most promising targets for indirect detection of dark matter which have low fluxes of astrophysical $γ$-ray background while large amount of dark matter. By analyzing more than 700 days observational data at LHAASO, no significant dark matter signal from 1 TeV to 1 EeV is detected. Accordingly we derive the most stringent constraints on the ultra-heavy dark matter annihilation cross-section up to EeV. The constraints on the lifetime of dark matter in decay mode are also derived. △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 17 pages, 12 figures, accepted by PRL

Discovery of Very-high-energy Gamma-ray Emissions from the Low Luminosity AGN NGC 4278 by LHAASO

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: The first source catalog of Large High Altitude Air Shower Observatory reported the detection of a very-high-energy gamma ray source, 1LHAASO J1219+2915. In this paper a further detailed study of the spectral and temporal behavior of this point-like source have been carried. The best-fit position of the TeV source ($\rm{RA}=185.05^{\circ}\pm0.04^{\circ}$, $\rm{Dec}=29.25^{\circ}\pm0.03^{\circ}$) i… ▽ More The first source catalog of Large High Altitude Air Shower Observatory reported the detection of a very-high-energy gamma ray source, 1LHAASO J1219+2915. In this paper a further detailed study of the spectral and temporal behavior of this point-like source have been carried. The best-fit position of the TeV source ($\rm{RA}=185.05^{\circ}\pm0.04^{\circ}$, $\rm{Dec}=29.25^{\circ}\pm0.03^{\circ}$) is compatible with NGC 4278 within $\sim0.03$ degree. Variation analysis shows an indication of the variability at a few months level in the TeV band, which is consistent with low frequency observations. Based on these observations, we report the detection of TeV $γ$-ray emissions from this low-luminosity AGN NGC 4278. The observations by LHAASO-WCDA during active period has a significance level of 8.8\,$σ$ with best-fit photon spectral index $\varGamma=2.56\pm0.14$ and a flux $f_{1-10\,\rm{TeV}}=(7.0\pm1.1_{\rm{sta}}\pm0.35_{\rm{syst}})\times10^{-13}\,\rm{photons\,cm^{-2}\,s^{-1}}$, or approximately $5\%$ of the Crab Nebula. The discovery of VHE from NGC 4278 indicates that the compact, weak radio jet can efficiently accelerate particles and emit TeV photons. △ Less

Submitted 13 May, 2024; originally announced May 2024.

Comments: 11 pages, 5 figures

Three Simple Reduction Formulas for the Denumerant Functions

Authors: Feihu Liu, Guoce Xin, Chen Zhang

Abstract: Let $A$ be a nonempty set of positive integers. The restricted partition function $p_A(n)$ denotes the number of partitions of $n$ with parts in $A$. When the elements in $A$ are pairwise relatively prime positive integers, Ehrhart, Sertöz-Özlük, and Brown-Chou-Shiue derived three reduction formulas for $p_A(n)$ for $A$ with three parameters. We extend their findings for general $A$ using the Bern… ▽ More Let $A$ be a nonempty set of positive integers. The restricted partition function $p_A(n)$ denotes the number of partitions of $n$ with parts in $A$. When the elements in $A$ are pairwise relatively prime positive integers, Ehrhart, Sertöz-Özlük, and Brown-Chou-Shiue derived three reduction formulas for $p_A(n)$ for $A$ with three parameters. We extend their findings for general $A$ using the Bernoulli-Barnes polynomials. △ Less

Submitted 24 April, 2024; v1 submitted 22 April, 2024; originally announced April 2024.

LHAASO-KM2A detector simulation using Geant4

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (254 additional authors not shown)

Abstract: KM2A is one of the main sub-arrays of LHAASO, working on gamma ray astronomy and cosmic ray physics at energies above 10 TeV. Detector simulation is the important foundation for estimating detector performance and data analysis. It is a big challenge to simulate the KM2A detector in the framework of Geant4 due to the need to track numerous photons from a large number of detector units (>6000) with… ▽ More KM2A is one of the main sub-arrays of LHAASO, working on gamma ray astronomy and cosmic ray physics at energies above 10 TeV. Detector simulation is the important foundation for estimating detector performance and data analysis. It is a big challenge to simulate the KM2A detector in the framework of Geant4 due to the need to track numerous photons from a large number of detector units (>6000) with large altitude difference (30 m) and huge coverage (1.3 km^2). In this paper, the design of the KM2A simulation code G4KM2A based on Geant4 is introduced. The process of G4KM2A is optimized mainly in memory consumption to avoid memory overffow. Some simpliffcations are used to signiffcantly speed up the execution of G4KM2A. The running time is reduced by at least 30 times compared to full detector simulation. The particle distributions and the core/angle resolution comparison between simulation and experimental data of the full KM2A array are also presented, which show good agreement. △ Less

Submitted 7 April, 2024; originally announced April 2024.

Measurements of All-Particle Energy Spectrum and Mean Logarithmic Mass of Cosmic Rays from 0.3 to 30 PeV with LHAASO-KM2A

Authors: The LHAASO Collaboration, Zhen Cao, F. Aharonian, Q. An, A. Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen , et al. (256 additional authors not shown)

Abstract: We present the measurements of all-particle energy spectrum and mean logarithmic mass of cosmic rays in the energy range of 0.3-30 PeV using data collected from LHAASO-KM2A between September 2021 and December 2022, which is based on a nearly composition-independent energy reconstruction method, achieving unprecedented accuracy. Our analysis reveals the position of the knee at… ▽ More We present the measurements of all-particle energy spectrum and mean logarithmic mass of cosmic rays in the energy range of 0.3-30 PeV using data collected from LHAASO-KM2A between September 2021 and December 2022, which is based on a nearly composition-independent energy reconstruction method, achieving unprecedented accuracy. Our analysis reveals the position of the knee at $3.67 \pm 0.05 \pm 0.15$ PeV. Below the knee, the spectral index is found to be -$2.7413 \pm 0.0004 \pm 0.0050$, while above the knee, it is -$3.128 \pm 0.005 \pm 0.027$, with the sharpness of the transition measured with a statistical error of 2%. The mean logarithmic mass of cosmic rays is almost heavier than helium in the whole measured energy range. It decreases from 1.7 at 0.3 PeV to 1.3 at 3 PeV, representing a 24% decline following a power law with an index of -$0.1200 \pm 0.0003 \pm 0.0341$. This is equivalent to an increase in abundance of light components. Above the knee, the mean logarithmic mass exhibits a power law trend towards heavier components, which is reversal to the behavior observed in the all-particle energy spectrum. Additionally, the knee position and the change in power-law index are approximately the same. These findings suggest that the knee observed in the all-particle spectrum corresponds to the knee of the light component, rather than the medium-heavy components. △ Less

Submitted 26 March, 2024; v1 submitted 15 March, 2024; originally announced March 2024.

Comments: 8 pages, 3 figures

Journal ref: Physical Review Letters 132, 131002 (2024)

Simple Generating Functions for Certain Young Tableaux with Periodic Walls

Authors: Feihu Liu, Guoce Xin

Abstract: Recently, Banderier et. al. considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. We count the numbers $\overline{f}_m(n)$ of Young tableaux of shape $2\times mn$ with walls, that allow local decreases at the $(jm+i)$-th columns for all $j=0,\dots, n-1$ and $i=2,\dots, m$. We find that they have nice generating fu… ▽ More Recently, Banderier et. al. considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. We count the numbers $\overline{f}_m(n)$ of Young tableaux of shape $2\times mn$ with walls, that allow local decreases at the $(jm+i)$-th columns for all $j=0,\dots, n-1$ and $i=2,\dots, m$. We find that they have nice generating functions (thanks to the OEIS) as follows. $$\overline{F}_m(x)=\sum_{n\geq 0}\overline{f}_m(n)x^n=\prod_{k=1}^{m}C(e^{k\frac{2πi}{m}} x^\frac{1}{m})=\exp \left(\sum_{n\geq 1}\binom{2mn-1}{mn-1}\frac{x^n}{n}\right),$$ where $C(x)=\frac{1-\sqrt{1-4x}}{2x}$ is the well-known Catalan generating function. We prove generalizations of this result. Firstly, we use the Yamanouchi word to transform Young tableaux with horizontal walls into lattice paths. This results in a determinant formula. Then by lattice path counting theory, we obtain the generating functions $F_r(x)$ for the number of lattice paths from $(0,0)$ to $(\ell n-r,kn)$ that never go above the path $(N^kE^{\ell})^{n-1}N^kE^{\ell-r}$, where $N,E$ stand for north and east steps, respectively. We also obtain exponential formulas for $F_1(x)$ and $F_\ell(x)$. The formula for $\overline{F}_m(x)$ is thus proved since it is just $F_1(x)$ specializes at $k=\ell=m$. △ Less

Submitted 25 January, 2024; originally announced January 2024.

MSC Class: 05A15; 05A10; 05E05

Prospects for Joint Detection of Gravitational Waves with Counterpart Gamma-Ray Bursts Detected by the HADAR Experiment

Authors: Pei-** Hu, Qi-Ling Chen, Tian-Lu Chen, Ming-Ming Kang, Yi-Qing Guo, Dan-Zeng Luo-Bu, You-Liang Feng, Qi Gao, Quan-Bu Gou, Hong-Bo Hu, Hai-** Li, Cheng Liu, Mao-Yuan Liu, Wei Liu, Xiang-Li Qian, Bing-Qiang Qiao, **g-**g Su, Hui-Ying Sun, Xu Wang, Zhen Wang, Guang-Guang Xin, Chao-Wen Yang, Yu-Hua Yao, Qiang Yuan, Yi Zhang

Abstract: The detection of GW170817/GRB170817A implied the strong association between short gamma-ray bursts (SGRBs) and binary neutron star (BNS) mergers which produce gravitational waves (GWs). More evidence is needed to confirm the association and reveal the physical processes of BNS mergers. The upcoming High Altitude Detection of Astronomical Radiation (HADAR) experiment, excelling in a wide field of v… ▽ More The detection of GW170817/GRB170817A implied the strong association between short gamma-ray bursts (SGRBs) and binary neutron star (BNS) mergers which produce gravitational waves (GWs). More evidence is needed to confirm the association and reveal the physical processes of BNS mergers. The upcoming High Altitude Detection of Astronomical Radiation (HADAR) experiment, excelling in a wide field of view (FOV) and a large effective area above tens of GeV, is a hope for the prompt detection of very-high-energy (VHE; > 10 GeV) SGRBs. The aim of this paper is to simulate and analyse GW/SGRB joint detections by future GW detector networks in synergy with HADAR, including the second generation LIGO, Virgo and KAGRA and the third generation ET and CE. We provide a brief introduction of the HADAR experiment for SGRB simulations and its expected SGRB detections. For GW simulations, we adopt a phenomenological model to describe GWs produced by BNS mergers and introduce the signal-noise ratios (SNRs) as detector responses. Following a theoretical analysis we compute the redshift-dependent efficiency functions of GW detector networks. We then construct the simulation of GW detection by Monte Carlo sampling. We compare the simulated results of LIGO-Virgo O2 and O3 runs with their actual detections as a check. The combination of GW and SGRB models is then discussed for joint detection, including parameter correlations, triggered SNRs and efficiency skymaps. The estimated joint detection rates are 0.09-2.52 per year for LHVK network with HADAR under different possible configurations, and approximately 0.27-7.89 per year for ET+CE network with HADAR. △ Less

Submitted 20 January, 2024; originally announced January 2024.

A parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$

Authors: Menghao Qu, Guoce Xin

Abstract: Haglund, Morse, and Zabrocki introduced a family of creation operators of Hall-Littlewood polynomials, $\{C_{a}\}$ for any $a\in \mathbb{Z}$, in their compositional refinement of the shuffle (ex-)conjecture. For any $α\vDash n$, the combinatorial formula for $\nabla C_α$ is a weighted sum of parking functions. These summations can be converted to a weighted sum of certain LLT polynomials. Thus… ▽ More Haglund, Morse, and Zabrocki introduced a family of creation operators of Hall-Littlewood polynomials, $\{C_{a}\}$ for any $a\in \mathbb{Z}$, in their compositional refinement of the shuffle (ex-)conjecture. For any $α\vDash n$, the combinatorial formula for $\nabla C_α$ is a weighted sum of parking functions. These summations can be converted to a weighted sum of certain LLT polynomials. Thus $\nabla C_α$ is Schur positive since Grojnowski and Haiman proved that all LLT polynomials are Schur positive. In this paper, we obtain a recursion that implies the $C$-positivity of $(-1)^{k} m_{2^{k}1^{l}}$, and hence prove the Schur positivity of $(-1)^{k}\nabla m_{2^{k}1^{l}}$. As a corollary, a parking function interpretation for $(-1)^{k}\nabla m_{2^{k}1^{l}}$ is obtained by using the compositional shuffle theorem of Carlsson and Mellit. △ Less

Submitted 27 December, 2023; originally announced December 2023.

Comments: 19 pages

An algebraic combinatorial approach to Sylvester's denumerant

Authors: Guoce Xin, Chen Zhang

Abstract: For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'… ▽ More For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster. △ Less

Submitted 3 December, 2023; originally announced December 2023.

Comments: 24 pages, 2 figures

MSC Class: Primary 05--08; Secondary 05--04; 05A17

Does or did the supernova remnant Cassiopeia A operate as a PeVatron?

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: For decades, supernova remnants (SNRs) have been considered the prime sources of Galactic Cosmic rays (CRs). But whether SNRs can accelerate CR protons to PeV energies and thus dominate CR flux up to the knee is currently under intensive theoretical and phenomenological debate. The direct test of the ability of SNRs to operate as CR PeVatrons can be provided by ultrahigh-energy (UHE;… ▽ More For decades, supernova remnants (SNRs) have been considered the prime sources of Galactic Cosmic rays (CRs). But whether SNRs can accelerate CR protons to PeV energies and thus dominate CR flux up to the knee is currently under intensive theoretical and phenomenological debate. The direct test of the ability of SNRs to operate as CR PeVatrons can be provided by ultrahigh-energy (UHE; $E_γ\geq 100$~TeV) $γ$-rays. In this context, the historical SNR Cassiopeia A (Cas A) is considered one of the most promising target for UHE observations. This paper presents the observation of Cas A and its vicinity by the LHAASO KM2A detector. The exceptional sensitivity of LHAASO KM2A in the UHE band, combined with the young age of Cas A, enabled us to derive stringent model-independent limits on the energy budget of UHE protons and nuclei accelerated by Cas A at any epoch after the explosion. The results challenge the prevailing paradigm that Cas A-type SNRs are major suppliers of PeV CRs in the Milky Way. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: 11 pages, 3 figures, Accepted by the APJL

Very high energy gamma-ray emission beyond 10 TeV from GRB 221009A

Authors: Zhen Cao, F. Aharonian, Q. An, A. Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: The highest energy gamma-rays from gamma-ray bursts (GRBs) have important implications for their radiation mechanism. Here we report for the first time the detection of gamma-rays up to 13 TeV from the brightest GRB 221009A by the Large High Altitude Air-shower Observatory (LHAASO). The LHAASO-KM2A detector registered more than 140 gamma-rays with energies above 3 TeV during 230$-$900s after the t… ▽ More The highest energy gamma-rays from gamma-ray bursts (GRBs) have important implications for their radiation mechanism. Here we report for the first time the detection of gamma-rays up to 13 TeV from the brightest GRB 221009A by the Large High Altitude Air-shower Observatory (LHAASO). The LHAASO-KM2A detector registered more than 140 gamma-rays with energies above 3 TeV during 230$-$900s after the trigger. The intrinsic energy spectrum of gamma-rays can be described by a power-law after correcting for extragalactic background light (EBL) absorption. Such a hard spectrum challenges the synchrotron self-Compton (SSC) scenario of relativistic electrons for the afterglow emission above several TeV. Observations of gamma-rays up to 13 TeV from a source with a measured redshift of z=0.151 hints more transparency in intergalactic space than previously expected. Alternatively, one may invoke new physics such as Lorentz Invariance Violation (LIV) or an axion origin of very high energy (VHE) signals. △ Less

Submitted 22 November, 2023; v1 submitted 13 October, 2023; originally announced October 2023.

Comments: 49pages, 11figures

Journal ref: Science Advances, 9, eadj2778 (2023) 15 November 2023

Engineering of energy band and its impact on light transmission in non-reciprocal Hermitian hourglass lattice

Authors: Junhao Yang, Yuandan Wang, Yu Lin, Wen**g Zhang, Guoguo Xin, Xinyuan Qi

Abstract: We study a quasi-one-dimensional non-reciprocal Hermitian hourglass photonic lattice that can accomplish multiple functions. Under the effect of non-reciprocal coupling, this lattice can produce an energy isolation effect, two kinds of flat bands, and energy band inversion. The excitation and propagation of a single energy band and multiple energy bands can be realized; in the flat band condition,… ▽ More We study a quasi-one-dimensional non-reciprocal Hermitian hourglass photonic lattice that can accomplish multiple functions. Under the effect of non-reciprocal coupling, this lattice can produce an energy isolation effect, two kinds of flat bands, and energy band inversion. The excitation and propagation of a single energy band and multiple energy bands can be realized; in the flat band condition, the system has compact localized states, and the flat bands can be excited by a straightforward method. In addition, we investigate the edge states under the open boundary condition; a double edge state appears by using a defect in the system. Our findings advance the theory of energy band regulation in artificial photonic lattices. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Application of Deep Learning Methods Combined with Physical Background in Wide Field of View Imaging Atmospheric Cherenkov Telescopes

Authors: Ao-Yan Cheng, Hao Cai, Shi Chen, Tian-Lu Chen, Xiang Dong, You-Liang Feng, Qi Gao, Quan-Bu Gou, Yi-Qing Guo, Hong-Bo Hu, Ming-Ming Kang, Hai-** Li, Chen Liu, Mao-Yuan Liu, Wei Liu, Fang-Sheng Min, Chu-Cheng Pan, Bing-Qiang Qiao, Xiang-Li Qian, Hui-Ying Sun, Yu-Chang Sun, Ao-Bo Wang, Xu Wang, Zhen Wang, Guang-Guang Xin , et al. (3 additional authors not shown)

Abstract: The HADAR experiment, which will be constructed in Tibet, China, combines the wide-angle advantages of traditional EAS array detectors with the high sensitivity advantages of focused Cherenkov detectors. Its physics objective is to observe transient sources such as gamma-ray bursts and counterparts of gravitational waves. The aim of this study is to utilize the latest AI technology to enhance the… ▽ More The HADAR experiment, which will be constructed in Tibet, China, combines the wide-angle advantages of traditional EAS array detectors with the high sensitivity advantages of focused Cherenkov detectors. Its physics objective is to observe transient sources such as gamma-ray bursts and counterparts of gravitational waves. The aim of this study is to utilize the latest AI technology to enhance the sensitivity of the HADAR experiment. We have built training datasets and models with distinctive creativity by incorporating relevant physical theories for various applications. They are able to determine the kind, energy, and direction of incident particles after careful design. We have obtained a background identification accuracy of 98.6%, a relative energy reconstruction error of 10.0%, and an angular resolution of 0.22-degrees in a test dataset at 10 TeV. These findings demonstrate the enormous potential for enhancing the precision and dependability of detector data analysis in astrophysical research. Thanks to deep learning techniques, the HADAR experiment's observational sensitivity to the Crab Nebula has surpassed that of MAGIC and H.E.S.S. at energies below 0.5 TeV and remains competitive with conventional narrow-field Cherenkov telescopes at higher energies. Additionally, our experiment offers a fresh approach to dealing with strongly connected scattered data. △ Less

Submitted 11 October, 2023; v1 submitted 30 September, 2023; originally announced October 2023.

Inverting the General Order Sweep Map

Authors: Ying Wang, Guoce Xin, Yingrui Zhang

Abstract: Building upon the foundational work of Thomas and Williams on the modular sweep map, Garsia and Xin have developed a straightforward algorithm for the inversion of the sweep map on rational $(m,n)$-Dyck paths, where $(m,n)$ represents coprime pairs of integers. Our research reveals that their innovative approach readily generalizes to encompass a broader spectrum of Dyck paths. To this end, we int… ▽ More Building upon the foundational work of Thomas and Williams on the modular sweep map, Garsia and Xin have developed a straightforward algorithm for the inversion of the sweep map on rational $(m,n)$-Dyck paths, where $(m,n)$ represents coprime pairs of integers. Our research reveals that their innovative approach readily generalizes to encompass a broader spectrum of Dyck paths. To this end, we introduce a family of Order sweep maps applicable to general Dyck paths, which are differentiated by their respective sweep orders at level $0$. We demonstrate that each of these Order sweep maps constitutes a bijective transformation. Our findings encapsulate the sweep maps for both general Dyck paths and their incomplete counterparts as specific instances within this more extensive framework. △ Less

Submitted 27 June, 2024; v1 submitted 28 July, 2023; originally announced July 2023.

Algebraic Volume for Polytope Arise from Ehrhart Theory

Authors: Guoce Xin, Xinyu Xu, Yingrui Zhang, Zihao Zhang

Abstract: Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $ \mathrm{cone}(\mathcal{P})$ as a lift of $\mathcal{P}$ in view of Ehrhart theory. By using technique from algebraic combinatorics, we obtain a volume algorithm using only signed simplic… ▽ More Volume computation for $d$-polytopes $\mathcal{P}$ is fundamental in mathematics. There are known volume computation algorithms, mostly based on triangulation or signed-decomposition of $\mathcal{P}$. We consider $ \mathrm{cone}(\mathcal{P})$ as a lift of $\mathcal{P}$ in view of Ehrhart theory. By using technique from algebraic combinatorics, we obtain a volume algorithm using only signed simplicial cone decompositions of $ \mathrm{cone}(¶)$. Each cone is associated with a simple algebraic volume formula. Summing them gives the volume of the polytope. Our volume formula applies to various kind of cases. In particular, we use it to explain the traditional triangulation method and Lawrence's signed decomposition method. Moreover, we give a completely new primal-dual method for volume computation. This solves the traditional problem in this area: All existing methods are hopelessly impractical for either the class of simple polytopes or the class of simplicial polytopes. Our method has a good performance in computer experiments. △ Less

Submitted 8 January, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: 26 pages, 4 figures

MSC Class: 05A15; 52B05; 68U05; 52B11

A Note on Generalized Repunit Numerical Semigroups

Authors: Feihu Liu, Guoce Xin, Suting Ye, **g**g Yin

Abstract: Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this note, w… ▽ More Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this note, we study the Frobenius problem of $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$ and obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1$. Our formulas simplifies further for some special cases, such as repunit, Mersenne and Thabit numerical semigroups. The idea is similar to that in [\cite{LiuXin23},arXiv:2306.03459]. △ Less

Submitted 19 June, 2023; originally announced June 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2306.03459

A Combinatorial Model of Numerical Semigroup

Authors: Feihu Liu, Guoce Xin, Suting Ye, **g**g Yin

Abstract: Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this paper,… ▽ More Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $F(A)$ is the largest integer not belonging to the numerical semigroup $\langle A\rangle$ generated by $A$. The genus $g(A)$ is the number of positive integer elements that are not in $\langle A\rangle$. The Frobenius problem is to find $F(A)$ and $g(A)$ for a given sequence $A$. In this paper, we study the Frobenius problem of $A=\left(a,h_1a+b_1d,h_2a+b_2d,...,h_ka+b_kd\right)$ with some restrictions. An innovation is that $d$ can be a negative integer. In particular, when $A=\left(a,ba+d,b^2a+\frac{b^2-1}{b-1}d,...,b^ka+\frac{b^k-1}{b-1}d\right)$, we obtain formulas for $F(A)$ and $g(A)$ when $a\geq k-1-\frac{d-1}{b-1}$. Our formulas simplifies further for some special cases, such as Mersenne, Thabit and repunit numerical semigroups. We obtain explicit closed formulas for generalized Mersenne, Thabit and repunit numerical semigroups and some more general numerical semigroups. Finally, we partially solve an open problem for the Porth numerical semigroup. △ Less

Submitted 7 December, 2023; v1 submitted 6 June, 2023; originally announced June 2023.

The First LHAASO Catalog of Gamma-Ray Sources

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: We present the first catalog of very-high energy and ultra-high energy gamma-ray sources detected by the Large High Altitude Air Shower Observatory (LHAASO). The catalog was compiled using 508 days of data collected by the Water Cherenkov Detector Array (WCDA) from March 2021 to September 2022 and 933 days of data recorded by the Kilometer Squared Array (KM2A) from January 2020 to September 2022.… ▽ More We present the first catalog of very-high energy and ultra-high energy gamma-ray sources detected by the Large High Altitude Air Shower Observatory (LHAASO). The catalog was compiled using 508 days of data collected by the Water Cherenkov Detector Array (WCDA) from March 2021 to September 2022 and 933 days of data recorded by the Kilometer Squared Array (KM2A) from January 2020 to September 2022. This catalog represents the main result from the most sensitive large coverage gamma-ray survey of the sky above 1 TeV, covering declination from $-$20$^{\circ}$ to 80$^{\circ}$. In total, the catalog contains 90 sources with an extended size smaller than $2^\circ$ and a significance of detection at $> 5σ$. Based on our source association criteria, 32 new TeV sources are proposed in this study. Among the 90 sources, 43 sources are detected with ultra-high energy ($E > 100$ TeV) emission at $> 4σ$ significance level. We provide the position, extension, and spectral characteristics of all the sources in this catalog. △ Less

Submitted 27 November, 2023; v1 submitted 26 May, 2023; originally announced May 2023.

Comments: 40 pages, 13 figures, 4 tables

Journal ref: The Astrophysical Journal Supplement Series, 271 (2024) 25

Measurement of ultra-high-energy diffuse gamma-ray emission of the Galactic plane from 10 TeV to 1 PeV with LHAASO-KM2A

Authors: Zhen Cao, F. Aharonian, Q. An, Axikegu, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Q. Cao, W. Y. Cao, Zhe Cao, J. Chang, J. F. Chang, A. M. Chen, E. S. Chen, Liang Chen, Lin Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen, S. H. Chen, S. Z. Chen , et al. (255 additional authors not shown)

Abstract: The diffuse Galactic $γ$-ray emission, mainly produced via interactions between cosmic rays and the interstellar medium and/or radiation field, is a very important probe of the distribution, propagation, and interaction of cosmic rays in the Milky Way. In this work we report the measurements of diffuse $γ$-rays from the Galactic plane between 10 TeV and 1 PeV energies, with the square kilometer ar… ▽ More The diffuse Galactic $γ$-ray emission, mainly produced via interactions between cosmic rays and the interstellar medium and/or radiation field, is a very important probe of the distribution, propagation, and interaction of cosmic rays in the Milky Way. In this work we report the measurements of diffuse $γ$-rays from the Galactic plane between 10 TeV and 1 PeV energies, with the square kilometer array of the Large High Altitude Air Shower Observatory (LHAASO). Diffuse emissions from the inner ($15^{\circ}<l<125^{\circ}$, $|b|<5^{\circ}$) and outer ($125^{\circ}<l<235^{\circ}$, $|b|<5^{\circ}$) Galactic plane are detected with $29.1σ$ and $12.7σ$ significance, respectively. The outer Galactic plane diffuse emission is detected for the first time in the very- to ultra-high-energy domain ($E>10$~TeV). The energy spectrum in the inner Galaxy regions can be described by a power-law function with an index of $-2.99\pm0.04$, which is different from the curved spectrum as expected from hadronic interactions between locally measured cosmic rays and the line-of-sight integrated gas content. Furthermore, the measured flux is higher by a factor of $\sim3$ than the prediction. A similar spectrum with an index of $-2.99\pm0.07$ is found in the outer Galaxy region, and the absolute flux for $10\lesssim E\lesssim60$ TeV is again higher than the prediction for hadronic cosmic ray interactions. The latitude distributions of the diffuse emission are consistent with the gas distribution, while the longitude distributions show clear deviation from the gas distribution. The LHAASO measurements imply that either additional emission sources exist or cosmic ray intensities have spatial variations. △ Less

Submitted 19 August, 2023; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: 12 pages, 8 figures, 5 tables; accepted for publication in Physical Review Letters; source mask file provided as ancillary file

Journal ref: Phys. Rev. Lett. 131, 151001 (2023)

Fast Evaluation of Generalized Todd Polynomials: Applications to MacMahon's Partition Analysis and Integer Programming

Authors: Guoce Xin, Yingrui Zhang, ZiHao Zhang

Abstract: The Todd polynomials $td_k=td_k(b_1,b_2,\dots,b_m)$ are defined by their generating functions $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ It appears as a basic block in Todd class of a toric variety, which is important in the theory of lattice polytopes and in number theory. We find generalized Todd polynomials arise naturally in MacMahon's partition analysis, especially… ▽ More The Todd polynomials $td_k=td_k(b_1,b_2,\dots,b_m)$ are defined by their generating functions $$\sum_{k\ge 0} td_k s^k = \prod_{i=1}^m \frac{b_i s}{e^{b_i s}-1}.$$ It appears as a basic block in Todd class of a toric variety, which is important in the theory of lattice polytopes and in number theory. We find generalized Todd polynomials arise naturally in MacMahon's partition analysis, especially in Ehrhart series computation. We give fast evaluation of generalized Todd polynomials for numerical $b_i$'s. In order to do so, we develop fast operations in the quotient ring $\mathbb{Z}_p[[s]]$ modulo $s^{d+1}$ for large prime $p$. As applications, i) we recompute the Ehrhart series of magic squares of order 6, which was first solved by the first named author. The running time is reduced from $70$ days to about $1$ day; ii) we give a polynomial time algorithm for Integer Linear Programming when the dimension is fixed, with a good performance. △ Less

Submitted 8 January, 2024; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 24 pages, 1 figure

MSC Class: Primary 05-04; Secondary 05E14; 05A15

The Frobenius Formula for $A=(a,ha+d,ha+b_2d,...,ha+b_kd)$

Authors: Feihu Liu, Guoce Xin, Suting Ye, **g**g Yin

Abstract: Given relative prime positive integers $A=(a_1, a_2, ..., a_n)$, the Frobenius number $g(A)$ is the largest integer not representable as a linear combination of the $a_i$'s with nonnegative integer coefficients. We find the ``Stable" property introduced for the square sequence $A=(a,a+1,a+2^2,\dots, a+k^2)$ naturally extends for $A(a)=(a,ha+dB)=(a,ha+d,ha+b_2d,...,ha+b_kd)$. This gives a parallel… ▽ More Given relative prime positive integers $A=(a_1, a_2, ..., a_n)$, the Frobenius number $g(A)$ is the largest integer not representable as a linear combination of the $a_i$'s with nonnegative integer coefficients. We find the ``Stable" property introduced for the square sequence $A=(a,a+1,a+2^2,\dots, a+k^2)$ naturally extends for $A(a)=(a,ha+dB)=(a,ha+d,ha+b_2d,...,ha+b_kd)$. This gives a parallel characterization of $g(A(a))$ as a ``congruence class function" modulo $b_k$ when $a$ is large enough. For orderly sequence $B=(1,b_2,\dots,b_k)$, we find good bound for $a$. In particular we calculate $g(a,ha+dB)$ for $B=(1,2,b,b+1)$, $B=(1,2,b,b+1,2b)$, $B=(1,b,2b-1)$ and $B=(1,2,...,k,K)$. Our idea also applies to the case $B=(b_1,b_2,...,b_k)$, $b_1> 1$. △ Less

Submitted 26 April, 2023; v1 submitted 18 April, 2023; originally announced April 2023.

Prospects for detection rate of very-high-energy γ-ray emissions from short γ-ray bursts with the HADAR experiment

Authors: Qi-Ling Chen, Pei-** Hu, **g-**g Su, Ming-Ming Kang, Yi-Qing Guo, Tian-Lu Chen, Dan-Zeng Luo-Bu, Yu-fan Fan, You-Liang Feng, Qi Gao, Quan-Bu Gou, Hong-Bo Hu, Hai-** Li, Cheng Liu, Mao-Yuan Liu, Wei Liu, Xiang-Li Qian, Bing-Qiang Qiao, Hui-Ying Sun, Xu Wang, Zhen Wang, Guang-Guang Xin, Yu-Hua Yao, Qiang Yuan, Yi Zhang

Abstract: The observation of short gamma ray bursts (SGRBs) in the TeV energy range plays an important role in understanding the radiation mechanism and probing new areas of physics such as Lorentz invariance violation. However, no SGRB has been observed in this energy range due to the short duration of SGRBs and the weakness of current experiments. New experiments with new technology are required to detect… ▽ More The observation of short gamma ray bursts (SGRBs) in the TeV energy range plays an important role in understanding the radiation mechanism and probing new areas of physics such as Lorentz invariance violation. However, no SGRB has been observed in this energy range due to the short duration of SGRBs and the weakness of current experiments. New experiments with new technology are required to detect sub-TeV SGRBs. In this work, we observe the very high energy (VHE) $γ$-ray emissions from SGRBs and calculate the annual detection rate with the High Altitude Detection of Astronomical Radiation HADAR (HADAR) experiment. First, a set of pseudo-SGRB samples is generated and checked using the observations of Fermi-GBM, Fermi-LAT, and SWIFT measurements. The annual detection rate is calculated from these SGRB samples based on the performance of the HADAR instrument. As a result, the HADAR experiment can detect 0.5 SGRB per year if the spectral break-off of $γ$-rays caused by the internal absorption is larger than 100 GeV. For a GRB09010-like GRB in HADAR's view, it should be possible to detect approximately 2000 photons considering the internal absorption. With a time delay assumption due to the Lorentz invariance violation effects, a simulated light curve of GRB090510 has evident energy dependence. We hope that the HADAR experiment can perform the SGRB observations and test our calculations in the future. △ Less

Submitted 3 April, 2023; v1 submitted 27 March, 2023; originally announced March 2023.

Journal ref: Chin. Phys. C 47, 095001 (2023)

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Authors: Feihu Liu, Guoce Xin

Abstract: Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem.… ▽ More Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$. △ Less

Submitted 13 March, 2023; originally announced March 2023.

A polynomial time algorithm for calculating Fourier-Dedekind sums

Authors: Guoce Xin, Xinyu Xu

Abstract: We solve an open problem proposed in the book ``Computing the continuous discretely" written by Matthias Beck and Sinai Robins. That is, we proposed a polynomial time algorithm for calculating Fourier-Dedekind sums. The algorithm is simple modular Barvinok's simplicial cone decomposition. It can be easily adapted into De Leora et. al.'s LattE package, which gives a nice implimentation of Barvinok'… ▽ More We solve an open problem proposed in the book ``Computing the continuous discretely" written by Matthias Beck and Sinai Robins. That is, we proposed a polynomial time algorithm for calculating Fourier-Dedekind sums. The algorithm is simple modular Barvinok's simplicial cone decomposition. It can be easily adapted into De Leora et. al.'s LattE package, which gives a nice implimentation of Barvinok's polynomial time algorithm. △ Less

Submitted 2 March, 2023; originally announced March 2023.

Comments: 4 pages

MSC Class: Primary 11F20; Secondary 11Y16; 05A15; 11L03

Two-Color Attosecond Chronoscope

Authors: J. N. Wu, J. Y. Che, F. B. Zhang, C. Chen, W. Y. Li, G. G. Xin, Y. J. Chen

Abstract: We study ionization of atoms in strong orthogonal two-color ($ω,2ω$) (OTC) laser fields numerically and analytically. The calculated photoelectron momentum distribution shows two typical structures: a rectangular-like structure and a shoulder-like structure, the positions of which depend on the laser parameters. Using a strong-field model which allows us to quantitatively evaluate the Coulomb effe… ▽ More We study ionization of atoms in strong orthogonal two-color ($ω,2ω$) (OTC) laser fields numerically and analytically. The calculated photoelectron momentum distribution shows two typical structures: a rectangular-like structure and a shoulder-like structure, the positions of which depend on the laser parameters. Using a strong-field model which allows us to quantitatively evaluate the Coulomb effect, we show that these two structures arise from attosecond response of electron inside an atom to light in OTC-induced photoemission. Some simple map**s between the locations of these structures and response time are derived, with which we are able to establish two-color attosecond chronoscope with high resolution for timing electron emission in OTC-based precise manipulation. △ Less

Submitted 28 January, 2023; originally announced January 2023.

Comments: 6 pages, 3 figures. arXiv admin note: text overlap with arXiv:2212.09886, arXiv:2301.00619

Response time of electron inside a molecule to light in strong-field ionization

Authors: J. Y. Che, Y. G. Peng, F. B. Zhang, X. J. Xie, G. G. Xin, Y. J. Chen

Abstract: We study ionization of aligned H$_2^+$ in strong elliptically-polarized laser fields numerically and analytically. The calculated offset angle in photoelectron momentum distribution is several degrees larger for the molecule than a model atom with similar ionization potential at diverse laser parameters. Using a strong-field model that considers the properties of multi-center and single-center Cou… ▽ More We study ionization of aligned H$_2^+$ in strong elliptically-polarized laser fields numerically and analytically. The calculated offset angle in photoelectron momentum distribution is several degrees larger for the molecule than a model atom with similar ionization potential at diverse laser parameters. Using a strong-field model that considers the properties of multi-center and single-center Coulomb potentials, we are able to quantitatively reproduce this angle difference between the molecule and the atom. Further analyses based on this model show that the response time of electron to light which is encoded in the offset angle and is manifested as the time spent in tunneling ionization, is about 15 attoseconds longer for the molecule than the atom. This time difference is further enlarged when increasing the internuclear distance of the molecule. △ Less

Submitted 2 January, 2023; originally announced January 2023.

Comments: 7 pages,4 figures. arXiv admin note: substantial text overlap with arXiv:2212.09886

Roles of laser ellipticity in attoclock

Authors: J. Y. Che, J. Y. Huang, F. B. Zhang, C. Chen, G. G. Xin, Y. J. Chen

Abstract: We study ionization of atoms in strong elliptically-polarized laser fields numerically and analytically. We focus on effects of laser ellipticity on the offset angle in photoelectron momentum distribution. This angle is considered to encode time information of tunneling ionization in attoclock experiments. The calculated offset angle increases with the decrease of ellipticity but the momentum alon… ▽ More We study ionization of atoms in strong elliptically-polarized laser fields numerically and analytically. We focus on effects of laser ellipticity on the offset angle in photoelectron momentum distribution. This angle is considered to encode time information of tunneling ionization in attoclock experiments. The calculated offset angle increases with the decrease of ellipticity but the momentum along the major axis of laser polarization related to this angle changes slowly, in agreement with experiments. With a Coulomb-included strong-field model, the scaling laws for ellipticity dependence of this angle and relevant momentum components are obtained, and the ellipticity dependence of Coulomb-induced ionization time lag encoded in this angle is also addressed. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 7 pages, 4 figures

Coulomb scattering inducing time lag in strong-field tunneling ionization

Authors: Y. G. Peng, J. Y. Che, C. Chen, G. G. Xin, Y. J. Chen

Abstract: We study ionization of atoms in strong elliptically-polarized laser fields. We focus on the physical origin of the offset angle in the photoelectron momentum distribution and its possible relation to a specific time. By develo** a model which is based on strong-field approximation and considers the classical Coulomb scattering, we are able to quantitatively explain recent attoclock experiments i… ▽ More We study ionization of atoms in strong elliptically-polarized laser fields. We focus on the physical origin of the offset angle in the photoelectron momentum distribution and its possible relation to a specific time. By develo** a model which is based on strong-field approximation and considers the classical Coulomb scattering, we are able to quantitatively explain recent attoclock experiments in a wide region of laser and atomic parameters. The offset angle can be understood as arising from the scattering of the electron by the ionic potential when the electron exits the laser-Coulomb-formed barrier through tunneling. The scattering time is manifested as the Coulomb-induced ionization time lag and is encoded in the offset angle. △ Less

Submitted 9 December, 2022; originally announced December 2022.

Comments: 5 pages, 4 figures

Single-shot Foothold Selection and Constraint Evaluation for Quadruped Locomotion

Authors: D. Belter, J. Bednarek, H. -C. Lin, G. Xin, M. Mistry

Abstract: In this paper, we propose a method for selecting the optimal footholds for legged systems. The goal of the proposed method is to find the best foothold for the swing leg on a local elevation map. We apply the Convolutional Neural Network to learn the relationship between the local elevation map and the quality of potential footholds. The proposed network evaluates the geometrical characteristics o… ▽ More In this paper, we propose a method for selecting the optimal footholds for legged systems. The goal of the proposed method is to find the best foothold for the swing leg on a local elevation map. We apply the Convolutional Neural Network to learn the relationship between the local elevation map and the quality of potential footholds. The proposed network evaluates the geometrical characteristics of each cell on the elevation map, checks kinematic constraints and collisions. During execution time, the controller obtains the qualitative measurement of each potential foothold from the neural model. This method allows to evaluate hundreds of potential footholds and check multiple constraints in a single step which takes 10~ms on a standard computer without GPGPU. The experiments were carried out on a quadruped robot walking over rough terrain in both simulation and real robotic platforms. △ Less

Submitted 1 December, 2022; originally announced December 2022.

Journal ref: IEEE, Proceedings of the 2019 International Conference on Robotics and Automation (ICRA), 2019, pp. 7441-7447

Symmetric function generalizations of the $q$-Baker--Forrester ex-conjecture and Selberg-type integrals

Authors: Guoce Xin, Yue Zhou

Abstract: It is well-known that the famous Selberg integral is equivalent to the Morris constant term identity. In 1998, Baker and Forrester conjectured a generalization of the $q$-Morris constant term identity. This conjecture was proved and extended by Károlyi, Nagy, Petrov and Volkov in 2015. In this paper, we obtain two symmetric function generalizations of the $q$-Baker--Forrester ex-conjecture. These… ▽ More It is well-known that the famous Selberg integral is equivalent to the Morris constant term identity. In 1998, Baker and Forrester conjectured a generalization of the $q$-Morris constant term identity. This conjecture was proved and extended by Károlyi, Nagy, Petrov and Volkov in 2015. In this paper, we obtain two symmetric function generalizations of the $q$-Baker--Forrester ex-conjecture. These includes: (i) a $q$-Baker--Forrester type constant term identity for a product of a complete symmetric function and a Macdonald polynomial; (ii) a complete symmetric function generalization of KNPV's result. △ Less

Submitted 24 October, 2022; originally announced October 2022.

Comments: 63 pages. arXiv admin note: text overlap with arXiv:2210.13245

MSC Class: 05A30; 33D70; 05E05

EXK-SC: A Semantic Communication Model Based on Information Framework Expansion and Knowledge Collision

Authors: Gangtao Xin, **yi Fan

Abstract: Semantic communication is not focused on improving the accuracy of transmitted symbols, but is concerned with expressing the expected meaning that the symbol sequence exactly carries. However, the measurement of semantic messages and their corresponding codebook generation are still open issues. Expansion, which integrates simple things into a complex system and even generates intelligence, is tru… ▽ More Semantic communication is not focused on improving the accuracy of transmitted symbols, but is concerned with expressing the expected meaning that the symbol sequence exactly carries. However, the measurement of semantic messages and their corresponding codebook generation are still open issues. Expansion, which integrates simple things into a complex system and even generates intelligence, is truly consistent with the evolution of the human language system. We apply this idea to the semantic communication system, quantifying semantic transmission by symbol sequences and investigating the semantic information system in a similar way as Shannon's method for digital communication systems. This work is the first to discuss semantic expansion and knowledge collision in the semantic information framework. Some important theoretical results are presented, including the relationship between semantic expansion and the transmission information rate. We believe such a semantic information framework may provide a new paradigm for semantic communications, and semantic expansion and knowledge collision will be the cornerstone of semantic information theory. △ Less

Submitted 21 December, 2022; v1 submitted 24 October, 2022; originally announced October 2022.

On Frobenius Formulas of Power Sequences

Authors: Feihu Liu, Guoce Xin

Abstract: Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method… ▽ More Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions. △ Less

Submitted 26 June, 2024; v1 submitted 6 October, 2022; originally announced October 2022.

Comments: 16 pages 2 tables

MSC Class: 11D07; 05A15; 05A17; 11B75; 11D04; 11P81

The constant term algebra of type $A$: the Structure

Authors: Guoce Xin, Chen Zhang, Yue Zhou, Yueming Zhong

Abstract: In this paper, we discover a new noncommutative algebra. We refer this algebra as the constant term algebra of type $A$, which is generated by certain constant term operators. We characterize a structural result of this algebra by establishing an explicit basis in terms of certain forests. This algebra arises when we apply the method of the iterated Laurent series to investigate Beck and Pixton's… ▽ More In this paper, we discover a new noncommutative algebra. We refer this algebra as the constant term algebra of type $A$, which is generated by certain constant term operators. We characterize a structural result of this algebra by establishing an explicit basis in terms of certain forests. This algebra arises when we apply the method of the iterated Laurent series to investigate Beck and Pixton's residue computation for the Ehrhart series of the Birkhoff polytope. This algebra seems to be the first structural result in the area of the constant term world since the discovery of the Dyson constant term identity in 1962. △ Less

Submitted 3 May, 2023; v1 submitted 30 September, 2022; originally announced September 2022.

Comments: 28 pages, 4 figures

MSC Class: Primary 08A05; Secondary 47C05; 05A19

Prospective Study on Observations of γ-Ray Sources in the Galaxy Using the HADAR Experiment

Authors: Xiangli Qian, Huiying Sun, Tianlu Chen, Danzengluobu, Youliang Feng, Qi Gao, Quanbu Gou, Yiqing Guo, Hongbo Hu, Mingming Kang, Hai** Li, Cheng Liu, Maoyuan Liu, Wei Liu, Bingqiang Qiao, Xu Wang, Zhen Wang, Guangguang Xin, Yuhua Yao, Qiang Yuan, Yi Zhang

Abstract: The High Altitude Detection of Astronomical Radiation (HADAR) experiment is a refracting terrestrial telescope array based on the atmospheric Cherenkov imaging technique. It focuses the Cherenkov light emitted by extensive air showers through a large aperture water-lens system for observing very-high-energy-rays and cosmic rays. With the advantages of a large field-of-view (FOV) and low energy thr… ▽ More The High Altitude Detection of Astronomical Radiation (HADAR) experiment is a refracting terrestrial telescope array based on the atmospheric Cherenkov imaging technique. It focuses the Cherenkov light emitted by extensive air showers through a large aperture water-lens system for observing very-high-energy-rays and cosmic rays. With the advantages of a large field-of-view (FOV) and low energy threshold, the HADAR experiment operates in a large-scale sky scanning mode to observe galactic sources. This study presents the prospects of using the HADAR experiment for the sky survey of TeV γ-ray sources from TeVCat and provids a one-year survey of statistical significance. Results from the simulation show that a total of 23 galactic point sources, including five supernova remnant sources and superbubbles, four pulsar wind nebula sources, and 14 unidentified sources, were detected in the HADAR FOV with a significance greater than 5 standard deviations (σ). The statistical significance for the Crab Nebula during one year of operation reached 346.0 σ and the one-year integral sensitivity of HADAR above 1TeV was ~1.3%-2.4% of the flux from the Crab Nebula. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Imaginary coupling induced Dirac points and group velocity control in non-reciprocal Hermitian Lattice

Authors: Yuandan Wang, Junhao Yang, Yu Dang, Haohao Wang, Guoguo Xin, Xinyuan Qi

Abstract: We propose a mechanism to achieve the group velocity control of bifurcation light via an imaginary coupling effect in the non-reciprocal lattice. The physical model is composed of two-layer photonic lattices with non-reciprocal coupling in each unit cell, which can support a real energy spectrum with a pair of Dirac points in the first Brillouin zone due to the Hermicity. Furthermore, we show that… ▽ More We propose a mechanism to achieve the group velocity control of bifurcation light via an imaginary coupling effect in the non-reciprocal lattice. The physical model is composed of two-layer photonic lattices with non-reciprocal coupling in each unit cell, which can support a real energy spectrum with a pair of Dirac points in the first Brillouin zone due to the Hermicity. Furthermore, we show that the systems experience topological phase transition at the Dirac points by tuning the coupling strength, allowing the existence of topological edge states on the left or right boundaries of respective lattice layers. By adjusting the imaginary coupling and the wave number, the group velocity of the light wave can be manipulated, and bifurcation light transmission can be achieved both at the Dirac points and the condition without the group velocity dispersion. Our work might guide the design of photonic directional couplers with group velocity control functions. △ Less

Submitted 2 September, 2022; v1 submitted 29 August, 2022; originally announced August 2022.

Flux Variations of Cosmic Ray Air Showers Detected by LHAASO-KM2A During a Thunderstorm on 10 June 2021

Authors: LHAASO Collaboration, F. Aharonian, Q. An, Axikegu, L. X. Bai, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, J. T. Cai, Zhe Cao, Zhen Cao, J. Chang, J. F. Chang, E. S. Chen, Liang Chen, Liang Chen, Long Chen, M. J. Chen, M. L. Chen, S. H. Chen, S. Z. Chen, T. L. Chen, X. J. Chen , et al. (248 additional authors not shown)

Abstract: The Large High Altitude Air Shower Observatory (LHAASO) has three sub-arrays, KM2A, WCDA and WFCTA. The flux variations of cosmic ray air showers were studied by analyzing the KM2A data during the thunderstorm on 10 June 2021. The number of shower events that meet the trigger conditions increases significantly in atmospheric electric fields, with maximum fractional increase of 20%. The variations… ▽ More The Large High Altitude Air Shower Observatory (LHAASO) has three sub-arrays, KM2A, WCDA and WFCTA. The flux variations of cosmic ray air showers were studied by analyzing the KM2A data during the thunderstorm on 10 June 2021. The number of shower events that meet the trigger conditions increases significantly in atmospheric electric fields, with maximum fractional increase of 20%. The variations of trigger rates (increases or decreases) are found to be strongly dependent on the primary zenith angle. The flux of secondary particles increases significantly, following a similar trend with that of the shower events. To better understand the observed behavior, Monte Carlo simulations are performed with CORSIKA and G4KM2A (a code based on GEANT4). We find that the experimental data (in saturated negative fields) are in good agreement with simulations, assuming the presence of a uniform upward electric field of 700 V/cm with a thickness of 1500 m in the atmosphere above the observation level. Due to the acceleration/deceleration and deflection by the atmospheric electric field, the number of secondary particles with energy above the detector threshold is modified, resulting in the changes in shower detection rate. △ Less

Submitted 6 December, 2022; v1 submitted 25 July, 2022; originally announced July 2022.

Comments: 18 pages, 11 figures

Journal ref: Chinese Phys. C 47 015001 (2023)

Why Shape Coding? Asymptotic Analysis of the Entropy Rate for Digital Images

Authors: Gangtao Xin, **yi Fan, Khaled B. Letaief

Abstract: This paper focuses on the ultimate limit theory of image compression. It proves that for an image source, there exists a coding method with shapes that can achieve the entropy rate under a certain condition where the shape-pixel ratio in the encoder/decoder is $O({1 \over {\log t}})$. Based on the new finding, an image coding framework with shapes is proposed and proved to be asymptotically optima… ▽ More This paper focuses on the ultimate limit theory of image compression. It proves that for an image source, there exists a coding method with shapes that can achieve the entropy rate under a certain condition where the shape-pixel ratio in the encoder/decoder is $O({1 \over {\log t}})$. Based on the new finding, an image coding framework with shapes is proposed and proved to be asymptotically optimal for stationary and ergodic processes. Moreover, the condition $O({1 \over {\log t}})$ of shape-pixel ratio in the encoder/decoder has been confirmed in the image database MNIST, which illustrates the soft compression with shape coding is a near-optimal scheme for lossless compression of images. △ Less

Submitted 27 December, 2022; v1 submitted 10 April, 2022; originally announced April 2022.

Journal ref: Entropy 2023, 25(1), 48

Agile Maneuvers in Legged Robots: a Predictive Control Approach

Authors: Carlos Mastalli, Wolfgang Merkt, Guiyang Xin, Jaehyun Shim, Michael Mistry, Ioannis Havoutis, Sethu Vijayakumar

Abstract: Planning and execution of agile locomotion maneuvers have been a longstanding challenge in legged robotics. It requires to derive motion plans and local feedback policies in real-time to handle the nonholonomy of the kinetic momenta. To achieve so, we propose a hybrid predictive controller that considers the robot's actuation limits and full-body dynamics. It combines the feedback policies with ta… ▽ More Planning and execution of agile locomotion maneuvers have been a longstanding challenge in legged robotics. It requires to derive motion plans and local feedback policies in real-time to handle the nonholonomy of the kinetic momenta. To achieve so, we propose a hybrid predictive controller that considers the robot's actuation limits and full-body dynamics. It combines the feedback policies with tactile information to locally predict future actions. It converges within a few milliseconds thanks to a feasibility-driven approach. Our predictive controller enables ANYmal robots to generate agile maneuvers in realistic scenarios. A crucial element is to track the local feedback policies as, in contrast to whole-body control, they achieve the desired angular momentum. To the best of our knowledge, our predictive controller is the first to handle actuation limits, generate agile locomotion maneuvers, and execute optimal feedback policies for low level torque control without the use of a separate whole-body controller. △ Less

Submitted 18 July, 2022; v1 submitted 14 March, 2022; originally announced March 2022.

Comments: 20 pages, 16 figures

Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials

Authors: Guoce Xin, Yueming Zhong

Abstract: In chemistry, Cyvin-Gutman enumerates Kekulé numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of… ▽ More In chemistry, Cyvin-Gutman enumerates Kekulé numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of weighted graphs, graph polytopes, magic labellings, and unit primitive matrices, studied by different authors. Several interesting conjectures were made on the OEIS. These conjectures are related to both the row and column generating function of $T(n,m)$. In this paper, give explicit formula of the column generating function, which is also the generating function $F(n,x)$ studied by Bóna, Ju, and Yoshida. We also get trig function representations by using Chebyshev polynomials of the second kind. This allows us to prove all these conjectures. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Comments: 28 pages,3 figures, 1 table

MSC Class: 05A15; 15A18; 05C78; 52B11

DegreEmbed: incorporating entity embedding into logic rule learning for knowledge graph reasoning

Authors: Haotian Li, Hongri Liu, Yao Wang, Guodong Xin, Yuliang Wei

Abstract: Knowledge graphs (KGs), as structured representations of real world facts, are intelligent databases incorporating human knowledge that can help machine imitate the way of human problem solving. However, KGs are usually huge and there are inevitably missing facts in KGs, thus undermining applications such as question answering and recommender systems that are based on knowledge graph reasoning. Li… ▽ More Knowledge graphs (KGs), as structured representations of real world facts, are intelligent databases incorporating human knowledge that can help machine imitate the way of human problem solving. However, KGs are usually huge and there are inevitably missing facts in KGs, thus undermining applications such as question answering and recommender systems that are based on knowledge graph reasoning. Link prediction for knowledge graphs is the task aiming to complete missing facts by reasoning based on the existing knowledge. Two main streams of research are widely studied: one learns low-dimensional embeddings for entities and relations that can explore latent patterns, and the other gains good interpretability by mining logical rules. Unfortunately, the heterogeneity of modern KGs that involve entities and relations of various types is not well considered in the previous studies. In this paper, we propose DegreEmbed, a model that combines embedding-based learning and logic rule mining for inferring on KGs. Specifically, we study the problem of predicting missing links in heterogeneous KGs from the perspective of the degree of nodes. Experimentally, we demonstrate that our DegreEmbed model outperforms the state-of-the-art methods on real world datasets and the rules mined by our model are of high quality and interpretability. △ Less

Submitted 26 June, 2023; v1 submitted 18 December, 2021; originally announced December 2021.

Comments: Accepted by Semantic Web Journal. arXiv admin note: text overlap with arXiv:2112.06189

An original model for multi-target learning of logical rules for knowledge graph reasoning

Authors: Yuliang Wei, Haotian Li, Guodong Xin, Yao Wang, Bailing Wang

Abstract: Large-scale knowledge graphs provide structured representations of human knowledge. However, as it is impossible to collect all knowledge, knowledge graphs are usually incomplete. Reasoning based on existing facts paves a way to discover missing facts. In this paper, we study the problem of learning logical rules for reasoning on knowledge graphs for completing missing factual triplets. Learning l… ▽ More Large-scale knowledge graphs provide structured representations of human knowledge. However, as it is impossible to collect all knowledge, knowledge graphs are usually incomplete. Reasoning based on existing facts paves a way to discover missing facts. In this paper, we study the problem of learning logical rules for reasoning on knowledge graphs for completing missing factual triplets. Learning logical rules equips a model with strong interpretability as well as the ability to generalize to similar tasks. We propose a model able to fully use training data which also considers multi-target scenarios. In addition, considering the deficiency in evaluating the performance of models and the quality of mined rules, we further propose two novel indicators to help with the problem. Experimental results empirically demonstrate that our model outperforms state-of-the-art methods on five benchmark datasets. The results also prove the effectiveness of the indicators. △ Less

Submitted 14 July, 2022; v1 submitted 12 December, 2021; originally announced December 2021.

Proof of a Conjecture on Hankel Determinants for Dyck Paths with Restricted Peak Heights

Authors: Guoce Xin, Zihao Zhang

Abstract: For any integer $m\geq 2$ and $r \in \{1,\dots, m\}$, let $f_n^{m,r}$ denote the number of $n$-Dyck paths whose peak's heights are $im+r$ for some integer $i$. We find the generating function of $f_n^{m,r}$ satisfies a simple algebraic functional equation of degree $2$. The $r=m$ case is particularly nice and we give a combinatorial proof. By using the Sulanke and Xin's continued fraction method,… ▽ More For any integer $m\geq 2$ and $r \in \{1,\dots, m\}$, let $f_n^{m,r}$ denote the number of $n$-Dyck paths whose peak's heights are $im+r$ for some integer $i$. We find the generating function of $f_n^{m,r}$ satisfies a simple algebraic functional equation of degree $2$. The $r=m$ case is particularly nice and we give a combinatorial proof. By using the Sulanke and Xin's continued fraction method, we calculate the Hankel determinants for $f_n^{m,r}$. The special case $r=m$ of our result solves a conjecture proposed by Chien, Eu and Fu. We also enriched the class of eventually periodic Hankel determinant sequences. △ Less

Submitted 11 December, 2021; originally announced December 2021.

Encouraging Disentangled and Convex Representation with Controllable Interpolation Regularization

Authors: Yunhao Ge, Zhi Xu, Yao Xiao, Gan Xin, Yunkui Pang, Laurent Itti

Abstract: We focus on controllable disentangled representation learning (C-Dis-RL), where users can control the partition of the disentangled latent space to factorize dataset attributes (concepts) for downstream tasks. Two general problems remain under-explored in current methods: (1) They lack comprehensive disentanglement constraints, especially missing the minimization of mutual information between diff… ▽ More We focus on controllable disentangled representation learning (C-Dis-RL), where users can control the partition of the disentangled latent space to factorize dataset attributes (concepts) for downstream tasks. Two general problems remain under-explored in current methods: (1) They lack comprehensive disentanglement constraints, especially missing the minimization of mutual information between different attributes across latent and observation domains. (2) They lack convexity constraints, which is important for meaningfully manipulating specific attributes for downstream tasks. To encourage both comprehensive C-Dis-RL and convexity simultaneously, we propose a simple yet efficient method: Controllable Interpolation Regularization (CIR), which creates a positive loop where disentanglement and convexity can help each other. Specifically, we conduct controlled interpolation in latent space during training, and we reuse the encoder to help form a 'perfect disentanglement' regularization. In that case, (a) disentanglement loss implicitly enlarges the potential understandable distribution to encourage convexity; (b) convexity can in turn improve robust and precise disentanglement. CIR is a general module and we merge CIR with three different algorithms: ELEGANT, I2I-Dis, and GZS-Net to show the compatibility and effectiveness. Qualitative and quantitative experiments show improvement in C-Dis-RL and latent convexity by CIR. This further improves downstream tasks: controllable image synthesis, cross-modality image translation, and zero-shot synthesis. △ Less

Submitted 23 March, 2022; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: 17 pages, 19 figure (including appendix)

Response time of photoemission at quantum-classic boundary

Authors: C. Chen, J. Y. Che, W. Y. Li, S. Wang, X. J. Xie, J. Y. Huang, Y. G. Peng, G. G. Xin, Y. J. Chen

Abstract: The response time of the electron to light in photoemission is difficult to define and measure. Tunneling ionization of atoms, a strong-laser-induced photoemission process, provides a semiclassical case for visiting the problem. Here, we show that the response time can be determined at the boundary between quantum and classic. Specifically, tunneling is instantaneous but a finite response time (ab… ▽ More The response time of the electron to light in photoemission is difficult to define and measure. Tunneling ionization of atoms, a strong-laser-induced photoemission process, provides a semiclassical case for visiting the problem. Here, we show that the response time can be determined at the boundary between quantum and classic. Specifically, tunneling is instantaneous but a finite response time (about 100 attoseconds) is needed for the state of the tunneling electron to evolve into the ionized state around tunnel exit. This time can be well described with a compact expression related to some basic laser and atomic parameters. Moreover, it can be directly mapped to and easily decoded from photoelectron momentum with a simple map**, allowing an unambiguous measurement. These results shed light on definition and measurement of the response time of photoemission. △ Less

Submitted 19 December, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: 11 pages, 8 figures. We have changed the title, reorganized this article, and replaced or deleted some of the data plots, but the main conclusions remain unchanged

Peta-electron volt gamma-ray emission from the Crab Nebula

Authors: The LHAASO Collaboration, Zhen Cao, F. Aharonian, Q. An, Axikegu, L. X. Bai, Y. X. Bai, Y. W. Bao, D. Bastieri, X. J. Bi, Y. J. Bi, H. Cai, J. T. Cai, Zhe Cao, J. Chang, J. F. Chang, B. M. Chen, E. S. Chen, J. Chen, Liang Chen, Liang Chen, Long Chen, M. J. Chen, M. L. Chen, Q. H. Chen , et al. (250 additional authors not shown)

Abstract: The Crab pulsar and the surrounding nebula powered by the pulsar's rotational energy through the formation and termination of a relativistic electron-positron wind is a bright source of gamma-rays carrying crucial information about this complex conglomerate. We report the detection of $γ$-rays with a spectrum showing gradual steepening over three energy decades, from $5\times 10^{-4}$ to $1.1$ pet… ▽ More The Crab pulsar and the surrounding nebula powered by the pulsar's rotational energy through the formation and termination of a relativistic electron-positron wind is a bright source of gamma-rays carrying crucial information about this complex conglomerate. We report the detection of $γ$-rays with a spectrum showing gradual steepening over three energy decades, from $5\times 10^{-4}$ to $1.1$ petaelectronvolt (PeV). The ultra-high-energy photons exhibit the presence of a PeV electron accelerator (a pevatron) with an acceleration rate exceeding 15% of the absolute theoretical limit. Assuming that unpulsed $γ$-rays are produced at the termination of the pulsar's wind, we constrain the pevatron's size, between $0.025$ and $0.1$ pc, and the magnetic field $\approx 110 μ$G. The production rate of PeV electrons, $2.5 \times 10^{36}$ erg $\rm s^{-1}$, constitutes 0.5% of the pulsar's spin-down luminosity, although we do not exclude a non-negligible contribution of PeV protons to the production of the highest energy $γ$-rays. △ Less

Submitted 11 November, 2021; originally announced November 2021.

Comments: 43 pages, 13 figures, 2 tables; Published in Science

Journal ref: Science, 2021, Vol 373, Issue 6553, pp. 425-430

A Unified Model with Inertia Sha** for Highly Dynamic Jumps of Legged Robots

Authors: Ke Wang, Guiyang Xin, Songyan Xin, Michael Mistry, Sethu Vijayakumar, Petar Kormushev

Abstract: To achieve highly dynamic jumps of legged robots, it is essential to control the rotational dynamics of the robot. In this paper, we aim to improve the jum** performance by proposing a unified model for planning highly dynamic jumps that can approximately model the centroidal inertia. This model abstracts the robot as a single rigid body for the base and point masses for the legs. The model is c… ▽ More To achieve highly dynamic jumps of legged robots, it is essential to control the rotational dynamics of the robot. In this paper, we aim to improve the jum** performance by proposing a unified model for planning highly dynamic jumps that can approximately model the centroidal inertia. This model abstracts the robot as a single rigid body for the base and point masses for the legs. The model is called the Lump Leg Single Rigid Body Model (LL-SRBM) and can be used to plan motions for both bipedal and quadrupedal robots. By taking the effects of leg dynamics into account, LL-SRBM provides a computationally efficient way for the motion planner to change the centroidal inertia of the robot with various leg configurations. Concurrently, we propose a novel contact detection method by using the norm of the average spatial velocity. After the contact is detected, the controller is switched to force control to achieve a soft landing. Twisting jump and forward jump experiments on the bipedal robot SLIDER and quadrupedal robot ANYmal demonstrate the improved jump performance by actively changing the centroidal inertia. These experiments also show the generalization and the robustness of the integrated planning and control framework. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 8 pages

Enumerating Magic Distinct Labellings of the Cube

Authors: Guoce Xin, Yingrui Zhang, Zihao Zhang

Abstract: We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial… ▽ More We find by applying MacMahon's partition analysis that all magic labellings of the cube are of eight types, each generated by six basis elements. A combinatorial proof of this fact is given. The number of magic labellings of the cube is thus reobtained as a polynomial in the magic sum of degree $5$. Then we enumerate magic distinct labellings, the number of which turns out to be a quasi-polynomial of period 720720. We also find the group of symmetry can be used to significantly simplify the computation. △ Less

Submitted 12 July, 2021; originally announced July 2021.

Comments: 13 pages, 3 figures

MSC Class: Primary 05A19; Secondary 11D04; 05C78