Showing 1–43 of 43 results for author: Guo, F

Lifespan estimate for the semilinear regular Euler-Poisson-Darboux-Tricomi equation

Authors: Yuequn Li, Fei Guo

Abstract: In this paper, we begin by establishing local well-posedness for the semilinear regular Euler-Poisson-Darboux-Tricomi equation. Subsequently, we derive a lifespan estimate with the Strauss index given by $p=p_{S}(n+\fracμ{m+1}, m)$ for any $δ>0$, where $δ$ is a parameter to describe the interplay between damping and mass. This is achieved through the construction of a new test function derived fro… ▽ More In this paper, we begin by establishing local well-posedness for the semilinear regular Euler-Poisson-Darboux-Tricomi equation. Subsequently, we derive a lifespan estimate with the Strauss index given by $p=p_{S}(n+\fracμ{m+1}, m)$ for any $δ>0$, where $δ$ is a parameter to describe the interplay between damping and mass. This is achieved through the construction of a new test function derived from the Gaussian hypergeometric function and a second-order ordinary differential inequality, as proven by Zhou \cite{Zhou2014}. Additionally, we extend our analysis to prove a blow-up result with the index $p=\max\{p_{S}(n+\fracμ{m+1}, m), p_{F}((m+1)n+\frac{μ-1-\sqrtδ}{2})\}$ by applying Kato$^{\prime}$s Lemma ( i.e., Lemma \ref{katolemma} ), specifically in the case of $δ=1$. △ Less

Submitted 4 February, 2025; originally announced February 2025.

Comments: 24 pages

MSC Class: 35B44; 35G25 ACM Class: I.7.1

Positivstellensätze for polynomial matrices with universal quantifiers

Authors: Feng Guo, Jie Wang

Abstract: This paper investigates Positivstellensätze for polynomial matrices subject to universally quantified polynomial matrix inequality constraints. We first establish a matrix-valued Positivstellensatz under the Archimedean condition, incorporating universal quantifiers. For scalar-valued polynomial objectives, we further develop a sparse Positivstellensatz that leverages correlative sparsity patterns… ▽ More This paper investigates Positivstellensätze for polynomial matrices subject to universally quantified polynomial matrix inequality constraints. We first establish a matrix-valued Positivstellensatz under the Archimedean condition, incorporating universal quantifiers. For scalar-valued polynomial objectives, we further develop a sparse Positivstellensatz that leverages correlative sparsity patterns within these quantified constraints. Moving beyond the Archimedean framework, we then derive a series of generalized Positivstellensätze under analogous settings. These results collectively unify and extend foundational theorems in three distinct contexts: classical polynomial Positivstellensätze, their universally quantified counterparts, and matrix polynomial formulations. Applications of the established Positivstellensätze to robust polynomial matrix optimization are also discussed. △ Less

Submitted 5 June, 2025; v1 submitted 6 January, 2025; originally announced January 2025.

Comments: 28 pages, 2 tables

MSC Class: 90C23; 15A54; 13J30; 14P10; 11E25; 12D15

Sums of Hurwitz Class Numbers and newform of weight 2 and level 49

Authors: Fangmin Guo

Abstract: We consider sums of Hurwitz class number $H_{m,M}(n)=\sum_{t\equiv m (\text{mod} M)}{H(4n-t^2)}$, where $H(N)$ denotes the Hurwitz class number. In this article, we consider the case of $M=7$. By completing the mixed mock modular form generated by $H_{m,7}(n)$, We obtain the formula of modular forms consist of a computable part and a part from newform 49.2.a.a whose prime terms of Fourier expansio… ▽ More We consider sums of Hurwitz class number $H_{m,M}(n)=\sum_{t\equiv m (\text{mod} M)}{H(4n-t^2)}$, where $H(N)$ denotes the Hurwitz class number. In this article, we consider the case of $M=7$. By completing the mixed mock modular form generated by $H_{m,7}(n)$, We obtain the formula of modular forms consist of a computable part and a part from newform 49.2.a.a whose prime terms of Fourier expansion has a connection with with $p=x^2+7y^2$ $(p\equiv 1,2,4 \mod 7)$. △ Less

Submitted 25 November, 2024; originally announced November 2024.

Sparse Polynomial Matrix Optimization

Authors: Jared Miller, Jie Wang, Feng Guo

Abstract: A polynomial matrix inequality is a formula asserting that a polynomial matrix is positive semidefinite. Polynomial matrix optimization concerns minimizing the smallest eigenvalue of a symmetric polynomial matrix subject to a tuple of polynomial matrix inequalities. This work explores the use of sparsity methods in reducing the complexity of sum-of-squares based methods in verifying polynomial mat… ▽ More A polynomial matrix inequality is a formula asserting that a polynomial matrix is positive semidefinite. Polynomial matrix optimization concerns minimizing the smallest eigenvalue of a symmetric polynomial matrix subject to a tuple of polynomial matrix inequalities. This work explores the use of sparsity methods in reducing the complexity of sum-of-squares based methods in verifying polynomial matrix inequalities or solving polynomial matrix optimization. In the unconstrained setting, Newton polytopes can be employed to sparsify the monomial basis, resulting in smaller semidefinite programs. In the general setting, we show how to exploit different types of sparsity (term sparsity, correlative sparsity, matrix sparsity) encoded in polynomial matrices to derive sparse semidefinite programming relaxations for polynomial matrix optimization. For term sparsity, we show that the block structures of the term sparsity iterations with maximal chordal extensions converge to the one determined by PMI sign symmetries. For correlative sparsity, unlike the scalar case, we provide a counterexample showing that asymptotic convergence does not hold under the Archimedean condition and the running intersection property. By employing the theory of matrix-valued measures, we establish several results on detecting global optimality and retrieving optimal solutions under correlative sparsity. The effectiveness of sparsity methods on reducing computational complexity is demonstrated on various examples of polynomial matrix optimization. △ Less

Submitted 5 June, 2025; v1 submitted 23 November, 2024; originally announced November 2024.

Comments: 31 pages, 9 tables, 3 figures

MSC Class: 90C23; 90C17; 90C22; 90C26

The Instrumental Variable Model with Categorical Instrument, Treatment and Outcome: Characterization, Partial Identification, and Statistical Inference

Authors: Yilin Song, F. Richard Guo, K. C. Gary Chan, Thomas S. Richardson

