Book of Abstract BYMAT 3rd Edition

Organising Committee:
• Carlos Andreu Villaroig (Universitat Politècnica de València)

• Vicente José Bevia Escrig (Universitat Politècnica de València)
• Elena López Navarro (chair, Universitat Politècnica de València)
• Ana Navarro Quiles (Universitat de València)
• Cristina Pérez Diukina (Universitat Politècnica de València)
• Sorina Madalina Sferle (Universitat Politècnica de València)
Scientific Committee:
• Patricio Almirón Cuadros (Universidad Complutense de Madrid)
• Clara Burgos Simón (chair, Universitat Politècnica de València)
• Alberto Espuny Díaz (Technische Universität Ilmenau)
• Carlos Esteve Yagüe (University of Cambridge)
• Nikita Kopylov (Norwegian University of Science and Technology)
• Marta de León Contreras (Norwegian University of Science and Technology)
• Beatriz Molina (Universidad Autónoma de Madrid)
• Hernan Neciosup Puican (Pontifícia Universidad Católica del Perú)
• Consuelo Parreño Torres (Universidad de Valencia)
• Miguel Reula Martín (Universidad Carlos III de Madrid)
• Erik Sarrión Pedralva (Universitat Jaume I)
Steering Committee:
• Patricia Contreras Tejada (Freelance science communicator)
• Ángela Capel (Universität Tübingen)
• Ana Navarro Quiles (Universitat de València)
• Roi Naveiro (Instituto de Ciencias Matemáticas-CSIC)
WEDNESDAY - 9th November 2022
09:00 - 09:30 Opening session

09:30 - 10:30 Plenary - Rubén Campoy
10:30 - 11:00 Break
Parallel sessions
Algebra
Applied Applied Geometry and
11:00 - 13:00 and Com- Analysis: Analysis:
Mathematics: Mathematics: Topology:
binatorics:
Session 1 Session 1 Session 2 Session 1 Session 2 Session 1
13:00 - 14:00 Lunch
14:00 - 15:00 Workshop: David Martínez, María Ángeles Burgos, Almudena Sánchez
Parallel sessions
Algebra Statistics and
15:00 - 17:00 and Com- Analysis: Operations
binatorics: Research:
Session 2 Session 3 Session 4 Session 3 Session 2 Session 1
THURSDAY - 10th November 2022
09:30 - 10:30 Plenary - Martina Conte

10:30 - 11:00 Break
Parallel sessions
Algebra Statistics and
11:00 - 13:00 and Com- Analysis: Analysis: Operations
binatorics: Research:
Session 3 Session 5 Session 6 Session 4 Session 5 Session 3 Session 2
13:00 - 14:00 Lunch
14:00 - 15:00 Plenary - Juan Carlos Felipe
15:00 - 16:30 Workshop - Delaram Kahrobaei
16:30 - 17:30 Poster session
FRIDAY - 11th November 2022
09:30 - 10:30 Plenary - Ujué Etayo

10:30 - 11:00 Break
11:00 - 12:30 Workshop - Mikel Rodríguez
12:30 - 14:00 Lunch
14:00 - 15:00 Plenary - Gilberto González-Parra
Parallel sessions
Algebra and Geometry
Applied Applied
15:00 - 17:00 Combinator- Analysis: and
Mathematics: Mathematics:
ics: Topology:
Session 4 Session 7 Session 8 Session 6 Session 4
17:00 - 18:30 Workshop - Patricia Ruiz
18:30 - 19:00 Closure – social activity (online)
Invited talks
Wednesday
9:30 - 10:30
Divide and conquer: splitting algorithms in optimization

Rubén Campoy, Dept. of Statistics and Operations Research, Universitat de
València
ruben.campoy@uv.es
Nonlinear optimization plays a fundamental role in different fields such as Statistics, Data
Science or Machine learning. Whereas some optimization problems admit an analytical closed-
form solution, many others require the use of efficient numerical algorithms. In this talk, we
will focus on optimization problems that have certain separability structure. Following the
divide-and-conquer paradigm, the so-called splitting algorithms take advantage of this structure
and iteratively solve simpler subproblems defined by some parts of the original problem. We
will review the classical algorithms, as well as some recent advances, with special attention
to a particular subfamily of methods known as projection algorithms (as these can be easily
visualized). Throughout the talk, the implementation and behavior of these algorithms will be
illustrated through several examples and real applications.
6
BYMAT 2022 Invited talks
Thursday
9:30 - 10:30
Multiscale models of glioma progression: insights into

vasculature and therapy effects.
Martina Conte, Department of Mathematical Sciences “G.L. Lagrange” - Politecnico
di Torino
martina.conte@polito.it
Gliomas are malignant brain tumors arising from mutations in the glia cells of the central
nervous system. Their growth and migration inside the brain is a highly complex phenomenon,
influenced by a multitude of intrinsic and extrinsic factors at different spatial and temporal
scales. Here we propose a multiscale framework for the description of glioma progression under
the influence of vascularization. We firstly focus on the impact of (hypoxia-driven) acidity
and phenotypic heterogeneity on tumor evolution. Then, we extend this setting to compare
the effects of various therapeutic approaches on the progression of the neoplasia. Precisely,
starting from a microscopic description of the interactions between cell membrane receptors
and the extracellular microenvironment, we construct a coupled system of kinetic equations for
endothelial and tumor cells. We derive the corresponding macroscopic models and we perform
several numerical tests aimed at assessing the impact of vasculature and therapy on tumor
progression on the basis of real DTI and glioma patient data.
14:00 - 15:00
How to know we have the minimizer? From Bernoulli to

Weierstrass
Juan-Carlos Felipe-Navarro, University of Helsinki
juan-carlos.felipe-navarro@helsinki.fi,
Throughout history, human beings have tried to minimize: the length of the path between two
places, the time of a process, the energy needed to develop a job... Calculus of Variations gives
us now the tools to deal with this problem from a mathematical point of view. In this talk, we
will review the classical theory of Calculus of Variations, emphasizing the relationship with
Partial Differential Equations. In particular, we will focus on the not so well-known Weierstrass
extremal field theory. Finally, we will briefly explain how to extend it to a trendy nonlocal
framework.
7
Friday
9:30 - 10:30
From random matrix theory to equidistribution of points

Ujué Etayo, Universidad de Cantabria
etayomu@unican.es
Eugene Paul Wigner (1902 - 1995) won the Nobel Prize in Physics in 1963, “for his contributions
to the theory of the atomic nucleus and the elementary particles, particularly through the
discovery and application of fundamental symmetry principles”. Roughly speaking, Wigner
made the hypothesis that the characteristic energies of heavy nuclei behave locally as if they
were the eigenvalues of a matrix with randomly distributed coefficients. From the days of
Wigner to the present, the field of random matrices has known a overwhelming development,
both in the theory and in the fields of application. In this talk we will study the relationship
(through determinantal point processes) between random matrices and the equidistribution of
points in spheres of any dimension.
14:00- 15:00
Study of optimal vaccination strategies for the COVID-19

pandemic using mathematical models
Gilberto González-Parra, Department of Mathematics, New Mexico Tech, NM,
USA
gcarlos999@gmail.com
At the end of 2020 the first countries started their vaccination programs against coronavirus
disease 2019 (COVID-19). Some countries such as Israel, the UK and the US, implemented
large vaccination programs and by the end of 2021 a large proportion of their populations were
vaccinated. However, many other countries faced issues with the limited supply of COVID-19
vaccines and therefore their vaccination programs started later or their vaccination rate was
slower. Many strategies could have been used to deal with vaccine shortage. Different vaccina-
tion strategies generate different outcomes regarding deaths and infected people. Countries
such as the UK and the US, implemented different strategies in their vaccination programs and
there was a lot of controversy over the optimal strategy for the vaccination programs. Designing
the optimal strategy is a very complex optimization problem due to the large number of factors
that affect the public health outcomes. Furthermore, deciding which should be the objective
function is debatable since the goal of the vaccination program might be to minimize deaths,
infected people or other outcomes such as years of life lost. In this talk, I will discuss some
works related to mathematical approaches that can be used to find the optimal vaccination
strategies under different scenarios. These approaches include various mathematical models
that consider demographic risk factors such as age, comorbidities, hesitancy, gender and social
contacts of the population. We analyze different vaccination strategies and their impact on the
total number of deaths and infections due to COVID-19. The models take into account the social
behavior of people according to their age and comorbidity status. The results of these analyses
8
provide valuable information for the design of vaccination programs in relation to the COVID
pandemic. Moreover, the results presented here provide scientific vaccination guidelines for
other future pandemics.
9
Workshops
Wednesday, 14:00 - 15:00
So . . . what now?
David Martínez Rodríguez | María Ángeles Burgos Simón | Almudena
Sánchez, Data Modeller | Data Scientist | UDIMA
vidda.martinez@gmail.com | burgosimon@gmail.com |
Almudena.sanchez.s@udima.es
You are probably wondering what comes next after having defended your Ph.D. thesis. You
have spent four years developing your professional career within academia and the only option
that crosses your mind is to become a professor. This is a really fulfilling option but. . . . not the
only one! Holding a Ph.D. does not only open doors within academia, industry is also looking
for you! The skills you acquired during your pre-doctoral phase are really appreciated by
companies. You can not only offer a deep business understanding of your expertise area but also
a transversal toolset: language domain, fast-learning pace, self-development and independent
work, communication skills with people from highly educated and professional backgrounds,
team-building and teamwork. . . among others. All these skills enrich a professional profile and
after doing your Ph.D., you have strengthened them too.
This workshop’s main goal is to give you a glimpse of the private sector as a career oppor-
tunity. We will talk with three Ph.D. that continued their professional career within the private
sector. They will focus on three points: first, the value they brought to their companies; second,
their transition and adaptation period; and lastly, about the utility and applicability of their
current projects.
Thursday, 15:00 - 16:30
How to rise and thrive in your career as a successful

mathematician belonging to an underrepresented
(visible/invisible) minority group?
Delaram Kahrobaei, The City University of New York (USA) and The University of
York (UK)
DKahrobaei@gc.cuny.edu
Promoting diversity, equity, and inclusion (DEI) has been, and will always be an important
aspect of my career. To me, promoting DEI in academia means supporting, encouraging,
and creating opportunities for all students, colleagues and faculty, regardless of their identity,
10
BYMAT 2022 Workshops
but with central focus on underrepresented populations. Belonging to an underrepresented

population, as a woman of color, I feel the importance of DEI acutely. I have many past
accomplishments that have advanced my DEI goals. I have done so through:
• Initiating national and international activities to promote women in STEM. (e.g. I was the
founder of the New York Women in Mathematics and Computing Network).
• Grant activities to support events that help women increase their social capital and
collaboration across many disciplines.
• Mentoring women and URM in their early academic career and supervision of postdoc-
toral and doctoral students.
• Participation in national and international forums for Women in STEM as keynote speaker
or panelist to share my knowledge and experiences.
• Boosting representation of Women in STEM through Publication.
I studied and worked in 3 continents: America, Europe, and Asia. In this workshop, I will share
some of my experiences with young mathematicians and my junior colleagues. I will discuss
how I managed to overcome some of the obstacles, and provide some advice.
Friday, 11:00- 12:30
Information design is more than making a poster visually

more appealing, it also helps in its compression and
legibility.
Mikel Rodríguez Hidalgo, Mikel Graphic Science
mikelgraphicscience@gmail.com
In this workshop, we will analyze the main design aspects to create a clear and attractive
scientific poster (applicable to any graphic dissemination material). How to select and install
typography’s? how do I choose a good color palette? What is visual hierarchy and which is
the correct way to use it? what happens with the white space in my layout? how can I design
effective data visualizations?. . . These are some of the questions that we are going to solve. We
will also train some of this exercises together in a practical part. Sing up and start getting care
about your work’s design.
11
BYMAT 2022 Workshops
Friday, 17:00- 18:30
From your research to the news

Patricia Ruiz Guevara, Maldita Tecnología, RETEMA, Forbes Spain and Rockdelux
patricia.ruizguevara3@gmail.com
Visibility is essential for an investigation, and the media plays a fundamental role in that. But
there is a two-way path till a research reaches the news. In this workshop, we will give clues
and tools on how a researcher can face an interview for a newspaper or a magazine, but we
will also understand the other side of the equation: the role of the scientific journalist and
what lies behind a headline. With all this information, you will have a wider vision and your
communication will be more effective.
12
Contributed talks
Algebra and Combinatorics

First session (Wednesday morning)
11:00 - 11:20
Nilpotent Symplectic Alternating Algebra
Layla Sorkatti, University of khartoum
layla.sorkatti@bath.edu
We first give some general overview of symplectic alternating algebras and then focus in
particular on the structure and classification of nilpotent symplectic alternating algebras with
some new results.
11:20 - 11:40
Residual nilpotence of amalgamated products and HNN extensions
Ismael Morales, University of Oxford
ismael.morales@maths.ox.ac.uk
The purpose of the talk is introducing new techniques aimed at proving that amalgamated
products and HNN extensions of residually nilpotent groups are, again, residually nilpotent.
The main motivation is the study of parafree groups and the main application consists on
describing when the fundamental group of a graph of groups with cyclic edge groups belongs
to this family. This is joint work with Andrei Jaikin-Zapirain.
11:40 - 12:00
A study of tridiagonal k-periodic matrices
Jose Brox, Centre for Mathematics of the University of Coimbra
josebrox@mat.uc.pt
Given a commutative unital ring K, a matrix A ∈ Matn (K ) is tridiagonal k-Toeplitz if it is

tridiagonal and the entries along the main diagonal and its adjacent diagonals are periodic
13
BYMAT 2022 Contributed talks: algebra and combinatorics
sequences of period k, so that it has the form

a b1

1
. .
 c1 .. .. 
 
.
..
 
ak bk
A= .
 
ck a1 b1
 
 .. .. 
 c1 . . 
.. .. ..
. . .
Tridiagonal matrices appear frequently in many areas of pure and applied mathematics; con-
sequently, tridiagonal k-Toeplitz matrices arise in those contexts when some periodicity of the
studied problem or physical system is assumed. For example, they appear in number-theoretical
problems involving second-order difference equations, in classical mechanics, in telecommunic-
ation systems... Thus the eigenvalues or the inverse of the associated matrix can be invoked to
solve these problems. We will show how to get efficient rational formulas for the determinant,
the spectral properties, and the entries of the inverse of any tridiagonal k-Toeplitz matrix.
12:00 - 12:20
Scopes equivalence for blocks of Ariki-Koike algebras
Alice Dell’Arciprete, University of East Anglia
A.Dell-Arciprete@uea.ac.uk
We consider representations of the Ariki-Koike algebra, a q-deformation of the group algebra of

the complex reflection group Cr ≀ Sn . The representations of this algebra are naturally indexed by
multipartitions of n. We examine blocks of the Ariki-Koike algebra, in an attempt to generalise
the combinatorial representation theory of the Iwahori-Hecke algebra. In particular, we prove a
sufficient condition such that restriction of modules leads to a natural correspondence between
the multipartitions of n whose Specht modules belong to a block B and those of n − δi ( B) whose
Specht modules belong to the block B′ , obtained from B applying a Scopes’ equivalence.
12:20 - 12:40
Left braces of size np
Daniel Gil Muñoz, Charles University in Prague
daniel_gilmu@hotmail.com
A left brace is a set B endowed with two binary operations + and · such that ( B, +) is an
abelian group (called additive), ( B, ·) is a group (called multiplicative), and the variant of the
distributive law
a · (b + c) + a = a · b + a · c
is satisfied for every a, b, c ∈ B. This notion was introduced by Rump in 2007 to study set-
theoretic solutions of the Yang-Baxter equation, a consistency equation coming originally from
the field of statistical mechanics. In 2016, Bachiller established a one-to-one correspondence
14
between isomorphism classes of left braces with additive group N and conjugacy classes of
regular subgroups of Hol( N ), the normalizer of N in the group of permutations of N. In this
talk we will use this group theoretical formulation to establish a method to enumerate all left
braces of size np, where p is an odd prime and n is an integer coprime to p such that every
group of order np has some normal subgroup of order p. We will present explicit results for the
cases n = 8 and n = 12. This is a joint work with Teresa Crespo, Anna Rio and Montserrat Vela.
Second session (Wednesday afternoon)

