Showing 1–44 of 44 results for author: Grzesik, A

Directed graphs without rainbow stars

Authors: Daniel Gerbner, Andrzej Grzesik, Cory Palmer, Magdalena Prorok

Abstract: In a rainbow version of the classical Turán problem one considers multiple graphs on a common vertex set, thinking of each graph as edges in a distinct color, and wants to determine the minimum number of edges in each color which guarantees existence of a rainbow copy (having at most one edge from each graph) of a given graph. Here, we prove an optimal solution for this problem for any directed st… ▽ More In a rainbow version of the classical Turán problem one considers multiple graphs on a common vertex set, thinking of each graph as edges in a distinct color, and wants to determine the minimum number of edges in each color which guarantees existence of a rainbow copy (having at most one edge from each graph) of a given graph. Here, we prove an optimal solution for this problem for any directed star and any number of colors. △ Less

Submitted 1 February, 2024; originally announced February 2024.

MSC Class: 05C20; 05C35

The double Hall property and cycle covers in bipartite graphs

Authors: János Barát, Andrzej Grzesik, Attila Jung, Zoltán Lóránt Nagy, Dömötör Pálvölgyi

Abstract: In a graph $G$, the $2$-neighborhood of a vertex set $X$ consists of all vertices of $G$ having at least $2$ neighbors in $X$. We say that a bipartite graph $G(A,B)$ satisfies the double Hall property if $|A|\geq2$, and every subset $X \subseteq A$ of size at least $2$ has a $2$-neighborhood of size at least $|X|$. Salia conjectured that any bipartite graph $G(A,B)$ satisfying the double Hall prop… ▽ More In a graph $G$, the $2$-neighborhood of a vertex set $X$ consists of all vertices of $G$ having at least $2$ neighbors in $X$. We say that a bipartite graph $G(A,B)$ satisfies the double Hall property if $|A|\geq2$, and every subset $X \subseteq A$ of size at least $2$ has a $2$-neighborhood of size at least $|X|$. Salia conjectured that any bipartite graph $G(A,B)$ satisfying the double Hall property contains a cycle covering $A$. Here, we prove the existence of a $2$-factor covering $A$ in any bipartite graph $G(A,B)$ satisfying the double Hall property. We also show Salia's conjecture for graphs with restricted degrees of vertices in $B$. Additionally, we prove a lower bound on the number of edges in a graph satisfying the double Hall property, and the bound is sharp up to a constant factor. △ Less

Submitted 22 May, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: minor corrections; to be published in Discrete Mathematics

On triangle-free graphs maximizing embeddings of bipartite graphs

Authors: Dmitriy Gorovoy, Andrzej Grzesik, Justyna Jaworska

Abstract: In 1991 Gy\H ori, Pach, and Simonovits proved that for any bipartite graph $H$ containing a matching avoiding at most 1 vertex, the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a balanced complete bipartite graph. In this paper we improve their result by showing that if $H$ is a bipartite graph containing a matching of size $x$ and at most… ▽ More In 1991 Gy\H ori, Pach, and Simonovits proved that for any bipartite graph $H$ containing a matching avoiding at most 1 vertex, the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a balanced complete bipartite graph. In this paper we improve their result by showing that if $H$ is a bipartite graph containing a matching of size $x$ and at most $\frac{1}{2}\sqrt{x-1}$ unmatched vertices, then the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a complete bipartite graph. We also prove that such a statement cannot hold if the number of unmatched vertices is $Ω(x)$. △ Less

Submitted 22 September, 2023; originally announced September 2023.

Directed graphs without rainbow triangles

Authors: Sebastian Babiński, Andrzej Grzesik, Magdalena Prorok

Abstract: One of the most fundamental results in graph theory is Mantel's theorem which determines the maximum number of edges in a triangle-free graph of order $n$. Recently a colorful variant of this problem has been solved. In such a variant we consider $c$ graphs on a common vertex set, thinking of each graph as edges in a distinct color, and want to determine the smallest number of edges in each color… ▽ More One of the most fundamental results in graph theory is Mantel's theorem which determines the maximum number of edges in a triangle-free graph of order $n$. Recently a colorful variant of this problem has been solved. In such a variant we consider $c$ graphs on a common vertex set, thinking of each graph as edges in a distinct color, and want to determine the smallest number of edges in each color which guarantees existence of a rainbow triangle. Here, we solve the analogous problem for directed graphs without rainbow triangles, either directed or transitive, for any number of colors. The constructions and proofs essentially differ for $c=3$ and $c \geq 4$ and the type of the forbidden triangle. Additionally, we also solve the analogous problem in the setting of oriented graphs. △ Less

Submitted 5 August, 2023; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 20 pages

MSC Class: 05C20; 05C35

Turán problems for oriented graphs

Authors: Andrzej Grzesik, Justyna Jaworska, Bartłomiej Kielak, Aliaksandra Novik, Tomasz Ślusarczyk

Abstract: A classical Turán problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which describes the asymptotic behavior of this maximum. Here, we consider an analogous problem for oriented graphs, where compressibility plays the role of the chroma… ▽ More A classical Turán problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which describes the asymptotic behavior of this maximum. Here, we consider an analogous problem for oriented graphs, where compressibility plays the role of the chromatic number. Since any oriented graph having a directed cycle is not contained in any transitive tournament, it makes sense to consider only acyclic oriented graphs as forbidden subgraphs. We provide basic properties of the compressibility, show that the compressibility of acyclic oriented graphs with out-degree at most 2 is polynomial with respect to the maximum length of a directed path, and that the same holds for a larger out-degree bound if the Erdős-Hajnal conjecture is true. Additionally, generalizing previous results on powers of paths and arbitrary orientations of cycles, we determine the compressibility of acyclic oriented graphs with a restricted structure. △ Less

Submitted 31 May, 2023; originally announced May 2023.

Comments: 14 pages

MSC Class: 05C20; 05C35

Forcing Generalized Quasirandom Graphs Efficiently

Authors: Andrzej Grzesik, Daniel Kral, Oleg Pikhurko

Abstract: We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs w… ▽ More We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs with at most $(10q)^q+q$ vertices; subsequently, Lovász refined the argument to show that graphs with $4(2q+3)^8$ vertices suffice. Our results imply that the structure of generalized quasirandom graphs with $q\ge 2$ parts is forced by homomorphism densities of graphs with at most $4q^2-q$ vertices, and, if vertices in distinct parts have distinct degrees, then $2q+1$ vertices suffice. The latter improves the bound of $8q-4$ due to Spencer. △ Less

Submitted 20 August, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Quasirandom forcing orientations of cycles

Authors: Andrzej Grzesik, Daniel Il'kovič, Bartłomiej Kielak, Daniel Král'

Abstract: An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$. We show that no orientation of an odd cycle is quasirandom… ▽ More An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$. We show that no orientation of an odd cycle is quasirandom-forcing. In the case of even cycles, we find sufficient conditions on an orientation to be quasirandom-forcing, which we complement by identifying necessary conditions. Using our general results and spectral techniques used to obtain them, we classify which orientations of cycles of length up to $10$ are quasirandom-forcing. △ Less

