title: Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

abstract: We build on a recently proposed method for explaining solutions of constraint satisfaction problems. An explanation here is a sequence of simple inference steps, where the simplicity of an inference step is measured by the number and types of constraints and facts used, and where the sequence explains all logical consequences of the problem. We build on these formal foundations and tackle two emerging questions, namely how to generate explanations that are provably optimal (with respect to the given cost metric) and how to generate them efficiently. To answer these questions, we develop 1) an implicit hitting set algorithm for finding optimal unsatisfiable subsets; 2) a method to reduce multiple calls for (optimal) unsatisfiable subsets to a single call that takes constraints on the subset into account, and 3) a method for re-using relevant information over multiple calls to these algorithms. The method is also applicable to other problems that require finding cost-optimal unsatiable subsets. We specifically show that this approach can be used to effectively find sequences of optimal explanation steps for constraint satisfaction problems like logic grid puzzles.


title: Continuity of critical exponent of quasiconvex-cocompact groups under Gromov-Hausdorff convergence

abstract: We show continuity under equivariant Gromov-Hausdorff convergence of the critical exponent of discrete, non-elementary, torsion-free, quasiconvex-cocompact groups with uniformly bounded codiameter acting on uniformly Gromov-hyperbolic metric spaces.


title: Deep learning-based bias transfer for overcoming laboratory differences of microscopic images

abstract: The automated analysis of medical images is currently limited by technical and biological noise and bias. The same source tissue can be represented by vastly different images if the image acquisition or processing protocols vary. For an image analysis pipeline, it is crucial to compensate such biases to avoid misinterpretations. Here, we evaluate, compare, and improve existing generative model architectures to overcome domain shifts for immunofluorescence (IF) and Hematoxylin and Eosin (H&E) stained microscopy images. To determine the performance of the generative models, the original and transformed images were segmented or classified by deep neural networks that were trained only on images of the target bias. In the scope of our analysis, U-Net cycleGANs trained with an additional identity and an MS-SSIM-based loss and Fixed-Point GANs trained with an additional structure loss led to the best results for the IF and H&E stained samples, respectively. Adapting the bias of the samples significantly improved the pixel-level segmentation for human kidney glomeruli and podocytes and improved the classification accuracy for human prostate biopsies by up to 14%.


title: An evolving objective function for improved variational quantum optimisation

abstract: A promising approach to useful computational quantum advantage is to use variational quantum algorithms for optimisation problems. Crucial for the performance of these algorithms is to ensure that the algorithm converges with high probability to a near-optimal solution in a small time. In Barkoutsos et al (Quantum 2020) an alternative class of objective functions, called Conditional Value-at-Risk (CVaR), was introduced and it was shown that they perform better than standard objective functions. Here we extend that work by introducing an evolving objective function, which we call Ascending-CVaR and that can be used for any optimisation problem. We test our proposed objective function, in an emulation environment, using as case-studies three different optimisation problems: Max-Cut, Number Partitioning and Portfolio Optimisation. We examine multiple instances of different sizes and analyse the performance using the Variational Quantum Eigensolver (VQE) with hardware-efficient ansatz and the Quantum Approximate Optimization Algorithm (QAOA). We show that Ascending-CVaR in all cases performs better than standard objective functions or the "constant" CVaR of Barkoutsos et al (Quantum 2020) and that it can be used as a heuristic for avoiding sub-optimal minima. Our proposal achieves higher overlap with the ideal state in all problems, whether we consider easy or hard instances -- on average it gives up to ten times greater overlap at Portfolio Optimisation and Number Partitioning, while it gives an 80% improvement at Max-Cut. In the hard instances we consider, for the number partitioning problem, standard objective functions fail to find the correct solution in almost all cases, CVaR finds the correct solution at 60% of the cases, while Ascending-CVaR finds the correct solution in 95% of the cases.


title: Empirical Investigation of Factors that Influence Human Presence and Agency in Telepresence Robot

abstract: Nowadays, a community starts to find the need for human presence in an alternative way, there has been tremendous research and development in advancing telepresence robots. People tend to feel closer and more comfortable with telepresence robots as many senses a human presence in robots. In general, many people feel the sense of agency from the face of a robot, but some telepresence robots without arm and body motions tend to give a sense of human presence. It is important to identify and configure how the telepresence robots affect a sense of presence and agency to people by including human face and slight face and arm motions. Therefore, we carried out extensive research via web-based experiment to determine the prototype that can result in soothing human interaction with the robot. The experiments featured videos of a telepresence robot n = 128, 2 x 2 between-participant study robot face factor: video-conference, robot-like face; arm motion factor: moving vs. static) to investigate the factors significantly affecting human presence and agency with the robot. We used two telepresence robots: an affordable robot platform and a modified version for human interaction enhancements. The findings suggest that participants feel agency that is closer to human-likeness when the robot's face was replaced with a human's face and without a motion. The robot's motion invokes a feeling of human presence whether the face is human or robot-like.


title: Inconsistency of the data on the $K_1(1270) \to \pi K^*_0(1430)$ decay width

abstract: We show, using the same Lagrangian for the $K_1(1270) \to \pi K^*_0(1430)$ and $K^*_0(1430) \to K_1(1270) \pi$ decays, that the present PDG data on the partial decay width of $K_1(1270) \to \pi K^*_0(1430)$ implies a width for $K^*_0(1430) \to K_1(1270) \pi$ decay which is about ten times larger than the total $K^*_0(1430)$ width. A discussion on this inconsistency is done, stressing its relationship to the existence of two $K_1(1270)$ states obtained with the chiral unitary theory, which are not considered in the experimental analyses of $K\pi\pi$ data.


title: The Evolution of Rapid Optical/X-ray Timing Correlations in the Initial Hard State of MAXI J1820+070

abstract: We report on a multi-epoch campaign of rapid optical/X-ray timing observations of the superbright 2018 outburst of MAXI J1820+070, a black hole low-mass X-ray binary system. The observations spanned 80 days in the initial hard-state, and were taken with NTT/ULTRACAM and GTC/HiPERCAM in the optical (ugriz filters at time resolutions of 8--300 Hz) and with ISS/NICER in X-rays. We find (i) a growing anti-correlation between the optical and X-ray lightcurves, (ii) a steady, positive correlation at an optical lag of 0.2 s (with a longer lag at longer wavelengths) present in all epochs, and (iii) a curious positive correlation at \textit{negative} optical lags in the last, X-ray softest epoch, with longer wavelengths showing a greater correlation and a more negative lag. To explain these we postulate the possible existence of two synchrotron-emitting components; a compact jet and a hot flow. In our model, the significance of the jet decreases over the outburst, while the hot flow remains static (thus, relatively, increasing in significance). We also discuss a previously discovered quasi-periodic oscillation and note how it creates coherent optical time lags, stronger at longer wavelengths, during at least two epochs.


title: Photon Ring and Observational Appearance of a Hairy Black Hole

abstract: Recently, the image of a Schwarzschild black hole with an accretion disk has been revisited, and it showed that the "photon ring", defined as highly bent light rays that intersect the disk plane more than twice, is extremely narrow and makes a negligible contribution to the total brightness. In this paper, we investigate the observational appearance of an optically and geometrically thin accretion disk around a hairy black hole in an Einstein-Maxwell-scalar model. Intriguingly, we find that in a certain parameter regime, due to an extra maximum or an "ankle-like" structure in the effective potential for photons, the photon ring can be remarkably wide, thus making a notable contribution to the flux of the observed image. In particular, there appears a wide and bright annulus, which comprises multiple concentric bright thin rings with different luminosity, in the high resolution image.


title: Evaluation of multivariate integrals based on a duality identity for the Stieltjes transform

abstract: A detailed study of a double integral representation of the Catalan's constant allows us to identify a duality identity for the Stieltjes transform on which it is based. This duality identity is then extended to an arbitrary dimensional integral and several special cases are deduced. On the way, we also highlight a relationship with some multivariate generalizations of the Riemann zeta function.


title: Multipole polaron in the devil's staircase of CeSb

abstract: Rare-earth intermetallic compounds exhibit rich phenomena induced by the interplay between localized $f$ orbitals and conduction electrons. However, since the energy scale of the crystal-electric-field splitting is only a few millielectronvolts, the nature of the mobile electrons accompanied by collective crystal-electric-field excitations has not been unveiled. Here, we examine the low-energy electronic structures of CeSb through the anomalous magnetostructural transitions below the N$\'{e}$el temperature, $\sim$17 K, termed the 'devil's staircase', using laser angle-resolved photoemission, Raman and neutron scattering spectroscopies. We report another type of electron-boson coupling between mobile electrons and quadrupole crystal-electric-field excitations of the 4$f$ orbitals, which renormalizes the Sb 5$p$ band prominently, yielding a kink at a very low energy ($\sim$7 meV). This coupling strength is strong and exhibits anomalous step-like enhancement during the devil's staircase transition, unveiling a new type of quasiparticle, named the 'multipole polaron', comprising a mobile electron dressed with a cloud of the quadrupole crystal-electric-field polarization.


title: A discrete de Rham method for the Reissner-Mindlin plate bending problem on polygonal meshes

abstract: In this work we propose a discretisation method for the Reissner--Mindlin plate bending problem in primitive variables that supports general polygonal meshes and arbitrary order. The method is inspired by a two-dimensional discrete de Rham complex for which key commutation properties hold that enable the cancellation of the contribution to the error linked to the enforcement of the Kirchhoff constraint. Denoting by $k\ge 0$ the polynomial degree for the discrete spaces and by $h$ the meshsize, we derive for the proposed method an error estimate in $h^{k+1}$ for general $k$, as well as a locking-free error estimate for the lowest-order case $k=0$. The theoretical results are validated on a complete panel of numerical tests.


title: Bishop-Jones' Theorem and the ergodic limit set