15:00 - 15:20
Extending FCA to consider unknown information
Francisco Pérez-Gámez, University of Málaga
franciscoperezgamez@uma.es
Formal Concept Analysis (FCA) is a useful tool to extract information from a dataframe. This
dataframes are called formal contexts and usually are given as triples ( G, M, I ) where G and M
are not empty sets and it elements are called objects and attributes,respectively. I is called the
incidence map and is given by I : G × M → 2. I ( g, m) = 1 if and only if the object g has the
attribute m.
The main tool to extract information from a formal context is a Galois connection. Clasically,
the Galois connection used are the functions ↑ : 2G → 2 M and ↓ : 2 M → 2G such that, A↑ = {m ∈
M | ( g, m) ∈ I ∀ g ∈ A} and B↓ = { g ∈ G | ( g, m) ∈ I ∀m ∈ B}. With this idea, we call
formal concept to any pair ( A, B) such that A↑ = B and B↓ = A. The formal concepts with the
order ≤ defined as ( A1 , B1 ) ≤ ( A2 , B2 ) if and only if A1 ⊆ A2 form a complete lattice, which is
called the concept lattice. Given A, B ⊆ M, we say that A → B holds in a formal context if and
only if B ⊆ A↓↑ .
We are extending this idea to consider not only when an object has the attribute, but also
when we know that the object has not the attribute and when we do not know if it has or not
the attribute. We have developed a new structure with three values to such extension.
This is joint work with Pablo Cordero, Manuel Enciso and Angel Mora.
15:20 - 15:40
Forward limit sets of substitution semigroups
Ibai Aedo, The Open University
ibai.aedo@open.ac.uk
We introduce substitutions of alphabets and explore their behaviour under iteration. This theory
is enriched by considering collections of substitutions that generate semigroups of substitutions.
Associated to each semigroup is a geometric object called a forward limit set, comprising a
collection of infinite words in the alphabet. We will discuss properties of forward limit sets such
as their size and their relationship to limit points of certain sequences in substitution dynamics
known as s-adic sequences.
15
15:40 - 16:00
Induced bounded tame modules of vertex algebras
Oscar Armando Hernández Morales, University of Sao Paulo
oscarhm@ime.usp.br
In this presentation, we will discuss combinatorial methods which allow the construction
of enumerable bases for modules of type A called induced Gelfand–Tsetlin tame modules.
In particular, when the weight spaces of these modules are finite-dimensional, the modules
correspond to relaxed highest weight modules over affine vertex algebras associated with higher
rank Lie algebras and arbitrary non-critical levels.
“This is joint work with V. Futorny and L. Križka”. .
16:00 - 16:20
Average Almost-Optimality of Descartes Solver
Josué Tonelli-Cueto, UTSA
josue.tonelli.cueto@bizkaia.eu
Isolating the real roots of univariate polynomials is a fundamental problem in symbolic compu-
tation and it is arguably one of the most important problems in computational mathematics.
The problem has a long history decorated with numerous ingenious algorithms and furnishes
an active area of research. However, the worst-case analysis of root-finding algorithms does not
correlate with their practical performance. Among the algorithms for which this phenomenon
happens, we find the Descartes solver to isolate the real roots of a real univariate polynomial.
In this talk, we show that the average bit complexity of this solver is almost optimal for a broad
class of random polynomials, explaining, therefore, the practical performance of this algorithm.
This is joint work with Alperen A. Ergür and Elias Tsigaridas.
16:20 - 16:40
Poincaré-Reeb graphs of real algebraic domains
Miruna-Stefana Sorea, SISSA, Trieste, Italy
msorea@sissa.it
An algebraic domain is a closed topological subsurface of a real affine plane whose boundary
consists of disjoint smooth connected components of real algebraic plane curves. We study the
non-convexity of an algebraic domain by collapsing all vertical segments contained in it: this
yields a Poincaré-Reeb graph, which is naturally transversal to the foliation by vertical lines. We
show that any transversal graph whose vertices have only valencies 1 and 3 and are situated on
distinct vertical lines can be realized as a Poincaré-Reeb graph. This is joint work with Arnaud
Bodin (Université de Lille, France) and Patrick Popescu-Pampu (Université de Lille, France).
16
Third session (Thursday morning)

11:00 - 11:20
Strong avoiding games on graphs
Jelena Stratijev, University of Novi Sad
jelenaknezevic@uns.ac.rs
Given an increasing graph property F, the strong Avoider-Avoider F game is played on the
edge set of a complete graph. Two players, Red and Blue, take turns in claiming previously
unclaimed edges with Red going first, and the player whose graph possesses F first loses the
game. Of all standard positional games on graphs, strong Avoider-Avoider games seem to be
the hardest to analyze as many questions have been asked but few have been answered.
We prove that Blue has a winning strategy in two strong Avoider-Avoider F games, where
F is, respectively, the property of “containing a path of length 3” and “having a connected
component on more than 3 vertices”. We also study a variant, the strong CAvoider-CAvoider
games, with additional requirement that the graph of each of the players must stay connected
throughout the game, resolving the outcome for several games.
This is joint work with Miloš Stojaković.
11:20 - 11:40
Analogues of Chvátal’s Hamiltonicity theorem for randomly perturbed graphs
Alexander Allin, Technische Universität Ilmenau
alexander.allin@tu-ilmenau.de
We consider Hamilton cycles in randomly perturbed graphs, that is, graphs obtained as the
union of a deterministic graph H and a random graph. For this random pertubation we consider
both the binomial random graph G (n, p) and the geometric random graph G (n, r ). While most
research into randomly perturbed graphs assumes a minimum degree condition on H, here
we consider conditions on its degree sequence. Under the assumption of a degree sequence of
H which is comparable with the classical condition of Chvátal (dependent on a parameter α
analogous to the minimum degree condition in typical results in the area), we prove that there
exists some constant C = C (α) such that taking p = C/n suffices to a.a.s. obtain a Hamilton
cycle in H ∪ G (n, p). Under
√ the same conditions on H we further prove that there is a constant
K = K (α) such that r = K/n ensures a.a.s. that H ∪ G (n, r ) is Hamiltonian. Our results are
best possible both in terms of the degree sequence condition and the asymptotic value of p and
r, and extend the known results about Hamiltonicity in randomly perturbed graphs.
This is joint work with Alberto Espuny Díaz.
17
11:40 - 12:00
Edge Contraction and Forbidden graphs
Hany Ibrahim, University of Applied Science Mittweida
hhasan@hs-mittweida.de
Given a family of graphs H, a graph G is H-free if any subset of V ( G ) does not induce a
subgraph of G that is isomorphic to any graph in H. We present sufficient and necessary
conditions for a graph G such that G/e is H-free for any edge e in E( G ). Thereafter, we use
these conditions to characterize claw-free, 2K2 -free, C4 -free, C5 -free, and split graphs.
12:00 - 12:20
The semi-random tree process
Sofiya Burova, Ecole Normale Supérieure de Lyon, Lyon, France
sofiya.burova@ens-lyon.fr
The online semi-random graph process is a one-player game which starts with the empty graph
on n vertices. At every round, a player (called Builder) is presented with a vertex v chosen
uniformly at random and independently from previous rounds, and constructs an edge of his
choice that is incident to v. Inspired by recent advances on the semi-random graph process,
we define a family of generalised online semi-random models. Then, we analyse a particular
instance that shares similar features with the original semi-random graph process and study
the hitting times of classical graph properties.
More formally, in our model the process also starts with the empty graph on n vertices.
At the beginning of each round, Builder is offered a spanning tree T of Kn chosen uniformly
at random and independently from the previous rounds. He then chooses (following some
strategy depending only on information from the past) an edge from T and adds it (if not yet
present) to the already constructed graph. We show that an “optimal” strategy ensures whp that
(2πn)1/2
the hitting time of a graph with minimum degree k = o (n1/2 ) is given by kn 2 + 4 + o (n1/2 )
and we also provide an upper bound of kn 2 + O (max{ k, n
1/2 }) when k = o ( n ). While this yields
a lower bound for creating a perfect matching (resp. a Hamiltonian cycle), we describe strategies
for Builder to attain these properties whp in n2 + O((log n)n1/2 ) (resp. in n + O((log n)n1/2 ))
rounds. We also study the hitting time of an H–factor for a fixed graph H possessing an
additional tree-like property, and show that it is given by the trivial deterministic lower bound
up to lower order terms. Another contribution of the work is to show that Builder may cover
all n vertices by copies of any given graph H in dmin ( H )n + o (n) rounds whp, where dmin ( H )
is the minimum degree of a vertex in H, which is a factor of 2 away from a corresponding
deterministic lower bound.
Joint work with Lyuben Lichev.
18
12:20 - 12:40
Limiting Probabilities of First Order Properties of Sparse Graphs with Given
Degree Sequences
Alberto Larrauri, Barcelona Tech
lazaro.alberto.larrauri@upc.edu
Under natural regularity conditions, random graphs with a linear amount of edges and given
degree sequences satisfy a convergence law for first-order logic. That is, every first order
statement has a well-defined limit probability. The set L ⊆ [0, 1] of those limit probabilities has
been studied in other random models such as the binomial graph G (n, p) and uniform random
graphs in addable minor-closed classes. In our setting, we show that the closure L is always
a finite union of closed intervals. Additionally, the degree sequences achieving L = [0, 1] are
precisely those that yield acyclic graphs with probability at least 1/2.
This is joint work with Marc Noy and Guillem Perarnau
Fourth session (Friday afternoon)

15:00 - 15:20
Abelian varieties of GL4-type
Enric Florit, Universitat de Barcelona
enricflorit@ub.edu
The paramodularity conjecture is, in some ways, a generalisation of the well-known modularity
theorem for elliptic curves. It proposes that abelian surfaces and Siegel paramodular forms are
tightly linked via L-functions and Galois representations.
A possible extension of paramodularity to higher dimension should involve abelian varieties
of GL4 -type. We say a variety A is of GL4 -type if its endomorphism algebra contains a number
field of degree dim A/2. In this talk, I will classify the possible endomorphism algebras. Then,
I will describe some subfields of the endomorphism algebra. This will be useful to study the
Tate module and the ℓ-adic representations of the variety. Finally, I will present the examples
currently available to us, while mentioning further ones we’d like to find.
15:20 - 15:40
The Bar reduction of the classifying space via Discrete Vector Fields
Juan Antonio Delgado Tejada, Universidad de La Rioja
juan-antonio.delgado@alum.unirioja.es
The combinatorial description of the topological structure of the classifying space of a

reduced simplicialgroup as a simplicial set provides a complicated object. Undertaking the task
of calculating by computer the homology groups of that object is then challenging. Eilenberg
and MacLane provided a family of reductions (a special kind of homology equivalences) by
means of a filtration over the classifying space. However, they did not succeed at giving a
global reduction of the classifying space into the Bar construction, their actual goal. Although a
19
global reduction was finally given by P. Real thanks to the Homological Perturbation Theory,
we present an equivalent approach via discrete vector fields, one of the main tools of the
Discrete Morse Theory. This alternative description of the global reduction provides not only a
geometrical understanding of the construction of the reduction but also an efficient way to its
machine implementation.
This is a joint work with Ana Romero, Julio Rubio and Francis Sergeraert.
15:40 - 16:00
About the computation of vanishing ideals with applications to coding theory
Rodrigo San-José, Universidad de Valladolid
rodrigo.san-jose@uva.es
The class of Reed-Muller type codes over the projective space gives close connections between
Commutative Algebra and Coding Theory. In particular, these codes are isomorphic, as vector
spaces, to the quotient Fq [ x1 , . . . , xm ]/I (X), where X is a finite set of points in the projective
space Pm−1 over the finite field with q elements Fq . The basic parameters of these codes can
be obtained by computing invariants of the ideal I (X). Therefore, it is important to be able
to compute the vanishing ideal I (X). There is a typical situation in which X is given by the
rational points of the variety defined by a homogeneous ideal I. In this case, the classical way
to obtain I (X) requires computing the radical of an ideal. In this work, we show more efficient
ways to compute this vanishing ideal by using quotients of ideals and saturation.
This is a joint work with Philippe Gimenez and Diego Ruano.
16:00 - 16:20
Derived A∞ -algebras
Javier Aguilar Martín, University of Kent
ja683@kent.ac.uk
The notion of A∞ -algebras has been fruitfully studied in homotopy theory as a homotopical
generalization of associative algebras. Its geometrical roots have made them relevant in different
areas of mathematics such as algebraic topology, algebraic geometry and representation theory.
However, there are limitations to the power of A∞ -algebras when working with rings that
are not fields. For this reason, a more sophisticated notion of derived A∞ -algebras was defined.
We introduce here the idea of derived A∞ -algebras as a generalization of the classical
A∞ -algebras and explain the connection between them.
20
BYMAT 2022 Contributed talks: statistics and operations research
Statistics and Operations Research

First session (Wednesday afternoon)
15:00 - 15:20
Some Characteristics of the Conditional Set-Indexed Empirical Process involving
Functional Ergodic Data
Souddi Youssouf, University Dr. Moulay Tahar Saida
souddiyoucef@yahoo.fr
The purpose of this paper is to establish the invariance principle for the conditional set-indexed
empirical process formed by functional ergodic random variables. The limit theorems, dis-
cussed in this paper, are key tools for many further developments in functional data analysis
involving empirical process techniques. These results are proved under some standard struc-
tural conditions on the Vapnik-Chervonenkis classes of functions and some mild conditions on
the model.
15:20 - 15:40
The multi–purpose K–drones general routing problem
Paula Segura, Universitat Politècnica de València
psegmar@upvnet.upv.es
We present in this talk an optimization problem where a fleet of multi–purpose drones, aerial
vehicles that can both make deliveries and conduct sensing activities, have to jointly visit a
set of nodes and map some continuous areas (such as flooded areas or regions with a disease
outbreak). These areas can be modeled as a set of lines so that each area is completely serviced
if all the lines covering it are traversed. Thus, given a set of nodes and a set of lines, the problem
is to design drone routes of shortest total duration traversing the lines and visiting the nodes,
while not exceeding the range limit (flight time) and capacity (loading) of the drones. Unlike
ground vehicles, drones can enter and exit a line through any of its points, servicing only a
part of it. The possibility of flying directly between any two points of the network offered by
drones can lead to reduced costs, but it increases the difficulty of the problem. To deal with this
problem, the lines are discretized, allowing drones to enter and exit each line only at a finite set
of points, thus obtaining an instance of the K–vehicles general routing problem (K–GRP). We
present here an integer programming formulation for the K–GRP and propose a matheuristic
algorithm and a branch–and–cut procedure for its solution. Some computational results are
provided.
This is a joint work with James F. Campbell, Ángel Corberán, Isaac Plana and José María
Sanchis.
21
15:40 - 16:00
A primal-dual Interior Point Method for Linear Programming
Boutheina Fellahi , Ferhat Abbas University,Algeria
boutheina.fellahi@univ-setif.dz
In this paper, the authors propose a new variant of primal-dual interior point method for
solving a linear optimization problem under linear constraints using an inverse barrier method
to transform the constrained problem into an unconstrained one, the inverse barrier function
used is given by r ∑in=1 ( xir )−1 where r > 0. The descent direction is the classical Newton descent,
a tangent technique is proposed to calculate the optimal step size which is more efficient than
the classical line searches methods. The numerical tests are reported to show us the efficiency
of our technique.
This is joint work with Pr. Bachir Merikhi.
16:00 - 16:20
A Model for Fake News Diffusion and Neutralization in Social Networks
Fairouz Medjahed, Universidad Complutense de Madrid
Fairomed@ucm.es
The spread of fake news or misinformation through social networks has become a significant
challenge in recent years. A widely spread misinformation can lead to political changes,
financial markets damages, and social panic and confusion. Fake news can propagate quickly
through social networks, especially when supported by modern technologies like online social
media, mobile computing, and bots. This work explores the problem of minimizing fake news
spread through social networks. To control fake news dissemination, we adopt a counterbalance
strategy that addresses the issue of reducing misinformation spread by strategically selecting a
suitable set of seeds that could spread the truth once the fake news is detected. In this case, a
diffusion model, namely the Competitive Independent Cascade model, is proposed to model
competitive information propagation of two different information that evolves simultaneously
in the same social network. We evaluate the proposed model simulating fake news spread and
neutralization on four real social networks.
16:20 - 16:40
Long-haul freight transportation with full loads
Teresa Corberán, Universitat de València
tecorfa@alumni.uv.es
The long-haul freight transportation problem with full loads consists of designing routes for
a fleet of vehicles that load, transport and deliver goods, in such a way that each service of a
vehicle consists of transporting exclusively the goods of a single client to its destination. It is
about assigning and sequencing the services to the vehicles, trying to maximize the number of
22
services performed and to minimize the number of vehicles used and the time that each vehicle
travels empty.
Among the conditions that have to be satisfied, it stands out that drivers have a restricted
number of driving hours and are obliged to take certain breaks.
A formulation of a simplified version of the problem is presented and a metaheuristic
algorithm is proposed for the resolution of the original problem. The algorithm consists of a
construction phase and a local search procedure based on a Variable Neighborhood Descent
method.
16:40 - 17:00
Methods for analyzing statistical tests suites
Elena Almaraz Luengo, Department of Statistic and Operational Research, Faculty of
Mathematical Science, Universidad Complutense de Madrid (UCM), Spain
ealmaraz@ucm.es
In many areas of knowledge, it is necessary to work with long sequences of (pseudo-) random
numbers. For this purpose, it is essential to verify the goodness of the sequences under study,
e.g. to verify whether the sequences meet the properties of randomness and uniformity (and in
the case of cryptographic applications, unpredictability). To verify these properties, hypothesis
tests are used, which are usually grouped in sets of tests known as suites or batteries.
The correct design of a statistical test suite is essential for its subsequent use from both
a mathematical/statistical and computational point of view. In this paper we show several
techniques that can be used to verify whether a battery is correctly defined and implemented.
In addition, we will show examples that analyze the most well-known batteries used in practice,
such as the NIST Statistical Test Suite, ENT, or FIPS batteries, among others.
Second session (Thursday morning)

