-
On Magic Distinct Labellings of Simple Graphs
Authors:
Guoce Xin,
Xinyu Xu,
Chen Zhang,
Yueming Zhong
Abstract:
A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings…
▽ More
A magic labelling of a graph $G$ with magic sum $s$ is a labelling of the edges of $G$ by nonnegative integers such that for each vertex $v\in V$, the sum of labels of all edges incident to $v$ is equal to the same number $s$. Stanley gave remarkable results on magic labellings, but the distinct labelling case is much more complicated. We consider the complete construction of all magic labellings of a given graph $G$. The idea is illustrated in detail by dealing with three regular graphs. We give combinatorial proofs. The structure result was used to enumerate the corresponding magic distinct labellings.
△ Less
Submitted 7 July, 2021;
originally announced July 2021.
-
Investigation of Bare-bones Algorithms from Quantum Perspective: A Quantum Dynamical Global Optimizer
Authors:
Peng Wang,
Gang Xin,
Fang Wang
Abstract:
Recent decades, the emergence of numerous novel algorithms makes it a gimmick to propose an intelligent optimization system based on metaphor, and hinders researchers from exploring the essence of search behavior in algorithms. However, it is difficult to directly discuss the search behavior of an intelligent optimization algorithm, since there are so many kinds of intelligent schemes. To address…
▽ More
Recent decades, the emergence of numerous novel algorithms makes it a gimmick to propose an intelligent optimization system based on metaphor, and hinders researchers from exploring the essence of search behavior in algorithms. However, it is difficult to directly discuss the search behavior of an intelligent optimization algorithm, since there are so many kinds of intelligent schemes. To address this problem, an intelligent optimization system is regarded as a simulated physical optimization system in this paper. The dynamic search behavior of such a simplified physical optimization system are investigated with quantum theory. To achieve this goal, the Schroedinger equation is employed as the dynamics equation of the optimization algorithm, which is used to describe dynamic search behaviours in the evolution process with quantum theory. Moreover, to explore the basic behaviour of the optimization system, the optimization problem is assumed to be decomposed and approximated. Correspondingly, the basic search behaviour is derived, which constitutes the basic iterative process of a simple optimization system. The basic iterative process is compared with some classical bare-bones schemes to verify the similarity of search behavior under different metaphors. The search strategies of these bare bones algorithms are analyzed through experiments.
△ Less
Submitted 15 April, 2022; v1 submitted 25 June, 2021;
originally announced June 2021.
-
OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS
Authors:
Guangquan Xu,
GuoHua Xin,
Litao Jiao,
Jian Liu,
Shaoying Liu,
Meiqi Feng,
Xi Zheng
Abstract:
With the growing popularity of Android devices, Android malware is seriously threatening the safety of users. Although such threats can be detected by deep learning as a service (DLaaS), deep neural networks as the weakest part of DLaaS are often deceived by the adversarial samples elaborated by attackers. In this paper, we propose a new semi-black-box attack framework called one-feature-each-iter…
▽ More
With the growing popularity of Android devices, Android malware is seriously threatening the safety of users. Although such threats can be detected by deep learning as a service (DLaaS), deep neural networks as the weakest part of DLaaS are often deceived by the adversarial samples elaborated by attackers. In this paper, we propose a new semi-black-box attack framework called one-feature-each-iteration (OFEI) to craft Android adversarial samples. This framework modifies as few features as possible and requires less classifier information to fool the classifier. We conduct a controlled experiment to evaluate our OFEI framework by comparing it with the benchmark methods JSMF, GenAttack and pointwise attack. The experimental results show that our OFEI has a higher misclassification rate of 98.25%. Furthermore, OFEI can extend the traditional white-box attack methods in the image field, such as fast gradient sign method (FGSM) and DeepFool, to craft adversarial samples for Android. Finally, to enhance the security of DLaaS, we use two uncertainties of the Bayesian neural network to construct the combined uncertainty, which is used to detect adversarial samples and achieves a high detection rate of 99.28%.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
An explicit order matching for $L(3,n)$ from several approaches and its extension for $L(4,n)$
Authors:
Guoce Xin,
Yueming Zhong
Abstract:
Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching…
▽ More
Let $L(m,n)$ denote Young's lattice consisting of all partitions whose Young diagrams are contained in the $m\times n$ rectangle. It is a well-known result that the poset $L(m,n)$ is rank symmetric, rank unimodal, and Sperner. A direct proof of this result by finding an explicit order matching of $L(m,n)$ is an outstanding open problem. In this paper, we present an explicit order matching $\varphi$ for $L(3,n)$ by several different approaches, and give chain tableau version of $\varphi$ that is very helpful in finding patterns. It is surprise that the greedy algorithm and a recursive knead process also give the same order matching. Our methods extend for $L(4,n)$.
△ Less
Submitted 22 April, 2021;
originally announced April 2021.
-
Strong-field response time and its implications on attosecond measurement
Authors:
Chao Chen,
Jiayin Che,
Shang Wang,
Guoguo Xin,
Yanjun Chen
Abstract:
To measure and control the electron motion in atoms and molecules by the strong laser field on the attosecond time scale is one of the research frontiers of atomic and molecular photophysics. It involves many new phenomena and processes and raises a series of questions of concepts, theories and methods. Recent studies show that the Coulomb potential can cause the ionization time lag (about 100 att…
▽ More
To measure and control the electron motion in atoms and molecules by the strong laser field on the attosecond time scale is one of the research frontiers of atomic and molecular photophysics. It involves many new phenomena and processes and raises a series of questions of concepts, theories and methods. Recent studies show that the Coulomb potential can cause the ionization time lag (about 100 attoseconds) between instants of the field maximum and the ionization-rate maximum. This lag can be understood as the response time of the electronic wave function to the strong-field-induced ionization event. It has a profound influence on the subsequent ultrafast dynamics of the ionized electron and can significantly change the time-frequency properties of electron trajectory (an important theoretical tool for attosecond measurement). Here, the research progress of response time and its implications on attosecond measurement are briefly introduced.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Calibration of the Air Shower Energy Scale of the Water and Air Cherenkov Techniques in the LHAASO experiment
Authors:
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,
Z. Cao Z. Cao,
J. Chang,
J. F. Chang,
X. C. Chang,
B. M. Chen,
J. Chen,
L. Chen,
L. Chen,
L. Chen,
M. J. Chen,
M. L. Chen,
Q. H. Chen,
S. H. Chen,
S. Z. Chen
, et al. (233 additional authors not shown)
Abstract:
The Wide Field-of-View Cherenkov Telescope Array (WFCTA) and the Water Cherenkov Detector Arrays (WCDA) of LHAASO are designed to work in combination for measuring the energy spectra of various cosmic ray species over a very wide energy range from a few TeV to 10 PeV. The energy calibration of WCDA can be achieved with a proven technique of measuring the westward shift of the Moon shadow of galact…
▽ More
The Wide Field-of-View Cherenkov Telescope Array (WFCTA) and the Water Cherenkov Detector Arrays (WCDA) of LHAASO are designed to work in combination for measuring the energy spectra of various cosmic ray species over a very wide energy range from a few TeV to 10 PeV. The energy calibration of WCDA can be achieved with a proven technique of measuring the westward shift of the Moon shadow of galactic cosmic rays due to the geomagnetic field. This deflection angle $Δ$ is inversely proportional to the energy of the cosmic rays. The precise measurements of the shifts by WCDA allows us to calibrate its energy scale for energies as high as 35 TeV. The energy scale measured by WCDA can be used to cross calibrate the energy reconstructed by WFCTA, which spans the whole energy range up to 10 PeV. In this work, we will demonstrate the feasibility of the method using the data collected from April 2019 to January 2020 by the WFCTA array and WCDA-1 detector, the first of the three water Cherenkov ponds, already commissioned at LHAASO site.
△ Less
Submitted 13 April, 2021; v1 submitted 11 April, 2021;
originally announced April 2021.
-
The $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{(k_1,k_2,k_3)}(q,t)$ and $C_{(k,k,k,k)}(q,t)$
Authors:
Guoce Xin,
Yingrui Zhang
Abstract:
We give two proofs of the $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{\vec{k}}(q,t)$ for $\vec{k}=(k_1,k_2,k_3)$. One is by using MacMahon's partition analysis as we proposed; the other is a direct bijection. We also prove $C_{(k,k,k,k)}(q,t) = C_{(k,k,k,k)}(t,q)$ by using MacMahon's partition analysis.
We give two proofs of the $q,t$-symmetry of the generalized $q,t$-Catalan number $C_{\vec{k}}(q,t)$ for $\vec{k}=(k_1,k_2,k_3)$. One is by using MacMahon's partition analysis as we proposed; the other is a direct bijection. We also prove $C_{(k,k,k,k)}(q,t) = C_{(k,k,k,k)}(t,q)$ by using MacMahon's partition analysis.
△ Less
Submitted 3 June, 2022; v1 submitted 9 April, 2021;
originally announced April 2021.
-
Measuring Coulomb-Induced Ionization Time Lag with a Calibrated Attoclock
Authors:
J. Y. Che,
C. Chen,
S. Wang,
G. G. Xin,
Y. J. Chen
Abstract:
Electrons in atoms and molecules can not react immediately to the action of intense laser field. A time lag (about 100 attoseconds) between instants of the field maximum and the ionization-rate maximum emerges. This lag characterizes the response time of the electronic wave function to the strong-field ionization event and has important effects on subsequent ultrafast dynamics of the ionized elect…
▽ More
Electrons in atoms and molecules can not react immediately to the action of intense laser field. A time lag (about 100 attoseconds) between instants of the field maximum and the ionization-rate maximum emerges. This lag characterizes the response time of the electronic wave function to the strong-field ionization event and has important effects on subsequent ultrafast dynamics of the ionized electron. The absolute time lag is not accessible in experiments. Here, a calibrated attoclock procedure, which is related to a simple Coulomb-induced temporal correction to electron trajectories, is proposed to measure the relative lag of two different ionization events. Using this procedure,the difference (i.e., the relative lag) between the ionization time lags of polar molecules in two consecutive half laser cycles can be probed with a high accuracy.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Characterizing Sub-Cycle Electron Dynamics of Polar Molecules by Asymmetry in Photoelectron Momentum Distributions
Authors:
Jia-Yin Che,
Chao Chen,
Shang Wang,
Guo-Guo Xin,
Yan-Jun Chen
Abstract:
Strong-field ionization of polar molecules contains rich dynamical processes such as tunneling, excitation, and Stark shift. These processes occur on a sub-cycle time scale and are difficult to distinguish in ultrafast measurements. Here, with a developed strong-field model considering effects of both Coulomb and permanent dipole, we show that photoelectron momentum distributions (PMDs) in orthogo…
▽ More
Strong-field ionization of polar molecules contains rich dynamical processes such as tunneling, excitation, and Stark shift. These processes occur on a sub-cycle time scale and are difficult to distinguish in ultrafast measurements. Here, with a developed strong-field model considering effects of both Coulomb and permanent dipole, we show that photoelectron momentum distributions (PMDs) in orthogonal two-color laser fields can be utilized to resolve these processes with attosecond-scale resolution. A feature quantity related to the asymmetry in PMDs is obtained, with which the complex electron dynamics of polar molecules in each half laser cycle is characterized and the subtle time difference when electrons esca** from different sides of the polar molecule is identified.
△ Less
Submitted 25 March, 2021;
originally announced March 2021.
-
Prospects for the detection of the prompt very-high-energy emission from $\rmγ$-ray bursts with the High Altitude Detection of Astronomical Radiation experiment
Authors:
Guang-Guang Xin,
Yu-Hua Yao,
Xiang-Li Qian,
Cheng Liu,
Qi Gao,
Dan-Zeng-Luo-Bu,
You-Liang Feng,
Quan-Bu Gou,
Hong-Bo Hu,
Hai-** Li,
Mao-Yuan Liu,
Wei Liu,
Bing-Qiang Qiao,
Zhen Wang,
Yi Zhang,
Hao Cai,
Tian-Lu Chen,
Yi-Qing Guo
Abstract:
The observation of very-high-energy (VHE, $\rm >10~GeV$) $γ$-ray emission from $\rm γ$-ray bursts (GRBs), especially in the prompt phase, will provide critical information for understanding many aspects of their nature including the physical environment, the relativistic bulk motion, the mechanisms of particle acceleration of GRBs and for studying Lorentz invariance violation, etc. For the aftergl…
▽ More
The observation of very-high-energy (VHE, $\rm >10~GeV$) $γ$-ray emission from $\rm γ$-ray bursts (GRBs), especially in the prompt phase, will provide critical information for understanding many aspects of their nature including the physical environment, the relativistic bulk motion, the mechanisms of particle acceleration of GRBs and for studying Lorentz invariance violation, etc. For the afterglow phase, the highest energy photons detected to date by the imaging atmospheric Cherenkov telescopes extend to the TeV regime. However, for the prompt phase, years of efforts in searching for the VHE emission has yielded no statistically significant detections. A wide field-of-view (FOV) and large effective area above tens of GeV are essential for detecting the VHE emissions from GRBs in the prompt phase. The High Altitude Detection of Astronomical Radiation (HADAR) experiment has such merits. In this paper, we report the estimates of its expected annual GRB detection rate, which are obtained by combining the performance of the HADAR instrument with the theoretical calculations based on a phenomenological model to generate the pseudo-GRB population. The expected detectable gamma-ray signal from GRBs above the background is then obtained to give the detection rate. In the spectral model, an extra component is assigned to every GRB event in addition to the Band function. The results indicate that if the energy of the cutoff due to internal absorption is higher than 50 GeV, the detection rate for GRBs for the HADAR experiment is approximately two or three GRBs per year, which varies slightly depending upon the characteristics of the extra component.
△ Less
Submitted 11 October, 2021; v1 submitted 7 March, 2021;
originally announced March 2021.
-
Construction and On-site Performance of the LHAASO WFCTA Camera
Authors:
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,
Z. Cao,
Z. Cao,
J. Chang,
J. F. Chang,
X. C. Chang,
B. M. Chen,
J. Chen,
L. Chen,
L. Chen,
L. Chen,
M. J. Chen,
M. L. Chen,
Q. H. Chen,
S. H. Chen
, et al. (234 additional authors not shown)
Abstract:
The focal plane camera is the core component of the Wide Field-of-view Cherenkov/fluorescence Telescope Array (WFCTA) of the Large High-Altitude Air Shower Observatory (LHAASO). Because of the capability of working under moonlight without aging, silicon photomultipliers (SiPM) have been proven to be not only an alternative but also an improvement to conventional photomultiplier tubes (PMT) in this…
▽ More
The focal plane camera is the core component of the Wide Field-of-view Cherenkov/fluorescence Telescope Array (WFCTA) of the Large High-Altitude Air Shower Observatory (LHAASO). Because of the capability of working under moonlight without aging, silicon photomultipliers (SiPM) have been proven to be not only an alternative but also an improvement to conventional photomultiplier tubes (PMT) in this application. Eighteen SiPM-based cameras with square light funnels have been built for WFCTA. The telescopes have collected more than 100 million cosmic ray events and preliminary results indicate that these cameras are capable of working under moonlight. The characteristics of the light funnels and SiPMs pose challenges (e.g. dynamic range, dark count rate, assembly techniques). In this paper, we present the design features, manufacturing techniques and performances of these cameras. Finally, the test facilities, the test methods and results of SiPMs in the cameras are reported here.
△ Less
Submitted 4 July, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
-
Soft Compression for Lossless Image Coding
Authors:
Gangtao Xin,
**yi Fan
Abstract:
Soft compression is a lossless image compression method, which is committed to eliminating coding redundancy and spatial redundancy at the same time by adopting locations and shapes of codebook to encode an image from the perspective of information theory and statistical distribution. In this paper, we propose a new concept, compressible indicator function with regard to image, which gives a thres…
▽ More
Soft compression is a lossless image compression method, which is committed to eliminating coding redundancy and spatial redundancy at the same time by adopting locations and shapes of codebook to encode an image from the perspective of information theory and statistical distribution. In this paper, we propose a new concept, compressible indicator function with regard to image, which gives a threshold about the average number of bits required to represent a location and can be used for revealing the performance of soft compression. We investigate and analyze soft compression for binary image, gray image and multi-component image by using specific algorithms and compressible indicator value. It is expected that the bandwidth and storage space needed when transmitting and storing the same kind of images can be greatly reduced by applying soft compression.
△ Less
Submitted 11 December, 2020;
originally announced December 2020.
-
Quantum Dynamics of Optimization Problems
Authors:
Peng Wang,
Gang Xin,
Yuwei Jiao
Abstract:
In this letter, by establishing the Schrödinger equation of the optimization problem, the optimization problem is transformed into a constrained state quantum problem with the objective function as the potential energy. The mathematical relationship between the objective function and the wave function is established, and the quantum interpretation of the optimization problem is realized. Under the…
▽ More
In this letter, by establishing the Schrödinger equation of the optimization problem, the optimization problem is transformed into a constrained state quantum problem with the objective function as the potential energy. The mathematical relationship between the objective function and the wave function is established, and the quantum interpretation of the optimization problem is realized. Under the black box model, the Schrödinger equation of the optimization problem is used to establish the kinetic equation, i.e., the Fokker-Planck equation of the time evolution of the optimization algorithm, and the basic iterative structure of the optimization algorithm is given according to the interpretation of the Fokker-Planck equation. The establishment of the Fokker-Planck equation allows optimization algorithms to be studied using dynamic methods and is expected to become an important theoretical basis for algorithm dynamics.
△ Less
Submitted 9 October, 2021; v1 submitted 6 December, 2020;
originally announced December 2020.
-
Dinv, Area, and Bounce for $\vec{k}$-Dyck paths
Authors:
Guoce Xin,
Yingrui Zhang
Abstract:
The well-known $q,t$-Catalan sequence has two combinatorial interpretations as weighted sums of ordinary Dyck paths: one is Haglund's area-bounce formula, and the other is Haiman's dinv-area formula. The zeta map was constructed to connect these two formulas: it is a bijection from ordinary Dyck paths to themselves, and it takes dinv to area, and area to bounce. Such a result was extended for $k$-…
▽ More
The well-known $q,t$-Catalan sequence has two combinatorial interpretations as weighted sums of ordinary Dyck paths: one is Haglund's area-bounce formula, and the other is Haiman's dinv-area formula. The zeta map was constructed to connect these two formulas: it is a bijection from ordinary Dyck paths to themselves, and it takes dinv to area, and area to bounce. Such a result was extended for $k$-Dyck paths by Loehr. The zeta map was extended by Armstrong-Loehr-Warrington for a very general class of paths.
In this paper, We extend the dinv-area-bounce result for $\vec{k}$-Dyck paths by: i) giving a geometric construction for the bounce statistic of a $\vec{k}$-Dyck path, which includes the $k$-Dyck paths and ordinary Dyck paths as special cases; ii) giving a geometric interpretation of the dinv statistic of a $\vec{k}$-Dyck path. Our bounce construction is inspired by Loehr's construction and Xin-Zhang's linear algorithm for inverting the sweep map on $\vec{k}$-Dyck paths. Our dinv interpretation is inspired by Garsia-Xin's visual proof of dinv-to-area result on rational Dyck paths.
△ Less
Submitted 10 November, 2020;
originally announced November 2020.
-
Robust Footstep Planning and LQR Control for Dynamic Quadrupedal Locomotion
Authors:
Guiyang Xin,
Songyan Xin,
Oguzhan Cebe,
Mathew Jose Pollayil,
Franco Angelini,
Manolo Garabini,
Sethu Vijayakumar,
Michael Mistry
Abstract:
In this paper, we aim to improve the robustness of dynamic quadrupedal locomotion through two aspects: 1) fast model predictive foothold planning, and 2) applying LQR to projected inverse dynamic control for robust motion tracking. In our proposed planning and control framework, foothold plans are updated at 400 Hz considering the current robot state and an LQR controller generates optimal feedbac…
▽ More
In this paper, we aim to improve the robustness of dynamic quadrupedal locomotion through two aspects: 1) fast model predictive foothold planning, and 2) applying LQR to projected inverse dynamic control for robust motion tracking. In our proposed planning and control framework, foothold plans are updated at 400 Hz considering the current robot state and an LQR controller generates optimal feedback gains for motion tracking. The LQR optimal gain matrix with non-zero off-diagonal elements leverages the coupling of dynamics to compensate for system underactuation. Meanwhile, the projected inverse dynamic control complements the LQR to satisfy inequality constraints. In addition to these contributions, we show robustness of our control framework to unmodeled adaptive feet. Experiments on the quadruped ANYmal demonstrate the effectiveness of the proposed method for robust dynamic locomotion given external disturbances and environmental uncertainties.
△ Less
Submitted 13 March, 2021; v1 submitted 23 October, 2020;
originally announced October 2020.
-
The observation of the Crab Nebula with LHAASO-KM2A for the performance study
Authors:
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,
Z. Cao,
Z. Cao,
J. Chang,
J. F. Chang,
X. C. Chang,
B. M. Chen,
J. Chen,
L. Chen,
L. Chen,
L. Chen,
M. J. Chen,
M. L. Chen,
Q. H. Chen,
S. H. Chen
, et al. (234 additional authors not shown)
Abstract:
As a sub-array of the Large High Altitude Air Shower Observatory (LHAASO), KM2A is mainly designed to cover a large fraction of the northern sky to hunt for gamma-ray sources at energies above 10 TeV. Even though the detector construction is still underway, a half of the KM2A array has been operating stably since the end of 2019. In this paper, we present the pipeline of KM2A data analysis and the…
▽ More
As a sub-array of the Large High Altitude Air Shower Observatory (LHAASO), KM2A is mainly designed to cover a large fraction of the northern sky to hunt for gamma-ray sources at energies above 10 TeV. Even though the detector construction is still underway, a half of the KM2A array has been operating stably since the end of 2019. In this paper, we present the pipeline of KM2A data analysis and the first observation on the Crab Nebula, a standard candle in very high energy gamma-ray astronomy. We detect gamma-ray signals from the Crab Nebula in both energy ranges of 10$-$100 TeV and $>$100 TeV with high significance, by analyzing the KM2A data of 136 live days between December 2019 and May 2020. With the observations, we test the detector performance including angular resolution, pointing accuracy and cosmic ray background rejection power.
The energy spectrum of the Crab Nebula in the energy range 10-250 TeV fits well with a single power-law function dN/dE =(1.13$\pm$0.05$_{stat}$$\pm$0.08$_{sys}$)$\times$10$^{-14}$$\cdot$(E/20TeV)$^{-3.09\pm0.06_{stat}\pm0.02_{sys}}$ cm$^{-2}$ s$^{-1}$ TeV$^{-1}$. It is consistent with previous measurements by other experiments. This opens a new window of gamma-ray astronomy above 0.1 PeV through which ultrahigh-energy gamma-ray new phenomena, such as cosmic PeVatrons, might be discovered.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Zero-shot Synthesis with Group-Supervised Learning
Authors:
Yunhao Ge,
Sami Abu-El-Haija,
Gan Xin,
Laurent Itti
Abstract:
Visual cognition of primates is superior to that of artificial neural networks in its ability to 'envision' a visual object, even a newly-introduced one, in different attributes including pose, position, color, texture, etc. To aid neural networks to envision objects with different attributes, we propose a family of objective functions, expressed on groups of examples, as a novel learning framewor…
▽ More
Visual cognition of primates is superior to that of artificial neural networks in its ability to 'envision' a visual object, even a newly-introduced one, in different attributes including pose, position, color, texture, etc. To aid neural networks to envision objects with different attributes, we propose a family of objective functions, expressed on groups of examples, as a novel learning framework that we term Group-Supervised Learning (GSL). GSL allows us to decompose inputs into a disentangled representation with swappable components, that can be recombined to synthesize new samples. For instance, images of red boats & blue cars can be decomposed and recombined to synthesize novel images of red cars. We propose an implementation based on auto-encoder, termed group-supervised zero-shot synthesis network (GZS-Net) trained with our learning framework, that can produce a high-quality red car even if no such example is witnessed during training. We test our model and learning framework on existing benchmarks, in addition to anew dataset that we open-source. We qualitatively and quantitatively demonstrate that GZS-Net trained with GSL outperforms state-of-the-art methods.
△ Less
Submitted 16 February, 2021; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Online Dynamic Trajectory Optimization and Control for a Quadruped Robot
Authors:
Oguzhan Cebe,
Carlo Tiseo,
Guiyang Xin,
Hsiu-chin Lin,
Joshua Smith,
Michael Mistry
Abstract:
Legged robot locomotion requires the planning of stable reference trajectories, especially while traversing uneven terrain. The proposed trajectory optimization framework is capable of generating dynamically stable base and footstep trajectories for multiple steps. The locomotion task can be defined with contact locations, base motion or both, making the algorithm suitable for multiple scenarios (…
▽ More
Legged robot locomotion requires the planning of stable reference trajectories, especially while traversing uneven terrain. The proposed trajectory optimization framework is capable of generating dynamically stable base and footstep trajectories for multiple steps. The locomotion task can be defined with contact locations, base motion or both, making the algorithm suitable for multiple scenarios (e.g., presence of moving obstacles). The planner uses a simplified momentum-based task space model for the robot dynamics, allowing computation times that are fast enough for online replanning.This fast planning capabilitiy also enables the quadruped to accommodate for drift and environmental changes. The algorithm is tested on simulation and a real robot across multiple scenarios, which includes uneven terrain, stairs and moving obstacles. The results show that the planner is capable of generating stable trajectories in the real robot even when a box of 15 cm height is placed in front of its path at the last moment.
△ Less
Submitted 23 March, 2021; v1 submitted 28 August, 2020;
originally announced August 2020.
-
Variable Autonomy of Whole-body Control for Inspection and Intervention in Industrial Environments using Legged Robots
Authors:
Guiyang Xin,
Carlo Tiseo,
Wouter Wolfslag,
Joshua Smith,
Oguzhan Cebe,
Zhibin Li,
Sethu Vijayakumar,
Michael Mistry
Abstract:
The deployment of robots in industrial and civil scenarios is a viable solution to protect operators from danger and hazards. Shared autonomy is paramount to enable remote control of complex systems such as legged robots, allowing the operator to focus on the essential tasks instead of overly detailed execution. To realize this, we propose a comprehensive control framework for inspection and inter…
▽ More
The deployment of robots in industrial and civil scenarios is a viable solution to protect operators from danger and hazards. Shared autonomy is paramount to enable remote control of complex systems such as legged robots, allowing the operator to focus on the essential tasks instead of overly detailed execution. To realize this, we propose a comprehensive control framework for inspection and intervention using a legged robot and validate the integration of multiple loco-manipulation algorithms optimised for improving the remote operation. The proposed control offers 3 operation modes: fully automated, semi-autonomous, and the haptic interface receiving onsite physical interaction for assisting teleoperation. Our contribution is the design of a QP-based semi-analytical whole-body control, which is the key to the various task completion subject to internal and external constraints. We demonstrate the versatility of the whole-body control in terms of decoupling tasks, singularity tolerance and constraint satisfaction. We deploy our solution in field trials and evaluate in an emergency setting by an E-stop while the robot is clearing road barriers and traversing difficult terrains.
△ Less
Submitted 23 October, 2020; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Optimisation of Body-ground Contact for Augmenting Whole-Body Loco-manipulation of Quadruped Robots
Authors:
Wouter Wolfslag,
Christopher McGreavy,
Guiyang Xin,
Carlo Tiseo,
Sethu Vijayakumar,
Zhibin Li
Abstract:
Legged robots have great potential to perform loco-manipulation tasks, yet it is challenging to keep the robot balanced while it interacts with the environment. In this paper we study the use of additional contact points for maximising the robustness of loco-manipulation motions. Specifically, body-ground contact is studied for enhancing robustness and manipulation capabilities of quadrupedal robo…
▽ More
Legged robots have great potential to perform loco-manipulation tasks, yet it is challenging to keep the robot balanced while it interacts with the environment. In this paper we study the use of additional contact points for maximising the robustness of loco-manipulation motions. Specifically, body-ground contact is studied for enhancing robustness and manipulation capabilities of quadrupedal robots. We propose to equip the robot with prongs: small legs rigidly attached to the body which ensure body-ground contact occurs in controllable point-contacts. The effect of these prongs on robustness is quantified by computing the Smallest Unrejectable Force (SUF), a measure of robustness related to Feasible Wrench Polytopes. We apply the SUF to assess the robustness of the system, and propose an effective approximation of the SUF that can be computed at near-real-time speed. We design a hierarchical quadratic programming based whole-body controller that controls stable interaction when the prongs are in contact with the ground. This novel concept of using prongs and the resulting control framework are all implemented on hardware to validate the effectiveness of the increased robustness and newly enabled loco-manipulation tasks, such as obstacle clearance and manipulation of a large object.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Bounded haptic teleoperation of a quadruped robot's foot posture for sensing and manipulation
Authors:
Guiyang Xin,
Joshua Smith,
David Rytz,
Wouter Wolfslag,
Hsiu-Chin Lin,
Michael Mistry
Abstract:
This paper presents a control framework to teleoperate a quadruped robot's foot for operator-guided haptic exploration of the environment. Since one leg of a quadruped robot typically only has 3 actuated degrees of freedom (DoFs), the torso is employed to assist foot posture control via a hierarchical whole-body controller. The foot and torso postures are controlled by two analytical Cartesian imp…
▽ More
This paper presents a control framework to teleoperate a quadruped robot's foot for operator-guided haptic exploration of the environment. Since one leg of a quadruped robot typically only has 3 actuated degrees of freedom (DoFs), the torso is employed to assist foot posture control via a hierarchical whole-body controller. The foot and torso postures are controlled by two analytical Cartesian impedance controllers cascaded by a null space projector. The contact forces acting on supporting feet are optimized by quadratic programming (QP). The foot's Cartesian impedance controller may also estimate contact forces from trajectory tracking errors, and relay the force-feedback to the operator. A 7D haptic joystick, Sigma.7, transmits motion commands to the quadruped robot ANYmal, and renders the force feedback. Furthermore, the joystick's motion is bounded by map** the foot's feasible force polytope constrained by the friction cones and torque limits in order to prevent the operator from driving the robot to slip** or falling over. Experimental results demonstrate the efficiency of the proposed framework.
△ Less
Submitted 26 October, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
On Parity Unimodality of $q$-Catalan Polynomials
Authors:
Guoce Xin,
Yueming Zhong
Abstract:
A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= \frac{1}{[n+m]} \left[ m+n \atop n\right]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently…
▽ More
A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= \frac{1}{[n+m]} \left[ m+n \atop n\right]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently, $(1+q)C_{m+n}(q)$ is unimodal. By using generating functions and the constant term method, we verify our conjecture for $m\le 5$ in a straightforward way.
△ Less
Submitted 4 December, 2019;
originally announced December 2019.
-
Strong-field double ionization dynamics of vibrating HeH$^+$ versus HeT$^+$
Authors:
S. Wang,
R. H. Xu,
W. Y. Li,
X. Liu,
W. Li,
G. G. Xin,
Y. J. Chen
Abstract:
We study double ionization (DI) dynamics of vibrating HeH$^+$ versus its isotopic variant HeT$^+$ in strong laser fields numerically. Our simulations show that for both cases, these two electrons in DI prefer to release together along the H(T) side. At the same time, however, the single ionization (SI) is preferred when the first electron escapes along the He side. This potential mechanism is attr…
▽ More
We study double ionization (DI) dynamics of vibrating HeH$^+$ versus its isotopic variant HeT$^+$ in strong laser fields numerically. Our simulations show that for both cases, these two electrons in DI prefer to release together along the H(T) side. At the same time, however, the single ionization (SI) is preferred when the first electron escapes along the He side. This potential mechanism is attributed to the interplay of the rescattering of the first electron and the Coulomb induced large ionization time lag. On the other hand, the nuclear motion increases the contributions of these two electrons releasing together along the He side. This effect differentiates DI of HeH$^+$ from HeT$^+$.
△ Less
Submitted 17 November, 2019;
originally announced November 2019.
-
Tracing origins of asymmetric momentum distribution for polar molecules in strong linearly-polarized laser fields
Authors:
S. Wang,
J. Y. Che,
C. Chen,
G. G. Xin,
Y. J. Chen
Abstract:
We study the ionization dynamics of oriented HeH$^+$ in strong linearly-polarized laser fields by numerically solving the time-dependent Schrödinger equation. The calculated photoelectron momentum distributions for parallel orientation show a striking asymmetric structure. With a developed model pertinent to polar molecules, we trace the electron motion in real time. We show that this asymmetric s…
▽ More
We study the ionization dynamics of oriented HeH$^+$ in strong linearly-polarized laser fields by numerically solving the time-dependent Schrödinger equation. The calculated photoelectron momentum distributions for parallel orientation show a striking asymmetric structure. With a developed model pertinent to polar molecules, we trace the electron motion in real time. We show that this asymmetric structure arises from the interplay of the Coulomb effect and the permanent dipole in strong laser fields. This structure can be used to probe the degree of orientation which is important in ultrafast experiments for polar molecules. we also check our results for other polar molecules such as CO and BF.
△ Less
Submitted 15 August, 2020; v1 submitted 18 September, 2019;
originally announced September 2019.
-
Coulomb-induced ionization time lag after electrons tunnel out of a barrier
Authors:
Y. J. Chen,
X. J. Xie,
C. Chen,
G. G. Xin,
J. Liu
Abstract:
After electrons tunnel out of a laser-Coulomb-formed barrier, %formed by the strong laser field and the atomic Coulomb potential, the movement of the tunneling electron can be affected by the Coulomb tail. We show that this Coulomb effect induces a large time difference (longer than a hundred attoseconds) between the exiting time at which the electron exits the barrier and the ionization time at w…
▽ More
After electrons tunnel out of a laser-Coulomb-formed barrier, %formed by the strong laser field and the atomic Coulomb potential, the movement of the tunneling electron can be affected by the Coulomb tail. We show that this Coulomb effect induces a large time difference (longer than a hundred attoseconds) between the exiting time at which the electron exits the barrier and the ionization time at which the electron is free. This large time difference has important influences on strong-field processes such as above-threshold ionization and high-harmonic generation, with remarkably changing time-frequency properties of electron trajectories. Some semi-quantitative evaluations on these influences are addressed, which provide new insight into strong-field physics and give important suggestions on attosecond measurements.
△ Less
Submitted 31 May, 2019;
originally announced May 2019.
-
On the Sweep Map for $\vec{k}$-Dyck Paths
Authors:
Guoce Xin,
Yingrui Zhang
Abstract:
Garsia and Xin gave a linear algorithm for inverting the sweep map for Fuss rational Dyck paths in $D_{m,n}$ where $m=kn\pm 1$. They introduced an intermediate family $\mathcal{T}_n^k$ of certain standard Young tableau. Then inverting the sweep map is done by a simple walking algorithm on a $T\in \mathcal{T}_n^k$. We find their idea naturally extends for $\mathbf{k}^\pm$-Dyck paths, and also for…
▽ More
Garsia and Xin gave a linear algorithm for inverting the sweep map for Fuss rational Dyck paths in $D_{m,n}$ where $m=kn\pm 1$. They introduced an intermediate family $\mathcal{T}_n^k$ of certain standard Young tableau. Then inverting the sweep map is done by a simple walking algorithm on a $T\in \mathcal{T}_n^k$. We find their idea naturally extends for $\mathbf{k}^\pm$-Dyck paths, and also for $\mathbf{k}$-Dyck paths (reducing to $k$-Dyck paths for the equal parameter case). The intermediate object becomes a similar type of tableau in $\mathcal{T}_\mathbf{k}$ of different column lengths. This approach is independent of the Thomas-Williams algorithm for inverting the general modular sweep map.
△ Less
Submitted 18 November, 2018;
originally announced November 2018.
-
Hankel determinants for convolution powers of Catalan numbers
Authors:
Ying Wang,
Guoce Xin
Abstract:
The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the c…
▽ More
The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the conjectures of Cigler as special cases. We also conjectured a polynomial characterization of these determinants. The same technique is used to evaluate the Hankel determinants $\left(\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1} $. Similar results are obtained.
△ Less
Submitted 13 November, 2018; v1 submitted 1 November, 2018;
originally announced November 2018.
-
On the Sweep Map for Fuss Rational Dyck Paths
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has runn…
▽ More
Our main contribution here is the discovery of a new family of standard Young tableaux $ {\cal T}^k_n$ which are in bijection with the family ${\cal D}_{m,n}$ of Rational Dyck paths for $m=k\times n\pm 1$ (the so called "Fuss" case). Using this family we give a new proof of the invertibility of the sweep map in the Fuss case by means of a very simple explicit algorithm. This new algorithm has running time $O(m+n)$. It is independent of the Thomas-William algorithm.
△ Less
Submitted 19 July, 2018;
originally announced July 2018.
-
Hankel determinants and shifted periodic continued fractions
Authors:
Ying Wang,
Guoce Xin,
Meimei Zhai
Abstract:
Sulanke and Xin developed a continued fraction method that applies to evaluate Hankel determinants corresponding to quadratic generating functions. We use their method to give short proofs of Cigler's Hankel determinant conjectures, which were proved recently by Chang-Hu-Zhang using direct determinant computation. We find that shifted periodic continued fractions arise in our computation. We also…
▽ More
Sulanke and Xin developed a continued fraction method that applies to evaluate Hankel determinants corresponding to quadratic generating functions. We use their method to give short proofs of Cigler's Hankel determinant conjectures, which were proved recently by Chang-Hu-Zhang using direct determinant computation. We find that shifted periodic continued fractions arise in our computation. We also discover and prove some new nice Hankel determinants relating to lattice paths with step set $\{(1,1),(q,0), (\ell-1,-1)\}$ for integer parameters $m,q,\ell$. Again shifted periodic continued fractions appear.
△ Less
Submitted 3 September, 2018; v1 submitted 23 June, 2018;
originally announced June 2018.
-
A Proof the Functional Equation Conjecture
Authors:
Adriano Garsia,
Angela Hicks,
Guoce Xin
Abstract:
In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties predicted by the Compositional Shuffle Conjecture remain valid for each family of Parking Functions with prescribed diagonal cars. The validity of this property was…
▽ More
In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties predicted by the Compositional Shuffle Conjecture remain valid for each family of Parking Functions with prescribed diagonal cars. The validity of this property was reduced to the proof of a functional equation satisfied by a Catalan family of univariate polynomials. The main result in this paper is a proof of this functional equation. The Compositional Shuffle Conjecture was proved in 2015 by Eric Carlsson and Anton Mellit [3]. Our proof of the Functional Equation removes one of the main obstacles in the completion of the Garsia-Hicks approach to the proof of the Compositional Shuffle Conjecture. At the end of this writing we formulate a few further conjectures including what remains to be proved to complete this approach.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Atomic Bright Soliton Interferometry
Authors:
Li-Chen Zhao,
Guo-Guo Xin,
Zhan-Ying Yang,
Wen-Li Yang
Abstract:
The properties of nonlinear interference pattern between atomic bright solitons are characterized analytically, with the aid of exact solutions of dynamical equation in mean-field approximation. It is shown that relative velocity, relative phase, and nonlinear interaction strength can be measured from the interference pattern. The nonlinear interference properties are proposed to design atomic sol…
▽ More
The properties of nonlinear interference pattern between atomic bright solitons are characterized analytically, with the aid of exact solutions of dynamical equation in mean-field approximation. It is shown that relative velocity, relative phase, and nonlinear interaction strength can be measured from the interference pattern. The nonlinear interference properties are proposed to design atomic soliton interferometry in Bose-Einstein condensate. As an example, we apply them to measure gravity acceleration in a ultra-cold atom systems with a high precision degree. The results are also meaningful for precise measurements in optical fiber, water wave tank, plasma, and other nonlinear systems.
△ Less
Submitted 5 April, 2018;
originally announced April 2018.
-
On the Schur positivity of $Δ_{e_2} e_n[X]$
Authors:
Dun Qiu,
Jeffrey B. Remmel,
Emily Sergel,
Guoce Xin
Abstract:
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in te…
▽ More
Let $\mathbb{N}$ denote the set of non-negative integers. Haglund, Wilson, and the second author have conjectured that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_k} e_n[X]$ is a polynomial in $\mathbb{N}[q,t]$. We present four proofs of a stronger statement in the case $k=2$; We show that the coefficient of any Schur function $s_λ[X]$ in $Δ_{e_2} e_n[X]$ has a positive expansion in terms of $q,t$-analogs.
△ Less
Submitted 9 October, 2017;
originally announced October 2017.
-
Lecture notes on the Carlsson-Mellit proof of the shuffle conjecture
Authors:
James Haglund,
Guoce Xin
Abstract:
This note is based on the original proof of the shuffle conjecture by Carlsson and Mellit (arXiv:1508.06239, version 2), which seems to be too concise for the combinatorial community. James Haglund spent a semester to check through the proof line by line and took explicit note. Guoce Xin was asked by Adriano Garsia to elaborate the proof. The whole paper is thoroughly checked and filled in with de…
▽ More
This note is based on the original proof of the shuffle conjecture by Carlsson and Mellit (arXiv:1508.06239, version 2), which seems to be too concise for the combinatorial community. James Haglund spent a semester to check through the proof line by line and took explicit note. Guoce Xin was asked by Adriano Garsia to elaborate the proof. The whole paper is thoroughly checked and filled in with details. Section 1 and the abstract of the original paper is included. Section 2 is rewritten for clarity. Other sections are filled with detailed proof and computation. We hope this note is accessible to graduate students.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Dinv and Area
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.
We give a new combinatorial proof of the well known result that the dinv of an $(m,n)$-Dyck path is equal to the area of its sweep map image. The first proof of this remarkable identity for co-prime $(m,n)$ is due to Loehr and Warrington. There is also a second proof (in the co-prime case) due to Gorsky and Mazin and a third proof due to Mazin.
△ Less
Submitted 22 May, 2017; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Inverting the Rational Sweep Map
Authors:
Adriano M. Garsia,
Guoce Xin
Abstract:
We present a simple algorithm for inverting the sweep map on rational $(m,n)$-Dyck paths for a co-prime pair $(m,n)$ of positive integers. This work is inspired by Thomas-Williams work on the modular sweep map. A simple proof of the validity of our algorithm is included.
We present a simple algorithm for inverting the sweep map on rational $(m,n)$-Dyck paths for a co-prime pair $(m,n)$ of positive integers. This work is inspired by Thomas-Williams work on the modular sweep map. A simple proof of the validity of our algorithm is included.
△ Less
Submitted 24 May, 2017; v1 submitted 7 February, 2016;
originally announced February 2016.
-
Two-Dimensional Van der Waals Epitaxy Kinetics in a Three-Dimensional Perovskite Halide
Authors:
Yi** Wang,
Yunfeng Shi,
Guoqing Xin,
Jie Lian,
Jian Shi
Abstract:
The exploration of emerging materials physics and prospective applications of two-dimensional materials greatly relies on the growth control of their thickness, phases, morphologies and film-substrate interactions. Though substantial progresses have been made for the development of two-dimensional films from conventional layered bulky materials, particular challenges remain on obtaining ultrathin,…
▽ More
The exploration of emerging materials physics and prospective applications of two-dimensional materials greatly relies on the growth control of their thickness, phases, morphologies and film-substrate interactions. Though substantial progresses have been made for the development of two-dimensional films from conventional layered bulky materials, particular challenges remain on obtaining ultrathin, single crystalline, dislocation-free films from intrinsically non-Van der Waals-type three-dimensional materials. In this report, with the successful demonstration of single crystalline ultrathin large scale perovskite halide material, we reveal and identify the favorable role of weak Van der Waals film-substrate interaction on the nucleation and growth of the two-dimensional morphology out of non-layered materials compared to conventional epitaxy. We also show how the bonding nature of the three-dimensional material itself affects the kinetic energy landscape of ultrathin films growth. By studying the formation of fractal perovskites assisted with Monte Carlo simulations, we demonstrate that the competition between the Van der Waals diffusion and surface free energy of the perovskite leads to film thickening, suggesting extra strategies such as surface passivation may be needed for the growth of monolayer and a few layers films.
△ Less
Submitted 27 September, 2015;
originally announced September 2015.
-
An efficient search algorithm for inverting the sweep map on rational Dyck paths
Authors:
Guoce Xin
Abstract:
Given a coprime pair $(m,n)$ of positive integers, rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal. The sweep map of a rational $(m,n)$-Dyck paths $D$ is the rational Dyck path $Φ(D)$ obtained by sorting the steps of $D$ according to the ranks of their starting points, where the rank of $(a,b)$ is $bm-an$. It is conjectured to be a biject…
▽ More
Given a coprime pair $(m,n)$ of positive integers, rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal. The sweep map of a rational $(m,n)$-Dyck paths $D$ is the rational Dyck path $Φ(D)$ obtained by sorting the steps of $D$ according to the ranks of their starting points, where the rank of $(a,b)$ is $bm-an$. It is conjectured to be a bijection, but to this date, $Φ$ is only known to be bijective for the Fuss case ($m=kn\pm 1$). In this paper we give an efficient search algorithm for inverting the $Φ$ map. Roughly speaking, given $σ\in \cal D_{m,n}$, by searching through a $d$-array tree of certain depth, we can output all $D$ such that $Φ(D)=σ$, where $d$ is the remainder of $m$ when divided by $n$. In particular, we show that $Φ$ is invertible for the Fuss case by giving a simple recursive construction for $Φ^{-1} (σ)$.
△ Less
Submitted 4 May, 2015;
originally announced May 2015.
-
Rank complement of rational Dyck paths and conjugation of $(m,n)$-core partitions
Authors:
Guoce Xin
Abstract:
Given a coprime pair $(m,n)$ of positive integers, rational Catalan numbers $\frac{1}{m+n} \binom{m+n}{m,n}$ counts two combinatorial objects:rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal; $(m,n)$-cores are partitions with no hook length equal to $m$ or $n$.Anderson established a bijection between $(m,n)$-Dyck paths and $(m,n)$-cores. W…
▽ More
Given a coprime pair $(m,n)$ of positive integers, rational Catalan numbers $\frac{1}{m+n} \binom{m+n}{m,n}$ counts two combinatorial objects:rational $(m,n)$-Dyck paths are lattice paths in the $m\times n$ rectangle that never go below the diagonal; $(m,n)$-cores are partitions with no hook length equal to $m$ or $n$.Anderson established a bijection between $(m,n)$-Dyck paths and $(m,n)$-cores. We define a new transformation, called rank complement, on rational Dyck paths. We show that rank complement corresponds to conjugation of $(m,n)$-cores under Anderson's bijection. This leads to: i) a new approach to characterizing $n$-cores; ii) a simple approach for counting the number of self-conjugate $(m,n)$-cores; iii) a proof of the equivalence of two conjectured combinatorial sum formulas, one over rational $(m,n)$-Dyck paths and the other over $(m,n)$-cores, for rational Catalan polynomials.
△ Less
Submitted 21 April, 2015; v1 submitted 8 April, 2015;
originally announced April 2015.
-
Hankel determinant solutions to several discrete integrable systems and the Laurent Property
Authors:
Xiang-Ke Chang,
Xing-Biao Hu,
Guoce Xin
Abstract:
Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence and a system related to so-called $A_1$ $Q$-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somo…
▽ More
Many discrete integrable systems exhibit the Laurent phenomenon. In this paper, we investigate three integrable systems: the Somos-4 recurrence, the Somos-5 recurrence and a system related to so-called $A_1$ $Q$-system, whose general solutions are derived in terms of Hankel determinant. As a result, we directly confirm that they satisfy the Laurent property. Additionally, it is shown that the Somos-5 recurrence can be viewed as a specified Bäcklund transformation of the Somos-4 recurrence. The related topics about Somos polynomials are also studied.
△ Less
Submitted 24 January, 2015; v1 submitted 12 January, 2015;
originally announced January 2015.
-
A new Plethystic Symmetric Function Operator and The rational Compositional Shuffle Conjecture at t=1/q
Authors:
A. M. Garsia,
E. Leven,
N. Wallach,
G. Xin
Abstract:
Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is…
▽ More
Our main result here is that the specialization at $t=1/q$ of the $Q_{km,kn}$ operators studied in [4] may be given a very simple plethystic form. This discovery yields elementary and direct derivations of several identities relating these operators at $t=1/q$ to the Rational Compositional Shuffle conjecture of [3]. In particular we show that if $m,n $ and $k$ are positive integers and $(m,n)$ is a coprime pair then $$ q^{(km-1)(kn-1)+k-1\over 2} Q_{km,kn}(-1)^{kn}\Big|_{t=1/q} \,=\, \textstyle{[k]_q\over [km]_q} e_{km}\big[ X[km]_q\big] $$ where as customarily, for any integer $s \geq 0$ and indeterminate $u$ we set $[s]_u=1+u+\cdots +u^{s-1}$. We also show that the symmetric polynomial on the right hand side is always Schur positive. Moreover, using the Rational Compositional Shuffle conjecture, we derive a precise formula expressing this polynomial in terms of Parking functions in the $km\times kn$ lattice rectangle.
△ Less
Submitted 3 January, 2015;
originally announced January 2015.
-
Some new applications of the Stanley-Macdonald Pieri Rules
Authors:
A. M. Garsia,
J. Haglund,
G. Xin,
M. Zabrocki
Abstract:
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses s…
▽ More
In a seminal paper Richard Stanley derived Pieri rules for the Jack symmetric function basis. These rules were extended by Macdonald to his now famous symmetric function basis. The original form of these rules had a forbidding complexity that made them difficult to use in explicit calculations. In the early 90's it was discovered that, due to massive cancellations, the dual rule, which expresses skewing by $e_1$ the modified Macdonald polynomial ${\tilde H}_μ[X;q,t]$, can be given a very simple combinatorial form in terms of corner weights of the Ferrers' diagram of $μ$. A similar formula was later obtained by the last named author for the multiplication of ${\tilde H}_μ[X;q,t]$ by $e_1$, but never published. In the years that followed we have seen some truly remarkable uses of these two Pieri rules in establishing highly non trivial combinatorial results in the Theory of Macdonald polynomials. This theory has recently been spectacularly enriched by various Algebraic Geometrical results in the works of Hikita, Schiffmann, Schiffmann-Vasserot, A. Negut and Gorsky-Negut. This development opens up the challenging task of deriving their results by purely Algebraic Combinatorial methods. In this paper we present the progress obtained by means of Pieri rules.
△ Less
Submitted 29 July, 2014;
originally announced July 2014.
-
Some remarkable new Plethystic Operators in the Theory of Macdonald Polynomials
Authors:
Francois Bergeron,
Adriano Garsia,
Emily Leven,
Guoce Xin
Abstract:
In the 90's a collection of Plethystic operators were introduced in [3], [7] and [8] to solve some Representation Theoretical problems arising from the Theory of Macdonald polynomials. This collection was enriched in the research that led to the results which appeared in [5], [6] and [9]. However since some of the identities resulting from these efforts were eventually not needed, this additional…
▽ More
In the 90's a collection of Plethystic operators were introduced in [3], [7] and [8] to solve some Representation Theoretical problems arising from the Theory of Macdonald polynomials. This collection was enriched in the research that led to the results which appeared in [5], [6] and [9]. However since some of the identities resulting from these efforts were eventually not needed, this additional work remained unpublished. As a consequence of very recent publications [4], [11], [19], [20], [21], a truly remarkable expansion of this theory has taken place. However most of this work has appeared in a language that is virtually inaccessible to practitioners of Algebraic Combinatorics. Yet, these developments have led to a variety of new conjectures in [2] in the Combinatorics and Symmetric function Theory of Macdonald Polynomials. The present work results from an effort to obtain in an elementary and accessible manner all the background necessary to construct the symmetric function side of some of these new conjectures. It turns out that the above mentioned unpublished results provide precisely the tools needed to carry out this project to its completion.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
Compositional (km,kn)-Shuffle Conjectures
Authors:
Francois Bergeron,
Adriano Garsia,
Emily Leven,
Guoce Xin
Abstract:
In 2008, Haglund, Morse and Zabrocki formulated a Compositional form of the Shuffle Conjecture of Haglund et al. In very recent work, Gorsky and Negut by combining their discoveries with the work of Schiffmann-Vasserot on the symmetric function side and the work of Hikita and Gorsky-Mazin on the combinatorial side, were led to formulate an infinite family of conjectures that extend the original Sh…
▽ More
In 2008, Haglund, Morse and Zabrocki formulated a Compositional form of the Shuffle Conjecture of Haglund et al. In very recent work, Gorsky and Negut by combining their discoveries with the work of Schiffmann-Vasserot on the symmetric function side and the work of Hikita and Gorsky-Mazin on the combinatorial side, were led to formulate an infinite family of conjectures that extend the original Shuffle Conjecture of Haglund et al. In fact, they formulated one conjecture for each pair (m,n) of coprime integers. This work of Gorsky-Negut leads naturally to the question as to where the Compositional Shuffle Conjecture of Haglund-Morse-Zabrocki fits into these recent developments. Our discovery here is that there is a compositional extension of the Gorsky-Negut Shuffle Conjecture for each pair (km,kn), with (m,n) co-prime and k > 1.
△ Less
Submitted 7 July, 2014; v1 submitted 17 April, 2014;
originally announced April 2014.
-
A Laurent series proof of the Habsieger-Kadell $q$-Morris Identity
Authors:
Guoce Xin,
Yue Zhou
Abstract:
We give a Laurent series proof of the Habsieger-Kadell $q$-Morris identity, which is a common generalization of the $q$-Morris identity and the Aomoto constant term identity. The proof allows us to extend the theorem for some additional parameter cases.
We give a Laurent series proof of the Habsieger-Kadell $q$-Morris identity, which is a common generalization of the $q$-Morris identity and the Aomoto constant term identity. The proof allows us to extend the theorem for some additional parameter cases.
△ Less
Submitted 24 March, 2014; v1 submitted 26 February, 2013;
originally announced February 2013.
-
Hermite Reduction and Creative Telesco** for Hyperexponential Functions
Authors:
Alin Bostan,
Shaoshi Chen,
Frédéric Chyzak,
Ziming Li,
Guoce Xin
Abstract:
We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of…
▽ More
We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of its main features is that it can avoid the costly computation of certificates. Its implementation outperforms Maple's function DEtools[Zeilberger]. Moreover, we derive an order bound on minimal telescopers, which is more general and tighter than the known one.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
A Euclid style algorithm for MacMahon's partition analysis
Authors:
Guoce Xin
Abstract:
Solutions to a linear Diophantine system, or lattice points in a rational convex polytope, are important concepts in algebraic combinatorics and computational geometry. The enumeration problem is fundamental and has been well studied, because it has many applications in various fields of mathematics. In algebraic combinatorics, MacMahon's partition analysis has become a general approach for linear…
▽ More
Solutions to a linear Diophantine system, or lattice points in a rational convex polytope, are important concepts in algebraic combinatorics and computational geometry. The enumeration problem is fundamental and has been well studied, because it has many applications in various fields of mathematics. In algebraic combinatorics, MacMahon's partition analysis has become a general approach for linear Diophantine system related problems. Many algorithms have been developed, but "bottlenecks" always arise when dealing with complex problems. While in computational geometry, Barvinok's important result asserts the existence of a polynomial time algorithm when the dimension is fixed. However, the implementation by the LattE package of De Loera et. al. does not perform well in many situations. By combining excellent ideas in the two fields, we generalize Barvinok's result by giving a polynomial time algorithm for MacMahon's partition analysis in a suitable condition. We also present an elementary Euclid style algorithm, which might not be polynomial but is easy to implement and performs well. As applications, we contribute the generating series for magic squares of order 6.
△ Less
Submitted 8 April, 2015; v1 submitted 29 August, 2012;
originally announced August 2012.
-
A three shuffle case of the compositional parking function conjecture
Authors:
Adriano M. Garsia,
Guoce Xin,
Mike Zabrocki
Abstract:
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood po…
▽ More
We prove here that the polynomial <nabla(C_p(1)), e_a h_b h_c> q, t-enumerates, by the statistics dinv and area, the parking functions whose supporting Dyck path touches the main diagonal according to the composition p of size a + b + c and have a reading word which is a shuffle of one decreasing word and two increasing words of respective sizes a, b, c. Here Cp(1) is a rescaled Hall-Littlewood polynomial and "nabla" is the Macdonald eigenoperator introduced in [1]. This is our latest progress in a continued effort to settle the decade old shuffle conjecture of [14]. It includes as special cases all previous results connected with this conjecture such as the q, t-Catalan [3] and the Schroder and h, h results of Haglund in [12] as well as their compositional refinements recently obtained in [9] and [10]. It also confirms the possibility that the approach adopted in [9] and [10] has the potential to yield a resolution of the shuffle parking function conjecture as well as its compositional refinement more recently proposed by Haglund, Morse and Zabrocki in [15].
△ Less
Submitted 8 May, 2013; v1 submitted 28 August, 2012;
originally announced August 2012.
-
On Zeilberger's Constant Term for Andrews' TSSCPP Theorem
Authors:
Guoce Xin
Abstract:
This paper studies Zeilberger's two prized constant term identities. For one of the identities, Zeilberger asked for a simple proof that may give rise to a simple proof of Andrews theorem for the number of totally symmetric self complementary plane partitions. We obtain an identity reducing a constant term in $2k$ variables to a constant term in $k$ variables. As applications, Zeilberger's constan…
▽ More
This paper studies Zeilberger's two prized constant term identities. For one of the identities, Zeilberger asked for a simple proof that may give rise to a simple proof of Andrews theorem for the number of totally symmetric self complementary plane partitions. We obtain an identity reducing a constant term in $2k$ variables to a constant term in $k$ variables. As applications, Zeilberger's constant terms are converted to single determinants. The result extends for two classes of matrices, the sum of all of whose full rank minors is converted to a single determinant. One of the prized constant term problems is solved, and we give a seemingly new approach to Macdonald's constant term for root system of type BC.
△ Less
Submitted 23 June, 2011;
originally announced June 2011.
-
MacMahon Partition Analysis and the Poincaré series of the algebras of invariants of ternary, quaternary and quinary forms
Authors:
Leonid Bedratyuk,
Guoce Xin
Abstract:
By using MacMahon partition analysis technique, the Poincaré series for the algebras of invariants of the ternary, quaternary and quinary forms of small orders are calculated.
By using MacMahon partition analysis technique, the Poincaré series for the algebras of invariants of the ternary, quaternary and quinary forms of small orders are calculated.
△ Less
Submitted 7 July, 2010;
originally announced July 2010.
-
Enumeration of bilaterally symmetric 3-noncrossing partitions
Authors:
Guoce Xin,
Terence Y. J. Zhang
Abstract:
Schutzenberger's theorem for the ordinary RSK correspondence naturally extends to Chen et. al's correspondence for matchings and partitions. Thus the counting of bilaterally symmetric $k$-noncrossing partitions naturally arises as an analogue for involutions. In obtaining the analogous result for 3-noncrossing partitions, we use a different technique to develop a Maple package for 2-dimensional…
▽ More
Schutzenberger's theorem for the ordinary RSK correspondence naturally extends to Chen et. al's correspondence for matchings and partitions. Thus the counting of bilaterally symmetric $k$-noncrossing partitions naturally arises as an analogue for involutions. In obtaining the analogous result for 3-noncrossing partitions, we use a different technique to develop a Maple package for 2-dimensional vacillating lattice walk enumeration problems. The package also applies to the hesitating case. As applications, we find several interesting relations for some special bilaterally symmetric partitions.
△ Less
Submitted 7 October, 2008;
originally announced October 2008.