Submitted 13 July, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Graphs without a rainbow path of length 3

Authors: Sebastian Babiński, Andrzej Grzesik

Abstract: In 1959 Erdős and Gallai proved the asymptotically optimal bound for the maximum number of edges in graphs not containing a path of a fixed length. Here we study a rainbow version of their theorem, in which one considers $k \geq 1$ graphs on a common set of vertices not creating a path having edges from different graphs and asks for the maximum number of edges in each graph. We prove the asymptoti… ▽ More In 1959 Erdős and Gallai proved the asymptotically optimal bound for the maximum number of edges in graphs not containing a path of a fixed length. Here we study a rainbow version of their theorem, in which one considers $k \geq 1$ graphs on a common set of vertices not creating a path having edges from different graphs and asks for the maximum number of edges in each graph. We prove the asymptotically optimal bound in the case of a path on three edges and any $k \geq 1$. △ Less

Submitted 11 January, 2024; v1 submitted 4 November, 2022; originally announced November 2022.

Subgraph densities in $K_r$-free graphs

Authors: Andrzej Grzesik, Ervin Győri, Nika Salia, Casey Tompkins

Abstract: In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph. In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph. △ Less

Submitted 26 May, 2022; originally announced May 2022.

Tuza's Conjecture for Threshold Graphs

Authors: Marthe Bonamy, Łukasz Bożyk, Andrzej Grzesik, Meike Hatzel, Tomáš Masařík, Jana Novotná, Karolina Okrasa

Abstract: Tuza famously conjectured in 1981 that in a graph without k+1 edge-disjoint triangles, it suffices to delete at most 2k edges to obtain a triangle-free graph. The conjecture holds for graphs with small treewidth or small maximum average degree, including planar graphs. However, for dense graphs that are neither cliques nor 4-colorable, only asymptotic results are known. Here, we confirm the conjec… ▽ More Tuza famously conjectured in 1981 that in a graph without k+1 edge-disjoint triangles, it suffices to delete at most 2k edges to obtain a triangle-free graph. The conjecture holds for graphs with small treewidth or small maximum average degree, including planar graphs. However, for dense graphs that are neither cliques nor 4-colorable, only asymptotic results are known. Here, we confirm the conjecture for threshold graphs, i.e. graphs that are both split graphs and cographs, and for co-chain graphs with both sides of the same size divisible by 4. △ Less

Submitted 10 August, 2022; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: 14 pages, 11 figures, Accepted to European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB) 2021

MSC Class: 05C70

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (August 14, 2022) dmtcs:7660

Strong modeling limits of graphs with bounded tree-width

Authors: Andrzej Grzesik, Daniel Kráľ, Samuel Mohr

Abstract: The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitar… ▽ More The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitary mass transport principle. The existence of modeling limits satisfying the strong finitary mass transport principle was proved for first order convergent sequences of trees by Nešetřil and Ossona de Mendez [Electron. J. Combin. 23 (2016), P2.52] and for first order sequences of graphs with bounded path-width by Gajarský et al. [Random Structures Algorithms 50 (2017), 612-635]. We establish the existence of modeling limits satisfying the strong finitary mass transport principle for first order convergent sequences of graphs with bounded tree-width. △ Less

Submitted 23 February, 2024; v1 submitted 18 March, 2021; originally announced March 2021.

Degree conditions forcing directed cycles

Authors: Andrzej Grzesik, Jan Volec

Abstract: Caccetta-Häggkvist conjecture is a longstanding open problem on degree conditions that force an oriented graph to contain a directed cycle of a bounded length. Motivated by this conjecture, Kelly, Kühn, and Osthus initiated a study of degree conditions forcing the containment of a directed cycle of a given length. In particular, they found the optimal minimum semidegree, that is, the smaller of th… ▽ More Caccetta-Häggkvist conjecture is a longstanding open problem on degree conditions that force an oriented graph to contain a directed cycle of a bounded length. Motivated by this conjecture, Kelly, Kühn, and Osthus initiated a study of degree conditions forcing the containment of a directed cycle of a given length. In particular, they found the optimal minimum semidegree, that is, the smaller of the minimum indegree and the minimum outdegree, which forces a large oriented graph to contain a directed cycle of a given length not divisible by 3, and conjectured the optimal minimum semidegree for all the other cycles except the directed triangle. In this paper, we establish the best possible minimum semidegree that forces a large oriented graph to contain a directed cycle of a given length divisible by 3 yet not equal to 3, hence fully resolve the conjecture by Kelly, Kühn, and Osthus. We also find an asymptotically optimal semidegree threshold of any cycle with a given orientation of its edges with the sole exception of a directed triangle. △ Less

Submitted 18 January, 2024; v1 submitted 25 February, 2021; originally announced February 2021.

On tripartite common graphs

Authors: Andrzej Grzesik, Joonkyung Lee, Bernard Lidický, Jan Volec

Abstract: A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is minimised by the random colouring. Burr and Rosta, extending a famous conjecture by Erdos, conjectured that every graph is common. The conjectures by Erdos and by Burr and Rosta were disproved by Thomason and by Sidorenko, respectively, in the late 1980s. Collecting new examples for common… ▽ More A graph H is common if the number of monochromatic copies of H in a 2-edge-colouring of the complete graph is minimised by the random colouring. Burr and Rosta, extending a famous conjecture by Erdos, conjectured that every graph is common. The conjectures by Erdos and by Burr and Rosta were disproved by Thomason and by Sidorenko, respectively, in the late 1980s. Collecting new examples for common graphs had not seen much progress since then, although very recently, a few more graphs are verified to be common by the flag algebra method or the recent progress on Sidorenko's conjecture. Our contribution here is to give a new class of tripartite common graphs. The first example class is so-called triangle-trees, which generalises two theorems by Sidorenko and answers a question by Jagger, Šťovíček, and Thomason from 1996. We also prove that, somewhat surprisingly, given any tree T, there exists a triangle-tree such that the graph obtained by adding T as a pendant tree is still common. Furthermore, we show that adding arbitrarily many apex vertices to any connected bipartite graph on at most five vertices give a common graph. △ Less

Submitted 27 April, 2022; v1 submitted 3 December, 2020; originally announced December 2020.

Wigner-Wilkins neutron/nucleus scattering kernel quantum-mechanically derived

Authors: J. A. Grzesik

Abstract: We undertake herein to derive the Wigner-Wilkins [W-W] neutron/nucleus scattering kernel, a foundation stone in neutron thermalization theory, on the basis of a self-contained calculation in quantum mechanics. Indeed, a quantum-mechanical derivation of the W-W kernel is available in the literature, cited below, but it is, in our opinion, robbed of conviction by being couched in terms of an excessi… ▽ More We undertake herein to derive the Wigner-Wilkins [W-W] neutron/nucleus scattering kernel, a foundation stone in neutron thermalization theory, on the basis of a self-contained calculation in quantum mechanics. Indeed, a quantum-mechanical derivation of the W-W kernel is available in the literature, cited below, but it is, in our opinion, robbed of conviction by being couched in terms of an excessive generality. Here, by contrast, we proceed along a self-contained route relying on the Fermi pseudopotential and a first-order term in a time-dependent Born approximation series. Our calculations are fully explicit at every step and, in particular, we tackle in its every detail a final integration whose result is merely stated in the available literature. Furthermore, and perhaps the most important point of all, we demonstrate that the quantum-mechanical W-W kernel outcome is identical down to the last iota with its classical antecedent, classical not only by virtue of historical precedence but also by being based on classical Newtonian mechanics. △ Less