11:00 - 11:20
The Convergence of a new hybrid conjugate gradient method
Amina Hallal, Laboratory Informatics and Mathematics (LiM), Mohamed Cherif Messaadia
University, 41000 Algeria
a.hallal@univ-soukahras.dz
The conjugate gradient method was an efficient algorithm to solve the unconstrainted optimiza-
tion problems. In this paper we propose a new efficient nonlinear conjugate gradient coefficient
β k , is computes as a convex combination of two nonlinear conjugate gradient methods. We
prove the sufficient descent with using the strong Wolfe line search conditions. The global
convergence of the suggested method is established. The numerical results indicate that our
method is robust
23
11:20 - 11:40
A new method to explain neural networks thorugh polynomials: NN2Poly.
Pablo Morala, Universidad Carlos III de Madrid
pablo.morala@uc3m.es
Neural networks have been established as an indespensable tool inmachine learning. However,
their black box nature limits their interpretability. In this context, there is an increasing interest in
finding an overlapping area between neural networks and more traditional statistical methods,
which could be used as alternative representations of the former.
In this context, the NN2Poly method presented here aims to obtain an alternative repres-
entation of a neural network by means of polynomials. To do so, the weights from a given
trained feed forward neural network (MLP) are used to obtain the coefficients of a polynomial
that obtains almost identical predictions as the original neural network. To obtain the explicit
formula for the polynomial coefficients, Taylor expansion is applied at each activation function
and then several combinatorial properties are used to find the coefficient associated to each
combination of variables. However, this increases in complexity when adding more layers and
some computational limitations appear in practice. Furthermore, some restrictions need to be
imposed on the hidden layers weights to ensure that the Taylor expansion remains valid. The
performance of the method is empirically tested via simulations and real data examples. This is
joint work with J.Alexandra Cifuentes, Rosa E. Lillo and Iñaki Úcar.
11:40 - 12:00
Ordered median location problems with connection structure
Alberto Torrejón, Institute of Mathematics of the University of Seville
atorrejon@us.es
In this talk we present the Ordered Median Problem (OMT), a single-allocation facility location
problem where p facilities must be placed on a network connected by a non-directed tree. The
objective is to minimize the ordered weighted average allocation cost plus the facilities tree
connection average cost. We present different MILP formulations and algorithms for the OMT
based on properties of the Minimum Spanning Tree Problem and the ordered optimization.
This is a joint work with Miguel A. Pozo (miguelpozo@us.es; Institute of Mathematics of the
University of Sevilla) and Justo Puerto (puerto@us.es; Institute of Mathematics of the University
of Sevilla)
24
12:00 - 12:20
Condition Based Maintenance in degrading systems
Lucía Bautista-Bárcena, Universidad de Extremadura
luciabb@unex.es
Maintenance research has arisen increased attention in recent times. There are some aspects
that can affect the maintenance and increase the variability of the maintenance model: the
heterogeneities between components, the implementation of opportunistic maintenance policies,
the consideration of a lead time between failures and maintenance, etc.
Since industrial systems are becoming increasingly complex, they are likely to suffer from
multiple degradation processes. Hence, other important aspect is to analyse systems with more
than one degradation path. These degradation processes can present substantial variations
between them causing different degradation patterns. Different models have been proposed to
integrate the heterogeneities under the common idea that some parameters are process-specific
and different across processes.
This is joint work with Inma T. Castro and Luis Landesa.
12:20 - 13:40
Robust inference for step-stress accelerated-life tests under extremely censored data
María Jaenada , Complutense University of Madrid
mjaenada@ucm.es
Inferential methods in reliability investigate the lifetime distribution of a product from a

parametric approach. Some products are highly reliable with large lifetimes under normal
operating conditions, which makes experimentation quite difficult in terms of cost and time.
In those cases, accelerated life-testing, wherein the experimental units are subjected to higher
stress levels than normal conditions, may be considered. In particular, the step-stress ALT
model increases the stress level to all units under test at certain pre-specified times, inducing
the failure of more devices at higher stress levels. Furthermore, censoring times may appear in
many experimentation procedures, yielding in extreme cases to the so called one-shot devices.
On the other hand, recent works on one-shot devices have shown the advantage of using
divergence-based methods in terms of robustness, with an unavoidable (but not significant)
loss of efficiency. In this work we develop robust inferential procedures based on the density
power divergence (DPD) for non-destructive one-shot devices under the step-stress accelerated
life test model.
This is joint work with Leandro Pardo (Complutense University of Madrid) and Naray-
anaswamy Balakrishnan (McMaster University).
25
BYMAT 2022 Contributed talks: applied mathematics
Applied Mathematics
11:00 - 11:20
General Decay rate and nonexistence of A Viscoelastic Kirchhoff-Type Equation
With Delay And Source Terms
Saker Meriem, Department of Mathematics and Computer Science, Larbi Tebessi University
meriem.saker@univ-tebessa.dz
This work is devoted to study a nonlinear viscoelastic Kirchhoff-type equation with delay
and source terms in a bounded domain. Under suitable assumptions, and by using potential
well method we prove global existence of solutions, then by define Lyapunov functionals
appropriately to our equation we obtain a general decay of solution, also we prove the finite
time blow-up result of solutions with negative initial energy.
This is joint work with my supervising [Dr. Boumaza Nouri] and [Dr. gheraibia billel].
11:20 - 11:40
On the Existence of Solution for a coupled Fractional System at Resonance and
Nonresonance
Dob Sara, Laboratory of Applied Mathematics and History and Didactics of Mathematics
(LAMAHIS), Department of Mathematics, University 20 August 1955, Street el-hadaiek p.o.box
26, Skikda, Algeria
dobsara@yahoo.com
In this article, we study the existence of a weak solutions for the nonlinear fractional elliptic
systems with Dirichlet boundary conditions in three cases. We use the Leray-Schauder degree
and some sufficient conditions for the solvability of a resonance and non-resonance systems
with respect to the spectrum of the fractional Laplacian.
11:40 - 12:00
Efficient Compact Scheme for Second-Order Parabolic Equation with Nonlocal
Conditions
Nouria Arar, Department of Mathematics, University of frères Mentouri, Constantine 1,
Algeria
ara.nouria@umc.edu.dz
This work proposes a high-accuracy numerical method based on a compact difference

scheme and explicit fourth order Runge Kutta approach for the heat equation with non-local
boundary conditions (NLBC). According to this approach, the partial differential equation
which represents the heat equation is transformed into several ordinary differential equations.
These time dependent ordinary differential equations are then solved using an explicit fourth
order Runge–Kutta method. Test problems are examined to demonstrate the accuracy of the
26
current methods. After that, a comparison is done between numerical solutions obtained by the
proposed method and the analytical solutions as well as the numerical solutions available in
the literature.
12:00 - 12:20
An operational calculus formulation of fractional calculus with general analytic
kernels
Noosheza Rani, Eastern Mediterranean University, Famagusta, Northern Cyprus
nooshezarani@yahoo.com
Fractional calculus with analytic kernels provides a general setting of integral and derivative
operator that can be connected to Riemann–Liouville fractional calculus via convergent infinite
series. We interpret these operators from an algebraic viewpoint, using Mikusinski’s operational
calculus, and utilize this algebraic formalism to solve some fractional differential equations
12:20 - 12:40
Modified Cubic B-Spline collocation method for Numerical computation of a Linear
Fractional Integro-Differential Equations
Kelthoum Lina REDOUANE, University Frères Mentouri , Constantine, Algeria.
kelthoumlina.redouane@student.umc.edu.dz
An efficient numerical method for solving fractional integro-differential equations is explored

in this paper. This technique, which involves the use of collocation points to transform the
integro-differential equation into a system of linear algebraic equations, is based on a set
of cubic B-spline polynomials. Error bounds are considered for the given spline functions.
Some numerical examples are used in order to show the effectiveness of this method and the
application of the findings. "This is joint work with [Nouria ARAR]".
Second session (Wednesday morning)

11:00 - 11:20
Applications of modified Dugdale model to multiple collinear straight cracks with
coalesced yield zones
Naved Akhtar, Department of Applied Sciences and Humanities, Jamia Millia Islamia New
Delhi-110025.
naved.a86@gmail.com
In this paper, the interaction between multiple collinear straight cracks in an infinite isotropic
plate whose boundary is subjected to uniform tensile stress is investigated using Dugdale’s
hypothesis. The traditional concepts of Muskhelisvili’s complex variable method have been
27
used to solve the fracture problem of an infinite elastic perfectly plastic plate. The critical
conditions when some pairs of adjacent yield zones coalesced are obtained. Three different
forms of internal stresses within the yield zones are considered in this paper. Assuming the
crack and corresponding yield zones as a fictitious crack, complex integrals are formulated in
terms of potential functions. By solving obtained integrals, analytical expressions of critical
remote stress, stress intensity factor (SIF), yield zone length, and crack tip opening displacement
are derived. Numerical results are plotted graphically between yield zone length, applied load
ratio, and crack tip opening displacement and analyzed for different inter-crack distances and
different crack lengths.
11:20 - 11:40
Some properties of poly-Changhee polynomials and its applications
Raghib Nadeem, Maulana Mukhtar Ahmad Nadvi Technical Campus, Mansoora, Malegaon ,
Maharashtra, India
raghibmaths2015@gmail.com
In 2013, Kim et al introduced Changhee polynomials and numbers and obtained interesting
identities and properties of those polynomials from umbral calculus. In this article, we introduce
the poly-Changhee numbers and polynomials and derive new explicit formulas and identities
for those numbers and polynomials.
11:40 - 12:00
A primal-dual splitting algorithm for composite monotone inclusions with minimal
lifting
David Torregrosa-Belén, Universidad de Alicante
david.torregrosa@ua.es
In this talk, we present a new primal-dual splitting algorithm for finding a zero of the sum of
maximally monotone operators composed with linear operators. We show that the proposed
method reduces the dimension of the product space where the underlying fixed point operator
is defined, in comparison to other algorithms, without requiring additional evaluations of the
resolvent operators. In fact, our scheme is proved to be minimal in some sense.
This is a joint work with Francisco J. Aragón-Artacho and Radu I. Boţ.
28
12:00 - 12:20
Fixed Point Theorem On a Time Scale For Nonlinear Neutral Dynamic Equations
with Variable Coefficients
Ibtissem Daira, Faculty of Sciences and Technology, Department of Mathematics and
Informatics, Univ Souk Ahras, P.O. Box 1553, Souk Ahras, 41000, Algeria
ibtissem.daira@gmail.com
The purpose of this paper is to use Krasnosel’ski˘ı’s fixed point theorem to prove the existence
of positive periodic solutions for nonlinear neutral dynamic equations with variable coefficients
on a time scale. We invert these equations to construct a sum of a contraction and a compact
map which is suitable for applying the Krasnosel’ski˘ı’s theorem.
12:20 - 12:40
Nonlinear diffusion and image contour enhancement via free-boundary problem
Achour Hossemddine, University of M’Sila, Laboratory of pure and applied
mathematics,M’Sila, Algeria
achour.hossemddine@univ-msila.dz
Many models which use non-linear PDEs have been extensively used for different tasks of
edge enhancement in image processing. The mean curvature flow filtering has tremendous and
impressive results, for which feature directions in the image are important. In this work, we
investigate a class of PDEs for image processing which generalize the the mean curvature flow
, based on a new evolution model consider as a generalization of mean curvature motion. A
free boundary problem is formulated describing the image intensity evolution in the boundary
layers around the edges of image.
Third session (Wednesday afternoon)

15:00 - 15:20
Rational methods for abstract linear, non-homogeneous problems without order
reduction
Carlos Arranz Simón, Universidad de Valladolid
carlos.arranz@uva.es
Starting from an A-stable rational approximation to ez of order p,
|r (z)| ≤ 1, for Re(z) ≤ 0; r (z) = 1 + z + · · · + z p /p! + O(z p+1 ),
families of stable methods are proposed to time discretize abstract IVP’s of the type u′ (t) =
Au(t) + f (t), where A is the infinitesimal generator of a C0 semigroup in a Banach space.
These numerical procedures turn out to be of order p, thus overcoming the order reduction
phenomenon exhibited by the A-stable Runge-Kutta methods. This is a joint work with César
Palencia.
29
15:20 - 15:40
Optimal control of an abstract hyperbolic-parabolic system depending on a coupled
parameter with missing initial conditions
Meriem Louafi, Larbi Tbessi University, Algeria.
meriem.louafi@univ-tebessa.dz
This presentation deals with the average optimal control of abstract hyperbolic-parabolic sys-
tems depending on a coupled parameter, with missing initial conditions. We broach the concept
of average no regret control and its approach, the low-regret control to get a general description
from our optimal control to optimality system. Furthermore, as an example, we applied that
hypothesis on a thermoelastic system depending on a coupled parameter with missing initial
conditions, by use of the Euler Lagrange first-order optimality condition, we are provided the
optimality system approach, the average low regret control, and the average no regret control.
”This is joint work with [Abdelhak Hafdallah, Fayçal Merghadi and Mouna Abdelli]”.
15:40 - 16:00
Well possedness for coupled nonlinear wave equations with fractional damping
Sabah Baibeche, Department of mathematics , Laboratory of Applied Mathematics and
History and Didactics of Mathematics, University of 20 August 1955
sabahbaibeche@gmail.com
In this work, we consider coupled system of nonlinear wave equations with fractional damping
terms, in a bounded domain. The existence and uniqness of the solution under some suitable
conditions is established.
16:00 - 16:20
Homogenised elastic terms for an Oseen-Frank type of energy in R2 for nematic
liquid crystals
Razvan-Dumitru Ceuca, BCAM Bilbao(Basque Center for Applied Mathematics) &
UPV/EHU (Universidad del País Vasco/Euskal Herriko Unibertsitatea)
rceuca@bcamath.org
We consider a general formulation for an Oseen-Frank type of elastic energy for nematic liquid
crystals in a two dimensional setting for a periodically perforated domain, with isolated holes.
We impose sufficient conditions such that, for a sequence uε of critical points that generate low
enough energy states, we can apply the lifting procedure and write uε = eiφε over the entire
perforated domain. We study then the scalar homogenisation problem for the phases φε and we
obtain a local L2 convergence result. In the end, we prove that the same L2 local convergence
result holds for the initial S1 -valued homogenisation problem.
30
16:20 - 16:40
About the structure of attractors for a nonlocal Chafee-Infante problem
Rubén Caballero Toro, Universidad Miguel Hernández
ruben.caballero@umh.es
In this work, we study the structure of the global attractor for the multivalued semiflow
generated by a nonlocal reaction-diffusion equation in which we cannot guarantee uniqueness
of the Cauchy problem. In particular, we analyse the existence and properties of stationary
points studying their stability. Therefore, we characterize the attractor in terms of the stationary
points and their connections.
16:40 - 17:00
Multiple timescale coupled systems with MMOs. New behaviours and ROM
simulations
Alejandro Bandera, Dpto. EDAN & IMUS - Universidad de Sevilla
abandera@us.es
The features between two identical 3D slow-fast oscillators, symmetrically coupled, and
built as an extension of the FitzHugh–Nagumo dynamics generating Mixed-Mode Oscillations
(MMOs) have been analyzed. The global model is therefore six-dimensional with two fast
variables and four slow variables with strong symmetry properties.
In the present work, we have considered two extensions for this model. First, we consider
heterogeneity among cells via one parameter which tunes the intrinsic frequency of the output.
Also, we analyze the coupling of the two oscillators for different values of the parameter
and identify new patterns of anitphasic synchronization, with non-trivial signatures and that
exhibit a Devil’s Staircase phenomenon when varying the heterogeneity parameter. Second,
we introduce a network of N cells divided into two clusters: the coupling between neurons in
each cluster is excitatory, while the coupling between the two clusters is inhibitory. To perform
the numerical simulations when N is large, as an initial step towards the network analysis, we
consider Reduced Order Models (ROMs).
“This is joint work with S. Fernández-García, M. Gómez-Mármol and A. Vidal”.
Fourth session (Wednesday afternoon)

