Showing 1–50 of 90 results for author: Yan, S

Sign-changing solutions for critical Hamiltonian systems in $\mathbb{R}^N$

Authors: Yuxia Guo, Seunghyeok Kim, Angela Pistoia, Shusen Yan

Abstract: We build infinitely many geometrically distinct non-radial sign-changing solutions for the Hamiltonian-type elliptic systems $$ -Δu =|v|^{p-1}v\ \hbox{in}\ \mathbb{R}^N,\ -Δv =|u|^{q-1}u\ \hbox{in}\ \mathbb{R}^N,$$ where the exponents $(p,q)$ satisfy $p,q>1$ and belong to the critical hyperbola $$\frac1{p+1}+\frac1{q+1} =\frac {N-2}N.$$ To establish this result, we introduce several new ideas and… ▽ More We build infinitely many geometrically distinct non-radial sign-changing solutions for the Hamiltonian-type elliptic systems $$ -Δu =|v|^{p-1}v\ \hbox{in}\ \mathbb{R}^N,\ -Δv =|u|^{q-1}u\ \hbox{in}\ \mathbb{R}^N,$$ where the exponents $(p,q)$ satisfy $p,q>1$ and belong to the critical hyperbola $$\frac1{p+1}+\frac1{q+1} =\frac {N-2}N.$$ To establish this result, we introduce several new ideas and strategies that are both robust and potentially applicable to other critical problems lacking the Kelvin invariance. △ Less

Submitted 15 June, 2025; originally announced June 2025.

Comments: 53 pages

Morse index, topological degree and local uniqueness of multi-spikes solutions to the Lane-Emden problem in dimension two

Authors: Isabella Ianni, Peng Luo, Shusen Yan

Abstract: We consider multi-spike positive solutions to the Lane-Emden problem in any bounded smooth planar domain and compute their Morse index, extending to the dimension $N=2$ classical theorems due to Bahri-Li-Rey (1995) and Rey (1999) when $N\geq 4$ and $N=3$, respectively. Furthermore, by deeply investigating their concentration behavior, we also derive the total topological degree. The Morse index an… ▽ More We consider multi-spike positive solutions to the Lane-Emden problem in any bounded smooth planar domain and compute their Morse index, extending to the dimension $N=2$ classical theorems due to Bahri-Li-Rey (1995) and Rey (1999) when $N\geq 4$ and $N=3$, respectively. Furthermore, by deeply investigating their concentration behavior, we also derive the total topological degree. The Morse index and the degree counting formula yield a new local uniqueness result. △ Less

Submitted 15 June, 2025; originally announced June 2025.

Learning-based Homothetic Tube MPC

Authors: Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon

Abstract: In this paper, we study homothetic tube model predictive control (MPC) of discrete-time linear systems subject to bounded additive disturbance and mixed constraints on the state and input. Different from most existing work on robust MPC, we assume that the true disturbance set is unknown but a conservative surrogate is available a priori. Leveraging the real-time data, we develop an online learnin… ▽ More In this paper, we study homothetic tube model predictive control (MPC) of discrete-time linear systems subject to bounded additive disturbance and mixed constraints on the state and input. Different from most existing work on robust MPC, we assume that the true disturbance set is unknown but a conservative surrogate is available a priori. Leveraging the real-time data, we develop an online learning algorithm to approximate the true disturbance set. This approximation and the corresponding constraints in the MPC optimisation are updated online using computationally convenient linear programs. We provide statistical gaps between the true and learned disturbance sets, based on which, probabilistic recursive feasibility of homothetic tube MPC problems is discussed. Numerical simulations are provided to demonstrate the efficacy of our proposed algorithm and compare with state-of-the-art MPC algorithms. △ Less

Submitted 6 May, 2025; originally announced May 2025.

Comments: Accepted for presentation at the 23rd European Control Conference

Semiparametric M-estimation with overparameterized neural networks

Authors: Shunxing Yan, Ziyuan Chen, Fang Yao

Abstract: We focus on semiparametric regression that has played a central role in statistics, and exploit the powerful learning ability of deep neural networks (DNNs) while enabling statistical inference on parameters of interest that offers interpretability. Despite the success of classical semiparametric method/theory, establishing the $\sqrt{n}$-consistency and asymptotic normality of the finite-dimensio… ▽ More We focus on semiparametric regression that has played a central role in statistics, and exploit the powerful learning ability of deep neural networks (DNNs) while enabling statistical inference on parameters of interest that offers interpretability. Despite the success of classical semiparametric method/theory, establishing the $\sqrt{n}$-consistency and asymptotic normality of the finite-dimensional parameter estimator in this context remains challenging, mainly due to nonlinearity and potential tangent space degeneration in DNNs. In this work, we introduce a foundational framework for semiparametric $M$-estimation, leveraging the approximation ability of overparameterized neural networks that circumvent tangent degeneration and align better with training practice nowadays. The optimization properties of general loss functions are analyzed, and the global convergence is guaranteed. Instead of studying the ``ideal'' solution to minimization of an objective function in most literature, we analyze the statistical properties of algorithmic estimators, and establish nonparametric convergence and parametric asymptotic normality for a broad class of loss functions. These results hold without assuming the boundedness of the network output and even when the true function lies outside the specified function space. To illustrate the applicability of the framework, we also provide examples from regression and classification, and the numerical experiments provide empirical support to the theoretical findings. △ Less

Submitted 26 April, 2025; originally announced April 2025.

Data driven approach towards more efficient Newton-Raphson power flow calculation for distribution grids

Authors: Shengyuan Yan, Farzad Vazinram, Zeynab Kaseb, Lindsay Spoor, Jochen Stiasny, Betul Mamudi, Amirhossein Heydarian Ardakani, Ugochukwu Orji, Pedro P. Vergara, Yu Xiang, Jerry Guo

Abstract: Power flow (PF) calculations are fundamental to power system analysis to ensure stable and reliable grid operation. The Newton-Raphson (NR) method is commonly used for PF analysis due to its rapid convergence when initialized properly. However, as power grids operate closer to their capacity limits, ill-conditioned cases and convergence issues pose significant challenges. This work, therefore, add… ▽ More Power flow (PF) calculations are fundamental to power system analysis to ensure stable and reliable grid operation. The Newton-Raphson (NR) method is commonly used for PF analysis due to its rapid convergence when initialized properly. However, as power grids operate closer to their capacity limits, ill-conditioned cases and convergence issues pose significant challenges. This work, therefore, addresses these challenges by proposing strategies to improve NR initialization, hence minimizing iterations and avoiding divergence. We explore three approaches: (i) an analytical method that estimates the basin of attraction using mathematical bounds on voltages, (ii) Two data-driven models leveraging supervised learning or physics-informed neural networks (PINNs) to predict optimal initial guesses, and (iii) a reinforcement learning (RL) approach that incrementally adjusts voltages to accelerate convergence. These methods are tested on benchmark systems. This research is particularly relevant for modern power systems, where high penetration of renewables and decentralized generation require robust and scalable PF solutions. In experiments, all three proposed methods demonstrate a strong ability to provide an initial guess for Newton-Raphson method to converge with fewer steps. The findings provide a pathway for more efficient real-time grid operations, which, in turn, support the transition toward smarter and more resilient electricity networks. △ Less

Submitted 15 April, 2025; originally announced April 2025.

Comments: 7 pages, 9 figures, 3 tables, 14 equations, 1 lemma, and 2 theorems. ICT for Industry 2025 Alliander usecase workshop paper. Oral presentation of this paper accepted and to be given on 16th April 2025 in ICT.OPEN 2025 conference of Netherlands in the Beatrix Theatre in Utrecht

ACM Class: I.2.8

Multi-convex Programming for Discrete Latent Factor Models Prototyping

Authors: Hao Zhu, Shengchao Yan, Jasper Hoffmann, Joschka Boedecker