Abstract: Instrumental variable (IV) analysis is a crucial tool in estimating causal relationships by addressing the issue of confounding variables that may bias the results. Among other work on IV models with binary exposure and outcomes, Richardson and Robins (2014) studied the instrumental variable model with binary exposure (X) and binary outcome (Y) with an instrument (Z) that takes Q states where Q>=2… ▽ More Instrumental variable (IV) analysis is a crucial tool in estimating causal relationships by addressing the issue of confounding variables that may bias the results. Among other work on IV models with binary exposure and outcomes, Richardson and Robins (2014) studied the instrumental variable model with binary exposure (X) and binary outcome (Y) with an instrument (Z) that takes Q states where Q>=2. However, IV models beyond binary X and Y have been less explored. In this work, we consider the instrumental variable model with categorical X, Y, Z taking values in {1, ..., K}, {1, ..., M}, and {1, ..., Q} respectively. We first give a simple closed-form characterization of the set of joint distributions of the potential outcomes P(Y(x=1), ..., Y(x=K)) compatible with a given observed probability distribution P(X, Y | Z). We further show the bounds we derived are necessary, sufficient, and non-redundant, and they hold under various versions of the independence assumptions that have been discussed in the literature. We also provide how a confidence region of any convex function of the joint counterfactual probability including the average causal effect (ATE) can be computed using an algorithm proposed by Guo and Richardson (2021) which is based on a new tail bound for the KL-divergence. We implement our bounds and provide practical recommendations through a real data example of a cash-incentive smoking cessation program. △ Less

Submitted 20 November, 2024; v1 submitted 15 May, 2024; originally announced May 2024.

Comments: Added corollaries, statistical inference, and a real example compared to the previous version

Exploiting Sign Symmetries in Minimizing Sums of Rational Functions

Authors: Feng Guo, Jie Wang, Jianhao Zheng

Abstract: This paper is devoted to the problem of minimizing a sum of rational functions over a basic semialgebraic set. We provide a hierarchy of sum of squares (SOS) relaxations that is dual to the generalized moment problem approach due to Bugarin, Henrion, and Lasserre. The investigation of the dual SOS aspect offers two benefits: 1) it allows us to conduct a convergence rate analysis for the hierarchy;… ▽ More This paper is devoted to the problem of minimizing a sum of rational functions over a basic semialgebraic set. We provide a hierarchy of sum of squares (SOS) relaxations that is dual to the generalized moment problem approach due to Bugarin, Henrion, and Lasserre. The investigation of the dual SOS aspect offers two benefits: 1) it allows us to conduct a convergence rate analysis for the hierarchy; 2) it leads to a sign symmetry adapted hierarchy consisting of block-diagonal semidefinite relaxations. When the problem possesses correlative sparsity as well as sign symmetries, we propose sparse semidefinite relaxations by exploiting both structures. Various numerical experiments are performed to demonstrate the efficiency of our approach. Finally, an application to maximizing sums of generalized Rayleigh quotients is presented. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 25 pages, 9 tables

MSC Class: 90C23; 90C22; 90C26

Computation of the Łojasiewicz exponents of real bivariate analytic functions

Authors: Si Tiep Dinh, Feng Guo, Hong Duc Nguyen, Tien Son Pham

Abstract: The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs. The main goal of this paper is to present some explicit formulas for computing the {Ł}ojasiewicz exponent in the {Ł}ojasiewicz inequality comparing the rate of growth of two real bivariate analytic function germs. △ Less

Submitted 10 May, 2024; originally announced May 2024.

Matching-star size Ramsey numbers under connectivity constraint

Authors: Fanghua Guo, Yanbo Zhang, Yunqing Zhang

Abstract: Recently, Caro, Patkós, and Tuza (2022) introduced the concept of connected Turán number. We study a similar parameter in Ramsey theory. Given two graphs $G_1$ and $G_2$, the size Ramsey number $\hat{r}(G_1,G_2)$ refers to the smallest number of edges in a graph $G$ such that for any red-blue edge-coloring of $G$, either a red subgraph $G_1$ or a blue subgraph $G_2$ is present in $G$. If we furthe… ▽ More Recently, Caro, Patkós, and Tuza (2022) introduced the concept of connected Turán number. We study a similar parameter in Ramsey theory. Given two graphs $G_1$ and $G_2$, the size Ramsey number $\hat{r}(G_1,G_2)$ refers to the smallest number of edges in a graph $G$ such that for any red-blue edge-coloring of $G$, either a red subgraph $G_1$ or a blue subgraph $G_2$ is present in $G$. If we further restrict the host graph $G$ to be connected, we obtain the connected size Ramsey number, denoted as $\hat{r}_c(G_1,G_2)$. Erdős and Faudree (1984) proved that $\hat r(nK_2,K_{1,m})=mn$ for all positive integers $m,n$. In this paper, we concentrate on the connected analog of this result. Rahadjeng, Baskoro, and Assiyatun (2016) provided the exact values of $\hat r_c(nK_2,K_{1,m})$ for $n=2,3$. We establish a more general result: for all positive integers $m$ and $n$ with $m\ge (n^2+2pn+n-3)/2$, we have $\hat r_c(nK_{1,p},K_{1,m})=n(m+p)-1$. As a corollary, $\hat r_c(nK_2,K_{1,m})=nm+n-1$ for $m\ge (n^2+3n-3)/2$. We also propose a conjecture for the interested reader. △ Less

Submitted 3 April, 2024; originally announced April 2024.

MSC Class: 05C55; 05D10

Distributed Least-Squares Optimization Solvers with Differential Privacy

Authors: Weijia Liu, Lei Wang, Fanghong Guo, Zhengguang Wu, Hongye Su

Abstract: This paper studies the distributed least-squares optimization problem with differential privacy requirement of local cost functions, for which two differentially private distributed solvers are proposed. The first is established on the distributed gradient tracking algorithm, by appropriately perturbing the initial values and parameters that contain the privacy-sensitive data with Gaussian and tru… ▽ More This paper studies the distributed least-squares optimization problem with differential privacy requirement of local cost functions, for which two differentially private distributed solvers are proposed. The first is established on the distributed gradient tracking algorithm, by appropriately perturbing the initial values and parameters that contain the privacy-sensitive data with Gaussian and truncated Laplacian noises, respectively. Rigorous proofs are established to show the achievable trade-off between the (ε, δ)-differential privacy and the computation accuracy. The second solver is established on the combination of the distributed shuffling mechanism and the average consensus algorithm, which enables each agent to obtain a noisy version of parameters characterizing the global gradient. As a result, the least-squares optimization problem can be eventually solved by each agent locally in such a way that any given (ε, δ)-differential privacy requirement can be preserved while the solution may be computed with the accuracy independent of the network size, which makes the latter more suitable for large-scale distributed least-squares problems. Numerical simulations are presented to show the effectiveness of both solvers. △ Less

Submitted 3 March, 2024; originally announced March 2024.

Confounder selection via iterative graph expansion

Authors: F. Richard Guo, Qingyuan Zhao

Abstract: Confounder selection, namely choosing a set of covariates to control for confounding between a treatment and an outcome, is arguably the most important step in the design of observational studies. Previous methods, such as Pearl's celebrated back-door criterion, typically require pre-specifying a causal graph, which can often be difficult in practice. We propose an interactive procedure for confou… ▽ More Confounder selection, namely choosing a set of covariates to control for confounding between a treatment and an outcome, is arguably the most important step in the design of observational studies. Previous methods, such as Pearl's celebrated back-door criterion, typically require pre-specifying a causal graph, which can often be difficult in practice. We propose an interactive procedure for confounder selection that does not require pre-specifying the graph or the set of observed variables. This procedure iteratively expands the causal graph by finding what we call "primary adjustment sets" for a pair of possibly confounded variables. This can be viewed as inverting a sequence of latent projections of the underlying causal graph. Structural information in the form of primary adjustment sets is elicited from the user, bit by bit, until either a set of covariates are found to control for confounding or it can be determined that no such set exists. Other information, such as the causal relations between confounders, is not required by the procedure. We show that if the user correctly specifies the primary adjustment sets in every step, our procedure is both sound and complete. △ Less