15:00 - 15:20
Modeling the COVID-19 pandemic: variants and vaccines
Alicja B. Kubik, Universidad Complutense de Madrid and Instituto de Matemática
Interdisciplinar
akubik@ucm.es
On December 2019, a new virus emerged and started to spread through the Chinese city of
Wuhan, the SARS-CoV-2. On 30 January 2020, the WHO declared the COVID-19 as a public
31
health emergency of international concern. On 11 March 2020, it is declared the first pandemic
caused by a coronavirus.
This last year, new SARS-CoV-2 variants have emerged and most of the European population
is fully vaccinated against COVID-19. Here, we present a θ-SIR model that has been tested with
real data during this pandemic. It is an improvement of previous models - now we incorporate
new compartments to consider vaccination and divide each infectious compartment depending
on the amount of different SARS-CoV-2 variants, to finally apply it to the territory of Italy.
This is a joint work with Ángel M. Ramos, Benjamin Ivorra and María Vela-Pérez (UCM,
IMI), and Miriam R. Ferrández (UAL, IMI).
15:20 - 15:40
Sensitivity Analysis of Ongoing Outbreak of Coronavirus (COVID-19) Epidemic
Model
Idris Ahmed, Department of Mathematics, Sule Lamido University, P. M. B 048 Kafin-Hausa,
Jigawa State, Nigeria.
idris.ahmed@slu.edu.ng
Since it was first identified in Wuhan, China, at the end of 2019, the coronavirus disease
(COVID-19) pandemic has become a growing threat to global health. The epidemic emerged
in Thailand in January 2020, with the Ministry of Public Health (MOPH) reporting the first
cases in Bangkok. Mathematical modeling has been an effective method in understanding
infectious disease transmission. In this paper, a compartmental epidemic model comprised of
a system of six nonlinear differential equations with intervention strategy were propose and
study to examines the transmission dynamics of the COVID-19 pandemic with reported data
on daily cases of coronavirus in Thailand. The non-negativity and boundedness of the solutions
were investigated, demonstrating that the model under consideration is mathematically and
epidemiologically well-posed. Furthermore, using the concept of the next-generation matrix, we
calculate the basic reproduction number and evaluate its stability. Furthermore, the proposed
model was fitted with commutative and new daily cases from Thailand to validate and estimate
some model parameters. To determine the impact of different parameters on R0 , sensitivity
analysis were investigated. To support the analytical results, an effective numerical scheme was
employed to explore the dynamic behavior of the model.
15:40 - 16:00
Calibration of a mathematical model describing the transmission dynamics of
Respiratory Syncytial Virus (RSV).
Pilar Cano-Arcos, Universidad de Córdoba
pcanoarcos@gmail.com
Here, we build a mathematical model to describe the transmission dynamics of the Respiratory
Syncytial Virus (RSV), a seasonal infectious disease that mainly affects toddlers and people
older than 65. Once the model has been established, our goal is to calibrate the model. However,
we only have data series of reported infected cases, not all the infected cases. Then, we propose
32
a calibration technique where we consider the peaks of the seasonal reported cases series and
the R0 of RSV described in the literature.
16:00 - 16:20
Enhancing marketing campaigns through Machine Learning and social login data
Jose Manuel Camacho Rodriguez, ICMAT-CSIC
josemanuel.camacho@icmat.es
Social login is a recurrent method to register on websites and apps using a social network
account. In addition to making registration of new users easier, it allows hosting companies to
gather information about users’ social network profiles. Thus, social logging is a very valuable
data source, exploitable for potential marketing applications like customer targeting. In this talk,
we introduce several Machine Learning approaches implemented in real industrial scenarios
that leverage social login data for user modeling, lookalike detection, and personality traits
prediction. We will discuss the mathematical background of these approaches and their positive
impact on the marketing industry.
This is joint work with Roi Naveiro.
16:20 - 16:40
Centrality control problems in network theory: understanding PageRank rankings
Gonzalo Contreras Aso , URJC
gonzalo.contreras@urjc.es
In the field of Complex Networks, one of the most prominent features that can be extracted
from a network is its centrality: assigning scores to each node based on a given notion of
importance in the network. This has plenty applications, depending on the specific measure; in
particular an network-based algorithm called PageRank was designed as a centrality measure
almost 25 years ago, allowing Google to later become one of the most profitable companies in
the world.
An interesting question related to these concepts is how much can we control or adjust the
centrality of a network if we allow certain changes (either in the graph itself or in the centrality
measure). In this work we give an overview of some already known results, and show recent
progress in understanding the controllability of the PageRank algorithm. This will require us
to shift the problem to a more geometrical viewpoint, after which some interesting analytical
results can be derived.
Joint work with Prof. Miguel Romance and Prof. Regino Criado.
33
16:40 - 17:00
Multiscale analysis of a model SIRSm Im including human mobility
Thiago Kfouri De Angelis, Universidade de São Paulo
thiagokda@ime.usp.br
This is a joint work with Larissa Marques Sartori and Marcone Corrêa Pereira.
Dengue epidemics have been a major concern in Brazil for decades. Due to migration,
climate changes and other factors, the cases are rarely restricted to a single city or area. To study
the distribution of dengue cases in nearby cities, a model based in those of Ross-Macdonald,
with three human compartments and two of mosquitos, was investigated through the qualitative
theory of ODEs and numerical analysis. This model considers the spatial mobility of humans
and the difference in time scales between human and vectors.
The multiscale induces a parameter ϵ and it was shown that the model converges to a
simplified one when ϵ → 0 and therefore the first can be approximated by the latter. The basic
reproduction number R0 was found through Van den Driessche and Watmough’s method for
the approximated system and its dynamics were examined. The disease free equilibrium was
proven to be globally asymptotically stable when R0 < 1 and unstable otherwise. To analyse
human spatial dynamics, the model was fitted to a simplified mobility network including Rio
de Janeiro and neighbouring cities.
Fifth session (Thursday morning)

11:00 - 11:20
Stable computations with RBFPUM using generalized Laguerre polynomials for
solving the Richards equation
El Hassan Ben-Ahmed, Engineer Sciences Laboratory, Faculty of Sciences Agadir, Ibn Zohr
University, Morocco
elhassan.ben-ahmed@edu.uiz.ac.ma
In the kernel-based approximation theory, it is well known that the gaussian radial basis
function contains a parameter ε called the shape parameter. It controls the stability and the
accuracy of the numerical solution. As ε tends to zero, we are often expected to obtain the
most accurate solution for partial differential equations. However, ill-conditionning issues
often occurs when using the standard gaussian basis. The aim of this study is to present a new
numerical method, denoted as RBFPUM-Laguerre, that can stably provide accurate solutions in
the flat limit regime (as ε tends to zero) for solving partial differential equations. Furthermore,
error estimates of the method are established. The proposed method is based on the generating
function theory of the generalized Laguerre polynomials and the partition of unity principle.
It avoids the searching procedure for the truncation value of the derived series expansion, by
setting it equal to the number of collocation points. As an application, we numerically solve the
highly nonlinear Richards equation to show the effeciency of the proposed method.
34
11:20 - 11:40
A quasistatic Electro viscoelastic contact problem with friction
Besma FADLIA, MMC Laboratory,Department of Mathematics, Faculty of Exact Sciences,
Mentouri Brothers ConstantineUniversity, Constantine, Algeria
besmafadlia@gmail.com
In this paper, We study the antiplane frictional contact models for electro-viscoelastic materials,
both in quasistatic case. The material is assumed to be viscoelastic with short term memory and
the friction is modelled with Tresca’s law. we derive a variational formulation for each model
that is in the form of an elliptic variational inequality for the displacement field, then we prove
existence and uniqueness results for the weak solution.
”this is joint work with [Mohamed DALAH]”.
11:40 - 12:00
Global convergence of a new hybrid conjugate gradient method based on the
Newton direction with inexacte line search for unconstrained optimization
Naima Hamel, Laboratoire de Mathématiques Appliquées et de Modélisation, Université 8
Mai 1945 Guelma, Algeria
hamel.naima@univ-guelma.dz; hamelnaima24@gmail.com
In this paper we are interested by the Newton and the conjugate gradient methods for solving
unconstrained optimization problems. We aims to build a new hybrid conjugate gradient
method very close to the Newton method but without the need to use the Hessian matrix. For
this purpose, we proposed to link the DY and DL conjugate gradient methods in a convex
blend with appropriate conditions. The descent property and the sufficient descent condition
are verified. The global convergence of our method is proved under a strong wolf line search.
The numerical comparisons show that our conjugate gradient algorithm is more practical and
efficient than the DY and DL methods.
This is joint work with

Noureddine Benrabia2 , Mourad Ghiat1 , Hamza Guebbai1
1 Laboratoire de Mathématiques Appliquées et de Modélisation, Université 8 Mai 1945 Guelma, Algeria
2 Département de Mathématiques et Informatique, Universite Mohamed-Chérif Messaadia, Algeria
noureddinebenrabia@yahoo.fr; mourad.ghi24@gmail.com;
guebaihamza@yahoo.fr
35
12:00 - 12:20
Stability analysis of metaheuristics algorithms
Ihcène Naâs, Institute of Optics and Precision Mechanics, University of Setif-1, Algeria.
ihcene.naas@univ-setif.dz
Meta-heuristics algorithms witness a great demand to solve complex optimization problems,

due to their reduced complexity and their advantage of being easy to implement without any
presuppositions on the objective function. However, they are very sensitive to the parameter
sitting. Fine-tuning improves considerably the performance of the algorithms, hence the
solution’s quality. The stability analysis for the metaheuristics may help us to understand
the algorithms behavior, determine their control parameters stability area, then improve their
performance. Nevertheless, establishing such analysis is not a trivial task because of the complex
correlations (especially for population metaheuristics), the asynchronous aspect (stochastic
process), and rather the large number of parameters for some metaheuristics. Yet, we were
able to model some metaheuristics and studied their stability through different mathematical
approaches such as matrix iterative processes, differential equations or stochastic processes. We
have succeeded to derive under which conditions these algorithms are stable and used these
outcomes to enhance the algorithms’ parameter sitting.
Keywords: Metaheuristic; Modeling; Iterative process; Absolute stability; Stochastic stabil-
ity.
12:20 - 12:40
Some properties of Generalized Finite Operators
Nadia Mesbah, Department of Mathematics and Computer Science, Laboratory of
Mathematics, Informatics and Systems (LAMIS), Larbi Tebessi University, Tebessa, Algeria
nadia.mesbah@univ-tebessa.dz
Let H be a complex Hilbert space and B(H) denotes the algebra of all bounded linear operators
acting on H. In this paper, we present some properties of generalized finite operators. More
precisely, properties of operators ( A, B) ∈ B(H) × B(H) satisfying:
∥ AX − XB − I ∥ ≥ 1; for all X ∈ B(H).
We also present new pairs of generalized finite operators. Range kernel orthogonality of
generalized derivation is also studied.
36
Sixth session (Thursday morning)

11:00 - 11:20
Numerical solution of coupled fractional order advection diffusion equations by
spectral collocation method
Mohd Kashif, Department of Mathematical Sciences, IIT(BHU), Varanasi-221005, India
mohdkashif825@gmail.com
In this article a non-standard finite difference collocation method is developed with the help
of Fibonacci polynomial to solve the coupled type fractional order Burgers’ equation. To
show the efficiency of the method, it is used to solve the coupled Burgers’ equation having
exact solutions and compared the obtained numerical results with the existing results through
error analysis. Through the tabular presentation of the results, it is shown that the proposed
method is performing much better as compared to the existing methods even for less degree of
approximation and less order of temporal discretization. After validation, the method is used
for solving a nonlinear fractional order coupled Burgers’ equation and simulate the results for
different fractional order spatial derivative for different values of the parameters.
11:20 - 11:40
Strip-electromechanical modelling for three equal collinear impermeable cracks in
piezoelectric materials
Irshad, Department of Mathematics, Faculty of Natural Sciences, Jamia Millia Islamia, New
Delhi -110025
saifiarshad64@gmail.com
A strip-based electromechanical yielding model for a transversely isotropic piezoelectric plate

cut along three equal collinear impermeable cracks is proposed in this work. The problem is
solved using the Stroh formalism and a complex variable technique. Analytical closed form
expressions are obtained for different fracture parameters like crack opening displacement,
crack opening potential drop, saturation zone, yield zone, and energy release rate.An illustrative
numerical study is prescribed to determine the effect of various fracture parameters to arrest
further opening of cracks and presented graphically. The results reveal that the model is capable
of crack arresting under small-scale mechanical and electric yielding.
11:40 - 12:00
Mixed finite elements method for the p-curl problem
Montasser Hichmani, Ecole Nationale Supérieure des Mines de Rabat
mhichmani@gmail.com
The objective of our work is to develop a mixed finite element method for the resolution of
the parabolic p-curl problem. The optimal design of a new generation of devices based on
high-temperature superconducting materials requires rapid and accurate prediction of joule
losses, but current formations in commercial codes have 3-D resolution times of some days.
37
This does not allow the consecutive resolution of a large number of problems for different
parameters. The mixed formulation with continuous galerkin time discretization has a discrete
but exact form of Ampere’s law. This law links the current in a superconductor to the magnetic
fields far from the conductor and what we want to know is the interaction by the magnetic
field between the different conductive components. Thanks to this property, it is reasonable
to believe that the joule losses will be correctly estimated at large scale, even for the coarse
discretizations, of course the spatial discretization by the mixed hybrid method will use the
Nedelec elements. in theory the problem is an analogue in electromagnetism of the famous
p-laplacian. The nonlinearity induces a strong variation in the magnetic field at the boundary
of the thin conductive layer. Therefore, traditional numerical methods require very small time
steps. The existence of a discrete form of Ampere’s law should allow good estimation of joule
losses even for coarse meshes.
12:00 - 12:20
Global stability for an age structured model with protection class
Fatima Zohra Hathout, Laboratoire d’Analyse Non Linéaire et Mathématiques Appliquées,
University of Tlemcen, Algeria
fatima.zohra.hathout@gmail.com
In this research, we consider the influence of protection measures on the spread of infectious
diseases in an age-structured population. Protection strategy can take different forms as
isolation, treatment, or renewable vaccine; to mathematically represent it, we include a new
compartment p standing for protected individuals, in a classical age structured si model.
Global analysis of the proposed model is made by the introduction of total trajectory and a
suitable Lyapunov functional.
We give a particular importance to the protection strategy and many numerical simulations are
provided to illustrate our theoretical results.
this is joint work with Tarik Mohammed Touaoula and Salih Djilali.
12:20 - 12:40
On the Analysis of Minimum Energy Control of two Dimensional Hybrid Systems
Kamel BENYETTOU, Djillali BOUAGADA and Mohammed Amine GHEZZAR, ACSY
Team-Laboratory of Pure and Applied Mathematics, Department of Mathematics and
Computer Science, Abdelhamid Ibn Badis University Mostaganem, Algeria.
kamel.benyattou.etu@univ-mosta.dz, djillali.bouagada@univ-mosta.dz,
amine.ghezzar@univ-mosta.dz
The aim of this study is to give a contribution on the minimum energy control problem for
a certain class of two-dimensional linear systems. The concept of minimum energy control
problem has a wide range of applications in control theory and systems engineering, as well as
digital image processing, automatic, dynamical systems, electrical engineering, electromechan-
ics and chemical reaction problem. Many scientists have investigated and developed solutions
to the minimum energy control problem. In this research, we are interested in a new class of
38
two-dimensional hybrid systems called continuous-discrete-time linear systems. The presented

method is based on the use of the Gramian matrix and the concept of controlability of the
considered model. It is shown that when a system is controllable, there is an optimal control
input that transfer the the model from the initial state to the final state. Some illustrative
simulations are provided to demonstrate the applicability of the proposed technique.
Seventh session (Friday afternoon)