Abstract: Discrete latent factor models (DLFMs) are widely used in various domains such as machine learning, economics, neuroscience, psychology, etc. Currently, fitting a DLFM to some dataset relies on a customized solver for individual models, which requires lots of effort to implement and is limited to the targeted specific instance of DLFMs. In this paper, we propose a generic framework based on CVXPY,… ▽ More Discrete latent factor models (DLFMs) are widely used in various domains such as machine learning, economics, neuroscience, psychology, etc. Currently, fitting a DLFM to some dataset relies on a customized solver for individual models, which requires lots of effort to implement and is limited to the targeted specific instance of DLFMs. In this paper, we propose a generic framework based on CVXPY, which allows users to specify and solve the fitting problem of a wide range of DLFMs, including both regression and classification models, within a very short script. Our framework is flexible and inherently supports the integration of regularization terms and constraints on the DLFM parameters and latent factors, such that the users can easily prototype the DLFM structure according to their dataset and application scenario. We introduce our open-source Python implementation and illustrate the framework in several examples. △ Less

Submitted 26 June, 2025; v1 submitted 2 April, 2025; originally announced April 2025.

MSC Class: 90C25 (Primary); 90C59; 90C90

Proof of a conjecture on the shape-Wilf-equivalence for partially ordered patterns

Authors: Lintong Wang, Sherry H. F. Yan

Abstract: A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kit… ▽ More A partially ordered pattern (abbreviated POP) is a partially ordered set (poset) that generalizes the notion of a pattern when we are not concerned with the relative order of some of its letters. The notion of partially ordered patterns provides a convenient language to deal with large sets of permutation patterns. In analogy to the shape-Wilf-equivalence for permutation patterns, Burstein-Han-Kitaev-Zhang initiated the study of the shape-Wilf-equivalence for POPs which would result in the shape-Wilf-equivalence for large sets of permutation patterns. The main objective of this paper is to confirm a recent intriguing conjecture posed by Burstein-Han-Kitaev-Zhang concerning the shape-Wilf-equivalence for POPs of length $k$. This is accomplished by establishing a bijection between two sets of pattern-avoiding transversals of a given Young diagram. △ Less

Submitted 27 March, 2025; originally announced March 2025.

Asymptotic flocking dynamics of Relativistic-Cucker-Smale particles immersed in incompressible Navier-Stokes equations

Authors: Shenglun Yan, Weiyuan Zou

Abstract: In this paper, we propose a coupled system describing the interaction between the Relativistic Cucker-Smale model and the incompressible Navier-Stokes equations via a drag force, and establish a global existence theory as well as the time-asymptotic behavior of the proposed model in $\mathbb{T}^3$. It is shown that the coupled system exhibits an exponential alignment under some specific assumption… ▽ More In this paper, we propose a coupled system describing the interaction between the Relativistic Cucker-Smale model and the incompressible Navier-Stokes equations via a drag force, and establish a global existence theory as well as the time-asymptotic behavior of the proposed model in $\mathbb{T}^3$. It is shown that the coupled system exhibits an exponential alignment under some specific assumptions, and that weak solutions exist globally for general initial data. △ Less

Submitted 15 March, 2025; originally announced March 2025.

Further results on $r$-Euler-Mahonian statistics

Authors: Kaimei Huang, Sherry H. F. Yan

Abstract: As natural generalizations of the descent number ($\des$) and the major index ($\maj$), Rawlings introduced the notions of the $r$-descent number ($r\des$) and the $r$-major index ($r\maj$) for a given positive integer $r$. A pair $(\st_1, \st_2)$ of permutation statistics is said to be $r$-Euler-Mahonian if $ (\mathrm{st_1}, \mathrm{st_2})$ and $ (r\des, r\maj)$ are equidistributed over the set… ▽ More As natural generalizations of the descent number ($\des$) and the major index ($\maj$), Rawlings introduced the notions of the $r$-descent number ($r\des$) and the $r$-major index ($r\maj$) for a given positive integer $r$. A pair $(\st_1, \st_2)$ of permutation statistics is said to be $r$-Euler-Mahonian if $ (\mathrm{st_1}, \mathrm{st_2})$ and $ (r\des, r\maj)$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$. The main objective of this paper is to confirm a recent conjecture posed by Liu which asserts that $(g\exc_\ell, g\den_\ell)$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$, where $g\exc_\ell$ denotes the $g$-gap $\ell$-level excedance number and $g\den_\ell$ denotes the $g$-gap $\ell$-level Denert's statistic. This is accomplished via a bijective proof of the equidistribution of $(g\exc_\ell, g\den_\ell)$ and $ (r\des, r\maj)$ where $r=g+\ell-1$. Setting $g=\ell=1$, our result recovers the equidistribution of $(\des, \maj)$ and $(\exc, \den)$, which was first conjectured by Denert and proved by Foata and Zeilberger. Our second main result is concerned with the analogous result for $(g\exc_\ell, g\den_{g+\ell})$ which states that $(g\exc_\ell, g\den_{g+\ell})$ is $(g+\ell-1)$-Euler-Mahonian for all positive integers $g$ and $\ell$. △ Less

Submitted 21 January, 2025; originally announced January 2025.

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

Combinatorics on bi-$γ$-positivity of $1/k$-Eulerian polynomials

Authors: Sherry H. F. Yan, Xubo Yang, Zhicong Lin

Abstract: The $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ were introduced as ascent polynomials over $k$-inversion sequences by Savage and Viswanathan. The bi-$γ$-positivity of the $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ was known but to give a combinatorial interpretation of the corresponding bi-$γ$-coefficients still remains open. The study of the theme of bi-$γ$-positivities from purely combinatorial… ▽ More The $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ were introduced as ascent polynomials over $k$-inversion sequences by Savage and Viswanathan. The bi-$γ$-positivity of the $1/k$-Eulerian polynomials $A^{(k)}_{n}(x)$ was known but to give a combinatorial interpretation of the corresponding bi-$γ$-coefficients still remains open. The study of the theme of bi-$γ$-positivities from purely combinatorial aspect was proposed by Athanasiadis. In this paper, we provide a combinatorial interpretation for the bi-$γ$-coefficients of $A^{(k)}_{n}(x)$ by using the model of certain ordered labeled forests. Our combinatorial approach consists of three main steps: (i) construct a bijection between $k$-Stirling permutations and certain forests that are named increasing pruned even $k$-ary forests; (ii) introduce a generalized Foata--Strehl action on increasing pruned even $k$-ary trees which implies the longest ascent-plateau polynomials over $k$-Stirling permutations with initial letter $1$ are $γ$-positive, a result that may have independent interest; (iii) develop two crucial transformations on increasing pruned even $k$-ary forests to conclude our combinatorial interpretation. △ Less

Submitted 21 January, 2025; originally announced January 2025.

Comments: 30 pages, 11 figures

Bijections around Springer numbers

Authors: Shaoshi Chen, Yang Li, Zhicong Lin, Sherry H. F. Yan

Abstract: Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes. Callan conjectured in 2012 and Han--Kitaev--Zhang proved recently that rc-invariant alternating permutations are counted by Springer numbers. Very recently, Chen--Fa… ▽ More Arnol'd proved in 1992 that Springer numbers enumerate the Snakes, which are type $B$ analogs of alternating permutations. Chen, Fan and Jia in 2011 introduced the labeled ballot paths and established a ``hard'' bijection with snakes. Callan conjectured in 2012 and Han--Kitaev--Zhang proved recently that rc-invariant alternating permutations are counted by Springer numbers. Very recently, Chen--Fang--Kitaev--Zhang investigated multi-dimensional permutations and proved that weakly increasing $3$-dimensional permutations are also counted by Springer numbers. In this work, we construct a sequence of ``natural'' bijections linking the above four combinatorial objects. △ Less

Submitted 31 December, 2024; originally announced January 2025.

Comments: 7 pages

Quasihyperbolic metric and Gromov hyperbolic spaces I

Authors: Hongjun Liu, Ling Xia, Shasha Yan