abstract: For a proper, Gromov-hyperbolic metric space and a discrete, non-elementary, group of isometries, we define a natural subset of the limit set at infinity of the group called the ergodic limit set. The name is motivated by the fact that every ergodic measure which is invariant for the geodesic flow on the quotient metric space is concentrated on geodesics with endpoints belonging to the ergodic limit set. We refine the classical Bishop-Jones' Theorem proving that the packing dimension of the ergodic limit set coincides with the critical exponent of the group.


title: Active spintronic-metasurface terahertz emitters with tunable chirality

abstract: The ability to manipulate the electric-field vector of broadband terahertz waves is essential for applications of terahertz technologies in many areas, and can open up new possibilities for nonlinear terahertz spectroscopy and coherent control. Here, we propose a novel laser-driven terahertz emitter, consisting of metasurface-patterned magnetic multilayer heterostructures. Such hybrid terahertz emitters can combine the advantages of spintronic emitters for being ultrabroadband, efficient and flexible, as well as those of metasurfaces for the unique capability to manipulate terahertz waves with high precision and degree of freedom. Taking a stripe-patterned metasurface as an example, we demonstrate the generation of broadband terahertz waves with tunable chirality. Based on experimental and theoretical studies, the interplay between the laser-induced spintronic-origin currents and the metasurface-induced transient charges/currents are investigated, revealing the strong influence on the device functionality originated from both the light-matter interactions in individual metasurface units and the dynamic coupling between them. Our work not only offers a flexible, reliable and cost-effective solution for chiral terahertz wave generation and manipulation, but also opens a new pathway to metasurface-tailored spintronic devices for efficient vector-control of electromagnetic waves in the terahertz regime.


title: Dynamic Semantic Graph Construction and Reasoning for Explainable Multi-hop Science Question Answering

abstract: Knowledge retrieval and reasoning are two key stages in multi-hop question answering (QA) at web scale. Existing approaches suffer from low confidence when retrieving evidence facts to fill the knowledge gap and lack transparent reasoning process. In this paper, we propose a new framework to exploit more valid facts while obtaining explainability for multi-hop QA by dynamically constructing a semantic graph and reasoning over it. We employ Abstract Meaning Representation (AMR) as semantic graph representation. Our framework contains three new ideas: (a) {\tt AMR-SG}, an AMR-based Semantic Graph, constructed by candidate fact AMRs to uncover any hop relations among question, answer and multiple facts. (b) A novel path-based fact analytics approach exploiting {\tt AMR-SG} to extract active facts from a large fact pool to answer questions. (c) A fact-level relation modeling leveraging graph convolution network (GCN) to guide the reasoning process. Results on two scientific multi-hop QA datasets show that we can surpass recent approaches including those using additional knowledge graphs while maintaining high explainability on OpenBookQA and achieve a new state-of-the-art result on ARC-Challenge in a computationally practicable setting.


title: Guaranteed a posteriori local error estimation for finite element solutions of boundary value problems

abstract: This paper considers the finite element solution of the boundary value problem of Poisson's equation and proposes a guaranteed em a posteriori local error estimation based on the hypercircle method. Compared to the existing literature on qualitative error estimation, the proposed error estimation provides an explicit and sharp bound for the approximation error in the subdomain of interest, and its efficiency can be enhanced by further utilizing a non-uniform mesh. Such a result is applicable to problems without $H^2$-regularity, since it only utilizes the first order derivative of the solution. The efficiency of the proposed method is demonstrated by numerical experiments for both convex and non-convex 2D domains with uniform or non-uniform meshes.


title: On the Ulam Type Stability of Nonlinear Volterra Integral Equations

abstract: In this paper, we examine the Hyers-Ulam and Hyers-Ulam-Rassias stability of solutions of a general class of nonlinear Volterra integral equations. By using a fixed point alternative and improving a technique commonly used in similar problems, we extend and improve some well-known results on this problem. We also provide some examples visualizing the improvement of the results mentioned.


title: Classical and uniform exponents of multiplicative $p$-adic approximation

abstract: Let $p$ be a prime number and $\xi$ an irrational $p$-adic number. Its irrationality exponent $\mu (\xi)$ is the supremum of the real numbers $\mu$ for which the system of inequalities $$ 0 < \max\{|x|, |y|\} \le X, \quad |y \xi - x|_{p} \leq X^{-\hmu} $$ has a solution in integers $x, y$ for arbitrarily large real number $X$. Its multiplicative irrationality exponent $\tmu (\xi)$ (resp., uniform multiplicative irrationality exponent $\htmu (\xi)$) is the supremum of the real numbers $\hmu$ for which the system of inequalities $$ 0 < |x y|^{1/2} \le X, \quad |y \xi - x|_{p} \leq X^{-\hmu} $$ has a solution in integers $x, y$ for arbitrarily large (resp., for every sufficiently large) real number $X$. It is not difficult to show that $\mu (\xi) \le \tmu(\xi) \le 2 \mu (\xi)$ and $\htmu (\xi) \le 4$. We establish that the ratio between the multiplicative irrationality exponent $\tmu$ and the irrationality exponent $\mu$ can take any given value in $[1, 2]$. Furthermore, we prove that $\htmu (\xi) \le (5 + \sqrt{5})/2$ for every $p$-adic number $\xi$.


title: Look inside. Predicting stock prices by analysing an enterprise intranet social network and using word co-occurrence networks

abstract: This study looks into employees' communication, offering novel metrics which can help to predict a company's stock price. We studied the intranet forum of a large Italian company, exploring the interactions and the use of language of about 8,000 employees. We built a network linking words included in the general discourse. In this network, we focused on the position of the node representing the company brand. We found that a lower sentiment, a higher betweenness centrality of the company brand, a denser word co-occurrence network and more equally distributed centrality scores of employees (lower group betweenness centrality) are all significant predictors of higher stock prices. Our findings offers new metrics that can be helpful for scholars, company managers and professional investors and could be integrated into existing forecasting models to improve their accuracy. Lastly, we contribute to the research on word co-occurrence networks by extending their field of application.


title: A unified framework based on graph consensus term for multi-view learning

abstract: In recent years, multi-view learning technologies for various applications have attracted a surge of interest. Due to more compatible and complementary information from multiple views, existing multi-view methods could achieve more promising performance than conventional single-view methods in most situations. However, there are still no sufficient researches on the unified framework in existing multi-view works. Meanwhile, how to efficiently integrate multi-view information is still full of challenges. In this paper, we propose a novel multi-view learning framework, which aims to leverage most existing graph embedding works into a unified formula via introducing the graph consensus term. In particular, our method explores the graph structure in each view independently to preserve the diversity property of graph embedding methods. Meanwhile, we choose heterogeneous graphs to construct the graph consensus term to explore the correlations among multiple views jointly. To this end, the diversity and complementary information among different views could be simultaneously considered. Furthermore, the proposed framework is utilized to implement the multi-view extension of Locality Linear Embedding, named Multi-view Locality Linear Embedding (MvLLE), which could be efficiently solved by applying the alternating optimization strategy. Empirical validations conducted on six benchmark datasets can show the effectiveness of our proposed method.


title: Extranatural Flux Inflation

abstract: We propose a new inflation scenario in flux compactification, where a zero mode scalar field of extra components of the higher dimensional gauge field is identified with an inflaton. The scalar field is a pseudo Nambu-Goldstone boson of spontaneously broken translational symmetry in compactified spaces. The inflaton potential is non-local and finite, which is protected against the higher dimensional non-derivative local operators by quantum gravity corrections thanks to the gauge symmetry in higher dimensions and the shift symmetry originated from the translation in extra spaces. We give an explicit inflation model in a six dimensional scalar QED, which is shown to be consistent with Planck 2018 data.


title: Simple But Effective Redundant Odometry for Autonomous Vehicles

abstract: Robust and reliable ego-motion is a key component of most autonomous mobile systems. Many odometry estimation methods have been developed using different sensors such as cameras or LiDARs. In this work, we present a resilient approach that exploits the redundancy of multiple odometry algorithms using a 3D LiDAR scanner and a monocular camera to provide reliable state estimation for autonomous vehicles. Our system utilizes a stack of odometry algorithms that run in parallel. It chooses from them the most promising pose estimation considering sanity checks using dynamic and kinematic constraints of the vehicle as well as a score computed between the current LiDAR scan and a locally built point cloud map. In this way, our method can exploit the advantages of different existing ego-motion estimating approaches. We evaluate our method on the KITTI Odometry dataset. The experimental results suggest that our approach is resilient to failure cases and achieves an overall better performance than individual odometry methods employed by our system.


title: The simple emergence of complex molecular function

abstract: At odds with a traditional view of molecular evolution that seeks a descent-with-modification relationship between functional sequences, new functions can emerge {\it de novo} with relative ease. At early times of molecular evolution, random polymers could have sufficed for the appearance of incipient chemical activity, while the cellular environment harbors a myriad of proto-functional molecules. The emergence of function is facilitated by several mechanisms intrinsic to molecular organization, such as redundant mapping of sequences into structures, phenotypic plasticity, modularity, or cooperative associations between genomic sequences. It is the availability of niches in the molecular ecology that filters new potentially functional proposals. New phenotypes and subsequent levels of molecular complexity could be attained through combinatorial explorations of currently available molecular variants. Natural selection does the rest.


title: Wormhole on the Brane with Ordinary Matter: The Broader View

abstract: In this paper we attempt to examine the possibility of construction of a traversable wormhole on the Randall-Sundrum braneworld with ordinary matter employing the Kuchowicz potential as one of the metric potentials. In this scenario, the wormhole shape function is obtained and studied, along with validity of Null Energy Condition (NEC) and the junction conditions at the surface of the wormhole are used to obtain a few of the model parameters. The investigation, besides giving an estimate for the bulk equation of state parameter, draws important constraints on the brane tension which is a novel attempt in this aspect and very interestingly the constraints imposed by a physically plausible traversable wormhole is in high confirmity with those drawn from more general space-times or space-time independent situations involved in fundamental physics. Also, we go on to claim that the possible existence of a wormhole may very well indicate that we live on a three-brane universe.


title: Complete Requirements-based Testing with Finite State Machines

