title: Security analysis of a self-embedding fragile image watermark scheme

abstract: Recently, a self-embedding fragile watermark scheme based on reference-bits interleaving and adaptive selection of embedding mode was proposed. Reference bits are derived from the scrambled MSB bits of a cover image, and then are combined with authentication bits to form the watermark bits for LSB embedding. We find this algorithm has a feature of block independence of embedding watermark such that it is vulnerable to a collage attack. In addition, because the generation of authentication bits via hash function operations is not related to secret keys, we analyze this algorithm by a multiple stego-image attack. We find that the cost of obtaining all the permutation relations of $l\cdot b^2$ watermark bits of each block (i.e., equivalent permutation keys) is about $(l\cdot b^2)!$ for the embedding mode $(m, l)$, where $m$ MSB layers of a cover image are used for generating reference bits and $l$ LSB layers for embedding watermark, and $b\times b$ is the size of image block. The simulation results and the statistical results demonstrate our analysis is effective.


title: Study on charged strange stars in $f\left(R,\mathcal{T}\right)$ gravity

abstract: We investigate effects of the modified $f(R, \mathcal{T})$ gravity on the charged strange quark stars with the standard choice of $f(R, \mathcal{T})=R+2\chi \mathcal{T}$. Those types of stars are supposed to be made of strange quark matter (SQM) whose distribution is governed by the phenomenological MIT bag EOS as $p=\frac{1}{3}(\rho-4B)$, where $B$ is the bag constant, while the form of charge distribution is chosen to be $q\left(r\right)=Q\left(r/R\right)^3=\alpha r^3$ with $\alpha$ as a constant. We derive the values of the unknown parameters by matching the interior spacetime to the exterior Reissner-Nordstr{\"o}m metric followed by the appropriate choice of the values of the parameters $\chi$ and $\alpha$. Our study reveals that besides SQM, a new kind of matter distribution originates due to the interaction between the matter and the extra geometric term, while the modification of the Tolman-Oppenheimer-Volkoff (TOV) equation invokes the presence of a new force $F_c$. The accumulation of the electric charge distribution reaches its maximum at the surface, and the predicted values of the corresponding electric charge and electric field are of the order of $10^{19-20}$ C and $10^{21-22}$ V/cm, respectively. To examine the physical validity of our solutions, we perform several tests and find that the proposed $f(R, \mathcal{T})$ model survives all these critical tests. Therefore, our model can describe the non-singular charged strange stars and justify the supermassive compact stellar objects having their masses beyond the maximum mass limit for the compact stars in the standard scenario. Our model also supports the existence of several exotic astrophysical objects like super-Chandrasekhar white dwarfs, massive pulsars, and even magnetars, which remain unexplained in the framework of General Relativity (GR).


title: The meaning of "most" for visual question answering models

abstract: The correct interpretation of quantifier statements in the context of a visual scene requires non-trivial inference mechanisms. For the example of "most", we discuss two strategies which rely on fundamentally different cognitive concepts. Our aim is to identify what strategy deep learning models for visual question answering learn when trained on such questions. To this end, we carefully design data to replicate experiments from psycholinguistics where the same question was investigated for humans. Focusing on the FiLM visual question answering model, our experiments indicate that a form of approximate number system emerges whose performance declines with more difficult scenes as predicted by Weber's law. Moreover, we identify confounding factors, like spatial arrangement of the scene, which impede the effectiveness of this system.


title: Nuclear effects in the deuteron in the resonance and deep-inelastic scattering region

abstract: We discuss a hybrid model of the proton and neutron inelastic structure functions which incorporates both the partonic and the nucleon resonance structures and applicable in a wide region of the invariant mass $W$ of produced hadronic states. Focusing at the typical kinematics of JLab experiments we compute the deuteron structure functions and demonstrate good performance of the model against data. We perform systematic study of the ratios $F_2^n/F_2^d$ and $(F_2^p+F_2^n)/F_2^d$ for both, the deep-inelastic and the resonance, region in the context of recent measurements of BoNuS experiment at Jefferson Lab.


title: Analytic torsion for surfaces with cusps II. Regularity, asymptotics and curvature theorem

abstract: In this article we study the Quillen norm on the determinant line bundle associated with a family of complex curves with cusps, which admit singular fibers. More precisely, we fix a family of complex curves $\pi : X \to S$, which admit at most double-point singularities. Let $(\xi, h^{\xi})$ be a holomorphic Hermitian vector bundle over $X$. Let $\sigma_1, \ldots, \sigma_m : S \to X$ be disjoint holomorphic sections. We denote the divisor $D_{X/S} := \rm{Im}(\sigma_1) + \cdots + \rm{Im}(\sigma_m)$, and endow the relative canonical line bundle $\omega_{X/S}$ with a Hermitian norm such that its restriction at each fiber of $\pi$ induces K\"ahler metric with hyperbolic cusps. This Hermitian norm induces the Hermitian norm on the twisted relative canonical line bundle $\omega_{X/S}(D) := \omega_{X/S} \otimes \mathscr{O}_{X}(D_{X/S})$. For $n \leq 0$, we study the determinant line bundle $\lambda(j^*(\xi \otimes \omega_{X/S}(D)^n))$. We endow it with the Quillen norm by using the analytic torsion from the first paper of this series. Then we study the regularity of this Quillen norm and its asymptotics near the locus of singular curves. The singular terms of the asymptotics turn out to be reasonable enough, so that the curvature of $\lambda(j^*(\xi \otimes \omega_{X/S}(D)^n))$ is well-defined as a current over $S$. We derive the explicit formula for this current, which gives a refinement of Riemann-Roch-Grothendieck theorem at the level of currents. This generalizes the curvature formulas of Takhtajan-Zograf and Bismut-Bost. As a consequence of our study, we also get some regularity results on the Weil-Petersson form over the moduli space of pointed curves, which are enough to conclude the well-known fact, originally due to Wolpert, that the Weil-Petersson volume of the moduli space of pointed stable curves is a rational multiple of a power of $\pi$.


title: A Neural Network Based Explainable Recommender System

abstract: Recommendation system could help the companies to persuade users to visit or consume at a particular place, which was based on many traditional methods such as the set of collaborative filtering algorithms. Most research discusses the model design or feature engineering methods to minimize the root mean square error (RMSE) of rating prediction, but lacks exploring the ways to generate the reasons for recommendations. This paper proposed an integrated neural network based model which integrates rating scores prediction and explainable words generation. Based on the experimental results, this model presented lower RMSE compared with traditional methods, and generate the explanation of recommendation to convince customers to visit the recommended place.


title: A modal aleatoric calculus for probabilistic reasoning: extended version

abstract: We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or "by the throw of dice". This system consists of possible worlds that assign distributions to independent random variables, and agents who assign probabilities to these possible worlds. We present a novel syntax and semantics for such system, and show that they generalise Modal Logic. We also give a sound and complete calculus for reasoning in the base semantics, and a sound calculus for the full modal semantics, that we conjecture to be complete. Finally we discuss some application to reasoning about game playing agents.


title: Study of Semiclassical Instability of the Schwarzschild AdS Black Hole in the Large $D$ Limit

abstract: We analyze the semiclassical stability of the Schwarzschild AdS black hole in the Euclidean partition function approach. We perform this computation in the large $D$ limit and focus on scalar perturbations. We obtain the equations for non-spherically symmetric scalar perturbations in a simple form. For a class of perturbations stability is demonstrated by the S-deformation method. For some other classes we rule out unstable modes of $\mathcal{O}(D^2)$. We also analyze the spherically symmetric perturbations and demonstrate the appearance of an unstable mode for small black holes in the large $D$ limit. We obtain an expression for the eigenvalue corresponding to the unstable mode to next to leading order in a $1/D$ expansion. This result agrees with a previously obtained numerical bound on this eigenvalue. For cosmological constant zero, our answer matches a previous result obtained for the corresponding eigenvalue for the $D$ dimensional Schwarzschild-Tangherlini black hole to next to leading order in a $1/D$ expansion.


title: The Burnside problem for locally compact groups

abstract: Using topological notions of translation-like actions introduced by Schneider, we give a positive answer to a geometric version of Burnside problem for locally compact group. The main theorem states that a locally compact group is non-compact if and only if it admits a translation-like action by the group of integers $\mathbf Z$. We then characterize the existence of cocompact translation-like actions of $\mathbf Z$ or non-abelian free groups on a large class of locally compact groups, improving on Schneider's results and generalising Seward's.


title: Vacuum static spaces with vanishing of complete divergence of Bach tensor and Weyl tensor

abstract: In this paper, we study vacuum static spaces with the complete divergence of the Bach tensor and Weyl tensor. First, we prove that the vanishing of complete divergence of the Bach tensor and Weyl tensor implies the harmonicity of the metric, and we present examples in which these conditions do not imply Bach flatness. As an application, we prove the non-existence of multiple black holes in vacuum static spaces with zero scalar curvature. On the other hand, we prove the Besse conjecture under these conditions, which are weaker than harmonicity or Bach flatness. Moreover, we show a rigidity result for vacuum static spaces and find a sufficient condition for the metric to be Bach-flat.


title: Coarse amenability at infinity

abstract: We define two different weakenings of coarse amenability (also known as Yu's property A), namely fibred coarse amenability and coarse amenability at infinity. These two properties allow us to prove that a residually finite group is coarsely amenable if and only if some (or all) of its box spaces satisfy the weak properties. We then elaborate on a result of Willett by showing that graphs with large girth always satisfy fibred coarse amenability. Finally, we discuss some examples and counter-examples to these properties.


title: Bielliptic modular curves $X_0^*(N)$ with square-free levels

abstract: Let $N\geq 1$ be a square-free integer such that the modular curve $X_0^*(N)$ has genus $\geq 2$. We prove that $X_0^*(N)$ is bielliptic exactly for $19$ values of $N$, and we determine the automorphism group of these bielliptic curves. In particular, we obtain the first examples of nontrivial $Aut(X_0^*(N))$ when the genus of $X_0^*(N)$ is $\geq 3$. Moreover, we prove that the set of all quadratic points over $\mathbb{Q}$ for the modular curve $X_0^*(N)$ with genus $\geq 2$ and $N$ square-free is not finite exactly for $51$ values of $N$.


title: Evaluating the Red Belly Blockchain

abstract: In this paper, we present the most extensive evaluation of blockchain system to date. To achieve scalability across servers in more than 10 countries located on 4 different continents, we drastically revisited Byzantine fault tolerant blockchains and verification of signatures. The resulting blockchain, called the Red Belly Blockchain (RBBC), commits more than a hundred thousand transactions issued by permissionless nodes. These transactions are grouped into blocks within few seconds through a partially synchronous consensus run by permissioned nodes. It prevents double spending by guaranteeing that a unique block is decided at any given index of the chain in a deterministic way by all participants. We compared the performance of RBBC against traditional Byzantine fault tolerant alternatives and more recent randomized solutions. In the same geo-distributed environment with low-end machines, we noticed two interesting comparisons: (i) the RBBC throughput scales to hundreds of machines whereas the classic 3-step leader-based BFT state machine used by consortium blockchains cannot scale to 40 identically configured nodes; (ii) RBBC guarantees transaction finality in 3 seconds and experiences a third of the latency that randomized-based solutions like HoneyBadgerBFT can offer. This empirical evaluation demonstrates that blockchain scalability can be achieved without sacrificing security.


abstract: This article introduces and provides the mathematical foundation of the open string Floer theory of Landau-Ginzburg model viaWitten equation. We introduce the concept of regular tame exact Landau-Ginzburg system on a noncompact Kaehler manifold, and define the notion of Landau-Ginzburg branes, as the objects of the Fukaya category. The study on Witten equation in our context provides the construction of the Fukaya category of Landau-Ginzburg model which was conjectured to be existed in Gaiotto-Moore-Witten's work [22] and Kapranov-Kontsevich-Soibelman's work [30]. This is the first paper in the series of studies on Landau-Ginzburg models in the contexts of the mirror symmetry and other topics.


title: Phase Topology of Two Vortices of the Identical Intensities in Bose-Einstein Condensate

abstract: Completely Liouville integrable Hamiltonian system with two degrees of freedom, describing the dynamics of two vortex filaments in a Bose-Einstein condensate enclosed in a cylindrical trap, is considered. For the system of two vortices with identical intensities detected bifurcation of three Liouville tori into one. Such a bifurcation was found in the integrable case of Goryachev-Chaplygin-Sretensky in the rigid body dynamics.


title: Federated Learning via Over-the-Air Computation

abstract: The stringent requirements for low-latency and privacy of the emerging high-stake applications with intelligent devices such as drones and smart vehicles make the cloud computing inapplicable in these scenarios. Instead, edge machine learning becomes increasingly attractive for performing training and inference directly at network edges without sending data to a centralized data center. This stimulates a nascent field termed as federated learning for training a machine learning model on computation, storage, energy and bandwidth limited mobile devices in a distributed manner. To preserve data privacy and address the issues of unbalanced and non-IID data points across different devices, the federated averaging algorithm has been proposed for global model aggregation by computing the weighted average of locally updated model at each selected device. However, the limited communication bandwidth becomes the main bottleneck for aggregating the locally computed updates. We thus propose a novel over-the-air computation based approach for fast global model aggregation via exploring the superposition property of a wireless multiple-access channel. This is achieved by joint device selection and beamforming design, which is modeled as a sparse and low-rank optimization problem to support efficient algorithms design. To achieve this goal, we provide a difference-of-convex-functions (DC) representation for the sparse and low-rank function to enhance sparsity and accurately detect the fixed-rank constraint in the procedure of device selection. A DC algorithm is further developed to solve the resulting DC program with global convergence guarantees. The algorithmic advantages and admirable performance of the proposed methodologies are demonstrated through extensive numerical results.


title: Nuclear response in a finite-temperature relativistic framework

abstract: A thermal extension of the relativistic nuclear field theory is formulated for the nuclear response. The Bethe-Salpeter equation (BSE) with the time-dependent kernel for the particle-hole response is treated within the Matsubara Green's function formalism. We show that, with the help of a temperature-dependent projection operator on the subspace of the imaginary time (time blocking), it is possible to reduce the BSE for the nuclear response function to a single frequency variable equation also at finite temperature. The approach is implemented self-consistently in the framework of quantum hadrodynamics based on the meson-nucleon Lagrangian. The method is applied to the monopole, dipole and quadrupole response of $^{48}$Ca and to the dipole response of the tin isotopes $^{100,120,132}$Sn, in particular, to a study of the evolution of nuclear collective oscillations with temperature. The article is dedicated to the memory of Pier Francesco Bortignon and devoted to the developments related to his pioneering ideas.


title: Cusps, Congruence Groups and Monstrous Dessins

abstract: We study general properties of the dessins d'enfants associated with the Hecke congruence subgroups $\Gamma_0(N)$ of the modular group $\mathrm{PSL}_2(\mathbb{R})$. The definition of the $\Gamma_0(N)$ as the stabilisers of couples of projective lattices in a two-dimensional vector space gives an interpretation of the quotient set $\Gamma_0(N)\backslash\mathrm{PSL}_2(\mathbb{R})$ as the projective lattices $N$-hyperdistant from a reference one, and hence as the projective line over the ring $\mathbb{Z}/N\mathbb{Z}$. The natural action of $\mathrm{PSL}_2(\mathbb{R})$ on the lattices defines a dessin d'enfant structure, allowing for a combinatorial approach to features of the classical modular curves, such as the torsion points and the cusps. We tabulate the dessins d'enfants associated with the $15$ Hecke congruence subgroups of genus zero, which arise in Moonshine for the Monster sporadic group.


title: R\'enyi entropy at large energy density in 2D CFT

abstract: We investigate the R\'enyi entropy and entanglement entropy of an interval with an arbitrary length in the canonical ensemble, microcanonical ensemble and primary excited states at large energy density in the thermodynamic limit of a two-dimensional large central charge $c$ conformal field theory. As a generalization of the recent work [Phys. Rev. Lett. 122 (2019) 041602], the main purpose of the paper is to see whether one can distinguish these various large energy density states by the R\'enyi entropies of an interval at different size scales, namely, short, medium and long. Collecting earlier results and performing new calculations in order to compare with and fill gaps in the literature, we give a more complete and detailed analysis of the problem. Especially, we find some corrections to the recent results for the holographic R\'enyi entropy of a medium size interval, which enlarge the validity region of the results. Based on the R\'enyi entropies of the three interval scales, we find that R\'enyi entropy cannot distinguish the canonical and microcanonical ensemble states for a short interval, but can do the job for both medium and long intervals. At the leading order of large $c$ the entanglement entropy cannot distinguish the canonical and microcanonical ensemble states for all interval lengths, but the difference of entanglement entropy for a long interval between the two states would appear with $1/c$ corrections. We also discuss R\'enyi entropy and entanglement entropy differences between the thermal states and primary excited state. Overall, our work provides an up-to-date picture of distinguishing different thermal or primary states at various length scales of the subsystem.


title: Binding of atoms in M\"uller theory

abstract: We give a necessary and sufficient condition for the existence of molecules in M\"uller theory. Furthermore, we show that if a system is stable in Born-Oppenheimer approximation, then the bound on the positive excess charge $ Z-N \le cZ^{1-\epsilon}$ follows.


title: Approximate Inference for Multiplicative Latent Force Models

abstract: Latent force models are a class of hybrid models for dynamic systems, combining simple mechanistic models with flexible Gaussian process (GP) perturbations. An extension of this framework to include multiplicative interactions between the state and GP terms allows strong a priori control of the model geometry at the expense of tractable inference. In this paper we consider two methods of carrying out inference within this broader class of models. The first is based on an adaptive gradient matching approximation, and the second is constructed around mixtures of local approximations to the solution. We compare the performance of both methods on simulated data, and also demonstrate an application of the multiplicative latent force model on motion capture data.


title: The curious behaviour of the scale invariant $(2+1)$-dimensional Lifshitz scalar

abstract: We demonstrate the existence of an exactly marginal deformation, with derivative coupling, about the free theory of a $(2+1)$-dimensional charged, Lifshitz scalar with dynamic critical exponent $z=4$ and particle-hole asymmetry. We show that the other classically scale invariant interactions (consistent with translational and rotational invariance) break the scale symmetry at the quantum level and find a trace identity for the stress-energy-momentum tensor complex. We conjecture the existence of bound states of $(N+1)$-particles, as a manifestation of broken scale invariance, when we turn on an attractive, classically scale invariant, polynomial interaction in charged, scalar Lifshitz field theories with dynamic critical exponent $z=2N$, $n \in \mathbb{N}$.

categories: hep-th cond-mat.quant-gas math-ph math.MP quant-ph


title: GUT-inspired MSSM in light of muon $g-2$ and LHC results at $\sqrt{s}=13$ TeV

abstract: The recent results of the LHC search for electroweak production of supersymmetric (SUSY) particles at $\sqrt{s}=13$ TeV have shown improved lower limits for their masses. In addition, the projected experiment E989 will be able to measure the muon anomalous magnetic moment precisely so that the experimental uncertainty can be reduced by a factor of four. It was pointed out that if the center value of the muon $g-2$ remains unchanged the deviation between the standard model (SM) prediction and the experimental value will be as large as 7.0$\sigma$. Such a large deviation will be solid evidence for new physics beyond the SM. Motivated by these results, we investigate the minimal SUSY extension of the SM with universal gaugino masses at the grand unified scale in the light of the muon $g-2$ and the updated LHC constraints. The squarks are assumed to be heavy and decoupled from physics at low energy scales to resemble the SM-like Higgs boson mass of 125 GeV and other bounds for squark masses at the LHC. We have pinned down allowed windows for the lightest neutralino and the smuon masses as well as other input parameters relevant to the light SUSY sector. The expected results of the E989 experiment play a crucial role in narrowing these windows. The viability of the model for small mass regions can be tested at the LHC Run 3 and the High Luminosity LHC in the near future.


title: Fundamental bounds on learning performance in neural circuits

abstract: How does the size of a neural circuit influence its learning performance? Intuitively, we expect the learning capacity of a neural circuit to grow with the number of neurons and synapses. Larger brains tend to be found in species with higher cognitive function and learning ability. Similarly, adding connections and units to artificial neural networks can allow them to solve more complex tasks. However, we show that in a biologically relevant setting where synapses introduce an unavoidable amount of noise, there is an optimal size of network for a given task. Beneath this optimal size, our analysis shows how adding apparently redundant neurons and connections can make tasks more learnable. Therefore large neural circuits can either devote connectivity to generating complex behaviors, or exploit this connectivity to achieve faster and more precise learning of simpler behaviors. Above the optimal network size, the addition of neurons and synaptic connections starts to impede learning performance. This suggests that overall brain size may be constrained by the need to learn efficiently with unreliable synapses, and may explain why some neurological learning deficits are associated with hyperconnectivity. Our analysis is independent of specific learning rules and uncovers fundamental relationships between learning rate, task performance, network size and intrinsic noise in neural circuits.


title: Constraints from a many-body method on spin-independent dark matter scattering off electrons using data from germanium and xenon detectors

abstract: Scattering of light dark matter (LDM) particles with atomic electrons is studied in the context of effective field theory. Contact and long-range interactions between dark matter and an electron are both considered. A state-of-the-art many-body method is used to evaluate the spin-independent atomic ionization cross sections of LDM-electron scattering, with an estimated error about 20%. New upper limits are derived on parameter space spanned by LDM mass and effective coupling strengths using data from the CDMSlite, XENON10, XENON100, and XENON1T experiments. Comparison with existing calculations shows the importance of atomic structure. Two aspects particularly important are relativistic effect for inner-shell ionization and final-state free electron wave function which sensitively depends on the underlying atomic approaches.


title: Multilingual Constituency Parsing with Self-Attention and Pre-Training

abstract: We show that constituency parsing benefits from unsupervised pre-training across a variety of languages and a range of pre-training conditions. We first compare the benefits of no pre-training, fastText, ELMo, and BERT for English and find that BERT outperforms ELMo, in large part due to increased model capacity, whereas ELMo in turn outperforms the non-contextual fastText embeddings. We also find that pre-training is beneficial across all 11 languages tested; however, large model sizes (more than 100 million parameters) make it computationally expensive to train separate models for each language. To address this shortcoming, we show that joint multilingual pre-training and fine-tuning allows sharing all but a small number of parameters between ten languages in the final model. The 10x reduction in model size compared to fine-tuning one model per language causes only a 3.2% relative error increase in aggregate. We further explore the idea of joint fine-tuning and show that it gives low-resource languages a way to benefit from the larger datasets of other languages. Finally, we demonstrate new state-of-the-art results for 11 languages, including English (95.8 F1) and Chinese (91.8 F1).


title: The Gromov norm of the quaternionic K\"ahler class

abstract: We prove that the embedding of the quaternionic hyperbolic disc $H^1_\mathbb{H}$ into quaternionic hyperbolic $n$-space $H^n_\mathbb{H}$ is tight and thereby obtain the value of the Gromov norm of the quaternionic K\"ahler class.


title: Enhancement of crossed Andreev reflection in a Kitaev ladder connected to normal metal leads

abstract: We study nonlocal transport in a two-leg Kitaev ladder connected to two normal metals. The coupling between the two legs of the ladder when the legs are maintained at a (large) superconducting phase difference, results in the creation of subgap Andreev states. These states in turn are responsible for the enhancement of crossed Andreev reflection. We find that tuning the different parameters of the system suitably leads to enhancement of crossed Andreev reflection signalled by transconductance acquiring the most negative value possible. Furthermore, subgap states cause oscillations of the transconductance as a function of various system parameters such as chemical potential and ladder length, which are seen to be a consequence of Fabry-P\'erot resonance.


title: Spherical structure factor and classification of hyperuniformity on the sphere

abstract: Understanding how particles are arranged on the sphere is not only central to numerous physical, biological, and materials systems but also finds applications in mathematics and in analysis of geophysical and meteorological measurements. In contrast to particle distributions in Euclidean space, restriction that the particles should lie on the sphere brings about several important constraints. These require a careful extension of quantities used for particle distributions in Euclidean space to those confined to the sphere. We introduce a framework designed to analyze and classify structural (dis)order in particle distributions constrained to the sphere. The classification is based on the concept of hyperuniformity, which was introduced 15 years ago and since then studied extensively in Euclidean space, yet has only very recently been considered for the sphere. We build our framework on a generalization of the structure factor on the sphere, which we relate to the power spectrum of the corresponding multipole expansion. The spherical structure factor is then shown to couple with cap number variance, a measure of local density fluctuations, allowing us to derive different forms of the variance. In this way, we construct a classification of hyperuniformity for scale-free particle distributions on the sphere and show how it can be extended to other distributions as well. We demonstrate that hyperuniformity on the sphere can be defined either through a vanishing spherical structure factor at low multipole numbers or through a scaling of the cap number variance, in both cases extending the Euclidean definition while pointing out crucial differences. Our work provides a comprehensive tool for detecting long-range order on spheres and the analysis of spherical computational meshes, biological and synthetic spherical assemblies, and ordering phase transitions in spherically-distributed particles.


title: Hodge decomposition of the Sobolev space $H^1$ on a space form of nonpositive curvature

abstract: The Hodge decomposition is well-known for compact manifolds. The result has been extended by Kodaira to include non-compact manifolds and $L^2$ forms. We further extend the Hodge decomposition to the Sobolev space $H^1$ for general $k$-forms on non-compact manifolds of nonpositive constant sectional curvature. As a result, we also obtain a decomposition on $\mathbb R^N$.


title: Microscopic explanation for black hole phase transitions via Ruppeiner geometry: two competing factors-the temperature and repulsive interaction among BH molecules

abstract: Charged dilatonic black hole (BH) has rather rich phase diagrams which may contain zeroth-order, first-order as well as reentrant phase transitions (RPTs) depending on the value of the coupling constant $\alpha$ between the electromagnetic field and the dilaton. We try to give a microscopic explanation for these phase transitions by adopting Ruppeiner's approach. By studying the behaviors of the Ruppeiner invariant $R$ along the co-existing lines, we find that the various phase transitions may be qualitatively well explained as a result of two competing factors: the first one is the low-temperature effect which tends to shrink the BH and the second one is the repulsive interaction between the BH molecules which, on the contrary, tends to expand the BH. In the standard phase transition without RPT, as temperature is lowered, the first kind of factor dominates over the second one, so that large black hole (LBH) tends to shrink and thus transits to small black hole (SBH); While in the RPT, after the LBH-SBH transition, as temperature is further decreased, the strength of the second factor increases quickly and finally becomes strong enough to dominate over the first factor, so that SBH tends to expand to release the high repulsion and thus transits back to LBH. Moreover, by comparing the behavior of $R$ versus the temperature $T$ with fixed pressure to that of ordinary two-dimensional thermodynamical systems but with fixed specific volume, it is interesting to see that SBH behaves like a Fermionic gas system in cases with RPT, while it behaves oppositely to an anyon system in cases without RPT. And in all cases, LBH behaves like a nearly ideal gas system.


title: A unified quark-nuclear matter equation of state from the cluster virial expansion within the generalized Beth-Uhlenbeck approach

abstract: We consider a cluster expansion for strongly correlated quark matter where the clusters are baryons with spectral properties that are described within the generalized Beth-Uhlenbeck approach by a medium dependent phase shift. We employ a simple ansatz for the phase shift which fulfils the Levinson theorem by describing an on-shell bound state with an effective mass and models the continuum by an anti-bound state located at the mass of the three-quark threshold. The quark and baryon interactions are accounted for by the coupling to scalar and vector meson mean fields modelled by density functionals. At increasing density and temperature, due to the different medium-dependence of quark and baryon masses, the Mott dissociation of baryons occurs and the nuclear cluster contributions to the thermodynamics vanish. It is demonstrated on this simple example that this unified approach to quark-nuclear matter is capable of describing crossover as well as first order phase transition behaviour in the phase diagram with a critical endpoint. Changing the meson mean field, the case of a "crossover all over" in the phase diagram is also obtained.


title: Current-induced skyrmion motion on magnetic nanotubes

abstract: Magnetic skyrmions are believed to be the promising candidate of information carriers in spintronics. However, the skyrmion Hall effect due to the nontrivial topology of skyrmions can induce a skyrmion accumulation or even annihilation at the edge of the devices, which hinders the real-world applications of skyrmions. In this work, we theoretically investigate the current-driven skyrmion motion on magnetic nanotubes which can be regarded as "edgeless" in the tangential direction. By performing micromagnetic simulations, we find that the skyrmion motion exhibits a helical trajectory on the nanotube, with its axial propagation velocity proportional to the current density. Interestingly, the skyrmion's annular speed increases with the increase of the thickness of the nanotube. A simple explanation is presented. Since the tube is edgeless for the tangential skyrmion motion, a stable skyrmion propagation can survive in the presence of a very large current density without any annihilation or accumulation. Our results provide a new route to overcome the edge effect in planar geometries.


title: Global Chang's Conjecture and singular cardinals

abstract: We investigate the possibilities of global versions of Chang's Conjecture that involve singular cardinals. We show some $\mathrm{ZFC}$ limitations on such principles, and prove relative to large cardinals that Chang's Conjecture can consistently hold between all pairs of limit cardinals below $\aleph_{\omega^\omega}$.


title: Applications of the Dynnikov coordinate system on the boundary of Teichm\"uller space

abstract: The Dynnikov coordinate system puts global coordinates on the boundary of Teichm\"uller space of an $n$--punctured disk. We survey the Dynnikov coordinate system, and investigate how we use this coordinate system to study pseudo--Anosov braids making use of results from Thurston's theory on surface homeomorphisms.


title: Transport properties of the classical Toda chain: effect of a pinning potential

abstract: We consider energy transport in the classical Toda chain in the presence of an additional pinning potential. The pinning potential is expected to destroy the integrability of the system and an interesting question is to see the signatures of this breaking of integrability on energy transport. We investigate this by a study of the non-equilibrium steady state of the system connected to heat baths as well as the study of equilibrium correlations. Typical signatures of integrable systems are a size-independent energy current, a flat bulk temperature profile and ballistic scaling of equilibrium dynamical correlations, these results being valid in the thermodynamic limit. We find that, as expected, these properties change drastically on introducing the pinning potential in the Toda model. In particular, we find that the effect of a harmonic pinning potential is drastically smaller at low temperatures, compared to a quartic pinning potential. We explain this by noting that at low temperatures the Toda potential can be approximated by a harmonic inter-particle potential for which the addition of harmonic pinning does not destroy integrability.


title: Predicting Group Cohesiveness in Images

abstract: The cohesiveness of a group is an essential indicator of the emotional state, structure and success of a group of people. We study the factors that influence the perception of group-level cohesion and propose methods for estimating the human-perceived cohesion on the group cohesiveness scale. In order to identify the visual cues (attributes) for cohesion, we conducted a user survey. Image analysis is performed at a group-level via a multi-task convolutional neural network. For analyzing the contribution of facial expressions of the group members for predicting the Group Cohesion Score (GCS), a capsule network is explored. We add GCS to the Group Affect database and propose the `GAF-Cohesion database'. The proposed model performs well on the database and is able to achieve near human-level performance in predicting a group's cohesion score. It is interesting to note that group cohesion as an attribute, when jointly trained for group-level emotion prediction, helps in increasing the performance for the later task. This suggests that group-level emotion and cohesion are correlated.


title: Complexity of Linear Operators

abstract: Let $A \in \{0,1\}^{n \times n}$ be a matrix with $z$ zeroes and $u$ ones and $x$ be an $n$-dimensional vector of formal variables over a semigroup $(S, \circ)$. How many semigroup operations are required to compute the linear operator $Ax$? As we observe in this paper, this problem contains as a special case the well-known range queries problem and has a rich variety of applications in such areas as graph algorithms, functional programming, circuit complexity, and others. It is easy to compute $Ax$ using $O(u)$ semigroup operations. The main question studied in this paper is: can $Ax$ be computed using $O(z)$ semigroup operations? We prove that in general this is not possible: there exists a matrix $A \in \{0,1\}^{n \times n}$ with exactly two zeroes in every row (hence $z=2n$) whose complexity is $\Theta(n\alpha(n))$ where $\alpha(n)$ is the inverse Ackermann function. However, for the case when the semigroup is commutative, we give a constructive proof of an $O(z)$ upper bound. This implies that in commutative settings, complements of sparse matrices can be processed as efficiently as sparse matrices (though the corresponding algorithms are more involved). Note that this covers the cases of Boolean and tropical semirings that have numerous applications, e.g., in graph theory. As a simple application of the presented linear-size construction, we show how to multiply two $n\times n$ matrices over an arbitrary semiring in $O(n^2)$ time if one of these matrices is a 0/1-matrix with $O(n)$ zeroes (i.e., a complement of a sparse matrix).


title: Pathwise McKean-Vlasov Theory with Additive Noise

abstract: Abstract. We take a pathwise approach to classical McKean-Vlasov stochastic differential equations with additive noise, as e.g. exposed in Sznitmann [38]. Our study was prompted by some concrete problems in battery modelling [23], and also by recent progrss on rough-pathwise McKean-Vlasov theory, notably Cass-Lyons [10], and then Bailleul, Catellier and Delarue [4]. Such a "pathwise McKean-Vlasov theory" can be traced back to Tanaka [40]. This paper can be seen as an attempt to advertize the ideas, power and simplicity of the pathwise appproach, not so easily extracted from [4, 10, 40], together with a number of novel applications. These include mean field convergence without a priori independence and exchangeability assumption; common noise, c\`adl\`ag noise, and reflecting boundaries. Last not least, we generalize Dawson-G\"artner large deviations and the central limit theorem to a non-Brownian noise setting.


title: Tighter bounds for online bipartite matching

abstract: We study the online bipartite matching problem, introduced by Karp, Vazirani and Vazirani [1990]. For bipartite graphs with matchings of size $n$, it is known that the Ranking randomized algorithm matches at least $(1 - \frac{1}{e})n$ edges in expectation. It is also known that no online algorithm matches more than $(1 - \frac{1}{e})n + O(1)$ edges in expectation, when the input is chosen from a certain distribution that we refer to as $D_n$. This upper bound also applies to fractional matchings. We review the known proofs for this last statement. In passing we observe that the $O(1)$ additive term (in the upper bound for fractional matching) is $\frac{1}{2} - \frac{1}{2e} + O(\frac{1}{n})$, and that this term is tight: the online algorithm known as Balance indeed produces a fractional matching of this size. We provide a new proof that exactly characterizes the expected cardinality of the (integral) matching produced by Ranking when the input graph comes from the support of $D_n$. This expectation turns out to be $(1 - \frac{1}{e})n + 1 - \frac{2}{e} + O(\frac{1}{n!})$, and serves as an upper bound on the performance ratio of any online (integral) matching algorithm.


title: Learning and Selfconfirming Equilibria in Network Games

abstract: Consider a set of agents who play a network game repeatedly. Agents may not know the network. They may even be unaware that they are interacting with other agents in a network. Possibly, they just understand that their payoffs depend on an unknown state that is, actually, an aggregate of the actions of their neighbors. Each time, every agent chooses an action that maximizes her instantaneous subjective expected payoff and then updates her beliefs according to what she observes. In particular, we assume that each agent only observes her realized payoff. A steady state of the resulting dynamic is a selfconfirming equilibrium given the assumed feedback. We characterize the structure of the set of selfconfirming equilibria in the given class of network games, we relate selfconfirming and Nash equilibria, and we analyze simple conjectural best-reply paths whose limit points are selfconfirming equilibria.


title: Dual formulations of vortex strings in supersymmetric Abelian Higgs model

abstract: We discuss dual formulations of vortex strings (magnetic flux tubes) in the four-dimensional ${\cal N} =1$ supersymmetric Abelian Higgs model with the Fayet--Iliopoulos term in the superspace formalism. The Lagrangian of the model is dualized into a Lagrangian of the $BF$-type described by a chiral spinor gauge superfield including a 2-form gauge field. The dual Lagrangian is further dualized into a Lagrangian given by a chiral spinor superfield including a massive 2-form field. In both of the dual formulations, we obtain a superfield into which the vortex strings and their superpartners are embedded. We show the dual Lagrangians in terms of a superspace and a component formalism. In these dual Lagrangians, we explicitly show that the vortex strings of the original model are described by a string current electrically coupled with the 2-form gauge field or the massive 2-form field.


title: On the scattering problem for the nonlinear Schr\"{o}dinger equation with a potential in 2D

abstract: We consider the scattering problem for the nonlinear Schr\"{o}dinger equation with a potential in two space dimensions. Appropriate resolvent estimates are proved and applied to estimate the operator $A(s)$ appearing in commutator relations. The equivalence between the operators $\left(-\Delta_{V}\right)^{\frac{s}{2}}$ and $\left(-\Delta \right)^{\frac{s}{2}}$ in $L^{2}$ norm sense for $0\leq s <1$ is investigated by using free resolvent estimates and Gaussian estimates for the heat kernel of the Schr\"{o}dinger operator $-\Delta_{V}$. Our main result guarantees the global existence of solutions and time decay of the solutions assuming initial data have small weighted Sobolev norms. Moreover, the global solutions obtained in the main result scatter.


title: Lateral distributions of electrons in air showers initiated by ultra-high energy gamma quanta taking into account LPM and geomagnetic field effects

abstract: Lateral distributions of electrons in air showers initiated by photons of ultra high energies ($10^{18}-10^{22}$ eV) obtained on the basis of numerical solution of adjoint cascade equations are presented. An extended analysis has been made considering separately the Landau-Pomeranchuk-Migdal (LPM) effect and the interaction of photons and electrons with the geomagnetic field (GMF) with respect to the scaling formalism for lateral distributions. It is shown that one-parametric scaling description of the lateral distribution of electrons remains valid up to the highest energies considering the LPM and GMF effects, that allow effective primary particle type discrimination using the surface detectors data of largest ground-based air shower arrays.


title: Evaluation of HTTP/DASH Adaptation Algorithms on Vehicular Networks

abstract: Video streaming currently accounts for the majority of Internet traffic. One factor that enables video streaming is HTTP Adaptive Streaming (HAS), that allows the users to stream video using a bit rate that closely matches the available bandwidth from the server to the client. MPEG Dynamic Adaptive Streaming over HTTP (DASH) is a widely used standard, that allows the clients to select the resolution to download based on their own estimations. The algorithm for determining the next segment in a DASH stream is not partof the standard, but it is an important factor in the resulting playback quality. Nowadays vehicles are increasingly equipped with mobile communication devices, and in-vehicle multimedia entertainment systems. In this paper, we evaluate the performance of various DASH adaptation algorithms over a vehicular network. We present detailed simulation results highlighting the advantages and disadvantages of various adaptation algorithms in delivering video content to vehicular users, and we show how the different adaptation algorithms perform in terms of throughput, playback interruption time, and number of interruptions.


title: Weakly Supervised Active Learning with Cluster Annotation

abstract: In this work, we introduce a novel framework that employs cluster annotation to boost active learning by reducing the number of human interactions required to train deep neural networks. Instead of annotating single samples individually, humans can also label clusters, producing a higher number of annotated samples with the cost of a small label error. Our experiments show that the proposed framework requires 82% and 87% less human interactions for CIFAR-10 and EuroSAT datasets respectively when compared with the fully-supervised training while maintaining similar performance on the test set.


title: Criterion for the coincidence of strong and weak Orlicz spaces

abstract: We provide necessary and sufficient conditions for the coincidence, up to equivalence of the norms, between strong and weak Orlicz spaces. Roughly speaking, this coincidence holds true only for the so-called exponential spaces. We find also the exact value of the embedding constant which appears in the corresponding norm inequality.


title: Physarum Dynamics and Optimal Transport for Basis Pursuit

abstract: We study the connections between Physarum Dynamics and Dynamic Monge Kantorovich (DMK) Optimal Transport algorithms for the solution of Basis Pursuit problems. We show the equivalence between these two models and unveil their dynamic character by showing existence and uniqueness of the solution for all times and constructing a Lyapunov functional with negative Lie-derivative that drives the large-time convergence. We propose a discretization of the equation by means of a combination of implicit time-stepping and Newton method yielding an efficient and robust method for the solution of general basis pursuit problems. Several numerical experiments run on literature benchmark problems are used to show the accuracy, efficiency, and robustness of the proposed method.


title: On Genus-one String Amplitudes on $AdS_5 \times S^5$

abstract: We study non-planar correlators in ${\cal N}=4$ super-Yang-Mills in Mellin space. We focus in the stress tensor four-point correlator to order $1/N^4$ and in a strong coupling expansion. This can be regarded as the genus-one four-point graviton amplitude of type IIB string theory on $AdS_5 \times S^5$ in a low energy expansion. Both the loop supergravity result as well as the tower of stringy corrections have a remarkable simple structure in Mellin space, making manifest important properties such as the correct flat space limit and the structure of UV divergences.


title: Positive proportion of short intervals containing a prescribed number of primes

abstract: We will prove that for every $m\geq 0$ there exists an $\varepsilon=\varepsilon(m)>0$ such that if $0<\lambda<\varepsilon$ and $x$ is sufficiently large in terms of $m$ and $\lambda$, then $$|\lbrace n\leq x: |[n,n+\lambda\log n]\cap \mathbb{P}|=m\rbrace|\gg_{m,\lambda} x.$$ The value of $\varepsilon(m)$ and the implicit constant on $\lambda$ and $m$ may be made explicit. This is an improvement of an author's previous result. Moreover, we will show that a careful investigation of the proof, apart from some slight changes, can lead to analogous estimates when considering the parameters $m$ and $\lambda$ to vary as functions of $x$ or restricting the primes to belong to specific subsets.


title: Microlensing Results Challenge the Core Accretion Runaway Growth Scenario for Gas Giants

abstract: We compare the planet-to-star mass-ratio distribution measured by gravitational microlensing to core accretion theory predictions from population synthesis models. The core accretion theory's runaway gas accretion process predicts a dearth of intermediate-mass giant planets that is not seen in the microlensing results. In particular, the models predict $\sim10\,\times$ fewer planets at mass ratios of $10^{-4} \leq q \leq 4 \times 10^{-4}$ than inferred from microlensing observations. This tension implies that gas giant formation may involve processes that have hitherto been overlooked by existing core accretion models or that the planet-forming environment varies considerably as a function of host-star mass. Variation from the usual assumptions for the protoplanetary disk viscosity and thickness could reduce this discrepancy, but such changes might conflict with microlensing results at larger or smaller mass ratios, or with other observations. The resolution of this discrepancy may have important implications for planetary habitability because it has been suggested that the runaway gas accretion process may have triggered the delivery of water to our inner solar system. So, an understanding of giant planet formation may help us to determine the occurrence rate of habitable planets.


title: Mathematics Content Understanding for Cyberlearning via Formula Evolution Map

abstract: Although the scientific digital library is growing at a rapid pace, scholars/students often find reading Science, Technology, Engineering, and Mathematics (STEM) literature daunting, especially for the math-content/formula. In this paper, we propose a novel problem, ``mathematics content understanding'', for cyberlearning and cyberreading. To address this problem, we create a Formula Evolution Map (FEM) offline and implement a novel online learning/reading environment, PDF Reader with Math-Assistant (PRMA), which incorporates innovative math-scaffolding methods. The proposed algorithm/system can auto-characterize student emerging math-information need while reading a paper and enable students to readily explore the formula evolution trajectory in FEM. Based on a math-information need, PRMA utilizes innovative joint embedding, formula evolution mining, and heterogeneous graph mining algorithms to recommend high quality Open Educational Resources (OERs), e.g., video, Wikipedia page, or slides, to help students better understand the math-content in the paper. Evaluation and exit surveys show that the PRMA system and the proposed formula understanding algorithm can effectively assist master and PhD students better understand the complex math-content in the class readings.


title: Mesonic Condensation in Isospin Matter under Rotation

abstract: We investigate the mesonic condensation in isospin matter under rotation. Using the two-flavor NJL effective model under the presence of global rotation, we demonstrate two important effects of the rotation on its phase structure: a rotational suppression of the scalar-channel condensates, in particular the pion condensation region; and a rotational enhancement of the rho condensation region with vector-channel condensate. A new phase diagram for isospin matter under rotation is mapped out on the $\omega-\mu_I$ plane where three distinctive phases, corresponding to $\sigma$, $\pi$, $\rho$ dominated regions respectively, are separated by a second-order line at low isospin chemical potential and a first-order line at high rotation which are further connected at a tri-critical point.


title: PVNet: Pixel-wise Voting Network for 6DoF Pose Estimation

abstract: This paper addresses the challenge of 6DoF pose estimation from a single RGB image under severe occlusion or truncation. Many recent works have shown that a two-stage approach, which first detects keypoints and then solves a Perspective-n-Point (PnP) problem for pose estimation, achieves remarkable performance. However, most of these methods only localize a set of sparse keypoints by regressing their image coordinates or heatmaps, which are sensitive to occlusion and truncation. Instead, we introduce a Pixel-wise Voting Network (PVNet) to regress pixel-wise unit vectors pointing to the keypoints and use these vectors to vote for keypoint locations using RANSAC. This creates a flexible representation for localizing occluded or truncated keypoints. Another important feature of this representation is that it provides uncertainties of keypoint locations that can be further leveraged by the PnP solver. Experiments show that the proposed approach outperforms the state of the art on the LINEMOD, Occlusion LINEMOD and YCB-Video datasets by a large margin, while being efficient for real-time pose estimation. We further create a Truncation LINEMOD dataset to validate the robustness of our approach against truncation. The code will be avaliable at https://zju-3dv.github.io/pvnet/.


title: Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity

abstract: In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-$d$ polynomial subresultant of $(x-\alpha)^m$ and $(x-\beta)^n $ with respect to Bernstein's set of polynomials $\{(x-\alpha)^j(x-\beta)^{d-j}, \, 0\le j\le d\}$, for $0\le d<\min\{m, n\}$. The current paper further develops the study of these structured polynomials and shows that the coefficients of the subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$ with respect to the monomial basis can be computed in linear arithmetic complexity, which is faster than for arbitrary polynomials. The result is obtained as a consequence of the amazing though seemingly unnoticed fact that these subresultants are scalar multiples of Jacobi polynomials up to an affine change of variables.


title: On Impulsive Delay Integrodifferential Equations with Integral Impulses

abstract: The present research paper is devoted to investigate the existence, uniqueness of mild solutions for impulsive delay integrodifferential equations with integral impulses in Banach spaces. We also investigate the dependence of solutions on initial conditions, parameters and the functions involved in the equations. Our analysis is based on semigroup theory, fixed point technique and an application of Pachpatte's type integral inequality with integral impulses. An example is provided in support of existence result.


title: DC-Bias and Power Allocation in Cooperative VLC Networks for Joint Information and Energy Transfer

abstract: Visible light communications (VLC) have emerged as strong candidates for meeting the escalating demand for high data rates. Consider a VLC network, where multiple access-points (APs) serve both energy-harvesting users (EHUs), i.e., users which harvest energy from light intensity, and information-users (IUs), i.e., users which gather data information. In order to jointly balance the achievable sum-rate at the IUs and the energy harvested by the EHUs, the paper considers maximizing a network-wide utility, which consists of a weighted-sum of the IUs sum-rate and the EHUs harvested energy, subject to individual IU rate constraint, individual EHU harvested-energy constraint, and AP power constraints, so as to jointly determine the direct current (DC)-bias value at each AP, and the users powers. The paper solves such a difficult non-convex optimization problem using an iterative approach which relies on inner convex approximations, and compensates for the used approximations using proper outer-loop updates. The paper further considers solving the special cases of the problem, i.e., maximizing the sum-rate, and maximizing the total harvested-energy, both subject to the same constraints. Numerical results highlight the significant performance improvement of the proposed algorithms, and illustrate the impacts of the network parameters on the performance trade-off between the sum-rate and harvested-energy.


title: A Circuit-Level Amoeba-Inspired SAT Solver

abstract: AmbSAT (or AmoebaSAT) is a biologically-inspired stochastic local search (SLS) solver to explore solutions to the Boolean satisfiability problem (SAT). AmbSAT updates multiple variables in parallel at every iteration step, and thus AmbSAT can find solutions with a fewer number of iteration steps than some other conventional SLS solvers for a specific set of SAT instances. However, the parallelism of AmbSAT is not compatible with general-purpose microprocessors in that many clock cycles are required to execute each iteration; thus, AmbSAT requires special hardware that can exploit the parallelism of AmbSAT to quickly find solutions. In this paper, we propose a circuit model (hardware-friendly algorithm) that explores solutions to SAT in a similar way to AmbSAT, which we call circuit-level AmbSAT (CL-AmbSAT). We conducted numerical simulation to evaluate the search performance of CL-AmbSAT for a set of randomly generated SAT instances that was designed to estimate the scalability of our approach. Simulation results showed that CL-AmbSAT finds solutions with a fewer iteration number than a powerful SLS solver, ProbSAT, and outperforms even AmbSAT. Since CL-AmbSAT uses simple combinational logic to update variables, CL-AmbSAT can be easily implemented in various hardware.


title: Task Elimination may Actually Increase Throughput Time

abstract: The well-known Task Elimination redesign principle suggests to remove unnecessary tasks from a process to improve on time and cost. Although there seems to be a general consensus that removing work can only improve the throughput time of the process, this paper shows that this is not necessarily the case by providing an example that uses plain M/M/c activities. This paper also shows that the Task Automation and Parallelism redesign principles may also lead to longer throughput times. Finally, apart from these negative results, the paper also show under which assumption these redesign principles indeed can only improve the throughput time.


title: Deep Reinforcement Learning for Multi-Agent Systems: A Review of Challenges, Solutions and Applications

abstract: Reinforcement learning (RL) algorithms have been around for decades and employed to solve various sequential decision-making problems. These algorithms however have faced great challenges when dealing with high-dimensional environments. The recent development of deep learning has enabled RL methods to drive optimal policies for sophisticated and capable agents, which can perform efficiently in these challenging environments. This paper addresses an important aspect of deep RL related to situations that require multiple agents to communicate and cooperate to solve complex tasks. A survey of different approaches to problems related to multi-agent deep RL (MADRL) is presented, including non-stationarity, partial observability, continuous state and action spaces, multi-agent training schemes, multi-agent transfer learning. The merits and demerits of the reviewed methods will be analyzed and discussed, with their corresponding applications explored. It is envisaged that this review provides insights about various MADRL methods and can lead to future development of more robust and highly useful multi-agent learning methods for solving real-world problems.


title: Functional calculus and harmonic analysis in geometry

abstract: In this short survey article, we showcase a number of non-trivial geometric problems that have recently been resolved by marrying methods from functional calculus and real-variable harmonic analysis. We give a brief description of these methods as well as their interplay. This is a succinct survey that hopes to inspire geometers and analysts alike to study these methods so that they can be further developed to be potentially applied to a broader range of questions.


title: On Positive Duality Gaps in Semidefinite Programming

abstract: We present a novel analysis of semidefinite programs (SDPs) with positive duality gaps, i.e. different optimal values in the primal and dual problems. These SDPs are extremely pathological, often unsolvable, and also serve as models of more general pathological convex programs. However, despite their allure, they are not well understood even when they have just two variables. We first completely characterize two variable SDPs with positive gaps; in particular, we transform them into a standard form that makes the positive gap trivial to recognize. The transformation is very simple, as it mostly uses elementary row operations coming from Gaussian elimination. We next show that the two variable case sheds light on larger SDPs with positive gaps: we present SDPs in any dimension in which the positive gap is caused by the same structure as in the two variable case. We analyze a fundamental parameter, the {\em singularity degree} of the duals of our SDPs, and show that it is the largest that can result in a positive gap. We finally generate a library of difficult SDPs with positive gaps (some of these SDPs have only two variables) and present a computational study.


title: Pixel personality for dense object tracking in a 2D honeybee hive

abstract: Tracking large numbers of densely-arranged, interacting objects is challenging due to occlusions and the resulting complexity of possible trajectory combinations, as well as the sparsity of relevant, labeled datasets. Here we describe a novel technique of collective tracking in the model environment of a 2D honeybee hive in which sample colonies consist of $N\sim10^3$ highly similar individuals, tightly packed, and in rapid, irregular motion. Such a system offers universal challenges for multi-object tracking, while being conveniently accessible for image recording. We first apply an accurate, segmentation-based object detection method to build initial short trajectory segments by matching object configurations based on class, position and orientation. We then join these tracks into full single object trajectories by creating an object recognition model which is adaptively trained to recognize honeybee individuals through their visual appearance across multiple frames, an attribute we denote as pixel personality. Overall, we reconstruct ~46% of the trajectories in 5 min recordings from two different hives and over 71% of the tracks for at least 2 min. We provide validated trajectories spanning 3000 video frames of 876 unmarked moving bees in two distinct colonies in different locations and filmed with different pixel resolutions, which we expect to be useful in the further development of general-purpose tracking solutions.


title: Adaptive Uzawa algorithm for the Stokes equation

abstract: Based on the Uzawa algorithm, we consider an adaptive finite element method for the Stokes system. We prove linear convergence with optimal algebraic rates for the residual estimator (which is equivalent to the total error), if the arising linear systems are solved iteratively, e.g., by PCG. Our analysis avoids the use of discrete efficiency of the estimator. Unlike prior work, our adaptive Uzawa algorithm can thus avoid to discretize the given data and does not rely on an interior node property for the refinement.


title: Disordered contacts can localize chiral edge electrons

abstract: Chiral integer quantum Hall (QH) edge modes are immune to backscattering and therefore are non-localized and show a vanishing longitudinal as well as non-local resistance along with quantized 2-terminal and Hall resistance even in the presence of sample disorder. However, this is not the case for contact disorder, which refers to the possibility that a contact can reflect edge modes either partially or fully. This paper shows that when all contacts are disordered in a N-terminal quantum Hall bar, then transport via chiral QH edge modes can have a significant localization correction. The Hall and 2-terminal resistance in an N-terminal quantum Hall sample deviate from their values derived while neglecting the phase acquired at disordered contacts, and this deviation is called the quantum localization correction. This correction term increases with the increase of disorderedness of contacts but decreases with the increase in the number of contacts in an N-terminal Hall bar. The presence of inelastic scattering, however, can completely destroy the quantum localization correction.


title: Regularized Binary Network Training

abstract: There is a significant performance gap between Binary Neural Networks (BNNs) and floating point Deep Neural Networks (DNNs). We propose to improve the binary training method, by introducing a new regularization function that encourages training weights around binary values. In addition, we add trainable scaling factors to our regularization functions. Additionally, an improved approximation of the derivative of the sign activation function in the backward computation. These modifications are based on linear operations that are easily implementable into the binary training framework. Experimental results on ImageNet shows our method outperforms the traditional BNN method and XNOR-net.


title: RDM-stars as sources of fast radio bursts

abstract: In this work we consider a recently formulated model of a black hole coupled with radially directed flows of dark matter (RDM-star). In this model, a cutoff by quantum gravity (QG) creates a core of Planck density, filled with a gas of Planck mass particles, inside the star. Further, in this model, a fast radio burst (FRB) can be generated via the following mechanism. An object of an asteroid mass falls onto an RDM-star. Due to large gravitational forces available in the interior, the RDM-star works as a powerful accelerator, boosting the nucleons composing the object to extremely high energies. Upon collision with the core, the nucleons enter in deeply inelastic reactions with the Planck particles composing the core. This process is followed by stimulated emission of highly energetic photons. On the way outside, these photons are subjected to a strong redshift factor, downscaling their frequencies to the radio diapason, as a result producing an FRB. A straightforward computation gives a characteristic upper FRB frequency of 0.6GHz. With attenuation factors, it is stretched to a range 0.35-8GHz, fitting well with the observable FRB frequencies. We also discuss the reconstruction of other FRB parameters in frames of the model.


title: On the density of wild initial data for the compressible Euler system

abstract: We consider a class of wild initial data to the compressible Euler system that give rise to infinitely many admissible weak solutions via the method of convex integration. We identify the closure of this class in the natural $L^1$-topology and show that its complement is rather large, specifically it is an open dense set.


title: $B\to K^\ast_2(1430)\ell^+\ell^-$ distributions in Standard Model at large recoil

abstract: We study the rare decay $B\to K_2^\ast(1430)(\to K\pi)\ell^+\ell^-$ in the Standard Model and beyond. Working in the transversity basis, we exploit the relations between the heavy-to-light form factors in the limit of heavy quark ($m_b\to \infty$) and large energy ($E_{K_2^\ast}\to \infty$) of the $K^\ast_2$ meson. This allows us to construct observables where at leading order in $\Lambda_{\rm QCD}/m_b$ and $\alpha_s$ the form factor dependence involving the $B\to K^\ast_2$ transitions cancels. Higher order corrections are systematically incorporated in the numerical analysis. In the Standard Model the decay has a sizable branching ratio and therefore a large number of events can be expected at LHCb. Going beyond the Standard Model, we explore the implications of the global fit to presently available $b\to s\ell^+\ell^-$ data on the $B\to K_2^\ast \ell^+\ell^-$ observables.


title: On the number of isolated eigenvalues of a pair of particles in a quantum wire

abstract: In this note we consider a pair of particles moving on the positive half-line with the pairing generated by a hard-wall potential. This model was first introduced in [arXiv:1604.06693] and later applied to investigate condensation of pairs of electrons in a quantum wire [arXiv:1708.03753,arXiv:1801.00696]. For this, a detailed spectral analysis proved necessary and as a part of this it was shown in [arXiv:1708.03753] that, in a special case, the discrete spectrum of the Hamiltonian consists of a single eigenvalue only. It is the aim of this note to prove that this is generally the case.


title: Logarithms of a binomial series: A Stirling number approach

abstract: The $p$-th power of the logarithm of the Catalan generating function is computed using the Stirling cycle numbers. Instead of Stirling numbers, one may write this generating function in terms of higher order harmonic numbers.


title: An introduction to domain adaptation and transfer learning

abstract: In machine learning, if the training data is an unbiased sample of an underlying distribution, then the learned classification function will make accurate predictions for new samples. However, if the training data is not an unbiased sample, then there will be differences between how the training data is distributed and how the test data is distributed. Standard classifiers cannot cope with changes in data distributions between training and test phases, and will not perform well. Domain adaptation and transfer learning are sub-fields within machine learning that are concerned with accounting for these types of changes. Here, we present an introduction to these fields, guided by the question: when and how can a classifier generalize from a source to a target domain? We will start with a brief introduction into risk minimization, and how transfer learning and domain adaptation expand upon this framework. Following that, we discuss three special cases of data set shift, namely prior, covariate and concept shift. For more complex domain shifts, there are a wide variety of approaches. These are categorized into: importance-weighting, subspace mapping, domain-invariant spaces, feature augmentation, minimax estimators and robust algorithms. A number of points will arise, which we will discuss in the last section. We conclude with the remark that many open questions will have to be addressed before transfer learners and domain-adaptive classifiers become practical.


title: Diffusion- Migration-Reaction-Limited Aggregation of Point Defects: A Model for the Stability of Oxide-layers on Metals and Its Breakdown

abstract: A thin oxide layer protects metals from electrochemical corrosion and hence the stability of this oxide layer is crucial for corrosion resistance of metals. The dynamics of cationic and anionic point defects which are injected into this oxide layer at the metal-oxide-layer interface and the oxide-layer-environment interface during electrochemical processes determine the stability of this oxide-layer. The point defect model originally advanced by Digby Macdonald and perfected into a correct and complete theory by Bosco Emmanuel provides a concrete basis for investigating this stability question. We have formulated a system of 3 coupled differential equations (2 PDEs and one ODE) with appropriate initial and boundary conditions that include the defect injection reactions. This system of equations recognize the diffusion, migration and clustering of the point defects in the oxide-layer. The defect clustering is modelled using the Avrami Theorem and the area-volume laws for random agglomerates. This research is expected to provide insights into the criticality associated with the oxide-layer breakdown and the periodic, aperiodic and chaotic oscillations in the electrical current / potential which signal the breakdown of the passive oxide-layer. A large body of experimental data is waiting to be understood within a frame-work such as the present. Some initial results from the model are also reported.


title: Conformal welding for critical Liouville quantum gravity

abstract: Consider two critical Liouville quantum gravity surfaces (i.e., $\gamma$-LQG for $\gamma=2$), each with the topology of $\mathbb{H}$ and with infinite boundary length. We prove that there a.s. exists a conformal welding of the two surfaces, when the boundaries are identified according to quantum boundary length. This results in a critical LQG surface decorated by an independent SLE$_4$. Combined with the proof of uniqueness for such a welding, recently established by McEnteggart, Miller, and Qian (2018), this shows that the welding operation is well-defined. Our result is a critical analogue of Sheffield's quantum gravity zipper theorem (2016), which shows that a similar conformal welding for subcritical LQG (i.e., $\gamma$-LQG for $\gamma\in(0,2)$) is well-defined.


title: Parameter-robust convergence analysis of fixed-stress split iterative method for multiple-permeability poroelasticity systems

abstract: We consider flux-based multiple-porosity/multiple-permeability poroelasticity systems describing multiple-network flow and deformation in a poro-elastic medium, sometimes also referred to as MPET models. The focus of the paper is on the convergence analysis of the fixed-stress split iteration, a commonly used coupling technique for the flow and mechanics equations in poromechanics. We formulate the fixed-stress split method in the present context and prove its linear convergence. The contraction rate of this fixed-point iteration does not depend on any of the physical parameters appearing in the model. The theory is confirmed by numerical results which further demonstrate the advantage of the fixed-stress split scheme over a fully implicit method relying on norm-equivalent preconditioning.


title: Lensing of fast radio bursts: future constraints on primordial black hole density with an extended mass function and a new probe of exotic compact fermion and boson stars

abstract: The discovery of gravitational waves from binary black hole mergers has renewed interest in primordial black holes forming a part of the dark matter density of our Universe. Various tests have been proposed to test this hypothesis. One of the cleanest tests is the lensing of fast radio bursts. In this situation, the presence of a compact object near the line of sight produces two images of the radio burst. If the images are sufficiently separated in time, this technique can constrain the presence of primordial black holes. One can also try to detect the lensed image of the mini-bursts within the main burst. We show that this technique can produce the leading constraints over a wide range in lens masses $\gtrsim$ 2 $M_\odot$ if the primordial black holes follow a single mass distribution. Even if the primordial black holes have an extended mass distribution, the constraints that can be derived from lensing of fast radio bursts will be the most constraining over wide ranges of the parameter space. We show that this technique can probe exotic compact boson stars and fermion stars made up of beyond the Standard Model particles. This search strategy is competitive and can provide the leading constraints on parts of the particle physics parameter space when compared with gravitational wave observations.


title: Estimating the Relative Speed of RF Jammers in VANETs

abstract: Vehicular Ad-Hoc Networks (VANETs) aim at enhancing road safety and providing a comfortable driving environment by delivering early warning and infotainment messages to the drivers. Jamming attacks, however, pose a significant threat to their performance. In this paper, we propose a novel Relative Speed Estimation Algorithm (RSEA) of a moving interfering vehicle that approaches a Transmitter ($Tx$) - Receiver ($Rx$) pair, that interferes with their Radio Frequency (RF) communication by conducting a Denial of Service (DoS) attack. Our scheme is completely sensorless and passive and uses a pilot-based received signal without hardware or computational cost in order to, firstly, estimate the combined channel between the transmitter - receiver and jammer - receiver and secondly, to estimate the jamming signal and the relative speed between the jammer - receiver using the RF Doppler shift. Moreover, the relative speed metric exploits the Angle of Projection (AOP) of the speed vector of the jammer in the axis of its motion in order to form a two-dimensional representation of the geographical area. This approach can effectively be applied both for a jamming signal completely unknown to the receiver and for a jamming signal partly known to the receiver. Our speed estimator method is proven to have quite accurate performance, with a Mean Absolute Error (MAE) value of approximately $10\%$ compared to the optimal zero MAE value under different jamming attack scenarios.


title: On inverse of permutation polynomials of small degree over finite fields, II

abstract: We investigate the permutation property of polynomials of the form $x^{r}(x^{s} -a)^{t}$, and give the expressions of their inverses. In particular, explicit expressions of inverses of permutation polynomials $x(x^3 -a)^2$ and $x(x^2 -a)^3$ on $\mathbb{F}_{7^n}$ are presented. Then, using some known results, we obtain the inverses of all permutation polynomials of degree $6, 7, 8$ over finite fields.


title: Do altmetrics work for assessing research quality?

abstract: Alternative metrics (aka altmetrics) are gaining increasing interest in the scientometrics community as they can capture both the volume and quality of attention that a research work receives online. Nevertheless, there is limited knowledge about their effectiveness as a mean for measuring the impact of research if compared to traditional citation-based indicators. This work aims at rigorously investigating if any correlation exists among indicators, either traditional (i.e. citation count and h-index) or alternative (i.e. altmetrics) and which of them may be effective for evaluating scholars. The study is based on the analysis of real data coming from the National Scientific Qualification procedure held in Italy by committees of peers on behalf of the Italian Ministry of Education, Universities and Research.


title: On the convergence of an exotic formal series solution of an ODE

abstract: A sufficient condition of the convergence of an exotic formal series (a kind of power series with complex exponents) solution to an ODE of a general form is proposed.


title: Operational Magic Intensity for Sr Optical Lattice Clocks

abstract: We experimentally investigate the lattice-induced light shift by the electric-quadrupole ($E2$) and magnetic-dipole ($M1$) polarizabilities and the hyperpolarizability in Sr optical lattice clocks. Precise control of the axial as well as the radial motion of atoms in a one-dimensional lattice allows observing the $E2$-$M1$ polarizability difference. Measured polarizabilities determine an operational lattice depth to be $72(2) E_R$, where the total light shift cancels to the $10^{-19}$ level, over a lattice-intensity variation of about 30%. This operational trap depth and its allowable intensity range conveniently coincide with experimentally feasible operating conditions for Sr optical lattice clocks.


title: An Index for Superconformal Quantum Mechanics

abstract: We study quantum mechanical systems with $\mathfrak{osp}(4^{*}|4)$ superconformal symmetry. We classify unitary lowest-weight representations of this superconformal algebra and define an index which receives contributions from short and semi-short multiplets only. We consider the example of a quantum mechanical $\sigma$-model with hyper-K\"{a}hler target $\mathcal{M}$ equipped with a triholomorphic homothety. The superconformal index coincides with the Witten index of a novel form of supersymmetric quantum mechanics for a particle moving on $\mathcal{M}$ in a background magnetic field in which an unbroken $\mathfrak{su}(1|2)$ subalgebra of the superconformal algebra is linearly realised as a global symmetry.


title: Verification of Photometric Parallaxes with Gaia DR2 Data

abstract: Results of comparison of Gaia DR2 parallaxes with data derived from a combined analysis of 2MASS (Two Micron All-Sky Survey), SDSS (Sloan Digital Sky Survey), GALEX (Galaxy Evolution Explorer), and UKIDSS (UKIRT Infrared Deep Sky Survey) surveys in four selected high-latitude $|b|>48^{\circ}$ sky areas are presented. It is shown that multicolor photometric data from large modern surveys can be used for parameterization of stars closer than 4400 pc and brighter than $g_{SDSS} = 19.^m6$, including estimation of parallax and interstellar extinction value. However, the stellar luminosity class should be properly determined.


title: Five-loop contributions to low-N non-singlet anomalous dimensions in QCD

abstract: We present the first calculations of next-to-next-to-next-to-next-to-leading order (N^4LO) contributions to anomalous dimensions of spin-N twist-2 operators in perturbative QCD. Specifically, we have obtained the respective non-singlet quark-quark anomalous dimensions at N=2 and N=3 to the fifth order in the strong coupling alpha_s. These results set the scale for the N^4LO contributions to the evolution of the non-singlet quark distributions of hadrons outside the small-x region, and facilitate a first approximate determination of the five-loop cusp anomalous dimension. While the N^4LO coefficients are larger than expected from the lower-order results, their inclusion stabilizes the perturbative expansions for three or more light flavours at a sub-percent accuracy for alpha_s < 0.3.


title: Product formulas in the framework of mean ergodic theorems

abstract: An extension of Chernoff's product formula for one-parameter functions taking values in the space of bounded linear operators on a Banach space is given. Essentially, the $n$-th one-parameter function in the product formula is mapped by the $n$-th iterate of a contraction acting on the space of the one-parameter functions. The motivation to study this specific product formula lies in the growing field of dynamical control of quantum systems, involving the procedure of dynamical decoupling and also the Quantum Zeno effect.


title: Prediction of many-electron wavefunctions using atomic potentials: refinements and extensions to transition metals and large systems

abstract: For a given many-electron molecule, it is possible to define a corresponding one-electron Schr\"odinger equation, using potentials derived from simple atomic densities, whose solution predicts fairly accurate molecular orbitals for single- and multi-determinant wavefunctions for the molecule. The energy is not predicted and must be evaluated by calculating Coulomb and exchange interactions over the predicted orbitals. Transferable potentials for first-row atoms and transition metal oxides that can be used without modification in different molecules are reported. For improved accuracy, molecular wavefunctions can be refined by slightly scaling nuclear charges and by introducing potentials optimized for functional groups. For a test set of 20 molecules representing different bonding environments, the transferable potentials with scaling give wavefunctions with energies that deviate from exact self-consistent field or configuration interaction energies by less than 0.05 eV and 0.02 eV per bond or valence electron pair, respectively. Applications to the ground and excited states of a Ti18O36 nanoparticle and chlorophyll-s are reported.


title: Turbulent Clustering of Particles and Radiation Induced Ignition of Dust Explosions

abstract: Since detonation is the only established theory that allows rapid burning producing a high pressure that can be sustained in open areas, the generally accepted opinion was that the mechanism explaining the high rate of combustion in dust explosions is deflagration-to-detonation transition. We propose a theoretical substantiation of an alternative mechanism explaining the origin of the secondary explosion producing high speeds of combustion and high overpressures in unconfined dust explosions. We show that the clustering of dust particles in a turbulent flow ahead of the advancing flame gives rise to a significant increase of the radiation absorption length. This effect ensures that clusters of dust particles are exposed to and heated by radiation from hot combustion products of the primary ignited flame for a sufficiently long time to become multi-point ignition kernels in a large volume ahead of the advancing flame.


title: Rate-Distortion-Perception Tradeoff of Variable-Length Source Coding for General Information Sources

abstract: Blau and Michaeli recently introduced a novel concept for inverse problems of signal processing, that is, the perception-distortion tradeoff. We introduce their tradeoff into the rate distortion theory of variable-length lossy source coding in information theory, and clarify the tradeoff among information rate, distortion and perception for general information sources. We also discuss the fixed-length coding with average distortion criterion that was missing in the previous letter.


title: Affine quantum super Schur-Weyl duality

abstract: The Schur-Weyl duality, which started as the study of the commuting actions of the symmetric group $S_d$ and $\mathrm{GL}(n,\mathbb{C})$ on $V^{\otimes d}$ where $V=\mathbb{C}^n$, was extended by Drinfeld and Jimbo to the context of the finite Iwahori-Hecke algebra $H_d(q^2)$ and quantum algebras $U_q(\mathrm{gl}(n))$, on using universal $R$-matrices, which solve the Yang-Baxter equation. There were two extensions of this duality in the Hecke-quantum case: to the affine case, by Chari and Pressley, and to the super case, by Moon and by Mitsuhashi. We complete this chain of works by completing the cube, dealing with the general affine super case, relating the commuting actions of the affine Iwahori-Hecke algebra $H^a_d(q^2)$ and of the affine quantum Lie superalgebra $U_{q,a}^\sigma(\mathrm{sl}(m,n))$ using the presentation by Yamane in terms of generators and relations, acting on the $d$th tensor power of the superspace $V=\mathbb{C}^{m+n}$. Thus we construct a functor and show it is an equivalence of categories of $H_d^a(q^2)$ and $U_{q,a}^\sigma(\mathrm{sl}(m,n))$-modules when $d<n'=m+n$.


title: Schr\"{o}dinger type equation for subjective identification of supply and demand

abstract: The present authors have put forward a quantum game theory based model of market prices movements. By using Fisher information, we present a construction of an equation of Schr\"{o}dinger type for probability distributions for relationship between demand and supply. Various analogies between quantum physics and market phenomena can be found.


title: Dual Connectivity Support in 5G Networks: An SDN based approach

abstract: Dual Connectivity (DC) is one of the key techniques to harness the potential of heterogeneous cellular networks. However, 3rd Generation Partnership Project (3GPP) has introduced disparate mechanisms for DC support in different Radio Access Technologies (RATs), bringing complexity to the network nodes in a Multi-RAT Radio Access Network (RAN). Moreover, DC support requires an exchange of high volume of control information between these network nodes. To address these issues, in this paper an SDN based architecture for Multi-RAT RAN is proposed. The proposed architecture brings simplicity to the network interactions, allows flexibility in the network and helps the network in performing load balancing and mobility management functions effectively. We also demonstrate a reduction in the control signaling and an improvement in system performance compared to legacy architecture.


title: UAV Base Station Location Optimization for Next Generation Wireless Networks: Overview and Future Research Directions

abstract: Unmanned aerial vehicles mounted base stations (UAV-BSs) are expected to become one of the significant components of the Next Generation Wireless Networks (NGWNs). Rapid deployment, mobility, higher chances of unobstructed propagation path, and flexibility features of UAV-BSs have attracted significant attention. Despite, potentially, high gains brought by UAV-BSs in NGWNs, many challenges are also introduced by them. Optimal location assignment to UAV-BSs, arguably, is the most widely investigated problem in the literature on UAV-BSs in NGWNs. This paper presents a comprehensive survey of the literature on the location optimization of UAV-BSs in NGWNs. A generic optimization framework through a universal Mixed Integer Non-Linear Programming (MINLP) formulation is constructed and the specifications of its constituents are elaborated. The generic problem is classified into a novel taxonomy. Due to the highly challenging nature of the optimization problem a range of solutions are adopted in the literature which are also covered under the aforementioned classification. Furthermore, future research directions on UAV-BS location optimization in 5G and beyond non-terrestrial aerial communication systems are discussed.


title: Optimal resource control in reaction diffusion advection population model

abstract: This paper is to investigate the control problem of maximizing the net benefit of a single species while the cost of the resource allocation is minimized in a population model which can be described by a reaction diffusion advection equation of logistic type with spatial-temporal resource control coefficient. The existence of an optimal control is established and the uniqueness and characterization of the optimal control are investigated. Numerical simulation illustrate several cases with Dirichlet and Neumann boundary conditions.


title: Mod\`eles de jeux s\'erieux collaboratifs et mobiles

abstract: Mobile Collaborative Learning Games combine all the ingredients necessary to attract students' attention and engage them in learning activities. However, designing a coherent game scenario that combines mobility, game mechanics and collaborative learning is quite a challenge. In this article, we propose three game patterns that naturally integrate these mechanics in order to support educational goals.


title: Modeling Frequency and Severity of Claims with the Zero-Inflated Generalized Cluster-Weighted Models

abstract: In this paper, we propose two important extensions to cluster-weighted models (CWMs). First, we extend CWMs to have generalized cluster-weighted models (GCWMs) by allowing modeling of non-Gaussian distribution of the continuous covariates, as they frequently occur in insurance practice. Secondly, we introduce a zero-inflated extension of GCWM (ZI-GCWM) for modeling insurance claims data with excess zeros coming from heterogenous sources. Additionally, we give two expectation-optimization (EM) algorithms for parameter estimation given the proposed models. An appropriate simulation study shows that, for various settings and in contrast to the existing mixture-based approaches, both extended models perform well. Finally, a real data set based on French auto-mobile policies is used to illustrate the application of the proposed extensions.


title: Lectures on nonlinear integrable equations and their solutions

abstract: This is an introductory course on nonlinear integrable partial differential and differential-difference equ\-a\-ti\-ons based on lectures given for students of Moscow Institute of Physics and Technology and Higher School of Economics. The typical examples of Korteweg-de Vries (KdV), Kadomtsev-Petviashvili (KP) and Toda lattice equations are studied in detail. We give a detailed description of the Lax representation of these equations and their hierarchies in terms of pseudo-differential or pseudo-difference operators and also of different classes of the solutions including famous soliton solutions. The formulation in terms of tau-function and Hirota bilinear differential and difference equations is also discussed. Finally, we give a representation of tau-functions as vacuum expectation values of certain operators composed of free fermions.


title: Homotopy Hubbard Trees for post-singularly finite exponential maps

abstract: We extend the concept of a Hubbard tree, well established and useful in the theory of polynomial dynamics, to the dynamics of transcendental entire functions. We show that Hubbard trees in the strict traditional sense, as invariant compact trees embedded in $\mathbb{C}$, do not exist even for post-singularly finite exponential maps; the difficulty lies in the existence of asymptotic values. We therefore introduce the concept of a Homotopy Hubbard Tree that takes care of these difficulties. Specifically for the family of exponential maps, we show that every post-singularly finite map has a Homotopy Hubbard tree that is unique up to homotopy, and we show that post-singulary finite exponential maps can be classified in terms of Homotopy Hubbard Trees, using a transcendental analogue of Thurston's topological characterization theorem of rational maps.


title: Towards a topological-geometrical theory of group equivariant non-expansive operators for data analysis and machine learning

abstract: The aim of this paper is to provide a general mathematical framework for group equivariance in the machine learning context. The framework builds on a synergy between persistent homology and the theory of group actions. We define group-equivariant non-expansive operators (GENEOs), which are maps between function spaces associated with groups of transformations. We study the topological and metric properties of the space of GENEOs to evaluate their approximating power and set the basis for general strategies to initialise and compose operators. We begin by defining suitable pseudo-metrics for the function spaces, the equivariance groups, and the set of non-expansive operators. Basing on these pseudo-metrics, we prove that the space of GENEOs is compact and convex, under the assumption that the function spaces are compact and convex. These results provide fundamental guarantees in a machine learning perspective. We show examples on the MNIST and fashion-MNIST datasets. By considering isometry-equivariant non-expansive operators, we describe a simple strategy to select and sample operators, and show how the selected and sampled operators can be used to perform both classical metric learning and an effective initialisation of the kernels of a convolutional neural network.


title: Lattice homomorphisms in harmonic analysis

abstract: Let $S$ be a non-empty, closed subspace of a locally compact group $G$ that is a subsemigroup of $G$. Suppose that $X, Y$, and $Z$ are Banach lattices that are vector sublattices of the order dual $\mathrm{C}_{\mathrm{c}}(S,\mathbb R)^\sim$ of the real-valued, continuous functions with compact support on $S$, and where $Z$ is Dedekind complete. Suppose that $\ast: X\times Y\to Z$ is a positive bilinear map such that $\mathrm{supp}\,{(x \ast y)}\subseteq\mathrm{supp}\,{x}\,\cdot\,\mathrm{supp}\,{y}$ for all $x\in X^+$ and $y\in Y^+$ with compact support. We show that, under mild conditions, the canonically associated map from $X$ into the vector lattice of regular operators from $Y$ into $Z$ is then a lattice homomorphism. Applications of this result are given in the context of convolutions, answering questions previously posed in the literature. As a preparation, we show that the order dual of the continuous, compactly supported functions on a closed subspace of a locally compact space can be canonically viewed as an order ideal of the order dual of the continuous, compactly supported functions on the larger space. As another preparation, we show that $\mathrm{L}^p$-spaces and Banach lattices of measures on a locally compact space can be embedded as vector sublattices of the order dual of the continuous, compactly supported functions on that space.