Abstract: In this paper, we introduce the concepts of short arc and length map in quasihyperbolic metric spaces, and obtain some geometric characterizations of Gromov hyperbolicity for quasihyperbolic metric spaces in terms of the properties of short arc and length map. In this paper, we introduce the concepts of short arc and length map in quasihyperbolic metric spaces, and obtain some geometric characterizations of Gromov hyperbolicity for quasihyperbolic metric spaces in terms of the properties of short arc and length map. △ Less

Submitted 9 November, 2024; v1 submitted 18 September, 2024; originally announced September 2024.

Comments: arXiv admin note: text overlap with arXiv:1706.05494 by other authors

Optimization Hyper-parameter Laws for Large Language Models

Authors: Xingyu Xie, Kuangyu Ding, Shuicheng Yan, Kim-Chuan Toh, Tianwen Wei

Abstract: Large Language Models have driven significant AI advancements, yet their training is resource-intensive and highly sensitive to hyper-parameter selection. While scaling laws provide valuable guidance on model size and data requirements, they fall short in choosing dynamic hyper-parameters, such as learning-rate (LR) schedules, that evolve during training. To bridge this gap, we present Optimizatio… ▽ More Large Language Models have driven significant AI advancements, yet their training is resource-intensive and highly sensitive to hyper-parameter selection. While scaling laws provide valuable guidance on model size and data requirements, they fall short in choosing dynamic hyper-parameters, such as learning-rate (LR) schedules, that evolve during training. To bridge this gap, we present Optimization Hyper-parameter Laws (Opt-Laws), a framework that effectively captures the relationship between hyper-parameters and training outcomes, enabling the pre-selection of potential optimal schedules. Grounded in stochastic differential equations, Opt-Laws introduce novel mathematical interpretability and offer a robust theoretical foundation for some popular LR schedules. Our extensive validation across diverse model sizes and data scales demonstrates Opt-Laws' ability to accurately predict training loss and identify optimal LR schedule candidates in pre-training, continual training, and fine-tuning scenarios. This approach significantly reduces computational costs while enhancing overall model performance. △ Less

Submitted 19 January, 2025; v1 submitted 7 September, 2024; originally announced September 2024.

Parity statistics on restricted permutations and the Catalan--Schett polynomials

Authors: Zhicong Lin, Jing Liu, Sherry H. F. Yan

Abstract: Motivated by Kitaev and Zhang's recent work on non-overlapping ascents in stack-sortable permutations and Dumont's permutation interpretation of the Jacobi elliptic functions, we investigate some parity statistics on restricted permutations. Some new related bijections are constructed and two refinements of the generating function for descents over $321$-avoiding permutations due to Barnabei, Bone… ▽ More Motivated by Kitaev and Zhang's recent work on non-overlapping ascents in stack-sortable permutations and Dumont's permutation interpretation of the Jacobi elliptic functions, we investigate some parity statistics on restricted permutations. Some new related bijections are constructed and two refinements of the generating function for descents over $321$-avoiding permutations due to Barnabei, Bonetti and Silimbanian are obtained. In particular, an open problem of Kitaev and Zhang about non-overlapping ascents on $321$-avoiding permutations is solved and several combinatorial interpretations for the Catalan--Schett polynomials are found. The stack-sortable permutations are at the heart of our approaches. △ Less

Submitted 2 September, 2024; originally announced September 2024.

Comments: 29 pages, 11 figures, presented as a talk by Jing Liu at ICECA 2024 (August 26-28, 2024)

On a conjecture concerning the $r$-Euler-Mahonian statistic on permutations

Authors: Kaimei Huang, Zhicong Lin, Sherry H. F. Yan

Abstract: A pair $(\mathrm{st_1}, \mathrm{st_2})$ of permutation statistics is said to be $r$-Euler-Mahonian if $(\mathrm{st_1}, \mathrm{st_2})$ and $( \mathrm{rdes}$, $\mathrm{rmaj})$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$, where $\mathrm{rdes}$ denotes the $r$-descent number and $\mathrm{rmaj}$ denotes the $r$-major index introduced by Rawlings. Th… ▽ More A pair $(\mathrm{st_1}, \mathrm{st_2})$ of permutation statistics is said to be $r$-Euler-Mahonian if $(\mathrm{st_1}, \mathrm{st_2})$ and $( \mathrm{rdes}$, $\mathrm{rmaj})$ are equidistributed over the set $\mathfrak{S}_{n}$ of all permutations of $\{1,2,\ldots, n\}$, where $\mathrm{rdes}$ denotes the $r$-descent number and $\mathrm{rmaj}$ denotes the $r$-major index introduced by Rawlings. The main objective of this paper is to prove that $(\mathrm{exc}_r, \mathrm{den}_r)$ and $( \mathrm{rdes}$, $\mathrm{rmaj})$ are equidistributed over $\mathfrak{S}_{n}$, thereby confirming a recent conjecture posed by Liu. When $r=1$, the result recovers the equidistribution of $(\mathrm{des}, \mathrm{maj})$ and $(\mathrm{exc}, \mathrm{den})$, which was first conjectured by Denert and proved by Foata and Zeilberger. △ Less

Submitted 7 August, 2024; originally announced August 2024.

Global solvability for the Boussinesq system with fractional Laplacian

Authors: Huiyang Zhang, Shuokai Yan, Qinghua Zhang

Abstract: This paper focuses on the global solvability for the Boussinesq system with fractional Laplacian $(-Δ)^α$ in $\mathbb{R}^{n}$ for $n\geq3$. It proves the existence of a small positive number $\varepsilon=\varepsilon(n,α)$ such that for each $0<T<\infty$, if $\frac{1}{2}<α<\frac{2+n}{4}$ and $\|u_{0}\|_{\dot{H}^{s_{0}}}+T^{1/2}\|θ_{0}\|_{\dot{H}^{s_{0}-α}}\leq \varepsilon$, then the fractional Bous… ▽ More This paper focuses on the global solvability for the Boussinesq system with fractional Laplacian $(-Δ)^α$ in $\mathbb{R}^{n}$ for $n\geq3$. It proves the existence of a small positive number $\varepsilon=\varepsilon(n,α)$ such that for each $0<T<\infty$, if $\frac{1}{2}<α<\frac{2+n}{4}$ and $\|u_{0}\|_{\dot{H}^{s_{0}}}+T^{1/2}\|θ_{0}\|_{\dot{H}^{s_{0}-α}}\leq \varepsilon$, then the fractional Boussinesq system has a unique strong solution on the bounded interval $[0,T]$. If $\frac{1}{2}<α<\frac{2+n}{6}$ and $\|u_{0}\|_{\dot{H}^{s_{0}}}+\|θ_{0}\|_{\dot{H}^{s_{0}-2α}}\leq \varepsilon$, then the fractional Boussinesq system has a unique strong solution on the whole interval $[0,\infty)$. △ Less

Submitted 6 April, 2024; originally announced April 2024.

MSC Class: 35Q30; 76D05

Energy growth for systems of coupled oscillators with partial damping

Authors: Dmitry Dolgopyat, Bassam Fayad, Leonid Koralov, Shuo Yan

Abstract: We consider two interacting particles on the circle. The particles are subject to stochastic forcing, which is modeled by white noise. In addition, one of the particles is subject to friction, which models energy dissipation due to the interaction with the environment. We show that, in the diffusive limit, the absolute value of the velocity of the other particle converges to the reflected Brownian… ▽ More We consider two interacting particles on the circle. The particles are subject to stochastic forcing, which is modeled by white noise. In addition, one of the particles is subject to friction, which models energy dissipation due to the interaction with the environment. We show that, in the diffusive limit, the absolute value of the velocity of the other particle converges to the reflected Brownian motion. In other words, the interaction between the particles are asymptotically negligible in the scaling limit. The proof combines averaging for large energies with large deviation estimates for small energies. △ Less

Submitted 9 April, 2025; v1 submitted 2 December, 2023; originally announced December 2023.