15:00 - 15:20
Weak Hopf algebras, Matrix Product Operators and the classification of quantum
phases of matter
Alberto Ruiz de Alarcón, ICMAT-CSIC and UCM
alberto.ruiz.alarcon@icmat.es
Quantum tensor networks provide a state-of-the-art paradigm for the description of quantum
many body systems, one of most fruitful driving forces in theoretical physics. A lot of progress
has been made over the past years understanding the entanglement structure of such quantum
systems. This has led, in particular, to the analysis of tensor networks, which model degrees of
entanglement using local objects. In this talk we will examine some key ideas on the correspond-
ence between the representation theory of Weak Hopf Algebras and certain algebras of Matrix
Product Operators (see arXiv:2204.05940). Furthermore, this bridge between both branches of
mathematical physics has provided, among other things, powerful tools to investigate phases
of a large variety of open quantum systems described by renormalization fixed point density
operators and classified using shallow circuits of quantum channels (see arXiv:2204.06295).
15:20 - 15:40
The control of the Timoshenko system with delay by memory-type conditions on
the boundary
Hocine Makheloufi , Mascara University
Faculty of exact sciences
hocine.makheloufi@yahoo.com
Our interest in this research work is to study the asymptotic stability of the Timoshenko with
delay terms in the two equations and boundary conditions of a memory type. Under suitable
assumption on the weight of the delayed feedbacks and wider class of relaxation functions, we
establish a general decay result by introducing a suitable Lyapunov functionnal.
Keywords: Timoshenko system, delay term, viscoelastic damping, general decay, multiplier
method.
39
15:40 - 16:00
WELL-POSEDNESS AND GENERAL ENERGY DECAY OF SOLUTION FOR
MOORE-GIBSON-THOMPSON EQUATION WITH A NONLINEAR DAMPING
TERM
HASSAN MESSAOUDI , Department of Mathematics and Informatics
Laboratory of Informatics and Mathematics (LIM)
Mohamed-Cherif Messaadia University - Souk Ahras , 41000, Algeria.
hassanmessaoudi50conf@gmail.com
In recent years, there has been a lot of interest in the Moore-Gibson-Thompson equation
(abbreviated MGT), and numerous papers have been written to investigate and comprehend
it. Moreover, the Moore-Gibson-Thompson (MGT) equation is based on the modeling of high
amplitude sound waves. There has been quite a bit of work in this area of research due to a
wide range of applications such as medical and industrial use of high-intensity ultrasound
in lithotripsy, heat therapy, ultrasonic cleaning, etc. The goal of this talk is to discuss the
asymptotic behavior of the Moore-Gibson-Thompson equation with a nonlinear damping term.
First, we establish the well-posedness of the system by using the semi-group method. Also, by
using some properties of convex functions and Lyaponov functional, we obtain general stability
estimates
16:00 - 16:20
PDDSparse: Solving PDE’s in the post-Moore era
Jorge Morón, University Carlos III of Madrid
jmoron@math.uc3m.es
PDDSparse is our brand new approach to Probabilistic Domain Decomposition which aims to
provide a set of algorithms to solve large-scale elliptic BVPs with superior scalability. In order
to do so, PDDSparse relies on the stochastic representation of BVPs. However, this stochastic
representation is less numerically convenient or unknown in cases such as the Helmholtz
equation and semilinear elliptic BVPs. In this talk, PDDSparse will be presented alongside the
iterative schemes we have developed in order to overcome some of its limitations. Furthermore,
we will show some proof of concept results of its performance carried out on Marconi-100, the
GPU accelerated supercomputer from CINECA.
This is a joint work with Francisco Bernal (UC3M), Andrés Berridi (UC3M), Juán Acebrón
(IST of Lisbon) and Renato Spigler(Roma Tre University).
40
16:20 - 16:40
Homomorphic encryption and collaborative camera attribution
Alberto Pedrouzo-Ulloa, atlanTTic Research Center, Universidade de Vigo
apedrouzo@gts.uvigo.es
Camera fingerprints are especially relevant within multimedia forensics, as they can be used
to determine the device which captured a particular image. Although they can be extracted
through some estimation methods, recent works show that the obtained estimates can leak
a considerable amount of information of the images used for extraction. Unfortunately, this
leakage constitutes a serious obstacle in investigations requiring collaboration between inde-
pendent institutions. This talk explores the use of several cryptographic techniques with the
aim of guaranteeing a successful and fruitful exchange of sensitive multimedia forensic data in
cross-border investigations, where collaboration is highly limited due to privacy law restric-
tions. In particular, the use and features of homomorphic and threshold encryption schemes
are discussed, together with the benefits they bring about to jointly exploit forensic data in the
problem of fingerprint estimation. This is joint work with Fernando Pérez-González and David
Vázquez-Padín.
16:40 - 17:00
Global well-posedness and asymptotic behavior of Shear beam models subject to a
distributed delay
Sami Loucif, Laboratory of Mathematics, Informatics and Systems (LAMIS), Larbi Tebessi
University, Tebessa, Algeria
conferences2022conferences@gmail.com
In this work, we consider a beam model known as Shear beam model (no rotary inertia) subject
to a distributed delay acing on the first equation. By using the Faedo–Galerkin method, we
prove that this system accepts only one global solution. Next, we find the energy expression
related to this system, and by using the technique of Lyapunov functional, we demonstrate
that this system is exponentially stable irrespective of any condition on the coefficients of the
system.
41
Eighth session (Friday afternoon)

15:00 - 15:20
Numerical Solving of Fractional Integro-Differential Equations Using Shifted
Chebyshev Polynomials.
Ahlem Benzahi, Abdelhafid Boussouf University Centre of Mila, Algeria.
a.benzahi@centre-univ-mila.dz
This study deals with the numerical solution of a class of linear fractional integro-differential
equations. The fractional derivative is considered in the Caputo sense. In this work a class of
fractional integro-differential equations are solved using the least squares method employing
shifted Chebyshev polynomials of the first Kind, in order to reduce the problem to a system of
linear algebraic equations. This system of equations will then be solved using Matlab 2020 to
determine the unknown constants associated with the approximate solution. Finally, numerical
examples are provided to show the validity, usefulness, and effectiveness of this method.
This is joint work with [ Nouria Arar and Nadjet Abada].
15:20 - 15:40
Some bifurcation problems of scalar nonautonomous differential equations with
concave derivative and applications on the study of critical transitions in population
dynamics
Jesús Dueñas, Universidad de Valladolid
jesus.duenas@uva.es
In this talk, we will describe different kind of one-parametric bifurcations of minimal sets
and global attractors of dissipative nonautonomous scalar ordinary differential equations with
concave derivative by means of the skewproduct formalism. Special attention will be paid to
saddle-node bifurcations of minimal sets.
Critical transitions are sudden and abrupt changes in the state of a complex system which
occur on account of small variations on external parameters. The studied bifurcations will
provide an adequate framework to study critical transitions in some nonautonomous scalar
models arising in population dynamics.
This is joint work with Rafael Obaya and Carmen Núñez.
15:40 - 16:00
An iteration method for nonlinear fractional differential equation
Rima Faizi, LMA Laboratory, Department of Mathematics, Badji Mokhtar-Annaba University,
Annaba, Algeria
rima24math@gmail.com
In this work, we establish sufficient conditions for nonlinear fractional differential equations
with Caputo fractional derivative. Our results are obtained by using iteration method combined
with Gronwall’s inequality. Finally, An example is given to illustrate our theory results.
42
16:00 - 16:20
A bound-preserving upwind DG scheme for the convective Cahn-Hilliard model
Daniel Acosta Soba, Dpto. de Matemáticas, Universidad de Cádiz / Mathematics Dept.,
University of Tennessee at Chattanooga
daniel.acosta@uca.es
The classic Cahn-Hilliard equation is a phase-field model that describes the separation process
of a binary mixture into two different states or phases. The solution of this model assigns a label
to each of the phases, which are separated by a thin diffuse interface. In many cases, obtaining
a discrete approximation that conserves the bounds given by the labels is crucial for the real
application of this model to different fields.
However, preserving the bounds of convective models is usually a difficult task. In this
sense, this work is devoted to developing a new well-suited upwind Discontinuous Galerkin
(DG) scheme for the convective Cahn-Hilliard model with degenerate mobility. In particular, we
analyze the properties of this scheme, which preserves the maximum principle of the continuous
model preventing non-physical spurious oscillations.
Moreover, we compare this scheme with previous schemes found in the literature through
different numerical experiments in which we show the remarkable improvements made by the
new DG scheme. A numerical comparison between the order of convergence of the different
spatial schemes is also carried out.
This is joint work with F. Guillén González (Universidad de Sevilla) and J. Rafael Rodríguez
Galván (Universidad de Cádiz).
16:20 - 16:40
Risk in equity markets
Javier Sanz, Universidad Complutense de Madrid
jasanz10@ucm.es
We analyze stochastic models for the valuation of derivative financial assets. The motivation
will be financial risk management, fundamentally risk in equity markets. We will start from a
probability space (Ω, F , P), a Brownian motion B(t) and a filtration Ft = σ( B(s), 0 ≤ s ≤ t),
which will be determined by the σ-algebra that generates the Brownian motion. The objective
will be the valuation of the derivative product and propose by stochastic calculus of variations
new hedging methods to "hedge" the derivative.
43
16:40 - 17:00
Some new findings for a neutral functional differential equations with delay
depending on the time
Lynda Mezghiche, LAMAHIS Laboratory, University of 20 August 1955, Skikda, Algeria
linomezg3@gmail.com
In this talk, we use Banach’s and Krasnoselskii fixed point theorems with the Green’s functions
method for creating some suitable criteria for the existence and uniqueness of periodic positive
solutions for a first-order neutral delay differential equations which models the population
dynamics. The results of this work complement some earlier ones.
44
BYMAT 2022 Contributed talks: analysis
Analysis
11:00 - 11:20
Viscosity-type Extragradient Algorithm for Finding Common Solution of
Pseudomonotone Equilibrium Problem and Fixed Point Problem in Hilbert Space
Mohd Asad, Department of Applied Mathematics, Faculty of Engineering and Technology,
Aligarh Muslim University
masad19932015@gmail.com
The primary goal of this research is to find a common solution to the equilibrium problem for
pseudomonotone bi-functions satisfying the Lipschitz-type condition as well as the fixed point
problem for ψ−strongly quasi-nonexpansive mappings in the context of real Hilbert space by
combining two different approaches. A viscosity-type extragradient algorithm is presented for
solving the problems listed above. Furthermore, with a set of reasonable assumptions, a strong
convergence theorem is presented. The fundamental advantage of the suggested approach is
that it does not require the use of a linesearch procedure or the knowledge of Lipschitz-type
constants in advance, which is a significant advantage. Moreover, we give a numerical example
to support and justify our proposed algorithm. In this sense, the findings of this study generalise
and extend certain previously published findings.
11:20 - 11:40
Common solution of split null point, split variational inequality and fixed point
problems for a nonexpansive semigroup
Mubashshir Uddin Khairoowala, Department of Applied Mathematics, Faculty of
Engineering and Technology, Aligarh Muslim University
mkhairoowala@gmail.com
The primary goal of this paper is to find a common solution of a split null point problem, split
variational inequality problem and fixed point problem for a nonexpansive semigroup with
the help of new type of iterative algorithm. We construct that the sequences induced by the
proposed iterative method to solve the above stated problems in the setting of real Hilbert
spaces and obtain a strong convergence theorem. We also deduce certain consequences from
the main convergence result. At the end, a numerical experiment is shown to demonstrate
the convergence analysis of proposed iterative methods. The methodology and conclusion
described in this work extend und unify previously published findings in this field.
45
11:40 - 12:00
Balanced Fourier truncations over discrete groups
Antonio Ismael Cano Mármol, ICMAT
ismael.cano@icmat.es
In 2016, Naor introduced a refinement of the so-called metric Xp inequalities, a metric obstruction
for embeddings of Lq into Lp whenever 2 < q < p < ∞, via a fundamental inequality in the
Hamming cube which strongly relies on Fourier analysis. We will show that this latter result
can be understood within the frame of noncommutative harmonic analysis, providing a general
realization in the context of von Neumann algebras associated to discrete groups. This is joint
work with Jose M. Conde-Alonso and Javier Parcet. The content of this talk is part of Grant
SEV-2015-0554-19-3 funded by MCIN/AEI/10.13039/50110001103.
12:00 - 12:20
Surjectivity of the Borel map in Carleman-Roumieu ultraholomorphic classes in
sectors via optimal flat functions
Ignacio Miguel-Cantero, Universidad de Valladolid - IMUVa
ignacio.miguel@uva.es
Very recently we have been able to construct optimal flat functions in Carleman-Roumieu
ultraholomorphic classes for general weight sequences M (not even regular) and in sectors
whose opening is limited in terms of the index γ(M) of V. Thilliez. This step forward is due to
the equivalence between the classical conditions ( M3) of H. Komatsu and a condition appearing
in a work of M. Langenbruch which has been recovered in a preprint of D. N. Nenning, A.
Rainer and G. Schindl.
Thanks to this construction, a general procedure is presented in order to obtain linear
continuous extension operators, right inverses of the Borel map, in Carleman-Roumieu ultraho-
lomorphic classes in suitably narrow sectors and defined in terms of regular weight sequences
in the sense of Dyn’kin.
12:20 - 12:40
Hydrodynamics of perfect fluids
Andrea de la Cruz Herrán, Universidad de Valencia
ancruzhe@alumni.uv.es
This work analyses the kinematics of fluids and studies the mathematical modelling of the
mechanics of perfect fluids. We define a perfect fluid as one that has the following properties:
only normal forces act on the surface of a volume and each particle is in local thermodynamic
equilibrium following an adiabatic process. This bibliographical review has focused on applying
the mathematical knowledge acquired in the degree and has been supervised by Joan Ferrando,
professor at the University of Valencia in the Department of Astronomy and Astrophysics.
46
Second session (Wednesday morning)

11:00 - 11:20
On the growth and the oscillation of solutions of complex linear differential
equations
Mohamed Abdelhak Kara, Ecole Nationale Supérieure d’Informatique, B.P. 68M, 16270 Oued
Smar, Algeria.
m_a_kara@esi.dz
In this presentation, we investigate the growth and the oscillation of solutions of higher order
complex linear differential equations of the form
f ( k ) + A k −1 ( z ) f ( k −1) + · · · + A 0 ( z ) f = 0
where k ≥ 2 and the coefficients A0 , . . . , Ak−1 are analytic (respectively, meromorphic) functions
of φ-order in the unit disc ∆ = {z ∈ C, |z| < 1}. We describe, in terms of the φ-order of
the dominant coefficient A0 , the φ-order of solutions f and the φ-exponent of convergence of
f (i) − g where i ∈ N and g is a small function of f . This investigation allows to deduce the
oscillation of fixed points of f (i) (i ∈ N) and generalizes many previous results.
This is joint work with Benharrat Belaïdi (Laboratory of Pure and Applied Mathematics,
University of Mostaganem, Algeria).
Key words: growth order, exponent of convergence, unit disc, linear differential equations.
11:20 - 11:40
Two-sided zero products preservers on zero product determined Banach algebras
María Luisa C. Godoy, Universidad de Granada
mgodoy@ugr.es
Let A and B be Banach algebras with bounded approximate identities and let Φ : A → B be a
surjective continuous linear map which preserves two-sided zero products (i.e., Φ( a)Φ(b) =
Φ(b)Φ( a) = 0 whenever ab = ba = 0). We show that Φ is a weighted Jordan homomorphism
provided that A is zero product determined and weakly amenable. These conditions are in
particular fulfilled when A is the group algebra L1 ( G ) with G any locally compact group. We
also study a more general type of continuous linear maps Φ : A → B that satisfy Φ( a)Φ(b) +
Φ(b)Φ( a) = 0 whenever ab = ba = 0. We show in particular that if Φ is surjective and A is a
C ∗ -algebra, then Φ is a weighted Jordan homomorphism.
47
11:40 - 12:00
The distance to the border of a random tree
Víctor J. Maciá, Universidad Autónoma de Madrid
victor.macia@uam.es
In this talk we will prove an asymptotic result about the distance to the border of a random
tree. First, in the preliminaries, we will talk about simple varieties of trees, then we will connect
these with a parametric family of Galton-Watson processes, finally we will conclude the talk
giving an asymptotic formula for the probability that a random tree, conditioned to have size n,
has distance to the border bigger or equal than k, as the number of nodes n escapes to infinity.
12:00 - 12:20
Existence of Unbounded Attractors for Slowly Non-dissipative Problems
Juan Garcia Fuentes, Universidad de Sevilla
jgfuentes@us.es
Slowly non-dissipative problems in mathematical physics are such models, where the solution
does not blow-up in finite time, but, in appropriate sense, can tend to infinity as time goes
to infinity. Still, it is possible to define the concept of global attractor for such problems, this
is the so called unbounded attractor. We continue the development of this theory started by
Chepyzhov and Goritskii providing the abstract results for obtaining the unbounded attractor
existence. We also study the structure and the properties of these attractors, as well as of
unbounded ω-limit sets with slowly non-dissipative semigroups. We also develop the pullback
non-autonomous counterpart of the unbounded attractor theory. The abstract theory that we
develop is illustrated by the analysis of the autonomous problem governed by the equation
ut = Au + f (u). This is joint work with Jakub Banaśkiewicz, Alexandre Nolasco de Carvalho
and Piotr Kalita.
12:20 - 12:40
Spectral problem and lump solutions for a vector NLS equation in 2+1 dimensions
Paz Albares Vicente, University of Salamanca (Spain)
paz.albares@usal.es
A generalized study about the integrability properties of a vector nonlinear Schrödinger equa-
tion in 2+1 dimensions is presented. The integrability characterization of this nonlinear differen-
tial equation is addressed by virtue of the Painlevé Property and the singular manifold method,
which allow us to derive its associated spectral problem. Furthermore, the Darboux transforma-
tion formalism yields an iterative algorithmic procedure to construct recursive solutions. In
particular, we will be interested in the analysis of two families of lump solutions, which display
a nontrivial evolution dynamics. These results are part of a joint work with P. G. Estévez.
48
Third session (Wednesday afternoon)