abstract: In this paper, new contributions to requirements-based testing with deterministic finite state machines are presented. Elementary requirements are specified as triples consisting of a state in the reference model, an input, and the expected reaction of the system under test defined by a set of admissible outputs, allowing for different implementation variants. Composite requirements are specified as collections of elementary ones. Two requirements-driven test generation strategies are introduced, and their fault coverage guarantees are proven. The first is exhaustive in the sense that it produces test suites guaranteeing requirements satisfaction if the test suite is passed. If the test suite execution fails for a given implementation, however, this does not imply that the requirement has been violated. Instead, the failure may indicate an arbitrary violation of I/O-equivalence, which could be unrelated to the requirement under test. The second strategy is complete in the sense that it produces test suites guaranteeing requirements satisfaction if and only if the suite is passed. Complexity considerations indicate that for practical application, the first strategy should be preferred to the second. Typical application scenarios for this approach are safety-critical systems, where safety requirements should be tested with maximal thoroughness, while user requirements might be checked with lesser effort, using conventional testing heuristics.


title: Quasi-strongly regular graphs of grade three with diameter two

abstract: A quasi-strongly regular graph of grade $p$ with parameters $(n, k, a; c_1, \ldots, c_p)$ is a $k$-regular graph of order $n$ such that any two adjacent vertices share $a$ common neighbours and any two non-adjacent vertices share $c_{i}$ common neighbours for some $1 \leq i \leq p$. This is a generalization of a strongly regular graph. In this paper, we focus on strictly quasi-strongly regular graphs of grade $3$ with $c_i = k - i$ for $i = 1, 2, 3$. The main result is to show the sharp bounds of order $n$ for a given $k \geq 4$. Furthermore, by this result, we characterize all of these graphs whose $n$ satisfies upper or lower bounds.


title: A linear parallel algorithm to compute bisimulation and relational coarsest partitions

abstract: The most efficient way to calculate strong bisimilarity is by calculation the relational coarsest partition on a transition system. We provide the first linear time algorithm to calculate strong bisimulation using parallel random access machines (PRAMs). More precisely, with $n$ states, $m$ transitions and $|\mathit{Act}|\leq m$ action labels, we provide an algorithm on $max(n,m)$ processors that calculates strong bisimulation in time $O(n+|\mathit{Act}|)$ and space $O(n+m)$. The best-known PRAM algorithm has time complexity $O(n\log n)$ on a smaller number of processors making it less suitable for massive parallel devices such as GPUs. An implementation on a GPU shows that the linear time-bound is achievable on contemporary hardware.


title: GAN for Vision, KG for Relation: a Two-stage Deep Network for Zero-shot Action Recognition

abstract: Zero-shot action recognition can recognize samples of unseen classes that are unavailable in training by exploring common latent semantic representation in samples. However, most methods neglected the connotative relation and extensional relation between the action classes, which leads to the poor generalization ability of the zero-shot learning. Furthermore, the learned classifier incline to predict the samples of seen class, which leads to poor classification performance. To solve the above problems, we propose a two-stage deep neural network for zero-shot action recognition, which consists of a feature generation sub-network serving as the sampling stage and a graph attention sub-network serving as the classification stage. In the sampling stage, we utilize a generative adversarial networks (GAN) trained by action features and word vectors of seen classes to synthesize the action features of unseen classes, which can balance the training sample data of seen classes and unseen classes. In the classification stage, we construct a knowledge graph (KG) based on the relationship between word vectors of action classes and related objects, and propose a graph convolution network (GCN) based on attention mechanism, which dynamically updates the relationship between action classes and objects, and enhances the generalization ability of zero-shot learning. In both stages, we all use word vectors as bridges for feature generation and classifier generalization from seen classes to unseen classes. We compare our method with state-of-the-art methods on UCF101 and HMDB51 datasets. Experimental results show that our proposed method improves the classification performance of the trained classifier and achieves higher accuracy.


title: Obscuring digital route choice information prevents delay-induced congestion

abstract: Although routing applications increasingly affect individual mobility choices, their impact on collective traffic dynamics remains largely unknown. Smart communication technologies provide accurate traffic data for choosing one route over other alternatives, yet inherent delays undermine the potential usefulness of such information. Here we introduce and analyze a simple model of collective traffic dynamics which result from route choice relying on outdated traffic information. We find for sufficiently small information delays that traffic flows are stable against perturbations. However, delays beyond a bifurcation point induce self-organized flow oscillations of increasing amplitude -- congestion arises. Providing delayed information averaged over sufficiently long periods of time or, more intriguingly, reducing the number of vehicles adhering to the route recommendations may prevent such delay-induced congestion. We reveal the fundamental mechanisms underlying these phenomena in a minimal two-road model and demonstrate their generality in microscopic, agent-based simulations of a road network system. Our findings provide a way to conceptually understand system-wide traffic dynamics caused by broadly used non-instantaneous routing information and suggest how resulting unintended collective traffic states could be avoided.


title: Cross-match between the latest Swift-BAT and Fermi-LAT catalogs

abstract: We report the results of a cross-match study between the hard X-ray and GeV gamma-ray catalogs, by making use of the latest 105-month Swift-BAT and 10-yr Fermi-LAT catalogs, respectively. The spatial cross-matching between the two catalogs results in the matching of 132 point-like sources, including ~5% of false-match sources. Additionally, 24 sources that have been identified as the same identifications are matched. Among the 75 extended sources in the Fermi-LAT catalog, 31 sources have spatial coincidences with at least one Swift-BAT source inside their extent. All the matched sources consist of blazars (>60%), pulsars and pulsar wind nebulae (~13%), radio galaxies (~7%), binaries (~5%), and others. Compared to the original catalogs, the matched sources are characterized by a double-peaked photon index distribution, higher flux, and larger gamma-ray variability index. This difference arises from the different populations of sources, particularly the large proportion of blazars (i.e., FSRQ and BL Lac). We also report 13 cross-matched and unidentified sources. The matched sources in this study would be promising in the intermediate energy band between the hard X-ray and GeV gamma-ray observations, that is the unexplored MeV gamma-ray domain.


title: Absence of Spin Frustration in the Kagom\'e Layers of Cu2+ Ions in Volborthite Cu3V2O7(OH)2x2H2O and Observation of the Suppression and Re-entrance of Specific Heat Anomalies in Volborthite Under External Magnetic Field

abstract: We determined the spin exchanges between the Cu2+ ions in the kagome layers of volborthite, Cu3V2O7(OH)2x2H2O, by performing the energy-mapping analysis based on DFT+U calculations, to find that the kagom\'e layers of Cu2+ ions are hardly spin-frustrated, and the magnetic properties of volborthite below ~75 K should be described by very weakly interacting antiferromagnetic uniform chains made up of effective S=1/2 pseudospin units. This conclusion was verified by synthesizing single crystals of not only Cu3V2O7(OH)2x2H2O but also its deuterated analogue Cu3V2O7(OD)2x2D2O and then by investigating their magnetic susceptibilities and specific heats. Each kagome layer consists of intertwined two-leg spin ladders with rungs of linear spin trimers. With the latter acting as S=1/2 pseudospin units, each two-leg spin ladder behaves as a chain of S=1/2 pseudospins. Adjacent two-leg spin ladders in each kagome layer interact very weakly, so it is required that all nearest-neighbor spin exchange paths of every two-leg spin ladder remain antiferromagnetically coupled in all spin ladder arrangements of a kagome layer. This constraint imposes three sets of entropy spectra with which each kagome layer can exchange energy with the surrounding on lowering the temperature below ~1.5 K and on raising the external magnetic field B. We discovered that the specific heat anomalies of volborthite observed below ~1.5 K at B = 0 are suppressed by raising the magnetic field B to ~4.2 T, that a new specific heat anomaly occurs when B is increased above ~5.5 T, and that the imposed three sets of entropy spectra are responsible for the field-dependence of the specific heat anomalies.


title: Millimeter-Wave Beamforming with Continuous Coverage for Mobile Interactive Virtual Reality

abstract: Contemporary Virtual Reality (VR) setups commonly consist of a Head-Mounted Display (HMD) tethered to a content-generating server. "Cutting the wire" in such setups and going truly wireless will require a wireless network capable of delivering enormous amounts of video data at an extremely low latency. Higher frequencies, such as the millimeter-wave (mmWave) band, can support these requirements. Due to high attenuation and path loss in the mmWave frequencies, beamforming is essential. For VR setups, beamforming must adapt in real-time to the user's head rotations, but can rely on the HMD's built-in sensors providing accurate orientation estimates. In this work, we present coVRage, a beamforming solution tailored for VR HMDs. Based on past and current head orientations, the HMD predicts how the Angle of Arrival (AoA) from the access point will change in the near future, and covers this AoA trajectory with a dynamically shaped beam, synthesized using sub-arrays. We show that this solution can cover such trajectories with consistently high gain, unlike regular single-beam solutions.


title: Effects of interactivity and presentation on review-based explanations for recommendations

abstract: User reviews have become an important source for recommending and explaining products or services. Particularly, providing explanations based on user reviews may improve users' perception of a recommender system (RS). However, little is known about how review-based explanations can be effectively and efficiently presented to users of RS. We investigate the potential of interactive explanations in review-based RS in the domain of hotels, and propose an explanation scheme inspired by dialog models and formal argument structures. Additionally, we also address the combined effect of interactivity and different presentation styles (i.e. using only text, a bar chart or a table), as well as the influence that different user characteristics might have on users' perception of the system and its explanations. To such effect, we implemented a review-based RS using a matrix factorization explanatory method, and conducted a user study. Our results show that providing more interactive explanations in review-based RS has a significant positive influence on the perception of explanation quality, effectiveness and trust in the system by users, and that user characteristics such as rational decision-making style and social awareness also have a significant influence on this perception.


title: Effect of large light-heavy neutrino mixing and natural type-II seesaw dominance to lepton flavor violation and neutrinoless double beta decay

