Showing 1–14 of 14 results for author: Zheng, M

Codegree conditions for (fractional) Steiner triple systems

Authors: Michael Zheng

Abstract: We establish an upper bound on the minimum codegree necessary for the existence of spanning, fractional Steiner triple systems in $3$-uniform hypergraphs. This improves upon a result by Lee in 2023. In particular, together with results from Lee's paper, our results imply that if $n$ is sufficiently large and satisfies some necessary divisibility conditions, then a $3$-uniform, $n$-vertex hypergrap… ▽ More We establish an upper bound on the minimum codegree necessary for the existence of spanning, fractional Steiner triple systems in $3$-uniform hypergraphs. This improves upon a result by Lee in 2023. In particular, together with results from Lee's paper, our results imply that if $n$ is sufficiently large and satisfies some necessary divisibility conditions, then a $3$-uniform, $n$-vertex hypergraph $H$ contains a Steiner triple system if every pair of vertices forms an edge in $H$ with at least $0.8579n$ other vertices. △ Less

Submitted 12 November, 2024; originally announced November 2024.

Comments: Comments are welcome!

Rainbow Combinatorial Lines in Hypercubes

Authors: Michael Zheng

Abstract: This paper is about the rainbow dual of the Hales Jewett number, providing general bounds an anti-Hales Jewett Number for hypercubes of length k and dimension n denoted $ah(k, n).$ The best general bounds this paper provides are: $(k-1)^n < ah(k, n) \leq \frac{(k-1)^2-2}{k-1}\cdot k^{n-1}+\frac{k+1}{k-1}.$ This paper also includes proofs about the specific cases of $k = 2$ and $k = 3$, where we sh… ▽ More This paper is about the rainbow dual of the Hales Jewett number, providing general bounds an anti-Hales Jewett Number for hypercubes of length k and dimension n denoted $ah(k, n).$ The best general bounds this paper provides are: $(k-1)^n < ah(k, n) \leq \frac{(k-1)^2-2}{k-1}\cdot k^{n-1}+\frac{k+1}{k-1}.$ This paper also includes proofs about the specific cases of $k = 2$ and $k = 3$, where we show that $ah(2, n) = 2$ and $2^n < ah(3, n) \leq 3^{n-1} - 2\cdot3^{n-4} + 2$ for all natural numbers n $>$ 4. For $n < 4$, we have found the exact values: $ah(3, 1) = 3$, $ah(3, 2) = 5$, and $ah(3, 3) = 11$. In the case $n = 4$, we have found that $23 < ah(3, 4) \leq 27$. △ Less

Submitted 16 October, 2024; v1 submitted 15 October, 2024; originally announced October 2024.

Comments: 23 pages, 15 figures, comments welcome and appreciated

Subgraphs of random graphs in hereditary families

Authors: Alexander Clifton, Hong Liu, Letícia Mattos, Michael Zheng