15:00 - 15:20
Non-bilinear Dirichlet forms
Giovanni Brigati, Université Paris-Dauphine
brigati@ceremade.dauphine.fr
The following is a joint work with Ivailo Hartarsky. We prove an equivalent characterisation of
a class of functionals introduced by Cipriani and Grillo in 2006. Those functionals are called
non-bilinear Dirichlet forms, and generalise the standard class of Dirichlet forms. In particular,
we show for the first time the normal contraction properry for the aforementioned class of
functionals.
15:20 - 15:40
Equivalence and solution of the characterization of (S, N )-implications and the
completion of t-norms
Raquel Fernandez-Peralta, University of the Balearic Islands
r.fernandez@uib.es
Fuzzy implication functions are functions I : [0, 1]2 → [0, 1] which generalize to the fuzzy
logic framework the binary implication in classical logic. One of the most significant families
of these operators are (S, N )-implications, which are the straightforward generalization of
the classical material implication given by p → q ≡ ¬ p ∨ q to fuzzy logic, where the binary
disjunction ∨ is modeled by means of a t-conorm and the classical negation ¬ is modeled
through a fuzzy negation N.
The characterization of (S, N )-implications when N is a non-continuous negation has re-
mained as a significant open problem in fuzzy logic for the last decades. We prove that the
characterization of (S, N )-implications where N is a non-continuous fuzzy negation is equival-
ent to the problem of the completion of a t-norm whose expression is unknown in a subregion
of [0, 1]2 .
Depending on the unknown region, the problem of the completion of continuous t-norms
leads to solve different functional equations. We solve the completion problem for continuous
t-norms in the eight cases that appear in the characterization of (S, N )-implications when N has
one discontinuity point.
This is joint work with Sebastia Massanet, Andrea Mesiarová-Zemánková and Arnau Mir.
49
15:40 - 16:00
Convergence behaviour within the disc algebra
Pablo José Gerlach Mena, Universidad Loyola
pjgerlach@uloyola.es
The pathological behaviour of Fourier series of continuous functions has been broadly
studied in the past years. Its origin goes back to du Bois-Reymond (1873), who was the first one
to exhibit an example of a continuous function on the unit circle T := {z ∈ C : |z| = 1} whose
Fourier series diverges at a point. This was improved by Kahane and Katznelson by extending
the divergence to arbitrary sets E ⊂ T of (arc length) measure zero, and thus complementing
the famous Carleson Theorem on almost everywhere convergence of Fourier series of functions
in L2 .
In recent years, these divergence properties have been proved to be topologically generic,
that is, not only functions f fulfilling the properties exist, but they hold true for a residual set of
functions in the corresponding spaces. Moreover, even linear and algebraic structures can be
detected within the set of such functions.
Our aim is to find linear structures in various subsets of the disc algebra. Among others,
we consider the set of functions in the disc algebra having a Taylor series about 0 which is
unboundedly divergent on a given subset of the unit circle of vanishing arc length measure,
and the subsets of functions having uniformly bounded or uniformly convergent Taylor series
on the unit circle.
50
16:20 - 16:40
The one-dimensional Krein Laplacian Self-Adjoint operator and sequences of
Althammer-Krein orthogonal polynomials
Alejandro Quintero-Roba, Department of Mathematics, Baylor University, TX
alejandro_quintero1@baylor.edu
The one-dimensional Krein Laplacian operator A in L2 [ a, b] is the self-adjoint operator A given

by A f = − f ′′ + k f for f ∈ D( A), where D( A) is given by
( " # " #" #)
f , f ′ ∈ AC [ a, b] f (b) 1 b−a f ( a)
f : [ a, b] → C ; = .

f , f ′′ ∈ L2 [ a, b] f ′ (b) 0 1 f ′ ( a)
For k > 0, A is bounded below in L2 [ a, b] by kI, and from a general left-definite operator
theory developed by Littlejohn and Wellman, there is a continuum of left-definite Hilbert-
Sobolev spaces {( Hr , (·, ·)r )}r>0 associated with ( L2 [ a, b], A).
For example, when r = 1, the first left-definite space is given by
H1 = { f : [ a, b] → C | f ∈ AC [ a, b]; f ′ ∈ L2 [ a, b]}
and the first left-definite inner product on H1 is given by
[ f (b) − f ( a)] [ g(b) − g( a)]

( f , g )1 = − +
b−a
Z b
+ f ′ ( x ) g′ ( x ) + k f ( x ) g( x )) dx.
a
For each r ∈ N, the set of all polynomials is dense in Hr ; we construct the corresponding
orthogonal polynomials in Hr .
16:40 - 17:00
Extremal Polynomials with respect to Sobolev p-norms
Javier Alejandro Quintero Roba, Universidad Carlos III de Madrid
jaquinte@math.uc3m.es
The first part of this talk complements previous results on characterization of polynomials of
least deviation from zero in Sobolev p-norm (1 < p < ∞) for the case p = 1. Some relevant
examples are indicated.
The second part deals with the location of zeros of polynomials of least deviation in discrete
Sobolev p-norm. The asymptotic distribution of zeros is established on general conditions.
Under some order restriction in the discrete part, we prove that, the n-th polynomial of least
deviation has at least n − d∗ zeros on the convex hull of the support of the measure, where d∗
denotes the number of terms in the discrete part.
This is a joint work with Héctor Pijeira Cabrera and Abel Díaz González
51
Fourth session (Thursday morning)

11:00 - 11:20
Embeddings in C(K) spaces having unique Hahn–Banach extensions
Christian Cobollo, Universitat Politènica de València
chcogo@doctor.upv.es
In its seminal work of 1960, R. R. Phelps introduced property U to refer when a linear
subspace X of a Banach space Y has the property that every linear continuous functional
defined on X admits a unique norm preserving extension (so called Hahn–Banach extension) to
the whole space Y. He initiated a systematic study of the pairs ( X, Y ) for which X (⊂ Y ) has
property U in Y.
In this work we are interested in the case in which Y = C (K ) for some Hausdorff compact
space K, motivated by the classical fact that indeed any Banach space X can be considered as a
linear closed subspace of a C (K ) space for some K.
Throughout this work, we introduce the concept of U-embedding to denote those linear
isometries whose range has property U, and study the existence of such a map between X
and C (K ). We provide results when X is finite dimensional, separable, or X also a C (K )-space
(which relates our work with the concept of linear extension operator introduced in a classical
paper by A. Pełczyński). This is based on a joint work with Antonio José Guirao and Vicente
Montesinos. The author receives economical support from Generalitat Valenciana Project
PROMETEO/2021/070.
11:20 - 11:40
Spaceability of the set of strongly norm-attaining Lipschitz mappings
Óscar Roldán, University of Valencia
oscar.roldan@uv.es
We study the existence of non-trivial closed linear subspaces Y of Lip0 ( M ) consisting of strongly
norm-attaining Lipschitz functionals, where M is a pointed metric space (that is, with a dis-
tinguished point 0), and Lip0 ( M) is the space of Lipschitz functionals f on M satisfying that
f (0) = 0. We characterize when such subspaces can have dimension n, for n ∈ N, and show
that infinite-dimensional such subspaces can also exist in many cases. We also study the possible
sizes of the metric space M given that such a subspace Y exists. Finally, we study some related
questions for some particular classes of metric spaces.
This talk is based on a joint work with Vladimir Kadets. The author receives economical
support from the Spanish Ministerio de Universidades, grant FPU17 / 02023, and the research
projects MTM2017-83262-C2-1-P / MCIN / AEI / 10.13039 / 501100011033 (FEDER) and
PID2021-122126NB-C33 / MCIN / AEI / 10.13039 / 501100011033 (FEDER).
52
11:40 - 12:00
On the solvability of inhomogeneous boundary-value problems in Sobolev spaces
Olena Atlasiuk, Institute of Mathematics NASU; Institute of Mathematics CAS
hatlasiuk@gmail.com
For systems of ordinary differential equations of arbitrary order on a finite interval, we in-
vestigate the solvability of boundary-value problems with generic inhomogeneous boundary
conditions in Sobolev spaces. Boundary conditions can be both undefined and overdefined.
They may contain derivatives of integer or fractional order, which may exceed the order of the
differential equation. We prove that each such problem corresponds to a numerical rectangular
characteristic matrix. The dimensions of its kernel and cokernel coincide with the dimensions
of the kernel and cokernel of the inhomogeneous boundary-value problem. In addition, we
found conditions that guarantee the convergence of sequences of characteristic matrices of
boundary-value problems to a given characteristic matrix.
This is joint work with Professor Volodymyr Mikhailets.
12:00 - 12:20
Finite rank perturbations of normal operators: Local Spectral Theory and invariant
subspaces
F. Javier González-Doña, ICMAT-UCM
javier.gonzalez@icmat.es
In this talk, we consider finite rank perturbations of diagonalizable normal operators acting on
complex, separable, infinite dimensional Hilbert spaces. We will show a characterization for the
spectral subspaces associated to closed sets of the complex plane for such operators which, as
a consequence, will allow us to prove the existence of non-trivial closed invariant subspaces
(indeed, closed hyperinvariant subspaces) for a large subclass of these operators, improving
previous results by Foias, Jung, Ko and Pearcy and Fang and Xia. This is part of joint works
with Eva A. Gallardo-Gutiérrez.
12:20 - 12:40
On Echo Chains in Magnetohydrodynamics
Niklas Knobel, Karlsruhe Institut of Technology
niklas.knobel@kit.edu
We consider the evolution of the magnetohydrodynamic (MHD) equations with magnetic

dissipation in a periodic channel near an affine flow and a constant magnetic field. Here we, in
particular, aim to capture resonances between high and low frequency perturbations, which
are known as echoes. More precisely, we construct explicit low frequency waves and study
high frequency (chains of) resonances and resulting norm inflation in the linearized problem
around these waves. The magnetic field here is shown to have a large effect on the behavior of
resonances as compared to the Euler setting.
53
12:40 - 13:00
Second order differentiability in the Takagi class
Jesús Llorente, Universidad Computense de Madrid
jesllore@ucm.es
The Takagi function is a classical example of a continuous nowhere differentiable function. In

the mid-1980s, as a generalization of the Takagi function, Hata and Yamaguti introduced a new
family of functions named the Takagi class which consists of all the functions Tw : [0, 1] → R
defined by
∞
wn
Tw ( x ) = ∑ n ϕ(2n x )
n =0 2
where ϕ( x ) = dist( x, Z) and w = (wn )n satisfies (2−n wn )n ∈ ℓ1 . The Takagi class is a closed
subspace of the space of continuous functions with the sup norm.
/ c0 then Tw is nowhere differentiable, if w ∈ c0 ∖ ℓ2
A few years later, Kôno proved that if w ∈
then Tw is not differentiable a.e. although the range of the derivative is R, and finally if w ∈ ℓ2
then Tw is absolutely continuous.
In this talk we will show some recent results concerning the second order differentiability of
these functions. In particular, we will characterize the set of points where these functions have
a Taylor expansion of order two and when they satisfy a Stepanov condition of order two at a
point. Finally, we will present some interesting examples.
To appear in Real Analysis Exchange.
Fifth session (Thursday morning)

11:00 - 11:20
Inertial projection algorithm for solving split best proximity point and mixed
equilibrium problems in Hilbert spaces
Mohd Furkan, University Polytechnic, Faculty of Engineering and Technology, Aligarh
Muslim University
mohdfurkan786@gmail.com
The primary goal of this paper is to present and study an inertial projection algorithm for
solving the split best proximity and mixed equilibrium problems. We find a solution of the best
proximity problem in such a way that its image under a bounded linear operator is the solution
of mixed equilibrium problem under the setting of real Hilbert spaces. We construct an iterative
algorithm for the proposed problem and prove a weak convergence theorem. Moreover, we
deduce some consequences from main convergence result. Finally, a numerical experiment is
presented to demonstrate the convergence analysis of our algorithm . The methodology and
results presented in this work improve and unify some previously published findings in this
field.
54
11:20 - 11:40
Mechano-signaling waves in epithelial tissues
Léna Guitou, I2SYSBIO (CSIC-UV)
lena.guitou@csic.es
Shape remodeling is key to understand organ regeneration and embryo development. In

addition, from a mathematical and physical viewpoint, shape remodeling implies understand-
ing self-organization, patterning, and mechanics. In this context, it has been shown that the
ERK/MAPK pathway is instrumental during cell migration and tissue regeneration through
the interplay between mechanical and signaling cues. However, open questions remain. In
particular, the robustness of the pathway activity due to cellular activities (e.g. cellular growth
and division) is unclear. Here, by using simulations and analytical work, we revealed the effects
of the cellular growth dynamics to either sustain or kill the oscillatory/excitatory activity of
ERK at the tissue level. Moreover, our model provides a plausible argument to understand the
origin of the aforementioned mechano-signaling feedback. Altogether, our study paves the way
to understand the interplay between cellular mechanics and chemical/signaling cues during
morphogenesis.
11:40 - 12:00
Saturation effects in predation
Eduardo Muñoz-Hernández, Universidad Complutense de Madrid
eduardmu@ucm.es
This communication analyzes the existence and the uniqueness of coexistence states for the
generalized spatially heterogeneous predator-prey model



 L1 u = λu − a( x )u2 − b( x ) 1+muv(x)u in Ω,



L2 v = µv + c( x ) 1+muv(x)u − d( x )v2 in Ω, (1)





 B u=B v=0
1 2 on ∂Ω,
where Ω is a bounded domain of R N whose boundary, ∂Ω, is a N − 1 dimensional manifold

of class C2 , L1 and L2 are second order uniformly elliptic operators, and B1 and B2 are general
boundary operators of mixed type.
In this model, a > 0, d > 0, b ≥ 0, c ≥ 0 and
m ≥ 0. (2)
In (1), m( x ) measures the level of saturation of the predator at any particular location x ∈ Ω
where m( x ) > 0, while saturation effects do not play any role if m( x ) = 0. Thus, (1) combines,
within the same territory, the classical interactions of Lotka–Volterra type in the region m−1 (0)
with the Holling-Tanner functional responses in { x ∈ Ω : m( x ) > 0}.
55
12:00 - 12:20
Unimodular Eigenvectors from Uniform Recurrence
Antoni López-Martínez, IUMPA - Universitat Politècnica de València
anlomar97@gmail.com
Nowadays it is well understood that the dynamics of a complex-linear dynamical system