abstract: We derive the lower bound on the absolute scale of lightest neutrino mass for normal hierarchy and inverted hierarchy pattern of light neutrinos by studying the new physics contributions to charged lepton flavour violations in the framework of a TeV scale left-right symmetric model. In the model, the fermion sector comprises the usual quarks and leptons plus a fermion singlet per generation and the scalar sector consists of isospin doublets, triplets and a bidoublet. The framework allows large light-heavy neutrino mixing where the light neutrino mass formula is governed by a natural type-II seesaw mechanism, unlike the generic type-II seesaw dominance which assumes suppressed light-heavy neutrino mixing. We demonstrate how sizeable loop-induced contribution to light neutrino mass is kept under control such that the light neutrino mass formula is dominantly explained by the type-II seesaw mechanism. We examine the heavy neutrino contributions with large light-heavy neutrino mixing to charged lepton flavour violating processes like $\mu \to e \gamma$, $\mu \to 3 e$ and $\mu \to e$ conversion inside a nucleus. We present a complementary study between neutrinoless double beta decay and charged lepton flavour violation taking into account single beta decay bound, double beta decay bound and cosmology bounds on the sum of light neutrino masses.


title: Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

abstract: Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for discrete nonlinear systems based on parallelotope bundles. The algorithm relies on computing an upper bound on the supremum of a nonlinear function over a rectangular domain, which has been traditionally done using Bernstein polynomials. We strive to remove the manual step of parallelotope template selection to make the method fully automatic. Furthermore, we show that changing templates dynamically during computations cans improve accuracy. To this end, we investigate two techniques for generating the template directions. The first technique approximates the dynamics as a linear transformation and generates templates using this linear transformation. The second technique uses Principal Component Analysis (PCA) of sample trajectories for generating templates. We have implemented our approach in a Python-based tool called Kaa and improve its performance by two main enhancements. The tool is modular and use two types of global optimization solvers, the first using Bernstein polynomials and the second using NASA's Kodiak nonlinear optimization library. Second, we leverage the natural parallelism of the reachability algorithm and parallelize the Kaa implementation. We demonstrate the improved accuracy of our approach on several standard nonlinear benchmark systems.


title: Divisor class groups of double covers over projective spaces

abstract: In this paper, we prove that the divisor class group of a double cover of the complex projective space $\mathbb{P}^n$ is generated by divisorial sheaves whose direct images split into direct sums of two invertible sheaves on $\mathbb{P}^n$. This result shows that any locally free sheaf of rank two on $\mathbb{P}^n$ is generated by direct sums of line bundles on $\mathbb{P}^n$ via some double cover. Moreover, we give a condition for an irreducible divisor on $\mathbb{P}^n$ to be a splitting divisor for a double cover whose divisor class group is finitely generated.


title: Extending the Abstraction of Personality Types based on MBTI with Machine Learning and Natural Language Processing

abstract: A data-centric approach with Natural Language Processing (NLP) to predict personality types based on the MBTI (an introspective self-assessment questionnaire that indicates different psychological preferences about how people perceive the world and make decisions) through systematic enrichment of text representation, based on the domain of the area, under the generation of features based on three types of analysis: sentimental, grammatical and aspects. The experimentation had a robust baseline of stacked models, with premature optimization of hyperparameters through grid search, with gradual feedback, for each of the four classifiers (dichotomies) of MBTI. The results showed that attention to the data iteration loop focused on quality, explanatory power and representativeness for the abstraction of more relevant/important resources for the studied phenomenon made it possible to improve the evaluation metrics results more quickly and less costly than complex models such as the LSTM or state of the art ones as BERT, as well as the importance of these results by comparisons made from various perspectives. In addition, the study demonstrated a broad spectrum for the evolution and deepening of the task and possible approaches for a greater extension of the abstraction of personality types.


title: On the Erd\H{o}s-P\'osa property for long holes in $C_4$-free graphs

abstract: We prove that there exists a function $f(k)=\mathcal{O}(k^2 \log k)$ such that for every $C_4$-free graph $G$ and every $k \in \mathbb{N}$, $G$ either contains $k$ vertex-disjoint holes of length at least $6$, or a set $X$ of at most $f(k)$ vertices such that $G-X$ has no hole of length at least $6$. This answers a question of Kim and Kwon [Erd\H{o}s-P\'osa property of chordless cycles and its applications. JCTB 2020].


title: Timing measurements with a 3D silicon sensor on Timepix3 in a 180 GeV/c hadron beam

abstract: Test beam measurements have been carried out with a 3D sensor on a Timepix3 ASIC and the time measurements are presented. The measurements are compared to those of a thin planar sensor on Timepix3. It is shown that for a perpendicularly incident beam the time resolution of both detectors is dominated by the Timepix3 front-end. The 3D detector is dominated by the time-to-digital conversion whereas the analog front-end jitter also gives a significant contribution for the thin planar detector. The 3D detector reaches an overall time resolution of 567(6)ps compared to 683(8)ps for the thin planar detector. For a grazing angle beam, however, the thin planar detector achieves a better time resolution because it has a lower pixel capacitance, and therefore suffers less from jitter in the analog front-end for the low charge signals that mainly occur in this type of measurement. Finally, it is also shown that the 3D and thin planar detector can achieve time resolutions for large clusters of about 100ps and 250ps, respectively, by combining many single hit measurements.


title: Electrically driven random lasing from a modified Fabry-Perot laser diode

abstract: Random lasers (RLs) are intriguing devices with promising applications as light sources for imaging, sensing, super resolution spectral analysis or complex networks engineering. RLs can be obtained from optically pumped dyes, optical fibers and crystals, or electrically pumped semiconductor heterostructures. Semicon-ductor RLs are usually fabricated by introducing scattering defects into the active layer, adding a degree of complexity to the fabrication process and losing the ease of realization potentially offered by disordered structures. Ready availability of electrically pumped RLs, avoiding costly fabrication approach, would boost the use of these devices in research and applications. Here, we realize an incoherent semiconductor RL by simply processing the output mirror of an off-the-shelf Fabry-Perot laser diode via controlled laser ablation. Optical feedback provided by the intact back mirror and the ablated front mirror results in multi-mode ran-dom lasing with low spatial coherence and speckled output emission profile.


title: Bias-Robust Bayesian Optimization via Dueling Bandits

abstract: We consider Bayesian optimization in settings where observations can be adversarially biased, for example by an uncontrolled hidden confounder. Our first contribution is a reduction of the confounded setting to the dueling bandit model. Then we propose a novel approach for dueling bandits based on information-directed sampling (IDS). Thereby, we obtain the first efficient kernelized algorithm for dueling bandits that comes with cumulative regret guarantees. Our analysis further generalizes a previously proposed semi-parametric linear bandit model to non-linear reward functions, and uncovers interesting links to doubly-robust estimation.


title: Distortions Characterization for Dynamic Carrier Allocation in Ultra High-Throughput Satellites

abstract: A novel analytical formula for the characterization of linear and nonlinear distortions in future ultra high-throughput communication payloads is proposed in this work. In this context, the carrier-to-interference ratio related to single-carrier and multicarrier signals is derived. Through the analysis of its behavior valuable insights are created, especially regarding the interaction between linear and nonlinear intersymbol interference. Furthermore, the principle of dynamic carrier allocation optimization is highlighted in a realistic scenario. Within the presented framework, it is proven that a significant gain can be achieved even with a limited number of carriers. Finally, a complexity and accuracy analysis emphasizes the practicality of the proposed approach.


title: Bridging Few-Shot Learning and Adaptation: New Challenges of Support-Query Shift

abstract: Few-Shot Learning (FSL) algorithms have made substantial progress in learning novel concepts with just a handful of labelled data. To classify query instances from novel classes encountered at test-time, they only require a support set composed of a few labelled samples. FSL benchmarks commonly assume that those queries come from the same distribution as instances in the support set. However, in a realistic set-ting, data distribution is plausibly subject to change, a situation referred to as Distribution Shift (DS). The present work addresses the new and challenging problem of Few-Shot Learning under Support/Query Shift (FSQS) i.e., when support and query instances are sampled from related but different distributions. Our contributions are the following. First, we release a testbed for FSQS, including datasets, relevant baselines and a protocol for a rigorous and reproducible evaluation. Second, we observe that well-established FSL algorithms unsurprisingly suffer from a considerable drop in accuracy when facing FSQS, stressing the significance of our study. Finally, we show that transductive algorithms can limit the inopportune effect of DS. In particular, we study both the role of Batch-Normalization and Optimal Transport (OT) in aligning distributions, bridging Unsupervised Domain Adaptation with FSL. This results in a new method that efficiently combines OT with the celebrated Prototypical Networks. We bring compelling experiments demonstrating the advantage of our method. Our work opens an exciting line of research by providing a testbed and strong baselines. Our code is available at https://github.com/ebennequin/meta-domain-shift.


title: The Cynicism of Modern Cybercrime: Automating the Analysis of Surface Web Marketplaces

abstract: Cybercrime is continuously growing in numbers and becoming more sophisticated. Currently, there are various monetisation and money laundering methods, creating a huge, underground economy worldwide. A clear indicator of these activities is online marketplaces which allow cybercriminals to trade their stolen assets and services. While traditionally these marketplaces are available through the dark web, several of them have emerged in the surface web. In this work, we perform a longitudinal analysis of a surface web marketplace. The information was collected through targeted web scrapping that allowed us to identify hundreds of merchants' profiles for the most widely used surface web marketplaces. In this regard, we discuss the products traded in these markets, their prices, their availability, and the exchange currency. This analysis is performed in an automated way through a machine learning-based pipeline, allowing us to quickly and accurately extract the needed information. The outcomes of our analysis evince that illegal practices are leveraged in surface marketplaces and that there are not effective mechanisms towards their takedown at the time of writing.


title: Permutohedra for knots and quivers

abstract: The knots-quivers correspondence states that various characteristics of a knot are encoded in the corresponding quiver and the moduli space of its representations. However, this correspondence is not a bijection: more than one quiver may be assigned to a given knot and encode the same information. In this work we study this phenomenon systematically and show that it is generic rather than exceptional. First, we find conditions that characterize equivalent quivers. Then we show that equivalent quivers arise in families that have the structure of permutohedra, and the set of all equivalent quivers for a given knot is parameterized by vertices of a graph made of several permutohedra glued together. These graphs can be also interpreted as webs of dual 3d $\mathcal{N}=2$ theories. All these results are intimately related to properties of homological diagrams for knots, as well as to multi-cover skein relations that arise in counting of holomorphic curves with boundaries on Lagrangian branes in Calabi-Yau three-folds.


title: Efficient Bayesian model selection for coupled hidden Markov models with application to infectious diseases

abstract: Performing model selection for coupled hidden Markov models (CHMMs) is highly challenging, owing to the large dimension of the hidden state process. Whilst in principle the hidden state process can be marginalized out via forward filtering, in practice the computational cost of doing so increases exponentially with the number of coupled Markov chains, making this approach infeasible in most applications. Monte Carlo methods can be utilized, but despite many remarkable developments in model selection methodology, generic approaches continue to be ill-suited for such high-dimensional problems. Here we develop specialized solutions for CHMMs with weak inter-chain dependencies. Specifically we construct effective proposal distributions for the hidden state process that remain computationally viable as the number of chains increases, and that require little user input or tuning. This methodology is particularly applicable to individual-level infectious disease models characterized as CHMMs, in which each chain represents an individual, and the coupling represents contact between individuals. Since the only significant contacts are between susceptible and infectious individuals, and since multiple infection pathways are often possible, the resulting CHMMs naturally have low inter-chain dependencies. We demonstrate the utility of our methodology with an application to a study of highly pathogenic avian influenza in chickens.


title: Clifford Algebras, Spinors and $Cl(8,8)$ Unification

abstract: It is shown how the vector space $V_{8,8}$ arises from the Clifford algebra $Cl(1,3)$ of spacetime. The latter algebra describes fundamental objects such as strings and branes in terms of their $r$-volume degrees of freedom, $x^{\mu_1 \mu_2 ...\mu_r}$ $\equiv x^M$, $r=0,1,2,3$, that generalizethe concept of center of mass. Taking into account that there are sixteen $x^M$, $M=1,2,3,...,16$, and in general $16 \times 15/2 = 120$ rotations of the form $x'^M = {R^M}_N x^N$, we can consider $x^M$ as components of a vector $X=x^M q_M$, where $q_M$ are generators of the Clifford algebra $Cl(8,8)$. The vector space $V_{8,8}$ has enough room for the unification of the fundamental particles and forces of the standard model. The rotations in $V_{8,8}\otimes \mathbb{C}$ contain the grand unification group $SO(10)$ as a subgroup, and also the Lorentz group $SO(1,3)$. It is shown how the Coleman-Mandula no go theorem can be avoided. Spinors in $V_{8,8}\otimes \mathbb{C}$ are constructed in terms of the wedge products of the basis vectors rewritten in the Witt basis. They satisfy the massless Dirac equation in $M_{8,8}$ with the internal part of the Dirac operator giving the non vanishing masses in four dimensions.


title: PAS-MEF: Multi-exposure image fusion based on principal component analysis, adaptive well-exposedness and saliency map

abstract: High dynamic range (HDR) imaging enables to immortalize natural scenes similar to the way that they are perceived by human observers. With regular low dynamic range (LDR) capture/display devices, significant details may not be preserved in images due to the huge dynamic range of natural scenes. To minimize the information loss and produce high quality HDR-like images for LDR screens, this study proposes an efficient multi-exposure fusion (MEF) approach with a simple yet effective weight extraction method relying on principal component analysis, adaptive well-exposedness and saliency maps. These weight maps are later refined through a guided filter and the fusion is carried out by employing a pyramidal decomposition. Experimental comparisons with existing techniques demonstrate that the proposed method produces very strong statistical and visual results.


title: Algebraic structures in the family of non-Lebesgue measurable sets

abstract: In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e., closed under finite unions of sets), and invariant under the action of the group $\Phi(\mathbb{R})$ of all translations of $\mathbb{R}$ onto itself. Those semigroups are constructed by using Vitali selectors and Bernstein subsets on $\mathbb{R}$. In particular, we prove that the family $(\mathcal{S}(\mathcal{B})\vee \mathcal{S}(\mathcal{V}))*\mathcal{N}_0:=\{((U_1\cup U_2)\setminus N)\cup M: U_1\in \mathcal{S}(\mathcal{B}), U_2\in \mathcal{S}(\mathcal{V}), N,M\in \mathcal{N}_0\} $ is a semigroup of sets, invariant under the action of $\Phi(\mathbb{R})$ and consists of sets which are not measurable in the Lebesgue sense. Here, $\mathcal{S}(\mathcal{B})$ is the collection of all finite unions of some type of Bernstein subsets of $\mathbb{R}$; $\mathcal{S}(\mathcal{V})$ is the collection of all finite unions of Vitali selectors of $\mathbb{R}$; and $\mathcal{N}_0$ is the $\sigma$-ideal of all subsets of $\mathbb{R}$ having the Lebesgue measure zero.