Submitted 18 December, 2021; v1 submitted 1 November, 2020; originally announced November 2020.

Comments: v3--missing eq. no. (38) supplied; v2 eq. nos. (38) on, and all refs. thereto, advanced by 1; stray right parenth in 1st line args of eqs (35-40) (new enum) removed; 1st line args in eqs (37-38) (new enum) more perspicuously arranged; v4--ref. 10 framed in sharper focus; two minor textual infelicities repaired

On the inducibility of oriented graphs on four vertices

Authors: Łukasz Bożyk, Andrzej Grzesik, Bartłomiej Kielak

Abstract: We consider the problem of determining the inducibility (maximum possible asymptotic density of induced copies) of oriented graphs on four vertices. We provide exact values for more than half of the graphs, and very close lower and upper bounds for all the remaining ones. It occurs that, for some graphs, the structure of extremal constructions maximizing density of its induced copies is very sophi… ▽ More We consider the problem of determining the inducibility (maximum possible asymptotic density of induced copies) of oriented graphs on four vertices. We provide exact values for more than half of the graphs, and very close lower and upper bounds for all the remaining ones. It occurs that, for some graphs, the structure of extremal constructions maximizing density of its induced copies is very sophisticated and complex. △ Less

Submitted 17 February, 2022; v1 submitted 22 October, 2020; originally announced October 2020.

Comments: Added appendices on usage of updated codes and verification of the certificates

MSC Class: 05C35 (Primary); 05C20 (Secondary)

Exact hyperplane covers for subsets of the hypercube

Authors: James Aaronson, Carla Groenland, Andrzej Grzesik, Tom Johnston, Bartłomiej Kielak

Abstract: Alon and Füredi (1993) showed that the number of hyperplanes required to cover $\{0,1\}^n\setminus \{0\}$ without covering $0$ is $n$. We initiate the study of such exact hyperplane covers of the hypercube for other subsets of the hypercube. In particular, we provide exact solutions for covering $\{0,1\}^n$ while missing up to four points and give asymptotic bounds in the general case. Several int… ▽ More Alon and Füredi (1993) showed that the number of hyperplanes required to cover $\{0,1\}^n\setminus \{0\}$ without covering $0$ is $n$. We initiate the study of such exact hyperplane covers of the hypercube for other subsets of the hypercube. In particular, we provide exact solutions for covering $\{0,1\}^n$ while missing up to four points and give asymptotic bounds in the general case. Several interesting questions are left open. △ Less

Submitted 1 July, 2021; v1 submitted 1 October, 2020; originally announced October 2020.

Comments: Small fixes and updated code

Cycles of a given length in tournaments

Authors: Andrzej Grzesik, Daniel Kral, Laszlo Miklos Lovasz, Jan Volec

Abstract: We study the asymptotic behavior of the maximum number of directed cycles of a given length in a tournament: let $c(\ell)$ be the limit of the ratio of the maximum number of cycles of length $\ell$ in an $n$-vertex tournament and the expected number of cycles of length $\ell$ in the random $n$-vertex tournament, when $n$ tends to infinity. It is well-known that $c(3)=1$ and $c(4)=4/3$. We show tha… ▽ More We study the asymptotic behavior of the maximum number of directed cycles of a given length in a tournament: let $c(\ell)$ be the limit of the ratio of the maximum number of cycles of length $\ell$ in an $n$-vertex tournament and the expected number of cycles of length $\ell$ in the random $n$-vertex tournament, when $n$ tends to infinity. It is well-known that $c(3)=1$ and $c(4)=4/3$. We show that $c(\ell)=1$ if and only if $\ell$ is not divisible by four, which settles a conjecture of Bartley and Day. If $\ell$ is divisible by four, we show that $1+2\cdot\left(2/π\right)^{\ell}\le c(\ell)\le 1+\left(2/π+o(1)\right)^{\ell}$ and determine the value $c(\ell)$ exactly for $\ell = 8$. We also give a full description of the asymptotic structure of tournaments with the maximum number of cycles of length $\ell$ when $\ell$ is not divisible by four or $\ell\in\{4,8\}$. △ Less

Submitted 22 July, 2022; v1 submitted 14 August, 2020; originally announced August 2020.

Comments: One of the programs used to verify the validity of Lemma 17 is available as an ancillary file; its output has also been made available as an ancillary file

Covering minimal separators and potential maximal cliques in $P_t$-free graphs

Authors: Andrzej Grzesik, Tereza Klimošová, Marcin Pilipczuk, Michał Pilipczuk

Abstract: A graph is called $P_t$-free} if it does not contain a $t$-vertex path as an induced subgraph. While $P_4$-free graphs are exactly cographs, the structure of $P_t$-free graphs for $t \geq 5$ remains little understood. On one hand, classic computational problems such as Maximum Weight Independent Set (MWIS) and $3$-Coloring are not known to be NP-hard on $P_t$-free graphs for any fixed $t$. On the… ▽ More A graph is called $P_t$-free} if it does not contain a $t$-vertex path as an induced subgraph. While $P_4$-free graphs are exactly cographs, the structure of $P_t$-free graphs for $t \geq 5$ remains little understood. On one hand, classic computational problems such as Maximum Weight Independent Set (MWIS) and $3$-Coloring are not known to be NP-hard on $P_t$-free graphs for any fixed $t$. On the other hand, despite significant effort, polynomial-time algorithms for MWIS in $P_6$-free graphs~[SODA 2019] and $3$-Coloring in $P_7$-free graphs~[Combinatorica 2018] have been found only recently. In both cases, the algorithms rely on deep structural insights into the considered graph classes. One of the main tools in the algorithms for MWIS in $P_5$-free graphs~[SODA 2014] and in $P_6$-free graphs~[SODA 2019] is the so-called Separator Covering Lemma that asserts that every minimal separator in the graph can be covered by the union of neighborhoods of a constant number of vertices. In this note we show that such a statement generalizes to $P_7$-free graphs and is false in $P_8$-free graphs. We also discuss analogues of such a statement for covering potential maximal cliques with unions of neighborhoods. △ Less

Submitted 27 March, 2020; originally announced March 2020.

How $Not$ to Compute a Fourier Transform

Authors: J. A. Grzesik