T : X → X is closely related to the properties of the set of unimodular eigenvectors of T. In this
talk we discuss the role that unimodular eigenvectors have on the recurrence of such systems,
and we show that being uniformly recurrent coincides with the property of having a spanning
family of unimodular eigenvectors, at least in the following two situations:
1. when T is an operator on a complex Hilbert space (via Gaussian measures);
2. when T is a power-bounded operator on a complex reflexive Banach space (via the

splitting theorem of Jacobs-Deleeuw-Glicksberg).
This talk is based on a joint work with Sophie Grivaux. This work was partially supported
by the project FRONT of the French National Research Agency (grant ANR-17-CE40-0021), by
the Labex CEMPI (ANR-11-LABX-0007-01), by a grant from the FPU Program of MEC, grant
FPU2019/04094, and by MCIN/AEI/10.13039/501100011033, Project PID2019-105011GB-I00.
12:20 - 12:40
A new class of double phase variable exponent problems: Existence and uniqueness
Ángel Crespo-Blanco, TU Berlin and BMS
crespo@math.tu-berlin.de
This talk is based on the article with the same name by the speaker, Gasiński, Harjulehto and
Winkert (JDE 323, 2022). In that paper we introduce a new class of quasilinear elliptic equations
driven by the so-called double phase operator with variable exponents. We prove certain
properties of the corresponding Musielak-Orlicz Sobolev spaces (an equivalent norm, uniform
convexity, Radon-Riesz property with respect to the modular) and the properties of the new
double phase operator (continuity, strict monotonicity, (S+ )-property). In contrast to the known
constant exponent case we are able to weaken the assumptions on the data. Finally we show
the existence and uniqueness of corresponding elliptic equations with right-hand sides that
have gradient dependence (so-called convection terms) under very general assumptions on the
data. As a result of independent interest, we also show the density of smooth functions in the
new Musielak-Orlicz Sobolev space even when the domain is unbounded.
56
12:40 - 13:00
Two solutions for a nonlocal fractional p(x,.)-Laplacian problem
Souraya Fareh, Larbi Tebessi University-Tebessa
soraya.fareh@univ-tebessa.dz
In this talk, we consider the nonlocal elliptic problem with variable exponents
(−∆)sp(x,.) u + a( x )|u| p̄(x)−2 u = f ( x, u) + λ |u|γ(x)−2 u in Ω,
u = 0 on R N \Ω,
where Ω is a Lipschitz bounded domain of R N ( N ≥ 2), (−∆) p(x,.) is the fractional p ( x, .)-
laplacian. We assume that λ is a positive parameter, the functions a, p, γ and f are assumed to
satisfy suitable assumptions. By using variational methods and mountain pass Lemma com-
bined with Ekeland’s variational principle, we prove the existence of two nontrivial solutions
for the above problem. This is joint work with [Kamel Akrout].
Sixth session (Friday afternoon)

15:00 - 15:20
On regularity properties for an anisotropic problem
Antonella Nastasi, University of Palermo
antonella.nastasi@unipa.it
We study quasiminimizers of the following anisotropic energy ( p, q)-Dirichlet integral

Z Z
p q
agu dµ + bgu dµ,
Ω Ω
in metric measure spaces, with gu the minimal q-weak upper gradient of u. Here, Ω ⊂ X is
an open bounded set, where ( X, d, µ) is a complete metric measure space with metric d and a
doubling Borel regular measure µ, supporting a weak (1, p)-Poincaré inequality for 1 < p < q.
We consider some coefficient functions a and b to be measurable and satisfying 0 < α ≤ a, b ≤ β,
for some positive constants α, β. Using a variational approach we study interior regularity for
quasiminimizers of a ( p, q)-Dirichlet integral, as well as regularity results up to the boundary.
For the interior regularity, we use De Giorgi type conditions to show that quasiminimizers are
locally Hölder continuous and they satisfy Harnack inequality, the strong maximum principle
and Liouville’s Theorem. Furthermore, we give a pointwise estimate near a boundary point, as
well as a sufficient condition for Hölder continuity and a Wiener type regularity condition for
continuity up to the boundary. Finally, we consider ( p, q)-minimizers and we give an estimate
for their oscillation at boundary points. This is a joint work with Cintia Pacchiano Camacho
(Aalto University).
57
15:20 - 15:40
Existence and uniqueness of solutions for quantum fractional pantograph equations
Adel Lachouri, Applied Mathematics Lab, Annaba University, Annaba, Algeria
lachouri.adel@yahoo.fr
In this paper, by applying fractional quantum calculus, we study the existence and uniqueness
of solutions for a nonlinear fractional pantograph q-difference equation with nonlocal boundary
conditions. The main results are obtained by using the Schaefer fixed point theorem and the
Banach contraction principle. At the end, an illustrative example is presented.
15:40 - 16:00
Eigenfunctions and inverse localization
Alba Dolores García Ruiz, Instituto de Ciencias Matemáticas (ICMAT)
alba.garcia@icmat.es
A well-known link between solutions to the Helmholtz equation ∆v + v = 0 and eigenfunctions

of a Schrödinger operator on a Riemannian manifold, ∆ g u + λ2 u − Vu = 0, is that the local
behaviour of a sequence of high-energy eigenfunctions (say, λ2 → ∞) defines a bounded
Helmholtz solution, after suitable rescalings. Conversely, every solution to Helmholtz can
be locally realized by an approximate eigenfunction of any large enough energy, on scales
determined by this energy.
A powerful refinement of the latter fact is what we call the inverse localization principle:
if, roughly speaking, the degeneracy of the high-energy eigenvalues is large enough, one can
replace the quasimodes by bona fide eigenfunctions.
In this joint work with A. Enciso and D. Peralta-Salas, we introduce the inverse localization
principle and comment some precise versions of this theory: for the harmonic oscillator potential
in Rd and Hd (κ ), the Laplacian on the sphere and certain flat tori. Finally, we mention some
key ideas behind the localization principle in order to develop a systematic theory, e.g. the
underlying symmetry hypothesis.
16:00 - 16:20
Studying the relation between bidemocracy and the convergence of a greedy
algorithm
Pabo M. Berná, CUNEF Universidad
pablo.berna@cunef.edu
In 1999, S. V. Konyagin and V. N. Temlyakov introduced the Thresholding Greedy Algorithm.

Basically, given an element f of a Banach space, the algorithm selects the largest coefficients
of f respect to a basis. Also, when the algorithm converges, the basis is called quasi-greedy.
In this talk we discuss if there is or not a relation between quasi-greediness and the so-called
bidemocracy, that is a property based on the indicator sums of the Banach space and its dual.
This is a joint work with F. Albiac, J. L. Ansorena, M. Berasategui and S. Lassalle.
58
16:20 - 16:40
Growth, Zeros and Fixed points of Differences of Meromorphic Solutions of
Difference Equations
Bouternikh Salih, University of Mohamed Seddik Ben Yahia, Jijel
bouternikhsalah18@gmail.com
Let K be a complete ultrametric algebraically closed field of characteristic zero and let M(K)
be the field of meromorphic functions in all K. In this paper, using the ultrametric Nevanlinna
theory, we investigate the growth of transcendental meromorphic solutions of some ultrametric
difference equations. These difference equations arise from the analogue study of the differential
equation of Malmquist type. We also give some characterizations of the order of growth for
transcendental meromorphic solutions of such equations.
this is joint work with Zerzaihi Tahar.
16:40 - 17:00
On bivariate fractional calculus with general univariate analytic kernels
Sunday Simon Isah, Department of Mathematics, Faculty of Arts and Sciences, Eastern
Mediterranean University, Famagusta 99628, North Cyprus, via Mersin-10, Turkey
sundaysimonisah2020@gmail.com
We use a general analytic function with fractional powers to define a bivariate fractional integral
operator which has many interesting fundamental properties. We provide a fundamental
connection with classical fractional integral by writing the proposed general bivariate integral
operator with univariate analytic kernels in terms of the original double Riemann–Liouville
fractional integral operators. We then consider inversion properties of our proposed model,
which in turn motivate the definition of a bivariate fractional derivative operator based on
the same univariate analytic kernels. We further prove the analogue of the Leibniz rule, and
consider Laplace and Fourier transforms in this model of bivariate fractional calculus. As an
application, we solve some fractional differintegral equations using our new model.
This is joint work with Arran Fernandez and Mehmet Ali Özarslan.
59
BYMAT 2022 Contributed talks: geometry and topology
Geometry and Topology

11:00 - 11:20
Quantum Dynamics & Clifford Algebras
Tahir Manzoor, Department of Mathematics, Maulana Azad National Urdu University
tahirulhaq33@gmail.com
Being familiar with state and observable of quantum bits (qubits), their measurements, density
matrix representations and geometric algebra notations. This talk is aimed to enlight and extend
Clifford algebras in qudits to identify g-qutrits especially, and to some extent their analogous
in 4 dimensions of quantum dynamics. How non-trivial fibrations can play significant role to
determine the state of such qudits (3 and 4 dimensional) quantum systems are to be explored.
11:20 - 11:40
Three faces of the 2-loop polynomial of knots
Jorge Becerra, University of Groningen
j.becerra@rug.nl
It is common in mathematics that an object or property arises in several unrelated, completely

different ways, sometimes even in different branches of mathematics. In this talk I will outline
three different ways in which a strong knot polynomial invariant, called the 2-loop polynomial,
appears: one uses representation theory of quantum groups, other uses a space of unitrivalent
graphs, and other (the latest found) a Hopf algebra. Being known that the first two descriptions
are equivalent for about twenty years, Bar-Natan and van der Veen recently conjectured that
the third one coincides with the former two as well. Recent work by the author shows that the
conjecture is true for the class of knots that bound a compact, connected, orientable surface of
genus one.
11:40 - 12:00
On recent generalizations of Grünbaum’s inequality
Francisco Marín Sola, Universidad de Murcia
francisco.marin7@um.es
A classical result by Grünbaum provides a sharp lower bound for the ratio vol(K − )/vol(K ) of
a convex body K ⊂ Rn that depends only on the dimension n (here K − denotes the intersection
of K with a halfspace bounded by a hyperplane passing through its centroid).
In this work, on the one hand, we will discuss various recent results in the spirit of finding
a generalization of Grünbaum’s inequality, in both a geometric and a functional setting. On
the other hand, we will show further generalizations of this result to the case of cuts (by
hyperplanes) through other particular points.
60
This is part of joint work with David Alonso-Gutiérrez, Javier Martínez Goñi and Jesús
Yepes Nicolás.
12:00 - 12:20
The geometry of quotients of jet bundles by affine subgroups of Lie group bundle
actions
Álvaro Rodríguez Abella, Instituto de Ciencias Matemáticas, ICMAT
alvrod06@ucm.es
A fiber bundle of Lie groups, G → X, may act fiberwisely on a smooth bundle, Y → X. In turn,
this action can be lifted to the first jet bundles, yielding an action of J 1 G → X on J 1 Y → X. In
this talk, we will examine the geometry of the quotient of J 1 Y by an affine subbundle H ⊂ J 1 G .
To that end, we utilize a generalized principal connection, ω, i.e., an Ehresmann connection on
Y → X equivariant by the fibered action. We show that J 1 Y/H → Y/G is an affine bundle and
we use ω to construct an affine connection on it. In the last part, we will discuss the use of this
kind of quotients in the problem of gauge reduction in Lagrangian field theory.
Second session (Wednesday afternoon)

15:00 - 15:20
Differential invariants of geometric structures in the presence of a linear connection
Raúl Martínez-Bohórquez, UEX
raulmb@unex.es
The idea of natural operations has been behind many important applications of differential
geometry. Such applications include the determination of field equations in general relativity,
Gilkey’s characterization of Pontryagin forms on Riemannian manifolds or his proof of the
uniqueness of the Chern-Gauss-Bonnet formula. The classical theory of natural operations was
nicely encapsulated by Kolář-Michor-Slovák nearly 30 years ago. Since then, new results and
applications of this theory have appeared in various branches of differential geometry, such as
contact geometry, Riemannian and Kähler geometry, general relativity or quantum field theory.
We present a description of tensor-valued natural operations in various geometrical struc-
tures, with a common link: a linear connection. In particular, we will go over three cases: a
linear connection, a linear connection and an orientation, and a Fedosov structure, formed by a
symplectic 2-form and a compatible symmetric linear connection. Our main results prove that
they are isomorphic to the spaces of invariant maps between linear representations of classical
groups. Partial results have been published.
This is joint work with Adrián Gordillo-Merino and José Navarro-Garmendia .
61
15:20 - 15:40
A Dulac’s property in R3 and perturbations of linear non-degenerated centers
María Martín Vega, University of Valladolid
maria.martin.vega@uva.es
Dulac’s problem is a local version of the Hilbert’s 16th problem. It states that a two dimensional
polynomial vector field defines at most a finite number of limit cycles. In fact, it was solved for
analytic vector fields by Y. Ilyashenko and J. Ecalle in 1991-1992. We extend Dulac’s problem to
real analytic vector fields in R3 . We say that a real analytic vector field fulfills Dulac’s property
if periodic orbits are organized in one of the following configurations:
• There is a neighborhood of the singularity where there are not periodic orbits.
• There is a neighborhood of the singularity in which all periodic orbits are contained in a
finite number of invariant surfaces which have a center configuration.
Both assertions imply local finiteness of limit cycles. In this talk, we prove Dulac’s property
for three dimensional vector fields with isolated singularity which are perturbations of linear
vector fields with a center configuration.
This is a joint work with my advisors Fernando Sanz Sánchez and Nuria Corral Pérez.
15:40 - 16:00
Isochordal-viewed multihedgehogs with circular isoptics
David Rochera, BCAM - Basque Center for Applied Mathematics
drochera@bcamath.org
A curve α is called (ϕ, ℓ)-isochordal viewed if a straight segment of constant length ℓ can slide
with its endpoints on α and such that their tangents to α at these endpoints make a constant
angle ϕ. These tangents determine the so-called ϕ-isoptic curve of α. An explicit characterization
of all (ϕ, ℓ)-isochordal-viewed multihedgehogs with circular ϕ-isoptics is provided by their
support functions, which are obtained as the solutions of a differential equation. This allows
to construct any example of these curves in a very simple way from some free parameters. In
addition, it is shown that a regular polygon of side length ℓ can slide smoothly along these
multihedgehogs.
16:00 - 16:20
Six Operations on Diamond Topos
Shanna Dobson, University of California, Riverside
shanna.dobson@email.ucr.edu
Motivated by Scholze’s Étale Cohomology of Diamonds and Scholze and Fargues’ Geometrization
of the Local Langlands Correspondence, we conjecture a six operations on the diamond topos.
We extend this universal construction to an (∞, 1)-Grothendieck construction on our (∞, 1)-
category of spatial diamonds. A diamond D is a particular pro-étale sheaf on the category
62
of perfectoid spaces of characteristic p. A perfectoid space is an adic space covered by adic

spaces of the form Spa( R, R+ ) for R a perfectoid ring. A spatial diamond is a small v-sheaf in
the v-topology, which is a Grothendieck topology. Constructing quotients of diamonds by a
diamond equivalence relation yields v-sheaves and constructing quotients of small v-sheaves
by a small v-sheaf equivalence relation produces v-stacks.
16:20 - 16:40
Combinatorial dynamics
Pedro J. Chocano, Universidad Rey Juan Carlos
pedro.chocano@urjc.es
There is a recent interest in the theory of finite spaces and Alexandroff spaces that was motivated
by the aim of obtaining computational methods to study dynamical systems. In this talk, we
introduce and motivate the notion of Vietoris-like multivalued map, that is used to define
combinatorial dynamical systems. This concept arises as a natural generalization of continuous
single-valued maps and has applications to the reconstruction of classical discrete dynamical
systems.
16:40 - 17:00
Analysis of nonlinear stochastic differential equations with continuously
distributed delay
Roshini Gallage, Southern Illinois University Carbondale
roshisamanthi@gmail.com
Stochastic delay differential equations (SDDEs) are systems of differential equations with a
time lag in a noisy or random environment. Much research has been done using discrete delay
where the dynamics of a process at time t depend on the state of the process in the past after
a single fixed time lag τ. We are researching processes with continuously distributed delay
which depend on weighted averages of past states over the entire time lag interval [t − τ, t].
We show the existence of a unique solution of certain nonlinear SDDEs with continuously
distributed delay under local Lipschitz and generalized Khasminskii-type conditions. Further,
we show that Euler-Maruyama numerical approximations of such nonlinear SDDEs converge
in probability to their exact solutions.
Joint work with Dr. Harry Randolph Hughes.
Third session (Thursday morning)