Abstract: For a graph $G$ and a hereditary property $\mathcal{P}$, let $\text{ex}(G,\mathcal{P})$ denote the maximum number of edges of a subgraph of $G$ that belongs to $\mathcal{P}$. We prove that for every non-trivial hereditary property $\mathcal{P}$ such that $L \notin \mathcal{P}$ for some bipartite graph $L$ and for every fixed $p \in (0,1)$ we have \[\text{ex}(G(n,p),\mathcal{P}) \le n^{2-\varepsilo… ▽ More For a graph $G$ and a hereditary property $\mathcal{P}$, let $\text{ex}(G,\mathcal{P})$ denote the maximum number of edges of a subgraph of $G$ that belongs to $\mathcal{P}$. We prove that for every non-trivial hereditary property $\mathcal{P}$ such that $L \notin \mathcal{P}$ for some bipartite graph $L$ and for every fixed $p \in (0,1)$ we have \[\text{ex}(G(n,p),\mathcal{P}) \le n^{2-\varepsilon}\] with high probability, for some constant $\varepsilon = \varepsilon(\mathcal{P})>0$. This answers a question of Alon, Krivelevich and Samotij. △ Less

Submitted 15 May, 2024; originally announced May 2024.

Comments: 5 pages

Singular backward stochastic Volterra integral equations in infinite dimensional spaces

Authors: Tianxiao Wang, Mengliang Zheng

Abstract: In this paper, the notion of singular backward stochastic Volterra integral equations (singular BSVIEs for short) in infinite dimensional space is introduced, and the corresponding well-posedness is carefully established. A class of singularity conditions are proposed, which not only cover that of fractional kernel, Volterra Heston model kernel, completely monotone kernels, to mention a few, but a… ▽ More In this paper, the notion of singular backward stochastic Volterra integral equations (singular BSVIEs for short) in infinite dimensional space is introduced, and the corresponding well-posedness is carefully established. A class of singularity conditions are proposed, which not only cover that of fractional kernel, Volterra Heston model kernel, completely monotone kernels, to mention a few, but also happen to be used in the forward stochastic Volterra integral with new conclusions arising. Motivated by mathematical physics problem such as the viscoelasticity/thermoviscoelasticity of materials, heat conduction in materials with memory, optimal control problems of abstract stochastic Volterra integral equations (including fractional stochastic evolution equations and stochastic evolutionary integral equations) are presented. At last, our BSVIEs are surprisingly used in maximum principle of controlled stochastic delay evolution equations. One advantage of this new standpoint is that the final cost functional can naturally depend on the past state for the first time. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Neural Frailty Machine: Beyond proportional hazard assumption in neural survival regressions

Authors: Ruofan Wu, Jiawei Qiao, Mingzhe Wu, Wen Yu, Ming Zheng, Tengfei Liu, Tianyi Zhang, Weiqiang Wang

Abstract: We present neural frailty machine (NFM), a powerful and flexible neural modeling framework for survival regressions. The NFM framework utilizes the classical idea of multiplicative frailty in survival analysis to capture unobserved heterogeneity among individuals, at the same time being able to leverage the strong approximation power of neural architectures for handling nonlinear covariate depende… ▽ More We present neural frailty machine (NFM), a powerful and flexible neural modeling framework for survival regressions. The NFM framework utilizes the classical idea of multiplicative frailty in survival analysis to capture unobserved heterogeneity among individuals, at the same time being able to leverage the strong approximation power of neural architectures for handling nonlinear covariate dependence. Two concrete models are derived under the framework that extends neural proportional hazard models and nonparametric hazard regression models. Both models allow efficient training under the likelihood objective. Theoretically, for both proposed models, we establish statistical guarantees of neural function approximation with respect to nonparametric components via characterizing their rate of convergence. Empirically, we provide synthetic experiments that verify our theoretical statements. We also conduct experimental evaluations over $6$ benchmark datasets of different scales, showing that the proposed NFM models outperform state-of-the-art survival models in terms of predictive performance. Our code is publicly availabel at https://github.com/Rorschach1989/nfm △ Less

Submitted 4 October, 2023; v1 submitted 18 March, 2023; originally announced March 2023.

Block diagonalization of block circulant quaternion matrices and the fast calculation for T-product of quaternion tensors

Authors: Meng-Meng Zheng, Guyan Ni

Abstract: With the great success of the T-product based real tensor methods in the color image and gray video processing, the establishment of T-product based quaternion tensor methods in the color video processing has encountered a challenge, which is the block diagonalization of block circulant quaternion matrices. In this paper, we show that the discrete Fourier matrix $\mathbf{F_p}$ cannot diagonalize… ▽ More With the great success of the T-product based real tensor methods in the color image and gray video processing, the establishment of T-product based quaternion tensor methods in the color video processing has encountered a challenge, which is the block diagonalization of block circulant quaternion matrices. In this paper, we show that the discrete Fourier matrix $\mathbf{F_p}$ cannot diagonalize $p\times p$ circulant quaternion matrices, nor can the unitary quaternion matrices $\mathbf{F_p}\mathbf{j}$ and $\mathbf{F_p}(1+\mathbf{j})/\sqrt{2}$ with $\mathbf{j}$ being an imaginary unit of quaternion algebra. Further, we establish sufficient and necessary conditions for a unitary quaternion matrix being a diagonalization matrix of circulant quaternion matrices, which shows that achieving the diagonalization of circulant quaternion matrices in the quaternion domain is too hard. We turn to the octonion domain for achieving the diagonalization of circulant quaternion matrices. We prove that the unitary octonion matrix $\mathbf{F_p}\mathbf{p}$ with $\mathbf{p}=\mathbf{l},\mathbf{il}$ or $(\mathbf{l}+\mathbf{il})/\sqrt{2}$ can diagonalize a circulant quaternion matrix of size $p\times p$, at the cost of $O(p\log p)$ via the fast Fourier transform (FFT); and unitary matrices $\mathbf{F_p}\mathbf{p}\otimes \mathbf{I_m}$ and $\mathbf{F_p}\mathbf{p}\otimes \mathbf{I_n}$ can block diagonalize a block circulant quaternion matrix of size $mp\times np$, at the cost of $O(mnp\log p)$ via the FFT. As a result, we propose a fast algorithm to calculate the T-product between $m\times n\times p$ and $n\times s\times p$ third-order quaternion tensors via FFTs, at the cost of $O(mnsp)$, which is almost $1/p$ of the computational magnitude of computing T-product by its definition. Numerical calculations verify the correctness of the complexity analysis. △ Less

Submitted 29 December, 2022; originally announced December 2022.

Interval colorings of graphs -- coordinated and unstable no-wait schedules

Authors: Maria Axenovich, Michael Zheng

Abstract: A proper edge-coloring of a graph is an interval coloring if the labels on the edges incident to any vertex form an interval of consecutive integers. Interval thickness s(G) of a graph G is the smallest number of interval colorable graphs edge-decomposing G. We prove that s(G)=o(n) for any graph G on n vertices. This improves the previously known bound of 2n/5 by Asratian, Casselgren, and Petrosya… ▽ More A proper edge-coloring of a graph is an interval coloring if the labels on the edges incident to any vertex form an interval of consecutive integers. Interval thickness s(G) of a graph G is the smallest number of interval colorable graphs edge-decomposing G. We prove that s(G)=o(n) for any graph G on n vertices. This improves the previously known bound of 2n/5 by Asratian, Casselgren, and Petrosyan. While we do not have a single example of a graph with interval thickness strictly greater than 2, we construct bipartite graphs whose interval spectrum has arbitrarily many arbitrarily large gaps. Here, an interval spectrum of a graph is the set of all integers t such that the graph has an interval coloring using t colors. Interval colorings of bipartite graphs naturally correspond to no-wait schedules, say for parent-teacher conferences, where a conversation between any teacher and any parent lasts the same amount of time. Our results imply that any such conference with $n$ participants can be coordinated in o(n) no-wait periods. In addition, we show that for any integers t and T, t<T, there is a set of pairs of parents and teachers wanting to talk to each other, such that any no-wait schedules are unstable -- they could last t hours and could last T hours, but there is no possible no-wait schedule lasting x hours if t<x<T. △ Less

Submitted 12 May, 2022; originally announced May 2022.

MSC Class: O5C15; 05C78

Robustness Against Weak or Invalid Instruments: Exploring Nonlinear Treatment Models with Machine Learning

Authors: Zijian Guo, Mengchu Zheng, Peter Bühlmann

Abstract: We discuss causal inference for observational studies with possibly invalid instrumental variables. We propose a novel methodology called two-stage curvature identification (TSCI) by exploring the nonlinear treatment model with machine learning. {The first-stage machine learning enables improving the instrumental variable's strength and adjusting for different forms of violating the instrumental v… ▽ More We discuss causal inference for observational studies with possibly invalid instrumental variables. We propose a novel methodology called two-stage curvature identification (TSCI) by exploring the nonlinear treatment model with machine learning. {The first-stage machine learning enables improving the instrumental variable's strength and adjusting for different forms of violating the instrumental variable assumptions.} The success of TSCI requires the instrumental variable's effect on treatment to differ from its violation form. A novel bias correction step is implemented to remove bias resulting from the potentially high complexity of machine learning. Our proposed \texttt{TSCI} estimator is shown to be asymptotically unbiased and Gaussian even if the machine learning algorithm does not consistently estimate the treatment model. Furthermore, we design a data-dependent method to choose the best among several candidate violation forms. We apply TSCI to study the effect of education on earnings. △ Less

Submitted 4 January, 2024; v1 submitted 23 March, 2022; originally announced March 2022.

An existence result for weakly homogeneous variational inequalities

Authors: Meng-Meng Zheng, Zheng-Hai Huang

Abstract: In this paper, what we concern about is the weakly homogeneous variational inequality over a finite dimensional real Hilbert space. We achieve an existence result {under} copositivity of leading term of the involved map, norm-coercivity of the natural map and several additional conditions. These conditions we used are easier to check and cross each other with those utilized in the main result esta… ▽ More In this paper, what we concern about is the weakly homogeneous variational inequality over a finite dimensional real Hilbert space. We achieve an existence result {under} copositivity of leading term of the involved map, norm-coercivity of the natural map and several additional conditions. These conditions we used are easier to check and cross each other with those utilized in the main result established by Gowda and Sossa (Math Program 177:149-171, 2019). As a corollary, we obtain a result on the solvability of nonlinear equations with weakly homogeneous maps involved. Our result enriches the theory for weakly homogeneous variational inequalities and its subcategory problems in the sense that the main result established by Gowda and Sossa covers a majority of existence results on the subcategory problems of weakly homogeneous variational inequalities. Besides, we compare our {existence} result with the well-known coercivity result obtained for general variational inequalities and a norm-coercivity result obtained for general complementarity problems, respectively. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Unique solvability of weakly homogeneous generalized variational inequalities

Authors: Xueli Bai, Zheng-Hai Huang, Mengmeng Zheng

Abstract: An interesting observation is that most pairs of weakly homogeneous mappings have no strongly monotonic property, which is one of the key conditions to ensure the unique solvability of the generalized variational inequality. This paper focuses on studying the unique solvability of the generalized variational inequality with a pair of weakly homogeneous mappings. By using a weaker condition than th… ▽ More An interesting observation is that most pairs of weakly homogeneous mappings have no strongly monotonic property, which is one of the key conditions to ensure the unique solvability of the generalized variational inequality. This paper focuses on studying the unique solvability of the generalized variational inequality with a pair of weakly homogeneous mappings. By using a weaker condition than the strong monotonicity and some additional conditions, we achieve several results on the unique solvability of the underlying problem. These results are exported by making use of the exceptional family of elements or derived from new obtained Karamardian-type theorems or established under the exceptional regularity condition. They are new even when the problem comes down to its important subclasses studied in recent years. △ Less

Submitted 25 June, 2020; originally announced June 2020.

T-positive semidefiniteness of third-order symmetric tensors and T-semidefinite programming

Authors: Meng-Meng Zheng, Zheng-Hai Huang, Yong Wang

Abstract: The T-product for third-order tensors has been used extensively in the literature. In this paper, we first introduce the first-order and second-order T-derivatives for the multi-vector real-valued function with the tensor T-product; and inspired by an equivalent characterization of a twice continuously T-differentiable multi-vector real-valued function being convex, we present a definition of the… ▽ More The T-product for third-order tensors has been used extensively in the literature. In this paper, we first introduce the first-order and second-order T-derivatives for the multi-vector real-valued function with the tensor T-product; and inspired by an equivalent characterization of a twice continuously T-differentiable multi-vector real-valued function being convex, we present a definition of the T-positive semidefiniteness of third-order symmetric tensors. After that, we extend many properties of positive semidefinite matrices to the case of third-order symmetric tensors. In particular, analogue to the widely used semidefinite programming (SDP for short), we introduce the semidefinite programming over the third-order symmetric tensor space (T-semidefinite programming or TSDP for short), and provide a way to solve the TSDP problem by converting it into an SDP problem in the complex domain. Furthermore, we give several examples which can be formulated (or relaxed) as TSDP problems, and report preliminary numerical results for two unconstrained polynomial optimization problems. Experiments show that finding the global minimums of polynomials via the TSDP relaxation outperforms the traditional SDP relaxation for the test examples. △ Less

Submitted 19 June, 2020; originally announced June 2020.

Identify Equivalent Frames

Authors: Xuemei Chen, Yang Chu, Min Zheng

Abstract: A frame is an overcomplete set that can represent vectors(signals) faithfully and stably. Two frames are equivalent if signals can be essentially represented in the same way, which means two frames differ by a permutation, sign change or orthogonal transformation. Since these operations are combinatorial in nature, it is infeasible to check whether two frames are equivalent by exhaustive search. I… ▽ More A frame is an overcomplete set that can represent vectors(signals) faithfully and stably. Two frames are equivalent if signals can be essentially represented in the same way, which means two frames differ by a permutation, sign change or orthogonal transformation. Since these operations are combinatorial in nature, it is infeasible to check whether two frames are equivalent by exhaustive search. In this note, we present an algorithm that can check this equivalence in polynomial time. Theoretical guarantees are provided for special cases. △ Less

Submitted 17 November, 2019; originally announced November 2019.

Comments: 12 pages, 6 figures. Submitted to Involve

Model Averaging for Generalized Linear Model with Covariates that are Missing completely at Random

Authors: Qingfeng Liu, Miaomiao Zheng

Abstract: In this paper, we consider the estimation of generalized linear models with covariates that are missing completely at random. We propose a model averaging estimation method and prove that the corresponding model averaging estimator is asymptotically optimal under certain assumptions. Simulaiton results illustrate that this method has better performance than other alternatives under most situations… ▽ More In this paper, we consider the estimation of generalized linear models with covariates that are missing completely at random. We propose a model averaging estimation method and prove that the corresponding model averaging estimator is asymptotically optimal under certain assumptions. Simulaiton results illustrate that this method has better performance than other alternatives under most situations. △ Less

Submitted 25 October, 2017; originally announced October 2017.

Explicit expressions for a family of Bell polynomials and derivatives of some functions

Authors: Feng Qi, Miao-Miao Zheng

Abstract: In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function, and finally apply these explicit expressions to find explicit formulas for derivatives of some elementary functions. In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function, and finally apply these explicit expressions to find explicit formulas for derivatives of some elementary functions. △ Less

Submitted 11 May, 2014; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: 16 pages

MSC Class: 11B83; 26A06; 26A09; 26A24; 26C05; 26C99; 33B90

Journal ref: Applied Mathematics and Computation 258 (2015), 597--607