-
Studies of stationary features in jets: 3C 279 quasar I. On-sky scattering and dynamics
Authors:
T. G. Arshakian,
L. A. Hambardzumyan,
A. B. Pushkarev,
D. C. Homan,
E. L. Karapetyan
Abstract:
A recent study on the dynamics of the quasi-stationary component (QSC) in the jet of BL~ Lacertae highlighted its significance in evaluating the physical properties of relativistic transverse waves in the parsec-scale jet. Motivated by this finding, we selected a different type of blazar, the flat-spectrum radio quasar (FSRQ) 3C~279, which hosts a QSC at an angular median distance of 0.35~mas from…
▽ More
A recent study on the dynamics of the quasi-stationary component (QSC) in the jet of BL~ Lacertae highlighted its significance in evaluating the physical properties of relativistic transverse waves in the parsec-scale jet. Motivated by this finding, we selected a different type of blazar, the flat-spectrum radio quasar (FSRQ) 3C~279, which hosts a QSC at an angular median distance of 0.35~mas from the radio core, as revealed by 27 years of VLBA monitoring data at 15~GHz. We investigate the positional scatter and dynamics of a QSC in the 3C~279 jet, aiming to detect the presence of a relativistic transverse wave and estimate its characteristics. We employ an analytical statistical method to estimate the mean intrinsic speed of the QSC, while moving average and refinement methods are used to smooth its trajectory. Analysis of the QSC position scatter shows that the jet axis change its direction by about $21\degr$ over 27 years and jet mean intrinsic full opening angle is $\approx 0.30\degr \pm 0.03\degr$. The apparent displacement vectors of the QSC exhibit strong asymmetry and anisotropy along the jet direction, indicating pronounced anisotropic displacements of the core along the jet axis. We estimated the mean intrinsic speed of the QSC to be superluminal, $\overline{β_{\rm s}} \approx 15$ in units of the speed of light, which, within the framework of the seagull-on-wave model, is interpreted as evidence for a relativistic transverse wave propagating through the QSC. Analysis of the reversing trajectory of the QSC enables the classification and characterization of reversal patterns, which, in turn, allows the determination of key transverse wave parameters such as frequency, amplitude, inclination angle, and magnetic energy of the wave (abbrev.).
△ Less
Submitted 14 June, 2025;
originally announced June 2025.
-
Studies of stationary features in jets: BL Lacertae II. Trajectory reversals and superluminal speeds on sub-parsec scales
Authors:
T. G. Arshakian,
L. A. Hambardzumyan,
A. B. Pushkarev,
D. C. Homan
Abstract:
High-resolution VLBI observations revealed a quasi-stationary component (QSC) in the relativistic jets of many blazars, which represents a standing recollimation shock. The VLBA monitoring of the BL Lacertae jet at 15~GHz shows the QSC at a projected distance of about 0.26~mas from the radio core.} We study the trajectory and kinematics of the QSC in BL Lacertae on sub-parsec scales using 15~GHz V…
▽ More
High-resolution VLBI observations revealed a quasi-stationary component (QSC) in the relativistic jets of many blazars, which represents a standing recollimation shock. The VLBA monitoring of the BL Lacertae jet at 15~GHz shows the QSC at a projected distance of about 0.26~mas from the radio core.} We study the trajectory and kinematics of the QSC in BL Lacertae on sub-parsec scales using 15~GHz VLBA data of 164 observations over 20 years from the MOJAVE program and 2~cm VLBA Survey. To reconstruct the QSC's intrinsic trajectory, we use moving average and trajectory refinement procedures to smooth out the effects of core displacement and account for QSC positioning errors. We identified 22 QSC reversal patterns with a frequency of $\sim 1.5$ per year. Most reversals have an acute angle $<90\degr$ and few have a loop-shaped or arc-shaped trajectory. Where observed, combinations of reversals show reversible and quasi-oscillatory motion. We propose a model in which a relativistic transverse wave passes through the QSC, generating a short-lived reverse motion, similar to the transverse motion of a seagull on a wave. According to the model, relativistic waves are generated upstream and the reverse motion of the QSC is governed by the amplitude, velocity and tilt of the wave as it passes through. The apparent superluminal speeds of the QSC ($\sim 2\,c$) are then due to the relativistic speed of the jet's transverse wave ($<0.3\,c$ in the host galaxy rest frame) combined with the relativistic motion towards the observer. The measured superluminal speeds of QSC indirectly indicate the presence of relativistic transverse waves, and the size of the QSC scattering on the sky is proportional to the maximum amplitude of the wave. (abbreviated)
△ Less
Submitted 26 October, 2024; v1 submitted 28 April, 2024;
originally announced April 2024.
-
No Complete Problem for Constant-Cost Randomized Communication
Authors:
Yuting Fang,
Lianna Hambardzumyan,
Nathaniel Harms,
Pooya Hatami
Abstract:
We prove that the class of communication problems with public-coin randomized constant-cost protocols, called $BPP^0$, does not contain a complete problem. In other words, there is no randomized constant-cost problem $Q \in BPP^0$, such that all other problems $P \in BPP^0$ can be computed by a constant-cost deterministic protocol with access to an oracle for $Q$. We also show that the $k$-Hamming…
▽ More
We prove that the class of communication problems with public-coin randomized constant-cost protocols, called $BPP^0$, does not contain a complete problem. In other words, there is no randomized constant-cost problem $Q \in BPP^0$, such that all other problems $P \in BPP^0$ can be computed by a constant-cost deterministic protocol with access to an oracle for $Q$. We also show that the $k$-Hamming Distance problems form an infinite hierarchy within $BPP^0$. Previously, it was known only that Equality is not complete for $BPP^0$. We introduce a new technique, using Ramsey theory, that can prove lower bounds against arbitrary oracles in $BPP^0$, and more generally, we show that $k$-Hamming Distance matrices cannot be expressed as a Boolean combination of any constant number of matrices which forbid large Greater-Than subproblems.
△ Less
Submitted 31 March, 2024;
originally announced April 2024.
-
An improved protocol for ExactlyN with more than 3 players
Authors:
Lianna Hambardzumyan,
Toniann Pitassi,
Suhail Sherif,
Morgan Shirley,
Adi Shraibman
Abstract:
The ExactlyN problem in the number-on-forehead (NOF) communication setting asks $k$ players, each of whom can see every input but their own, if the $k$ input numbers add up to $N$. Introduced by Chandra, Furst and Lipton in 1983, ExactlyN is important for its role in understanding the strength of randomness in communication complexity with many players. It is also tightly connected to the field of…
▽ More
The ExactlyN problem in the number-on-forehead (NOF) communication setting asks $k$ players, each of whom can see every input but their own, if the $k$ input numbers add up to $N$. Introduced by Chandra, Furst and Lipton in 1983, ExactlyN is important for its role in understanding the strength of randomness in communication complexity with many players. It is also tightly connected to the field of combinatorics: its $k$-party NOF communication complexity is related to the size of the largest corner-free subset in $[N]^{k-1}$.
In 2021, Linial and Shraibman gave more efficient protocols for ExactlyN for 3 players. As an immediate consequence, this also gave a new construction of larger corner-free subsets in $[N]^2$. Later that year Green gave a further refinement to their argument. These results represent the first improvements to the highest-order term for $k=3$ since the famous work of Behrend in 1946. In this paper we give a corresponding improvement to the highest-order term for all $k>3$, the first since Rankin in 1961. That is, we give a more efficient protocol for ExactlyN as well as larger corner-free sets in higher dimensions.
Nearly all previous results in this line of research approached the problem from the combinatorics perspective, implicitly resulting in non-constructive protocols for ExactlyN. Approaching the problem from the communication complexity point of view and constructing explicit protocols for ExactlyN was key to the improvements in the $k=3$ setting. As a further contribution we provide explicit protocols for ExactlyN for any number of players which serves as a base for our improvement.
△ Less
Submitted 12 September, 2023;
originally announced September 2023.
-
On depth-3 circuits and covering number: an explicit counter-example
Authors:
Lianna Hambardzumyan,
Hamed Hatami,
Ndiamé Ndiaye
Abstract:
We give a simple construction of $n\times n$ Boolean matrices with $Ω(n^{4/3})$ zero entries that are free of $2 \times 2$ all-zero submatrices and have covering number $O(\log^4(n))$. This construction provides an explicit counterexample to a conjecture of Pudlák, Rödl and Savický and Research Problems 1.33, 4.9, 11.17 of Jukna [Boolean function complexity]. These conjectures were previously refu…
▽ More
We give a simple construction of $n\times n$ Boolean matrices with $Ω(n^{4/3})$ zero entries that are free of $2 \times 2$ all-zero submatrices and have covering number $O(\log^4(n))$. This construction provides an explicit counterexample to a conjecture of Pudlák, Rödl and Savický and Research Problems 1.33, 4.9, 11.17 of Jukna [Boolean function complexity]. These conjectures were previously refuted by Katz using a probabilistic construction.
△ Less
Submitted 15 October, 2022;
originally announced October 2022.
-
A counter-example to the probabilistic universal graph conjecture via randomized communication complexity
Authors:
Lianna Hambardzumyan,
Hamed Hatami,
Pooya Hatami
Abstract:
We refute the Probabilistic Universal Graph Conjecture of Harms, Wild, and Zamaraev, which states that a hereditary graph property admits a constant-size probabilistic universal graph if and only if it is stable and has at most factorial speed.
Our counter-example follows from the existence of a sequence of $n \times n$ Boolean matrices $M_n$, such that their public-coin randomized communication…
▽ More
We refute the Probabilistic Universal Graph Conjecture of Harms, Wild, and Zamaraev, which states that a hereditary graph property admits a constant-size probabilistic universal graph if and only if it is stable and has at most factorial speed.
Our counter-example follows from the existence of a sequence of $n \times n$ Boolean matrices $M_n$, such that their public-coin randomized communication complexity tends to infinity, while the randomized communication complexity of every $\sqrt{n}\times \sqrt{n}$ submatrix of $M_n$ is bounded by a universal constant.
△ Less
Submitted 8 December, 2021; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Chang's lemma via Pinsker's inequality
Authors:
Lianna Hambardzumyan,
Yaqiao Li
Abstract:
Extending the idea in [Impagliazzo, R., Moore, C. and Russell, A., An entropic proof of Chang's inequality. SIAM Journal on Discrete Mathematics, 28(1), pp.173-176.] we give a short information theoretic proof for Chang's lemma that is based on Pinsker's inequality.
Extending the idea in [Impagliazzo, R., Moore, C. and Russell, A., An entropic proof of Chang's inequality. SIAM Journal on Discrete Mathematics, 28(1), pp.173-176.] we give a short information theoretic proof for Chang's lemma that is based on Pinsker's inequality.
△ Less
Submitted 21 May, 2020;
originally announced May 2020.
-
Biasing Boolean Functions and Collective Coin-Flipping Protocols over Arbitrary Product Distributions
Authors:
Yuval Filmus,
Lianna Hambardzumyan,
Hamed Hatami,
Pooya Hatami,
David Zuckerman
Abstract:
The seminal result of Kahn, Kalai and Linial shows that a coalition of $O(\frac{n}{\log n})$ players can bias the outcome of any Boolean function $\{0,1\}^n \to \{0,1\}$ with respect to the uniform measure. We extend their result to arbitrary product measures on $\{0,1\}^n$, by combining their argument with a completely different argument that handles very biased coordinates.
We view this result…
▽ More
The seminal result of Kahn, Kalai and Linial shows that a coalition of $O(\frac{n}{\log n})$ players can bias the outcome of any Boolean function $\{0,1\}^n \to \{0,1\}$ with respect to the uniform measure. We extend their result to arbitrary product measures on $\{0,1\}^n$, by combining their argument with a completely different argument that handles very biased coordinates.
We view this result as a step towards proving a conjecture of Friedgut, which states that Boolean functions on the continuous cube $[0,1]^n$ (or, equivalently, on $\{1,\dots,n\}^n$) can be biased using coalitions of $o(n)$ players. This is the first step taken in this direction since Friedgut proposed the conjecture in 2004.
Russell, Saks and Zuckerman extended the result of Kahn, Kalai and Linial to multi-round protocols, showing that when the number of rounds is $o(\log^* n)$, a coalition of $o(n)$ players can bias the outcome with respect to the uniform measure. We extend this result as well to arbitrary product measures on $\{0,1\}^n$.
The argument of Russell et al. relies on the fact that a coalition of $o(n)$ players can boost the expectation of any Boolean function from $ε$ to $1-ε$ with respect to the uniform measure. This fails for general product distributions, as the example of the AND function with respect to $μ_{1-1/n}$ shows. Instead, we use a novel boosting argument alongside a generalization of our first result to arbitrary finite ranges.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
Lower bounds for graph bootstrap percolation via properties of polynomials
Authors:
Lianna Hambardzumyan,
Hamed Hatami,
Yingjie Qian
Abstract:
We introduce a simple method for proving lower bounds for the size of the smallest percolating set in a certain graph bootstrap process. We apply this method to determine the sizes of the smallest percolating sets in multidimensional tori and multidimensional grids (in particular hypercubes). The former answers a question of Morrison and Noel, and the latter provides an alternative and simpler pro…
▽ More
We introduce a simple method for proving lower bounds for the size of the smallest percolating set in a certain graph bootstrap process. We apply this method to determine the sizes of the smallest percolating sets in multidimensional tori and multidimensional grids (in particular hypercubes). The former answers a question of Morrison and Noel, and the latter provides an alternative and simpler proof for one of their main results.
△ Less
Submitted 8 May, 2021; v1 submitted 15 August, 2017;
originally announced August 2017.
-
Graphs, Disjoint Matchings and Some Inequalities
Authors:
Lianna Hambardzumyan,
Vahan Mkrtchyan
Abstract:
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and…
▽ More
For $k \geq 1$ and a graph $G$ let $ν_k(G)$ denote the size of a maximum $k$-edge-colorable subgraph of $G$. Mkrtchyan, Petrosyan and Vardanyan proved that $ν_2(G)\geq \frac45\cdot |V(G)|$, $ν_3(G)\geq \frac76\cdot |V(G)|$ for any cubic graph $G$ ~\cite{samvel:2010}. They were also able to show that if $G$ is a cubic graph, then $ν_2(G)+ν_3(G)\geq 2\cdot |V(G)|$ ~\cite{samvel:2014} and $ν_2(G) \leq \frac{|V(G)| + 2\cdot ν_3(G)}{4}$ ~\cite{samvel:2010}. In the first part of the present work, we show that the last two inequalities imply the first two of them.
Moreover, we show that $ν_2(G) \geq α\cdot \frac{|V(G)| + 2\cdot ν_3(G)}{4} $, where
$α=\frac{16}{17}$, if $G$ is a cubic graph,
$α=\frac{20}{21}$, if $G$ is a cubic graph containing a perfect matching,
$α=\frac{44}{45}$, if $G$ is a bridgeless cubic graph.
We also investigate the parameters $ν_2(G)$ and $ν_3(G)$ in the class of claw-free cubic graphs. We improve the lower bounds for $ν_2(G)$ and $ν_3(G)$ for claw-free bridgeless cubic graphs to $ν_2(G)\geq \frac{35}{36}\cdot |V(G)|$
($n \geq 48$), $ν_3(G)\geq \frac{43}{45}\cdot |E(G)|$. On the basis of these inequalities we are able to improve the coefficient $α$ for bridgeless claw-free cubic graphs.
In the second part of the work, we prove lower bounds for $ν_k(G)$ in terms of $\frac{ν_{k-1}(G)+ν_{k+1}(G)}{2}$ for $k\geq 2$ and graphs $G$ containing at most $1$ cycle. We also present the corresponding conjectures for bipartite and nearly bipartite graphs.
△ Less
Submitted 26 January, 2017; v1 submitted 8 December, 2015;
originally announced December 2015.