Abstract: We revisit the Fourier transform of a Hankel function, of considerable importance in the theory of knife edge diffraction. Our approach is based directly upon the underlying Bessel equation, which admits manipulation into an alternate second order differential equation, one of whose solutions is precisely the desired transform, apart from an $\textit{a priori}$ unknown constant, and a second, unde… ▽ More We revisit the Fourier transform of a Hankel function, of considerable importance in the theory of knife edge diffraction. Our approach is based directly upon the underlying Bessel equation, which admits manipulation into an alternate second order differential equation, one of whose solutions is precisely the desired transform, apart from an $\textit{a priori}$ unknown constant, and a second, undesired solution of logarithmic type. A modest amount of analysis is then required to exhibit that constant as having its proper value, and to purge the logarithmic accompaniment. The intervention of this analysis, which relies upon an interplay of asymptotic and close-in functional behaviors, prompts our somewhat ironic, mildly puckish caveat, our negation $\textit{not}$ in the title. In a concluding section we show that this same transform is still more readily exhibited as an easy byproduct of the inhomogeneous wave equation in two dimensions satisfied by the Green's function $\textit{G}$, itself proportional to a Hankel function. This latter discussion lapses of course into the argot of physicists and, in its r$\hat{\rm{o}}$le of a mere afterthought, makes no claim whatsoever to any originality. △ Less

Submitted 18 December, 2021; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: version iv: a strong statement, between Eqs. (4) and (5), in support of integral/differential operator interchangeability, present in version ii, but inexplicably absent from version iii, has been reinstated; footnotes have been consolidated at paper's end; a disclaimer phrase, soon to be echoed within the text proper, has been adjoined to the final sentence of the abstract; no other changes

Homogeneous and Inhomogeneous Formulations of Nonrelativistic Potential Scattering

Authors: Jan A. Grzesik

Abstract: Advantage is taken of the arbitrariness in energy reference to consider anew integral transcriptions of Schrodinger's equation in the presence of potentials which at infinity acquire constant, nonvanishing values. It is found possible to present for the probability amplitude $ψ$ a linear integral equation which is entirely devoid of explicit reference to the wave function incident from infinity, a… ▽ More Advantage is taken of the arbitrariness in energy reference to consider anew integral transcriptions of Schrodinger's equation in the presence of potentials which at infinity acquire constant, nonvanishing values. It is found possible to present for the probability amplitude $ψ$ a linear integral equation which is entirely devoid of explicit reference to the wave function incident from infinity, and thus differs markedly from the prevailing inhomogeneous formulation. Identity of the homogeneous equation with an inhomogeneous statement which is at the same time available is affirmed in general terms with the aid of the Fourier transformation, and is then still further reinforced by application of both formalisms to the particular example of a spherical potential barrier/well. Identical, closed-form outcomes are gotten in each case for wave function eigenmode expansion coefficients on both scatterer interior and exterior. Admittedly, the solution procedure is far simpler in the inhomogeneous setting, wherein it exhibits the aspect of a direct, leapfrog advance, unburdened by any implicit algebraic entanglement. By contrast, the homogeneous path, of considerably greater length, insists, at each mode index, upon an exterior/interior coefficient entanglement, an entanglement which, happily, is no more severe than that of a non-singular two-by-two linear system. Each such two-by-two linear system reproduces of course the output already gotten under the inhomogeneous route, and is indeed identical to the two-by-two system encountered during the routine procedure wherein continuity is demanded at the barrier/well interface of both $ψ$ and its radial derivative. △ Less

Submitted 5 June, 2020; v1 submitted 30 December, 2019; originally announced January 2020.

Comments: 17 pages, including stand-alone title and stand-alone abstract; v. ii: in v. i, ref. 5, Erwin S. is missing his umlaut "o," a LaTeX fluke compounded by a classic case of proofreading blindness; although a lapse of no substantive importance, bloopers of this sort undermine the credibility of all surrounding material, are thus corrosive, and should be avoided; v. ii reinstates the missing umlaut "o"

Maximal edge colorings of graphs

Authors: Sebastian Babiński, Andrzej Grzesik

Abstract: For a graph $G$ of order $n$ a maximal edge coloring is a proper edge coloring with $χ'(K_n)$ colors such that adding any edge to $G$ in any color makes it improper. Meszka and Tyniec proved that for some values of the number of edges there are no graphs with a maximal edge coloring, while for some other values, they provided constructions of such graphs. However, for many values of the number of… ▽ More For a graph $G$ of order $n$ a maximal edge coloring is a proper edge coloring with $χ'(K_n)$ colors such that adding any edge to $G$ in any color makes it improper. Meszka and Tyniec proved that for some values of the number of edges there are no graphs with a maximal edge coloring, while for some other values, they provided constructions of such graphs. However, for many values of the number of edges determining whether there exists any graph with a maximal edge coloring remained open. We give a complete solution of this problem. △ Less

Submitted 19 December, 2019; originally announced December 2019.

The Maximum Number of Paths of Length Three in a Planar Graph

Authors: Andrzej Grzesik, Ervin Győri, Addisu Paulos, Nika Salia, Casey Tompkins, Oscar Zamora

Abstract: Let $f(n,H)$ denote the maximum number of copies of $H$ possible in an $n$-vertex planar graph. The function $f(n,H)$ has been determined when $H$ is a cycle of length $3$ or $4$ by Hakimi and Schmeichel and when $H$ is a complete bipartite graph with smaller part of size 1 or 2 by Alon and Caro. We determine $f(n,H)$ exactly in the case when $H$ is a path of length 3. Let $f(n,H)$ denote the maximum number of copies of $H$ possible in an $n$-vertex planar graph. The function $f(n,H)$ has been determined when $H$ is a cycle of length $3$ or $4$ by Hakimi and Schmeichel and when $H$ is a complete bipartite graph with smaller part of size 1 or 2 by Alon and Caro. We determine $f(n,H)$ exactly in the case when $H$ is a path of length 3. △ Less

Submitted 11 July, 2021; v1 submitted 30 September, 2019; originally announced September 2019.

Comments: A simpler proof of the main result is now given

Packing and covering directed triangles asymptotically

Authors: Jacob W. Cooper, Andrzej Grzesik, Adam Kabela, Daniel Kral

Abstract: A well-known conjecture of Tuza asserts that if a graph has at most $t$ pairwise edge-disjoint triangles, then it can be made triangle-free by removing at most $2t$ edges. If true, the factor 2 would be best possible. In the directed setting, also asked by Tuza, the analogous statement has recently been proven, however, the factor 2 is not optimal. In this paper, we show that if an $n$-vertex dire… ▽ More A well-known conjecture of Tuza asserts that if a graph has at most $t$ pairwise edge-disjoint triangles, then it can be made triangle-free by removing at most $2t$ edges. If true, the factor 2 would be best possible. In the directed setting, also asked by Tuza, the analogous statement has recently been proven, however, the factor 2 is not optimal. In this paper, we show that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of at most $1.8t+o(n^2)$ arcs that meets all directed triangles. We complement our result by presenting two constructions of large directed graphs with $t\inΩ(n^2)$ whose smallest such set has $1.5t-o(n^2)$ arcs. △ Less

Submitted 15 September, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

The Turán number of blow-ups of trees

Authors: Andrzej Grzesik, Oliver Janzer, Zoltán Lóránt Nagy

Abstract: A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases… ▽ More A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Cycles of length three and four in tournaments

Authors: Timothy F. N. Chan, Andrzej Grzesik, Daniel Kral, Jonathan A. Noel

