Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Spectral Extremal Graphs of Planar Graphs with Fixed Size
Published
• View Publication
• BIB
Tait and Tobin [J. Combin. Theory Ser. B 126 (2017) 137--161] determined the unique spectral extremal graph over all outerplanar graphs and the unique spectral extremal graph over all planar graphs when the number of vertices is sufficiently large. In this paper we consider the spectral extremal problems of outerplanar graphs and planar graphs with fixed number of edges. We prove that the outerplanar graph on $m \geq 64$ edges with the maximum spectral radius is $S_m$, where $S_m$ is a star with $m$ edges. For planar graphs with $m$ edges, our main result shows that the spectral extremal graph is $K_2 \vee \frac{m-1}{2} K_1$ when $m$ is odd and sufficiently large, and $K_1 \vee (S_{\frac{m-2}{2}} \cup K_1)$ when $m$ is even and sufficiently large. Additionally, we obtain spectral extremal graphs for path, cycle and matching in outerplanar graphs and spectral extremal graphs for path, cycle and complete graph on $4$ vertices in planar graphs.
Lattice-Valued Bottleneck Duality
This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive lattice. For posets, we generalize a bottleneck version of Dilworth's theorem, again weighted in a distributive lattice. These results are applicable to a wide array of non-numerical network flow problems, as shown. All results, proofs, and applications were created in collaboration with AI language models. An appendix documents their role and impact.
Coloring Trivalent Graphs: A Defect TFT Approach
We show that the combinatorial matter of graph coloring is, in fact, quantum in the sense of satisfying the sum over all the possible intermediate state properties of a path integral. In our case, the topological field theory (TFT) with defects gives meaning to it. This TFT has the property that when evaluated on a planar trivalent graph, it provides the number of Tait-Coloring of it. Defects can be considered as a generalization of groups. With the Klein-four group as a 1-defect condition, we reinterpret graph coloring as sections of a certain bundle, distinguishing a coloring (global-sections) from a coloring process (local-sections.) These constructions also lead to an interpretation of the word problem, for a finitely presented group, as a cobordism problem and a generalization of (trivial) bundles at the level of higher categories.
The HOMFLY Polynomial of a Forest Quiver
Published
• View Publication
• BIB
We define the HOMFLY polynomial of a forest quiver $Q$ using a recursive definition on the underlying graph of the quiver. We then show that this polynomial is equal to the HOMFLY polynomial of any plabic link which comes from a connected plabic graph whose quiver is $Q$. We also prove a closed-form expression for the HOMFLY polynomial of a forest quiver $Q$ in terms of the independent sets of $Q$.
Pointwise order of generalized Hofstadter functions $G, H$ and beyond
Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We establish here that this family is ordered pointwise: for all $k$ and $n$, $F_k(n) \le F_{k+1}(n)$. For achieving this, a detour is made via infinite morphic words generalizing the Fibonacci word. Various properties of these words are proved, concerning the lengths of substituted prefixes of these words and the counts of some specific letters in these prefixes. We also relate the limits of $\frac{1}{n}F_k(n)$ to the frequencies of letters in the considered words.
Forbidden Minor Characterization of 3-Fold-3-Splitting of Binary Gammoid
The r-fold-n-point-splitting operation is an important operation in Graph Theory defined by Slater [15]. Later, Ghafari [6] extended 3-fold-n-point-splitting operation in binary matroids and obtained the result for Eulerian matroids whose 3-fold is Eulerian. In this paper, we give another approach to extend 3-fold-3-point-splitting in binary matroids in terms of splitting and haracterize binary gammoid whose 3-fold-3-point spitting is binary gammoid.
$k$-local Graphs
In 2017 Day et al. introduced the notion of locality as a structural complexity-measure for patterns in the field of pattern matching established by Angluin in 1980. In 2019 Casel et al. showed that determining the locality of an arbitrary pattern is NP-complete. Inspired by hierarchical clustering, we extend the notion to coloured graphs, i.e., given a coloured graph determine an enumeration of the colours such that colouring the graph stepwise according to the enumeration leads to as few clusters as possible. Next to first theoretical results on graph classes, we propose a priority search algorithm to compute the $k$-locality of a graph. The algorithm is optimal in the number of marking prefix expansions, and is faster by orders of magnitude than an exhaustive search. Finally, we perform a case study on a DBLP subgraph to demonstrate the potential of $k$-locality for knowledge discovery.
The combinatorial structure and value distributions of plateaued functions
We study combinatorial properties of plateaued functions $F \colon \mathbb{F}_p^n \rightarrow \mathbb{F}_p^m$. All quadratic functions, bent functions and most known APN functions are plateaued, so many cryptographic primitives rely on plateaued functions as building blocks. The main focus of our study is the interplay of the Walsh transform and linearity of a plateaued function, its differential properties, and their value distributions, i.e., the sizes of image and preimage sets. In particular, we study the special case of ''almost balanced'' plateaued functions, which only have two nonzero preimage set sizes, generalizing for instance all monomial functions. We achieve several direct connections and (non)existence conditions for these functions, showing for instance that plateaued $d$-to-$1$ functions (and thus plateaued monomials) only exist for a very select choice of $d$, and we derive for all these functions their linearity as well as bounds on their differential uniformity. We also specifically study the Walsh transform of plateaued APN functions and their relation to their value distribution.
A strengthening on consecutive odd cycles in graphs of given minimum degree
Published
• View Publication
• BIB
Liu and Ma [J. Combin. Theory Ser. B, 2018] conjectured that every $2$-connected non-bipartite graph with minimum degree at least $k+1$ contains $\lceil k/2\rceil $ cycles with consecutive odd lengths. In particular, they showed that this conjecture holds when $k$ is even. In this paper, we confirm this conjecture for any $k\in \mathbb N$. Moreover, we also improve some previous results about cycles of consecutive lengths.
Circuit and Graver Walks and Linear and Integer Programming
Published in Discrete Optimization, 54:100862 (7 pages), 2024
• View Publication
• BIB
We show that a circuit walk from a given feasible point of a given linear program to an optimal point can be computed in polynomial time using only linear algebra operations and the solution of the single given linear program.
We also show that a Graver walk from a given feasible point of a given integer program to an optimal point is polynomial time computable using an integer programming oracle, but without such an oracle, it is hard to compute such a walk even if an optimal solution to the given program is given as well.
Combining our oracle algorithm with recent results on sparse integer programming, we also show that Graver walks from any point are polynomial time computable over matrices of bounded tree-depth and subdeterminants.
Classification of unstable circulants of square-free order
In this paper we prove that for circulants of squarefree orders Wilson's conjecture hold, that is each nontrivially unstable circulant of such order has Wilson type. We show that actually only criteria (C.1) and (C.4) are needed.
Simulating Simple Random Walks With a Deck of Cards
Published
• View Publication
• BIB
When we want to simulate the realization of a symmetric simple random walk on $\mathbb Z^d$, we use $(2d)$-side fair dice to decide to which neighbor it jumps at each step if $d\geq 2$ or we simply use a fair coin when $d=1$. Assume that instead of using a dice or a coin we want to do a simulation using a well shuffled deck with $K$ cards of each of the $2d$ suits. In the first step the probability of jumping to each neighbor is $(2d)^{-1}$, but from the second step it becomes biased. Of course if we continue performing this simulation, the total variation distance between its law and the law of the random walk will increase until all cards are used. In this paper we investigate the minimum number of cards $N=2d K$ that a deck must contain so that the total variation distance between the law of a $n$-step simulation and the law of a $n$-step realization of the random walk is smaller than a chosen threshold $\varepsilon \in (0,1)$. More generally, we prove that when $N=cn$ this distance converges, as $n \to \infty$, to a Gaussian profile which depends on $c\geq 2d$. Furthermore, our analysis shows that this Gaussian profile vanishes as $c \to \infty$, proving the convergence of a multivariate hypergeometric distribution to a multinomial distribution in total variation.
Free cumulants and freeness for unitarily invariant random tensors
We address the question of the asymptotic description of random tensors that are local-unitary invariant, that is, invariant by conjugation by tensor products of independent unitary matrices. We consider both the mixed case of a tensor with $D$ inputs and $D$ outputs, and the case where there is a factorization between the inputs and outputs, called pure, which includes the random tensor models extensively studied in the physics literature.
The finite size and asymptotic moments are defined using correlations of certain invariant polynomials encoded by $D$-tuples of permutations, up to relabeling equivalence. Finite size free cumulants associated to the expectations of these invariants are defined through invertible finite size moment-cumulants formulas.
Two important cases are considered asymptotically: pure random tensors that scale like a complex Gaussian, and mixed random tensors that scale like a Wishart tensor. In both cases, we derive a notion of tensorial free cumulants associated to first order invariants, through moment-cumulant formulas involving summations over non-crossing permutations. The pure and mixed cases involve the same combinatorics, but differ by the invariants that define the distribution at first order. In both cases, the tensorial free-cumulants of a sum of two independent tensors are shown to be additive. A preliminary discussion of higher orders is provided.
Tensor freeness is then defined as the vanishing of mixed first order tensorial free cumulants. The equivalent formulation at the level of asymptotic moments is derived in the pure and mixed cases, and we provide an algebraic construction of tensorial probability spaces, which generalize non-commutative probability spaces: random tensors converge in distribution to elements of these spaces, and tensor freeness of random variables corresponds to tensor freeness of the subspaces they generate.
List strong and list normal edge-coloring of (sub)cubic graphs
Published
• View Publication
• BIB
A strong edge-coloring of a graph is a proper edge-coloring, in which the edges of every path of length 3 receive distinct colors; in other words, every pair of edges at distance at most 2 must be colored differently. The least number of colors needed for a strong edge-coloring of a graph is the strong chromatic index. We consider the list version of the coloring and prove that the list strong chromatic index of graphs with maximum degree 3 is at most 10. This bound is tight and improves the previous bound of 11 colors.
We also consider the question whether the strong chromatic index and the list strong chromatic index always coincide. We answer it in negative by presenting an infinite family of graphs for which the two invariants differ. For the special case of the Petersen graph, we show that its list strong chromatic index equals 7, while its strong chromatic index is 5. Up to our best knowledge, this is the first known edge-coloring for which there are graphs with distinct values of the chromatic index and its list version.
In relation to the above, we also initiate the study of the list version of the normal edge-coloring. A normal edge-coloring of a cubic graph is a proper edge-coloring, in which every edge is adjacent to edges colored with 4 colors or to edges colored with 2 colors. It is conjectured that 5 colors suffice for a normal edge-coloring of any bridgeless cubic graph which is equivalent to the Petersen Coloring Conjecture.
Similarly to strong edge-coloring, list normal edge-coloring is much more restrictive and consequently for many graphs the list normal chromatic index is greater than the normal chromatic index. We show that there are cubic graphs with list normal chromatic index at least $9$, there are bridgeless cubic graphs with its value at least 8, and there are cyclically 4-edge-connected cubic graphs with value at least 7.
On maximum graphs in Tutte polynomial posets
Published
• View Publication
• BIB
Boesch, Li, and Suffel were the first to identify the existence of uniformly optimally reliable graphs (UOR graphs), graphs which maximize all-terminal reliability over all graphs with $n$ vertices and $m$ edges. The all-terminal reliability of a graph, and more generally a graph's all-terminal reliability polynomial $R(G;p)$, may both be obtained via the Tutte polynomial $T(G;x,y)$ of the graph $G$. Here we show that the UOR graphs found earlier are in fact maximum graphs for the Tutte polynomial itself, in the sense that they are maximum not just for all-terminal reliability but for a vast array of other parameters and polynomials that may be obtained from $T(G;x,y)$ as well. These parameters include, but are not limited to, enumerations of a wide variety of well-known orientations, partial orientations, and fourientations of $G$; the magnitudes of the coefficients of the chromatic and flow polynomials of $G$; and a wide variety of generating functions, such as generating functions enumerating spanning forests and spanning connected subgraphs of $G$. The maximality of all of these parameters is done in a unified way through the use of $(n,m)$ Tutte polynomial posets.
Algebra of overpartitions
In a 2022 paper, Dawsey, Just and the present author prove that the set of integer partitions, taken as a monoid under a partition multiplication operation I defined in my Ph.D. work, is isomorphic to the positive integers as a monoid under integer multiplication. In this note, I extend partition multiplication to the set of overpartitions, which are of much interest in partition theory. I prove the overpartitions form an Abelian group under partition multiplication. Moreover, the overpartitions and the positive rational numbers are isomorphic as multiplicative groups. I then prove further overpartition isomorphisms and discuss approaches to a ring theory of overpartitions.
A general positivity result on coefficients of certain $q$-series
Published
• View Publication
• BIB
Based on a classical result on partitions of an integer into a finite set of positive integers, we establish a general positivity result on coefficients of certain $q$-series which uniformly refines the positivity of truncated pentagonal number series, truncated Gauss' identities and some special cases of truncated Jacobi triple product identity. As an application, we prove two positivity conjectures due to Merca.
Independent Sets in Hypergraphs
Published
• View Publication
• BIB
A theorem of Shearer states that every $n$-vertex triangle-free graph of maximum degree $d \geq 2$ contains an independent set of size at least $(d\log d - d + 1)/(d - 1)^2 \cdot n$. Ajtai, Komlós, Pintz, Spencer and Szemerédi proved that every $(r + 1)$-uniform $n$-vertex ``uncrowded'' hypergraph of maximum degree $d \geq 1$ has an independent set of size at least $c_r(\log d)^{1/r}/d^{1/r} \cdot n$ for some $c_r > 0$ depending only on $r$. Shearer asked whether his method for triangle-free graphs could be extended to uniform hypergraphs. In this paper, we answer this in the affirmative, thereby giving a short proof of the theorem of Ajtai, Komlós, Pintz, Spencer and Szemerédi for a wider class of ``locally sparse'' hypergraphs.
A new generalization of Fielder's lemma with applications
Published
• View Publication
• BIB
Very recently Ma and Wu \cite{wu2024generalization} obtained a generalization of Fielder's lemma and applied to find adjacency, Laplacian, and signless Laplacian spectra of $P_n-$ product of commuting graphs. In this paper, we give a generalization of Fielder's lemma applying which not only one gets generalized result in \cite{wu2024generalization} as a particular case, but also one can find several kind of spectra of $H$-product of graphs when $H$ is an arbitrary graph. Moreover, we compute adjacency spectrum of $H-$ product of commuting graphs and universal adjacency spectrum of $H-$ product of commuting regular graphs.
The Lonely Runner Conjecture turns 60
Published
• View Publication
• BIB
The Lonely Runner Conjecture originated in Diophantine approximation is turning 60. Even if the conjecture is still widely open, the flow of partial results, innovative tools and connections to different problems and applications has been steady on its long life. This survey attempts to give a panoramic view of the status of the problem, trying to highlight the contributions of the many papers that it has originated.