Submitted 24 October, 2023; v1 submitted 12 September, 2023; originally announced September 2023.

Comments: 29 pages; added link to Shiny web app

A Moment-SOS Hierarchy for Robust Polynomial Matrix Inequality Optimization with SOS-Convexity

Authors: Feng Guo, Jie Wang

Abstract: We study a class of polynomial optimization problems with a robust polynomial matrix inequality (PMI) constraint where the uncertainty set itself is defined also by a PMI. These can be viewed as matrix generalizations of semi-infinite polynomial programs, since they involve actually infinitely many PMI constraints in general. Under certain SOS-convexity assumptions, we construct a hierarchy of inc… ▽ More We study a class of polynomial optimization problems with a robust polynomial matrix inequality (PMI) constraint where the uncertainty set itself is defined also by a PMI. These can be viewed as matrix generalizations of semi-infinite polynomial programs, since they involve actually infinitely many PMI constraints in general. Under certain SOS-convexity assumptions, we construct a hierarchy of increasingly tight moment-SOS relaxations for solving such problems. Most of the nice features of the moment-SOS hierarchy for the usual polynomial optimization are extended to this more complicated setting. In particular, asymptotic convergence of the hierarchy is guaranteed and finite convergence can be certified if some flat extension condition holds true. To extract global minimizers, we provide a linear algebra procedure for recovering a finitely atomic matrix-valued measure from truncated matrix-valued moments. As an application, we are able to solve the problem of minimizing the smallest eigenvalue of a polynomial matrix subject to a PMI constraint. If SOS-convexity is replaced by convexity, we can still approximate the optimal value as closely as desired by solving a sequence of semidefinite programs, and certify global optimality in case that certain flat extension conditions hold true. Finally, an extension to the non-convexity setting is provided under a rank one condition. To obtain the above-mentioned results, techniques from real algebraic geometry, matrix-valued measure theory, and convex optimization are employed. △ Less

Submitted 8 October, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 38 pages, 1 figure

MSC Class: 90C23; 90C17; 90C22; 90C26

Rank-transformed subsampling: inference for multiple data splitting and exchangeable p-values

Authors: F. Richard Guo, Rajen D. Shah

Abstract: Many testing problems are readily amenable to randomised tests such as those employing data splitting. However despite their usefulness in principle, randomised tests have obvious drawbacks. Firstly, two analyses of the same dataset may lead to different results. Secondly, the test typically loses power because it does not fully utilise the entire sample. As a remedy to these drawbacks, we study h… ▽ More Many testing problems are readily amenable to randomised tests such as those employing data splitting. However despite their usefulness in principle, randomised tests have obvious drawbacks. Firstly, two analyses of the same dataset may lead to different results. Secondly, the test typically loses power because it does not fully utilise the entire sample. As a remedy to these drawbacks, we study how to combine the test statistics or p-values resulting from multiple random realisations such as through random data splits. We develop rank-transformed subsampling as a general method for delivering large sample inference about the combined statistic or p-value under mild assumptions. We apply our methodology to a wide range of problems, including testing unimodality in high-dimensional data, testing goodness-of-fit of parametric quantile regression models, testing no direct effect in a sequentially randomised trial and calibrating cross-fit double machine learning confidence intervals. In contrast to existing p-value aggregation schemes that can be highly conservative, our method enjoys type-I error control that asymptotically approaches the nominal level. Moreover, compared to using the ordinary subsampling, we show that our rank transform can remove the first-order bias in approximating the null under alternatives and greatly improve power. △ Less

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

Comments: 83 pages; typo correction and bibliography updates

Confounder Selection: Objectives and Approaches

Authors: F. Richard Guo, Anton Rask Lundborg, Qingyuan Zhao

Abstract: Confounder selection is perhaps the most important step in the design of observational studies. A number of criteria, often with different objectives and approaches, have been proposed, and their validity and practical value have been debated in the literature. Here, we provide a unified review of these criteria and the assumptions behind them. We list several objectives that confounder selection… ▽ More Confounder selection is perhaps the most important step in the design of observational studies. A number of criteria, often with different objectives and approaches, have been proposed, and their validity and practical value have been debated in the literature. Here, we provide a unified review of these criteria and the assumptions behind them. We list several objectives that confounder selection methods aim to achieve and discuss the amount of structural knowledge required by different approaches. Finally, we discuss limitations of the existing approaches and implications for practitioners. △ Less

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

Comments: 15 pages

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.

A new scheme for approximating the weakly efficient solution set of vector rational optimization problems

Authors: Feng Guo, Liguo Jiao

Abstract: In this paper, we provide a new scheme for approximating the weakly efficient solution set for a class of vector optimization problems with rational objectives over a feasible set defined by finitely many polynomial inequalities. More precisely, we present a procedure to obtain a sequence of explicit approximations of the weakly efficient solution set of the problem in question. Each approximation… ▽ More In this paper, we provide a new scheme for approximating the weakly efficient solution set for a class of vector optimization problems with rational objectives over a feasible set defined by finitely many polynomial inequalities. More precisely, we present a procedure to obtain a sequence of explicit approximations of the weakly efficient solution set of the problem in question. Each approximation is the intersection of the sublevel set of a single polynomial and the feasible set. To this end, we make use of the achievement function associated with the considered problem and construct polynomial approximations of it over the feasible set from above. Remarkably, the construction can be converted to semidefinite programming problems. Several nontrivial examples are designed to illustrate the proposed new scheme. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 21 pages

Variable elimination, graph reduction and efficient g-formula

Authors: F. Richard Guo, Emilija Perković, Andrea Rotnitzky

Abstract: We study efficient estimation of an interventional mean associated with a point exposure treatment under a causal graphical model represented by a directed acyclic graph without hidden variables. Under such a model, it may happen that a subset of the variables are uninformative in that failure to measure them neither precludes identification of the interventional mean nor changes the semiparametri… ▽ More We study efficient estimation of an interventional mean associated with a point exposure treatment under a causal graphical model represented by a directed acyclic graph without hidden variables. Under such a model, it may happen that a subset of the variables are uninformative in that failure to measure them neither precludes identification of the interventional mean nor changes the semiparametric variance bound for regular estimators of it. We develop a set of graphical criteria that are sound and complete for eliminating all the uninformative variables so that the cost of measuring them can be saved without sacrificing estimation efficiency, which could be useful when designing a planned observational or randomized study. Further, we construct a reduced directed acyclic graph on the set of informative variables only. We show that the interventional mean is identified from the marginal law by the g-formula (Robins, 1986) associated with the reduced graph, and the semiparametric variance bounds for estimating the interventional mean under the original and the reduced graphical model agree. This g-formula is an irreducible, efficient identifying formula in the sense that the nonparametric estimator of the formula, under regularity conditions, is asymptotically efficient under the original causal graphical model, and no formula with such property exists that only depends on a strict subset of the variables. △ Less