Abstract: Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments.… ▽ More Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments. We also demonstrate that the family of extremal examples is broader than expected and give its full description for $d\ge 1/16$. △ Less

Submitted 13 September, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Dielectric slab reflection/transmission as a self-consistent radiation phenomenon

Authors: J. A. Grzesik

Abstract: We revisit the electromagnetic problem of wave incidence upon a uniform, dissipative dielectric slab of finite thickness. While this problem is easily solved via interface field continuity, we treat it under the viewpoint of radiative self-consistency, with interior current sources gauged by ohmic/polarization comparisons against those of the exterior medium. Radiative self-consistency yields an i… ▽ More We revisit the electromagnetic problem of wave incidence upon a uniform, dissipative dielectric slab of finite thickness. While this problem is easily solved via interface field continuity, we treat it under the viewpoint of radiative self-consistency, with interior current sources gauged by ohmic/polarization comparisons against those of the exterior medium. Radiative self-consistency yields an integral equation over the slab field giving a fully constructive buildup of the reflected/transmitted contributions, without any need for implicit determination via boundary conditions. Solution steps lead to an exact cancellation of the interior field, and bring in still other contributions of a reference medium variety, required to balance the incoming excitation. Such balancing provides the linear conditions for slab field determination. This two-step solution provides evidence of Ewald-Oseen extinction, even though the analytic framework here differs from the proofs available. We solve the balancing equations by vector manipulation without determinants, and then offer a boundary value confirmation in the special case of perpendicular incidence. In an appendix, we allow the the upper/lower half spaces to differ, the upper serving as reference and remote launch site of the incoming excitation. Effective currents now exist both within the slab and throughout an entire half space, necessitating a provision for cross-talk between slab and the radiating half space. The appendix provides an accelerated presentation of these generalized features, but stops short of an explicit field solution by reason of algebraic inflation. All logical details are however displayed in plain view. The self-consistency program is far more elegant and physically far more satisfying than the prevailing method of scattered fields guessed as to their structure and then fixed by boundary conditions. △ Less

Submitted 23 June, 2018; originally announced July 2018.

Elusive extremal graphs

Authors: Andrzej Grzesik, Daniel Král', László Miklós Lovász

Abstract: We study the uniqueness of optimal solutions to extremal graph theory problems. Lovasz conjectured that every finite feasible set of subgraph density constraints can be extended further by a finite set of density constraints so that the resulting set is satisfied by an asymptotically unique graph. This statement is often referred to as saying that `every extremal graph theory problem has a finitel… ▽ More We study the uniqueness of optimal solutions to extremal graph theory problems. Lovasz conjectured that every finite feasible set of subgraph density constraints can be extended further by a finite set of density constraints so that the resulting set is satisfied by an asymptotically unique graph. This statement is often referred to as saying that `every extremal graph theory problem has a finitely forcible optimum'. We present a counterexample to the conjecture. Our techniques also extend to a more general setting involving other types of constraints. △ Less

Submitted 9 August, 2020; v1 submitted 3 July, 2018; originally announced July 2018.

On the maximum number of odd cycles in graphs without smaller odd cycles

Authors: Andrzej Grzesik, Bartłomiej Kielak

Abstract: We prove that for each odd integer $k \geq 7$, every graph on $n$ vertices without odd cycles of length less than $k$ contains at most $(n/k)^k$ cycles of length $k$. This generalizes the previous results on the maximum number of pentagons in triangle-free graphs, conjectured by Erdős in 1984, and asymptotically determines the generalized Turán number $\mathrm{ex}(n,C_k,C_{k-2})$ for odd $k$. In c… ▽ More We prove that for each odd integer $k \geq 7$, every graph on $n$ vertices without odd cycles of length less than $k$ contains at most $(n/k)^k$ cycles of length $k$. This generalizes the previous results on the maximum number of pentagons in triangle-free graphs, conjectured by Erdős in 1984, and asymptotically determines the generalized Turán number $\mathrm{ex}(n,C_k,C_{k-2})$ for odd $k$. In contrary to the previous results on the pentagon case, our proof is not computer-assisted. △ Less

Submitted 6 September, 2021; v1 submitted 26 June, 2018; originally announced June 2018.

MSC Class: 05C35; 05C38

Budden's Paradox Resolved

Authors: J. A. Grzesik

Abstract: Budden's energy nonconservation paradox is dispelled herein by recognizing that pole approach to the spatial origin from below in the complex plane can be resolved into a real principal value plus $-iπ$ times a Dirac delta, the imaginary coefficient whereof supplies just the right amount of localized dissipation to equilibrate the energy budget precisely, regardless of whether wave incidence be up… ▽ More Budden's energy nonconservation paradox is dispelled herein by recognizing that pole approach to the spatial origin from below in the complex plane can be resolved into a real principal value plus $-iπ$ times a Dirac delta, the imaginary coefficient whereof supplies just the right amount of localized dissipation to equilibrate the energy budget precisely, regardless of whether wave incidence be up or down. Only the reflectionless downward wave incidence remains as a counterintuitive challenge to physical anticipation, but at least a challenge liberated from its former onus of energy nonconservation. △ Less

Submitted 19 September, 2018; v1 submitted 17 December, 2017; originally announced January 2018.

Comments: v_i: Budden's energy nonconservation paradox is dispelled along elementary analytic lines in less than three pages; v_ii: no changes as to analytic content, but several overly florid locutions purged so as not to alarm uptight scientific types; v_iii: no changes as to content, neither analytic nor verbal; format restored to a single-column mode, "Ohmic/Joule energy dissipation" added to key words

Polynomial-time algorithm for Maximum Weight Independent Set on $P_6$-free graphs

Authors: Andrzej Grzesik, Tereza Klimošová, Marcin Pilipczuk, Michał Pilipczuk

Abstract: In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in general, we give a polynomial-time algorithm working on any $P_6$-free graph, that is, a graph that has no path on $6$ vertices as an induced subgraph. This improv… ▽ More In the classic Maximum Weight Independent Set problem we are given a graph $G$ with a nonnegative weight function on vertices, and the goal is to find an independent set in $G$ of maximum possible weight. While the problem is NP-hard in general, we give a polynomial-time algorithm working on any $P_6$-free graph, that is, a graph that has no path on $6$ vertices as an induced subgraph. This improves the polynomial-time algorithm on $P_5$-free graphs of Lokshtanov et al. (SODA 2014), and the quasipolynomial-time algorithm on $P_6$-free graphs of Lokshtanov et al (SODA 2016). The main technical contribution leading to our main result is enumeration of a polynomial-size family $\mathcal{F}$ of vertex subsets with the following property: for every maximal independent set $I$ in the graph, $\mathcal{F}$ contains all maximal cliques of some minimal chordal completion of $G$ that does not add any edge incident to a vertex of $I$. △ Less

Submitted 21 March, 2020; v1 submitted 18 July, 2017; originally announced July 2017.

Wedge Diffraction as an Instance of Radiative Shielding

Authors: J. A. Grzesik

