Showing 20 papers (Total: 82139 papers, 47531 authors in database)
C Sequential Optimization Numbers Group
We define C sequential optimization numbers, where C is a k+1-tuple vector. We prove that the unsigned Stirling numbers of first kind are (0,1) sequential optimization numbers. Many achievements of the Stirling numbers of first kind can be transformed into the properties of C sequential optimization numbers. We give some examples such as the recurrence formula and an instance of C sequential optimization numbers. We also extend some properties such as an upper bounder of them.
Extremal Independent Set Reconfiguration
Published
• View Publication
• BIB
The independent set reconfiguration problem asks whether one can transform one given independent set of a graph into another, by changing vertices one by one in such a way the intermediate sets remain independent. Extremal problems on independent sets are widely studied: for example, it is well known that an $n$-vertex graph has at most $3^{n/3}$ maximum independent sets (and this is tight). This paper investigates the asymptotic behavior of maximum possible length of a shortest reconfiguration sequence for independent sets of size $k$ among all $n$-vertex graphs. We give a tight bound for $k=2$. We also provide a subquadratic upper bound (using the hypergraph removal lemma) as well as an almost tight construction for $k=3$. We generalize our results for larger values of $k$ by proving an $n^{2\lfloor k/3 \rfloor}$ lower bound.
Asymptotic expansions relating to the distribution of the length of longest increasing subsequences
Published in Forum Math. Sigma 12:e36, 1-56 (2024)
• View Publication
• BIB
We study the distribution of the length of longest increasing subsequences in random permutations of $n$ integers as $n$ grows large and establish an asymptotic expansion in powers of $n^{-1/3}$. Whilst the limit law was already shown by Baik, Deift and Johansson to be the GUE Tracy-Widom distribution $F$, we find explicit analytic expressions of the first few finite-size correction terms as linear combinations of higher order derivatives of $F$ with rational polynomial coefficients. Our proof replaces Johansson's de-Poissonization, which is based on monotonicity as a Tauberian condition, by analytic de-Poissonization of Jacquet and Szpankowski, which is based on growth conditions in the complex plane; it is subject to a tameness hypothesis concerning complex zeros of the analytically continued Poissonized length distribution. In a preparatory step an expansion of the hard-to-soft edge transition law of LUE is studied, which is lifted into an expansion of the Poissonized length distribution for large intensities. Finally, expansions of Stirling-type approximations and of the expected value and variance of the length distribution are given.
Improved Gilbert-Varshamov bounds for hopping cyclic codes and optical orthogonal codes
Published
• View Publication
• BIB
Hopping cyclic codes (HCCs) are (non-linear) cyclic codes with the additional property that the $n$ cyclic shifts of every given codeword are all distinct, where $n$ is the code length. Constant weight binary hopping cyclic codes are also known as optical orthogonal codes (OOCs). HCCs and OOCs have various practical applications and have been studied extensively over the years.
The main concern of this paper is to present improved Gilbert-Varshamov type lower bounds for these codes, when the minimum distance is bounded below by a linear factor of the code length. For HCCs, we improve the previously best known lower bound of Niu, Xing, and Yuan by a linear factor of the code length. For OOCs, we improve the previously best known lower bound of Chung, Salehi, and Wei, and Yang and Fuja by a quadratic factor of the code length. As by-products, we also provide improved lower bounds for frequency hopping sequences sets and error-correcting weakly mutually uncorrelated codes. Our proofs are based on tools from probability theory and graph theory, in particular the McDiarmid's inequality on the concentration of Lipschitz functions and the independence number of locally sparse graphs.
Positivity problem of three-term recurrence sequences
Published
• View Publication
• BIB
We present some necessary and/or sufficient conditions for the positivity problem of three-term recurrence sequences. As applications we show the positivity of diagonal Taylor coefficients of some rational functions in a unified approach. We also establish a criterion for the positivity and log-convexity of such sequences.
Linking number of monotonic cycles in random book embeddings of complete graphs
Published
• View Publication
• BIB
A book embedding of a complete graph is a spatial embedding whose planar projection has the vertices located along a circle, consecutive vertices are connected by arcs of the circle, and the projections of the remaining "interior" edges in the graph are straight line segments between the points on the circle representing the appropriate vertices. A random embedding of a complete graph can be generated by randomly assigning relative heights to these interior edges. We study a family of two-component links that arise as the realizations of pairs of disjoint cycles in these random embeddings of graphs. In particular, we show that the distribution of linking numbers can be described in terms of Eulerian numbers. Consequently, the mean of the squared linking number over all random embeddings is $\frac{i}{6}$, where $i$ is the number of interior edges in the cycles. We also show that the mean of the squared linking number over all pairs of $n$-cycles in $K_{2n}$ grows linearly in $n$.
Critical groups of arithmetical structures on star graphs and complete graphs
Published in Electron. J. Combin. 31 (2024) 1.5
• View Publication
• BIB
An arithmetical structure on a finite, connected graph without loops is an assignment of positive integers to the vertices that satisfies certain conditions. Associated to each of these is a finite abelian group known as its critical group. We show how to determine the critical group of an arithmetical structure on a star graph or complete graph in terms of the entries of the arithmetical structure. We use this to investigate which finite abelian groups can occur as critical groups of arithmetical structures on these graphs.
A note on highly connected $K_{2,\ell}$-minor free graphs
Published
• View Publication
• BIB
We show that every $3$-connected $K_{2,\ell}$-minor free graph with minimum degree at least $4$ has maximum degree at most $7\ell$. As a consequence, we show that every 3-connected $K_{2,\ell}$-minor free graph with minimum degree at least $5$ and no twins of degree $5$ has bounded size. Our proofs use Steiner trees and nested cuts; in particular, they do not rely on Ding's characterization of $K_{2,\ell}$-minor free graphs.
Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs
Published in Combinatorica 44 (2024), 921-948
• View Publication
• BIB
Given a graph $H$, we prove that every (theta, prism)-free graph of sufficiently large treewidth contains either a large clique or an induced subgraph isomorphic to $H$, if and only if $H$ is a forest.
The average degree of edge chromatic critical graphs with maximum degree seven
Published
• View Publication
• BIB
In this paper, by developing several new adjacency lemmas about a path on $4$ or $5$ vertices, we show that the average degree of 7-critical graphs is at least 6. It implies Vizing's planar graph conjecture for planar graphs with maximum degree $7$ and its extension to graphs embeddable in a surface with nonnegative Euler characteristic due to Sanders and Zhao (J. Combin. Theory Ser. B 83 (2001) 201-212 and J. Combin. Theory Ser. B 87 (2003) 254-263) and Zhang (Graphs and Combinatorics 16 (2000) 467-495).
Stochastics of DNA Quantification
A common approach to quantifying DNA involves repeated cycles of DNA amplification. This approach, employed by the polymerase chain reaction (PCR), produces outputs that are corrupted by amplification noise, making it challenging to accurately back-calculate the amount of input DNA. Standard mathematical solutions to this back-calculation problem do not take adequate account of such noise and are error-prone. Here, we develop a parsimonious mathematical model of the stochastic mapping of input DNA onto experimental outputs that accounts, in a natural way, for amplification noise. We use the model to derive the probability density of the quantification cycle, a frequently reported experimental output, which can be fit to data to estimate input DNA. Strikingly, the model predicts that a sample with only one input DNA molecule has a $<$4% chance of testing positive, which is $>$25-fold lower than assumed by a standard method of interpreting PCR data. We provide formulae for calculating both the limit of detection and the limit of quantification, two important operating characteristics of DNA quantification methods that are frequently assessed by using ad-hoc mathematical techniques. Our results provide a mathematical foundation for the rigorous analysis of DNA quantification.
The Kromatic Symmetric Function: A $K$-theoretic Analogue of $X_G$
Published
• View Publication
• BIB
Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with $K$-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their $K$-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function $\overline{X}_G$, a $K$-theoretic analogue of the chromatic symmetric function $X_G$ of a graph $G$. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint.
Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when $G$ is a claw-free incomparability graph, $\overline{X}_G$ is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several $K$-analogues of the $e$-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to $K$-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of $\overline{X}_G$ and show that it admits a deletion--contraction relation. Finally, we give a $K$-analogue for $\overline{X}_G$ of the classic monomial-basis expansion of $X_G$.
Sum Labelling Graphs of Maximum Degree Two
Published
• View Publication
• BIB
The concept of sum labelling was introduced in 1990 by Harary. A graph is a sum graph if its vertices can be labelled by distinct positive integers in such a way that two vertices are connected by an edge if and only if the sum of their labels is the label of another vertex in the graph. It is easy to see that every sum graph has at least one isolated vertex, and every graph can be made a sum graph by adding at most $n^2$ isolated vertices to it. The minimum number of isolated vertices that need to be added to a graph to make it a sum graph is called the sum number of the graph.
The sum number of several prominent graph classes (e.g., cycles, trees, complete graphs) is already well known. We examine the effect of taking the disjoint union of graphs on the sum number. In particular, we provide a complete characterization of the sum number of graphs of maximum degree two, since every such graph is the disjoint union of paths and cycles.
Divisibility of character values of the symmetric group by prime powers
Published in Alg. Number Th. 19 (2025) 365-382
• View Publication
• BIB
Proving a conjecture of Miller, we show that as $n$ tends to infinity almost all entries in the character table of $S_n$ are divisible by any given prime power. This extends our earlier work which treated divisibility by primes.
Association schemes on triples from affine special semilinear groups
Association schemes on triples (ASTs) are 3-dimensional analogues of classical association schemes. If a group acts two-transitively on a set, the orbits of the action induced on the triple Cartesian product of that set yields an AST. By considering the actions of semidirect products of the affine special linear group ASL(k,n) with subgroups of the Galois group Gal(GF(n)), we obtain the sizes, third valencies, and intersection numbers of the ASTs obtained from subgroups of the affine special semilinear group.
Measuring the Space of Metaplectic Whittaker Functions
Whittaker functions are special functions that arise in $p$-adic number theory and representation theory. They may be defined on representations of reductive groups as well as their metaplectic covering groups: fascinatingly, many of their number theoretic applications survive the transition between the reductive and metaplectic cases. However, one notable difference is that the space of Whittaker functions on a reductive group over a nonarchimedean local field $F$ is one-dimensional, whereas this is no longer true in the metaplectic case. In a previous paper, the second author showed that the dimension of the space of Whittaker functions on an arbitrary $n$-fold metaplectic cover of $GL_r(F)$ can be counted in terms of the number of solutions to a particular system of linear Diophantine equations in terms of $n$ and $r$. In this paper, we calculate two precise formulae for $\dim(\mathfrak{W})$, one inspired by viewing this system as a homogenous specialization of an inhomogenous system and the other by the structure of the coroot lattice of $GL_r(F)$. Then we use these formulae to investigate a homomorphism between $\mathfrak{W}$ and a particular quantum group module, built by the second author in a previous paper, and show precisely when this map is well-defined for any choice of basis for $\mathfrak{W}$.
Large Matchings in Maximal 1-planar graphs
Published
• View Publication
• BIB
It is well-known that every maximal planar graph has a matching of size at least $\tfrac{n+8}{3}$ if $n\geq 14$. In this paper, we investigate similar matching-bounds for maximal \emph{1-planar} graphs, i.e., graphs that can be drawn such that every edge has at most one crossing. In particular we show that every 3-connected simple-maximal 1-planar graph has a matching of size at least $\tfrac{2n+6}{5}$; the bound decreases to $\tfrac{3n+14}{10}$ if the graph need not be 3-connected. We also give (weaker) bounds when the graph comes with a fixed 1-planar drawing or is not simple. All our bounds are tight in the sense that some graph that satisfies the restrictions has no bigger matching.
State Transfer in Complex Quantum Walks
Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 383, no. 2306, p. 20240420 (2025)
• View Publication
• BIB
Given a graph with Hermitian adjacency matrix $H$, perfect state transfer occurs from vertex $a$ to vertex $b$ if the $(b,a)$-entry of the unitary matrix $\exp(-iHt)$ has unit magnitude for some time $t$. This phenomenon is relevant for information transmission in quantum spin networks and is known to be monogamous under real symmetric matrices. We prove the following results:
1. For oriented graphs (whose nonzero weights are $\pm i$), the oriented $3$-cycle and the oriented edge are the only graphs where perfect state transfer occurs between every pair of vertices. This settles a conjecture of Cameron et al. On the other hand, we construct an infinite family of oriented graphs with perfect state transfer between any pair of vertices on a subset of size four.
2. There are infinite families of Hermitian graphs with one-way perfect state transfer, where perfect state transfer occurs without periodicity. In contrast, perfect state transfer implies periodicity whenever the adjacency matrix has algebraic entries (as shown by Godsil).
3. There are infinite families with non-monogamous pretty good state transfer in rooted graph products. In particular, we generalize known results on double stars (due to Fan and Godsil) and on paths with loops (due to Kempton, Lippner and Yau). The latter extends the experimental observation of quantum transport (made by Zimborás et al.) and shows non-monogamous pretty good state transfer can occur amongst distant vertices.
Fans and polytopes in tilting theory II: $g$-fans of rank 2
The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.
Reconstructing words using queries on subwords or factors
We study word reconstruction problems. Improving a previous result by P. Fleischmann, M. Lejeune, F. Manea, D. Nowotka and M. Rigo, we prove that, for any unknown word $w$ of length $n$ over an alphabet of cardinality $k$, $w$ can be reconstructed from the number of occurrences as subwords (or scattered factors) of $O(k^2\sqrt{n\log_2(n)})$ words. Two previous upper bounds obtained by S. S. Skiena and G. Sundaram are also slightly improved: one when considering information on the existence of subwords instead of on the numbers of their occurrences, and, the other when considering information on the existence of factors.