Showing 20 papers (Total: 83190 papers, 48060 authors in database)
An exactly solvable asymmetric simple inclusion process
Published
• View Publication
• BIB
We study a generalization of the asymmetric simple inclusion process (ASIP) on a periodic one-dimensional lattice, where the integers in the particles rates are deformed to their $t$-analogues. We call this the $(q, t, θ)$~ASIP, where $q$ is the asymmetric hopping parameter and $θ$ is the diffusion parameter. We show that this process is a misanthrope process, and consequently the steady state is independent of $q$. We compute the steady state, the one-point correlation and the current in the steady state. In particular, we show that the single-site occupation probabilities follow a \emph{beta-binomial} distribution at $t=1$. We compute the two-dimensional phase diagram in various regimes of the parameters $(t, θ)$ and perform simulations to justify the results. We also show that a modified form of the steady state weights at $t \neq 1$ satisfy curious palindromic and antipalindromic symmetries. Lastly, we define an enriched process at $t=1$ and $θ$ an integer which projects onto the $(q, 1, θ)$~ASIP and whose steady state is uniform, which may be of independent interest.
On The Roots of Independence Polynomial: Quantifying The Gap
The independence polynomial of a graph $G$ is the generating polynomial corresponding to its independent sets of different sizes. More formally, if $a_k(G)$ denotes the number of independent sets of $G$ of size $k$ then
\[I(G,z) \as \sum_{k}^{} (-1)^k a_k(G) z^k.\] The study of evaluating $I(G,z)$ has several deep connections to problems in combinatorics, complexity theory and statistical physics. Consequently, the roots of the independence polynomial have been studied in detail. In particular, many works have provided regions in the complex plane that are devoid of any roots of the polynomial. One of the first such results showed a lower bound on the absolute value of the smallest root $β(G)$ of the polynomial. Furthermore, when $G$ is connected, Goldwurm and Santini established that $β(G)$ is a simple real root of $I(G,z)$ smaller than one. An alternative proof was given by Csikvári. Both proofs do not provide a gap from $β(G)$ to the smallest absolute value amongst all the other roots of $I(G,z)$. In this paper, we quantify this gap.
Combinatorics of slices of cubes
We present a complete computational classification of the combinatorial types of hyperplane sections, or slices, of the regular cube up to dimension six. For each dimension, we determine the exact number of distinct combinatorial types. When restricted to slices through the origin, our computations extend to dimension seven. The classification combines combinatorial, algebraic, and numerical techniques, with all results certified. Beyond enumeration, we analyze the distribution of types by number of vertices, establish new theoretical results about the combinatorics of slices of cubes, and propose conjectures motivated by our computational findings.
Geometry over finite local rings: Rigidity and Isospectrality
We study the simplicial order complexes obtained from free modules over finite local rings. These complexes arise naturally as geodesic spheres in Bruhat-Tits buildings over non-archimedean local fields. We establish two forms of rigidity, showing that their automorphism groups arise from the underlying algebraic group, and that they are determined by sparse induced subgraphs. We compute the spectra of these subgraphs and show that they form excellent expanders, which results in expansion for geodesic powers of Bruhat-Tits buildings. The computation also reveals that local rings with the same residue order give rise to isospectral induced subgraphs. Combining this with our rigidity results we show that the graphs arising from $n$-spaces over $\mathbb{Z}/p^{r}$ and $\mathbb{F}_{p}[t]/(t^{r})$ are isospectral and non-isomorphic.
The poset of maximal tubings of the cycle graph is a lattice
The poset of maximal tubings of a graph generalizes several well-known and remarkable partial orders. Notable examples include the weak Bruhat order and the Tamari lattice, posets of maximal tubings for the complete graph and the path graph, respectively. It is an open problem to characterize graphs for which the poset of maximal tubings is a lattice. In this paper, we prove that the poset of maximal tubings for the cycle graph is a lattice, and moreover that it is semidistributive and congruence uniform. As main tools, we characterize all order relations in the poset, and introduce a useful map from maximal tubings of the cycle graph to maximal tubings of the path graph.
Derangements and Generalizations: A Counting Note on the Matching Problem
We give a concise historical background to Montmort's matching problem and its modern variants such as the hat-check problem, then develop a unified counting framework for fixed-point-free allocations. Using elementary recurrence and inclusion-exclusion arguments, we derive closed forms for derangements, rectangular injections, and partial l-matchings, and we combine them into a single formula. We also provide exact counts for the number of fixed points and Poisson limit laws. This note thus offers a compact, self-contained synthesis linking classical results with their two principal generalizations in a single scheme.
Nonlocal Games Through Communication Complexity and Quantum Cryptography
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
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
Published
• View Publication
• BIB
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.
Non-Euclidean Crystallographic Rigidity
Published
• View Publication
• BIB
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.