Abstract: The celebrated Sommerfeld wedge diffraction solution is reexamined from a null interior field perspective. Exact surface currents provided by that solution, when considered as disembodied half-plane laminae radiating into an ambient, uniform space both inside and outside the wedge proper, do succeed in reconstituting both a specular, mirror field above the exposed face, and a shielding plane-wave… ▽ More The celebrated Sommerfeld wedge diffraction solution is reexamined from a null interior field perspective. Exact surface currents provided by that solution, when considered as disembodied half-plane laminae radiating into an ambient, uniform space both inside and outside the wedge proper, do succeed in reconstituting both a specular, mirror field above the exposed face, and a shielding plane-wave field of a sign opposite to that of the incoming excitation which, under superposition, creates both the classical, geometric-optics shadow, and a strictly null interior field at the dominant, plane-wave level. Both mirror and shadow radiated fields are controlled by the residue at just one simple pole encountered during a spectral radiative field assembly, fixed in place by incidence direction $φ_{0}$ as measured from the exposed face. The radiated fields further provide diffractive contributions drawn from two saddle points that track observation angle $φ.$ Even these, more or less asymptotic contributions, are found to cancel exactly within the wedge interior, while, on the outside, they recover in its every detail the canonical structure lying at the base of GTD (geometric theory of diffraction). It is earnestly hoped that this revised scattering viewpoint, while leaving intact all details of the existing solution, will impart to it a fresh, physically robust meaning. Moreover, since this viewpoint confirms, admittedly in an extreme limit, the concept of field self-consistency (Ewald-Oseen extinction in more picturesque language), perhaps such explicit vindication may yet encourage efforts to seek exact solutions to scattering/diffraction by electromagnetically permeable (dielectric) wedges, efforts that harness integral equations with polarization/ohmic currents distributed throughout wedge volumes as sources radiating into an ambient, uniform reference medium. △ Less

Submitted 12 July, 2017; v1 submitted 5 October, 2016; originally announced October 2016.

Comments: v_ii: no change in substance, minor slips and verbal infelicities repaired; Sommerfeld p. 4 solution summary made more precise; v_iii: silly typo on left in eq. (39) rectified, minor phrasing improvement in first paragraph of introduction on p. 1; v_iv: logical lapse in footnote 3 repaired, minor typesetting omissions rectified, text lightly pruned, three reference entries added

Densities of 3-vertex graphs

Authors: Roman Glebov, Andrzej Grzesik, ** Hu, Tamas Hubai, Daniel Kral, Jan Volec

Abstract: Let d_i(G) be the density of the 3-vertex i-edge graph in a graph G, i.e., the probability that three random vertices induce a subgraph with i edges. Let S be the set of all quadruples (d_0,d_1,d_2,d_3) that are arbitrary close to 3-vertex graph densities in arbitrary large graphs. Huang, Linial, Naves, Peled and Sudakov have recently determined the projection of the set S to the (d_0,d_3) plane.… ▽ More Let d_i(G) be the density of the 3-vertex i-edge graph in a graph G, i.e., the probability that three random vertices induce a subgraph with i edges. Let S be the set of all quadruples (d_0,d_1,d_2,d_3) that are arbitrary close to 3-vertex graph densities in arbitrary large graphs. Huang, Linial, Naves, Peled and Sudakov have recently determined the projection of the set S to the (d_0,d_3) plane. We determine the projection of the set S to all the remaining planes. △ Less

Submitted 11 April, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: We have recently noticed a miscalculation in the proof of Lemma 7 and are preparing a revision of the manuscript

Radiative Albedo from a Linearly Fibered Half Space

Authors: J. A. Grzesik

Abstract: A growing acceptance of fiber reinforced composite materials imparts some relevance to exploring the effects which a predominantly linear scattering lattice may have upon interior radiant transport. Indeed, a central feature of electromagnetic wave propagation within such a lattice, if sufficiently dilute, is ray confinement to cones whose half-angles are set by that between lattice and the incide… ▽ More A growing acceptance of fiber reinforced composite materials imparts some relevance to exploring the effects which a predominantly linear scattering lattice may have upon interior radiant transport. Indeed, a central feature of electromagnetic wave propagation within such a lattice, if sufficiently dilute, is ray confinement to cones whose half-angles are set by that between lattice and the incident ray. When such propagation is subordinated to a viewpoint of photon transport, one arrives at a somewhat simplified variant of the Boltzmann equation with spherical scattering demoted to its cylindrical counterpart. With a view to initiating a hopefully wider discussion of such phenomena, we follow through in detail the half-space albedo problem. This is done first along canonical lines that harness the Wiener-Hopf technique, and then once more in a discrete ordinates setting via flux decomposition along the eigenbasis of the underlying attenuation/scattering matrix. Good agreement is seen to prevail. We further suggest that the Case singular eigenfunction apparatus could likewise be evolved here in close analogy to its original, spherical scattering model. △ Less

Submitted 24 February, 2018; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: version ii: telephone and e-mail contacts updated; footnote 23 enlarged so as to allay any anxieties regarding computer run times; version iii: stray typos repaired, reference roster augmented with six entries providing a vista on practical methods in radiant transport; version iv: all footnotes gathered into one endnote block

Minimum number of edges that occur in odd cycles

Authors: Andrzej Grzesik, ** Hu, Jan Volec

Abstract: If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor n/2\rfloor+1$, and this bound is tight. They also showed that the minimum number of edges that occur in a $C_{2k+1}$ for $k\ge2$ is at least $11n^2/144-O(n)$, and conjectur… ▽ More If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor n/2\rfloor+1$, and this bound is tight. They also showed that the minimum number of edges that occur in a $C_{2k+1}$ for $k\ge2$ is at least $11n^2/144-O(n)$, and conjectured that for any $k\ge2$, the correct lower bound should be $2n^2/9-O(n)$. Very recently, Füredi and Maleki constructed a counterexample for $k=2$ and proved asymptotically matching lower bound, namely that for any $\varepsilon>0$ graphs with $(1+\varepsilon)n^2/4$ edges contain at least $(2+\sqrt{2})n^2/16 \approx 0.2134n^2$ edges that occur in $C_5$. In this paper, we use a different approach to tackle this problem and obtain the following stronger result: Any $n$-vertex graph with at least $\lfloor n^2/4\rfloor+1$ edges has at least $(2+\sqrt{2})n^2/16-O(n^{15/8})$ edges that occur in $C_5$. Next, for all $k\ge 3$ and $n$ sufficiently large, we determine the exact minimum number of edges that occur in $C_{2k+1}$ for $n$-vertex graphs with more than $n^2/4$ edges, and show it is indeed equal to $\lfloor\frac{n^2}4\rfloor+1-\lfloor\frac{n+4}6\rfloor\lfloor\frac{n+1}6\rfloor=2n^2/9-O(n)$. For both results, we give a structural description of the extremal configurations as well as obtain the corresponding stability results, which answer a conjecture of Füredi and Maleki. The main ingredient is a novel approach that combines the flag algebras together with ideas from finite forcibility of graph limits. This approach allowed us to keep track of the extra edge needed to guarantee an existence of a $C_{2k+1}$. Also, we establish the first application of semidefinite method in a setting, where the set of tight examples has exponential size, and arises from different constructions. △ Less