Submitted 2 December, 2022; v1 submitted 24 February, 2022; originally announced February 2022.

Comments: 67 pages; to appear in Biometrika

Limits of real bivariate rational functions

Authors: Si Tiep Dinh, Feng Guo, Hong Duc Nguyen, Tien Son Pham

Abstract: Given two nonzero polynomials $f, g \in\mathbb R[x,y]$ and a point $(a, b) \in \mathbb{R}^2,$ we give some necessary and sufficient conditions for the existence of the limit $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}.$ We also show that, if the denominator $g$ has an isolated zero at the given point $(a, b),$ then the set of possible limits of… ▽ More Given two nonzero polynomials $f, g \in\mathbb R[x,y]$ and a point $(a, b) \in \mathbb{R}^2,$ we give some necessary and sufficient conditions for the existence of the limit $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}.$ We also show that, if the denominator $g$ has an isolated zero at the given point $(a, b),$ then the set of possible limits of $\displaystyle \lim_{(x, y) \to (a, b)} \frac{f(x, y)}{g(x, y)}$ is a closed interval in $\overline{\mathbb{R}}$ and can be explicitly determined. As an application, we propose an effective algorithm to verify the existence of the limit and compute the limit (if it exists). Our approach is geometric and is based on Puiseux expansions. △ Less

Submitted 10 February, 2022; originally announced February 2022.

A Distributed Parallel Optimization Algorithm via Alternating Direction Method of Multipliers

Authors: Ziye Liu, Fanghong Guo, Wei Wang, Xiaoqun Wu

Abstract: Alternating Direction Method of Multipliers (ADMM) algorithm has been widely adopted for solving the distributed optimization problem (DOP). In this paper, a new distributed parallel ADMM algorithm is proposed, which allows the agents to update their local states and dual variables in a completely distributed and parallel manner by modifying the existing distributed sequential ADMM. Moreover,… ▽ More Alternating Direction Method of Multipliers (ADMM) algorithm has been widely adopted for solving the distributed optimization problem (DOP). In this paper, a new distributed parallel ADMM algorithm is proposed, which allows the agents to update their local states and dual variables in a completely distributed and parallel manner by modifying the existing distributed sequential ADMM. Moreover, the updating rules and storage method for variables are illustrated. It is shown that all the agents can reach a consensus by asymptotically converging to the optimal solution. Besides, the global cost function will converge to the optimal value at a rate of O(1/k). Simulation results on a numerical example are given to show the effectiveness of the proposed algorithm. △ Less

Submitted 19 November, 2021; originally announced November 2021.

An SDP method for Fractional Semi-infinite Programming Problems with SOS-convex polynomials

Authors: Feng Guo, Meijun Zhang

Abstract: In this paper, we study a class of fractional semi-infinite polynomial programming problems involving s.o.s-convex polynomial functions. For such a problem, by a conic reformulation proposed in our previous work and the quadratic modules associated with the index set, a hierarchy of semidefinite programming (SDP) relaxations can be constructed and convergent upper bounds of the optimum can be obta… ▽ More In this paper, we study a class of fractional semi-infinite polynomial programming problems involving s.o.s-convex polynomial functions. For such a problem, by a conic reformulation proposed in our previous work and the quadratic modules associated with the index set, a hierarchy of semidefinite programming (SDP) relaxations can be constructed and convergent upper bounds of the optimum can be obtained. In this paper, by introducing Lasserre's measure-based representation of nonnegative polynomials on the index set to the conic reformulation, we present a new SDP relaxation method for the considered problem. This method enables us to compute convergent lower bounds of the optimum and extract approximate minimizers. Moreover, for a set defined by infinitely many s.o.s-convex polynomial inequalities, we obtain a procedure to construct a convergent sequence of outer approximations which have semidefinite representations. The convergence rate of the lower bounds and outer approximations are also discussed. △ Less

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

Comments: some experiment data are fixed

An Inequality for Coefficients of the Real-rooted Polynomials

Authors: J. J. F Guo

Abstract: In this paper, we prove that if $f(x)=\sum_{k=0}^n{n\choose k}a_kx^k$ is a polynomial with real zeros only, then the sequence $\{a_k\}_{k=0}^n$ satisfies the following inequalities $a_{k+1}^2(1-\sqrt{1-c_k})^2/a_k^2 \leq(a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}^2(1+\sqrt{1-c_k})^2/a_k^2$, where $c_k=a_ka_{k+2}/a_{k+1}^2$. This inequality holds for the coefficients of the Riemann… ▽ More In this paper, we prove that if $f(x)=\sum_{k=0}^n{n\choose k}a_kx^k$ is a polynomial with real zeros only, then the sequence $\{a_k\}_{k=0}^n$ satisfies the following inequalities $a_{k+1}^2(1-\sqrt{1-c_k})^2/a_k^2 \leq(a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}^2(1+\sqrt{1-c_k})^2/a_k^2$, where $c_k=a_ka_{k+2}/a_{k+1}^2$. This inequality holds for the coefficients of the Riemann $ξ$-function, the ultraspherical, Laguerre and Hermite polynomials, and the partition function. Moreover, as a corollary, for the partition function $p(n)$, we prove that $p(n)^2-p(n-1)p(n+1)$ is increasing for $n\geq 55$. We also find that for a positive and log-concave sequence $\{a_k\}_{k\geq 0}$, the inequality $a_{k+2}/a_k\leq (a_{k+1}^2-a_ka_{k+2})/(a_k^2-a_{k-1}a_{k+1}) \leq a_{k+1}/a_{k-1}$ is the sufficient condition for both the $2$-log-concavity and the higher order Tur{á}n inequalities of $\{a_k\}_{k\geq 0}$. It is easy to verify that if $a_k^2\geq ra_{k+1}a_{k-1}$, where $r\geq 2$, then the sequence $\{a_k\}_{k\geq 0}$ satisfies this inequality. △ Less

Submitted 7 December, 2020; originally announced December 2020.

MSC Class: 05A20

Minimal enumeration of all possible total effects in a Markov equivalence class

Authors: F. Richard Guo, Emilija Perković

