-
Uncommon linear systems of two equations
Authors:
Dingding Dong,
Anqi Li,
Yufei Zhao
Abstract:
A system of linear equations $L$ is common over $\mathbb{F}_p$ if, as $n\to\infty$, any 2-coloring of $\mathbb{F}_p^n$ gives asymptotically at least as many monochromatic solutions to $L$ as a random 2-coloring. The notion of common linear systems is analogous to that of common graphs, i.e., graphs whose monochromatic density in 2-edge-coloring of cliques is asymptotically minimized by the random…
▽ More
A system of linear equations $L$ is common over $\mathbb{F}_p$ if, as $n\to\infty$, any 2-coloring of $\mathbb{F}_p^n$ gives asymptotically at least as many monochromatic solutions to $L$ as a random 2-coloring. The notion of common linear systems is analogous to that of common graphs, i.e., graphs whose monochromatic density in 2-edge-coloring of cliques is asymptotically minimized by the random coloring. Saad and Wolf initiated a systematic study on identifying common linear systems, built upon the earlier work of Cameron-Cilleruelo-Serra. When $L$ is a single equation, Fox-Pham-Zhao gave a complete characterization of common linear equations. When $L$ consists of two equations, Kamčev-Liebenau-Morrison showed that irredundant $2\times 4$ linear systems are always uncommon. In this work, (1) we determine commonness of all $2\times 5$ linear systems up to a small number of cases, and (2) we show that all $2\times k$ linear systems with $k$ even and girth (minimum number of nonzero coefficients of a nonzero equation spanned by the system) $k-1$ are uncommon, answering a question of Kamčev-Liebenau-Morrison.
△ Less
Submitted 21 May, 2024; v1 submitted 25 April, 2024;
originally announced April 2024.
-
Online Planning of Power Flows for Power Systems Against Bushfires Using Spatial Context
Authors:
Jianyu Xu,
Qiuzhuang Sun,
Yang Yang,
Huadong Mo,
Daoyi Dong
Abstract:
The 2019-20 Australia bushfire incurred numerous economic losses and significantly affected the operations of power systems. A power station or transmission line can be significantly affected due to bushfires, leading to an increase in operational costs. We study a fundamental but challenging problem of planning the optimal power flow (OPF) for power systems subject to bushfires. Considering the s…
▽ More
The 2019-20 Australia bushfire incurred numerous economic losses and significantly affected the operations of power systems. A power station or transmission line can be significantly affected due to bushfires, leading to an increase in operational costs. We study a fundamental but challenging problem of planning the optimal power flow (OPF) for power systems subject to bushfires. Considering the stochastic nature of bushfire spread, we develop a model to capture such dynamics based on Moore's neighborhood model. Under a periodic inspection scheme that reveals the in-situ bushfire status, we propose an online optimization modeling framework that sequentially plans the power flows in the electricity network. Our framework assumes that the spread of bushfires is non-stationary over time, and the spread and containment probabilities are unknown. To meet these challenges, we develop a contextual online learning algorithm that treats the in-situ geographical information of the bushfire as a 'spatial context'. The online learning algorithm learns the unknown probabilities sequentially based on the observed data and then makes the OPF decision accordingly. The sequential OPF decisions aim to minimize the regret function, which is defined as the cumulative loss against the clairvoyant strategy that knows the true model parameters. We provide a theoretical guarantee of our algorithm by deriving a bound on the regret function, which outperforms the regret bound achieved by other benchmark algorithms. Our model assumptions are verified by the real bushfire data from NSW, Australia, and we apply our model to two power systems to illustrate its applicability.
△ Less
Submitted 20 April, 2024;
originally announced April 2024.
-
Generalized Eulerian Numbers and Directed Friends-and-seats Graphs
Authors:
David Dong
Abstract:
Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents, or, due to the Foata transform, the number of permutations on $[n]$ with exactly $m$ excedances. Friends-and-seats graphs, also known as friends-and-strangers graphs, are a seemingly unrelated recent construction in graph theory. In this paper, we introduce directed friends-and-seat…
▽ More
Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents, or, due to the Foata transform, the number of permutations on $[n]$ with exactly $m$ excedances. Friends-and-seats graphs, also known as friends-and-strangers graphs, are a seemingly unrelated recent construction in graph theory. In this paper, we introduce directed friends-and-seats graphs and establish a connection between these graphs and a generalization of the Eulerian numbers. We use this connection to reprove and extend a Worpitzky-like identity on generalized Eulerian numbers.
△ Less
Submitted 29 February, 2024;
originally announced March 2024.
-
Structure of tight (k,0)-stable graphs
Authors:
Dingding Dong,
Sammy Luo
Abstract:
We say that a graph G is $(k,\ell)$-stable if removing $k$ vertices from it reduces its independence number by at most $\ell$. We say that G is tight $(k,\ell)$-stable if it is $(k,\ell)$-stable and its independence number equals $\lfloor{\frac{n-k+1}{2}\rfloor}+\ell$, the maximum possible, where $n$ is the vertex number of G. Answering a question of Dong and Wu, we show that every tight $(2,0)$-s…
▽ More
We say that a graph G is $(k,\ell)$-stable if removing $k$ vertices from it reduces its independence number by at most $\ell$. We say that G is tight $(k,\ell)$-stable if it is $(k,\ell)$-stable and its independence number equals $\lfloor{\frac{n-k+1}{2}\rfloor}+\ell$, the maximum possible, where $n$ is the vertex number of G. Answering a question of Dong and Wu, we show that every tight $(2,0)$-stable graph with odd vertex number must be an odd cycle. Moreover, we show that for all $k\geq 3$, every tight $(k,0)$-stable graph has at most $k+6$ vertices.
△ Less
Submitted 6 February, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Generalized Eulerian Numbers
Authors:
David Dong
Abstract:
Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents. It is well known that $A(n,m)$ also counts the number of permutations on $[n]$ with exactly $m$ excedances. In this report, we define numbers of the form $A(n,m,k)$, which count the number of permutations on $[n]$ with exactly $m$ descents and the last element $k$. We then show bije…
▽ More
Let $A(n,m)$ denote the Eulerian numbers, which count the number of permutations on $[n]$ with exactly $m$ descents. It is well known that $A(n,m)$ also counts the number of permutations on $[n]$ with exactly $m$ excedances. In this report, we define numbers of the form $A(n,m,k)$, which count the number of permutations on $[n]$ with exactly $m$ descents and the last element $k$. We then show bijections between this definition and various other analogs for $r$-excedances and $r$-descents. We also prove a variation of Worpitzky's identity on $A(n,m,k)$ using a combinatorial argument mentioned in a paper by Spivey in 2021.
△ Less
Submitted 16 June, 2023;
originally announced June 2023.
-
Maximum gaps in one-dimensional hard-core models
Authors:
Dingding Dong,
Nitya Mani
Abstract:
We study the distribution of the maximum gap size in one-dimensional hard-core models. First, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, subject to the hard-core constraint that rods do not overlap. We find that in a saturated packing, with high probability there is no gap of size $2 - o(1/L)$ between adjacent rods, but there are gaps of size at least…
▽ More
We study the distribution of the maximum gap size in one-dimensional hard-core models. First, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, subject to the hard-core constraint that rods do not overlap. We find that in a saturated packing, with high probability there is no gap of size $2 - o(1/L)$ between adjacent rods, but there are gaps of size at least $2 - 1/L^{1-ε}$ for all $ε> 0$.
We subsequently study a variant of the hard-core process, the one-dimensional ghost hard-core model introduced by Torquato and Stillinger. In this model, we randomly sequentially pack rods of length $2$ onto an interval of length $L$, such that placed rods neither overlap with previously placed rods nor previously considered candidate rods. We find that in the infinite time limit, with high probability the maximum gap between adjacent rods is smaller than $\log L$ but at least $(\log L)^{1-ε}$ for all $ε> 0.$
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Sign uncertainty principles and low-degree polynomials
Authors:
Henry Cohn,
Dingding Dong,
Felipe Gonçalves
Abstract:
We prove an asymptotically sharp version of the Bourgain-Clozel-Kahane and Cohn-Gonçalves sign uncertainty principles for polynomials of sublinear degree times a Gaussian, as the dimension tends to infinity. In particular, we show that polynomials whose degree is sublinear in the dimension cannot improve asymptotically on those of degree at most three. This question arises naturally in the study o…
▽ More
We prove an asymptotically sharp version of the Bourgain-Clozel-Kahane and Cohn-Gonçalves sign uncertainty principles for polynomials of sublinear degree times a Gaussian, as the dimension tends to infinity. In particular, we show that polynomials whose degree is sublinear in the dimension cannot improve asymptotically on those of degree at most three. This question arises naturally in the study of both linear programming bounds for sphere packing and the spinless modular bootstrap bound for free bosons.
△ Less
Submitted 7 July, 2024; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Nearly all $k$-SAT functions are unate
Authors:
József Balogh,
Dingding Dong,
Bernard Lidický,
Nitya Mani,
Yufei Zhao
Abstract:
We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.
We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollobás, Brightwell, and Leader from 2003.
△ Less
Submitted 3 October, 2023; v1 submitted 11 September, 2022;
originally announced September 2022.
-
Connectedness and Cycle Spaces of Friends-and-Strangers Graphs
Authors:
Colin Defant,
David Dong,
Alan Lee,
Michelle Wei
Abstract:
If $X=(V(X),E(X))$ and $Y=(V(Y),E(Y))$ are $n$-vertex graphs, then their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertices are the bijections from $V(X)$ to $V(Y)$ in which two bijections $σ$ and $σ'$ are adjacent if and only if there is an edge $\{a,b\}\in E(X)$ such that $\{σ(a),σ(b)\}\in E(Y)$ and $σ'=σ\circ (a\,\,b)$, where $(a\,\,b)$ is the permutation of $V(X)$ that…
▽ More
If $X=(V(X),E(X))$ and $Y=(V(Y),E(Y))$ are $n$-vertex graphs, then their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is the graph whose vertices are the bijections from $V(X)$ to $V(Y)$ in which two bijections $σ$ and $σ'$ are adjacent if and only if there is an edge $\{a,b\}\in E(X)$ such that $\{σ(a),σ(b)\}\in E(Y)$ and $σ'=σ\circ (a\,\,b)$, where $(a\,\,b)$ is the permutation of $V(X)$ that swaps $a$ and $b$. We prove general theorems that provide necessary and/or sufficient conditions for $\mathsf{FS}(X,Y)$ to be connected. As a corollary, we obtain a complete characterization of the graphs $Y$ such that $\mathsf{FS}(\mathsf{Dand}_{k,n},Y)$ is connected, where $\mathsf{Dand}_{k,n}$ is a dandelion graph; this substantially generalizes a theorem of the first author and Kravitz in the case $k=3$. For specific choices of $Y$, we characterize the spider graphs $X$ such that $\mathsf{FS}(X,Y)$ is connected. In a different vein, we study the cycle spaces of friends-and-strangers graphs. Naatz proved that if $X$ is a path graph, then the cycle space of $\mathsf{FS}(X,Y)$ is spanned by $4$-cycles and $6$-cycles; we show that the same statement holds when $X$ is a cycle and $Y$ has domination number at least $3$. When $X$ is a cycle and $Y$ has domination number at least $2$, our proof sheds light on how walks in $\mathsf{FS}(X,Y)$ behave under certain Coxeter moves.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
Subspace Phase Retrieval
Authors:
Mengchu Xu,
Dekuan Dong,
Jian Wang
Abstract:
In recent years, phase retrieval has received much attention in statistics, applied mathematics and optical engineering. In this paper, we propose an efficient algorithm, termed Subspace Phase Retrieval (SPR), which can accurately recover an $n$-dimensional $k$-sparse complex-valued signal $\x$ given its $Ω(k^2\log n)$ magnitude-only Gaussian samples if the minimum nonzero entry of $\x$ satisfies…
▽ More
In recent years, phase retrieval has received much attention in statistics, applied mathematics and optical engineering. In this paper, we propose an efficient algorithm, termed Subspace Phase Retrieval (SPR), which can accurately recover an $n$-dimensional $k$-sparse complex-valued signal $\x$ given its $Ω(k^2\log n)$ magnitude-only Gaussian samples if the minimum nonzero entry of $\x$ satisfies $|x_{\min}| = Ω(\|\x\|/\sqrt{k})$. Furthermore, if the energy sum of the most significant $\sqrt{k}$ elements in $\x$ is comparable to $\|\x\|^2$, the SPR algorithm can exactly recover $\x$ with $Ω(k \log n)$ magnitude-only samples, which attains the information-theoretic sampling complexity for sparse phase retrieval. Numerical Experiments demonstrate that the proposed algorithm achieves the state-of-the-art reconstruction performance compared to existing ones.
△ Less
Submitted 7 April, 2024; v1 submitted 6 June, 2022;
originally announced June 2022.
-
On the number of error correcting codes
Authors:
Dingding Dong,
Nitya Mani,
Yufei Zhao
Abstract:
We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagne…
▽ More
We show that for a fixed $q$, the number of $q$-ary $t$-error correcting codes of length $n$ is at most $2^{(1 + o(1)) H_q(n,t)}$ for all $t \leq (1 - q^{-1})n - C_q\sqrt{n \log n}$ (for sufficiently large constant $C_q$), where $H_q(n, t) = q^n / V_q(n,t)$ is the Hamming bound and $V_q(n,t)$ is the cardinality of the radius $t$ Hamming ball. This proves a conjecture of Balogh, Treglown, and Wagner, who showed the result for $t = o(n^{1/3} (\log n)^{-2/3})$.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Enumerating k-SAT functions
Authors:
Dingding Dong,
Nitya Mani,
Yufei Zhao
Abstract:
How many $k$-SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge 2$, the number of $k$-SAT functions on $n$ variables is $(1+o(1))2^{\binom{n}{k} + n}$, or equivalently: a $1-o(1)$ fraction of all $k$-SAT functions are unate, i.e., monotone after negating some variables. They proved…
▽ More
How many $k$-SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge 2$, the number of $k$-SAT functions on $n$ variables is $(1+o(1))2^{\binom{n}{k} + n}$, or equivalently: a $1-o(1)$ fraction of all $k$-SAT functions are unate, i.e., monotone after negating some variables. They proved a weaker version of the conjecture for $k=2$. The conjecture was confirmed for $k=2$ by Allen and $k=3$ by Ilinca and Kahn.
We show that the problem of enumerating $k$-SAT functions is equivalent to a Turán density problem for partially directed hypergraphs. Our proof uses the hypergraph container method. Furthermore, we confirm the Bollobás--Brightwell--Leader conjecture for $k=4$ by solving the corresponding Turán density problem. Our solution applies a recent result of Füredi and Maleki on the minimum triangular edge density in a graph of given edge density. In an appendix (by Nitya Mani and Edward Yu), we further confirm the $k=5$ case of the conjecture via a brute force computer search.
△ Less
Submitted 25 April, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Derivative-free global minimization for a class of multiple minima problems
Authors:
Xiaopeng Luo,
Xin Xu,
Daoyi Dong
Abstract:
We prove that the finite-difference based derivative-free descent (FD-DFD) methods have a capability to find the global minima for a class of multiple minima problems. Our main result shows that, for a class of multiple minima objectives that is extended from strongly convex functions with Lipschitz-continuous gradients, the iterates of FD-DFD converge to the global minimizer $x_*$ with the linear…
▽ More
We prove that the finite-difference based derivative-free descent (FD-DFD) methods have a capability to find the global minima for a class of multiple minima problems. Our main result shows that, for a class of multiple minima objectives that is extended from strongly convex functions with Lipschitz-continuous gradients, the iterates of FD-DFD converge to the global minimizer $x_*$ with the linear convergence $\|x_{k+1}-x_*\|_2^2\leqslantρ^k \|x_1-x_*\|_2^2$ for a fixed $0<ρ<1$ and any initial iteration $x_1\in\mathbb{R}^d$ when the parameters are properly selected. Since the per-iteration cost, i.e., the number of function evaluations, is fixed and almost independent of the dimension $d$, the FD-DFD algorithm has a complexity bound $\mathcal{O}(\log\frac{1}ε)$ for finding a point $x$ such that the optimality gap $\|x-x_*\|_2^2$ is less than $ε>0$. Numerical experiments in various dimensions from $5$ to $500$ demonstrate the benefits of the FD-DFD method.
△ Less
Submitted 25 June, 2020; v1 submitted 15 June, 2020;
originally announced June 2020.
-
On Induced Subgraphs of the Hamming Graph
Authors:
Dingding Dong
Abstract:
In connection with his solution of the Sensitivity Conjecture, Hao Huang (arXiv: 1907.00847, 2019) asked the following question: Given a graph $G$ with high symmetry, what can we say about the smallest maximum degree of induced subgraphs of $G$ with $α(G)+1$ vertices, where $α(G)$ denotes the size of the largest independent set in $G$? We study this question for $H(n,k)$, the $n$-dimensional Hammi…
▽ More
In connection with his solution of the Sensitivity Conjecture, Hao Huang (arXiv: 1907.00847, 2019) asked the following question: Given a graph $G$ with high symmetry, what can we say about the smallest maximum degree of induced subgraphs of $G$ with $α(G)+1$ vertices, where $α(G)$ denotes the size of the largest independent set in $G$? We study this question for $H(n,k)$, the $n$-dimensional Hamming graph over an alphabet of size $k$. Generalizing a construction by Chung et al. (JCT-A, 1988), we prove that $H(n,k)$ has an induced subgraph with more than $α(H(n,k))$ vertices and maximum degree at most $\lceil\sqrt{n}\rceil$. Chung et al. proved this statement for $k=2$ (the $n$-dimensional cube).
△ Less
Submitted 5 November, 2020; v1 submitted 2 December, 2019;
originally announced December 2019.
-
Special cases of power decay in multilinear oscillatory integrals
Authors:
Dong Dong,
Dominique Maldague,
Dominick Villano
Abstract:
We use tools from the multilinear oscillatory integral program developed by Christ, Li, Thiele, and Tao to treat special cases which are not covered by existing theory. Consideration of special cases leads to an extended class of examples for which $λ$-power decay holds.
We use tools from the multilinear oscillatory integral program developed by Christ, Li, Thiele, and Tao to treat special cases which are not covered by existing theory. Consideration of special cases leads to an extended class of examples for which $λ$-power decay holds.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
Modelling and Control of Quantum Measurement Induced Backaction in Double Quantum Dots
Authors:
Wei Cui,
Daoyi Dong
Abstract:
Quantum measurements disturb the quantum system being measured, and this is known as measurement-induced backaction. In this work, we consider a double quantum dot monitored by a nearby quantum point contact where the measurement-induced backaction plays an important role. Taking advantage of the quantum master equation approach, we calculate the tunnelling current, and propose a simple feedbackco…
▽ More
Quantum measurements disturb the quantum system being measured, and this is known as measurement-induced backaction. In this work, we consider a double quantum dot monitored by a nearby quantum point contact where the measurement-induced backaction plays an important role. Taking advantage of the quantum master equation approach, we calculate the tunnelling current, and propose a simple feedbackcontrol law to realize and stabilize the tunnelling current. Theoretical analysis and numerical simulations show that the feedback control law can make the current quickly convergent to the desired value.
△ Less
Submitted 11 December, 2017;
originally announced December 2017.
-
Discrete bilinear Radon transforms along arithmetic functions with many common values
Authors:
Dong Dong,
Xianchang Meng
Abstract:
We prove that for a large class of functions $P$ and $Q$, there exists $d\in (0,1)$ such that the discrete bilinear Radon transform $$B^{\rm dis}_{P,Q}(f,g)(n)=\sum_{m\in\mathbb{Z}\setminus\{0\}} f(n-P(m))g(n-Q(m))\frac{1}{m}$$ is bounded from $l^2\times l^2$ into $l^{1+ε}$ for any $ε\in (d,1)$. In particular, the boundedness holds for any $ε\in (0,1)$ when $P$ (or $Q$) is the Euler totient functi…
▽ More
We prove that for a large class of functions $P$ and $Q$, there exists $d\in (0,1)$ such that the discrete bilinear Radon transform $$B^{\rm dis}_{P,Q}(f,g)(n)=\sum_{m\in\mathbb{Z}\setminus\{0\}} f(n-P(m))g(n-Q(m))\frac{1}{m}$$ is bounded from $l^2\times l^2$ into $l^{1+ε}$ for any $ε\in (d,1)$. In particular, the boundedness holds for any $ε\in (0,1)$ when $P$ (or $Q$) is the Euler totient function $φ(|m|)$ or the prime counting function $π(|m|)$.
△ Less
Submitted 27 October, 2017;
originally announced October 2017.
-
Quasi pieces of the bilinear Hilbert transform incorporated into a paraproduct
Authors:
Dong Dong
Abstract:
We prove the boundedness of a class of tri-linear operators consisting of a quasi piece of bilinear Hilbert transform whose scale equals to or dominates the scale of its linear counter part. Such type of operators is motivated by the tri-linear Hilbert transform and its curved versions.
We prove the boundedness of a class of tri-linear operators consisting of a quasi piece of bilinear Hilbert transform whose scale equals to or dominates the scale of its linear counter part. Such type of operators is motivated by the tri-linear Hilbert transform and its curved versions.
△ Less
Submitted 21 September, 2017;
originally announced September 2017.
-
Improved estimates for polynomial Roth type theorems in finite fields
Authors:
Dong Dong,
Xiaochun Li,
Will Sawin
Abstract:
We prove that, under certain conditions on the function pair $\varphi_1$ and $\varphi_2$, bilinear average $p^{-1}\sum_{y\in \mathbb{F}_p}f_1(x+\varphi_1(y)) f_2(x+\varphi_2(y))$ along curve $(\varphi_1, \varphi_2)$ satisfies certain decay estimate. As a consequence, Roth type theorems hold in the setting of finite fields. In particular, if $\varphi_1,\varphi_2\in \mathbb{F}_p[X]$ with…
▽ More
We prove that, under certain conditions on the function pair $\varphi_1$ and $\varphi_2$, bilinear average $p^{-1}\sum_{y\in \mathbb{F}_p}f_1(x+\varphi_1(y)) f_2(x+\varphi_2(y))$ along curve $(\varphi_1, \varphi_2)$ satisfies certain decay estimate. As a consequence, Roth type theorems hold in the setting of finite fields. In particular, if $\varphi_1,\varphi_2\in \mathbb{F}_p[X]$ with $\varphi_1(0)=\varphi_2(0)=0$ are linearly independent polynomials, then for any $A\subset \mathbb{F}_p, |A|=δp$ with $δ>c p^{-\frac{1}{12}}$, there are $\gtrsim δ^3p^2$ triplets $x,x+\varphi_1(y), x+\varphi_2(y)\in A$. This extends a recent result of Bourgain and Chang who initiated this type of problems, and strengthens the bound in a result of Peluse, who generalized Bourgain and Chang's work. The proof uses discrete Fourier analysis and algebraic geometry.
△ Less
Submitted 1 October, 2017; v1 submitted 31 August, 2017;
originally announced September 2017.
-
On bilinear Hilbert transform along two polynomials
Authors:
Dong Dong
Abstract:
We prove that the bilinear Hilbert transform along two polynomials $B_{P,Q}(f,g)(x)=\int_{\mathbb{R}}f(x-P(t))g(x-Q(t))\frac{dt}{t}$ is bounded from $L^p \times L^q$ to $L^r$ for a large range of $(p,q,r)$, as long as the polynomials $P$ and $Q$ have distinct leading and trailing degrees. The same boundedness property holds for the corresponding bilinear maximal function…
▽ More
We prove that the bilinear Hilbert transform along two polynomials $B_{P,Q}(f,g)(x)=\int_{\mathbb{R}}f(x-P(t))g(x-Q(t))\frac{dt}{t}$ is bounded from $L^p \times L^q$ to $L^r$ for a large range of $(p,q,r)$, as long as the polynomials $P$ and $Q$ have distinct leading and trailing degrees. The same boundedness property holds for the corresponding bilinear maximal function $\mathcal{M}_{P,Q}(f,g)(x)=\sup_{ε>0}\frac{1}{2ε}\int_{-ε}^ε |f(x-P(t))g(x-Q(t))|dt$.
△ Less
Submitted 21 December, 2018; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Reaching a Quantum Consensus: Master Equations that Generate Symmetrization and Synchronization
Authors:
Guodong Shi,
Daoyi Dong,
Ian R. Petersen,
Karl Henrik Johansson
Abstract:
In this paper, we propose and study a master-equation based approach to drive a quantum network with $n$ qubits to a consensus (symmetric) state introduced by Mazzarella et al. The state evolution of the quantum network is described by a Lindblad master equation with the Lindblad terms generated by continuous-time swap** operators, which also introduce an underlying interaction graph. We establi…
▽ More
In this paper, we propose and study a master-equation based approach to drive a quantum network with $n$ qubits to a consensus (symmetric) state introduced by Mazzarella et al. The state evolution of the quantum network is described by a Lindblad master equation with the Lindblad terms generated by continuous-time swap** operators, which also introduce an underlying interaction graph. We establish a graphical method that bridges the proposed quantum consensus scheme and classical consensus dynamics by studying an induced graph (with $2^{2n}$ nodes) of the quantum interaction graph (with $n$ qubits). A fundamental connection is then shown that quantum consensus over the quantum graph is equivalent to componentwise classical consensus over the induced graph, which allows various existing works on classical consensus to be applicable to the quantum setting. Some basic scaling and structural properties of the quantum induced graph are established via combinatorial analysis. Necessary and sufficient conditions for exponential and asymptotic quantum consensus are obtained, respectively, for switching quantum interaction graphs. As a quantum analogue of classical synchronization of coupled oscillators, quantum synchronization conditions are also presented, in which the reduced states of all qubits tend to a common trajectory.
△ Less
Submitted 4 May, 2015; v1 submitted 25 March, 2014;
originally announced March 2014.
-
Infinite-step nilsystems, independence and complexity
Authors:
P. D. Dong,
S. Donoso,
A. Maass,
S. Shao,
X. D. Ye
Abstract:
An $\infty$-step nilsystem is an inverse limit of minimal nilsystems. In this article is shown that a minimal distal system is an $\infty$-step nilsystem if and only if it has no nontrivial pairs with arbitrarily long finite IP-independence sets. Moreover, it is proved that any minimal system without nontrivial pairs with arbitrarily long finite IP-independence sets is an almost one to one extensi…
▽ More
An $\infty$-step nilsystem is an inverse limit of minimal nilsystems. In this article is shown that a minimal distal system is an $\infty$-step nilsystem if and only if it has no nontrivial pairs with arbitrarily long finite IP-independence sets. Moreover, it is proved that any minimal system without nontrivial pairs with arbitrarily long finite IP-independence sets is an almost one to one extension of its maximal $\infty$-step nilfactor, and each invariant ergodic measure is isomorphic (in the measurable sense) to the Haar measure on some $\infty$-step nilsystem. The question if such a system is uniquely ergodic remains open. In addition, the topological complexity of an $\infty$-step nilsystem is computed, showing that it is polynomial for each nontrivial open cover.
△ Less
Submitted 18 May, 2011;
originally announced May 2011.
-
Defining and Computing Topological Persistence for 1-cocycles
Authors:
Dan Burghelea,
Tamal K. Dey,
Du Dong
Abstract:
The concept of topological persistence, introduced recently in computational topology, finds applications in studying a map in relation to the topology of its domain. Since its introduction, it has been extended and generalized in various directions. However, no attempt has been made so far to extend the concept of topological persistence to a generalization of `maps' such as cocycles which are di…
▽ More
The concept of topological persistence, introduced recently in computational topology, finds applications in studying a map in relation to the topology of its domain. Since its introduction, it has been extended and generalized in various directions. However, no attempt has been made so far to extend the concept of topological persistence to a generalization of `maps' such as cocycles which are discrete analogs of closed differential forms, a well known concept in differential geometry. We define a notion of topological persistence for 1-cocycles in this paper and show how to compute its relevant numbers. It turns out that, instead of the standard persistence, one of its variants which we call level persistence can be leveraged for this purpose. It is worth mentioning that 1-cocyles appear in practice such as in data ranking or in discrete vector fields.
△ Less
Submitted 27 May, 2011; v1 submitted 16 December, 2010;
originally announced December 2010.
-
Sliding Mode Control of Two-Level Quantum Systems
Authors:
Daoyi Dong,
Ian R. Petersen
Abstract:
This paper proposes a robust control method based on sliding mode design for two-level quantum systems with bounded uncertainties. An eigenstate of the two-level quantum system is identified as a sliding mode. The objective is to design a control law to steer the system's state into the sliding mode domain and then maintain it in that domain when bounded uncertainties exist in the system Hamiltoni…
▽ More
This paper proposes a robust control method based on sliding mode design for two-level quantum systems with bounded uncertainties. An eigenstate of the two-level quantum system is identified as a sliding mode. The objective is to design a control law to steer the system's state into the sliding mode domain and then maintain it in that domain when bounded uncertainties exist in the system Hamiltonian. We propose a controller design method using the Lyapunov methodology and periodic projective measurements. In particular, we give conditions for designing such a control law, which can guarantee the desired robustness in the presence of the uncertainties. The sliding mode control method has potential applications to quantum information processing with uncertainties.
△ Less
Submitted 22 September, 2011; v1 submitted 2 September, 2010;
originally announced September 2010.