title: Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

abstract: We study the algorithmic properties of first-order monomodal logics of frames $\langle \mathbb{N}, \leq \rangle$, $\langle \mathbb{N}, < \rangle$, $\langle \mathbb{Q}, \leq \rangle$, $\langle \mathbb{Q}, < \rangle$, $\langle \mathbb{R}, \leq \rangle$, $\langle \mathbb{R}, < \rangle$, as well as some related logics, in languages with restrictions on the number of individual variables as well as the number and arity of predicate letters. We show that the logics of frames based on $\mathbb{N}$ are $\Pi^1_1$-hard -- thus, not recursively enumerable -- in languages with two individual variables, one monadic predicate letter and one proposition letter. We also show that the logics of frames based on $\mathbb{Q}$ and $\mathbb{R}$ are $\Sigma^0_1$-hard in languages with the same restrictions. Similar results are obtained for a number of related logics.


title: A Generalised Inverse Reinforcement Learning Framework

abstract: The gloabal objective of inverse Reinforcement Learning (IRL) is to estimate the unknown cost function of some MDP base on observed trajectories generated by (approximate) optimal policies. The classical approach consists in tuning this cost function so that associated optimal trajectories (that minimise the cumulative discounted cost, i.e. the classical RL loss) are 'similar' to the observed ones. Prior contributions focused on penalising degenerate solutions and improving algorithmic scalability. Quite orthogonally to them, we question the pertinence of characterising optimality with respect to the cumulative discounted cost as it induces an implicit bias against policies with longer mixing times. State of the art value based RL algorithms circumvent this issue by solving for the fixed point of the Bellman optimality operator, a stronger criterion that is not well defined for the inverse problem. To alleviate this bias in IRL, we introduce an alternative training loss that puts more weights on future states which yields a reformulation of the (maximum entropy) IRL problem. The algorithms we devised exhibit enhanced performances (and similar tractability) than off-the-shelf ones in multiple OpenAI gym environments.


title: RNNoise-Ex: Hybrid Speech Enhancement System based on RNN and Spectral Features

abstract: Recent interest in exploiting Deep Learning techniques for Noise Suppression, has led to the creation of Hybrid Denoising Systems that combine classic Signal Processing with Deep Learning. In this paper, we concentrated our efforts on extending the RNNoise denoising system (arXiv:1709.08243) with the inclusion of complementary features during the training phase. We present a comprehensive explanation of the set-up process of a modified system and present the comparative results derived from a performance evaluation analysis, using a reference version of RNNoise as control.


title: Dark photon portal into mirror world

abstract: Dark photons and mirror matter are well-motivated dark matter candidates. It is possible that both of them arose during the compactification and symmetry breaking scenario of the heterotic $E_8\times E_8$ string theory and are related to each other. In this case, dark photons can become a natural portal into the mirror world. Unfortunately, the expected magnitude of the induced interactions of ordinary matter with mirror matter is too small to be of phenomenological interest.


title: Hashing embeddings of optimal dimension, with applications to linear least squares

abstract: The aim of this paper is two-fold: firstly, to present subspace embedding properties for $s$-hashing sketching matrices, with $s\geq 1$, that are optimal in the projection dimension $m$ of the sketch, namely, $m=\mathcal{O}(d)$, where $d$ is the dimension of the subspace. A diverse set of results are presented that address the case when the input matrix has sufficiently low coherence (thus removing the $\log^2 d$ factor dependence in $m$, in the low-coherence result of Bourgain et al (2015) at the expense of a smaller coherence requirement); how this coherence changes with the number $s$ of column nonzeros (allowing a scaling of $\sqrt{s}$ of the coherence bound), or is reduced through suitable transformations (when considering hashed -- instead of subsampled -- coherence reducing transformations such as randomised Hadamard). Secondly, we apply these general hashing sketching results to the special case of Linear Least Squares (LLS), and develop Ski-LLS, a generic software package for these problems, that builds upon and improves the Blendenpik solver on dense input and the (sequential) LSRN performance on sparse problems. In addition to the hashing sketching improvements, we add suitable linear algebra tools for rank-deficient and for sparse problems that lead Ski-LLS to outperform not only sketching-based routines on randomly generated input, but also state of the art direct solver SPQR and iterative code HSL on certain subsets of the sparse Florida matrix collection; namely, on least squares problems that are significantly overdetermined, or moderately sparse, or difficult.


title: Public Transportation Demand Analysis: A Case Study of Metropolitan Lagos