Stress and frequency optimization of prismatic sandwich beams with joints: Performance improvements through topology optimization

Authors: Shengyu Yan, Jasmin Jelovica

Abstract: Prismatic sandwich panels fabricated from metals offer a compelling alternative to more traditional panels across diverse industries, primarily due to their superior strength-to-weight ratio. Although several core types were proposed in the past, further improvements in performance could be achieved by devising the topology of the core through a topology optimization framework, which is explored i… ▽ More Prismatic sandwich panels fabricated from metals offer a compelling alternative to more traditional panels across diverse industries, primarily due to their superior strength-to-weight ratio. Although several core types were proposed in the past, further improvements in performance could be achieved by devising the topology of the core through a topology optimization framework, which is explored in this article for the first time. Another novelty is the inclusion of joints between the sandwich beams and its surroundings in the analysis and optimization. Stress is minimized under uniform pressure loading on the beams and natural frequency maximized using the Method of Moving Asymptotes. The results are compared with X-core, Y-core, corrugated-core, and web-core sandwich beams, a few conventional prismatic sandwich types, which are optimized using a prominent global evolutionary algorithm. Manufacturing requirements are considered through practical limitations on the design variables. It is shown that structures produced by topology optimization outperform the conventional sandwich beams by up to 44% at intermediate to high mass levels, where volume fraction is between 0.2 and 0.4, but often through increased topological complexity. The new core topologies bear a certain resemblance with the conventional core types, underscoring engineering ingenuity that went into their development over the years. The topology of the optimized joints differs from the conventional joint. The results also show some limitations of the topology optimization framework, for example that it does not offer better-performing beams for volume fractions below 0.2. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 17 pages, 3 tables, 19 figures, journal paper

MSC Class: 74-10

Finite-dimensionality of attractors for wave equations with degenerate nonlocal damping

Authors: Zhijun Tang, Senlin Yan, Yao Xu, Chengkui Zhong

Abstract: In this paper we study the fractal dimension of global attractors for a class of wave equations with (single-point) degenerate nonlocal damping. Both the equation and its linearization degenerate into linear wave equations at the degenerate point and the usual approaches to bound the dimension of the entirety of attractors do not work directly. Instead, we develop a new process concerning the dime… ▽ More In this paper we study the fractal dimension of global attractors for a class of wave equations with (single-point) degenerate nonlocal damping. Both the equation and its linearization degenerate into linear wave equations at the degenerate point and the usual approaches to bound the dimension of the entirety of attractors do not work directly. Instead, we develop a new process concerning the dimension near the degenerate point individually and show the finite dimensionality of the attractor. △ Less

Submitted 27 October, 2023; v1 submitted 9 September, 2023; originally announced September 2023.

Comments: 33 pages

MSC Class: 37L30; 35B41; 35B40

Local limit theorem for time-inhomogeneous functions of Markov processes

Authors: Leonid Koralov, Shuo Yan

Abstract: In this paper, we consider a continuous-time Markov process and prove a local limit theorem for the integral of a time-inhomogeneous function of the process. One application is in the study of the fast-oscillating perturbations of linear dynamical systems. In this paper, we consider a continuous-time Markov process and prove a local limit theorem for the integral of a time-inhomogeneous function of the process. One application is in the study of the fast-oscillating perturbations of linear dynamical systems. △ Less

Submitted 28 January, 2025; v1 submitted 1 August, 2023; originally announced August 2023.

MSC Class: 60F05; 60J25

Journal ref: Stochastic Processes and their Applications, Volume 182, 2025, 104567

Fast-oscillating random perturbations of Hamiltonian systems

Authors: Shuo Yan

Abstract: We consider coupled slow-fast stochastic processes, where the averaged slow motion is given by a two-dimensional Hamiltonian system with multiple critical points. On a proper time scale, the evolution of the first integral converges to a diffusion process on the corresponding Reeb graph, with certain gluing conditions specified at the interior vertices, as in the case of additive white noise pertu… ▽ More We consider coupled slow-fast stochastic processes, where the averaged slow motion is given by a two-dimensional Hamiltonian system with multiple critical points. On a proper time scale, the evolution of the first integral converges to a diffusion process on the corresponding Reeb graph, with certain gluing conditions specified at the interior vertices, as in the case of additive white noise perturbations of Hamiltonian systems considered by M. Freidlin and A. Wentzell. The current paper provides the first result where the motion on a graph and the corresponding gluing conditions appear due to the averaging of a slow-fast system, with a Hamiltonian structure, on a large time scale. The result allows one to consider, for instance, long-time diffusion approximation for an oscillator with a potential with more than one well. △ Less

Submitted 30 July, 2024; v1 submitted 26 July, 2023; originally announced July 2023.

MSC Class: 37J40; 60F17

Equidistribution of set-valued statistics on standard Young tableaux and transversals

Authors: Robin D. P. Zhou, Sherry H. F. Yan

Abstract: As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the… ▽ More As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the valley set on standard Young tableaux and pattern avoiding transversals. In particular, by introducing Knuth transformations on standard Young tableaux, we prove that the peak set and the valley set are equidistributed on the standard Young tableaux of shape $λ/μ$ for any skew diagram $λ/μ$. The equidistribution enables us to show that the peak set is equidistributed over $\mathcal{T}_λ(12\cdots kτ)$ (resp. $\mathcal{ST}_λ(12\cdots k τ)$) and $\mathcal{T}_λ(k\cdots 21τ) $ (resp. $\mathcal{ST}_λ(k\cdots 21τ)$) for any Young diagram $λ$ and any permutation $τ$ of $\{k+1, k+2, \ldots, k+m\}$ with $k,m\geq 1$. Our results are refinements of the result of Backelin-West-Xin which states that $|\mathcal{T}_λ(12\cdots kτ)|=|\mathcal{T}_λ(k\cdots 21 τ)|$ and the result of Bousquet-Mélou and Steingrímsson which states that $|\mathcal{ST}_λ(12\cdots k τ)|=|\mathcal{ST}_λ(k\cdots 21 τ)|$. △ Less

Submitted 7 June, 2023; originally announced June 2023.

A Distributionally Robust Approach to Regret Optimal Control using the Wasserstein Distance

Authors: Feras Al Taha, Shuhao Yan, Eilyan Bitar

Abstract: This paper proposes a distributionally robust approach to regret optimal control of discrete-time linear dynamical systems with quadratic costs subject to a stochastic additive disturbance on the state process. The underlying probability distribution of the disturbance process is unknown, but assumed to lie in a given ball of distributions defined in terms of the type-2 Wasserstein distance. In th… ▽ More This paper proposes a distributionally robust approach to regret optimal control of discrete-time linear dynamical systems with quadratic costs subject to a stochastic additive disturbance on the state process. The underlying probability distribution of the disturbance process is unknown, but assumed to lie in a given ball of distributions defined in terms of the type-2 Wasserstein distance. In this framework, strictly causal linear disturbance feedback controllers are designed to minimize the worst-case expected regret. The regret incurred by a controller is defined as the difference between the cost it incurs in response to a realization of the disturbance process and the cost incurred by the optimal noncausal controller which has perfect knowledge of the disturbance process realization at the outset. Building on a well-established duality theory for optimal transport problems, we derive a reformulation of the minimax regret optimal control problem as a tractable semidefinite program. Using the equivalent dual reformulation, we characterize a worst-case distribution achieving the worst-case expected regret in relation to the distribution at the center of the Wasserstein ball. We compare the minimax regret optimal control design method with the distributionally robust optimal control approach using an illustrative example and numerical experiments. △ Less

Submitted 16 August, 2023; v1 submitted 13 April, 2023; originally announced April 2023.

Comments: 8 pages, 3 figures, to appear in the proceedings of the 2023 IEEE Conference on Decision and Control (CDC)

Learning-based Rigid Tube Model Predictive Control

Authors: Yulong Gao, Shuhao Yan, Jian Zhou, Mark Cannon, Alessandro Abate, Karl H. Johansson