Abstract: In observational studies, when a total causal effect of interest is not identified, the set of all possible effects can be reported instead. This typically occurs when the underlying causal DAG is only known up to a Markov equivalence class, or a refinement thereof due to background knowledge. As such, the class of possible causal DAGs is represented by a maximally oriented partially directed acyc… ▽ More In observational studies, when a total causal effect of interest is not identified, the set of all possible effects can be reported instead. This typically occurs when the underlying causal DAG is only known up to a Markov equivalence class, or a refinement thereof due to background knowledge. As such, the class of possible causal DAGs is represented by a maximally oriented partially directed acyclic graph (MPDAG), which contains both directed and undirected edges. We characterize the minimal additional edge orientations required to identify a given total effect. A recursive algorithm is then developed to enumerate subclasses of DAGs, such that the total effect in each subclass is identified as a distinct functional of the observed distribution. This resolves an issue with existing methods, which often report possible total effects with duplicates, namely those that are numerically distinct due to sampling variability but are in fact causally identical. △ Less

Submitted 2 March, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: Corrected Figure 7

Efficient least squares for estimating total effects under linearity and causal sufficiency

Authors: F. Richard Guo, Emilija Perković

Abstract: Recursive linear structural equation models are widely used to postulate causal mechanisms underlying observational data. In these models, each variable equals a linear combination of a subset of the remaining variables plus an error term. When there is no unobserved confounding or selection bias, the error terms are assumed to be independent. We consider estimating a total causal effect in this s… ▽ More Recursive linear structural equation models are widely used to postulate causal mechanisms underlying observational data. In these models, each variable equals a linear combination of a subset of the remaining variables plus an error term. When there is no unobserved confounding or selection bias, the error terms are assumed to be independent. We consider estimating a total causal effect in this setting. The causal structure is assumed to be known only up to a maximally oriented partially directed acyclic graph (MPDAG), a general class of graphs that can represent a Markov equivalence class of directed acyclic graphs (DAGs) with added background knowledge. We propose a simple estimator based on recursive least squares, which can consistently estimate any identified total causal effect, under point or joint intervention. We show that this estimator is the most efficient among all regular estimators that are based on the sample covariance, which includes covariate adjustment and the estimators employed by the joint-IDA algorithm. Notably, our result holds without assuming Gaussian errors. △ Less

Submitted 17 March, 2022; v1 submitted 8 August, 2020; originally announced August 2020.

Comments: Minor edits

On Solving a Class of Fractional Semi-infinite Polynomial Programming Problems

Authors: Feng Guo, Liguo Jiao

Abstract: In this paper, we study a class of fractional semi-infinite polynomial programming (FSIPP) problems, in which the objective is a fraction of a convex polynomial and a concave polynomial, and the constraints consist of infinitely many convex polynomial inequalities. To solve such a problem, we first reformulate it to a pair of primal and dual conic optimization problems, which reduce to semidefinit… ▽ More In this paper, we study a class of fractional semi-infinite polynomial programming (FSIPP) problems, in which the objective is a fraction of a convex polynomial and a concave polynomial, and the constraints consist of infinitely many convex polynomial inequalities. To solve such a problem, we first reformulate it to a pair of primal and dual conic optimization problems, which reduce to semidefinite programming (SDP) problems if we can bring sum-of-squares structures into the conic constraints. To this end, we provide a characteristic cone constraint qualification for convex semi-infinite programming problems to guarantee strong duality and also the attainment of the solution in the dual problem, which is of its own interest. In this framework, we first present a hierarchy of SDP relaxations with asymptotic convergence for the FSIPP problem whose index set is defined by finitely many polynomial inequalities. Next, we study four cases of the FSIPP problems which can be reduced to either a single SDP problem or a finite sequence of SDP problems, where at least one minimizer can be extracted. Then, we apply this approach to the four corresponding multi-objective cases to find efficient solutions. △ Less

Submitted 14 May, 2021; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 39 pages

On continuous selections of polynomial functions

Authors: Feng Guo, Liguo Jiao, Do Sang Kim

Abstract: A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that there are only finitely many continuous selections of it and each one is semi-algebraic. Then, we establish some generic properties regarding the critical points, d… ▽ More A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that there are only finitely many continuous selections of it and each one is semi-algebraic. Then, we establish some generic properties regarding the critical points, defined by the Clarke subdifferential, of these continuous selections. In particular, given a set of finitely many polynomials with generic coefficients, we show that the critical points of all continuous selections of it are finite and the critical values are all different, and we also derive the coercivity of those continuous selections which are bounded from below. We point out that some existing results about Łojasiewicz's inequality and error bounds for the maximum function of some finitely many polynomials are also valid for all the continuous selections of them. △ Less

Submitted 8 July, 2020; originally announced July 2020.

Comments: 28 pages

On types of KKT points in polynomial optimization

Authors: Feng Guo, Do Sang Kim, Liguo Jiao, Tien-Son Pham

Abstract: Let $f$ be a real polynomial function with $n$ variables and $S$ be a basic closed semialgebraic set in $\Bbb{R}^n$. In this paper, we are interested in the problem of identifying the type (local minimizer, maximizer or not extremum point) of a given isolated KKT point $x^*$ of $f$ over $S.$ To this end, we investigate some properties of the tangency variety of $f$ on $S$ at $x^*,$ by which we int… ▽ More Let $f$ be a real polynomial function with $n$ variables and $S$ be a basic closed semialgebraic set in $\Bbb{R}^n$. In this paper, we are interested in the problem of identifying the type (local minimizer, maximizer or not extremum point) of a given isolated KKT point $x^*$ of $f$ over $S.$ To this end, we investigate some properties of the tangency variety of $f$ on $S$ at $x^*,$ by which we introduce the definition of faithful radius of $f$ over $S$ at $x^*.$ Then, we show that the type of $x^*$ can be determined by the global extrema of $f$ over the intersection of $S$ and the Euclidean ball centered at $x^*$ with a faithful radius. Finally, we propose an algorithm involving algebraic computations to compute a faithful radius of $x^*$ and determine its type. △ Less

Submitted 26 April, 2020; originally announced April 2020.

Comments: 29 pages

Chernoff-type Concentration of Empirical Probabilities in Relative Entropy

Authors: F. Richard Guo, Thomas S. Richardson

Abstract: We study the relative entropy of the empirical probability vector with respect to the true probability vector in multinomial sampling of $k$ categories, which, when multiplied by sample size $n$, is also the log-likelihood ratio statistic. We generalize a recent result and show that the moment generating function of the statistic is bounded by a polynomial of degree $n$ on the unit interval, unifo… ▽ More We study the relative entropy of the empirical probability vector with respect to the true probability vector in multinomial sampling of $k$ categories, which, when multiplied by sample size $n$, is also the log-likelihood ratio statistic. We generalize a recent result and show that the moment generating function of the statistic is bounded by a polynomial of degree $n$ on the unit interval, uniformly over all true probability vectors. We characterize the family of polynomials indexed by $(k,n)$ and obtain explicit formulae. Consequently, we develop Chernoff-type tail bounds, including a closed-form version from a large sample expansion of the bound minimizer. Our bound dominates the classic method-of-types bound and is competitive with the state of the art. We demonstrate with an application to estimating the proportion of unseen butterflies. △ Less

Submitted 12 May, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: corrected a numerical error

Empirical Bayes for Large-scale Randomized Experiments: a Spectral Approach

