-
On Meromorphic Solutions to a Difference Equation of Tumura-Clunie Type
Authors:
Jianren Long,
Xuxu Xiang
Abstract:
The meromorphic solutions $f$ with $ρ_2(f)<1$ of the non-linear difference equation \begin{align*} f^n(z)+P_d(z,f)=p_1e^{{λ_1}z}+p_2e^{{λ_2}z}+p_3e^{{λ_3}z}, \end{align*} are characterized in terms of exponential functions using Nevanlinna theory, under certain conditions on $λ_j$ for $j=1,2,3$. Here, $n>2$, $P_d(z,f)$ is a difference polynomial in $f$ of degree $\le n-1$, and $λ_j,~p_j\not=0$ for…
▽ More
The meromorphic solutions $f$ with $ρ_2(f)<1$ of the non-linear difference equation \begin{align*} f^n(z)+P_d(z,f)=p_1e^{{λ_1}z}+p_2e^{{λ_2}z}+p_3e^{{λ_3}z}, \end{align*} are characterized in terms of exponential functions using Nevanlinna theory, under certain conditions on $λ_j$ for $j=1,2,3$. Here, $n>2$, $P_d(z,f)$ is a difference polynomial in $f$ of degree $\le n-1$, and $λ_j,~p_j\not=0$ for $~j=1,2,3$. These results improve upon those previously obtained by Chen et al.[Bull. Korean Math. Soc. 61, 745-762 (2024)]. Some examples are provided to illustrate these results. Additionally, if $P_d(z,f)$ is a differential-difference polynomial, then under the supplementary condition $N(r,f)=S(r,f)$, by applying the same proof method, these conclusions still hold.
△ Less
Submitted 3 July, 2025;
originally announced July 2025.
-
Fractional order derivative characterizations of Besov-Morrey type spaces with applications
Authors:
Chen Lu,
Mingjin Li,
Jianren Long
Abstract:
On the one hand, the fractional order derivative characterization of the Besov-Morrey type space $B_{p}^{K}(s)$ is established by $K$-Carleson measures, and it was also shown that $f \in B_{p}^{K}(s_1) \Leftrightarrow f^{\left(\frac{s_2 - s_1}{p}\right)} \in B_{p}^{K}(s_2)$, which extended the results of Sun et al. on the fractional derivative of Morrey type space. On the other hand, some sufficie…
▽ More
On the one hand, the fractional order derivative characterization of the Besov-Morrey type space $B_{p}^{K}(s)$ is established by $K$-Carleson measures, and it was also shown that $f \in B_{p}^{K}(s_1) \Leftrightarrow f^{\left(\frac{s_2 - s_1}{p}\right)} \in B_{p}^{K}(s_2)$, which extended the results of Sun et al. on the fractional derivative of Morrey type space. On the other hand, some sufficient conditions for the growth of solutions to linear complex differential equations have been obtained by using $n$th derivative criterion.
△ Less
Submitted 27 May, 2025;
originally announced May 2025.
-
Two weights inequality for Hankel operators on weighted Bergman spaces induced by radial weights
Authors:
Mingjin Li,
Jianren Long,
Pengcheng Wu
Abstract:
The two weights inequality for Hankel operators $$\|H_f^ω(\cdot)\|_{L_η^q}\leq C \|\cdot\|_{A_v^p},$$ induced by some radial weights under the regular assumptions is considered, the boundedness and compactness of Hankel operators $H^ω_f$ is characterized for $1<p,q<\infty$ and $ω\neq v\neq η\in \mathcal{R}$.
The two weights inequality for Hankel operators $$\|H_f^ω(\cdot)\|_{L_η^q}\leq C \|\cdot\|_{A_v^p},$$ induced by some radial weights under the regular assumptions is considered, the boundedness and compactness of Hankel operators $H^ω_f$ is characterized for $1<p,q<\infty$ and $ω\neq v\neq η\in \mathcal{R}$.
△ Less
Submitted 28 April, 2025;
originally announced April 2025.
-
On meromorphic solutions of Fermat type delay-differential equations with two exponential terms
Authors:
Xuxu Xiang,
Jianren Long,
Mengting Xia,
Zhigao Qin
Abstract:
The existence of the meromorphic solutions to Fermat type delay-differential equation
\begin{equation}
f^n(z)+a(f^{(l)}(z+c))^m=p_1(z)e^{a_1z^k}+p_2(z)e^{a_2z^k}, \nonumber
\end{equation}
is derived by using Nevanlinna theory under certain conditions, where $k\ge1$, $m,$ $n$ and $l$ are integers, $p_i$ are nonzero entire functions of order less than $k$, $c$, $a$ and $a_i$ are constants,…
▽ More
The existence of the meromorphic solutions to Fermat type delay-differential equation
\begin{equation}
f^n(z)+a(f^{(l)}(z+c))^m=p_1(z)e^{a_1z^k}+p_2(z)e^{a_2z^k}, \nonumber
\end{equation}
is derived by using Nevanlinna theory under certain conditions, where $k\ge1$, $m,$ $n$ and $l$ are integers, $p_i$ are nonzero entire functions of order less than $k$, $c$, $a$ and $a_i$ are constants, $i=1,2$.
These results not only improve the previous results from Zhu et al. [J. Contemp. Math. Anal. 59(2024), 209-219], Qi et al. [Mediterr. J. Math. 21(2024), article no. 122], but also completely solve two conjectures posed by Gao et al. [Mediterr. J. Math. 20(2023), article no. 167].
Some examples are given to illustrate these results.
△ Less
Submitted 28 April, 2025; v1 submitted 22 April, 2025;
originally announced April 2025.
-
Some new findings concerning value distribution of a pair of delay-differential polynomials
Authors:
Jianren Long,
Xuxu Xiang
Abstract:
The paired Hayman's conjecture of different types are considered. More accurately speaking, the zeros of a pair of $f^nL(z,g)-a_1(z)$ and $g^mL(z,f)-a_2(z)$ are characterized using different methods from those previously employed, where $f$ and $g$ are both transcendental entire functions, $L(z,f)$ and $L(z,g)$ are non-zero linear delay-differential polynomials, $\min\{n,m\}\ge 2$, $a_1,a_2$ are n…
▽ More
The paired Hayman's conjecture of different types are considered. More accurately speaking, the zeros of a pair of $f^nL(z,g)-a_1(z)$ and $g^mL(z,f)-a_2(z)$ are characterized using different methods from those previously employed, where $f$ and $g$ are both transcendental entire functions, $L(z,f)$ and $L(z,g)$ are non-zero linear delay-differential polynomials, $\min\{n,m\}\ge 2$, $a_1,a_2$ are non-zero small functions with relative to $f$ and $g$, or to $f^n(z)L(z,g)$ and $g^m(z)L(z,f)$, respectively. These results give answers to three open questions raised by Gao, Liu[Bull. Korean Math. Soc. 59 (2022)] and Liu, Liu[J. Math. Anal. Appl. 543 (2025)].
△ Less
Submitted 28 May, 2025; v1 submitted 9 April, 2025;
originally announced April 2025.
-
On a question of Gundersen-Yang concerning entire solutions of binomial differential equations
Authors:
Jianren Long,
Mengting Xia,
Xuxu Xiang
Abstract:
We study the question posed by G. Gundersen and C. C. Yang, in which the following two types of binomial differential equations are investigated, $$ a(z)f'f''-b(z)(f)^{2}=c(z)e^{2d(z)},~~a(z)ff'-b(z)(f'')^{2}=c(z)e^{2d(z)}, $$ where $a(z)$, $b(z)$ and $c(z)$ are polynomials such that $a(z)b(z)c(z)\not\equiv 0$, $d(z)$ is non-constant polynomial. The explicit forms of entire solutions of the above…
▽ More
We study the question posed by G. Gundersen and C. C. Yang, in which the following two types of binomial differential equations are investigated, $$ a(z)f'f''-b(z)(f)^{2}=c(z)e^{2d(z)},~~a(z)ff'-b(z)(f'')^{2}=c(z)e^{2d(z)}, $$ where $a(z)$, $b(z)$ and $c(z)$ are polynomials such that $a(z)b(z)c(z)\not\equiv 0$, $d(z)$ is non-constant polynomial. The explicit forms of entire solutions of the above binomial differential equations are obtained by using the Nevanlinna theory, which gives partial solutions to the question of G. Gundersen and C. C. Yang. In addition, some examples are given to illustrate these results.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
Saint-Venant Estimates and Liouville-Type Theorems for the Stationary MHD Equation in $\mathbb{R}^3$
Authors:
Jing Loong,
Guoxu Yang
Abstract:
In this paper, we investigate a Liouville-type theorem for the MHD equations using Saint-Venant type estimates. We show that \( (u, B) \) is a trivial solution if the growth of the \( L^s \) mean oscillation of the potential functions for both the velocity and magnetic fields are controlled. Our growth assumption is weaker than those previously known for similar results. The main idea is to refine…
▽ More
In this paper, we investigate a Liouville-type theorem for the MHD equations using Saint-Venant type estimates. We show that \( (u, B) \) is a trivial solution if the growth of the \( L^s \) mean oscillation of the potential functions for both the velocity and magnetic fields are controlled. Our growth assumption is weaker than those previously known for similar results. The main idea is to refine the Saint-Venant type estimates using the Froullani integral.
△ Less
Submitted 11 January, 2025;
originally announced January 2025.
-
Longest Path and Cycle Transversals in Chordal Graphs
Authors:
James A. Long Jr.,
Kevin G. Milans,
Michael C. Wigal
Abstract:
We show that if $G$ is a $n$-vertex connected chordal graph, then it admits a longest path transversal of size $O(\log^2 n)$. Under the stronger assumption of 2-connectivity, we show $G$ admits a longest cycle transversal of size $O(\log n)$. We also provide longest path and longest cycle transversals which are bounded by the leafage of the chordal graph.
We show that if $G$ is a $n$-vertex connected chordal graph, then it admits a longest path transversal of size $O(\log^2 n)$. Under the stronger assumption of 2-connectivity, we show $G$ admits a longest cycle transversal of size $O(\log n)$. We also provide longest path and longest cycle transversals which are bounded by the leafage of the chordal graph.
△ Less
Submitted 30 December, 2024;
originally announced December 2024.
-
Deep Picard Iteration for High-Dimensional Nonlinear PDEs
Authors:
Jiequn Han,
Wei Hu,
Jihao Long,
Yue Zhao
Abstract:
We present the Deep Picard Iteration (DPI) method, a new deep learning approach for solving high-dimensional partial differential equations (PDEs). The core innovation of DPI lies in its use of Picard iteration to reformulate the typically complex training objectives of neural network-based PDE solutions into much simpler, standard regression tasks based on function values and gradients. This desi…
▽ More
We present the Deep Picard Iteration (DPI) method, a new deep learning approach for solving high-dimensional partial differential equations (PDEs). The core innovation of DPI lies in its use of Picard iteration to reformulate the typically complex training objectives of neural network-based PDE solutions into much simpler, standard regression tasks based on function values and gradients. This design not only greatly simplifies the optimization process but also offers the potential for further scalability through parallel data generation. Crucially, to fully realize the benefits of regressing on both function values and gradients in the DPI method, we address the issue of infinite variancein the estimators of gradients by incorporating a control variate, supported by our theoretical analysis. Our experiments on problems up to 100 dimensions demonstrate that DPI consistently outperforms existing state-of-the-art methods, with greater robustness to hyperparameters, particularly in challenging scenarios with long time horizons and strong nonlinearity. The code is available at https://github.com/DeepOptimalControl/DeepPicardIteration.
△ Less
Submitted 5 July, 2025; v1 submitted 13 September, 2024;
originally announced September 2024.
-
Finite-Agent Stochastic Differential Games on Large Graphs: I. The Linear-Quadratic Case
Authors:
Ruimeng Hu,
Jihao Long,
Haosheng Zhou
Abstract:
In this paper, we study finite-agent linear-quadratic games on graphs. Specifically, we propose a comprehensive framework that extends the existing literature by incorporating heterogeneous and interpretable player interactions. Compared to previous works, our model offers a more realistic depiction of strategic decision-making processes. For general graphs, we establish the convergence of fictiti…
▽ More
In this paper, we study finite-agent linear-quadratic games on graphs. Specifically, we propose a comprehensive framework that extends the existing literature by incorporating heterogeneous and interpretable player interactions. Compared to previous works, our model offers a more realistic depiction of strategic decision-making processes. For general graphs, we establish the convergence of fictitious play, a widely-used iterative solution method for determining the Nash equilibrium of our proposed game model. Notably, under appropriate conditions, this convergence holds true irrespective of the number of players involved. For vertex-transitive graphs, we develop a semi-explicit characterization of the Nash equilibrium. Through rigorous analysis, we demonstrate the well-posedness of this characterization under certain conditions. We present numerical experiments that validate our theoretical results and provide insights into the intricate relationship between various game dynamics and the underlying graph structure.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Learning Free Terminal Time Optimal Closed-loop Control of Manipulators
Authors:
Wei Hu,
Yue Zhao,
Weinan E,
Jiequn Han,
Jihao Long
Abstract:
This paper presents a novel approach to learning free terminal time closed-loop control for robotic manipulation tasks, enabling dynamic adjustment of task duration and control inputs to enhance performance. We extend the supervised learning approach, namely solving selected optimal open-loop problems and utilizing them as training data for a policy network, to the free terminal time scenario. Thr…
▽ More
This paper presents a novel approach to learning free terminal time closed-loop control for robotic manipulation tasks, enabling dynamic adjustment of task duration and control inputs to enhance performance. We extend the supervised learning approach, namely solving selected optimal open-loop problems and utilizing them as training data for a policy network, to the free terminal time scenario. Three main challenges are addressed in this extension. First, we introduce a marching scheme that enhances the solution quality and increases the success rate of the open-loop solver by gradually refining time discretization. Second, we extend the QRnet in Nakamura-Zimmerer et al. (2021b) to the free terminal time setting to address discontinuity and improve stability at the terminal state. Third, we present a more automated version of the initial value problem (IVP) enhanced sampling method from previous work (Zhang et al., 2022) to adaptively update the training dataset, significantly improving its quality. By integrating these techniques, we develop a closed-loop policy that operates effectively over a broad domain with varying optimal time durations, achieving near globally optimal total costs.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
The $L^\infty$ Learnability of Reproducing Kernel Hilbert Spaces
Authors:
Hongrui Chen,
Jihao Long,
Lei Wu
Abstract:
In this work, we analyze the learnability of reproducing kernel Hilbert spaces (RKHS) under the $L^\infty$ norm, which is critical for understanding the performance of kernel methods and random feature models in safety- and security-critical applications. Specifically, we relate the $L^\infty$ learnability of a RKHS to the spectrum decay of the associate kernel and both lower bounds and upper boun…
▽ More
In this work, we analyze the learnability of reproducing kernel Hilbert spaces (RKHS) under the $L^\infty$ norm, which is critical for understanding the performance of kernel methods and random feature models in safety- and security-critical applications. Specifically, we relate the $L^\infty$ learnability of a RKHS to the spectrum decay of the associate kernel and both lower bounds and upper bounds of the sample complexity are established. In particular, for dot-product kernels on the sphere, we identify conditions when the $L^\infty$ learning can be achieved with polynomial samples. Let $d$ denote the input dimension and assume the kernel spectrum roughly decays as $λ_k\sim k^{-1-β}$ with $β>0$. We prove that if $β$ is independent of the input dimension $d$, then functions in the RKHS can be learned efficiently under the $L^\infty$ norm, i.e., the sample complexity depends polynomially on $d$. In contrast, if $β=1/\mathrm{poly}(d)$, then the $L^\infty$ learning requires exponentially many samples.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Non-empty intersection of longest paths in $H$-free graphs
Authors:
James A. Long Jr.,
Kevin G. Milans,
Andrea Munaro
Abstract:
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number…
▽ More
We make progress toward a characterization of the graphs $H$ such that every connected $H$-free graph has a longest path transversal of size $1$. In particular, we show that the graphs $H$ on at most $4$ vertices satisfying this property are exactly the linear forests. We also show that if the order of a connected graph $G$ is large relative to its connectivity $κ(G)$, and its independence number $α(G)$ satisfies $α(G) \le κ(G) + 2$, then each vertex of maximum degree forms a longest path transversal of size $1$.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Initial Value Problem Enhanced Sampling for Closed-Loop Optimal Control Design with Deep Neural Networks
Authors:
Xuanxi Zhang,
Jihao Long,
Wei Hu,
Weinan E,
Jiequn Han
Abstract:
Closed-loop optimal control design for high-dimensional nonlinear systems has been a long-standing challenge. Traditional methods, such as solving the associated Hamilton-Jacobi-Bellman equation, suffer from the curse of dimensionality. Recent literature proposed a new promising approach based on supervised learning, by leveraging powerful open-loop optimal control solvers to generate training dat…
▽ More
Closed-loop optimal control design for high-dimensional nonlinear systems has been a long-standing challenge. Traditional methods, such as solving the associated Hamilton-Jacobi-Bellman equation, suffer from the curse of dimensionality. Recent literature proposed a new promising approach based on supervised learning, by leveraging powerful open-loop optimal control solvers to generate training data and neural networks as efficient high-dimensional function approximators to fit the closed-loop optimal control. This approach successfully handles certain high-dimensional optimal control problems but still performs poorly on more challenging problems. One of the crucial reasons for the failure is the so-called distribution mismatch phenomenon brought by the controlled dynamics. In this paper, we investigate this phenomenon and propose the initial value problem enhanced sampling method to mitigate this problem. We theoretically prove that this sampling strategy improves over the vanilla strategy on the classical linear-quadratic regulator by a factor proportional to the total time duration. We further numerically demonstrate that the proposed sampling strategy significantly improves the performance on tested control problems, including the optimal landing problem of a quadrotor and the optimal reaching problem of a 7 DoF manipulator.
△ Less
Submitted 9 July, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Faster Optimization on Sparse Graphs via Neural Reparametrization
Authors:
Nima Dehmamy,
Csaba Both,
Jianzhi Long,
Rose Yu
Abstract:
In mathematical optimization, second-order Newton's methods generally converge faster than first-order methods, but they require the inverse of the Hessian, hence are computationally expensive. However, we discover that on sparse graphs, graph neural networks (GNN) can implement an efficient Quasi-Newton method that can speed up optimization by a factor of 10-100x. Our method, neural reparametriza…
▽ More
In mathematical optimization, second-order Newton's methods generally converge faster than first-order methods, but they require the inverse of the Hessian, hence are computationally expensive. However, we discover that on sparse graphs, graph neural networks (GNN) can implement an efficient Quasi-Newton method that can speed up optimization by a factor of 10-100x. Our method, neural reparametrization, modifies the optimization parameters as the output of a GNN to reshape the optimization landscape. Using a precomputed Hessian as the propagation rule, the GNN can effectively utilize the second-order information, reaching a similar effect as adaptive gradient methods. As our method solves optimization through architecture design, it can be used in conjunction with any optimizers such as Adam and RMSProp. We show the application of our method on scientifically relevant problems including heat diffusion, synchronization and persistent homology.
△ Less
Submitted 26 May, 2022;
originally announced May 2022.
-
Solving Optimal Control Problems of Rigid-Body Dynamics with Collisions Using the Hybrid Minimum Principle
Authors:
Wei Hu,
Jihao Long,
Yaohua Zang,
Weinan E,
Jiequn Han
Abstract:
Collisions are common in many dynamical systems with real applications. They can be formulated as hybrid dynamical systems with discontinuities automatically triggered when states transverse certain manifolds. We present an algorithm for the optimal control problem of such hybrid dynamical systems based on solving the equations derived from the hybrid minimum principle (HMP). The algorithm is an i…
▽ More
Collisions are common in many dynamical systems with real applications. They can be formulated as hybrid dynamical systems with discontinuities automatically triggered when states transverse certain manifolds. We present an algorithm for the optimal control problem of such hybrid dynamical systems based on solving the equations derived from the hybrid minimum principle (HMP). The algorithm is an iterative scheme following the spirit of the method of successive approximations (MSA), and it is robust to undesired collisions observed in the initial guesses. We propose several techniques to address the additional numerical challenges introduced by the presence of discontinuities. The algorithm is tested on disc collision problems whose optimal solutions exhibit one or multiple collisions. Linear convergence in terms of iteration steps and asymptotic first-order accuracy in terms of time discretization are observed when the algorithm is implemented with the forward-Euler scheme. The numerical results demonstrate that the proposed algorithm has better accuracy and convergence than direct methods based on gradient descent. Furthermore, the algorithm is also simpler, more accurate, and more stable than a deep reinforcement learning method.
△ Less
Submitted 17 January, 2025; v1 submitted 17 May, 2022;
originally announced May 2022.
-
Empowering Optimal Control with Machine Learning: A Perspective from Model Predictive Control
Authors:
Weinan E,
Jiequn Han,
Jihao Long
Abstract:
Solving complex optimal control problems have confronted computational challenges for a long time. Recent advances in machine learning have provided us with new opportunities to address these challenges. This paper takes model predictive control, a popular optimal control method, as the primary example to survey recent progress that leverages machine learning techniques to empower optimal control…
▽ More
Solving complex optimal control problems have confronted computational challenges for a long time. Recent advances in machine learning have provided us with new opportunities to address these challenges. This paper takes model predictive control, a popular optimal control method, as the primary example to survey recent progress that leverages machine learning techniques to empower optimal control solvers. We also discuss some of the main challenges encountered when applying machine learning to develop more robust optimal control algorithms.
△ Less
Submitted 20 July, 2022; v1 submitted 16 May, 2022;
originally announced May 2022.
-
Reductive MDPs: A Perspective Beyond Temporal Horizons
Authors:
Thomas Spooner,
Rui Silva,
Joshua Lockhart,
Jason Long,
Vacslav Glukhov
Abstract:
Solving general Markov decision processes (MDPs) is a computationally hard problem. Solving finite-horizon MDPs, on the other hand, is highly tractable with well known polynomial-time algorithms. What drives this extreme disparity, and do problems exist that lie between these diametrically opposed complexities? In this paper we identify and analyse a sub-class of stochastic shortest path problems…
▽ More
Solving general Markov decision processes (MDPs) is a computationally hard problem. Solving finite-horizon MDPs, on the other hand, is highly tractable with well known polynomial-time algorithms. What drives this extreme disparity, and do problems exist that lie between these diametrically opposed complexities? In this paper we identify and analyse a sub-class of stochastic shortest path problems (SSPs) for general state-action spaces whose dynamics satisfy a particular drift condition. This construction generalises the traditional, temporal notion of a horizon via decreasing reachability: a property called reductivity. It is shown that optimal policies can be recovered in polynomial-time for reductive SSPs -- via an extension of backwards induction -- with an efficient analogue in reductive MDPs. The practical considerations of the proposed approach are discussed, and numerical verification provided on a canonical optimal liquidation problem.
△ Less
Submitted 15 May, 2022;
originally announced May 2022.
-
Learning High-Dimensional McKean-Vlasov Forward-Backward Stochastic Differential Equations with General Distribution Dependence
Authors:
Jiequn Han,
Ruimeng Hu,
Jihao Long
Abstract:
One of the core problems in mean-field control and mean-field games is to solve the corresponding McKean-Vlasov forward-backward stochastic differential equations (MV-FBSDEs). Most existing methods are tailored to special cases in which the mean-field interaction only depends on expectation or other moments and thus inadequate to solve problems when the mean-field interaction has full distribution…
▽ More
One of the core problems in mean-field control and mean-field games is to solve the corresponding McKean-Vlasov forward-backward stochastic differential equations (MV-FBSDEs). Most existing methods are tailored to special cases in which the mean-field interaction only depends on expectation or other moments and thus inadequate to solve problems when the mean-field interaction has full distribution dependence.
In this paper, we propose a novel deep learning method for computing MV-FBSDEs with a general form of mean-field interactions. Specifically, built on fictitious play, we recast the problem into repeatedly solving standard FBSDEs with explicit coefficient functions. These coefficient functions are used to approximate the MV-FBSDEs' model coefficients with full distribution dependence, and are updated by solving another supervising learning problem using training data simulated from the last iteration's FBSDE solutions. We use deep neural networks to solve standard BSDEs and approximate coefficient functions in order to solve high-dimensional MV-FBSDEs. Under proper assumptions on the learned functions, we prove that the convergence of the proposed method is free of the curse of dimensionality (CoD) by using a class of integral probability metrics previously developed in [Han, Hu and Long, arXiv:2104.12036]. The proved theorem shows the advantage of the method in high dimensions. We present the numerical performance in high-dimensional MV-FBSDE problems, including a mean-field game example of the well-known Cucker-Smale model whose cost depends on the full distribution of the forward process.
△ Less
Submitted 18 September, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Optimal Admission Control for Multiclass Queues with Time-Varying Arrival Rates via State Abstraction
Authors:
Marc Rigter,
Danial Dervovic,
Parisa Hassanzadeh,
Jason Long,
Parisa Zehtabi,
Daniele Magazzeni
Abstract:
We consider a novel queuing problem where the decision-maker must choose to accept or reject randomly arriving tasks into a no buffer queue which are processed by $N$ identical servers. Each task has a price, which is a positive real number, and a class. Each class of task has a different price distribution and service rate, and arrives according to an inhomogenous Poisson process. The objective i…
▽ More
We consider a novel queuing problem where the decision-maker must choose to accept or reject randomly arriving tasks into a no buffer queue which are processed by $N$ identical servers. Each task has a price, which is a positive real number, and a class. Each class of task has a different price distribution and service rate, and arrives according to an inhomogenous Poisson process. The objective is to decide which tasks to accept so that the total price of tasks processed is maximised over a finite horizon. We formulate the problem as a discrete time Markov Decision Process (MDP) with a hybrid state space. We show that the optimal value function has a specific structure, which enables us to solve the hybrid MDP exactly. Moreover, we prove that as the time step is reduced, the discrete time solution approaches the optimal solution to the original continuous time problem. To improve the scalability of our approach to a greater number of task classes, we present an approximation based on state abstraction. We validate our approach on synthetic data, as well as a real financial fraud data set, which is the motivating application for this work.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
A Machine Learning Enhanced Algorithm for the Optimal Landing Problem
Authors:
Yaohua Zang,
Jihao Long,
Xuanxi Zhang,
Wei Hu,
Weinan E,
Jiequn Han
Abstract:
We propose a machine learning enhanced algorithm for solving the optimal landing problem. Using Pontryagin's minimum principle, we derive a two-point boundary value problem for the landing problem. The proposed algorithm uses deep learning to predict the optimal landing time and a space-marching technique to provide good initial guesses for the boundary value problem solver. The performance of the…
▽ More
We propose a machine learning enhanced algorithm for solving the optimal landing problem. Using Pontryagin's minimum principle, we derive a two-point boundary value problem for the landing problem. The proposed algorithm uses deep learning to predict the optimal landing time and a space-marching technique to provide good initial guesses for the boundary value problem solver. The performance of the proposed method is studied using the quadrotor example, a reasonably high dimensional and strongly nonlinear system. Drastic improvement in reliability and efficiency is observed.
△ Less
Submitted 13 March, 2022;
originally announced March 2022.
-
Subdivergence-free gluings of trees
Authors:
Xinle Dai,
Jordan Long,
Karen Yeats
Abstract:
A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection wit…
▽ More
A gluing of two rooted trees is an identification of their leaves and un-subdivision of the resulting 2-valent vertices. A gluing of two rooted trees is subdivergence free if it has no 2-edge cuts with both roots on the same side of the cut. The problem and language is motivated by quantum field theory. We enumerate subdivergence-free gluings for certain families of trees, showing a connection with connected permutations, and we give algorithms to compute subdivergence-free gluings.
△ Less
Submitted 10 January, 2025; v1 submitted 14 June, 2021;
originally announced June 2021.
-
A Class of Dimension-free Metrics for the Convergence of Empirical Measures
Authors:
Jiequn Han,
Ruimeng Hu,
Jihao Long
Abstract:
This paper concerns the convergence of empirical measures in high dimensions. We propose a new class of probability metrics and show that under such metrics, the convergence is free of the curse of dimensionality (CoD). Such a feature is critical for high-dimensional analysis and stands in contrast to classical metrics ({\it e.g.}, the Wasserstein metric). The proposed metrics fall into the catego…
▽ More
This paper concerns the convergence of empirical measures in high dimensions. We propose a new class of probability metrics and show that under such metrics, the convergence is free of the curse of dimensionality (CoD). Such a feature is critical for high-dimensional analysis and stands in contrast to classical metrics ({\it e.g.}, the Wasserstein metric). The proposed metrics fall into the category of integral probability metrics, for which we specify criteria of test function spaces to guarantee the property of being free of CoD. Examples of the selected test function spaces include the reproducing kernel Hilbert spaces, Barron space, and flow-induced function spaces. Three applications of the proposed metrics are presented: 1. The convergence of empirical measure in the case of random variables; 2. The convergence of $n$-particle system to the solution to McKean-Vlasov stochastic differential equation; 3. The construction of an $\varepsilon$-Nash equilibrium for a homogeneous $n$-player game by its mean-field limit. As a byproduct, we prove that, given a distribution close to the target distribution measured by our metric and a certain representation of the target distribution, we can generate a distribution close to the target one in terms of the Wasserstein metric and relative entropy. Overall, we show that the proposed class of metrics is a powerful tool to analyze the convergence of empirical measures in high dimensions without CoD.
△ Less
Submitted 16 September, 2023; v1 submitted 24 April, 2021;
originally announced April 2021.
-
Identification and prediction of time-varying parameters of COVID-19 model: a data-driven deep learning approach
Authors:
Jie Long,
Abdul Khaliq,
Khaled Furati
Abstract:
Data-driven deep learning provides efficient algorithms for parameter identification of epidemiology models. Unlike the constant parameters, the complexity of identifying time-varying parameters is largely increased. In this paper, a variant of physics-informed neural network (PINN) is adopted to identify the time-varying parameters of the Susceptible-Infectious-Recovered-Deceased model for the sp…
▽ More
Data-driven deep learning provides efficient algorithms for parameter identification of epidemiology models. Unlike the constant parameters, the complexity of identifying time-varying parameters is largely increased. In this paper, a variant of physics-informed neural network (PINN) is adopted to identify the time-varying parameters of the Susceptible-Infectious-Recovered-Deceased model for the spread of COVID-19 by fitting daily reported cases. The learned parameters are verified by utilizing an ordinary differential equation solver to compute the corresponding solutions of this compartmental model. The effective reproduction number based on these parameters is calculated. Long Short-Term Memory (LSTM) neural network is employed to predict the future weekly time-varying parameters. The numerical simulations demonstrate that PINN combined with LSTM yields accurate and effective results.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Sylow branching coefficients and a conjecture of Malle and Navarro
Authors:
Eugenio Giannelli,
Stacey Law,
Jason Long,
Carolina Vallejo
Abstract:
We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This confirms a prediction by Malle and Navarro from 2012. Our proof of the above result depends on a reduction to simple groups and ultimately on a combinatorial a…
▽ More
We prove that a finite group $G$ has a normal Sylow $p$-subgroup $P$ if, and only if, every irreducible character of $G$ appearing in the permutation character $({\bf 1}_P)^G$ with multiplicity coprime to $p$ has degree coprime to $p$. This confirms a prediction by Malle and Navarro from 2012. Our proof of the above result depends on a reduction to simple groups and ultimately on a combinatorial analysis of the properties of Sylow branching coefficients for symmetric groups.
△ Less
Submitted 19 February, 2021; v1 submitted 12 February, 2021;
originally announced February 2021.
-
2-adic Valuations of Quadratic Sequences
Authors:
Will Boultinghouse,
Jane Long,
Olena Kozhushkina,
Justin Trulen
Abstract:
Properties of 2-adic valuation sequences for general quadratic polynomials with integer coefficients are determined directly from the coefficients. These properties include boundedness or unboundedness, periodicity, and valuations at terminating nodes. We completely describe the periodic sequences in the bounded case. Throughout, we frame results in terms of trees and sequences.
Properties of 2-adic valuation sequences for general quadratic polynomials with integer coefficients are determined directly from the coefficients. These properties include boundedness or unboundedness, periodicity, and valuations at terminating nodes. We completely describe the periodic sequences in the bounded case. Throughout, we frame results in terms of trees and sequences.
△ Less
Submitted 11 August, 2021; v1 submitted 18 December, 2020;
originally announced December 2020.
-
Simplicial homeomorphs and trace-bounded hypergraphs
Authors:
Jason Long,
Bhargav Narayanan,
Corrine Yap
Abstract:
Our first main result is a uniform bound, in every dimension $k \in \mathbb N$, on the topological Turán numbers of $k$-dimensional simplicial complexes: for each $k \in \mathbb N$, there is a $λ_k \ge k^{-2k^2}$ such that for any $k$-complex $\mathcal{S}$, every $k$-complex on $n \ge n_0(\mathcal{S})$ vertices with at least $n^{k+1 - λ_k}$ facets contains a homeomorphic copy of $\mathcal{S}$. Thi…
▽ More
Our first main result is a uniform bound, in every dimension $k \in \mathbb N$, on the topological Turán numbers of $k$-dimensional simplicial complexes: for each $k \in \mathbb N$, there is a $λ_k \ge k^{-2k^2}$ such that for any $k$-complex $\mathcal{S}$, every $k$-complex on $n \ge n_0(\mathcal{S})$ vertices with at least $n^{k+1 - λ_k}$ facets contains a homeomorphic copy of $\mathcal{S}$. This was previously known only in dimensions one and two, both by highly dimension-specific arguments: the existence of $λ_1$ is a result of Mader from 1967, and the existence of $λ_2$ was suggested by Linial in 2006 and recently proved by Keevash-Long-Narayanan-Scott. We deduce this geometric fact from a purely combinatorial result about trace-bounded hypergraphs, where an $r$-partite $r$-graph $H$ with partite classes $V_1, V_2, \dots, V_r$ is said to be $d$-trace-bounded if for each $2 \le i \le r$, all the vertices of $V_i$ have degree at most $d$ in the trace of $H$ on $V_1 \cup V_2 \cup \dots \cup V_i$. Our second main result is the following estimate for the Turán numbers of degenerate trace-bounded hypergraphs: for all $r \ge 2$ and $d\in\mathbb N$, there is an $α_{r,d} \ge (5rd)^{1-r}$ such that for any $d$-trace-bounded $r$-partite $r$-graph $H$, every $r$-graph on $n \ge n_0(H)$ vertices with at least $n^{r - α_{r,d}}$ edges contains a copy of $H$. This strengthens a result of Conlon-Fox-Sudakov from 2009 who showed that such a bound holds for $r$-partite $r$-graphs $H$ satisfying the stronger hypothesis that the vertex-degrees in all but one of its partite classes are bounded (in $H$, as opposed to in its traces).
△ Less
Submitted 5 July, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Linear characters of Sylow subgroups of symmetric groups
Authors:
Eugenio Giannelli,
Stacey Law,
Jason Long
Abstract:
Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.
Let $p$ be any prime. Let $P_n$ be a Sylow $p$-subgroup of the symmetric group $S_n$. Let $φ$ and $ψ$ be linear characters of $P_n$ and let $N$ be the normaliser of $P_n$ in $S_n$. In this article we show that the inductions of $φ$ and $ψ$ to $S_n$ are equal if, and only if, $φ$ and $ψ$ are $N$--conjugate. This is an analogue for symmetric groups of a result of Navarro for $p$-solvable groups.
△ Less
Submitted 24 June, 2021; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Convergence of Deep Fictitious Play for Stochastic Differential Games
Authors:
Jiequn Han,
Ruimeng Hu,
Jihao Long
Abstract:
Stochastic differential games have been used extensively to model agents' competitions in Finance, for instance, in P2P lending platforms from the Fintech industry, the banking system for systemic risk, and insurance markets. The recently proposed machine learning algorithm, deep fictitious play, provides a novel efficient tool for finding Markovian Nash equilibrium of large $N$-player asymmetric…
▽ More
Stochastic differential games have been used extensively to model agents' competitions in Finance, for instance, in P2P lending platforms from the Fintech industry, the banking system for systemic risk, and insurance markets. The recently proposed machine learning algorithm, deep fictitious play, provides a novel efficient tool for finding Markovian Nash equilibrium of large $N$-player asymmetric stochastic differential games [J. Han and R. Hu, Mathematical and Scientific Machine Learning Conference, pages 221-245, PMLR, 2020]. By incorporating the idea of fictitious play, the algorithm decouples the game into $N$ sub-optimization problems, and identifies each player's optimal strategy with the deep backward stochastic differential equation (BSDE) method parallelly and repeatedly. In this paper, we prove the convergence of deep fictitious play (DFP) to the true Nash equilibrium. We can also show that the strategy based on DFP forms an $\eps$-Nash equilibrium. We generalize the algorithm by proposing a new approach to decouple the games, and present numerical results of large population games showing the empirical convergence of the algorithm beyond the technical assumptions in the theorems.
△ Less
Submitted 21 March, 2021; v1 submitted 12 August, 2020;
originally announced August 2020.
-
The Brown-Erdős-Sós Conjecture for hypergraphs of large uniformity
Authors:
Peter Keevash,
Jason Long
Abstract:
We prove the well-known Brown-Erdős-Sós Conjecture for hypergraphs of large uniformity in the following form: any dense linear $r$-graph $G$ has $k$ edges spanning at most $(r-2)k+3$ vertices, provided the uniformity $r$ of $G$ is large enough given the linear density of $G$, and the number of vertices of $G$ is large enough given $r$ and $k$.
We prove the well-known Brown-Erdős-Sós Conjecture for hypergraphs of large uniformity in the following form: any dense linear $r$-graph $G$ has $k$ edges spanning at most $(r-2)k+3$ vertices, provided the uniformity $r$ of $G$ is large enough given the linear density of $G$, and the number of vertices of $G$ is large enough given $r$ and $k$.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
Sublinear Longest Path Transversals
Authors:
James A. Long Jr.,
Kevin G. Milans,
Andrea Munaro
Abstract:
We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit longest path transversals of constant size. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals.
We show that connected graphs admit sublinear longest path transversals. This improves an earlier result of Rautenbach and Sereni and is related to the fifty-year-old question of whether connected graphs admit longest path transversals of constant size. The same technique allows us to show that $2$-connected graphs admit sublinear longest cycle transversals.
△ Less
Submitted 14 February, 2023; v1 submitted 6 May, 2020;
originally announced May 2020.
-
A universal exponent for homeomorphs
Authors:
Peter Keevash,
Jason Long,
Bhargav Narayanan,
Alex Scott
Abstract:
We prove a uniform bound on the topological Turán number of an arbitrary two-dimensional simplicial complex $S$: any $n$-vertex two-dimensional complex with at least $C_S n^{3-1/5}$ facets contains a homeomorphic copy of $S$, where $C_S > 0$ is an absolute constant depending on $S$ alone. This result, a two-dimensional analogue of a classical result of Mader for one-dimensional complexes, sheds so…
▽ More
We prove a uniform bound on the topological Turán number of an arbitrary two-dimensional simplicial complex $S$: any $n$-vertex two-dimensional complex with at least $C_S n^{3-1/5}$ facets contains a homeomorphic copy of $S$, where $C_S > 0$ is an absolute constant depending on $S$ alone. This result, a two-dimensional analogue of a classical result of Mader for one-dimensional complexes, sheds some light on an old problem of Linial from 2006.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
On non-separated zero sequences of solutions of a linear differential equation
Authors:
Igor Chyzhykov,
Jianren Long
Abstract:
Let $(z_k)$ be a sequence of distinct points in the unit disc $\mathbb{D}$ without limit points there. We are looking for a function $a(z)$ analytic in $\mathbb{D}$ and such that possesses a solution having zeros precisely at the points $z_k$, and the resulting function $a(z)$ has `minimal' growth. We focus on the case of non-separated sequences $(z_k)$ in terms of the pseudohyperbolic distance wh…
▽ More
Let $(z_k)$ be a sequence of distinct points in the unit disc $\mathbb{D}$ without limit points there. We are looking for a function $a(z)$ analytic in $\mathbb{D}$ and such that possesses a solution having zeros precisely at the points $z_k$, and the resulting function $a(z)$ has `minimal' growth. We focus on the case of non-separated sequences $(z_k)$ in terms of the pseudohyperbolic distance when the coefficient $a(z)$ is of zero order, but $\sup_{z\in \mathbb{D}} (1-|z|)^p |a(z)|=+\infty$ for any $p>0$. We established a new estimate for the maximum modulus of $a(z)$ in terms of the functions $n_z(t)=\sum_{|z_k-z|\le t} 1 $ and $N_z(r)=\int_0^r \frac{(n_z(t)-1)^+}{t}dt.$ The estimate is sharp in some sense. The main result relies on a new interpolation theorem.
△ Less
Submitted 15 January, 2020;
originally announced January 2020.
-
The extremal number of Venn diagrams
Authors:
Peter Keevash,
Imre Leader,
Jason Long,
Adam Zsolt Wagner
Abstract:
We show that there exists an absolute constant $C>0$ such that any family $\mathcal{F}\subset \{0,1\}^n$ of size at least $Cn^3$ has dual VC-dimension at least 3. Equivalently, every family of size at least $Cn^3$ contains three sets such that all eight regions of their Venn diagram are non-empty. This improves upon the $Cn^{3.75}$ bound of Gupta, Lee and Li and is sharp up to the value of the con…
▽ More
We show that there exists an absolute constant $C>0$ such that any family $\mathcal{F}\subset \{0,1\}^n$ of size at least $Cn^3$ has dual VC-dimension at least 3. Equivalently, every family of size at least $Cn^3$ contains three sets such that all eight regions of their Venn diagram are non-empty. This improves upon the $Cn^{3.75}$ bound of Gupta, Lee and Li and is sharp up to the value of the constant.
△ Less
Submitted 1 November, 2019;
originally announced November 2019.
-
The performance guarantee of randomized perfect voting trees
Authors:
Jason Long,
Adam Zsolt Wagner
Abstract:
In this note we study randomized voting trees, previously introduced by Fisher, Procaccia and Samorodnitsky. They speculate that a non-trivial performance guarantee may be achievable using randomized, balanced trees whose height is carefully chosen. We explore some connections to the so-called Volterra quadratic stochastic operators, and show that uniformly random voting trees cannot provide a per…
▽ More
In this note we study randomized voting trees, previously introduced by Fisher, Procaccia and Samorodnitsky. They speculate that a non-trivial performance guarantee may be achievable using randomized, balanced trees whose height is carefully chosen. We explore some connections to the so-called Volterra quadratic stochastic operators, and show that uniformly random voting trees cannot provide a performance guarantee that is linear in the number of individuals.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
Partial associativity and rough approximate groups
Authors:
W. T. Gowers,
Jason Long
Abstract:
Suppose that a binary operation $\circ$ on a finite set $X$ is injective in each variable separately and also associative. It is easy to prove that $(X,\circ)$ must be a group. In this paper we examine what happens if one knows only that a positive proportion of the triples $(x,y,z)\in X^3$ satisfy the equation $x\circ(y\circ z)=(x\circ y)\circ z$. Other results in additive combinatorics would lea…
▽ More
Suppose that a binary operation $\circ$ on a finite set $X$ is injective in each variable separately and also associative. It is easy to prove that $(X,\circ)$ must be a group. In this paper we examine what happens if one knows only that a positive proportion of the triples $(x,y,z)\in X^3$ satisfy the equation $x\circ(y\circ z)=(x\circ y)\circ z$. Other results in additive combinatorics would lead one to expect that there must be an underlying "group-like" structure that is responsible for the large number of associative triples. We prove that this is indeed the case: there must be a proportional-sized subset of the multiplication table that approximately agrees with part of the multiplication table of a metric group. We also present an example that suggests that our result cannot be strengthened to yield a dense subset that agrees with part of the multiplication table of a group.
△ Less
Submitted 25 February, 2021; v1 submitted 18 April, 2019;
originally announced April 2019.
-
A note on the Brown--Erdős--Sós conjecture in groups
Authors:
Jason Long
Abstract:
We show that a dense subset of a sufficiently large group multiplication table contains either a large part of the addition table of the integers modulo some $k$, or the entire multiplication table of a certain large abelian group, as a subgrid. As a consequence, we show that triples systems coming from a finite group contain configurations with $t$ triples spanning $\mathcal{O}(\sqrt{t})$ vertice…
▽ More
We show that a dense subset of a sufficiently large group multiplication table contains either a large part of the addition table of the integers modulo some $k$, or the entire multiplication table of a certain large abelian group, as a subgrid. As a consequence, we show that triples systems coming from a finite group contain configurations with $t$ triples spanning $\mathcal{O}(\sqrt{t})$ vertices, which is the best possible up to the implied constant. We confirm that for all $t$ we can find a collection of $t$ triples spanning at most $t+3$ vertices, resolving the Brown--Erd\H os--Sós conjecture in this context. The proof applies well-known arithmetic results including the multidimensional versions of Szemerédi's theorem and the density Hales--Jewett theorem.
△ Less
Submitted 9 April, 2019; v1 submitted 20 February, 2019;
originally announced February 2019.
-
Convergence of the Deep BSDE Method for Coupled FBSDEs
Authors:
Jiequn Han,
Jihao Long
Abstract:
The recently proposed numerical algorithm, deep BSDE method, has shown remarkable performance in solving high-dimensional forward-backward stochastic differential equations (FBSDEs) and parabolic partial differential equations (PDEs). This article lays a theoretical foundation for the deep BSDE method in the general case of coupled FBSDEs. In particular, a posteriori error estimation of the soluti…
▽ More
The recently proposed numerical algorithm, deep BSDE method, has shown remarkable performance in solving high-dimensional forward-backward stochastic differential equations (FBSDEs) and parabolic partial differential equations (PDEs). This article lays a theoretical foundation for the deep BSDE method in the general case of coupled FBSDEs. In particular, a posteriori error estimation of the solution is provided and it is proved that the error converges to zero given the universal approximation capability of neural networks. Numerical results are presented to demonstrate the accuracy of the analyzed algorithm in solving high-dimensional coupled FBSDEs.
△ Less
Submitted 8 March, 2022; v1 submitted 3 November, 2018;
originally announced November 2018.
-
The largest projective cube-free subsets of $\mathbb{Z}_{2^n}$
Authors:
Jason Long,
Adam Zsolt Wagner
Abstract:
In the Boolean lattice, Sperner's, Erdős's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}_2^n$ we work in $\mathbb{Z}_{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$.
We say that $B_d$ is a projective cu…
▽ More
In the Boolean lattice, Sperner's, Erdős's, Kleitman's and Samotij's theorems state that families that do not contain many chains must have a very specific layered structure. We show that if instead of $\mathbb{Z}_2^n$ we work in $\mathbb{Z}_{2^n}$, several analogous statements hold if one replaces the word $k$-chain by projective cube of dimension $2^{k-1}$.
We say that $B_d$ is a projective cube of dimension $d$ if there are numbers $a_1, a_2, \ldots, a_d$ such that $$B_d = \left\{\sum_{i\in I} a_i \bigg\rvert \emptyset \neq I\subseteq [d]\right\}.$$
As an analog of Sperner's and Erdős's theorems, we show that whenever $d=2^{\ell}$ is a power of two, the largest $d$-cube free set in $\mathbb{Z}_{2^n}$ is the union of the largest $\ell$ layers. As an analog of Kleitman's theorem, Samotij and Sudakov asked whether among subsets of $\mathbb{Z}_{2^n}$ of given size $M$, the sets that minimize the number of Schur triples (2-cubes) are those that are obtained by filling up the largest layers consecutively. We prove the first non-trivial case where $M=2^{n-1}+1$, and conjecture that the analog of Samotij's theorem also holds.
Several open questions and conjectures are also given.
△ Less
Submitted 2 October, 2018;
originally announced October 2018.
-
Partition problems in high dimensional boxes
Authors:
Matija Bucic,
Bernard Lidicky,
Jason Long,
Adam Zsolt Wagner
Abstract:
Alon, Bohman, Holzman and Kleitman proved that any partition of a $d$-dimensional discrete box into proper sub-boxes must consist of at least $2^d$ sub-boxes. Recently, Leader, Milićević and Tan considered the question of how many odd-sized proper boxes are needed to partition a $d$-dimensional box of odd size, and they asked whether the trivial construction consisting of $3^d$ boxes is best possi…
▽ More
Alon, Bohman, Holzman and Kleitman proved that any partition of a $d$-dimensional discrete box into proper sub-boxes must consist of at least $2^d$ sub-boxes. Recently, Leader, Milićević and Tan considered the question of how many odd-sized proper boxes are needed to partition a $d$-dimensional box of odd size, and they asked whether the trivial construction consisting of $3^d$ boxes is best possible. We show that approximately $2.93^d$ boxes are enough, and consider some natural generalisations.
△ Less
Submitted 30 June, 2018; v1 submitted 29 May, 2018;
originally announced May 2018.
-
A Flexible Procedure for Mixture Proportion Estimation in Positive-Unlabeled Learning
Authors:
Zhenfeng Lin,
James P. Long
Abstract:
Positive--unlabeled (PU) learning considers two samples, a positive set P with observations from only one class and an unlabeled set U with observations from two classes. The goal is to classify observations in U. Class mixture proportion estimation (MPE) in U is a key step in PU learning. Blanchard et al. [2010] showed that MPE in PU learning is a generalization of the problem of estimating the p…
▽ More
Positive--unlabeled (PU) learning considers two samples, a positive set P with observations from only one class and an unlabeled set U with observations from two classes. The goal is to classify observations in U. Class mixture proportion estimation (MPE) in U is a key step in PU learning. Blanchard et al. [2010] showed that MPE in PU learning is a generalization of the problem of estimating the proportion of true null hypotheses in multiple testing problems. Motivated by this idea, we propose reducing the problem to one dimension via construction of a probabilistic classifier trained on the P and U data sets followed by application of a one--dimensional mixture proportion method from the multiple testing literature to the observation class probabilities. The flexibility of this framework lies in the freedom to choose the classifier and the one--dimensional MPE method. We prove consistency of two mixture proportion estimators using bounds from empirical process theory, develop tuning parameter free implementations, and demonstrate that they have competitive performance on simulated waveform data and a protein signaling problem.
△ Less
Submitted 9 January, 2020; v1 submitted 29 January, 2018;
originally announced January 2018.
-
Diffusion on graphs is eventually periodic
Authors:
Jason Long,
Bhargav Narayanan
Abstract:
We study a variant of the chip-firing game called \emph{diffusion}. In diffusion on a graph, each vertex of the graph is initially labelled with an integer interpreted as the number of chips at that vertex, and at each subsequent step, each vertex simultaneously fires one chip to each of its neighbours with fewer chips. Since this firing rule may result in negative labels, diffusion, unlike the pa…
▽ More
We study a variant of the chip-firing game called \emph{diffusion}. In diffusion on a graph, each vertex of the graph is initially labelled with an integer interpreted as the number of chips at that vertex, and at each subsequent step, each vertex simultaneously fires one chip to each of its neighbours with fewer chips. Since this firing rule may result in negative labels, diffusion, unlike the parallel chip-firing game, is not obviously periodic. In 2016, Duffy, Lidbetter, Messinger and Nowakowski nevertheless conjectured that diffusion is always eventually periodic, and moreover, that the process eventually has period either 1 or 2. Here, we establish this conjecture.
△ Less
Submitted 5 June, 2017; v1 submitted 13 April, 2017;
originally announced April 2017.
-
The length of an s-increasing sequence of r-tuples
Authors:
W. T. Gowers,
J. Long
Abstract:
We prove a number of results related to a problem of Po-Shen Loh, which is equivalent to a problem in Ramsey theory. Let $a=(a_1,a_2,a_3)$ and $b=(b_1,b_2,b_3)$ be two triples of integers. Define $a$ to be 2-less than $b$ if $a_i<b_i$ for at least two values of $i$, and define a sequence $a^1,\dots,a^m$ of triples to be 2-increasing if $a^r$ is 2-less than $a^s$ whenever $r<s$. Loh asks how long a…
▽ More
We prove a number of results related to a problem of Po-Shen Loh, which is equivalent to a problem in Ramsey theory. Let $a=(a_1,a_2,a_3)$ and $b=(b_1,b_2,b_3)$ be two triples of integers. Define $a$ to be 2-less than $b$ if $a_i<b_i$ for at least two values of $i$, and define a sequence $a^1,\dots,a^m$ of triples to be 2-increasing if $a^r$ is 2-less than $a^s$ whenever $r<s$. Loh asks how long a 2-increasing sequence can be if all the triples take values in $\{1,2,\dots,n\}$, and gives a $\log_*$ improvement over the trivial upper bound of $n^2$ by using the triangle removal lemma. In the other direction, a simple construction gives a lower bound of $n^{3/2}$. We look at this problem and a collection of generalizations, improving some of the known bounds, pointing out connections to other well known problems in extremal combinatorics, and asking a number of further questions.
△ Less
Submitted 2 November, 2016; v1 submitted 27 September, 2016;
originally announced September 2016.
-
A Busy Beaver Problem for Infinite-Time Turing Machines
Authors:
James T. Long,
Lee J. Stanley
Abstract:
This note introduces a generalization to the setting of infinite-time computation of the busy beaver problem from classical computability theory, and proves some results concerning the growth rate of an associated function. In our view, these results indicate that the generalization is both natural and promising.
This note introduces a generalization to the setting of infinite-time computation of the busy beaver problem from classical computability theory, and proves some results concerning the growth rate of an associated function. In our view, these results indicate that the generalization is both natural and promising.
△ Less
Submitted 9 January, 2014;
originally announced January 2014.
