Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Upper bounds for Grothendieck constants, quantum correlation matrices and CCP functions
Published in Lecture Notes in Mathematics, Volume 2349, 2024
• View Publication
• BIB
Within the framework of the search for the still unknown exact value of the real and complex Grothendieck constant $K_G^\mathbb{F}$ in the famous Grothendieck inequality (unsolved since 1953), where $\mathbb{F}$ denotes either the real or the complex field, we concentrate our search on their smallest upper bound. To this end, we establish a basic framework, built on functions which map correlation matrices to correlation matrices entrywise by means of the Hadamard product, such as the Krivine function in the real case or the Haagerup function in the complex case. By making use of multivariate real and complex Gaussian analysis, higher transcendental functions, integration over spheres and combinatorics of the inversion of Maclaurin series, we provide an approach by which we also recover all famous upper bounds of Grothendieck himself ($K_G^\mathbb{R} \leq \sinh(π/2) \approx 2.301$), Krivine ($K_G^\mathbb{R} \leq \fracπ{2 \ln(1 + \sqrt{2})} \approx 1,782$) and Haagerup ($K_G^\mathbb{C} \leq 1.405$, numerically approximated); each of them as a special case. In doing so, we aim to unify the real and complex case as much as possible and apply our results to several concrete examples, including the Walsh-Hadamard transform (''quantum gate'') and the multivariate Gaussian copula - with foundations of quantum theory and quantum information theory in mind. Moreover, we offer a shortening and a simplification of the proof of the strongest estimation until now; namely that $K_G^\mathbb{R} < \fracπ{2 \ln(1 + \sqrt{2})}$. We summarise our key results in form of an algorithmic scheme and shed light on related open problems and topics for future research.
Evaluation of the Gilbert-Varshamov Bound using Multivariate Analytic Combinatorics
Published
• View Publication
• BIB
Analytic combinatorics in several variables refers to a suite of tools that provide sharp asymptotic estimates for certain combinatorial quantities. In this paper, we apply these tools to determine the Gilbert-Varshamov (GV) bound for the sticky insertion and the constrained-synthesis channel.
Non-split Domination Cover Pebbling Number for Some Class of Middle Graphs
Published
• View Publication
• BIB
Let $G$ be a connected graph. A pebbling move is defined as taking two pebbles from one vertex and placing one pebble to an adjacent vertex and throwing away the other pebble. The non-split domination cover pebbling number, $ψ_{ns}(G)$, of a graph $G$ is the minimum of pebbles that must be placed on $V(G)$ such that after a sequence of pebbling moves, the set of vertices with a pebble forms a non-split dominating set of $G$, regardless of the initial configuration of pebbles. We discuss some basic results, NP-completeness of non-split domination number, and determine $ψ_{ns}$ for some families of Middle graphs.
Embeddability of joinpowers, and minimal rank of partial matrices
A general position map $f:K\to M$ of a $k$-dimensional simplicial complex to a $2k$-dimensional manifold (for $k=1$, of a graph to a surface) is a $\mathbb Z_2$-embedding if $|fσ\cap fτ|$ is even for any non-adjacent $k$-faces $σ,τ$. We present criteria for $\mathbb Z_2$-embeddability of certain $k$-dimensional complex (for $k=1$, of any graph) to $2k$-dimensional manifolds. These criteria are
$\bullet$ a `Kuratowski-type' version of the Fulek-Kynčl-Bikeev criteria (for $k=1$), and
$\bullet$ a converse to the Dzhenzher-Skopenkov necessary condition (for $k>1$).
Our higher-dimensional criterion allows us to reduce the modulo 2 Kühnel problem on embeddings to a purely algebraic problem.
Our proof is interplay between geometric topology, combinatorics and linear algebra. It is based on calculation of generators in the homology of certain configuration space (the deleted product) of certain complex (joinpower).
On Cohen-Macaulay posets of dimension two and permutation graphs
Published
• View Publication
• BIB
We characterize Cohen-Macaulay posets of dimension two; they are precisely the shellable and strongly connected posets of dimension two. We also give a combinatorial description of these posets. Using the fact that co-comparability graph of a 2-dimensional poset is a permutation graph, we characterize Cohen-Macaulay permutation graphs.
Maximal Arrangement of Dominos in the Diamond
"Dominos" are special entities consisting of a hard dimer-like kernel surrounded by a soft hull and governed by local interactions. "Soft hull" and "hard kernel" mean that the hulls can overlap while the kernel acts under a repulsive potential. Unlike the dimer problem in statistical physics, which lists the number of all possible configurations for a given n x n lattice, the more modest goal herein is to provide lower and upper bounds for the maximum allowed number of dominos in the diamond. In this NP problem, a deterministic construction rule is proposed and leads to a suboptimal solution ψ_n as a lower bound. A certain disorder is then injected and leads to an upper bound ψ_n_upper reachable or not. In some cases, the lower and upper bounds coincide, so ψ_n = ψ_n_upper becomes the exact number of dominos for a maximum configuration.
On Sombor Index of Graphs
Published in MATCH Commun. Math. Comput. Chem. 86 (2021) 703-713
• Search Publication
Recently, Gutman defined a new vertex-degree-based graph invariant, named the Sombor index $SO$ of a graph $G$, and is defined by $$SO(G)=\sum_{uv\in E(G)}\sqrt{d_G(u)^2+d_G(v)^2},$$ where $d_G(v)$ is the degree of the vertex $v$ of $G$. In this paper, we obtain the sharp lower and upper bounds on $SO(G)$ of a connected graph, and characterize graphs for which these bounds are attained.
On a conjecture on prime double square tiles
Published
• View Publication
• BIB
In [2], while studying a relevant class of polyominoes that tile the plane by translation, i.e., double square polyominoes, the authors found that their boundary words, encoded by the Freeman chain coding on a four letters alphabet, have specific interesting properties that involve notions of combinatorics on words such as palindromicity, periodicity and symmetry. Furthermore, they defined a notion of reducibility on double squares using homologous morphisms, so leading to a set of irreducible tile elements called prime double squares. The authors, by inspecting the boundary words of the smallest prime double squares, conjectured the strong property that no runs of two (or more) consecutive equal letters are present there. In this paper, we prove such a conjecture using combinatorics on words tools, and setting the path to the definition of a fast generation algorithm and to the possibility of enumerating the elements of this class w.r.t. standard parameters, as perimeter and area.
Spectral gap and curvature of monotone Markov chains
Published
• View Publication
• BIB
We prove that the absolute spectral gap of any monotone Markov chain coincides with its optimal Ollivier-Ricci curvature, where the word `optimal' refers to the choice of the underlying metric. Moreover, we provide a new expression in terms of local variations of increasing functions, which has several practical advantages over the traditional variational formulation using the Dirichlet form. As an illustration, we explicitly determine the optimal curvature and spectral gap of the non-conservative exclusion process with heterogeneous reservoir densities on any network, despite the lack of reversibility.
Sufficient conditions for the existence of path-factors with given properties
Published
• View Publication
• BIB
A spanning subgraph $H$ of a graph $G$ is called a $P_{\geq k}$-factor of $G$ if every component of $H$ is isomorphic to a path of order at least $k$, where $k\geq2$ is an integer. A graph $G$ is called a $(P_{\geq k},l)$-factor critical graph if $G-V'$ contains a $P_{\geq k}$-factor for any $V'\subseteq V(G)$ with $|V'|=l$. A graph $G$ is called a $(P_{\geq k},m)$-factor deleted graph if $G-E'$ has a $P_{\geq k}$-factor for any $E'\subseteq E(G)$ with $|E'|=m$. Intuitively, if a graph is dense enough, it will have a $P_{\geq 3}$-factor. In this paper, we give some sufficient conditions for a graph to be a $(P_{\geq 3},l)$-factor critical graph or a $(P_{\geq 3},m)$-factor deleted graph. In this paper, we demonstrate that (i) $G$ is a $(P_{\geq 3},l)$-factor critical graph if its sun toughness $s(G)>\frac{l+1}{3}$ and $κ(G)\geq l+2$. (ii) $G$ is a $(P_{\geq 3},l)$-factor critical graph if its degree sum $σ_3(G)\geq n+2l$ and $κ(G)\geq l+1$. (iii) $G$ is a $(P_{\geq 3},m)$-factor deleted graph if its sun toughness $s(G)\geq \frac{m+1}{m+2}$ and $κ(G)\geq 2m+1$. (iv) $G$ is a $(P_{\geq 3},m)$-factor deleted graph if its degree sum $σ_3(G)\geq n+2m$ and $κ(G)\geq 2m+1$.
A dynamical approach to spanning and surplus edges of random graphs
Consider a finite inhomogeneous random graph running in continuous time, where each vertex has a mass, and the edge that links any pair of vertices appears with a rate equal to the product of their masses. The simultaneous breadth-first-walk introduced by Limic (2019) is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph-based representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph from Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework will facilitate the understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal augmented multiplicative coalescent.
A Menger-type theorem for two induced paths
Published in SIAM Journal on Discrete Mathematics Volume 38 Issue 2 (June 2024), Pages: 1438 - 1450
• View Publication
• BIB
We give an approximate Menger-type theorem for when a graph $G$ contains two $X-Y$ paths $P_1$ and $P_2$ such that $P_1 \cup P_2$ is an induced subgraph of $G$. More generally, we prove that there exists a function $f(d) \in O(d)$, such that for every graph $G$ and $X,Y \subseteq V(G)$, either there exist two $X-Y$ paths $P_1$ and $P_2$ such that the distance between $P_1$ and $P_2$ is at least $d$, or there exists $v \in V(G)$ such that the ball of radius $f(d)$ centered at $v$ intersects every $X-Y$ path.
M-diagram basis of the Specht module for $(n,n,n)$
Motivated by the M-diagrams defined by Tymoczko, we show that these locally non-crossing $\mathfrak{sl}_3$-webs form a basis of the Specht module for the partition $(n,n,n)$. They further admit a unitriangular base change to both the polytabloid basis and the non-elliptic web basis.
Count on CFI graphs for #P-hardness
Published
• View Publication
• BIB
Given graphs $H$ and $G$, possibly with vertex-colors, a homomorphism is a function $f:V(H)\to V(G)$ that preserves colors and edges. Many interesting counting problems (e.g., subgraph and induced subgraph counts) are finite linear combinations $p(\cdot)=\sum_{H}α_{H}\hom(H,\cdot)$ of homomorphism counts, and such linear combinations are known to be hard to evaluate iff they contain a large-treewidth graph $S$. The hardness can be shown in two steps: First, the problems $\hom(S,\cdot)$ for colorful (i.e., bijectively colored) large-treewidth graphs $S$ are shown to be hard. In a second step, these problems are reduced to finite linear combinations of homomorphism counts that contain the uncolored version $S^{\circ}$ of $S$. This step can be performed via inclusion-exclusion in $2^{|E(S)|}\mathrm{poly}(n,s)$ time, where $n$ is the size of the input graph and $s$ is the maximum number of vertices among all graphs in the linear combination.
We show that the second step can be performed even in time $4^{Δ(S)}\mathrm{poly}(n,s)$, where $Δ(S)$ is the maximum degree of $S$. Our reduction is based on graph products with Cai-Fürer-Immerman graphs, a novel technique that is likely of independent interest. For colorful graphs $S$ of constant maximum degree, this technique yields a polynomial-time reduction from $\hom(S,\cdot)$ to linear combinations of homomorphism counts involving $S^{\circ}$. Under certain conditions, it actually suffices that a supergraph $T$ of $S^{\circ}$ is contained in the target linear combination.
The new reduction yields $\mathsf{\#P}$-hardness results for several counting problems that could previously be studied only under parameterized complexity assumptions. This includes the problems of counting, on input a graph from a restricted graph class and a general graph $G$, the homomorphisms or (induced) subgraph copies from $H$ in $G$.
Infinite matroids in tropical differential algebra
Published
• View Publication
• BIB
We consider a finite-dimensional vector space $W\subset K^E$ over an arbitrary field $K$ and an arbitrary set $E$. We show that the set $C(W)\subset 2^E$ consisting of the minimal supports of $W$ are the circuits of a matroid on $E$. In particular, we show that this matroid is cofinitary (hence, tame). When the cardinality of $K$ is large enough (with respect to the cardinality of $E$), then the set $trop(W)\subset 2^E$ consisting of all the supports of $W$ is a matroid itself.
Afterwards we apply these results to tropical differential algebraic geometry and study the set of supports $trop(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of spaces of formal power series solutions $\text{Sol}(Σ)$ of systems of linear differential equations $Σ$ in differential variables $x_1,\ldots,x_n$ having coefficients in the ring ${K}[\![t_1,\ldots,t_m]\!]$. If $Σ$ is of differential type zero, then the set $C(Sol(Σ))\subset (2^{\mathbb{N}^{m}})^n$ of minimal supports defines a matroid on $E=[n]\times\mathbb{N}^{m}$, and if the cardinality of $K$ is large enough, then the set of supports $φ\circ trop(Sol(Σ))$ itself is a matroid on $E$ as well. By applying the fundamental theorem of tropical differential algebraic geometry (fttdag), we give a necessary condition under which the set of solutions $Sol(U)$ of a system $U$ of tropical linear differential equations to be a matroid.
We also give a counterexample to the fttdag for systems $Σ$ of linear differential equations over countable fields. In this case, the set $φ\circ trop(Sol(Σ))$ may not form a matroid.
A note on monotone subsequences and the RS image of invariant random permutations with macroscopic number of fixed points
The work of Vershik and Kerov [1977], Logan and Shepp [1977] established that the shape of the scaled random young diagram in Russian notation, as determined by the Plancherel measure, converges to a deterministic shape. In this article, we focus on the scenario where the number of fixed points is substantial. We provide evidence that, subject to specific requirements on the total number of cycles, the limiting shape is a scaled version of the Vershik-Kerov-Logan-Shepp limiting shape. Additionally, we identify certain limiting regimes that resemble those in Chapuy, Louf, and Walsh [2022]. Furthermore, we enhance the existing results on Tracy-Widom universality classes for $β\in \{ 1, 2, 4\}$ for monotone subsequences.
Variations on the Nerve Theorem
Published
• View Publication
• BIB
Given a locally finite cover of a simplicial complex by subcomplexes, Björner's version of the Nerve Theorem provides conditions under which the homotopy groups of the nerve agree with those of the original complex through a range of dimensions. We extend this result to covers of CW complexes by subcomplexes and to open covers of arbitrary topological spaces, without local finiteness restrictions. Moreover, we show that under somewhat weaker hypotheses, the same conclusion holds when one utilizes the multinerve introduced by Colin de Verdière, Ginot, and Goaoc. Our main tool is the Čech complex associated to a cover, as analyzed in work of Dugger and Isaksen. As applications, we prove a generalized crosscut theorem for posets and some variations on Quillen's Poset Fiber Theorem.
Random Algebraic Graphs and Their Convergence to Erdos-Renyi
Published
• View Publication
• BIB
A random algebraic graph is defined by a group $G$ with a uniform distribution over it and a connection $σ:G\longrightarrow[0,1]$ with expectation $p,$ satisfying $σ(g)=σ(g^{-1}).$ The random graph $\mathsf{RAG}(n,G,p,σ)$ with vertex set $[n]$ is formed as follows. First, $n$ independent vectors $x_1,\ldots,x_n$ are sampled uniformly from $G.$ Then, vertices $i,j$ are connected with probability $σ(x_ix_j^{-1}).$ This model captures random geometric graphs over the sphere and the hypercube, certain regimes of the stochastic block model, and random subgraphs of Cayley graphs. The main question of interest to the current paper is: when is a random algebraic graph statistically and/or computationally distinguishable from $\mathsf{G}(n,p)$? Our results fall into two categories. 1) Geometric. We focus on the case $G =\{\pm1\}^d$ and use Fourier-analytic tools. For hard threshold connections, we match [LMSY22b] for $p = ω(1/n)$ and for $1/(r\sqrt{d})$-Lipschitz connections we extend the results of [LR21b] when $d = Ω(n\log n)$ to the non-monotone setting. We study other connections such as indicators of interval unions and low-degree polynomials. 2) Algebraic. We provide evidence for an exponential statistical-computational gap. Consider any finite group $G$ and let $A\subseteq G$ be a set of elements formed by including each set of the form $\{g, g^{-1}\}$ independently with probability $1/2.$ Let $Γ_n(G,A)$ be the distribution of random graphs formed by taking a uniformly random induced subgraph of size $n$ of the Cayley graph $Γ(G,A).$ Then, $Γ_n(G,A)$ and $\mathsf{G}(n,1/2)$ are statistically indistinguishable with high probability over $A$ if and only if $\log|G|\gtrsim n.$ However, low-degree polynomial tests fail to distinguish $Γ_n(G,A)$ and $\mathsf{G}(n,1/2)$ with high probability over $A$ when $\log |G|=\log^{Ω(1)}n.$
Isomorphisms between dense random graphs
Published in Combinatorica 45 (2025), Article 35, 42 pages
• View Publication
• BIB
We consider two variants of the induced subgraph isomorphism problem for two independent binomial random graphs with constant edge-probabilities p_1,p_2. In particular, (i) we prove a sharp threshold result for the appearance of G_{n,p_1} as an induced subgraph of G_{N,p_2}, (ii) we show two-point concentration of the size of the maximum common induced subgraph of G_{N, p_1} and G_{N,p_2}, and (iii) we show that the number of induced copies of G_{n,p_1} in G_{N,p_2} has an unusual limiting distribution.
These results confirm simulation-based predictions of McCreesh, Prosser, Solnon and Trimble, and resolve several open problems of Chatterjee and Diaconis. The proofs are based on careful refinements of the first and second moment method, using extra twists to (a) take some non-standard behaviors into account, and (b) work around the large variance issues that prevent standard applications of these methods.
On the minimum blocking semioval in PG(2,11)
Published
• View Publication
• BIB
A blocking semioval is a set of points in a projective plane that is both a blocking set (i.e., every line meets the set, but the set contains no line) and a semioval (i.e., there is a unique tangent line at each point). The smallest size of a blocking semioval is known for all finite projective planes of order less than 11; we investigate the situation in PG(2,11).