Authors: F. Richard Guo, James McQueen, Thomas S. Richardson

Abstract: Large-scale randomized experiments, sometimes called A/B tests, are increasingly prevalent in many industries. Though such experiments are often analyzed via frequentist $t$-tests, arguably such analyses are deficient: $p$-values are hard to interpret and not easily incorporated into decision-making. As an alternative, we propose an empirical Bayes approach, which assumes that the treatment effect… ▽ More Large-scale randomized experiments, sometimes called A/B tests, are increasingly prevalent in many industries. Though such experiments are often analyzed via frequentist $t$-tests, arguably such analyses are deficient: $p$-values are hard to interpret and not easily incorporated into decision-making. As an alternative, we propose an empirical Bayes approach, which assumes that the treatment effects are realized from a "true prior". This requires inferring the prior from previous experiments. Following Robbins, we estimate a family of marginal densities of empirical effects, indexed by the noise scale. We show that this family is characterized by the heat equation. We develop a spectral maximum likelihood estimate based on a Fourier series representation, which can be efficiently computed via convex optimization. In order to select hyperparameters and compare models, we describe two model selection criteria. We demonstrate our method on simulated and real data, and compare posterior inference to that under a Gaussian mixture model of the prior. △ Less

Submitted 25 March, 2020; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: Corrections and notational changes to Sec 4.4; added acknowledgments; some contents of Sec 2.3 are moved to the Appendix

Global Łojasiewicz inequalities on comparing the rate of growth of polynomial functions

Authors: Si-Tiep Dinh, Feng Guo, Tien-Son Pham

Abstract: We present a global version of the Łojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the mapping defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that the condition of non-degeneracy at infinity is generic in the sense that it holds in an open and dense semi-algebraic set of the entire space of input data. We present a global version of the Łojasiewicz inequality on comparing the rate of growth of two polynomial functions in the case the mapping defined by these functions is (Newton) non-degenerate at infinity. In addition, we show that the condition of non-degeneracy at infinity is generic in the sense that it holds in an open and dense semi-algebraic set of the entire space of input data. △ Less

Submitted 13 February, 2021; v1 submitted 2 December, 2019; originally announced December 2019.

On Testing Marginal versus Conditional Independence

Authors: F. Richard Guo, Thomas S. Richardson

Abstract: We consider testing marginal independence versus conditional independence in a trivariate Gaussian setting. The two models are non-nested and their intersection is a union of two marginal independences. We consider two sequences of such models, one from each type of independence, that are closest to each other in the Kullback-Leibler sense as they approach the intersection. They become indistingui… ▽ More We consider testing marginal independence versus conditional independence in a trivariate Gaussian setting. The two models are non-nested and their intersection is a union of two marginal independences. We consider two sequences of such models, one from each type of independence, that are closest to each other in the Kullback-Leibler sense as they approach the intersection. They become indistinguishable if the signal strength, as measured by the product of two correlation parameters, decreases faster than the standard parametric rate. Under local alternatives at such rate, we show that the asymptotic distribution of the likelihood ratio depends on where and how the local alternatives approach the intersection. To deal with this non-uniformity, we study a class of "envelope" distributions by taking pointwise suprema over asymptotic cumulative distribution functions. We show that these envelope distributions are well-behaved and lead to model selection procedures with rate-free uniform error guarantees and near-optimal power. To control the error even when the two models are indistinguishable, rather than insist on a dichotomous choice, the proposed procedure will choose either or both models. △ Less

Submitted 10 January, 2020; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: Revisions and updated references

On semi-infinite systems of convex polynomial inequalities and polynomial

Authors: Feng Guo, Xiaoxia Sun

Abstract: We consider the semi-infinite system of polynomial inequalities of the form \[ \mathbf{K}:=\{x\in\mathbb{R}^m\mid p(x,y)\ge 0,\ \ \forall y\in S\subseteq\mathbb{R}^n\}, \] where $p(x,y)$ is a real polynomial in the variables $x$ and the parameters $y$, the index set $S$ is a basic semialgebraic set in $\mathbb{R}^n$, $-p(x,y)$ is convex in $x$ for every $y\in S$. We propose a procedure to construc… ▽ More We consider the semi-infinite system of polynomial inequalities of the form \[ \mathbf{K}:=\{x\in\mathbb{R}^m\mid p(x,y)\ge 0,\ \ \forall y\in S\subseteq\mathbb{R}^n\}, \] where $p(x,y)$ is a real polynomial in the variables $x$ and the parameters $y$, the index set $S$ is a basic semialgebraic set in $\mathbb{R}^n$, $-p(x,y)$ is convex in $x$ for every $y\in S$. We propose a procedure to construct approximate semidefinite representations of $\mathbf{K}$. There are two indices to index these approximate semidefinite representations. As two indices increase, these semidefinite representation sets expand and contract, respectively, and can approximate $\mathbf{K}$ as closely as possible under some assumptions. In some special cases, we can fix one of the two indices or both. Then, we consider the optimization problem of minimizing a convex polynomial over $\mathbf{K}$. We present an SDP relaxation method for this optimization problem by similar strategies used in constructing approximate semidefinite representations of $\mathbf{K}$. Under certain assumptions, some approximate minimizers of the optimization problem can also be obtained from the SDP relaxations. In some special cases, we show that the SDP relaxation for the optimization problem is exact and all minimizers can be extracted. △ Less

Submitted 3 August, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: 21 pages, 6 figures

MSC Class: 65K05; 90C22; 90C34

On types of degenerate critical points of real polynomial functions

Authors: Feng Guo, Tien-Son Pham

Abstract: In this paper, we consider the problem of identifying the type (local minimizer, maximizer or saddle point) of a given isolated real critical point $c$, which is degenerate, of a multivariate polynomial function $f$. To this end, we introduce the definition of faithful radius of $c$ by means of the curve of tangency of $f$. We show that the type of $c$ can be determined by the global extrema of… ▽ More In this paper, we consider the problem of identifying the type (local minimizer, maximizer or saddle point) of a given isolated real critical point $c$, which is degenerate, of a multivariate polynomial function $f$. To this end, we introduce the definition of faithful radius of $c$ by means of the curve of tangency of $f$. We show that the type of $c$ can be determined by the global extrema of $f$ over the Euclidean ball centered at $c$ with a faithful radius.We propose algorithms to compute a faithful radius of $c$ and determine its type. △ Less

Submitted 14 August, 2017; originally announced August 2017.

Comments: 16 pages, 2 figures

MSC Class: 65K05; 68W30

Overpartitions Identities Involving Gaps and Weights

Authors: Jeremy J. F. Guo, Doris D. M. Sang, Diane Y. H. Shi

Abstract: In this paper, we find an identity which connects the overpartition function and the function of Rogers--Ramanujan--Gordon type overpartitions by considering the weights and gaps. This identity can be seen as an analogue of the weighted identity of Alladi. In this paper, we find an identity which connects the overpartition function and the function of Rogers--Ramanujan--Gordon type overpartitions by considering the weights and gaps. This identity can be seen as an analogue of the weighted identity of Alladi. △ Less

