Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Nonlocal Games Through Communication Complexity and Quantum Cryptography
This thesis explores foundational aspects of quantum information theory and quantum cryptography.
First, we investigate quantum correlations in interactive settings, including the CHSH and graph isomorphism games. We aim to distinguish quantum correlations from non-signaling correlations by leveraging the principle of communication complexity. To this end, we employ techniques such as distributed computation, majority-function-based distillation protocols, the algebraic and geometric properties of nonlocal box wirings, and variations of some graph properties such as isomorphism, transitivity, and equitable partitions. This inquiry advances our understanding of non-physical correlations.
Second, we address a key open problem in cryptography: the feasibility of unclonable encryption. We aim to construct an encryption scheme that prevents two distant parties from simultaneously obtaining information about a shared encrypted message. We introduce a candidate for unclonable encryption in the plain model, i.e. without assumptions, in working towards an unconditional proof. Our protocol is based on Clifford algebra, utilizing complex Hermitian unitary matrices that anti-commute. For small key sizes, we rigorously prove security using sum-of-squares methods, while for larger key sizes, we provide strong numerical evidence via the NPA hierarchy.
Intersection cohomology without spaces
We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.
Parameterized Algorithms for Diversity of Networks with Ecological Dependencies
For a phylogenetic tree, the phylogenetic diversity of a set A of taxa is the total weight of edges on paths to A. Finding small sets of maximal diversity is crucial for conservation planning, as it indicates where limited resources can be invested most efficiently. In recent years, efficient algorithms have been developed to find sets of taxa that maximize phylogenetic diversity either in a phylogenetic network or in a phylogenetic tree subject to ecological constraints, such as a food web. However, these aspects have mostly been studied independently. Since both factors are biologically important, it seems natural to consider them together. In this paper, we introduce decision problems where, given a phylogenetic network, a food web, and integers k, and D, the task is to find a set of k taxa with phylogenetic diversity of at least D under the maximize all paths measure, while also satisfying viability conditions within the food web. Here, we consider different definitions of viability, which all demand that a "sufficient" number of prey species survive to support surviving predators. We investigate the parameterized complexity of these problems and present several fixed-parameter tractable (FPT) algorithms. Specifically, we provide a complete complexity dichotomy characterizing which combinations of parameters - out of the size constraint k, the acceptable diversity loss D, the scanwidth of the food web, the maximum in-degree in the network, and the network height h - lead to W[1]-hardness and which admit FPT algorithms. Our primary methodological contribution is a novel algorithmic framework for solving phylogenetic diversity problems in networks where dependencies (such as those from a food web) impose an order, using a color coding approach.
More pointsets with many rich lines
We present some new sharp constructions for the Szemerédi-Trotter theorem. These constructions generalize previous work of Erdős, Elekes, Sheffer and Silier, Guth and Silier, and the author. In the past, arguments showing the optimality of many of these constructions have required some elementary number theory and have been rather technical, thus limiting the scope of the results. We replace these number-theoretic arguments with purely incidence-geometric ones, allowing for simpler proofs and more general results.
On Few-Distance Sets in the Plane
Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.
Perfect and multiple state transfer in oriented Cayley graphs
We study perfect state transfer and multiple state transfer in oriented normal Cayley graphs. We construct examples in a variety of groups, ranging from abelian to nonsolvable, and establish some general restrictions and nonexistence results.
A neighborhood union condition for the existence of a spanning tree without samll degree vertices
For an integer k\ge2, a [2,k]-ST of a connected graph G is a spanning tree of G in which there are no vertices of degree between 2 and k. A [2,k]-ST is a natural extension of a homeomorphically irreducible spanning tree (HIST), which is a spanning tree without vertices of degree 2. In this paper, we give a neighborhood union condition for the existence of a [2,k]-ST in G. We generalize a known degree sum condition that guarantees the existence of a [2,k]-ST in G.
Promotion permutations and the Robinson--Schensted correspondence
Promotion permutations have recently been associated to each rectangular standard Young tableau by Gaetz--Pechenik--Pfannerer--Striker--Swanson. Here we relate promotion permutations to the Robinson--Schensted (RS) correspondence. More precisely, we show that taking a pair of standard Young tableaux of the same rectangular shape, stacking them, and computing the middle promotion permutation yields the RS permutation of the pair up to simple twists. Moreover, the full list of promotion permutations in this special case encodes Viennot's geometric shadow line construction. As a consequence, we characterize a subset of the collection of possible promotion permutations in terms of crossing and nesting numbers.
Strict Log-concavity of $k$-coloured Partitions
In recent years, there has been extensive work on inequalities among partition functions. In particular, Nicolas, and independently DeSalvo--Pak, proved that the partition function $p(n)$ is eventually log-concave. Inspired by this and other results, Chern--Fu--Tang first conjectured log-concavity of $k$-coloured partitions. Three of the authors and Tripp later proved this conjecture by introducing recursive sequences and a strict inequality for fractional partition functions, giving explicit errors. In this paper, we show that the log-concavity is, in fact, strict for $k\geq 2$. We shed further light on this phenomenon by utilizing Hardy--Littlewood--Pólya's notion of majorizing. We prove that for partitions $\bm{a},\bm{b}$ of $n\in\N$, if $\bm b$ majorizes $\bm a$, then $p_k(\bm{b})>p_k(\bm{a})$. Numerical calculations indicate that our result is sharp.
Progress towards generalized Nash-Williams' conjecture on $K_4$-decompositions
A $K_4$-decomposition of a graph is a partition of its edges into $K_4$s. A fractional $K_4$-decomposition is an assignment of a nonnegative weight to each $K_4$ in a graph such that the sum of the weights of the $K_4$s containing any given edge is one. Formulating a nonlinear programming and reducing the number of variables slowly, we prove that every graph on $n$ vertices with minimum degree at least $\frac{31}{33}n$ has a fractional $K_4$-decomposition. This improves a result of Montgomery that the same conclusion holds for graphs with minimum degree at least $\frac{399}{400}n$. Together with a result of Barber, Kühn, Lo, and Osthus, this result implies that for all $\varepsilon> 0$, every large enough $K_4$-divisible graph on $n$ vertices with minimum degree at least $(\frac{31}{33}+\varepsilon)n$ admits a $K_4$-decomposition.
Symmetric Lorentzian Polynomials
We study the class of Lorentzian symmetric polynomials and Lorentzian symmetric functions, which are defined to be symmetric functions for which every truncation of variables is Lorentzian. Similar to the space of Lorentzian polynomials, we show that the space of Lorentzian symmetric polynomials is homeomorphic to a closed Euclidean ball. Our main result is a reduction scheme that significantly reduces the complexity of testing for Lorentzianity. Using this method, we provide explicit semialgebraic descriptions of the spaces of Lorentzian symmetric polynomials and functions for degrees up to six. These techniques can also be applied to simplify the proofs to known cases of Lorentzian symmetric functions. We conclude by showing that some natural symmetric operators fail to preserve Lorentzianity which in turn highlights an inherent tension between symmetry in variables and the Lorentzian property.
Symmetric Rule-Based Achlioptas Processes for Random $k$-SAT
Inspired by the "power-of-two-choices" model from random graphs, we investigate the possibility of limited choices of online clause choices that could shift the satisfiability threshold in random $k$-SAT.Here, we introduce an assignment symmetric, non-adaptive, topology-oblivious online rule called \emph{MIDDLE-HEAVY}, that prioritizes balanced sign profile clauses.Upon applying a biased $2$-SAT projection and a two-type branching process certificate, we derive closed-form expressions for the shifted thresholds $α_{\textbf{SYM}}(k,\ell)$ for this algorithm.We show that minimal choices $\ell=5$ for $k=4$, $\ell=4$ for $k=5$, and $\ell=3$ for $k\ge 6$ suffice to exceed the asymptotic first-moment upper bound $\sim 2^k \ln 2$ for random $k$-SAT.Moreover, to bridge the gap with biased assignment rules used in maximum of the previous works in this context, we propose a hybrid symmetric biased rule that achieves thresholds comparable to prior work while maintaining symmetry.Our results advance the understanding of Achlioptas processes in random CSPs beyond classical graph-theoretic settings.
Rearrangements of distributions on integers that minimize variance
Which permutations of a probability distribution on integers minimize variance?
Let $X$ be a random variable on a set of integers $\{x_1, \dots, x_N\}$ such that $\mathbb{P}(X_i = x_i) = p_i$, $i \in \{1,\dots,N\}$. Let $(p^{(1)}, \dots, p^{(N)})$ be the sequence $(p_1, \dots, p_N)$ ordered non-increasingly. Let $X^+$ be the random variable defined by $\mathbb{P}(X^+=0)=p^{(1)}$, $\mathbb{P}(X^+=1) = p^{(2)}$, $\mathbb{P}(X^+=-1)=p^{(3)}, \dots, \mathbb{P}(X^+=(-1)^N \lfloor \frac {N} 2 \rfloor)=p^{(N)}$. In this short note we generalize and prove the inequality $\mathrm{Var}\, X^+ \le \mathrm{Var}\, X$.
Divergent Infinite Series -- Ramanujan's Initial Intuition
This paper investigates Srinivasa Ramanujan's initial intuitive methodology for assigning the finite value -1/12 to the sum of the divergent infinite series of all positive integers. We systematically examine Ramanujan's initial method, originally sketched in his notebooks, and set the methodology into an algebraic framework. The methodology has limited applicability to other classes of divergent series. The methodology is extended to assign a Ramanujan smoothed sum to the infinite sequences of integers raised to a positive integer power and to figurate binomial number sequences, including triangular numbers, tetrahedral numbers, and higher-dimensional analogues, avoiding analytical continuation. A key finding establishes that the Ramanujan smoothed sums of figurate binomial sequences are intrinsically connected to logarithmic numbers (Gregory coefficients), providing a novel perspective on Ramanujan summation through the lens of classical combinatorial functions. The paper applies asymptotic expansions of associated rational generating functions to demonstrate consistency with established results from analytic continuation methods. The results illuminate the deeper mathematical structures underlying Ramanujan's intuitive insights and suggest new avenues for research in divergent series summation.
Extremal constructions for apex partite hypergraphs
We establish new lower bounds for the Turán and Zarankiewicz numbers of certain apex partite hypergraphs. Given a $(d-1)$-partite $(d-1)$-uniform hypergraph $\mathcal{H}$, let $\mathcal{H}(k)$ be the $d$-partite $d$-uniform hypergraph whose $d$th part has $k$ vertices that share $\mathcal{ H}$ as a common link. We show that $ex(n,\mathcal{H}(k))=Ω_{\mathcal{ H}}(n^{d-\frac{1}{e(\mathcal{H})}})$ if $k$ is at least exponentially large in $e(\mathcal{H})$. Our bound is optimal for all Sidorenko hypergraphs $\mathcal{H}$ and verifies a conjecture of Lee for such hypergraphs.
In particular, for the complete $d$-partite $d$-uniform hypergraphs $\mathcal{K}^{(d)}_{s_1,\dots,s_d}$, our result implies that $ex(n,\mathcal{K}^{(d)}_{s_{1},\cdots,s_{d}})=Θ(n^{d-\frac{1}{s_{1}\cdots s_{d-1}}})$ if $s_{d}$ is at least exponentially large in terms of $s_{1}\cdots s_{d-1}$, improving the factorial condition of Pohoata and Zakharov and answering a question of Mubayi. Our method is a generalization of Bukh's random algebraic method [Duke Math.J. 2024] to hypergraphs, and extends to the sided Zarankiewicz problem.
Non-Euclidean Crystallographic Rigidity
This paper establishes combinatorial characterisations of forced-symmetric and forced-periodic rigidity (under a fixed lattice) of bar-joint frameworks in non-Euclidean normed planes. In $\ell_q$-planes for $q\in(1,\infty)\backslash\{2\}$, we prove characterisations for forced-periodic rigidity and forced-reflectionally-symmetric rigidity. We also characterise forced-symmetric rigidity in this space with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, otherwise known as $pm$ in crystallography. In the $\ell_1$ and $\ell_\infty$-planes, we provide characterisations for forced-periodic rigidity and forced-$\mathbb{Z}^2\rtimes\mathcal{C}_s$-symmetric rigidity. All of these characterisations are proved by inductive constructions involving Henneberg-type graph operations.
Nowhere-zero flows on signed supereulerian graphs
In 1983, Bouchet conjectured that every flow-admissible signed graph admits a nowhere-zero 6-flow. We verify this conjecture for the class of flow-admissible signed graphs possessing a spanning even Eulerian subgraph, which includes as a special case all signed graphs with a balanced Hamiltonian circuit. Furthermore, we show that this result is sharp by citing a known infinite family of signed graphs with a balanced Hamiltonian circuit that do not admit a nowhere-zero 5-flow. Our proof relies on a construction that transforms signed graphs whose underlying graph admits a nowhere-zero 4-flow into a signed 3-edge-colorable cubic graph. This transformation has the crucial property of establishing a sign-preserving bijection between the bichromatic cycles of the resulting signed cubic graph and certain Eulerian subgraphs of the original signed graph. As an application of our main result, we also show that Bouchet's conjecture holds for all signed abelian Cayley graphs.
Symmetry of the refined $q,t$-Catalan polynomials for $\vec{k}$-Dyck paths
Pappe, Paul, and Schilling introduced two combinatorial statistics, depth and ddinv, associated with classical Dyck paths, and proved that the distributions of (area, depth) and (dinv, ddinv) are $q,t$-symmetric by constructing an involution on plane trees. They also provided a new formula for the original $q,t$-Catalan polynomials $C_{n}(q,t)$. We observe that depth is a slight modification of bounce, which was defined by the filling algorithm and ranking algorithm of Xin and the second author in their study of $\vec{k}$-Dyck paths. In this article, we generalize depth of classical Dyck paths to the case of $\vec{k}$-Dyck paths and prove $q,t$-symmetry of the pair of statistics (area, depth) for $\mathcal{K}$-Dyck paths. We provide an alternative description of the higher $q,t$-Catalan polynomials $C_{n}^{(k)}(q,t)$.
New combinatorial proof of Gaussian polynomial and the monotonicity of the Garvan's $k$-rank
Gaussian polynomial, which is also known as $q$-binomial coefficient, is one of the fundamental concepts in the theory of partitions. Zeilberger provided a combinatorial proof of Gaussian polynomial, which is called Algorithm Z by Andrews and Bressoud. In this paper, we provide a new bijection on Gaussian polynomial, which leads to a refinement of Algorithm Z. Moreover, using this bijection, we provide an alternative proof of generalized Rogers-Ramanujan identity, which was first proved by Bressoud and Zeilberger. Furthermore, we give a combinatorial proof of the monotonicity property of Garvan's $k$-rank, which is a generalization of Dyson's rank and Andrews-Garvan's crank.
An update on the existence of integer Heffter arrays
An integer Heffter array $H(m,n;s;k)$ is an $m\times n$ partially filled array whose entries are the elements of a subset $Ω\subset \mathbb{Z}$ such that $\{Ω,-Ω\}$ is a partition of the set $\{1,2,\ldots,2nk\}$ and such that the following conditions are satisfied: each row contains $s$ filled cells, each column contains $k$ filled cells, the elements in every row and column add up to $0$. It was conjectured by Dan Archdeacon that an integer $\H(m,n;s;k)$ exists if and only if $ms=nk$, $3\leq s \leq n$, $3\leq k\leq m$ and $nk\equiv 0,3\pmod 4$. In this paper, we provide new constructions of these objects that allow us to prove the validity of Archdeacon's conjecture in each admissible case, except when $k=3,5$ and $s\not \equiv 0\pmod 4$ is such that $\gcd(s,k)=1$.