Abstract: This paper is concerned with model predictive control (MPC) of discrete-time linear systems subject to bounded additive disturbance and mixed constraints on the state and input, whereas the true disturbance set is unknown. Unlike most existing work on robust MPC, we propose an algorithm incorporating online learning that builds on prior knowledge of the disturbance, i.e., a known but conservative… ▽ More This paper is concerned with model predictive control (MPC) of discrete-time linear systems subject to bounded additive disturbance and mixed constraints on the state and input, whereas the true disturbance set is unknown. Unlike most existing work on robust MPC, we propose an algorithm incorporating online learning that builds on prior knowledge of the disturbance, i.e., a known but conservative disturbance set. We approximate the true disturbance set at each time step with a parameterised set, which is referred to as a quantified disturbance set, using disturbance realisations. A key novelty is that the parameterisation of these quantified disturbance sets enjoys desirable properties such that the quantified disturbance set and its corresponding rigid tube bounding disturbance propagation can be efficiently updated online. We provide statistical gaps between the true and quantified disturbance sets, based on which, probabilistic recursive feasibility of MPC optimisation problems is discussed. Numerical simulations are provided to demonstrate the effectiveness of our proposed algorithm and compare with conventional robust MPC algorithms. △ Less

Submitted 21 May, 2024; v1 submitted 11 April, 2023; originally announced April 2023.

Comments: 8 pages

The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true

Authors: Hao Liang, Sizhuo Yan, Jianting Yang, Lihong Zhi

Abstract: Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative semidefinite. We provide an example to show the open problem has a negative answer. Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative semidefinite. We provide an example to show the open problem has a negative answer. △ Less

Submitted 12 May, 2023; v1 submitted 10 March, 2023; originally announced March 2023.

Deep Regression for Repeated Measurements

Authors: Shunxing Yan, Fang Yao, Hang Zhou

Abstract: Nonparametric mean function regression with repeated measurements serves as a cornerstone for many statistical branches, such as longitudinal/panel/functional data analysis. In this work, we investigate this problem using fully connected deep neural network (DNN) estimators with flexible shapes. A novel theoretical framework allowing arbitrary sampling frequency is established by adopting empirica… ▽ More Nonparametric mean function regression with repeated measurements serves as a cornerstone for many statistical branches, such as longitudinal/panel/functional data analysis. In this work, we investigate this problem using fully connected deep neural network (DNN) estimators with flexible shapes. A novel theoretical framework allowing arbitrary sampling frequency is established by adopting empirical process techniques to tackle clustered dependence. We then consider the DNN estimators for Hölder target function and illustrate a key phenomenon, the phase transition in the convergence rate, inherent to repeated measurements and its connection to the curse of dimensionality. Furthermore, we study several examples with low intrinsic dimensions, including the hierarchical composition model, low-dimensional support set and anisotropic Hölder smoothness. We also obtain new approximation results and matching lower bounds to demonstrate the adaptivity of the DNN estimators for circumventing the curse of dimensionality. Simulations and real data examples are provided to support our theoretical findings and practical implications. △ Less

Submitted 26 February, 2025; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 88 pages, 6 figures

A Characterization of Perfect Strategies for Mirror Games

Authors: Sizhuo Yan, Jianting Yang, Tianshi Yu, Lihong Zhi

Abstract: We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization of whether or not a mirror game has perfect commuting operator strategies. This new characterization uses a smaller algebra introduced by Paulsen and others for synchronous games and the noncommutative Nullstellensatz dev… ▽ More We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization of whether or not a mirror game has perfect commuting operator strategies. This new characterization uses a smaller algebra introduced by Paulsen and others for synchronous games and the noncommutative Nullstellensatz developed by Cimpric, Helton and collaborators. An algorithm based on noncommutative Gröbner basis computation and semidefinite programming is given for certifying that a given mirror game has no perfect commuting operator strategies. △ Less

Submitted 11 May, 2023; v1 submitted 9 February, 2023; originally announced February 2023.

Comments: To appear ISSAC'2023 Proc. 2023 Internat. Symp. Symbolic Algebraic Comput

A Lattice Boltzmann Method for Elastic Solids Under Plane Strain Deformation

Authors: Alexander Schlüter, Henning Müller, Sikang Yan, Erik Faust, Ralf Müller

Abstract: The Lattice Boltzmann Method (LBM), e.g. in [ 1] and [2 ], can be interpreted as an alternative method for the numerical solution of partial differential equations. Consequently, although the LBM is usually applied to solve fluid flows, the above interpretation of the LBM as a general numerical tool, allows the LBM to be extended to solid mechanics as well. In this spirit, the LBM has been studied… ▽ More The Lattice Boltzmann Method (LBM), e.g. in [ 1] and [2 ], can be interpreted as an alternative method for the numerical solution of partial differential equations. Consequently, although the LBM is usually applied to solve fluid flows, the above interpretation of the LBM as a general numerical tool, allows the LBM to be extended to solid mechanics as well. In this spirit, the LBM has been studied in recent years. First publications [3], [4] presented an LBM scheme for the numerical solution of the dynamic behavior of a linear elastic solid under simplified deformation assumptions. For so-called anti-plane shear deformation, the only non-zero displacement component is governed by a two-dimensional wave equation. In this work, an existing LBM for the two-dimensional wave equation is extended to more general plane strain problems. The proposed algorithm reduces the plane strain problem to the solution of two separate wave equations for the volume dilatation and the non-zero component of the rotation vector, respectively. A particular focus is on the implementation of types of boundary conditions that are commonly encountered in engineering practice for solids: Dirichlet and Neumann boundary conditions. Last, several numerical experiments are conducted that highlight the performance of the new LBM in comparison to the Finite Element Method. △ Less

Submitted 31 December, 2022; originally announced January 2023.

Comments: 16 pages, 15 figures

On Refinements of Wilf-Equivalence for Involutions

Authors: Sherry H. F. Yan, Lintong Wang, Robin D. P. Zhou

Abstract: Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is a… ▽ More Let $\mathcal{S}_n(π)$ (resp. $\mathcal{I}_n(π)$ and $\mathcal{AI}_n(π)$) denote the set of permutations (resp. involutions and alternating involutions) of length $n$ which avoid the permutation pattern $π$. For $k,m\geq 1$, Backelin-West-Xin proved that $|\mathcal{S}_n(12\cdots kτ)|= |\mathcal{S}_n(k\cdots 21τ)|$ by establishing a bijection between these two sets, where $τ= τ_1τ_2\cdots τ_m$ is an arbitrary permutation of $k+1,k+2,\ldots,k+m$. The result has been extended to involutions by Bousquet-Mélou and Steingrímsson and to alternating permutations by the first author. In this paper, we shall establish a peak set preserving bijection between $\mathcal{I}_n(123τ)$ and $\mathcal{I}_n(321τ)$ via transversals, matchings, oscillating tableaux and pairs of noncrossing Dyck paths as intermediate structures. Our result is a refinement of the result of Bousquet-Mélou and Steingrímsson for the case when $k=3$. As an application, we show bijectively that $|\mathcal{AI}_n(123τ)| = |\mathcal{AI}_n(321τ)|$, confirming a recent conjecture of Barnabei-Bonetti-Castronuovo-Silimbani. Furthmore, some conjectured equalities posed by Barnabei-Bonetti-Castronuovo-Silimbani concerning pattern avoiding alternating involutions are also proved. △ Less

Submitted 4 December, 2022; originally announced December 2022.

Comments: 31 pages, 12 figures

Well-posedness and strong attractors for a beam model with degenerate nonlocal strong damping

Authors: Senlin Yan, Chengkui Zhong