11:00 - 11:20
Generating a probability measure from a fractal structure
José F. Gálvez-Rodríguez, UAL
jgr409@ual.es
63
In this work we show how to define a probability measure with the help of a fractal structure.
Two of the keys of this approach are the use of the completion of this structure as well as its
recursive nature. Since we want to define a measure, we start from two classical methods on
construction of outer measures and, once we have defined a first measure on the bicompletion
of the space, we explore conditions to ensure that the restriction of this measure to the original
space is a probability measure on it. Moreover, we prove that each probability measure on
a space can be constructed from a fractal structure defined on it by following the developed
process. Finally, we show some applications of this theory, such as a new estimation method
based on fractal structures.
This is joint work with Miguel A. Sánchez-Granero.
64
11:20 - 11:40
Codazzi Hypersurfaces in Nil 4
Djellali Noura, Mustapha Stambouli University, Mascara
djellalinoura32@gmail.com
We consider the hypersurface in the lie group ( Nil 4 , ge) .We give a Riemannian geometry for
a left invariant metric on Nil 4 space ,the Levi-civita connection ,Riemannian curvature,second
fundamental form and the Ricci tensor in an orthonormal basis of vector field . We also
determine the necessary condition on a vector unit normal to a the hypersurface of Nil 4 for the
latter to be Codazzi hypersurface.(i,e,its second fundamental form is codazzi).
11:40 - 12:00
Knots and Topological Quantum Field Theories
Ángel González Prieto, Universidad Complutense de Madrid
Instituto de Ciencias Matemáticas
angelgonzalezprieto@ucm.es
In this talk, we shall discuss the fundamentals of one of the most groundbreaking developments
in algebraic topology, the so-called Topological Quantum Field Theories (TQFTs). We will study
their formulation as representations of the category of bordisms into the category of vector
spaces. Additionally, we will explore some of the consequences of these axioms, including the
classical result that identifies 1+1 TQFTs with Frobenius algebras.
After that, we shall focus on the applications of TQFTs to knot theory. We will discuss
Chern-Simmons theory as a fundamental example of a 2+1 decorated TQFT, reaching Witten’s
celebrated theorem that shows that SU(2) Chern-Simons theory recovers the Jones polynomial,
and important knot invariant. Time permitting, we will explore some deeper connections
between TQFTs and low dimensional topology, such as the construction of new TQFTs to
understand virtual classes of moduli spaces of representations of knot complements inspired by
Fourier-Mukai theory.
12:00 - 12:20
Summability of sequence spaces and Lipschitz mappings
Rachid Yahi, University of M’sila , Laboratoire d’Analyse Fonctionnelle et Géometrie des
Espaces 28000 M’sila, Algeria.
rachid.yahi@univ-msila.dz
Farmer and Johnson introduce the notion of absolute summability for Lipschitz maps, proved a
basic first properties and leave to interested readers a list of open problems (what results about
p-summing operators have analogues for Lipschitz p-summing operators?). Since then, many works
have appeared related to this class of Lipschitz mappings and some of the problems have been
solved.
65
we contribute to the theory of absolutely p-summing Lipschitz mappings by studying the

class of Lipschitz summing mappings whose linear analogue has found its natural place in
the linear operator theory: the class of Lipschitz strongly p-summing mappings. The aim is
to characterize those mappings whose Lipschitz conjugates are absolutely p-summing. We
emphasize the relation of these mappings with the known linear theory using two different
ways: via their linearization and via their Lipschitz conjugates. After giving equivalences for
these operators in terms of a summability inequality and its correspondent domination formula,
we prove that a map T is Lipschitz strongly p-summing if, and only if, its Lipschitz conjugate
T t : E∗ → X # is absolutely p′ -summing.
Note that the Lipschitz conjugate is a linear operator, and so relates the new class of
Lipschitz strongly p-summing mappings with the classical theory of absolutely p-summing
linear operators.
Chen-Zheng recently proved that if a Lipschitz mapping T from a pointed metric space X
into a Hilbert space H, with T (0) = 0, is such that T t is p′ −summing (1 < p ≤ ∞), then T is
1-summing. We provide another proof of this result by using the concept of strongly Lipschitz
p-summing. We end this chapter with a factorization theorem for Lipschitz strongly p-summing
mappings.
12:20 - 12:40
Double Null Data and the Characteristic Problem in General Relativity
Gabriel Sánchez-Pérez, Universidad de Salamanca
gasape21@gmail.com
General hypersurfaces of any causal character can be studied abstractly using the hypersurface
data formalism. In the null case, we write down all tangential components of the ambient
Ricci tensor in terms of the abstract data thus generalizing the null structure equations (which
can be recovered in the appropriate gauge). Using this formalism, we formulate and solve
in a completely abstract way the characteristic Cauchy problem of the Einstein vacuum field
equations. The initial data is detached from any spacetime notion, and it is fully diffeomorphism
and gauge covariant. The results of this paper put the characteristic problem on a similar
footing as the standard Cauchy problem in General Relativity. This is joint work with my PhD
supervisor Marc Mars. arXiv:2205.15267v1
Fourth session (Friday afternoon)

15:00 - 15:20
Towards an optimal discretization of the real projective plane
Pedro R. López-Gómez, Departamento de Matemáticas, Estadística y Computación,
Universidad de Cantabria, Avda. Los Castros, s/n, 39005 Santander, Spain
lopezpr@unican.es
In the last decades, the problem of evenly distributing points on manifolds like spheres
and projective spaces has attracted the attention of the mathematical community due to its
66
theoretical interest and its numerous practical applications, constituting nowadays a very active
field of research.
While for the sphere S2 we have constructive procedures to generate collections of points
with low logarithmic energy, that is not the case in general for other spaces. In particular, one of
the simplest spaces for which there are no such constructive procedures is the real projective
plane RP2 . In this talk, I will tackle the problem of distributing points in this last space. More
precisely, I will show how the ideas for distributing points on S2 can be extended to the real
projective plane, thereby obtaining lower and upper bounds for the Green and logarithmic
energies which constitute the best results in that regard thus far.
This is joint work with Carlos Beltrán and Ujué Etayo.
15:20 - 15:40
A non compact point of view of the Audibility problem via generalized Heisenberg
groups
José Manuel Fernández-Barroso, Universidad de Extremadura
ferbar@unex.es
The Spectral Geometry is a field inside the Riemannian Geometry whose main goal is to relate
the geometry of a Riemannian manifold and the eigenvalues of a given operator, in our case the
Laplace–Beltrami operator. In this context, two Riemannian manifolds are said to be isospectral
if there exists a unitary operator intertwining their Laplace–Beltrami operators. When the
Riemannian manifolds are compact, this definition is the same that both manifolds have the
same spectrum of the Laplace–Beltrami operator. A geometric property cannot be heard (or it is
inaudible) if one can find a pair of isospectral manifolds where that property differs.
The compact setting has been well studied in several papers where many properties are
proved to be inaudible. But there are only a few papers approaching the non compact setting.
Being a g.o. space was proved by Carolyn Gordon to be an inaudible property, at least in the
non compact case. In this talk, we want to clarify the difference between the compact and the
non compact cases using generalized Heisenberg groups, and we use them to establish the
inaudibility of the weak symmetry and the commutativity in the non compact case. Finally,
we conclude the talk introducing some interesting questions relating the compact and the non
compact setting.
Joint work with Teresa Arias-Marco.
67
15:40 - 16:00
A case in Social Choice: From Combinatorics to Algebraic and Combinatorial
Topology
Armajac Raventós Pujol, Departamento de Análisis Económico: Economía Cuantitativa,
UAM & Departamento de Estadística, Informática y Matemáticas, UPNA
armajac.raventos@unavarra.es
In 1951, the Arrow’s impossibility theorem stated that there is no function fusing individual
preferences (or rankings) into a social one satisfying some properties of "common sense". Since
then, many proofs have appeared, most of them linking this result with well know concepts
in mathematics as, for example, fixed point theorems, extension theorems or measure theory.
Every proof has shown aspects of the result that the original combinatorial approach did not.
In parallel, many researchers have studied when the hypotheses of the theorem could be
weakened and obtain a possibility result. One of these strategies consists of restricting the
domains of individual preferences. That is, taking into account that in some problems not
every ranking makes sense, studying which are the domains which allow "good" aggregation
functions. There are many examples of such domains, but a characterization remains unknown.
In this talk, we will depart from the work of Baryshnikov (1993) in which he proved the
Arrow’s theorem by applying a transformation from the (original) combinatorial framework to
a topological framework based on simplicial complexes. Then, he used homology in his study.
We propose to avoid homology and use techniques from combinatorial topology instead.
We will see how, in the base case of two voters and three alternatives, the impossibility theorem
is proved again, and the domain restriction problem is solved. Using both elements, we can
make some hypotheses about how we could solve the general case.
In addition to deep on the connections between social choice and topology, the other goal of
this talk is to provide an example of how abstract mathematics can help to solve huge problems
in social providing new approaches.
This is a joint work with Sergio Rajsbaum, professor in the Instituto de Matemáticas, UNAM,
México.
A preprint of this work can be found in RePeC Archive as A Combinatorial Topology Ap-
proach to Arrow’s Impossibility Theorem.
68
BYMAT 2022 Contributed posters
Posters
Poster session (Thursday afternoon)
16:30 - 16:38
Study Of An Inverse Problem For Fractional Parabolic Equation Under Integral
Overdetermination Condition
Benguesmia Amal, Oum El Bouaghi University
roueyabenguesmia@gmail.com
This paper investigates the solvability of the fractional partial differential equation with integral
overdetermination condition for an inverse problem. Using the “energy inequality” method,
we examine the direct problem solution. The existence and uniqueness of the solution to the
inverse problem on the data are established using the fixed point technique.
16:38 - 16:46
New fractional-order information measures
Slimane Benmahmoud, M’sila University. Algeria
slimane34a@gmail.com
In this work, we will use fractional calculus theory (exactly, the Riemann-Liouville fractional
integral and derivative) to derive new formulas for the fractional-order continuous information
measures.
16:46 - 16:52
Optimal Time Reinsurance-Investment strategy for mean variance criterion
Dounia Bahlali, Laboratory of Applied Mathematics, Mohamed Khider University, Biskra,
Algeria
dounia.bahlali@univ-biskra.dz
In this presentation, we explore an insurer’s optimal time-consistent strategies under the mean-
variance criterion with state dependent risk aversion. We assume that the insurer manages
insurance risk which is characterized by a two-dimensional dependent claim process by pur-
chasing proportional reinsurance. Since this problem is time inconsistent we attack it by placing
the problem within a game theoretic framework and look for subgame perfect Nash equilibrium
strategies.
69
16:52 - 17:00
Machine Learning applications in Astrophysics: estimation of stellar parameters in
spectra of B-type stars
José Gonzales, UNAH, UPV
jgonzaleze@unah.edu.hn
Currently, Machine Learning is helping to automate tasks that consume a lot of time and
resources, such as, for example, the determination of stellar parameters through quantitative
spectroscopy; for high-resolution spectra data sets, the effective temperature(Teff ) or surface
gravity(log g) is extracted from the absorption lines based on measurement of equivalent widths
or calculation on synthetic spectra.
In this work, the use of Machine Learning and Deep Learning models is proposed for the
determination of stellar parameters of spectra of early B-type stars, for the training of the models
we used 1500 high-resolution multi-epoch spectra of about 650 stars from the database of the
IACOB project of the Instituto de Astrofísica de Canarias. In addition, the analysis of stellar
spectra can be influenced by the dimension curse, so algorithms such as TRIMAP or PACMAP
will be used to reduce the dimension of the spectra.
The performance of these models in this parameter estimation task is compared with the
performance of models currently used in astrophysics for this task, such as StarNet or SPCANet.
17:00 - 17:08
A Mathematical Model of Transmission Dynamics of SARS-CoV-2 (COVID-19) with
an Underlying Condition of Obesity .
Boubekeur Maroua Amel, University of Mostaganem Algeria
maroua.boubekeur.etu@univ-mosta.dz
In this work, we propose a mathematical model that highlights the narrow link between obesity
and the mortality due to COVID-19, as well as patients admitted to the ICU for COVID-19 acute
respiratory distress syndrome (ARDS). This model takes into account different disease states and
is represented mathematically by a nonlinear temporal system of ordinary differential equations.
An analysis of the stability of different equilibrium states is also obtained to theoretically confirm
the mathematical realism. Numerical simulations are presented to explain the usefulness of the
proposed model.
70
17:08 - 17:16
Analyzing Insurance Data with an Alpha Power Transformed Exponential Poisson
Model
Mohammed Amine Meraou, Belhamiti Omar , LSPS, University of Djillali Liabes, Sidi Bel
Abbes, ALGERIA
aminemeraou22@gmail.com
In modeling insurance losses data, several distributions are not flexible enough to provide
the best fit to the real data sets. To overcome the issue, the researchers are motivated to
propose new extensions of the existing distributions by adding one or more parameters to a
parent distribution. The main objective of this paper is two-fold: the first is to propose a new
model by adding an additional parameter to the baseline distributions for modeling claim
and risk data used in actuarial and financial studies. The new model is called alpha power
transformed exponential Poisson (APT-EP) model. It has three parameters and its probability
density function can be skewed and unimodal. Several distributional properties of the proposed
model such as reliability, hazard rate, quantile and moments are established. Estimation of the
unknown parameters based on maximum likelihood estimation are derived. The second aim is
devoted to exploring two well-known risk measures, namely the value at risk (VaR) and tail
value at risk (TVaR), for the APT-EP model. These risk measures play a key role in portfolio
optimization under uncertainty. Finally, two real data sets of insurance losses are analyzed to
check the potential of the proposed model among some of the existing models.
17:16 - 17:24
The resilient of the independent network
Yang jinling, Northwestern Polytechnica l University
jlyang@mail.nwpu.edu.cn
We analyze the resilience of the independent network. And the model is the load-capacity
or dynamic. We can use different attack strategies and choose the recovery strategies. Then,
simulation on the real network.
71

Book of Abstract BYMAT 3rd Edition

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Book of Abstract BYMAT 3rd Edition

Uploaded by

Copyright:

Available Formats

Organising Committee:

• Carlos Andreu Villaroig (Universitat Politècnica de València)

09:00 - 09:30 Opening session

09:30 - 10:30 Plenary - Martina Conte

09:30 - 10:30 Plenary - Ujué Etayo

Divide and conquer: splitting algorithms in optimization

Multiscale models of glioma progression: insights into

How to know we have the minimizer? From Bernoulli to

From random matrix theory to equidistribution of points

Study of optimal vaccination strategies for the COVID-19

Wednesday, 14:00 - 15:00

Thursday, 15:00 - 16:30

How to rise and thrive in your career as a successful

but with central focus on underrepresented populations. Belonging to an underrepresented

• Boosting representation of Women in STEM through Publication.

Friday, 11:00- 12:30

Information design is more than making a poster visually

Friday, 17:00- 18:30

From your research to the news

Algebra and Combinatorics

Given a commutative unital ring K, a matrix A ∈ Matn (K ) is tridiagonal k-Toeplitz if it is

sequences of period k, so that it has the form

We consider representations of the Ariki-Koike algebra, a q-deformation of the group algebra of

Second session (Wednesday afternoon)

Third session (Thursday morning)

Fourth session (Friday afternoon)

The combinatorial description of the topological structure of the classifying space of a

Statistics and Operations Research

Second session (Thursday morning)

Inferential methods in reliability investigate the lifetime distribution of a product from a

This work proposes a high-accuracy numerical method based on a compact difference

An efficient numerical method for solving fractional integro-differential equations is explored

Second session (Wednesday morning)

Third session (Wednesday afternoon)

Fourth session (Wednesday afternoon)

Fifth session (Thursday morning)

”this is joint work with [Mohamed DALAH]”.

This is joint work with

Meta-heuristics algorithms witness a great demand to solve complex optimization problems,

∥ AX − XB − I ∥ ≥ 1; for all X ∈ B(H).

Sixth session (Thursday morning)

A strip-based electromechanical yielding model for a transversely isotropic piezoelectric plate

two-dimensional hybrid systems called continuous-discrete-time linear systems. The presented

Seventh session (Friday afternoon)

Eighth session (Friday afternoon)

Second session (Wednesday morning)

Third session (Wednesday afternoon)

The one-dimensional Krein Laplacian operator A in L2 [ a, b] is the self-adjoint operator A given

and the first left-definite inner product on H1 is given by

[ f (b) − f ( a)] [ g(b) − g( a)]

Fourth session (Thursday morning)

We consider the evolution of the magnetohydrodynamic (MHD) equations with magnetic

The Takagi function is a classical example of a continuous nowhere differentiable function. In

Fifth session (Thursday morning)

Shape remodeling is key to understand organ regeneration and embryo development. In

where Ω is a bounded domain of R N whose boundary, ∂Ω, is a N − 1 dimensional manifold

Nowadays it is well understood that the dynamics of a complex-linear dynamical system

1. when T is an operator on a complex Hilbert space (via Gaussian measures);

2. when T is a power-bounded operator on a complex reflexive Banach space (via the

(−∆)sp(x,.) u + a( x )|u| p̄(x)−2 u = f ( x, u) + λ |u|γ(x)−2 u in Ω,

Sixth session (Friday afternoon)

We study quasiminimizers of the following anisotropic energy ( p, q)-Dirichlet integral

A well-known link between solutions to the Helmholtz equation ∆v + v = 0 and eigenfunctions