abstract: Modelling, simulation, and forecasting offer a means of facilitating better planning and decision-making. These quantitative approaches can add value beyond traditional methods that do not rely on data and are particularly relevant for public transportation. Lagos is experiencing rapid urbanization and currently has a population of just under 15 million. Both long waiting times and uncertain travel times has driven many people to acquire their own vehicle or use alternative modes of transport. This has significantly increased the number of vehicles on the roads leading to even more traffic and greater traffic congestion. This paper investigates urban travel demand in Lagos and explores passenger dynamics in time and space. Using individual commuter trip data from tickets purchased from the Lagos State Bus Rapid Transit (BRT), the demand patterns through the hours of the day, days of the week and bus stations are analysed. This study aims to quantify demand from actual passenger trips and estimate the impact that dynamic scheduling could have on passenger waiting times. Station segmentation is provided to cluster stations by their demand characteristics in order to tailor specific bus schedules. Intra-day public transportation demand in Lagos BRT is analysed and predictions are compared. Simulations using fixed and dynamic bus scheduling demonstrate that the average waiting time could be reduced by as much as 80%. The load curves, insights and the approach developed will be useful for informing policymaking in Lagos and similar African cities facing the challenges of rapid urbanization.


title: Thermodynamics and phase transitions of black holes in contact with a gravitating heat bath

abstract: We study the thermodynamics of a shell of self-gravitating radiation, bounded by two spherical surfaces. This system provides a consistent model for a gravitating thermal reservoir for different solutions to vacuum Einstein equations in the shell's interior. The latter include black holes and flat space, hence, this model allows for the study of black hole phase transitions. Following the analysis of arXiv:1103.3898 , we show that the inclusion of appropriate entropy terms to the spacetime boundaries (including the Bekenstein-Hawking entropy for black hole horizons) leads to a consistent thermodynamic description. The system is characterized by four phases, two black hole phases distinguished by the size of the horizon, a flat space phase and one phase that describes naked singularities. We undertake a detailed analysis of black-hole phase transitions, the non-concave entropy function, the properties of temperature at infinity, and system's heat capacity.


title: SGD with Coordinate Sampling: Theory and Practice

abstract: While classical forms of stochastic gradient descent algorithm treat the different coordinates in the same way, a framework allowing for adaptive (non uniform) coordinate sampling is developed to leverage structure in data. In a non-convex setting and including zeroth order gradient estimate, almost sure convergence as well as non-asymptotic bounds are established. Within the proposed framework, we develop an algorithm, MUSKETEER, based on a reinforcement strategy: after collecting information on the noisy gradients, it samples the most promising coordinate (all for one); then it moves along the one direction yielding an important decrease of the objective (one for all). Numerical experiments on both synthetic and real data examples confirm the effectiveness of MUSKETEER in large scale problems.


title: The Formation and Structure of Olympic Gels

abstract: Different methods for creating Olympic gels are analyzed using computer simulations. First ideal reference samples are obtained from freely interpenetrating semi-dilute solutions and melts of cyclic polymers. The distribution of pairwise concatenations per cyclic molecule is given by a Poisson-distribution and can be used to describe the elastic structure of the gels. Several batches of linear chains decorated with different selectively binding groups at their ends are mixed in the "DNA Origami" technique and network formation is realized. While the formation of cyclic molecules follows mean field predictions below overlap of the precursor molecules, an enhanced ring formation above overlap is found that is not explained by mean field arguments. The "progressive construction" method allows to create Olympic gels with a single reaction step from a concentrated mixture of large compressed rings with a low weight fraction short chains that are below overlap concentration. This method, however, is limited by the difficulty to obtain a sufficiently high degree of polymerization of the large rings.


title: Model-Free Adaptive Control Compensated with Disturbance

abstract: In this paper, we restudy how to modify the model-free adaptive control (MFAC) to reject the disturbance both in single-input single-output (SISO) systems and multiple-input multiple-output (MIMO) systems, with the aim to pave the way for the development of this interesting controller in the future. First of all, in order to accurately describe the nonlinear system model at each time, we compensate the equivalent dynamic linearization model (EDLM) with disturbance and prove it through the definition of differentiability and the Taylor series. Then based on modified EDLM, we redesign MFAC compensated with disturbance and firstly reanalyze the discrete-time nonlinear system through the closed-loop system equation at each time. This is all possible because some nonlinear system functions can be accurately described by the EDLM compensated with disturbance according to Taylor series. At last, several examples are given to verify the theorem.


title: Payment Does Not Imply Consensus (For Distributed Payment Systems)

abstract: Decentralized payment systems such as Bitcoin have become massively popular in the last few years, yet there is still much to be done in understanding their formal properties. The vast majority of decentralized payment systems work by achieving consensus on the state of the network; a natural question to therefore ask is whether this consensus is necessary. In this paper, we formally define a model of payment systems, and present two main results. In Theorem 1, we show that even though there exists a single step black box reduction from Payment Systems to Byzantine Broadcast, there does not exist any black box reduction in the other direction which is significantly better than a trivial reduction. In Theorem 2, we show how to construct Payment Systems which only require a very small number of messages to be sent per transaction. In particular, global consensus about which transactions have occurred is not necessary for payments in this model. We then show a relation between the construction in Theorem 2 and the Lightning Network, relating the formal model constructions we have given to a practical algorithm proposed by the cryptocurrency community.


title: An analysis of the time-frequency structure of several bursts from FRB121102 detected with MeerKAT

abstract: We present a detailed study of the complex time-frequency structure of a sample of previously reported bursts of FRB 121102 detected with the MeerKAT telescope in September 2019. The wide contiguous bandwidth of these observations have revealed a complex bifurcating structure in some bursts at $1250$ MHz. When de-dispersed to their structure-optimised dispersion measures, two of the bursts show a clear deviation from the cold plasma dispersion relationship below $1250$ MHz. We find a differential dispersion measure of ${\sim}1{-}2$ pc cm$^{-3}$ between the lower and higher frequency regions of each burst. We investigate the possibility of plasma lensing by Gaussian lenses of ${\sim}10$ AU in the host galaxy, and demonstrate that they can qualitatively produce some of the observed burst morphologies. Other possible causes for the observed frequency dependence, such as Faraday delay, are also discussed. Unresolved sub-components in the bursts, however, may have led to an incorrect DM determination. We hence advise exercising caution when considering bursts in isolation. We analyse the presence of two apparent burst pairs. One of these pairs is a potential example of upward frequency drift. The possibility that burst pairs are echoes is also discussed. The average structure-optimised dispersion measure is found to be $563.5\pm 0.2 (\text{sys}) \pm 0.8 (\text{stat})$ pc cm$^{-3}$ $-$ consistent with the values reported in 2018. We use two independent methods to determine the structure-optimised dispersion measure of the bursts: the DM_phase algorithm and autocorrelation functions. The latter $-$ originally developed for pulsar analysis $-$ is applied to FRBs for the first time in this paper.


title: Inhomogeneous Superconducting State Probed by $^{125}$Te NMR on UTe$_2

abstract: UTe$_2$ is a recently discovered promising candidate for a spin-triplet superconductor. In contrast to conventional spin-singlet superconductivity, spin-triplet superconductivity possesses spin and angular momentum degrees of freedom. To detect these degrees of freedom and obtain the solid evidence of spin-triplet superconductivity in UTe$_2$, we performed $^{125}$Te-NMR measurement. We previously reported that the shoulder signal appears in NMR spectra below the superconducting (SC) transition temperature $T_{\rm c}$ in $H \parallel b$, and that a slight decrease in the Knight shift along the $b$ and $c$ axes ($K_b$ and $K_c$, respectively) below $T_{\rm c}$ at a low magnetic field $H$. To clarify the origin of the shoulder signal and the trace of the decrease in $K_b$, we compared the $^{125}$Te-NMR spectra obtained when $H~\parallel~b$ and $H~\parallel~c$ and measured the $^{125}$Te-NMR spectra for $H~\parallel~b$ up to 14.5~T. The intensity of the shoulder signal observed for $H~\parallel~b$ has a maximum at $\sim 6$~T and vanishes above 10~T, although the superconductivity is confirmed by the $\chi_{\rm AC}$ measurements, which can survive up to 14.5~T (maximum $H$ in the present measurement). Moreover, the decrease in $K_b$ in the SC state starts to be small around 7~T and almost zero at 12.5~T. This indicates that the SC spin state gradually changes with the application of $H$. Meanwhile, in $H~\parallel~c$, unexpected broadening without the shoulder signals was observed below $T_{\rm c}$ at 1~T, and this broadening was quickly suppressed with increasing $H$. We construct the $H$--$T$ phase diagram for $H~\parallel~b$ and $H~\parallel~c$ based on the NMR measurements and discuss possible SC states with the theoretical consideration. We suggest that the inhomogeneous SC state characterized by the broadening of the NMR spectrum originates from the spin degrees of freedom.


title: Solubility of ionic surfactants below their Krafft point in mixed micellar solutions: Phase diagrams for methyl ester sulfonates and nonionic cosurfactants

abstract: Many ionic surfactants with wide applications in personal-care and house-hold detergency show limited water solubility at lower temperatures (Krafft point). This drawback can be overcome by using mixed solutions, where the ionic surfactant is incorporated in mixed micelles with another surfactant, which is soluble at lower temperatures. The solubility and electrolytic conductivity for a binary surfactant mixture of anionic methyl ester sulfonates (MES) with nonionic alkyl polyglucoside and alkyl polyoxyethylene ether at 5 deg C during long-term storage were measured. Phase diagrams were established; a general theoretical model for their explanation was developed and checked experimentally. The binary and ternary phase diagrams for studied surfactant mixtures include phase domains: mixed micelles; micelles and crystallites; crystallites, and molecular solution. The proposed general methodology, which utilizes the equations of molecular thermodynamics at minimum number of experimental measurements, is convenient for construction of such phase diagrams. The results could increase the range of applicability of MES-surfactants with relatively high Krafft temperature, but with various useful properties such as excellent biodegradability and skin compatibility; stability in hard water; good wetting and cleaning performance.


title: Exploring the relevance of ORCID as a source of study of data sharing activities at the individual-level: a methodological discussion