Submitted 12 August, 2018; v1 submitted 29 May, 2016; originally announced May 2016.

MSC Class: 05C35; 05C38

Optimal-size clique transversals in chordal graphs

Authors: Jacob W. Cooper, Andrzej Grzesik, Daniel Kral

Abstract: The following question was raised by Tuza in 1990 and Erdos et al. in 1992: if every edge of an n-vertex chordal graph G is contained in a clique of size at least four, does G have a clique transversal, i.e., a set of vertices meeting all non-trivial maximal cliques, of size at most n/4? We prove that every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5, which is the best p… ▽ More The following question was raised by Tuza in 1990 and Erdos et al. in 1992: if every edge of an n-vertex chordal graph G is contained in a clique of size at least four, does G have a clique transversal, i.e., a set of vertices meeting all non-trivial maximal cliques, of size at most n/4? We prove that every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5, which is the best possible bound. △ Less

Submitted 3 April, 2018; v1 submitted 20 January, 2016; originally announced January 2016.

The special case I$_3$ of the Kholodenko-Silagadze multiple integral considered anew

Authors: J. A. Grzesik

Abstract: The nested Kholodenko-Silagadze quadrature \[ I_{n} = \int_{-\infty}^{\;\infty}ds_{1}\int_{-\infty}^{\;s_{1}}ds_{2}\int_{-\infty}^{\;s_{2}}ds_{3}\cdots \int_{-\infty}^{\;s_{2n-3}}ds_{2n-2}\int_{-\infty}^{\;s_{2n-2}}ds_{2n-1}\int_{-\infty}^{\;s_{2n-1}}ds_{2n}\cos(s_{1}^{2}-s_{2}^{2})\cos(s_{3}^{2}-s_{4}^{2})\cdots\cos(s_{2n-3}^{2}-s_{2n-2}^{2})\cos(s_{2n-1}^{2}-s_{2n}^{2})= \frac{2}{n!}\left(\fracπ… ▽ More The nested Kholodenko-Silagadze quadrature \[ I_{n} = \int_{-\infty}^{\;\infty}ds_{1}\int_{-\infty}^{\;s_{1}}ds_{2}\int_{-\infty}^{\;s_{2}}ds_{3}\cdots \int_{-\infty}^{\;s_{2n-3}}ds_{2n-2}\int_{-\infty}^{\;s_{2n-2}}ds_{2n-1}\int_{-\infty}^{\;s_{2n-1}}ds_{2n}\cos(s_{1}^{2}-s_{2}^{2})\cos(s_{3}^{2}-s_{4}^{2})\cdots\cos(s_{2n-3}^{2}-s_{2n-2}^{2})\cos(s_{2n-1}^{2}-s_{2n}^{2})= \frac{2}{n!}\left(\fracπ{4}\right)^{n} \;, \] obtained for all integers $n\geq 1$ by an elegant but indirect argument, is tackled anew from a uniform quadrature reduction viewpoint. Along the way, at its first instance of real difficulty when $n=3,$ the recondite quadrature \[ \int_{\,0}^{\;\infty} \frac{\cos(u)}{u} du \int_{\,0}^{\,u} \frac{\sin^{2}(v)}{v}dv + \int_{\,0}^{\;\infty} \frac{\sin(u)}{u} du \int_{\,0}^{\,u} \frac{\sin(v)\cos(v)}{v}dv = \,\frac{π^{2}}{12}\;,\] heretofore presumably unknown, receives an indirect resolution with its indicated value of $π^{2}/12$. △ Less

Submitted 27 October, 2014; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 9 pages total: title, abstract, plus 7 pages of text; external abstract formatting improved; minor typos lifted from text in abstract and on p. 1; Footnote 1 added at the bottom of p. 6; Section 5 amplified somewhat and its numerical estimates slightly revised; minor text glosses elsewhere; mathematics totally unchanged

Contour integration underlies fundamental Bernoulli number recurrence

Authors: J. A. Grzesik

Abstract: One solution to a relatively recent American Mathematical Monthly problem [6], requesting the evaluation of a real definite integral, could be couched in terms of a contour integral which vanishes {\textit{a priori.}} While the required real integral emerged on setting to zero the real part of the contour quadrature, the obligatory, simultaneous vanishing of the imaginary part alluded to still ano… ▽ More One solution to a relatively recent American Mathematical Monthly problem [6], requesting the evaluation of a real definite integral, could be couched in terms of a contour integral which vanishes {\textit{a priori.}} While the required real integral emerged on setting to zero the real part of the contour quadrature, the obligatory, simultaneous vanishing of the imaginary part alluded to still another pair of real integrals forming the first two entries in the infinite log-sine sequence, known in its entirety. It turns out that identical reasoning, utilizing the same contour but a slightly different analytic function thereon, sufficed not only to evaluate that sequence anew, on the basis of a vanishing real part, but also, in setting to zero its conjugate imaginary part, to recover the fundamental Bernoulli number recurrence. The even order Bernoulli numbers $B_{2k}$ entering therein were revealed on the basis of their celebrated connection to Riemann's zeta function $ζ(2k).$ Conversely, by permitting the related Bernoulli polynomials to participate as integrand factors, Euler's connection itself received an independent demonstration, accompanied once more by an elegant log-sine evaluation, alternative to that already given. And, while the Bernoulli recurrence is intended to enjoy here the pride of place, this note ends on a gloss wherein all the motivating real integrals are recovered yet again, and in quite elementary terms, from the Fourier series into which the Taylor development for Log$(1-z)$ blends when its argument $z$ is restricted to the unit circle. △ Less

Submitted 26 January, 2018; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: (version 3) various typesetting gaucheries repaired; (version 4) penultimate paragraph of introduction strengthened (one hopes) by having two sentences appended; (version 5) save for editorial journal markings and the correction of one minor typo, a faithful replica of text published in Real Analysis Exchange, Volume 41, Issue 2, Inroads section, 2016, pp. 351-366 (p. 366 intentionally blank)

Journal ref: Real Analysis Exchange, Volume 41, Issue 2, Inroads section, 2016, pp. 351-366

Interval edge-colorings of K_{1,m,n}

Authors: Andrzej Grzesik, Hrant Khachatrian

Abstract: In this note we prove that K_{1,m,n} is interval edge-colorable if and only if gcd(m+1,n+1)=1. It settles in the affirmative a conjecture of Petrosyan. In this note we prove that K_{1,m,n} is interval edge-colorable if and only if gcd(m+1,n+1)=1. It settles in the affirmative a conjecture of Petrosyan. △ Less

Submitted 20 August, 2013; originally announced August 2013.

Comments: 6 pages, 2 figures. arXiv admin note: text overlap with arXiv:1303.1039 by other authors

MSC Class: 05C15

From directed path to linear order - the best choice problem for powers of directed path

Authors: Andrzej Grzesik, Michał Morayne, Małgorzata Sulkowska

Abstract: We examine the evolution of the best choice algorithm and the probability of its success from a directed path to the linear order of the same cardinality through $k$th powers of a directed path, $1 \leq k < n$. The vertices of a $k$th power of a directed path of a known length $n$ are exposed one by one to a selector in some random order. At any time the selector can see the graph induced by the v… ▽ More We examine the evolution of the best choice algorithm and the probability of its success from a directed path to the linear order of the same cardinality through $k$th powers of a directed path, $1 \leq k < n$. The vertices of a $k$th power of a directed path of a known length $n$ are exposed one by one to a selector in some random order. At any time the selector can see the graph induced by the vertices that have already come. The selector's aim is to choose online the maximal vertex (i.e. the vertex with no outgoing edges). It is shown that the probability of success $p_n$ for the optimal algorithm for the $k$th power of a directed path satisfies $p_n = Θ(n^{-1/(k+1)})$. We also consider the case when the selector knows the distance in the underlying path between each two vertices that are joined by an edge in the induced graph. An optimal algorithm for this choice problem is presented. The exact probability of success when using this algorithm is given. △ Less

Submitted 12 August, 2013; originally announced August 2013.

MSC Class: 60G40

Finitely forcible graphons and permutons

Authors: Roman Glebov, Andrzej Grzesik, Tereza Klimosova, Daniel Kral

Abstract: We investigate when limits of graphs (graphons) and permutations (permutons) are uniquely determined by finitely many densities of their substructures, i.e., when they are finitely forcible. Every permuton can be associated with a graphon through the notion of permutation graphs. We find permutons that are finitely forcible but the associated graphons are not. We also show that all permutons that… ▽ More We investigate when limits of graphs (graphons) and permutations (permutons) are uniquely determined by finitely many densities of their substructures, i.e., when they are finitely forcible. Every permuton can be associated with a graphon through the notion of permutation graphs. We find permutons that are finitely forcible but the associated graphons are not. We also show that all permutons that can be expressed as a finite combination of monotone permutons and quasirandom permutons are finitely forcible, which is the permuton counterpart of the result of Lovasz and Sos for graphons. △ Less

Submitted 21 February, 2016; v1 submitted 9 July, 2013; originally announced July 2013.

Comments: 30 pages, 18 figures

MSC Class: 05A05; 05C50; 05C63; 05C35

Avoider-Enforcer star games

Authors: Andrzej Grzesik, Mirjana Mikalački, Zoltán Lóránt Nagy, Alon Naor, Balázs Patkós, Fiona Skerman

Abstract: In this paper, we study $(1 : b)$ Avoider-Enforcer games played on the edge set of the complete graph on $n$ vertices. For every constant $k\geq 3$ we analyse the $k$-star game, where Avoider tries to avoid claiming $k$ edges incident to the same vertex. We analyse both versions of Avoider-Enforcer games -- the strict and the monotone -- and for each provide explicit winning strategies for both pl… ▽ More In this paper, we study $(1 : b)$ Avoider-Enforcer games played on the edge set of the complete graph on $n$ vertices. For every constant $k\geq 3$ we analyse the $k$-star game, where Avoider tries to avoid claiming $k$ edges incident to the same vertex. We analyse both versions of Avoider-Enforcer games -- the strict and the monotone -- and for each provide explicit winning strategies for both players. We determine the order of magnitude of the threshold biases $f^{mon}_\mathcal{F}$, $f^-_\mathcal{F}$ and $f^+_\mathcal{F}$, where $\mathcal{F}$ is the hypergraph of the game. △ Less

Submitted 30 January, 2015; v1 submitted 11 February, 2013; originally announced February 2013.

MSC Class: 91A24; 05C57

Journal ref: DMTCS 17:1, (2015) 145-160

On the maximum number of five-cycles in a triangle-free graph

Authors: Andrzej Grzesik

Abstract: Using Razborov's flag algebras we show that a triangle-free graph on n vertices contains at most (n/5)^5 cycles of length five. It settles in the affirmative a conjecture of Erdos. Using Razborov's flag algebras we show that a triangle-free graph on n vertices contains at most (n/5)^5 cycles of length five. It settles in the affirmative a conjecture of Erdos. △ Less

Submitted 3 April, 2012; v1 submitted 4 February, 2011; originally announced February 2011.

Comments: After minor revisions; to appear in JCTB

Quasiparticle Dynamics in the Kondo Lattice Model at Half Filling

Authors: Simon Trebst, Hartmut Monien, Axel Grzesik, Manfred Sigrist

Abstract: We study spectral properties of quasiparticles in the Kondo lattice model in one and two dimensions including the coherent quasiparticle dispersions, their spectral weights and the full two-quasiparticle spectrum using a cluster expansion scheme. We investigate the evolution of the quasiparticle band as antiferromagnetic correlations are enhanced towards the RKKY limit of the model. In both the… ▽ More We study spectral properties of quasiparticles in the Kondo lattice model in one and two dimensions including the coherent quasiparticle dispersions, their spectral weights and the full two-quasiparticle spectrum using a cluster expansion scheme. We investigate the evolution of the quasiparticle band as antiferromagnetic correlations are enhanced towards the RKKY limit of the model. In both the 1D and the 2D model we find that a repulsive interaction between quasiparticles results in a distinct antibound state above the two-quasiparticle continuum. The repulsive interaction is correlated with the emerging antiferromagnetic correlations and can therefore be associated with spin fluctuations. On the square lattice, the antibound state has an extended s-wave symmetry. △ Less

Submitted 16 November, 2005; originally announced November 2005.

Comments: 8 pages, 11 figures

Journal ref: Phys. Rev. B 73, 165101 (2006).

The ALPS project: open source software for strongly correlated systems

Authors: F. Alet, P. Dayal, A. Grzesik, A. Honecker, M. Koerner, A. Laeuchli, S. R. Manmana, I. P. McCulloch, F. Michel, R. M. Noack, G. Schmid, U. Schollwoeck, F. Stoeckli, S. Todo, S. Trebst, M. Troyer, P. Werner, S. Wessel

Abstract: We present the ALPS (Algorithms and Libraries for Physics Simulations) project, an international open source software project to develop libraries and application programs for the simulation of strongly correlated quantum lattice models such as quantum magnets, lattice bosons, and strongly correlated fermion systems. Development is centered on common XML and binary data formats, on libraries to… ▽ More We present the ALPS (Algorithms and Libraries for Physics Simulations) project, an international open source software project to develop libraries and application programs for the simulation of strongly correlated quantum lattice models such as quantum magnets, lattice bosons, and strongly correlated fermion systems. Development is centered on common XML and binary data formats, on libraries to simplify and speed up code development, and on full-featured simulation programs. The programs enable non-experts to start carrying out numerical simulations by providing basic implementations of the important algorithms for quantum lattice models: classical and quantum Monte Carlo (QMC) using non-local updates, extended ensemble simulations, exact and full diagonalization (ED), as well as the density matrix renormalization group (DMRG). The software is available from our web server at http://alps.comp-phys.org. △ Less

Submitted 15 October, 2004; originally announced October 2004.

Comments: For full software and introductory turorials see http://alps.comp-phys.org

Journal ref: J. Phys. Soc. Jpn. Suppl. 74, 30 (2005)