Abstract: This paper is devoted to initial-boundary value problem of an extensible beam equation with degenerate nonlocal energy damping in $Ω\subset\mathbb{R}^n$: $u_{tt}-κΔu+Δ^2u-γ(\Vert Δu\Vert^2+\Vert u_t\Vert^2)^qΔu_t+f(u)=0$. We prove the global existence and uniqueness of weak solutions, which gives a positive answer to an open question in [24]. Moreover, we establish the existence of a strong attrac… ▽ More This paper is devoted to initial-boundary value problem of an extensible beam equation with degenerate nonlocal energy damping in $Ω\subset\mathbb{R}^n$: $u_{tt}-κΔu+Δ^2u-γ(\Vert Δu\Vert^2+\Vert u_t\Vert^2)^qΔu_t+f(u)=0$. We prove the global existence and uniqueness of weak solutions, which gives a positive answer to an open question in [24]. Moreover, we establish the existence of a strong attractor for the corresponding weak solution semigroup, where the ``strong" means that the compactness and attractiveness of the attractor are in the topology of a stronger space $\mathcal{H}_{\frac{1}{q}}$. △ Less

Submitted 27 April, 2023; v1 submitted 1 November, 2022; originally announced November 2022.

Comments: 27 pages

Adan: Adaptive Nesterov Momentum Algorithm for Faster Optimizing Deep Models

Authors: Xingyu Xie, Pan Zhou, Huan Li, Zhouchen Lin, Shuicheng Yan

Abstract: In deep learning, different kinds of deep networks typically need different optimizers, which have to be chosen after multiple trials, making the training process inefficient. To relieve this issue and consistently improve the model training speed across deep networks, we propose the ADAptive Nesterov momentum algorithm, Adan for short. Adan first reformulates the vanilla Nesterov acceleration to… ▽ More In deep learning, different kinds of deep networks typically need different optimizers, which have to be chosen after multiple trials, making the training process inefficient. To relieve this issue and consistently improve the model training speed across deep networks, we propose the ADAptive Nesterov momentum algorithm, Adan for short. Adan first reformulates the vanilla Nesterov acceleration to develop a new Nesterov momentum estimation (NME) method, which avoids the extra overhead of computing gradient at the extrapolation point. Then, Adan adopts NME to estimate the gradient's first- and second-order moments in adaptive gradient algorithms for convergence acceleration. Besides, we prove that Adan finds an $ε$-approximate first-order stationary point within $\mathcal{O}(ε^{-3.5})$ stochastic gradient complexity on the non-convex stochastic problems (e.g., deep learning problems), matching the best-known lower bound. Extensive experimental results show that Adan consistently surpasses the corresponding SoTA optimizers on vision, language, and RL tasks and sets new SoTAs for many popular networks and frameworks, e.g., ResNet, ConvNext, ViT, Swin, MAE, DETR, GPT-2, Transformer-XL, and BERT. More surprisingly, Adan can use half of the training cost (epochs) of SoTA optimizers to achieve higher or comparable performance on ViT, GPT-2, MAE, etc., and also shows great tolerance to a large range of minibatch size, e.g., from 1k to 32k. Code is released at https://github.com/sail-sg/Adan, and has been used in multiple popular deep learning frameworks or projects. △ Less

Submitted 29 November, 2024; v1 submitted 13 August, 2022; originally announced August 2022.

Extensions of S-Lemma for Noncommutative Polynomials

Authors: Feng Guo, Sizhuo Yan, Lihong Zhi

Abstract: We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbe… ▽ More We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbers, matrix-valued noncommutative polynomials and hereditary polynomials. △ Less

Submitted 4 July, 2022; v1 submitted 2 July, 2022; originally announced July 2022.

Long-time dynamics of the wave equation with nonlocal weak damping and sup-cubic nonlinearity in 3-D domains

Authors: Senlin Yan, Chengkui Zhong, Zhijun Tang

Abstract: In this paper, we study the long-time dynamics for the wave equation with nonlocal weak damping and sup-cubic nonlinearity in a bounded smooth domain of $\mathbb{R}^3.$ Based on the Strichartz estimates for the case of bounded domains, we first prove the global well-posedness of the Shatah-Struwe solutions. Then we establish the existence of the global attractor for the Shatah-Struwe solution semi… ▽ More In this paper, we study the long-time dynamics for the wave equation with nonlocal weak damping and sup-cubic nonlinearity in a bounded smooth domain of $\mathbb{R}^3.$ Based on the Strichartz estimates for the case of bounded domains, we first prove the global well-posedness of the Shatah-Struwe solutions. Then we establish the existence of the global attractor for the Shatah-Struwe solution semigroup by the method of contractive function. Finally, we verify the existence of a polynomial attractor for this semigroup. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Comments: 15 pages

Strong attractors for weakly damped quintic wave equation in bounded domains

Authors: Senlin Yan, Zhijun Tang, Chengkui Zhong

Abstract: In this paper, we study the longtime dynamics for the weakly damped wave equation with quintic non-linearity in a bounded smooth domain of $\mathbb{R}^3.$ Based on the Strichartz estimates for the case of bounded domains, we establish the existence of a strong global attractor in the phase space $H^2(Ω)\cap H^1_0(Ω)\times H^1_0(Ω)$. Moreover, the finite fractal dimension of the attractor is also s… ▽ More In this paper, we study the longtime dynamics for the weakly damped wave equation with quintic non-linearity in a bounded smooth domain of $\mathbb{R}^3.$ Based on the Strichartz estimates for the case of bounded domains, we establish the existence of a strong global attractor in the phase space $H^2(Ω)\cap H^1_0(Ω)\times H^1_0(Ω)$. Moreover, the finite fractal dimension of the attractor is also shown with the help of the quasi-stable estimation. △ Less

Submitted 7 June, 2022; originally announced June 2022.

Comments: 18 pages

Data-Driven Approximations of Chance Constrained Programs in Nonstationary Environments

Authors: Shuhao Yan, Francesca Parise, Eilyan Bitar

Abstract: We study sample average approximations (SAA) of chance constrained programs. SAA methods typically approximate the actual distribution in the chance constraint using an empirical distribution constructed from random samples assumed to be independent and identically distributed according to the actual distribution. In this paper, we consider a nonstationary variant of this problem, where the random… ▽ More We study sample average approximations (SAA) of chance constrained programs. SAA methods typically approximate the actual distribution in the chance constraint using an empirical distribution constructed from random samples assumed to be independent and identically distributed according to the actual distribution. In this paper, we consider a nonstationary variant of this problem, where the random samples are assumed to be independently drawn in a sequential fashion from an unknown and possibly time-varying distribution. This nonstationarity may be driven by changing environmental conditions present in many real-world applications. To account for the potential nonstationarity in the data generation process, we propose a novel robust SAA method exploiting information about the Wasserstein distance between the sequence of data-generating distributions and the actual chance constraint distribution. As a key result, we obtain distribution-free estimates of the sample size required to ensure that the robust SAA method will yield solutions that are feasible for the chance constraint under the actual distribution with high confidence. △ Less

Submitted 7 May, 2022; originally announced May 2022.

Comments: 6 pages, 1 figure

Combinatorics of Integer Partitions With Prescribed Perimeter

Authors: Zhicong Lin, Huan Xiong, Sherry H. F. Yan

Abstract: We prove that the number of even parts and the number of times that parts are repeated have the same distribution over integer partitions with a fixed perimeter. This refines Straub's analog of Euler's Odd-Distinct partition theorem. We generalize the two concerned statistics to these of the part-difference less than $d$ and the parts not congruent to $1$ modulo $d+1$ and prove a distribution ineq… ▽ More We prove that the number of even parts and the number of times that parts are repeated have the same distribution over integer partitions with a fixed perimeter. This refines Straub's analog of Euler's Odd-Distinct partition theorem. We generalize the two concerned statistics to these of the part-difference less than $d$ and the parts not congruent to $1$ modulo $d+1$ and prove a distribution inequality, that has a similar flavor as Alder's ex-conjecture, over partitions with a prescribed perimeter. Both of our results are proved analytically and combinatorially. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 15 pages

Qualitative analysis on the critical points of the Robin function

Authors: Francesca Gladiali, Massimo Grossi, Peng Luo, Shusen Yan