Submitted 20 April, 2017; originally announced April 2017.

Isoperimetric inequalities for eigenvalues by inverse mean curvature flow

Authors: Fangcheng Guo, Guanghan Li, Chuanxi Wu

Abstract: By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $\mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded. By studying the monotonicity of the first nonzero eigenvalues of Laplace and p-Laplace operators on a closed convex hypersurface $M^n$ which evolves under inverse mean curvature flow in $\mathbb{R}^{n+1}$, the isoperimetric lower bounds for both eigenvalues were founded. △ Less

Submitted 16 February, 2016; originally announced February 2016.

Comments: 16 pages

Martingale Representation and Logarithmic-Sobolev Inequality for Fractional Ornstein-Uhlenbeck Measure

Authors: Xiaoxia Sun, Feng Guo

Abstract: In this paper, we consider the measure determined by a fractional Ornstein-Uhlenbeck process. For such measure, we establish a martingale representation theorem and consequently obtain the Logarithmic-Sobolev inequality. To this end, we also present the integration by parts formula for such measure, which is obtained via its pull back formula and the Bismut method. In this paper, we consider the measure determined by a fractional Ornstein-Uhlenbeck process. For such measure, we establish a martingale representation theorem and consequently obtain the Logarithmic-Sobolev inequality. To this end, we also present the integration by parts formula for such measure, which is obtained via its pull back formula and the Bismut method. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Comments: 14 pages

MSC Class: 60G22

Semidefinite programming relaxations for linear semi-infinite polynomial programming

Authors: Feng Guo, Xiaoxia Sun

Abstract: This paper studies a class of so-called linear semi-infinite polynomial programming (LSIPP) problems. It is a subclass of linear semi-infinite programming problems whose constraint functions are polynomials in parameters and index sets are basic semialgebraic sets. We present a hierarchy of semidefinite programming (SDP) relaxations for LSIPP problems. Convergence rate analysis of the SDP relaxati… ▽ More This paper studies a class of so-called linear semi-infinite polynomial programming (LSIPP) problems. It is a subclass of linear semi-infinite programming problems whose constraint functions are polynomials in parameters and index sets are basic semialgebraic sets. We present a hierarchy of semidefinite programming (SDP) relaxations for LSIPP problems. Convergence rate analysis of the SDP relaxations is established based on some existing results. We show how to verify the compactness of feasible sets of LSIPP problems. In the end, we extend the SDP relaxation method to more general semi-infinite programming problems. △ Less

Submitted 24 October, 2019; v1 submitted 21 September, 2015; originally announced September 2015.

Comments: 22 pages, a revised version according to the comments from the referee

Semidefinite representations of non-compact convex sets

Authors: Feng Guo, Chu Wang, Lihong Zhi

Abstract: We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserre's relaxations converge to the closure of the convex hull of $S$. Moreover, if the PP-BDR property… ▽ More We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserre's relaxations converge to the closure of the convex hull of $S$. Moreover, if the PP-BDR property is satisfied, our theta body and Lasserre's relaxation are exact when the order is large enough; if the PP-BDR property does not hold, our hierarchies convergent uniformly to the closure of the convex hull of $S$ restricted to every fixed ball centered at the origin. We illustrate through a set of examples that the conditions of pointedness and closedness are essential to ensure the convergence. Finally, we provide some strategies to deal with cases where the conditions of pointedness and closedness are violated. △ Less

Submitted 24 February, 2014; v1 submitted 9 January, 2014; originally announced January 2014.

Comments: 25 pages, 9 figures

Semidefinite relaxations for semi-infinite polynomial programming

Authors: Li Wang, Feng Guo

Abstract: This paper studies how to solve semi-infinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many constraints. Then we propose an exchange algorithm with SDP relaxations to solve SIPP problems with compact index set. At last, we extend the proposed method to SIPP prob… ▽ More This paper studies how to solve semi-infinite polynomial programming (SIPP) problems by semidefinite relaxation method. We first introduce two SDP relaxation methods for solving polynomial optimization problems with finitely many constraints. Then we propose an exchange algorithm with SDP relaxations to solve SIPP problems with compact index set. At last, we extend the proposed method to SIPP problems with noncompact index set via homogenization. Numerical results show that the algorithm is efficient in practice. △ Less

Submitted 8 June, 2013; originally announced June 2013.

Comments: 23 pages, 4 figures

Infinitely Log-monotonic Combinatorial Sequences

Authors: William Y. C. Chen, Jeremy J. F. Guo, Larry X. W. Wang

Abstract: We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it… ▽ More We introduce the notion of infinitely log-monotonic sequences. By establishing a connection between completely monotonic functions and infinitely log-monotonic sequences, we show that the sequences of the Bernoulli numbers, the Catalan numbers and the central binomial coefficients are infinitely log-monotonic. In particular, if a sequence $\{a_n\}_{n\geq 0}$ is log-monotonic of order two, then it is ratio log-concave in the sense that the sequence $\{a_{n+1}/a_{n}\}_{n\geq 0}$ is log-concave. Furthermore, we prove that if a sequence $\{a_n\}_{n\geq k}$ is ratio log-concave, then the sequence $\{\sqrt[n]{a_n}\}_{n\geq k}$ is strictly log-concave subject to a certain initial condition. As consequences, we show that the sequences of the derangement numbers, the Motzkin numbers, the Fine numbers, the central Delannoy numbers, the numbers of tree-like polyhexes and the Domb numbers are ratio log-concave. For the case of the Domb numbers $D_n$, we confirm a conjecture of Sun on the log-concavity of the sequence $\{\sqrt[n]{D_n}\}_{n\geq 1}$. △ Less

Submitted 26 September, 2013; v1 submitted 18 April, 2013; originally announced April 2013.

Comments: 26 pages, to appear in Adv. Appl. Math

MSC Class: 05A20; 11B68

Zeta Functions and the Log-behavior of Combinatorial Sequences

Authors: William Y. C. Chen, Jeremy J. F. Guo, Larry X. W. Wang

