-
Local search and trajectory metaheuristics for the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect
Authors:
Kennedy A. G. Araújo,
Ernesto G. Birgin,
Débora P. Ronconi
Abstract:
The flexible job shop scheduling problem with sequencing flexibility and position-based learning effect is considered in the present work. In [K. A. G. Araujo, E. G. Birgin, and D. P. Ronconi, Technical Report MCDO02022024, 2024], models, constructive heuristics, and benchmark instances for the same problem were introduced. In the present work, we are concerned with the development of effective an…
▽ More
The flexible job shop scheduling problem with sequencing flexibility and position-based learning effect is considered in the present work. In [K. A. G. Araujo, E. G. Birgin, and D. P. Ronconi, Technical Report MCDO02022024, 2024], models, constructive heuristics, and benchmark instances for the same problem were introduced. In the present work, we are concerned with the development of effective and efficient methods for its resolution. For this purpose, a local search method and four trajectory metaheuristics are considered. In the local search, we show that the classical strategy of only reallocating operations that are part of the critical path can miss better quality neighbors, as opposed to what happens in the case where there is no learning effect. Consequently, we analyze an alternative type of neighborhood reduction that eliminates only neighbors that are not better than the current solution. In addition, we also suggest a neighborhood cut and experimentally verify that this significantly reduces the neighborhood size, bringing efficiency, with minimal loss in effectiveness. Extensive numerical experiments with the local search and the metaheuristics are carried on. The experiments show that tabu search, built on the reduced neighborhood, when applied to large-sized instances, stands out in relation to other the other three metaheuristics, namely, iterated local search, greedy randomized adaptive search procedure, and simulating annealing. Experiments with classical instances without sequencing flexibility show that the introduced methods also stand out in relation to methods from the literature. All the methods introduced, as well as the instances and solutions found, are freely available. As a whole, we build a test suite that can be used in future work.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Models, constructive heuristics, and benchmark instances for the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect
Authors:
Kennedy A. G. Araújo,
Ernesto G. Birgin,
Débora P. Ronconi
Abstract:
This paper addresses the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect. In this variant of the flexible job shop scheduling problem, precedence constraints of the operations constituting a job are given by an arbitrary directed acyclic graph, in opposition to the classical case in which a total order is imposed. Additionally, it is assumed that…
▽ More
This paper addresses the flexible job shop scheduling problem with sequencing flexibility and position-based learning effect. In this variant of the flexible job shop scheduling problem, precedence constraints of the operations constituting a job are given by an arbitrary directed acyclic graph, in opposition to the classical case in which a total order is imposed. Additionally, it is assumed that the processing time of an operation in a machine is subject to a learning process such that the larger the position of the operation in the machine, the faster the operation is processed. Mixed integer programming and constraint programming models are presented and compared in the present work. In addition, constructive heuristics are introduced to provide an initial solution to the models' solvers. Sets of benchmark instances are also introduced. The problem considered corresponds to modern problems of great relevance in the printing industry. The models and instances presented are intended to support the development of new heuristic and metaheuristics methods for this problem.
△ Less
Submitted 25 March, 2024;
originally announced March 2024.
-
Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
Authors:
Bruno Gavranović,
Paul Lessard,
Andrew Dudzik,
Tamara von Glehn,
João G. M. Araújo,
Petar Veličković
Abstract:
We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory -- precisely, the univers…
▽ More
We present our position on the elusive quest for a general-purpose framework for specifying and studying deep learning architectures. Our opinion is that the key attempts made so far lack a coherent bridge between specifying constraints which models must satisfy and specifying their implementations. Focusing on building a such a bridge, we propose to apply category theory -- precisely, the universal algebra of monads valued in a 2-category of parametric maps -- as a single theory elegantly subsuming both of these flavours of neural network design. To defend our position, we show how this theory recovers constraints induced by geometric deep learning, as well as implementations of many architectures drawn from the diverse landscape of neural networks, such as RNNs. We also illustrate how the theory naturally encodes many standard constructs in computer science and automata theory.
△ Less
Submitted 5 June, 2024; v1 submitted 23 February, 2024;
originally announced February 2024.
-
A note on girth-diameter cages
Authors:
Gabriela Araujo-Pardo,
Marston Conder,
Natalia García-Colín,
György Kiss,
Dimitri Leemans
Abstract:
In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus…
▽ More
In this paper, we introduce a problem closely related to the Cage Problem and the Degree Diameter Problem. For integers $k\geq 2$, $g\geq 3$ and $d\geq 1$, we define a $(k;\, g,d)$-graph to be a $k$-regular graph with girth $g$ and diameter $d$. We denote by $n_0(k;\,g,d)$ the smallest possible order of such a graph, and, if such a graph exists, we call it a $(k;g,d)$-cage. In particular, we focus on $(k;\,5,4)$-graphs. We show that $n_0(k;\,5,4) \geq k^2+k+2$ for all $k$, and report on the determination of all $(k;\,5,4)$-cages for $k=3, 4$ and $5$ and examples with $k = 6$, and describe some examples of $(k;\,5,4)$-graphs which prove that $n_0(k;\,5,4) \leq 2k^2$ for infinitely many values of $k$.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
On extremal (almost) edge-girth-regular graphs
Authors:
Gabriela Araujo-Pardo,
György Kiss,
István Porupsánszki
Abstract:
A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of eg…
▽ More
A $k$-regular graph of girth $g$ is called edge-girth-regular graph, shortly egr-graph, if each of its edges is contained in exactly $λ$ distinct $g-$cycles. An egr-graph is called extremal for the triple $(k, g, λ)$ if has the smallest possible order. We prove that some graphs arising from incidence graphs of finite planes are extremal egr-graphs. We also prove new lower bounds on the order of egr-graphs.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
On the set of functions that vanish at infinity and have a unique maximum
Authors:
Anderson Barbosa,
Gustavo Araújo
Abstract:
In this paper, we show that the set of continuous functions defined on $\mathbb{R}^n$ that approach zero at infinity and attain their maximum at precisely one (and only one) point is $n$-lineable but not $(n+2)$-lineable. This result complements some recent published works on an open question originally posed by Vladimir I. Gurariy (1935--2005) in 2003.
In this paper, we show that the set of continuous functions defined on $\mathbb{R}^n$ that approach zero at infinity and attain their maximum at precisely one (and only one) point is $n$-lineable but not $(n+2)$-lineable. This result complements some recent published works on an open question originally posed by Vladimir I. Gurariy (1935--2005) in 2003.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
A little more about bipartite biregular cages, block designs, and generalized polygons
Authors:
Gabriela Araujo-Pardo,
György Kiss,
Tamás Szönyi
Abstract:
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and su…
▽ More
In this paper, we obtain new lower and upper bounds for the problem of bipartite biregular cages. Moreover, for girth $6$, we give the exact parameters of the $(m,n;6)$-bipartite biregular cages when $n\equiv -1$ $\pmod m$ using the existence of Steiner System system $S(2,k=m,v=1+n(m-1)+m)$.
For girth $g=2r$ and $r=\{4,6,8\}$, we use results on $t$-good structures given by ovoids, spreads and sub-polygons in generalized polygons to obtain $(m,n;2r)$-bipartite biregular graphs. We emphasize that, as we improve the lower bounds on the order of these graphs, we also prove that some of them are $(m,n;2r)$-bipartite biregular cages.
In particular, we construct relatively small bipartite biregular graphs from a special class of generalized quadrangles and hexagons. In a special case, we show that the graph obtained is actually a $(3,4;8)$-bipartite biregular cage on $56$ vertices.
△ Less
Submitted 18 October, 2023;
originally announced October 2023.
-
Stability and Regularity for Double Wall Carbon Nanotubes Modeled as Timoshenko Beams with Thermoelastic Effects and Intermediate Damping
Authors:
Fredy M. Sobrado Suárez,
Lesly D. Barbosa Sobrado,
Gabriel L. Lacerda de Araujo,
Filomena B. Rodrigues Mendes
Abstract:
This research studies two systems composed by the Timoshenko beam model for double wall carbon nanotubes, coupled with the heat equation governed by Fourier's law. For the first system, the coupling is given by the speed the rotation of the vertical filament in the beam $βψ_t$ from the first beam of Tymoshenko and the Laplacian of temperature $δθ_{xx}$, where we also consider the damping terms fra…
▽ More
This research studies two systems composed by the Timoshenko beam model for double wall carbon nanotubes, coupled with the heat equation governed by Fourier's law. For the first system, the coupling is given by the speed the rotation of the vertical filament in the beam $βψ_t$ from the first beam of Tymoshenko and the Laplacian of temperature $δθ_{xx}$, where we also consider the damping terms fractionals $γ_1(-\partial_{xx})^{τ_1}φ_t$, $γ_2(-\partial_{xx})^{τ_2} y_t$ and $γ_3(-\partial_{xx})^{τ_3} z_t$, where $(τ_1, τ_2, τ_3) \in [0,1]^3$. For this first system we proved that the semigroup $S_1(t)$ associated to system decays exponentially for all $(τ_1 , τ_2 , τ_3 ) \in [0,1]^3$. The second system also has three fractional damping $γ_1(-\partial_{xx})^{β_1}φ_t$, $γ_2(-\partial_{xx})^{β_2} y_t$ and $γ_3(-\partial_{xx})^{β_3} z_t$, with $(β_1, β_2, β_3) \in [0,1]^3$. Furthermore, the couplings between the heat equation and the Timoshenko beams of the double wall carbon nanotubes for the second system is given by the Laplacian of the rotation speed of the vertical filament in the beam $βψ_{xxt}$ of the first beam of Timoshenko and the Lapacian of the temperature $δθ_{xx}$. For the second system, we prove the exponential decay of $S_2(t)$ for $(β_1, β_2, β_3) \in [0,1]^3$ and also show that $S_2(t)$ admits Gevrey classes $s>(φ+1)/(2φ)$ for $φ=\min\{β_1,β_2,β_3\}, \forall (β_1,β_2,β_3)\in (0,1)^3$, and proving that $S_2(t)$ is analytic when the parameters $(β_1, β_2, β_3) \in [1/2,1]^3$. One of the motivations for this research was the work; Ramos et al. \cite{Ramos2023CNTs}, whose partial results are part of our results obtained for the first system for $(τ_1, τ_2, τ_3) = (0, 0, 0)$.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
Complements of unions: insights on spaceability and applications
Authors:
Gustavo Araújo,
Anderson Barbosa,
Anselmo Raposo Jr.,
Geivison Ribeiro
Abstract:
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the results of Kitson and Timoney in [J. Math. Anal. Appl. \textbf{378} (2011), 680-686]. This criterion extends and recovers some classical results in this theory. The…
▽ More
This paper presents two general criteria to determine spaceability results in the complements of unions of subspaces. The first criterion applies to countable unions of subspaces under specific conditions and is closely related to the results of Kitson and Timoney in [J. Math. Anal. Appl. \textbf{378} (2011), 680-686]. This criterion extends and recovers some classical results in this theory. The second criterion establishes sufficient conditions for the complement of a union of Lebesgue spaces to be $\left(α,β\right)$-spaceable, or not, even when they are not locally convex. We use this result to characterize the measurable subsets having positive measure. Armed with these results, we have improved existing results in environments such as: Lebesgue measurable function sets, spaces of continuous functions, sequence spaces, nowhere Hölder function sets, Sobolev spaces, non-absolutely summing operator spaces, and even sets of functions of bounded variation.
△ Less
Submitted 14 November, 2024; v1 submitted 2 June, 2023;
originally announced June 2023.
-
Semicubic cages and small graphs of even girth from voltage graphs
Authors:
Flor Aguilar,
Gabriela Araujo-Pardo,
Leah Bermann
Abstract:
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$).…
▽ More
An \emph{$(3,m;g)$ semicubic graph} is a graph in which all vertices have degrees either $3$ or $m$ and fixed girth $g$. In this paper, we construct families of semicubic graphs of even girth and small order using two different techniques. The first technique generalizes a previous construction which glues cubic cages of girth $g$ together at remote vertices (vertices at distance at least $g/2$). The second technique, the main content of this paper, produces bipartite semicubic $(3,m; g)$-graphs with fixed even girth $g = 4t$ or $4t+2$ using voltage graphs over $\mathbb{Z}_{m}$. When $g = 4t+2$, the graphs have two vertices of degree $m$, while when $g = 4t$ they have exactly three vertices of degree $m$ (the remaining vertices are of degree $3$ in both cases). Specifically, we describe infinite families of semicubic graphs $(3,m; g)$ for $g = \{6, 8, 10, 12\}$ for infinitely many values of $m$. The cases $g = \{6,8\}$ include the unique $6$-cage and the unique $8$-cage when $m = 3$.
The families obtained in this paper for girth $g=\{10,12\}$ include examples with the best known bounds for semicubic graphs $(3,m; g)$
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Global solvability and cohomology of tube structures on compact manifolds
Authors:
Gabriel Araújo,
Igor A. Ferra,
Max R. Jahnke,
Luis F. Ragognette
Abstract:
We introduce new techniques to study the differential complexes associated to tube structures on $M \times \mathbb{T}^m$ of corank $m$, in which $M$ is a compact manifold and $\mathbb{T}^m$ is the $m$-torus. By systematically employing partial Fourier series, for complex tube structures, we completely characterize global solvability, in a given degree, in terms of a weak form of hypoellipticity, t…
▽ More
We introduce new techniques to study the differential complexes associated to tube structures on $M \times \mathbb{T}^m$ of corank $m$, in which $M$ is a compact manifold and $\mathbb{T}^m$ is the $m$-torus. By systematically employing partial Fourier series, for complex tube structures, we completely characterize global solvability, in a given degree, in terms of a weak form of hypoellipticity, thus generalizing existing results and providing a broad answer to an open problem proposed by Hounie and Zugliani (2017). We also obtain new results on the finiteness of the cohomology spaces in intermediate degrees. In the case of real tube structures, we extend an isomorphism for the cohomology spaces originally obtained by Dattori da Silva and Meziani (2016) in the case $M = \mathbb{T}^n$. Moreover, we establish necessary and sufficient conditions for the differential operator to have closed range in the first degree.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
On the spaceability of the set of functions in the Lebesgue space $L_p$ which are in no other $L_q$
Authors:
Gustavo Araújo,
Anderson Barbosa,
Anselmo Raposo Jr.,
Geivison Ribeiro
Abstract:
In this note we prove that, for $p>0$, $L_{p}[0,1]\smallsetminus\bigcup_{q\in(p,\infty)}L_{q}[0,1]$ is $(α,\mathfrak{c})$-spaceable if, and only if, $α<\aleph_{0}$. Such a problem first appears in [V. Fávaro, D. Pellegrino, D. Tomaz, Bull. Braz. Math. Soc. \textbf{51} (2020) 27-46], where the authors get the $(1,\mathfrak{c})$-spaceability of…
▽ More
In this note we prove that, for $p>0$, $L_{p}[0,1]\smallsetminus\bigcup_{q\in(p,\infty)}L_{q}[0,1]$ is $(α,\mathfrak{c})$-spaceable if, and only if, $α<\aleph_{0}$. Such a problem first appears in [V. Fávaro, D. Pellegrino, D. Tomaz, Bull. Braz. Math. Soc. \textbf{51} (2020) 27-46], where the authors get the $(1,\mathfrak{c})$-spaceability of $L_{p}[0,1]\smallsetminus\bigcup_{q\in(p,\infty)}L_{q}[0,1]$ for $p>0$. The definitive answer to this problem continued to be sought by other authors, and some partial answers were obtained. The veracity of this result was expected, as a similar result is known for sequence spaces.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
On the existence of $(r,g,χ)$-cages
Authors:
Gabriela Araujo-Pardo,
Zhanar Berikkyzy,
Linda Lesniak
Abstract:
In this paper, we work with simple and finite graphs. We study a generalization of the \emph{Cage Problem}, which has been widely studied since cages were introduced by Tutte \cite{T47} in 1947 and after Erd\" os and Sachs \cite{ES63} proved their existence in 1963. An \emph{$(r,g)$-graph} is an $r$-regular graph in which the shortest cycle has length equal to $g$; that is, it is an $r$-regular gr…
▽ More
In this paper, we work with simple and finite graphs. We study a generalization of the \emph{Cage Problem}, which has been widely studied since cages were introduced by Tutte \cite{T47} in 1947 and after Erd\" os and Sachs \cite{ES63} proved their existence in 1963. An \emph{$(r,g)$-graph} is an $r$-regular graph in which the shortest cycle has length equal to $g$; that is, it is an $r$-regular graph with girth $g$. An \emph{$(r,g)$-cage} is an $(r,g)$-graph with the smallest possible number of vertices among all $(r,g)$-graphs; the order of an $(r,g)$-cage is denoted by $n(r,g)$. The Cage Problem consists of finding $(r,g)$-cages; it is well-known that $(r,g)$-cages have been determined only for very limited sets of parameter pairs $(r, g)$. There exists a simple lower bound for $n(r,g)$, given by Moore and denoted by $n_0(r,g)$. The cages that attain this bound are called \emph{Moore cages}.
△ Less
Submitted 7 April, 2023;
originally announced April 2023.
-
A general lineability criterion for complements of vector spaces
Authors:
Gustavo Araújo,
Anderson Barbosa
Abstract:
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is an infinite-dimensional linear subspace of Weierstrass functions. This was the first example of \textit{lineability}. Over the last decade, this topic has attra…
▽ More
In 1931, Banach proved that, far from being exceptional objects, the Weierstrass functions form a residual set in the space $\mathcal{C}[0,1]$ of continuous functions. Later on, in 1966, V. I. Gurariy showed that, except for zero, there is an infinite-dimensional linear subspace of Weierstrass functions. This was the first example of \textit{lineability}. Over the last decade, this topic has attracted the continuous attention of the mathematical community, with a steady stream of papers being published, many of them in highly ranked mathematical journals. Several lineability criteria are known and applied to specific topological vector spaces. To paraphrase L. Bernal-González and M. O. Cabrera in [J. Funct. Anal. \textbf{266} (2014), 3997-4025], ``sometimes, such criteria furnish unified proofs of a number of scattered results in the related literature''. In this article, we provide a general lineability criterion in the context of complements of vector spaces.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Parametric Resonance of a charged pendulum with suspension point oscillating between two vertical charged lines
Authors:
A. C. Carvalho,
H. E. Cabral,
G. C. Araujo
Abstract:
In this work, we study a mathematical planar pendulum whose support point is positioned equidistant between two vertical and uniformly electrically charged wires. Its bob carries an electric charge and, its support point oscillates vertically, following a harmonic law of motion. We study the dynamics of such phenomenon and the parametric resonances of the equilibria. Moreover, we obtain the surfac…
▽ More
In this work, we study a mathematical planar pendulum whose support point is positioned equidistant between two vertical and uniformly electrically charged wires. Its bob carries an electric charge and, its support point oscillates vertically, following a harmonic law of motion. We study the dynamics of such phenomenon and the parametric resonances of the equilibria. Moreover, we obtain the surface in the parameter space (since such system presents three parameters) which separates the region of stability from the region of instability. On the particular case of zero charge, we obtain the boundary curves of the stability/instability of Matheiu equation.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
Global analytic hypoellipticity and solvability of certain operators subject to group actions
Authors:
Gabriel Araújo,
Igor A. Ferra,
Luis F. Ragognette
Abstract:
On $T \times G$, where $T$ is a compact real-analytic manifold and $G$ is a compact Lie group, we consider differential operators $P$ which are invariant by left translations on $G$ and are elliptic in $T$. Under a mild technical condition, we prove that global hypoellipticity of $P$ implies its global analytic-hypoellipticity (actually Gevrey of any order $s \geq 1$). We also study the connection…
▽ More
On $T \times G$, where $T$ is a compact real-analytic manifold and $G$ is a compact Lie group, we consider differential operators $P$ which are invariant by left translations on $G$ and are elliptic in $T$. Under a mild technical condition, we prove that global hypoellipticity of $P$ implies its global analytic-hypoellipticity (actually Gevrey of any order $s \geq 1$). We also study the connection between the latter property and the notion of global analytic (resp. Gevrey) solvability, but in a much more general setup.
△ Less
Submitted 13 November, 2021;
originally announced November 2021.
-
Edge-girth-regular graphs arising from biaffine planes and Suzuki groups
Authors:
Araujo-Pardo Gabriela,
Leemans Dimitri
Abstract:
An edge-girth-regular graph $egr(v,k,g,λ)$, is a $k$-regular graph of order $v$, girth $g$ and with the property that each of its edges is contained in exactly $λ$ distinct $g$-cycles. An $egr(v,k,g,λ)$ is called extremal for the triple $(k,g,λ)$ if $v$ is the smallest order of any $egr(v,k,g,λ)$.
In this paper, we introduce two families of edge-girth-regular graphs. The first one is a family of…
▽ More
An edge-girth-regular graph $egr(v,k,g,λ)$, is a $k$-regular graph of order $v$, girth $g$ and with the property that each of its edges is contained in exactly $λ$ distinct $g$-cycles. An $egr(v,k,g,λ)$ is called extremal for the triple $(k,g,λ)$ if $v$ is the smallest order of any $egr(v,k,g,λ)$.
In this paper, we introduce two families of edge-girth-regular graphs. The first one is a family of extremal $egr(2q^2,q,6,(q-1)^2(q-2))$ for any prime power $q\geq 3$ and, the second one is a family of $egr(q(q^2+1),q,5,λ)$ for $λ\geq q-1$ and $q\geq 8$ an odd power of $2$. In particular, if $q=8$ we have that $λ=q-1$.
△ Less
Submitted 14 August, 2021;
originally announced August 2021.
-
Relax-and-fix heuristics applied to a real-world lot-sizing and scheduling problem in the personal care consumer goods industry
Authors:
K. A. G. Araujo,
E. G. Birgin,
M. S. Kawamura,
D. P. Ronconi
Abstract:
This paper addresses an integrated lot-sizing and scheduling problem in the industry of consumer goods for personal care, a very competitive market in which the good customer service level and the cost management show up in the competition for the clients. In this research, a complex operational environment composed of unrelated parallel machines with limited production capacity and sequence-depen…
▽ More
This paper addresses an integrated lot-sizing and scheduling problem in the industry of consumer goods for personal care, a very competitive market in which the good customer service level and the cost management show up in the competition for the clients. In this research, a complex operational environment composed of unrelated parallel machines with limited production capacity and sequence-dependent setup times and costs is studied. There is also a limited finished-goods storage capacity, a characteristic not found in the literature. Backordering is allowed but it is extremely undesirable. The problem is described through a mixed integer linear programming formulation. Since the problem is NP-hard, relax-and-fix heuristics with hybrid partitioning strategies are investigated. Computational experiments with randomly generated and also with real-world instances are presented. The results show the efficacy and efficiency of the proposed approaches. Compared to current solutions used by the company, the best proposed strategies yield results with substantially lower costs, primarily from the reduction in inventory levels and better allocation of production batches on the machines.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Circumcentering approximate reflections for solving the convex feasibility problem
Authors:
Guilherme Araújo,
Reza Arefidamghani,
Roger Behling,
Yunier Bello-Cruz,
Alfredo Iusem,
Luiz-Rafael Santos
Abstract:
The circumcentered-reflection method (CRM) has been applied for solving convex feasibility problems. CRM iterates by computing a circumcenter upon a composition of reflections with respect to convex sets. Since reflections are based on exact projections, their computation might be costly. In this regard, we introduce the circumcentered approximate-reflection method (CARM), whose reflections rely o…
▽ More
The circumcentered-reflection method (CRM) has been applied for solving convex feasibility problems. CRM iterates by computing a circumcenter upon a composition of reflections with respect to convex sets. Since reflections are based on exact projections, their computation might be costly. In this regard, we introduce the circumcentered approximate-reflection method (CARM), whose reflections rely on outer-approximate projections. The appeal of CARM is that, in rather general situations, the approximate projections we employ are available under low computational cost. We derive convergence of CARM and linear convergence under an error bound condition. We also present successful theoretical and numerical comparisons of CARM to the original CRM, to the classical method of alternating projections (MAP) and to a correspondent outer-approximate version of MAP, referred to as MAAP. Along with our results and numerical experiments, we present a couple of illustrative examples.
△ Less
Submitted 15 November, 2021; v1 submitted 2 May, 2021;
originally announced May 2021.
-
Achromatic arboricity on complete graphs
Authors:
Gabriela Araujo-Pardo,
Christian Rubio-Montiel
Abstract:
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes c…
▽ More
In this paper we study the {\it {achromatic arboricity}} of the complete graph. This parameter arises from the arboricity of a graph as the achromatic index arises from the chromatic index. The achromatic arboricity of a graph $G$, denoted by $A_α(G)$, is the maximum number of colors that can be used to color the edges of $G$ such that every color class induces a forest but any two color classes contain a cycle. In particular, if $G$ is a complete graph we prove that \[\frac{1}{4}n^{\frac{3}{2}}-Θ(n) \leq A_α(G)\leq \frac{1}{\sqrt{2}}n^{\frac{3}{2}}-Θ(n).\]
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
The digrundy number of digraphs
Authors:
Gabriela Araujo-Pardo,
Juan José Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digru…
▽ More
We extend the Grundy number and the ochromatic number, parameters on graph colorings, to digraph colorings, we call them {\emph{digrundy number}} and {\emph{diochromatic number}}, respectively. First, we prove that for every digraph the diochromatic number equals the digrundy number (as it happen for graphs). Then, we prove the interpolation property and the Nordhaus-Gaddum relations for the digrundy number, and improve the Nordhaus-Gaddum relations for the dichromatic and diachromatic numbers bounded previously by the authors in [Electron. J. Combin. 25 (2018) no. 3, Paper {\#} 3.51, 17 pp.]
△ Less
Submitted 22 March, 2021;
originally announced March 2021.
-
Bipartite biregular Moore graphs
Authors:
Gabriela Araujo-Pardo,
Cristina Dalfó,
Miguel Ángel Fiol,
Nacho López
Abstract:
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diamete…
▽ More
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diameter $d$ and large number of vertices $N(r_1,r_2;d)$, together with their spectra. In some cases of diameters $d=3$, $4$, and $5$, the new graphs attaining the Moore bound are unique up to isomorphism.
△ Less
Submitted 21 March, 2021;
originally announced March 2021.
-
Global solvability and propagation of regularity of sums of squares on compact manifolds
Authors:
Gabriel Araújo,
Igor A. Ferra,
Luis F. Ragognette
Abstract:
We investigate global solvability, in the framework of smooth functions and Schwartz distributions, of certain sums of squares of vector fields defined on a product of compact Riemannian manifolds $T \times G$, where $G$ is further assumed to be a Lie group. As in a recent article due to the authors, our analysis is carried out in terms of a system of left-invariant vector fields on $G$ naturally…
▽ More
We investigate global solvability, in the framework of smooth functions and Schwartz distributions, of certain sums of squares of vector fields defined on a product of compact Riemannian manifolds $T \times G$, where $G$ is further assumed to be a Lie group. As in a recent article due to the authors, our analysis is carried out in terms of a system of left-invariant vector fields on $G$ naturally associated with the operator under study, a simpler object which nevertheless conveys enough information about the original operator so as to fully encode its solvability. As a welcome side effect of the tools developed for our main purpose, we easily prove a general result on propagation of regularity for such operators.
△ Less
Submitted 24 October, 2020; v1 submitted 11 October, 2020;
originally announced October 2020.
-
Global hypoellipticity of sums of squares on compact manifolds
Authors:
Gabriel Araújo,
Igor A. Ferra,
Luis F. Ragognette
Abstract:
In this work, we present necessary and sufficient conditions for an operator of the type sum of squares to be globally hypoelliptic on a product of compact Riemannian manifolds $T \times G$, where $G$ is also a Lie group. These new conditions involve the global hypoellipticity of a system of vector fields and are weaker than Hörmander's condition, at the same time that they generalize the well kno…
▽ More
In this work, we present necessary and sufficient conditions for an operator of the type sum of squares to be globally hypoelliptic on a product of compact Riemannian manifolds $T \times G$, where $G$ is also a Lie group. These new conditions involve the global hypoellipticity of a system of vector fields and are weaker than Hörmander's condition, at the same time that they generalize the well known Diophantine conditions on the torus. We were also able to provide examples of operators satisfying these conditions in the general setting.
△ Less
Submitted 9 May, 2020;
originally announced May 2020.
-
On new record graphs close to bipartite Moore graphs
Authors:
Gabriela Araujo-Pardo,
Nacho López
Abstract:
The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter…
▽ More
The modelling of interconnection networks by graphs motivated the study of several extremal problems that involve well known parameters of a graph (degree, diameter, girth and order) and ask for the optimal value of one of them while holding the other two fixed. Here we focus in {\em bipartite Moore graphs\/}, that is, bipartite graphs attaining the optimum order, fixed either the degree/diameter or degree/girth. The fact that there are very few bipartite Moore graphs suggests the relaxation of some of the constraints implied by the bipartite Moore bound. First we deal with {\em local bipartite Moore graphs}. We find in some cases those local bipartite Moore graphs with local girths as close as possible to the local girths given by a bipartite Moore graph. Second, we construct a family of $(q+2)$-bipartite graphs of order $2(q^2+q+5)$ and diameter $3$, for $q$ a power of prime. These graphs attain the record value for $q=9$ and improve the values for $q=11$ and $q=13$.
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
Achromatic number, achromatic index and diachromatic number of circulant graphs and digraphs
Authors:
Gabriela Araujo-Pardo,
Juan Jos{\' e} Montellano-Ballesteros,
Mika Olsen,
Christian Rubio-Montiel
Abstract:
In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $α(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general…
▽ More
In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that $α(C_{16q^2+20q+7}(1,2))=8q+5$, and for the diachromatic number we state that $dac(\overrightarrow{C}_{32q^2+24q+5}(1,2))=8q+3$. In general, we give the lower bounds $α(C_{4q^2+aq+1}(1,a))\geq 4q+1$ and $dac(\overrightarrow{C}_{8q^2+2(a+4)q+a+3}(1,a))\geq 4q+3$ when $a$ is a non quadratic residue of $\mathbb{Z}_{4q+1}$ for graphs and $\mathbb{Z}_{4q+3}$ for digraphs, and the equality is attained, in both cases, for $a=3$. Finally, we determine the achromatic index for circulant graphs of $q^2+q+1$ vertices when the projective cyclic plane of odd order $q$ exists.
△ Less
Submitted 20 December, 2019;
originally announced December 2019.
-
Computing cohomology spaces of left-invariant involutive structures on $\mathrm{SU}(2)$: examples
Authors:
Gabriel Araújo
Abstract:
In these notes we study left-invariant involutive structures on $\mathrm{SU}(2)$, the most naïve non-commutative compact Lie group. We determine closedness of the range (in the smooth topology) of a single complex vector field spanning the standard CR structure of $\mathrm{SU}(2)$ and also compute the smooth cohomology spaces of a corank $1$ structure. In our approach, it is fundamental to underst…
▽ More
In these notes we study left-invariant involutive structures on $\mathrm{SU}(2)$, the most naïve non-commutative compact Lie group. We determine closedness of the range (in the smooth topology) of a single complex vector field spanning the standard CR structure of $\mathrm{SU}(2)$ and also compute the smooth cohomology spaces of a corank $1$ structure. In our approach, it is fundamental to understand concretely the irreducible representations of the ambient Lie group and how left-invariant vector fields operate on their matrix coefficients (which we borrow from the book of Ruzhansky and Turunen (2010)).
Our purpose is solely to provide some easy applications of the theory developed in a previous paper (2019), as the results shown here can probably be obtained by more direct methods.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
Bipartite Biregular Cages and Block Designs
Authors:
Gabriela Araujo-Pardo,
Alejandra Ramos-Rivera,
Robert Jajcay
Abstract:
A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the or…
▽ More
A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the orders of bipartite biregular $(n,m;g)$-graphs, and call the graphs that attain these bounds {\em bipartite biregular Moore cages}.
In parallel with the well-known classical results relating the existence of $k$-regular Moore graphs of even girths $g = 6,8 $ and $12$ to the existence of projective planes, generalized quadrangles, and generalized hexagons, we prove that the existence of $S(2,k,v)$-Steiner systems yields the existence of bipartite biregular $(k,\frac{v-1}{k-1};6)$-Moore cages. Moreover, in the special case of Steiner triple systems (i.e., in the case $k=3$), we completely solve the problem of the existence of $(3,m;6)$-bipartite biregular cages for all integers $m\geq 4$.
Considering girths higher than $6$ and prime powers $s$, we relate the existence of generalized polygons (quadrangles, hexagons and octagons) with the existence of $(n+1,n^2+1;8)$, $(n+1,n^3+1;12)$, and $(n+1,n^2+1;16)$-bipartite biregular Moore cages, respectively. Using this connection, we derive improved upper bounds for the orders of bipartite biregular cages of girths $8$, $12$ and $14$.
△ Less
Submitted 26 July, 2019;
originally announced July 2019.
-
A summability principle and applications
Authors:
Nacib Albuquerque,
Gustavo Araújo,
Lisiane Rezende,
Joedson Santos
Abstract:
This paper investigates summability principles for multilinear summing operators. The main result presents a novel inclusion theorem for a class of summing operators, which generalizes several classical results. As applications, we derive improved estimates for Hardy--Littlewood inequalities on multilinear forms and prove a Grothendieck--type coincidence result in anisotropic settings.
This paper investigates summability principles for multilinear summing operators. The main result presents a novel inclusion theorem for a class of summing operators, which generalizes several classical results. As applications, we derive improved estimates for Hardy--Littlewood inequalities on multilinear forms and prove a Grothendieck--type coincidence result in anisotropic settings.
△ Less
Submitted 2 April, 2025; v1 submitted 9 April, 2019;
originally announced April 2019.
-
Global regularity and solvability of left-invariant differential systems on compact Lie groups
Authors:
Gabriel Araújo
Abstract:
We are interested in global properties of systems of left-invariant differential operators on compact Lie groups: regularity properties, properties on the closedness of the range and finite dimensionality of their cohomology spaces, when acting on various function spaces e.g. smooth, analytic and Gevrey. Extending the methods of Greenfield and Wallach (1973) to systems, we obtain abstract characte…
▽ More
We are interested in global properties of systems of left-invariant differential operators on compact Lie groups: regularity properties, properties on the closedness of the range and finite dimensionality of their cohomology spaces, when acting on various function spaces e.g. smooth, analytic and Gevrey. Extending the methods of Greenfield and Wallach (1973) to systems, we obtain abstract characterizations for these properties and use them to derive some generalizations of results due to Greenfield (1972), Greenfield and Wallach (1972), as well as global versions of a result of Caetano and Cordaro (2011) for involutive structures.
△ Less
Submitted 21 August, 2019; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Periodic trajectory tracking for control-affine driftless systems on compact Lie groups
Authors:
Gabriel Araújo
Abstract:
We treat the periodic trajectory tracking problem: given a periodic trajectory of a control-affine, left-invariant driftless system in a compact and connected Lie group $G$ and an initial condition in $G$, find another trajectory of the system satisfying the initial condition given and that asymptotically tracks the periodic trajectory. We solve this problem locally (for initial conditions in a ne…
▽ More
We treat the periodic trajectory tracking problem: given a periodic trajectory of a control-affine, left-invariant driftless system in a compact and connected Lie group $G$ and an initial condition in $G$, find another trajectory of the system satisfying the initial condition given and that asymptotically tracks the periodic trajectory. We solve this problem locally (for initial conditions in a neighborhood of some point of the periodic trajectory) when $G$ is semisimple and the system is Lie-determined (i.e. controllable), and only for a class of periodic trajectories (which we call regular). Finally we present a set of sufficient conditions to ensure the existence of such trajectories.
△ Less
Submitted 29 December, 2019; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Regularity and solvability of linear differential operators in Gevrey spaces: omitted proofs
Authors:
Gabriel Araújo
Abstract:
This is an addendum to a previous article, which aims to provide the proofs of some results in that paper (Theorem 7.5 and Proposition 9.15) which were removed from its final version. The reason for such omission is that these proofs follow quite closely others already present in the literature, with minor modifications. I make them publicly available for the sake of completeness.
This is an addendum to a previous article, which aims to provide the proofs of some results in that paper (Theorem 7.5 and Proposition 9.15) which were removed from its final version. The reason for such omission is that these proofs follow quite closely others already present in the literature, with minor modifications. I make them publicly available for the sake of completeness.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
On the Maurey--Pisier and Dvoretzky--Rogers theorems
Authors:
Gustavo Araújo,
Joedson Santos
Abstract:
A famous theorem due to Maurey and Pisier asserts that for an infinite dimensional Banach space $E$, the infumum of the $q$ such that the identity map $id_{E}$ is absolutely $\left( q,1\right) $-summing is precisely $\cot E$. In the same direction, the Dvoretzky--Rogers Theorem asserts $id_{E}$ fails to be absolutely $\left( p,p\right) $-summing, for all $p\geq1$. In this note, among other results…
▽ More
A famous theorem due to Maurey and Pisier asserts that for an infinite dimensional Banach space $E$, the infumum of the $q$ such that the identity map $id_{E}$ is absolutely $\left( q,1\right) $-summing is precisely $\cot E$. In the same direction, the Dvoretzky--Rogers Theorem asserts $id_{E}$ fails to be absolutely $\left( p,p\right) $-summing, for all $p\geq1$. In this note, among other results, we unify both theorems by charactering the parameters $q$ and $p$ for which the identity map is absolutely $\left( q,p\right)$-summing. We also provide a result that we call \textit{strings of coincidences} that characterize a family of coincidences between classes of summing operators. We illustrate the usefulness of this result by extending classical result of Diestel, Jarchow and Tonge and the coincidence result of Kwapień.
△ Less
Submitted 22 November, 2018;
originally announced November 2018.
-
Universal bounds for the Hardy--Littlewood inequalities on multilinear forms
Authors:
Gustavo Araújo,
Kleber Câmara
Abstract:
The Hardy--Littlewood inequalities for multilinear forms on sequence spaces state that for all positive integers $m,n\geq2$ and all $m$-linear forms $T:\ell_{p_{1}}^{n}\times\cdots\times\ell_{p_{m}}^{n}\rightarrow\mathbb{K}$ ($\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$) there are constants $C_{m}\geq1$ (not depending on $n$) such that \[ \left( \sum_{j_{1},\ldots,j_{m}=1}^{n}\left\vert T(e_{j_{1}},\ld…
▽ More
The Hardy--Littlewood inequalities for multilinear forms on sequence spaces state that for all positive integers $m,n\geq2$ and all $m$-linear forms $T:\ell_{p_{1}}^{n}\times\cdots\times\ell_{p_{m}}^{n}\rightarrow\mathbb{K}$ ($\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$) there are constants $C_{m}\geq1$ (not depending on $n$) such that \[ \left( \sum_{j_{1},\ldots,j_{m}=1}^{n}\left\vert T(e_{j_{1}},\ldots,e_{j_{m}})\right\vert ^ρ\right) ^{\frac{1}ρ}\leq C_{m}\sup_{\left\Vert x_{1}\right\Vert ,\dots,\left\Vert x_{m}\right\Vert \leq 1}\left\vert T(x_{1},\dots,x_{m})\right\vert, \] where $ρ=\frac{2m}{m+1-2\left( \frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\right) }$ if $0\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\leq\frac{1}{2}$ or $ρ=\frac{1}{1-\left( \frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}\right)}$ if $\frac{1}{2}\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}<1$. Good estimates for the Hardy-Littlewood constants are, in general, associated to applications in Mathematics and even in Physics, but the exact behavior of these constants is still unknown. In this note we give some new contributions to the behavior of the constants in the case $\frac{1}{2}\leq\frac{1}{p_{1}}+\cdots+\frac{1}{p_{m}}<1$. As a consequence of our main result, we present a generalization and a simplified proof of a result due to Aron et al. on certain Hardy--Littlewood type inequalities.
△ Less
Submitted 4 March, 2018;
originally announced March 2018.
-
A Gale-Berlekamp permutation-switching problem in higher dimensions
Authors:
Gustavo Araujo,
Daniel Marinho Pellegrino
Abstract:
Let an $n\times n$ array $\left( a_{ij}\right) $ of lights be given, each either on (when $a_{ij}=1$) or off (when $a_{ij}=-1$). For each row and each column there is a switch so that if the switch is pulled ($x_{i}=-1$ for row $i$ and $y_{j}=-1$ for column $j$) all of the lights in that line are switched: on to off or off to on. The unbalancing lights problem (Gale-Berlekamp switching game) consi…
▽ More
Let an $n\times n$ array $\left( a_{ij}\right) $ of lights be given, each either on (when $a_{ij}=1$) or off (when $a_{ij}=-1$). For each row and each column there is a switch so that if the switch is pulled ($x_{i}=-1$ for row $i$ and $y_{j}=-1$ for column $j$) all of the lights in that line are switched: on to off or off to on. The unbalancing lights problem (Gale-Berlekamp switching game) consists in maximizing the difference between the lights on and off. We obtain the exact parameters for a generalization of the unbalancing lights problem in higher dimensions.
△ Less
Submitted 28 January, 2018;
originally announced January 2018.
-
Mixed Cages
Authors:
G. Araujo-Pardo,
C. Hernández-Cruz,
J. J. Montellano-Ballesteros
Abstract:
We introduce the notion of a $[z, r; g]$-mixed cage. A $[z, r; g]$-mixed cage is a mixed graph $G$, $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. In this paper we prove the existence of $[z, r ;g]$-mixed cages and exhibit families of mixed cages for some specific values. We also give lower and upper bounds for some choices of $z, r$ and $g$. In particular we present…
▽ More
We introduce the notion of a $[z, r; g]$-mixed cage. A $[z, r; g]$-mixed cage is a mixed graph $G$, $z$-regular by arcs, $r$-regular by edges, with girth $g$ and minimum order. In this paper we prove the existence of $[z, r ;g]$-mixed cages and exhibit families of mixed cages for some specific values. We also give lower and upper bounds for some choices of $z, r$ and $g$. In particular we present the first results on $[z,r;g]$- mixed cages for $z=1$ and any $r\geq 1$ and $g\geq 3$, and for any $z\geq 1$, $r=1$ and $g=4$.
△ Less
Submitted 23 February, 2017;
originally announced February 2017.
-
Optimal Hardy--Littlewood inequalities uniformly bounded by a universal constant
Authors:
N. Albuquerque,
G. Araújo,
M. Maia,
T. Nogueira,
D. Pellegrino,
J. Santos
Abstract:
The Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces and $m<p\leq 2m$ asserts that \begin{equation*} \left( \sum_{j_{1},...,j_{m}=1}^{\infty }\left\vert T\left( e_{j_{1}},\ldots ,e_{j_{m}}\right) \right\vert ^{\frac{p}{p-m}}\right) ^{\frac{p-m}{p}}\leq 2^{\frac{m-1}{2}}\left\Vert T\right\Vert \end{equation*} for all continuous $m$-linear forms…
▽ More
The Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces and $m<p\leq 2m$ asserts that \begin{equation*} \left( \sum_{j_{1},...,j_{m}=1}^{\infty }\left\vert T\left( e_{j_{1}},\ldots ,e_{j_{m}}\right) \right\vert ^{\frac{p}{p-m}}\right) ^{\frac{p-m}{p}}\leq 2^{\frac{m-1}{2}}\left\Vert T\right\Vert \end{equation*} for all continuous $m$-linear forms $T:\ell _{p}\times \cdots \times \ell _{p}\rightarrow \mathbb{R}$ or $\mathbb{C}.$ The case $m=2$ recovers a classical inequality proved by Hardy and Littlewood in 1934. As a consequence of the results of the present paper we show that the same inequality is valid with $2^{\frac{m-1}{2}}$ replaced by $2^{\frac{\left( m-1\right) \left( p-m\right) }{p}}$. In particular, for $m<p\leq m+1$ the optimal constants of the above inequality are uniformly bounded by $2.$
△ Less
Submitted 10 September, 2016;
originally announced September 2016.
-
A note on Erdös-Faber-Lovász Conjecture and edge coloring of complete graphs
Authors:
Gabriela Araujo-Pardo,
Adrián Vázquez-Ávila
Abstract:
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove…
▽ More
A linear hypergraph is intersecting if any two different edges have exactly one common vertex and an $n$-quasicluster is an intersecting linear hypergraph with $n$ edges each one containing at most $n$ vertices and every vertex is contained in at least two edges. The Erdös-Faber-Lovász Conjecture states that the chromatic number of any $n$-quasicluster is at most $n$. In the present note we prove the correctness of the conjecture for a new infinite class of $n$-quasiclusters using a specific edge coloring of the complete graph.
△ Less
Submitted 11 May, 2016;
originally announced May 2016.
-
A Family of Dense Mixed Graphs of Diameter $2$
Authors:
Gabriela Araujo-Pardo,
Camino Balbuena,
M. Miller,
M. Ždímalová
Abstract:
A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order.
We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters i…
▽ More
A mixed graph is said to be dense if its order is close to the Moore bound and it is optimal if there is not a mixed graph with the same parameters and bigger order.
We present a construction that provides dense mixed graphs of undirected degree $q$, directed degree $\frac{q-1}{2}$ and order $2q^2$, for $q$ being an odd prime power. Since the Moore bound for a mixed graph with these parameters is equal to $\frac{9q^2-4q+3}{4}$ the defect of these mixed graphs is $({\frac{q-2}{2}})^2-\frac{1}{4}$.
In particular we obtain a known mixed Moore graph of order $18$, undirected degree $3$ and directed degree $1$ called Bosák's graph and a new mixed graph of order $50$, undirected degree $5$ and directed degree $2$, which is proved to be optimal.
△ Less
Submitted 18 November, 2015;
originally announced November 2015.
-
On transversal and $2$-packing numbers in straight line systems on $\mathbb{R}^{2}$
Authors:
Gabriela Araujo-Pardo,
Amanda Montejano,
Luis Montejano,
Adrián Vázquez-Ávila
Abstract:
A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal…
▽ More
A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
-
New families of small regular graphs of girth 5
Authors:
E. Abajo,
G. Araujo-Pardo,
C. Balbuena,
M. Bendala
Abstract:
In this paper we are interested in the {\it{Cage Problem}} that consists in constructing regular graphs of given girth $g$ and minimum order. We focus on girth $g=5$, where cages are known only for degrees $k \le 7$. We construct regular graphs of girth $5$ using techniques exposed by Funk [Note di Matematica. 29 suppl.1, (2009) 91 - 114] and Abreu et al. [Discrete Math. 312 (2012), 2832 - 2842] t…
▽ More
In this paper we are interested in the {\it{Cage Problem}} that consists in constructing regular graphs of given girth $g$ and minimum order. We focus on girth $g=5$, where cages are known only for degrees $k \le 7$. We construct regular graphs of girth $5$ using techniques exposed by Funk [Note di Matematica. 29 suppl.1, (2009) 91 - 114] and Abreu et al. [Discrete Math. 312 (2012), 2832 - 2842] to obtain the best upper bounds known hitherto. The tables given in the introduction show the improvements obtained with our results.
△ Less
Submitted 6 August, 2015;
originally announced August 2015.
-
On the pseudoachromatic index of the complete graph III
Authors:
G. Araujo-Pardo,
J. J. Montellano-Ballesteros,
C. Rubio-Montiel,
R. Strausz
Abstract:
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following val…
▽ More
Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $.
In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$.
On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.
△ Less
Submitted 29 July, 2015;
originally announced July 2015.
-
Lineability in sequence and function spaces
Authors:
G. Araújo,
L. Bernal-González,
G. A. Muñoz-Fernández,
J. A. Prado-Bassas,
J. B. Seoane-Sepúlveda
Abstract:
It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong sense, the family of nonconstant differentiable real functions vanishing on dense sets, and the family of non-continuous separately continuous real functions. Line…
▽ More
It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong sense, the family of nonconstant differentiable real functions vanishing on dense sets, and the family of non-continuous separately continuous real functions. Lineability in special spaces of sequences is also investigated. Some of our findings complete or extend a number of results by several authors.
△ Less
Submitted 16 July, 2015;
originally announced July 2015.
-
Estimates on the norm of polynomials and applications
Authors:
Gustavo Araújo,
Pablo Jiménez-Rodríguez,
Gustavo A. Muñoz-Fernández,
Juan B. Seoane-Sepúlveda
Abstract:
In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2<p\leq\infty$ and lower estimates for polynomials of higher degrees.
In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2<p\leq\infty$ and lower estimates for polynomials of higher degrees.
△ Less
Submitted 6 July, 2015;
originally announced July 2015.
-
A note on multiple summing operators and applications
Authors:
N. Albuquerque,
G Araujo,
D. Pellegrino,
P. Rueda
Abstract:
We prove a new result on multiple summing operators and among other applications, we provide a new extension of Littlewood's $4/3$ inequality to $m$-linear forms.
We prove a new result on multiple summing operators and among other applications, we provide a new extension of Littlewood's $4/3$ inequality to $m$-linear forms.
△ Less
Submitted 12 August, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
Polynomial inequalities on the $π/4$-circle sector
Authors:
G. Araújo,
P. Jiménez-Rodríguez,
G. A. Muñoz-Fernández,
J. B. Seoane-Sepúlveda
Abstract:
A number of sharp inequalities are proved for the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$ of 2-homogeneous polynomials on ${\mathbb R}^2$ endowed with the supremum norm on the sector $D\left(\fracπ{4}\right):=\left\{e^{iθ}:θ\in \left[0,\fracπ{4}\right]\right\}$. Among the main results we can find sharp Bernstein and Markov inequalities and the calculation of the polarization con…
▽ More
A number of sharp inequalities are proved for the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$ of 2-homogeneous polynomials on ${\mathbb R}^2$ endowed with the supremum norm on the sector $D\left(\fracπ{4}\right):=\left\{e^{iθ}:θ\in \left[0,\fracπ{4}\right]\right\}$. Among the main results we can find sharp Bernstein and Markov inequalities and the calculation of the polarization constant and the unconditional constant of the canonical basis of the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$.
△ Less
Submitted 23 March, 2015;
originally announced March 2015.
-
Compactly Supported One-cyclic Wavelets Derived from Beta Distributions
Authors:
H. M. de Oliveira,
G. A. A. de Araujo
Abstract:
New continuous wavelets of compact support are introduced, which are related to the beta distribution. They can be built from probability distributions using 'blur'derivatives. These new wavelets have just one cycle, so they are termed unicycle wavelets. They can be viewed as a soft variety of Haar wavelets whose shape is fine-tuned by two parameters a and b. Close expressions for beta wavelets an…
▽ More
New continuous wavelets of compact support are introduced, which are related to the beta distribution. They can be built from probability distributions using 'blur'derivatives. These new wavelets have just one cycle, so they are termed unicycle wavelets. They can be viewed as a soft variety of Haar wavelets whose shape is fine-tuned by two parameters a and b. Close expressions for beta wavelets and scale functions as well as their spectra are derived. Their importance is due to the Central Limit Theorem applied for compactly supported signals.
△ Less
Submitted 7 February, 2015;
originally announced February 2015.
-
Optimal Hardy-Littlewood type inequalities for $m$-linear forms on $\ell_{p}$ spaces with $1\leq p\leq m$
Authors:
Gustavo Araujo,
Daniel Pellegrino
Abstract:
The Hardy-Littlewood inequalities for $m$-linear forms on $\ell_{p}$ spaces are stated for $p>m$. In this paper, among other results, we investigate similar results for $1\leq p\leq m.$ Let $\mathbb{K}$ be $% \mathbb{R}$ or $\mathbb{C}$ and $m\geq 2$ be a positive integer. Our main results are the following sharp inequalities:
(i) If…
▽ More
The Hardy-Littlewood inequalities for $m$-linear forms on $\ell_{p}$ spaces are stated for $p>m$. In this paper, among other results, we investigate similar results for $1\leq p\leq m.$ Let $\mathbb{K}$ be $% \mathbb{R}$ or $\mathbb{C}$ and $m\geq 2$ be a positive integer. Our main results are the following sharp inequalities:
(i) If $\left(r,p\right) \in \left(\lbrack 1,2]\times \lbrack 2,2m)\right) \cup \left(\lbrack 1,\infty)\times \lbrack 2m,\infty \right)) $, then there is a constant $D_{m,r,p}^{\mathbb{K}}>0$ (not depending on $% n $) such that \begin{equation*} \textstyle\left(\sum\limits_{j_{1},...,j_{m}=1}^{n}\left\vert T(e_{j_{1}},...,e_{j_{m}})\right\vert ^{r}\right) ^{\frac{1}{r}}\leq D_{m,r,p}^{\mathbb{K}}n^{\max \left\{ \frac{2mr+2mp-mpr-pr}{2pr},0\right\} }\left\Vert T\right\Vert \end{equation*} for all $m$--linear forms $T:\ell_{p}^{n}\times \cdots \times \ell_{p}^{n}\rightarrow \mathbb{K}$ and all positive integers $n$.
(ii) If $\left(r,p\right) \in \lbrack 2,\infty)\times (m,2m]$, then \begin{equation*} \textstyle\left(\sum\limits_{j_{1},...,j_{m}=1}^{n}\left\vert T(e_{j_{1}},...,e_{j_{m}})\right\vert ^{r}\right) ^{\frac{1}{r}}\leq \left(\sqrt{2}\right) ^{m-1}n^{\max \left\{ \frac{p+mr-rp}{pr},0\right\} }\left\Vert T\right\Vert \end{equation*} for all $m$--linear forms $T:\ell_{p}^{n}\times \cdots \times \ell_{p}^{n}\rightarrow \mathbb{K}$ and all positive integers $n.$ Moreover the exponents $\max \{ (2mr+2mp-mpr-pr)/2pr,0 \} $ in (i) and $\max \{(p+mr-rp)/pr,0 \} $ in (ii) are optimal.
△ Less
Submitted 11 February, 2015; v1 submitted 5 February, 2015;
originally announced February 2015.
-
Hölder's inequality: some recent and unexpected applications
Authors:
N. Albuquerque,
G. Araujo,
D. Pellegrino,
J. Seoane-Sepulveda
Abstract:
Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essent…
▽ More
Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essentially overlooked in Functional Analysis and has had a crucial (and in some sense unexpected) influence in very recent and major breakthroughs in Mathematics. Some of these recent advances appeared in 2012-2014 and include the theory of Dirichlet series, the famous Bohr radius problem, certain classical inequalities (such as Bohnenblust--Hille or Hardy--Littlewood), or even Mathematical Physics.
△ Less
Submitted 30 March, 2015; v1 submitted 5 December, 2014;
originally announced December 2014.
-
Lower bounds for the complex polynomial Hardy--Littlewood inequality
Authors:
Gustavo Araujo,
Daniel Pellegrino
Abstract:
The Hardy--Littlewood inequality for complex homogeneous polynomials asserts that given positive integers $m\geq2$ and $n\geq1$, if $P$ is a complex homogeneous polynomial of degree $m$ on $\ell_{p}^{n}$ with $2m\leq p\leq\infty$ given by $P(x_{1},\ldots,x_{n})=\sum_{|α|=m}a_{α}\mathbf{{x}^α}$, then there exists a constant $C_{\mathbb{C},m,p}^{\mathrm{pol}}\geq1$ (which is does not depend on $n$)…
▽ More
The Hardy--Littlewood inequality for complex homogeneous polynomials asserts that given positive integers $m\geq2$ and $n\geq1$, if $P$ is a complex homogeneous polynomial of degree $m$ on $\ell_{p}^{n}$ with $2m\leq p\leq\infty$ given by $P(x_{1},\ldots,x_{n})=\sum_{|α|=m}a_{α}\mathbf{{x}^α}$, then there exists a constant $C_{\mathbb{C},m,p}^{\mathrm{pol}}\geq1$ (which is does not depend on $n$) such that \[ \left( {\sum\limits_{\left\vert α\right\vert =m}}\left\vert a_{α}\right\vert ^{\frac{2mp}{mp+p-2m}}\right) ^{\frac{mp+p-2m}{2mp}}\leq C_{\mathbb{C},m,p}^{\mathrm{pol}}\left\Vert P\right\Vert , \] with $\Vert P\Vert:=\sup_{z\in B_{\ell_{p}^{n}}}|P(z)|$. In this short note, among other results, we provide nontrivial lower bounds for the constants $C_{\mathbb{C},m,p}^{\mathrm{pol}}$. For instance we prove that, for $m\geq2$ and $2m\leq p<\infty$, \[ C_{\mathbb{C},m,p}^{\mathrm{pol}}\geq2^{\frac{m}{p}}% \] for $m$ even, and \[ C_{\mathbb{C},m,p}^{\mathrm{pol}}\geq2^{\frac{m-1}{p}}% \] for $m$ odd. Estimates for the case $p=\infty$ (this is the particular case of the complex polynomial Bohnenblust--Hille inequality) were recently obtained by D. Nuñez-Alarcón in 2013.
△ Less
Submitted 11 October, 2014;
originally announced October 2014.