Abstract: Let $Ω\subset\mathbb{R}^N$ be a smooth bounded domain with $N\ge2$ and $Ω_ε=Ω\backslash B(P,ε)$ where $B(P,ε)$ is the ball centered at $P\inΩ$ and radius $ε$. In this paper, we establish the number, location and non-degeneracy of critical points of the Robin function in $Ω_ε$ for $ε$ small enough. We will show that the location of $P$ plays a crucial role on the existence and multiplicity of the c… ▽ More Let $Ω\subset\mathbb{R}^N$ be a smooth bounded domain with $N\ge2$ and $Ω_ε=Ω\backslash B(P,ε)$ where $B(P,ε)$ is the ball centered at $P\inΩ$ and radius $ε$. In this paper, we establish the number, location and non-degeneracy of critical points of the Robin function in $Ω_ε$ for $ε$ small enough. We will show that the location of $P$ plays a crucial role on the existence and multiplicity of the critical points. The proof of our result is a consequence of delicate estimates on the Green function near to $\partial B(P,ε)$. Some applications to compute the exact number of solutions of related well-studied nonlinear elliptic problems will be showed. △ Less

Submitted 22 February, 2022; originally announced February 2022.

On a conjecture concerning the shuffle-compatible permutation statistics

Authors: Lihong Yang, Sherry H. F. Yan

Abstract: The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ deno… ▽ More The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ denotes the descent number. This is accomplished by establishing an ${\rm (udr, pk, des)}$-preserving bijection in the spirit of Baker-Jarvis and Sagan's bijective proofs of shuffle-compatibility property of permutation statistics. As an application, our bijection also enables us to prove that the pair $({\rm cpk}, {\rm cdes})$ is cyclic shuffle-compatible, where ${\rm cpk}$ denotes the cyclic peak number and ${\rm cdes}$ denotes the cyclic descent number. △ Less

Submitted 11 May, 2022; v1 submitted 18 January, 2022; originally announced January 2022.

Large Deviations for Hamiltonian Systems on Intermediate Time Scales

Authors: Shuo Yan

Abstract: We consider a two-dimensional Hamiltonian system perturbed by a small diffusion term, whose coefficient is state-dependent and non-degenerate. As a result, the process consists of the fast motion along the level curves and slow motion across them. On finite time intervals, the large deviation principle applies, while on time scales that are inversely proportional to the size of the perturbation, t… ▽ More We consider a two-dimensional Hamiltonian system perturbed by a small diffusion term, whose coefficient is state-dependent and non-degenerate. As a result, the process consists of the fast motion along the level curves and slow motion across them. On finite time intervals, the large deviation principle applies, while on time scales that are inversely proportional to the size of the perturbation, the averaging principle holds, i.e., the projection of the process onto the Reeb graph converges to a Markov process. In our paper, we consider the intermediate time scales and prove the large deviation principle, with the action functional determined in terms of the averaged process on the graph. △ Less

Submitted 22 May, 2022; v1 submitted 11 November, 2021; originally announced November 2021.

MSC Class: 37J40; 60F10

The Gessel Correspondence and the Partial $γ$-Positivity of the Eulerian Polynomials on Multiset Stirling Permutations

Authors: William Y. C. Chen, Amy M. Fu, Sherry H. F. Yan

Abstract: Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling… ▽ More Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations. △ Less

Submitted 14 November, 2022; v1 submitted 7 November, 2021; originally announced November 2021.

Comments: 16 pages, 7 figures, to appear in European J. Combin

MSC Class: 05A15; 05A19

Existence of a generalized polynomial attractor for the wave equation with nonlocal weak damping, anti-damping and critical nonlinearity

Authors: Chunyan Zhao, Chengkui Zhong, Senlin Yan

Abstract: In this paper, we first establish a criterion based on contractive function for the existence of polynomial attractors. This criterion only involves some rather weak compactness associated with the repeated limit inferior and requires no compactness, which makes it suitable for critical cases. Then by this abstract theorem, we verify the existence of a polynomial attractor and estimate its attract… ▽ More In this paper, we first establish a criterion based on contractive function for the existence of polynomial attractors. This criterion only involves some rather weak compactness associated with the repeated limit inferior and requires no compactness, which makes it suitable for critical cases. Then by this abstract theorem, we verify the existence of a polynomial attractor and estimate its attractive speed for the wave equation with nonlocal weak damping, anti-damping and critical nonlinearity. △ Less

Submitted 27 December, 2021; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: arXiv admin note: text overlap with arXiv:2108.07410

MSC Class: 35B40; 35B41; 35L05; 35B33

Cycles on a multiset with only even-odd drops

Authors: Zhicong Lin, Sherry H. F. Yan

Abstract: For a finite subset $A$ of $\mathbb{Z}_{>0}$, Lazar and Wachs (2019) conjectured that the number of cycles on $A$ with only even-odd drops is equal to the number of D-cycles on $A$. In this note, we introduce cycles on a multiset with only even-odd drops and prove bijectively a multiset version of their conjecture. As a consequence, the number of cycles on $[2n]$ with only even-odd drops equals th… ▽ More For a finite subset $A$ of $\mathbb{Z}_{>0}$, Lazar and Wachs (2019) conjectured that the number of cycles on $A$ with only even-odd drops is equal to the number of D-cycles on $A$. In this note, we introduce cycles on a multiset with only even-odd drops and prove bijectively a multiset version of their conjecture. As a consequence, the number of cycles on $[2n]$ with only even-odd drops equals the Genocchi number $g_n$. With Laguerre histories as an intermediate structure, we also construct a bijection between a class of permutations of length $2n-1$ known to be counted by $g_n$ invented by Dumont and the cycles on $[2n]$ with only even-odd drops. △ Less

Submitted 8 August, 2021; originally announced August 2021.

Comments: 7 pages, 2 figures

Crowns in linear $3$-graphs

Authors: Alvaro Carbonero, Willem Fletcher, Jing Guo, András Gyárfás, Rona Wang, Shiyu Yan

Abstract: A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$. We focus here on the \textit{crown}, $C$, which c… ▽ More A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$. We focus here on the \textit{crown}, $C$, which consists of three pairwise disjoint edges (jewels) and a fourth edge (base) which intersects all of the jewels. Our main result is that every linear $3$-graph with minimum degree at least $4$ contains a crown. This is not true if $4$ is replaced by $3$. In fact the known bounds of the Turán number are \[ 6 \left\lfloor{\frac{n - 3}{4}}\right\rfloor \leq {\rm ex}(n, C) \leq 2n, \] and in the construction providing the lower bound all but three vertices have degree $3$. We conjecture that ${\rm ex}(n, C) \sim \frac{3n}{2}$ but even if this were known it would not imply our main result. Our second result is a step towards a possible proof of ${\rm ex}(n,C) \leq \frac{3n}{2}$ (i.e., determining it within a constant error). We show that a minimal counterexample to this statement must contain certain configurations with $9$ edges and we conjecture that all of them lead to contradiction. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Comments: 10 pages, 5 figures, comments welcome

MSC Class: 05C65; 05C35; 05B07

Non-degeneracy and existence of new solutions for the Schrödinger equations

Authors: Yuxia Guo, Monica Musso, Shuangjie Peng, Shusen Yan

Abstract: We consider the following nonlinear problem $$ (P) \quad \quad - Δu + V(|y|)u=u^{p},\quad u>0 \quad \mbox{in} \ {\mathbb{R}}^N, \quad u \in H^1({\mathbb{R}}^N), $$ where $V(r)$ is a positive function, $1<p <\frac{N+2}{N-2}$. We show that the multi-bump solutions constructed in [20] is non-degenerate in a suitable symmetric space. We also use this non-degenerate result to construct new solutions… ▽ More We consider the following nonlinear problem $$ (P) \quad \quad - Δu + V(|y|)u=u^{p},\quad u>0 \quad \mbox{in} \ {\mathbb{R}}^N, \quad u \in H^1({\mathbb{R}}^N), $$ where $V(r)$ is a positive function, $1<p <\frac{N+2}{N-2}$. We show that the multi-bump solutions constructed in [20] is non-degenerate in a suitable symmetric space. We also use this non-degenerate result to construct new solutions for (P). △ Less

