Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Reconstruction of shredded random matrices
Published
• View Publication
• BIB
A matrix is given in ``shredded'' form if we are presented with the multiset of rows and the multiset of columns, but not told which row is which or which column is which. The matrix is reconstructible if it is uniquely determined by this information. Let $M$ be a random binary $n\times n$ matrix, where each entry independently is $1$ with probability $p=p(n)\le\frac12$. Atamanchuk, Devroye and Vicenzo introduced the problem and showed that $M$ is reconstructible with high probability for $p\ge (2+\varepsilon)\frac{1}{n}\log n$. Here we find that the sharp threshold for reconstructibility is at $p\sim\frac{1}{2n}\log n$.
DQ-integral and DL-integral generalized wheel graphs
Published
• View Publication
• BIB
A graph G is said to be M-integral (resp. A-integral, D-integral, DL-integral or DQ-integral) if all eigenvalues of its matrix M (resp. adjacency matrix A(G), distance matrix D(G), distance Laplacian matrix DL(G) or distance signless Laplacian matrix DQ(G)) are integers. Lu et al. [Discrete Math, 346 (2023)] defined the generalized wheel graph GW(a, m, n) as the join of two regular graphs aKm and Cn, and obtained all D-integral generalized wheel graphs. Based on the above research, in this paper, we determine all DL-integral and DQ-integral generalized wheel graphs respectively. As byproducts, we give a sufficient and necessary condition for the join of two regular graphs G1 and G2 to be DL-integral, from which we can get infinitely many new classes of DL-integral graphs according to the large number of research results about the A-integral graphs.
z-Classes in Finite Coxeter Groups
In this paper, we give the enumeration of z-classes in finite Coxeter groups.
High-dimensional expanders from Kac--Moody--Steinberg groups
Published in European Journal of Combinatorics Volume 126, May 2025, 104131
• View Publication
• BIB
High-dimensional expanders are a generalization of the notion of expander graphs to simplicial complexes and give rise to a variety of applications in computer science and other fields. We provide a general tool to construct families of bounded degree high-dimensional spectral expanders. Inspired by the work of Kaufman and Oppenheim, we use coset complexes over quotients of Kac-Moody-Steinberg groups of rank $d+1$, $d$-spherical and purely $d$-spherical. We prove that infinite families of such quotients exist provided that the underlying field is of size at least 4 and the Kac-Moody-Steinberg group is 2-spherical, giving rise to new families of bounded degree high-dimensional expanders. In the case the generalized Cartan matrix we consider is affine, we recover the construction of O'Donnell and Pratt from 2022, (and thus also the one of Kaufman and Oppenheim) by considering Chevalley groups as quotients of affine Kac-Moody-Steinberg groups. Moreover, our construction applies to the case where the root system is of type $\tilde{G}_2$, a case that was not covered in earlier works.
Long antipaths and anticycles in oriented graphs
Published
• View Publication
• BIB
Let $δ^{0}(D)$ be the minimum semi-degree of an oriented graph $D$. Jackson (1981) proved that every oriented graph $D$ with $δ^{0}(D)\geq k$ contains a directed path of length $2k$ when $|V(D)|>2k+2$, and a directed Hamilton cycle when $|V(D)|\le 2k+2$. Stein~(2020) further conjectured that every oriented graph $D$ with $δ^{0}(D)>k/2$ contains any orientated path of length $k$. Recently, Klimousová and Stein (DM, 2023) introduced the minimum pseudo-semi-degree $\tildeδ^0(D)$ (a slight weaker than the minimum semi-degree condition as $\tildeδ^0(D)\ge δ^0(D))$ and showed that every oriented graph $D$ with $\tildeδ^{0}(D)\ge (3k-2)/4$ contains each antipath of length $k$ for $k\geq 3$. In this paper, we improve the result of Klimousová and Stein by showing that for all $k\geq 2$, every oriented graph with $\tildeδ^0(D)\ge(2k+1)/3$ contains either an antipath of length at least $k+1$ or an anticycle of length at least $k+1$. Furthermore, we answer a problem raised by Klimousová and Stein in the negative.
The Geometry of Cosmological Correlators
Published in SciPost Phys. 18, 105 (2025)
• View Publication
• BIB
We provide a first principle definition of cosmological correlation functions for a large class of scalar toy models in arbitrary FRW cosmologies, in terms of novel geometries we name {\it weighted cosmological polytopes}. Each of these geometries encodes a universal rational integrand associated to a given Feynman graph. In this picture, all the possible ways of organising, and computing, cosmological correlators correspond to triangulations and subdivisions of the geometry, containing the in-in representation, the one in terms of wavefunction coefficients and many others. We also provide two novel contour integral representations, one connecting higher and lower loop correlators and the other one expressing any of them in terms of a building block. We study the boundary structure of these geometries allowing us to prove factorisation properties and Steinmann-like relations when single and sequential discontinuities are approached. We also show that correlators must satisfy novel vanishing conditions. As the weighted cosmological polytopes can be obtained as an orientation-changing operation onto a certain subdivision of the cosmological polytopes encoding the wavefunction of the universe, this picture allows us to sharpen how the properties of cosmological correlators are inherited from the ones of the wavefunction. From a mathematical perspective, we also provide an in-depth characterisation of their adjoint surface.
Metric Spaces in Which Many Triangles Are Degenerate
Published
• View Publication
• BIB
Richmond and Richmond (American Mathematical Monthly 104 (1997), 713--719) proved the following theorem: If, in a metric space with at least five points, all triangles are degenerate, then the space is isometric to a subset of the real line. We prove that the hypothesis is unnecessarily strong: In a metric space on $n$ points, fewer than $7n^2/6$ suitably placed degenerate triangles suffice. However, fewer than $n(n-1)/2$ degenerate triangles, no matter how cleverly placed, never suffice.
The miracle of integer eigenvalues
Published
• View Publication
• BIB
For partially ordered sets $X$ we consider the square matrices $M^{X}$ with rows and columns indexed by linear extensions of the partial order on $X$. Each entry $\left( M^{X}\right)_{PQ}$ is a formal variable defined by a pedestal of the linear order $Q$ with respect to linear order $P$. We show that all the eigenvalues of any such matrix $M^{X}$ are $\mathbb{Z}$-linear combinations of those variables.
A note on $\bar{X}$-coloring and $\hat{A}$-coloring 4-regular graphs
Let $\partial_H(u)$ be the set of edges incident with a vertex $u$ in the graph $H$. We say that a graph $G$ is $H$-colorable if there exist total functions $f : E(G) \rightarrow E(H)$ and $g : V(G) \rightarrow V(H)$ such that $f$ is a proper edge-coloring of $G$ and for each vertex $u \in V(G)$ we have $f(\partial_G(u))=\partial_H(g(u))$. Let $\bar{X}$ be the graph obtained by adding three parallel edges between two degree one vertices of the graph $K_{1,4}$. Let $\hat{A}$ be the graph obtained by adding two pendant edges to two different vertices of a triangle and then adding two edges between the degree two vertex and the two adjacent degree three vertices. Malnegro and Ozeki [Discrete Math. 347(3):113844 (2024)] asked whether every 4-regular graph with an even number of vertices and an even cycle decomposition of size 3 admits an $\bar{X}$-coloring or an $\hat{A}$-coloring and whether every 2-connected planar 4-regular graph with an even number of vertices admits such a coloring. Additionally, they conjectured that for every 2-edge-connected simple cubic graph $G$ with an even number of edges, the line graph $L(G)$ is $\bar{X}$-colorable. In this short note, we discuss two algorithms for deciding whether a graph $G$ is $H$-colorable. We give a negative answer to the two questions and disprove the conjecture by finding suitable graphs, as verified by two independent algorithms.
On the Number of Vertices/Edges whose Deletion Preserves the Konig-Egervary Property
Published
• View Publication
• BIB
The graph G=(V,E) is called Konig-Egervary if the sum of its independence number and its matching number equals its order. Let RV(G) denote the number of vertices v such that G-v is Konig-Egervary, and let RE(G) denote the number of edges e such that G-e is Konig-Egervary. Clearly, RV(G) = |V| and RE(G) = |E| for bipartite graphs. Unlike the bipartiteness, the property of being a Konig-Egervary graph is not hereditary. In this paper, we present an equality expressing RV(G) in terms of some graph parameters, and a tight inequality bounding RE(G) in terms of the same parameters, when G is Konig-Egervary.
From geometry to generating functions: rectangulations and permutations
We enumerate several classes of pattern-avoiding rectangulations. We establish new bijective links with pattern-avoiding permutations, prove that their generating functions are algebraic, and confirm several conjectures by Merino and Mütze. We also analyze a new class of rectangulations, called whirls, using a generating tree.
Rado matroids and a graphical calculus for boundaries of Wilson loop diagrams
Published
• View Publication
• BIB
We study the boundaries of the positroid cells which arise from N = 4 super Yang Mills theory. Our main tool is a new diagrammatic object which generalizes the Wilson loop diagrams used to represent interactions in the theory. We prove conditions under which these new generalized Wilson loop diagrams correspond to positroids and give an explicit algorithm to calculate the Grassmann necklace of said positroids. Then we develop a graphical calculus operating directly on noncrossing generalized Wilson loop diagrams. In this paradigm, applying diagrammatic moves to a generalized Wilson loop diagram results in new diagrams that represent boundaries of its associated positroid, without passing through cryptomorphisms. We provide a Python implementation of the graphical calculus and use it to show that the boundaries of positroids associated to ordinary Wilson loop diagram are generated by our diagrammatic moves in certain cases.
Renyi Differential Privacy in the Shuffle Model: Enhanced Amplification Bounds
Published
• View Publication
• BIB
The shuffle model of Differential Privacy (DP) has gained significant attention in privacy-preserving data analysis due to its remarkable tradeoff between privacy and utility. It is characterized by adding a shuffling procedure after each user's locally differentially private perturbation, which leads to a privacy amplification effect, meaning that the privacy guarantee of a small level of noise, say $ε_0$, can be enhanced to $O(ε_0/\sqrt{n})$ (the smaller, the more private) after shuffling all $n$ users' perturbed data. Most studies in the shuffle DP focus on proving a tighter privacy guarantee of privacy amplification. However, the current results assume that the local privacy budget $ε_0$ is within a limited range. In addition, there remains a gap between the tightest lower bound and the known upper bound of the privacy amplification. In this work, we push forward the state-of-the-art by making the following contributions. Firstly, we present the first asymptotically optimal analysis of Renyi Differential Privacy (RDP) in the shuffle model without constraints on $ε_0$. Secondly, we introduce hypothesis testing for privacy amplification through shuffling, offering a distinct analysis technique and a tighter upper bound. Furthermore, we propose a DP-SGD algorithm based on RDP. Experiments demonstrate that our approach outperforms existing methods significantly at the same privacy level.
Reductions of well-ordering principles to combinatorial theorems
Published
• View Publication
• BIB
A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic of interest in Reverse Mathematics are known to be equivalent to well-ordering principles.
We give a unified treatment for proving lower bounds on the logical strength of various Ramsey-theoretic principles relations using characterizations of the corresponding formal systems in terms of well-ordering principles.
Our implications (over $RCA_0$) from combinatorial theorems to $ACA_0$ and $ACA_0^+$ also establish uniform computable reductions of the corresponding well-ordering principles to the corresponding Ramsey-type theorems.
HIST-Critical Graphs and Malkevitch's Conjecture
In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs. Finally, we confirm Malkevitch's conjecture for the family of line graphs of cyclically $4$-edge connected cubic graphs.
On independent domination and packing numbers of subcubic graphs
Published
• View Publication
• BIB
In a recent paper, Cho and Kim proved that in subcubic graphs, the independent domination number is at most three times the packing number. They subsequently posed the question of characterizing subcubic graphs that achieve this bound. In this paper, we completely solve the question by proving that exactly four graphs meet this bound.
On Duplication-Free Codes for Disjoint or Equal-Length Errors
Published
• View Publication
• BIB
Motivated by applications in DNA storage, we study a setting in which strings are affected by tandem-duplication errors. In particular, we look at two settings: disjoint tandem-duplication errors, and equal-length tandem-duplication errors. We construct codes, with positive asymptotic rate, for the two settings, as well as for their combination. Our constructions are duplication-free codes, comprising codewords that do not contain tandem duplications of specific lengths. Additionally, our codes generalize previous constructions, containing them as special cases.
Castelnuovo-Mumford regularity of the closed neighborhood ideal of a graph
Published in Journal of Algebraic Combinatorics, 61(1), 2025
• View Publication
• BIB
Let $G$ be a finite simple graph and let $NI(G)$ denote the closed neighborhood ideal of $G$ in a polynomial ring $R$. We show that if $G$ is a forest, then the Castelnuovo-Mumford regularity of $R/NI(G)$ is the same as the matching number of $G$, thus proving a conjecture of Sharifan and Moradi in the affirmative. We also show that the matching number of $G$ provides a lower bound for the Castelnuovo-Mumford regularity of $R/NI(G)$ for any $G$. Furthermore, we prove that, if $G$ contains a simplicial vertex, then $NI(G)$ admits a Betti splitting, and consequently, we show that the projective dimension of $R/NI(G)$ is also bounded below by the matching number of $G$, if $G$ is a forest or a unicyclic graph.
Exponential sums over small subgroups, revisited
This is an expository account of the proof of the theorem of Bourgain, Glibichuk and Konyagin which provides non-trivial bounds for exponential sums over very small multiplicative subgroups of prime finite fields.
Weighted degrees and truncated derived bibliographic networks
Published
• View Publication
• BIB
Large bibliographic networks are sparse -- the average node degree is small. This is not necessarily true for their product -- in some cases, it can ``explode'' (it is not sparse, increases in time and space complexity). An approach in such cases is to reduce the complexity of the problem by limiting our attention to a selected subset of important nodes and computing with corresponding truncated networks. The nodes can be selected by different criteria. An option is to consider the most important nodes in the derived network -- nodes with the largest weighted degree. It turns out that the weighted degrees in the derived network can be computed efficiently without computing the derived network itself.