abstract: ORCID is a scientific infrastructure created to solve the problem of author name ambiguity. Over the years ORCID has also become a useful source for studying academic activities reported by researchers. Our objective in this research was to use ORCID to analyze one of these research activities: the publication of datasets. We illustrate how the identification of datasets that shared in researchers' ORCID profiles enables the study of the characteristics of the researchers who have produced them. To explore the relevance of ORCID to study data sharing practices we obtained all ORCID profiles reporting at least one dataset in their "works" list, together with information related to the individual researchers producing the datasets. The retrieved data was organized and analyzed in a SQL database hosted at CWTS. Our results indicate that DataCite is by far the most important data source for providing information about datasets recorded in ORCID. There is also a substantial overlap between DataCite records with other repositories (Figshare, Dryad, and Zenodo). The analysis of the distribution of researchers producing datasets shows that the top six countries with more data producers, also have a relatively higher percentage of people who have produced datasets out of total researchers with datasets than researchers in the total ORCID. By disciplines, researchers that belong to the areas of Natural Sciences and Medicine and Life Sciences are those with the largest amount of reported datasets. Finally, we observed that researchers who have started their PhD around 2015 published their first dataset earlier that those researchers that started their PhD before. The work concludes with some reflections of the possibilities of ORCID as a relevant source for research on data sharing practices.


title: Reproducibility Companion Paper: Knowledge Enhanced Neural Fashion Trend Forecasting

abstract: This companion paper supports the replication of the fashion trend forecasting experiments with the KERN (Knowledge Enhanced Recurrent Network) method that we presented in the ICMR 2020. We provide an artifact that allows the replication of the experiments using a Python implementation. The artifact is easy to deploy with simple installation, training and evaluation. We reproduce the experiments conducted in the original paper and obtain similar performance as previously reported. The replication results of the experiments support the main claims in the original paper.


title: Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus

abstract: We propose separating the task of reliable transaction dissemination from transaction ordering, to enable high-performance Byzantine fault-tolerant quorum-based consensus. We design and evaluate a mempool protocol, Narwhal, specializing in high-throughput reliable dissemination and storage of causal histories of transactions. Narwhal tolerates an asynchronous network and maintains high performance despite failures. Narwhal is designed to easily scale-out using multiple workers at each validator, and we demonstrate that there is no foreseeable limit to the throughput we can achieve. Composing Narwhal with a partially synchronous consensus protocol (Narwhal-HotStuff) yields significantly better throughput even in the presence of faults or intermittent loss of liveness due to asynchrony. However, loss of liveness can result in higher latency. To achieve overall good performance when faults occur we design Tusk, a zero-message overhead asynchronous consensus protocol, to work with Narwhal. We demonstrate its high performance under a variety of configurations and faults. As a summary of results, on a WAN, Narwhal-Hotstuff achieves over 130,000 tx/sec at less than 2-sec latency compared with 1,800 tx/sec at 1-sec latency for Hotstuff. Additional workers increase throughput linearly to 600,000 tx/sec without any latency increase. Tusk achieves 160,000 tx/sec with about 3 seconds latency. Under faults, both protocols maintain high throughput, but Narwhal-HotStuff suffers from increased latency.


title: Bridging the Gap Between Explainable AI and Uncertainty Quantification to Enhance Trustability

abstract: After the tremendous advances of deep learning and other AI methods, more attention is flowing into other properties of modern approaches, such as interpretability, fairness, etc. combined in frameworks like Responsible AI. Two research directions, namely Explainable AI and Uncertainty Quantification are becoming more and more important, but have been so far never combined and jointly explored. In this paper, I show how both research areas provide potential for combination, why more research should be done in this direction and how this would lead to an increase in trustability in AI systems.


title: Perception of corruption influences entrepreneurship inside established companies

abstract: Based on the Global Entrepreneurship Monitor (GEM) surveys and conducting a panel data estimation to test our hypothesis, this paper examines whether corruption perceptions might sand or grease the wheels for entrepreneurship inside companies or intrapreneurship in a sample of 92 countries for the period 2012 to 2019. Our results find that the corruption perception sands the wheel for intrapreneurship. There is evidence of a quadratic relation, but this relation is only clear for the less developed countries, which sort of moderate the very negative effect of corruption for these countries. The results also confirm that corruption influences differently on intrapreneurship depending on the level of development of the country.


title: Electroweak phase transition in a complex singlet extension of the Standard Model with degenerate scalars

abstract: We study the feasibility of strong first-order electroweak phase transition (EWPT) in a degenerate-scalar scenario of a complex singlet extension of the Standard Model, in which a mass of an additional scalar is nearly degenerate with that of the Higgs boson, 125 GeV. This scenario is known to provide an exquisite solution for circumventing constraints from dark matter direct detection experiments due to cancellations between two scattering amplitudes mediated by two scalars. In the analysis of EWPT, we employ two gauge-invariant calculation schemes on the scalar potential and two familiar resummation methods in evaluating one-loop (gauge dependent) effective potential. We point out that one of the conditions for the strong first-order EWPT is incompatible with the known suppression mechanism of a dark matter cross-section scattering off the nucleons. Nevertheless, we find that strong first-order EWPT is still possible in the degenerate-scalar scenario by dodging dark matter constraints differently.


title: Modelling a multi-spacecraft coronal mass ejection encounter with EUHFORIA

abstract: Coronal mass ejections (CMEs) are a manifestation of the Sun's eruptive nature. They can have a great impact on Earth, but also on human activity in space and on the ground. Therefore, modelling their evolution as they propagate through interplanetary space is essential. EUropean Heliospheric FORecasting Information Asset (EUHFORIA) is a data-driven, physics-based model, tracing the evolution of CMEs through background solar wind conditions. It employs a spheromak flux rope, which provides it with the advantage of reconstructing the internal magnetic field configuration of CMEs. This is something that is not included in the simpler cone CME model used so far for space weather forecasting. This work aims at assessing the spheromak CME model included in EUHFORIA. We employed the spheromak CME model to reconstruct a well observed CME and compare model output to in situ observations. We focus on an eruption from 6 January 2013 encountered by two radially aligned spacecraft, Venus Express and STEREO-A. We first analysed the observed properties of the source of this CME eruption and we extracted the CME properties as it lifted off from the Sun. Using this information, we set up EUHFORIA runs to model the event. The model predicts arrival times from half to a full day ahead of the in situ observed ones, but within errors established from similar studies. In the modelling domain, the CME appears to be propagating primarily southward, which is in accordance with white-light images of the CME eruption close to the Sun. In order to get the observed magnetic field topology, we aimed at selecting a spheromak rotation angle for which the axis of symmetry of the spheromak is perpendicular to the direction of the polarity inversion line (PIL). The modelled magnetic field profiles, their amplitude, arrival times, and sheath region length are all affected by the choice of radius of the modelled spheromak.


title: Estimating Redundancy in Clinical Text

abstract: The current mode of use of Electronic Health Record (EHR) elicits text redundancy. Clinicians often populate new documents by duplicating existing notes, then updating accordingly. Data duplication can lead to a propagation of errors, inconsistencies and misreporting of care. Therefore, quantifying information redundancy can play an essential role in evaluating innovations that operate on clinical narratives. This work is a quantitative examination of information redundancy in EHR notes. We present and evaluate two strategies to measure redundancy: an information-theoretic approach and a lexicosyntactic and semantic model. We evaluate the measures by training large Transformer-based language models using clinical text from a large openly available US-based ICU dataset and a large multi-site UK based Trust. By comparing the information-theoretic content of the trained models with open-domain language models, the language models trained using clinical text have shown ~1.5x to ~3x less efficient than open-domain corpora. Manual evaluation shows a high correlation with lexicosyntactic and semantic redundancy, with averages ~43 to ~65%.


title: Dynamics of a spin qubit in an optical dipole trap

abstract: We present a theoretical investigation of coherent dynamics of a spin qubit encoded in hyperfine sublevels of an alkali-metal atom in a far off-resonant optical dipole trap. The qubit is prepared in the "clock transition" utilizing the Zeeman states with zero projection of the spin angular momentum. We focus on various dephasing processes such as the residual motion of the atom, fluctuations of the trapping field and its incoherent scattering and their effects on the qubit dynamics. We implement the most general fully-quantum treatment of the atomic motion, so our results remain valid in the limit of close-to-ground-state cooling with low number of vibrational excitations. We support our results by comparison with an experiment showing reasonable correspondence with no fitting parameters.


title: Improving THz Coverage for 6G URLLC Services via Exploiting Mobile Computing

abstract: Terahertz (THz) communication (0.1-10 THz) is regarded as a promising technology, which provides rich available bandwidth and high data rate of terahertz bit per second (Tbps). However, THz signals suffer from high path loss, which profoundly decreases the transmission distance. To improve THz coverage, we consider the aid of mobile computing. Specifically, job offloading decision in mobile computing and frequency allocation in communication are co-designed to maximize distance and concurrently support ultra-reliable low-latency communications (URLLC) services for the sixth-generation (6G) mobile communication. Further, the above optimization problem is non-convex, then an effective and low-complexity method is proposed via exploiting the special structure of this problem. Finally, numerical results verify the effectiveness of our work.


title: Excluded volume effects in polymer brushes at moderate chain stretching

abstract: We develop a strong stretching approximation for a polymer brush made of self-avoiding polymer chains. The density profile of the brush and the distribution of the end monomer positions in stretching direction are computed and compared with simulation data. We find that our approach leads to a clearly better approximation as compared to previous approaches based upon Gaussian elasticity at low grafting densities (moderate chain stretching), for which corrections due to finite extensibility can be ignored.


title: A Modulation Front-End for Music Audio Tagging

abstract: Convolutional Neural Networks have been extensively explored in the task of automatic music tagging. The problem can be approached by using either engineered time-frequency features or raw audio as input. Modulation filter bank representations that have been actively researched as a basis for timbre perception have the potential to facilitate the extraction of perceptually salient features. We explore end-to-end learned front-ends for audio representation learning, ModNet and SincModNet, that incorporate a temporal modulation processing block. The structure is effectively analogous to a modulation filter bank, where the FIR filter center frequencies are learned in a data-driven manner. The expectation is that a perceptually motivated filter bank can provide a useful representation for identifying music features. Our experimental results provide a fully visualisable and interpretable front-end temporal modulation decomposition of raw audio. We evaluate the performance of our model against the state-of-the-art of music tagging on the MagnaTagATune dataset. We analyse the impact on performance for particular tags when time-frequency bands are subsampled by the modulation filters at a progressively reduced rate. We demonstrate that modulation filtering provides promising results for music tagging and feature representation, without using extensive musical domain knowledge in the design of this front-end.