Submitted 29 June, 2021; originally announced June 2021.

Non-degeneracy of multi-bump solutions for the prescribed scalar curvature equations and applications

Authors: Yuxia Guo, Monica Musso, Shuangjie Peng, Shusen Yan

Abstract: We consider the following prescribed scalar curvature equations in ${\mathbb{R}}^N$ $$ - Δu =K(|y|)u^{2^*-1},\quad u>0 \quad \mbox{in} \quad {\mathbb{R}}^N, \quad u \in D^{1, 2}({\mathbb{R}}^N), $$ where $K(r)$ is a positive function, $2^*=\frac{2N}{N-2}$. We modify the methods and improve the results in [15]. We consider the following prescribed scalar curvature equations in ${\mathbb{R}}^N$ $$ - Δu =K(|y|)u^{2^*-1},\quad u>0 \quad \mbox{in} \quad {\mathbb{R}}^N, \quad u \in D^{1, 2}({\mathbb{R}}^N), $$ where $K(r)$ is a positive function, $2^*=\frac{2N}{N-2}$. We modify the methods and improve the results in [15]. △ Less

Submitted 29 June, 2021; originally announced June 2021.

Partial $γ$-Positivity for Quasi-Stirling Permutations of Multisets

Authors: Sherry H. F. Yan, Yunwei Huang, Lihong Yang

Abstract: We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quas… ▽ More We prove that the enumerative polynomials of quasi-Stirling permutations of multisets with respect to the statistics of plateaux, descents and ascents are partial $γ$-positive, thereby confirming a recent conjecture posed by Lin, Ma and Zhang. This is accomplished by proving the partial $γ$-positivity of the enumerative polynomials of certain ordered labeled trees, which are in bijection with quasi-Stirling permutations of multisets. As an application, we provide an alternative proof of the partial $γ$-positivity of the enumerative polynomials on Stirling permutations of multisets. △ Less

Submitted 13 July, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: arXiv admin note: text overlap with arXiv:2106.04348

Quasi-Stirling Permutations on Multisets

Authors: Sherry H. F. Yan, Lihong Yang, Yunwei Huang, Xue Zhu

Abstract: A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling permutations on the… ▽ More A permutation $π$ of a multiset is said to be a {\em quasi-Stirling } permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. Define $$ \overline{Q}_{\mathcal{M}}(t,u,v)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}u^{asc(π)}v^{plat(π)},$$ where $\overline{\mathcal{Q}}_{\mathcal{M}}$ denotes the set of quasi-Stirling permutations on the multiset $\mathcal{M}$, and $asc(π)$ (resp. $des(π)$, $plat(π)$) denotes the number of ascents (resp. descents, plateaux) of $π$. Denote by $\mathcal{M}^σ$ the multiset $\{1^{σ_1}, 2^{σ_2}, \ldots, n^{σ_n}\}$, where $σ=(σ_1, σ_2, \ldots, σ_n)$ is an $n$-composition of $K$ for positive integers $K$ and $n$. In this paper, we show that $\overline{Q}_{\mathcal{M}^σ}(t,u,v)=\overline{Q}_{\mathcal{M}^τ}(t,u,v)$ for any two $n$-compositions $σ$ and $τ$ of $K$. This is accomplished by establishing an $(asc, des, plat)$-preserving bijection between $\overline{\mathcal{Q}}_{\mathcal{M}^σ}$ and $\overline{\mathcal{Q}}_{\mathcal{M}^τ}$. As applications, we obtain generalizations of several results for quasi-Stirling permutations on $\mathcal{M}=\{1^k,2^k, \ldots, n^k\}$ obtained by Elizalde and solve an open problem posed by Elizalde. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Quasi-Stirling Polynomials on Multisets

Authors: Sherry H. F. Yan, Xue Zhu

Abstract: A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by… ▽ More A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by $ \overline{Q}_{\mathcal{M}}(t)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}$, where $des(π)$ denotes the number of descents of $π$. By employing generating function arguments, Elizalde derived an elegant identity involving quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$, in analogy to the identity on Stirling polynomials. In this paper, we derive an identity involving quasi-Stirling polynomials $\overline{Q}_{\mathcal{M}}(t)$ for any multiset $\mathcal{M}$, which is a generalization of the identity on Eulerian polynomial and Elizalde's identity on quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$. We provide a combinatorial proof the identity in terms of certain ordered labeled trees. Specializing $\mathcal{M}=\{1^2, 2^2, \ldots, n^2\}$ implies a combinatorial proof of Elizalde's identity in answer to the problem posed by Elizalde. As an application, our identity enables us to show that the quasi-Stirling polynomial $\overline{Q}_{\mathcal{M}}(t)$ has only real roots and the coefficients of $\overline{Q}_{\mathcal{M}}(t)$ are unimodal and log-concave for any multiset $\mathcal{M}$, in analogy to Brenti's result for Stirling polynomials on multisets. △ Less

Submitted 8 June, 2021; originally announced June 2021.

Non-degeneracy and local uniqueness of positive solutions to the Lane-Emden problem in dimension two

Authors: Massimo Grossi, Isabella Ianni, Peng Luo, Shusen Yan

Abstract: We are concerned with the Lane-Emden problem \begin{equation*} \begin{cases} -Δu=u^{p} &{\text{in}~Ω},\\[0.5mm] u>0 &{\text{in}~Ω},\\[0.5mm] u=0 &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $Ω\subset \mathbb R^2$ is a smooth bounded domain and $p>1$ is sufficiently large. Improving some known asymptotic estimates on the solutions, we prove the non-degeneracy and local uniqueness of… ▽ More We are concerned with the Lane-Emden problem \begin{equation*} \begin{cases} -Δu=u^{p} &{\text{in}~Ω},\\[0.5mm] u>0 &{\text{in}~Ω},\\[0.5mm] u=0 &{\text{on}~\partial Ω}, \end{cases} \end{equation*} where $Ω\subset \mathbb R^2$ is a smooth bounded domain and $p>1$ is sufficiently large. Improving some known asymptotic estimates on the solutions, we prove the non-degeneracy and local uniqueness of the multi-spikes positive solutions for general domains. Our methods mainly use ODE's theory, various local Pohozaev identities, blow-up analysis and the properties of Green's function. △ Less

Submitted 18 February, 2021; originally announced February 2021.

Stochastic output feedback MPC with intermittent observations

Authors: Shuhao Yan, Mark Cannon, Paul J. Goulart

Abstract: This paper designs a model predictive control (MPC) law for constrained linear systems with stochastic additive disturbances and noisy measurements, minimising a discounted cost subject to a discounted expectation constraint. It is assumed that sensor data is lost with a known probability. Taking into account the data losses modelled by a Bernoulli process, we parameterise the predicted control po… ▽ More This paper designs a model predictive control (MPC) law for constrained linear systems with stochastic additive disturbances and noisy measurements, minimising a discounted cost subject to a discounted expectation constraint. It is assumed that sensor data is lost with a known probability. Taking into account the data losses modelled by a Bernoulli process, we parameterise the predicted control policy as an affine function of future observations and obtain a convex linear-quadratic optimal control problem. Constraint satisfaction and a discounted cost bound are ensured without imposing bounds on the distributions of the disturbance and noise inputs. In addition, the average long-run undiscounted closed loop cost is shown to be finite if the discount factor takes appropriate values. We analyse robustness of the proposed control law with respect to possible uncertainties in the arrival probability of sensor data and we bound the impact of these uncertainties on constraint satisfaction and the discounted cost. Numerical simulations are provided to illustrate these results. △ Less

Submitted 1 March, 2022; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 13 pages. arXiv admin note: text overlap with arXiv:2004.02591