Abstract: In this paper, we use the Riemann zeta function $ζ(x)$ and the Bessel zeta function $ζ_μ(x)$ to study the log-behavior of combinatorial sequences. We prove that $ζ(x)$ is log-convex for $x>1$. As a consequence, we deduce that the sequence $\{|B_{2n}|/(2n)!\}_{n\geq 1}$ is log-convex, where $B_n$ is the $n$-th Bernoulli number. We introduce the function $θ(x)=(2ζ(x)Γ(x+1))^{\frac{1}{x}}$, where… ▽ More In this paper, we use the Riemann zeta function $ζ(x)$ and the Bessel zeta function $ζ_μ(x)$ to study the log-behavior of combinatorial sequences. We prove that $ζ(x)$ is log-convex for $x>1$. As a consequence, we deduce that the sequence $\{|B_{2n}|/(2n)!\}_{n\geq 1}$ is log-convex, where $B_n$ is the $n$-th Bernoulli number. We introduce the function $θ(x)=(2ζ(x)Γ(x+1))^{\frac{1}{x}}$, where $Γ(x)$ is the gamma function, and we show that $\log θ(x)$ is strictly increasing for $x\geq 6$. This confirms a conjecture of Sun stating that the sequence $\{\sqrt[n] {|B_{2n}}|\}_{n\geq 1}$ is strictly increasing. Amdeberhan, Moll and Vignat defined the numbers $a_n(μ)=2^{2n+1}(n+1)!(μ+1)_nζ_μ(2n)$ and conjectured that the sequence $\{a_n(μ)\}_{n\geq 1}$ is log-convex for $μ=0$ and $μ=1$. By proving that $ζ_μ(x)$ is log-convex for $x>1$ and $μ>-1$, we show that the sequence $\{a_n(μ)\}_{n\geq 1}$ is log-convex for any $μ>-1$. We introduce another function $θ_μ(x)$ involving $ζ_μ(x)$ and the gamma function $Γ(x)$ and we show that $\log θ_μ(x)$ is strictly increasing for $x>8e(μ+2)^2$. This implies that $\sqrt[n]{a_n(μ)}<\sqrt[n+1]{a_{n+1}(μ)}$ for $n> 4e(μ+2)^2$. Based on Dobinski's formula, we prove that $\sqrt[n]{B_n}<\sqrt[n+1]{B_{n+1}}$ for $n\geq 1$, where $B_n$ is the $n$-th Bell number. This confirms another conjecture of Sun. We also establish a connection between the increasing property of $\{\sqrt[n]{B_n}\}_{n\geq 1}$ and Hölder's inequality in probability theory. △ Less

Submitted 26 September, 2013; v1 submitted 26 August, 2012; originally announced August 2012.

Comments: 16 pages; to appear in Proc. Edinburgh Math. Soc. (2)

MSC Class: 05A20; 11B68

The Sorting Index and Permutation Codes

Authors: William Y. C. Chen, George Z. Gong, Jeremy J. F. Guo

Abstract: In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group… ▽ More In the combinatorial study of the coefficients of a bivariate polynomial that generalizes both the length and the reflection length generating functions for finite Coxeter groups, Petersen introduced a new Mahonian statistic $sor$, called the sorting index. Petersen proved that the pairs of statistics $(sor,cyc)$ and $(inv,rl\textrm{-}min)$ have the same joint distribution over the symmetric group, and asked for a combinatorial proof of this fact. In answer to the question of Petersen, we observe a connection between the sorting index and the B-code of a permutation defined by Foata and Han, and we show that the bijection of Foata and Han serves the purpose of mapping $(inv,rl\textrm{-}min)$ to $(sor,cyc)$. We also give a type $B$ analogue of the Foata-Han bijection, and we derive the quidistribution of $(inv_B,{\rm Lmap_B},{\rm Rmil_B})$ and $(sor_B,{\rm Lmap_B},{\rm Cyc_B})$ over signed permutations. So we get a combinatorial interpretation of Petersen's equidistribution of $(inv_B,nmin_B)$ and $(sor_B,l_B')$. Moreover, we show that the six pairs of set-valued statistics $\rm (Cyc_B,Rmil_B)$, $\rm(Cyc_B,Lmap_B)$, $\rm(Rmil_B,Lmap_B)$, $\rm(Lmap_B,Rmil_B)$, $\rm(Lmap_B,Cyc_B)$ and $\rm(Rmil_B,Cyc_B)$ are equidistributed over signed permutations. For Coxeter groups of type $D$, Petersen showed that the two statistics $inv_D$ and $sor_D$ are equidistributed. We introduce two statistics $nmin_D$ and $\tilde{l}_D'$ for elements of $D_n$ and we prove that the two pairs of statistics $(inv_D,nmin_D)$ and $(sor_D,\tilde{l}_D')$ are equidistributed. △ Less

Submitted 3 June, 2012; originally announced June 2012.

Comments: 25 pages

MSC Class: 05A05; 05A15; 20F55

Minimizing Rational Functions by Exact Jacobian SDP Relaxation Applicable to Finite Singularities

Authors: Feng Guo, Li Wang, Guangming Zhou

Abstract: This paper considers the optimization problem of minimizing a rational function. We reformulate this problem as polynomial optimization by the technique of homogenization. These two problems are shown to be equivalent under some generic conditions. The exact Jacobian SDP relaxation method proposed by Nie is used to solve the resulting polynomial optimization. We also prove that the assumption of n… ▽ More This paper considers the optimization problem of minimizing a rational function. We reformulate this problem as polynomial optimization by the technique of homogenization. These two problems are shown to be equivalent under some generic conditions. The exact Jacobian SDP relaxation method proposed by Nie is used to solve the resulting polynomial optimization. We also prove that the assumption of nonsingularity in Nie's method can be weakened as the finiteness of singularities. Some numerical examples are given to illustrate the efficiency of our method. △ Less

Submitted 29 May, 2012; originally announced May 2012.

Comments: 23 pages

Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions

Authors: Feng Guo, Erich L. Kaltofen, Lihong Zhi

Abstract: We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th prob… ▽ More We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th problems, such representations always exist for some denominator degree. Our certificates of infeasibility are based on the generalization of Farkas's Lemma to semidefinite programming. The literature has many famous examples of impossibility of SOS representability including Motzkin's, Robinson's, Choi's and Lam's polynomials, and Reznick's lower degree bounds on uniform denominators, e.g., powers of the sum-of-squares of each variable. Our work on exact certificates for positive semidefiniteness allows for non-uniform denominators, which can have lower degree and are often easier to convert to exact identities. Here we demonstrate our algorithm by computing certificates of impossibilities for an arbitrary sum-of-squares denominator of degree 2 and 4 for some symmetric sextics in 4 and 5 variables, respectively. We can also certify impossibility of base polynomials in the denominator of restricted term structure, for instance as in Landau's reduction by one less variable. △ Less

Submitted 1 March, 2012; originally announced March 2012.

SDPTools: High Precision SDP Solver in Maple

Authors: Feng Guo

Abstract: Semidefinite programs are an important class of convex optimization problems. It can be solved efficiently by SDP solvers in Matlab, such as SeDuMi, SDPT3, DSDP. However, since we are running fixed precision SDP solvers in Matlab, for some applications, due to the numerical error, we can not get good results. SDPTools is a Maple package to solve SDP in high precision. We apply SDPTools to the cert… ▽ More Semidefinite programs are an important class of convex optimization problems. It can be solved efficiently by SDP solvers in Matlab, such as SeDuMi, SDPT3, DSDP. However, since we are running fixed precision SDP solvers in Matlab, for some applications, due to the numerical error, we can not get good results. SDPTools is a Maple package to solve SDP in high precision. We apply SDPTools to the certification of the global optimum of rational functions. For the Rumps Model Problem, we obtain the best numerical results so far. △ Less

Submitted 21 December, 2011; originally announced December 2011.