title: Anatomy of a new anomaly in non-leptonic B decays

abstract: We discuss the anatomy of the $L_{VV}$ observable designed as a ratio of the longitudinal components of $B_s \to VV$ versus $B_d \to VV$ decays. We focus on the particular case of $B_{d,s} \to K^{*0} {\bar K^{*0}}$ where we find for the SM prediction $L_{K^* \bar{K}^*}=19.5^{+9.3}_{-6.8}$ implying a 2.6$\sigma$ tension with respect to data. The interpretation of this tension in a model independent way identifies two Wilson coefficients ${\cal C}_{4}$ and ${\cal C}_{8g}$ as possible sources. The example of one simplified model including a Kaluza-Klein (KK) gluon is discussed. This KK gluon embedded inside a composite/extra dimensional model combined with a $Z^\prime$ can explain also the $b\to s\ell\ell$ anomalies albeit with a significant amount of fine-tuning.


title: Stationary nonequilibrium bound state of a pair of run and tumble particles

abstract: We study two interacting identical run and tumble particles (RTP's) in one dimension. Each particle is driven by a telegraphic noise, and in some cases, also subjected to a thermal white noise with a corresponding diffusion constant $D$. We are interested in the stationary bound state formed by the two RTP's in the presence of a mutual attractive interaction. The distribution of the relative coordinate $y$ indeed reaches a steady state that we characterize in terms of the solution of a second-order differential equation. We obtain the explicit formula for the stationary probability $P(y)$ of $y$ for two examples of interaction potential $V(y)$. The first one corresponds to $V(y) \sim |y|$. In this case, for $D=0$ we find that $P(y)$ contains a delta function part at $y=0$, signaling a strong clustering effect, together with a smooth exponential component. For $D>0$, the delta function part broadens, leading instead to weak clustering. The second example is the harmonic attraction $V(y) \sim y^2$ in which case, for $D=0$, $P(y)$ is supported on a finite interval. We unveil an interesting relation between this two-RTP model with harmonic attraction and a three-state single RTP model in one dimension, as well as with a four-state single RTP model in two dimensions. We also provide a general discussion of the stationary bound state, including examples where it is not unique, e.g., when the particles cannot cross due to an additional short-range repulsion.


title: DiBS: Differentiable Bayesian Structure Learning

abstract: Bayesian structure learning allows inferring Bayesian network structure from data while reasoning about the epistemic uncertainty -- a key element towards enabling active causal discovery and designing interventions in real world systems. In this work, we propose a general, fully differentiable framework for Bayesian structure learning (DiBS) that operates in the continuous space of a latent probabilistic graph representation. Contrary to existing work, DiBS is agnostic to the form of the local conditional distributions and allows for joint posterior inference of both the graph structure and the conditional distribution parameters. This makes our formulation directly applicable to posterior inference of complex Bayesian network models, e.g., with nonlinear dependencies encoded by neural networks. Using DiBS, we devise an efficient, general purpose variational inference method for approximating distributions over structural models. In evaluations on simulated and real-world data, our method significantly outperforms related approaches to joint posterior inference.


title: How residence permits affect the labor market attachment of foreign workers: Evidence from a migration lottery in Liechtenstein

abstract: We analyze the impact of obtaining a residence permit on foreign workers' labor market and residential attachment. To overcome the usually severe selection issues, we exploit a unique migration lottery that randomly assigns access to otherwise restricted residence permits in Liechtenstein (situated between Austria and Switzerland). Using an instrumental variable approach, our results show that lottery compliers (whose migration behavior complies with the assignment in their first lottery) raise their employment probability in Liechtenstein by on average 24 percentage points across outcome periods (2008 to 2018) as a result of receiving a permit. Relatedly, their activity level and employment duration in Liechtenstein increase by on average 20 percentage points and 1.15 years, respectively, over the outcome window. These substantial and statistically significant effects are mainly driven by individuals not (yet) working in Liechtenstein prior to the lottery rather than by previous cross-border commuters. Moreover, we find both the labor market and residential effects to be persistent even several years after the lottery with no sign of fading out. These results suggest that granting resident permits to foreign workers can be effective to foster labor supply even beyond the effect of cross-border commuting from adjacent regions.


title: The brittle boulders of dwarf planet Ceres

abstract: We mapped all boulders larger than 105 m on the surface of dwarf planet Ceres using images of the Dawn framing camera acquired in the Low Altitude Mapping Orbit (LAMO). We find that boulders on Ceres are more numerous towards high latitudes and have a maximum lifetime of $150 \pm 50$ Ma, based on crater counts. These characteristics are distinctly different from those of boulders on asteroid (4) Vesta, an earlier target of Dawn, which implies that Ceres boulders are mechanically weaker. Clues to their properties can be found in the composition of Ceres' complex crust, which is rich in phyllosilicates and salts. As water ice is though to be present only meters below the surface, we suggest that boulders also harbor ice. Furthermore, the boulder size-frequency distribution is best fit by a Weibull distribution rather than the customary power law, just like for Vesta boulders. This finding is robust in light of possible types of size measurement error.


title: Equality of ultradifferentiable classes by means of indices of mixed O-regular variation

abstract: We characterize the equality between ultradifferentiable function classes defined in terms of abstractly given weight matrices and in terms of the corresponding matrix of associated weight functions by using new growth indices. These indices, defined by means of weight sequences and (associated) weight functions, are extending the notion of O-regular variation to a mixed setting. Hence we are extending the known comparison results concerning classes defined in terms of a single weight sequence and of a single weight function and give also these statements an interpretation expressed in O-regular variation.


title: Fluctuation driven height reduction of crosslinked polymer brushes

abstract: We study the changes in the conformations of brushes upon the addition of crosslinks between the chains using the bond fluctuation model. The Flory-Rehner model applied to uni-axially swollen networks predicts a collapse for large degrees of crosslinking $q$ proportional to $q^{-1/3}$ in disagreement with our simulation data. We show that the height reduction of the brushes is driven by monomer fluctuations in direction perpendicular to the grafting plane and not due to network elasticity. We observe that the impact of crosslinking is different for reactions between monomers of the same or on different chains. If the length reduction of the effective chain length due to both types of reactions is accounted for in a function $\beta(q)$, the height of the brush can be derived from a Flory approach for the equilibrium brush height leading to $H(q)\approx H_{b}\beta(q)^{1/3}$, whereby $H_{b}$ denotes the height of the non-crosslinked brush.


title: CI-dataset and DetDSCI methodology for detecting too small and too large critical infrastructures in satellite images: Airports and electrical substations as case study

abstract: The detection of critical infrastructures in large territories represented by aerial and satellite images is of high importance in several fields such as in security, anomaly detection, land use planning and land use change detection. However, the detection of such infrastructures is complex as they have highly variable shapes and sizes, i.e., some infrastructures, such as electrical substations, are too small while others, such as airports, are too large. Besides, airports can have a surface area either small or too large with completely different shapes, which makes its correct detection challenging. As far as we know, these limitations have not been tackled yet in previous works. This paper presents (1) a smart Critical Infrastructure dataset, named CI-dataset, organised into two scales, small and large scales critical infrastructures and (2) a two-level resolution-independent critical infrastructure detection (DetDSCI) methodology that first determines the spatial resolution of the input image using a classification model, then analyses the image using the appropriate detector for that spatial resolution. The present study targets two representative classes, airports and electrical substations. Our experiments show that DetDSCI methodology achieves up to 37,53% F1 improvement with respect to Faster R-CNN, one of the most influential detection models.


title: An incremental descent method for multi-objective optimization

abstract: Current state-of-the-art multi-objective optimization solvers, by computing gradients of all $m$ objective functions per iteration, produce after $k$ iterations a measure of proximity to critical conditions that is upper-bounded by $O(1/\sqrt{k})$ when the objective functions are assumed to have $L-$Lipschitz continuous gradients; i.e. they require $O(m/\epsilon^2)$ gradient and function computations to produce a measure of proximity to critical conditions bellow some target $\epsilon$. We reduce this to $O(1/\epsilon^2)$ with a method that requires only a constant number of gradient and function computations per iteration; and thus, we obtain for the first time a multi-objective descent-type method with a query complexity cost that is unaffected by increasing values of $m$. For this, a brand new multi-objective descent direction is identified, which we name the \emph{central descent direction}, and, an incremental approach is proposed. Robustness properties of the central descent direction are established, measures of proximity to critical conditions are derived, and, the incremental strategy for finding solutions to the multi-objective problem is shown to attain convergence properties unattained by previous methods. To the best of our knowledge, this is the first method to achieve this with no additional a-priori information on the structure of the problem, such as done by scalarizing techniques, and, with no pre-known information on the regularity of the objective functions other than Lipschitz continuity of the gradients.


title: Tangential finite-size scaling of the Gaussian topological transition in the quantum spin-1 anisotropic chain

abstract: Scaling aspects of Gaussian topological phase-transitions in quantum spin chains are investigated using the prototypical one-dimensional spin-1 XXZ Heisenberg model with uniaxial single-ion anisotropy $D$. This model presents a critical line separating the gaped Haldane and large-$D$ phases, with the relevant energy gap closing at the transition point. We show that a proper tangential finite-size scaling analysis is able to accurately locate the Gaussian critical line and to probe the continuously varying set of correlation length critical exponents. The specific features of the tangential scaling are highlighted in contrast with the standard scaling holding in the Ising-like transition between the gapless AF-N\'eel and gaped Haldane phases. Our results are compared with field-theoretic predictions and available high-accuracy data for specific points along the Gaussian line.