title: Abstract rewriting internalized

abstract: In traditional rewriting theory, one studies a set of terms up to a set of rewriting relations. In algebraic rewriting, one instead studies a vector space of terms, up to a vector space of relations. Strikingly, although both theories are very similar, most results (such as Newman's Lemma) require different proofs in these two settings. In this paper, we develop rewriting theory internally to a category $\mathcal C$ satisfying some mild properties. In this general setting, we define the notions of termination, local confluence and confluence using the notion of reduction strategy, and prove an analogue of Newman's Lemma. In the case of $\mathcal C= \operatorname{Set}$ or $\mathcal C = \operatorname{Vect}$ we recover classical results of abstract and algebraic rewriting in a slightly more general form, closer to von Oostrom's notion of decreasing diagrams.


title: A Breezing Proof of the KMW Bound

abstract: In their seminal paper from 2004, Kuhn, Moscibroda, and Wattenhofer (KMW) proved a hardness result for several fundamental graph problems in the LOCAL model: For any (randomized) algorithm, there are input graphs with $n$ nodes and maximum degree $\Delta$ on which $\Omega(\min\{\sqrt{\log n/\log \log n},\log \Delta/\log \log \Delta\})$ (expected) communication rounds are required to obtain polylogarithmic approximations to a minimum vertex cover, minimum dominating set, or maximum matching. Via reduction, this hardness extends to symmetry breaking tasks like finding maximal independent sets or maximal matchings. Today, more than $15$ years later, there is still no proof of this result that is easy on the reader. Setting out to change this, in this work, we provide a fully self-contained and $\mathit{simple}$ proof of the KMW lower bound. The key argument is algorithmic, and it relies on an invariant that can be readily verified from the generation rules of the lower bound graphs.


title: Explicit Multi-objective Model Predictive Control for Nonlinear Systems Under Uncertainty

abstract: In real-world problems, uncertainties (e.g., errors in the measurement, precision errors) often lead to poor performance of numerical algorithms when not explicitly taken into account. This is also the case for control problems, where optimal solutions can degrade in quality or even become infeasible. Thus, there is the need to design methods that can handle uncertainty. In this work, we consider nonlinear multi-objective optimal control problems with uncertainty on the initial conditions, and in particular their incorporation into a feedback loop via model predictive control (MPC). In multi-objective optimal control, an optimal compromise between multiple conflicting criteria has to be found. For such problems, not much has been reported in terms of uncertainties. To address this problem class, we design an offline/online framework to compute an approximation of efficient control strategies. This approach is closely related to explicit MPC for nonlinear systems, where the potentially expensive optimization problem is solved in an offline phase in order to enable fast solutions in the online phase. In order to reduce the numerical cost of the offline phase, we exploit symmetries in the control problems. Furthermore, in order to ensure optimality of the solutions, we include an additional online optimization step, which is considerably cheaper than the original multi-objective optimization problem. We test our framework on a car maneuvering problem where safety and speed are the objectives. The multi-objective framework allows for online adaptations of the desired objective. Alternatively, an automatic scalarizing procedure yields very efficient feedback controls. Our results show that the method is capable of designing driving strategies that deal better with uncertainties in the initial conditions, which translates into potentially safer and faster driving strategies.


title: Site-dependent levelized cost assessment for fully renewable Power-to-Methane systems

abstract: The generation of synthetic natural gas from renewable electricity enables long-term energy storage and provides clean fuels for transportation. In this article, we analyze fully renewable Power-to-Methane systems using a high-resolution energy system optimization model applied to two regions within Europe. The optimum system layout and operation depend on the availability of natural resources, which vary between locations and years. We find that much more wind than solar power is used, while the use of an intermediate battery electric storage system has little effects. The resulting levelized costs of methane vary between 0.24 and 0.30 Euro/kWh and the economic optimal utilization rate between 63% and 78%. We further discuss how the economic competitiveness of Power-to-Methane systems can be improved by the technical developments and by the use of co-products, such as oxygen and curtailed electricity. A sensitivity analysis reveals that the interest rate has the highest influence on levelized costs, followed by the investment costs for wind and electrolyzer stack.


title: Material and debris transport patterns in Moreton Bay, Australia: The influence of Lagrangian coherent structures

abstract: Coastal tidal estuaries are vital to the exchange of energy and material between inland waters and the open ocean. Debris originating from the land and ocean enter this environment and are transported by currents (river outflow and tide), wind, waves and density gradients. Understanding and predicting the source and fate of such debris has considerable environmental, economic and visual importance. We show that this issue can be addressed using the Lagrangian coherent structures (LCS) technique which is highly robust to hydrodynamic model uncertainties. Here we present a comprehensive study showing the utility of this approach to describe the fate of floating material in a coastal tidal embayment. An example is given from Moreton Bay, a semi-enclosed subtropical embayment with high morphologic, ecological and economic significance to Southeast Queensland, Australia. Transport barriers visualised by the LCS create pathways and barriers for material transport in the embayment. It was found that the wind field modified both the rate attraction and location of the transport barriers. One of the key outcomes is the demonstration of the significant role of islands in partitioning the transport of material and mixing within the embayment. The distribution of the debris sources along the shoreline are explained by the relative location of the LCS to the shoreline. Therefore, extraction of LCS can help to predict sources and fate of anthropogenic marine debris and thus, serve as a useful way for effective management of vulnerable regions and marine protected areas.


title: Approximating Voting Rules from Truncated Ballots

abstract: Classical voting rules assume that ballots are complete preference orders over candidates. However, when the number of candidates is large enough, it is too costly to ask the voters to rank all candidates. We suggest to fix a rank k, to ask all voters to specify their best k candidates, and then to consider "top-k approximations" of rules, which take only into account the top-k candidates of each ballot. We consider two measures of the quality of the approximation: the probability of selecting the same winner as the original rule, and the score ratio. We do a worst-case study (for the latter measure only), and for both measures, an average-case study and a study from real data sets.


title: Miscellaneous photometric variations in cataclysmic variables: V455 And, SS Cyg, AQ Men, LQ Peg, RW Tri and UX UMa

abstract: Cataclysmic variables are among the photometrically most unstable stars in the zoo of stellar objects, exhibiting light variations on all time-scales between millennia and seconds. The literature is full of reports on variable phenomena which often require independent confirmation before they can be accepted as established facts. In this contribution I investigate accounts on miscellaneous variable features observed in six cataclysmic variables, drawing for this purpose largely on archival data, most of which have not been investigated in detail in the past, and complementing these data with some new observations. This enabled to confirm and expand upon some hitherto unconfirmed features in the light curves of these star, as well as the rejection of some others, while in still other cases an unambiguous answer to questions arising from previous papers was not possible.


title: Reaction-diffusion and reaction-subdiffusion equations on arbitrarily evolving domains

abstract: Reaction-diffusion equations are widely used as the governing evolution equations for modeling many physical, chemical, and biological processes. Here we derive reaction-diffusion equations to model transport with reactions on a one-dimensional domain that is evolving. The model equations, which have been derived from generalized continuous time random walks, can incorporate complexities such as subdiffusive transport and inhomogeneous domain stretching and shrinking. A method for constructing analytic expressions for short time moments of the position of the particles is developed and moments calculated from this approach are shown to compare favourably with results from random walk simulations and numerical integration of the reaction transport equation. The results show the important role played by the initial condition. In particular, it strongly affects the time dependence of the moments in the short time regime by introducing additional drift and diffusion terms. We also discuss how our reaction transport equation could be applied to study the spreading of a population on an evolving interface.


title: Dialogue history integration into end-to-end signal-to-concept spoken language understanding systems

abstract: This work investigates the embeddings for representing dialog history in spoken language understanding (SLU) systems. We focus on the scenario when the semantic information is extracted directly from the speech signal by means of a single end-to-end neural network model. We proposed to integrate dialogue history into an end-to-end signal-to-concept SLU system. The dialog history is represented in the form of dialog history embedding vectors (so-called h-vectors) and is provided as an additional information to end-to-end SLU models in order to improve the system performance. Three following types of h-vectors are proposed and experimentally evaluated in this paper: (1) supervised-all embeddings predicting bag-of-concepts expected in the answer of the user from the last dialog system response; (2) supervised-freq embeddings focusing on predicting only a selected set of semantic concept (corresponding to the most frequent errors in our experiments); and (3) unsupervised embeddings. Experiments on the MEDIA corpus for the semantic slot filling task demonstrate that the proposed h-vectors improve the model performance.


title: Robust topological order in fermionic $\mathbb{Z}_2$ gauge theories: from Aharonov-Bohm instability to soliton-induced deconfinement

abstract: Topologically-ordered phases of matter, although stable against local perturbations, are usually restricted to relatively small regions in phase diagrams. Their preparation requires thus a precise fine tunning of the system's parameters, a very challenging task in most experimental setups. In this work, we investigate a model of spinless fermions interacting with dynamical $\mathbb{Z}_2$ gauge fields on a cross-linked ladder, and show evidence of topological order throughout the full parameter space. In particular, we show how a magnetic flux is spontaneously generated through the ladder due to an Aharonov-Bohm instability, giving rise to topological order even in the absence of a plaquette term. Moreover, the latter coexists here with a symmetry-protected topological phase in the matter sector, that displays fractionalised gauge-matter edge states, and intertwines with it by a flux-threading phenomenon. Finally, we unveil the robustness of these features through a gauge frustration mechanism, akin to geometric frustration in spin liquids, allowing topological order to survive to arbitrarily large quantum fluctuations. In particular, we show how, at finite chemical potential, topological solitons are created in the gauge field configuration, which bound to fermions forming $\mathbb{Z}_2$ deconfined quasi-particles. The simplicity of the model makes it an ideal candidate where 2D gauge theory phenomena, as well as exotic topological effects, can be investigated using cold-atom quantum simulators.


title: Extensions of the Art Gallery Theorem

abstract: Several domination results have been obtained for maximal outerplanar graphs (mops). The classical domination problem is to minimize the size of a set $S$ of vertices of an $n$-vertex graph $G$ such that $G - N[S]$, the graph obtained by deleting the closed neighborhood of $S$, contains no vertices. In the proof of the Art Gallery Theorem, Chv\'{a}tal showed that the minimum size, called the domination number of $G$ and denoted by $\gamma(G)$, is at most $n/3$ if $G$ is a mop. Here we consider a modification by allowing $G - N[S]$ to have a maximum degree of at most $k$. Let $\iota_k(G)$ denote the size of a smallest set $S$ for which this is achieved. If $n \le 2k+3$, then trivially $\iota_k(G) \leq 1$. Let $G$ be a mop on $n \ge \max\{5,2k+3\}$ vertices, $n_2$ of which are of degree $2$. Upper bounds on $\iota_k(G)$ have been obtained for $k = 0$ and $k = 1$, namely $\iota_{0}(G) \le \min\{\frac{n}{4},\frac{n+n_2}{5},\frac{n-n_2}{3}\}$ and $\iota_1(G) \le \min\{\frac{n}{5},\frac{n+n_2}{6},\frac{n-n_2}{3}\}$. We prove that $\iota_{k}(G) \le \min\{\frac{n}{k+4},\frac{n+n_2}{k+5},\frac{n-n_2}{k+2}\}$ for any $k \ge 0$. For the original setting of the Art Gallery Theorem, the argument presented yields that if an art gallery has exactly $n$ corners and at least one of every $k + 2$ consecutive corners must be visible to at least one guard, then the number of guards needed is at most $n/(k+4)$. We also prove that $\gamma(G) \le \frac{n - n_2}{2}$ unless $n = 2n_2$, $n_2$ is odd, and $\gamma(G) = \frac{n - n_2 + 1}{2}$. Together with the inequality $\gamma(G) \le \frac{n+n_2}{4}$, obtained by Campos and Wakabayashi and independently by Tokunaga, this improves Chv\'{a}tal's bound. The bounds are sharp.


title: Scalable and Practical Natural Gradient for Large-Scale Deep Learning

abstract: Large-scale distributed training of deep neural networks results in models with worse generalization performance as a result of the increase in the effective mini-batch size. Previous approaches attempt to address this problem by varying the learning rate and batch size over epochs and layers, or ad hoc modifications of batch normalization. We propose Scalable and Practical Natural Gradient Descent (SP-NGD), a principled approach for training models that allows them to attain similar generalization performance to models trained with first-order optimization methods, but with accelerated convergence. Furthermore, SP-NGD scales to large mini-batch sizes with a negligible computational overhead as compared to first-order methods. We evaluated SP-NGD on a benchmark task where highly optimized first-order methods are available as references: training a ResNet-50 model for image classification on ImageNet. We demonstrate convergence to a top-1 validation accuracy of 75.4% in 5.5 minutes using a mini-batch size of 32,768 with 1,024 GPUs, as well as an accuracy of 74.9% with an extremely large mini-batch size of 131,072 in 873 steps of SP-NGD.


title: DNN-Based Distributed Multichannel Mask Estimation for Speech Enhancement in Microphone Arrays

abstract: Multichannel processing is widely used for speech enhancement but several limitations appear when trying to deploy these solutions to the real-world. Distributed sensor arrays that consider several devices with a few microphones is a viable alternative that allows for exploiting the multiple devices equipped with microphones that we are using in our everyday life. In this context, we propose to extend the distributed adaptive node-specific signal estimation approach to a neural networks framework. At each node, a local filtering is performed to send one signal to the other nodes where a mask is estimated by a neural network in order to compute a global multi-channel Wiener filter. In an array of two nodes, we show that this additional signal can be efficiently taken into account to predict the masks and leads to better speech enhancement performances than when the mask estimation relies only on the local signals.


title: On split regular Hom-Leibniz-Rinehart algebras

abstract: In this paper, we introduce the notion of the Hom-Leibniz-Rinehart algebra as an algebraic analogue of Hom-Leibniz algebroid, and prove that such an arbitrary split regular Hom-Leibniz-Rinehart algebra $L$ is of the form $L=U+\sum_\gamma I_\gamma$ with $U$ a subspace of a maximal abelian subalgebra $H$ and any $I_\gamma$, a well described ideal of $L$, satisfying $[I_\gamma, I_\delta]= 0$ if $[\gamma]\neq [\delta]$. In the sequel, we develop techniques of connections of roots and weights for split Hom-Leibniz-Rinehart algebras respectively. Finally, we study the structures of tight split regular Hom-Leibniz-Rinehart algebras.


title: A Prompt Report on the Performance of Intel Optane DC Persistent Memory Module

abstract: In this prompt report, we present the basic performance evaluation of Intel Optane Data Center Persistent Memory Module (Optane DCPMM), which is the first commercially-available, byte-addressable non-volatile memory modules released in April 2019. Since at the moment of writing only a few reports on its performance were published, this letter is intended to complement other performance studies. Through experiments using our own measurement tools, we obtained that the latency of random read-only access was approximately 374 ns. That of random writeback-involving access was 391 ns. The bandwidths of read-only and writeback-involving access for interleaved memory modules were approximately 38 GB/s and 3 GB/s, respectively.


title: A Retrodirective Wireless Power Transfer Scheme for Ambient Backscatter Systems

abstract: One of the key challenges of the Internet of Things (IoT) is to sustainably power the large number of IoT devices in real-time. In this paper, we consider a wireless power transfer (WPT) scenario between an energy transmitter (ET) capable of retrodirective WPT and an energy receiver (ER) capable of ambient backscatter in the presence of an ambient source (AS). The ER requests WPT by backscattering signals from an AS towards the ET, which then retrodirectively beamforms an energy signal towards the ER. To remove the inherent direct-link ambient interference, we propose a scheme of ambient backscatter training. Specifically, the ER varies the reflection coefficient multiple times while backscattering each ambient symbol according to a certain pattern called the training sequence, whose design criterion we also present. To evaluate the system performance, we derive an analytical expression for the average harvested power at the ER. Our numerical results show that with the proposed scheme, the ER harvests tens of $\mu$W of power, without any CSI estimation or active transmission from the ER, which is a significant improvement for low-power and low-cost ambient backscatter devices.


title: Fifth-degree elastic potential for predictive stress-strain relations and elastic instabilities under large strain and complex loading in Si

abstract: Materials under complex loading develop large strains and often transition via an elastic instability, as observed in both simple and complex systems. Here, we present Si I under large strain in terms of Lagrangian strain by an $5^{th}$-order elastic potential found by minimizing error relative to density functional theory (DFT) results. The Cauchy stress-Lagrangian strain curves for arbitrary complex loadings are in excellent correspondence with DFT results, including elastic instability driving Si I$\rightarrow$II phase transformation (PT) and the shear instabilities. PT conditions for Si I$\rightarrow$II under action of cubic axial stresses are linear in Cauchy stresses in agreement with DFT predictions. Such elastic potential permits study of elastic instabilities and orientational dependence leading to different PTs, slip, twinning, or fracture, providing a fundamental basis for continuum simulations of crystal behavior under extreme loading.


title: Hodge and Podge: Hybrid Supervised Sound Event Detection with Multi-Hot MixMatch and Composition Consistence Training

abstract: In this paper, we propose a method called Hodge and Podge for sound event detection. We demonstrate Hodge and Podge on the dataset of Detection and Classification of Acoustic Scenes and Events (DCASE) 2019 Challenge Task 4. This task aims to predict the presence or absence and the onset and offset times of sound events in home environments. Sound event detection is challenging due to the lack of large scale real strongly labeled data. Recently deep semi-supervised learning (SSL) has proven to be effective in modeling with weakly labeled and unlabeled data. This work explores how to extend deep SSL to result in a new, state-of-the-art sound event detection method called Hodge and Podge. With convolutional recurrent neural networks (CRNN) as the backbone network, first, a multi-scale squeeze-excitation mechanism is introduced and added to generate a pyramid squeeze-excitation CRNN. The pyramid squeeze-excitation layer can pay attention to the issue that different sound events have different durations, and to adaptively recalibrate channel-wise spectrogram responses. Further, in order to remedy the lack of real strongly labeled data problem, we propose multi-hot MixMatch and composition consistency training with temporal-frequency augmentation. Our experiments with the public DCASE2019 challenge task 4 validation data resulted in an event-based F-score of 43.4\%, and is about absolutely 1.6\% better than state-of-the-art methods in the challenge. While the F-score of the official baseline is 25.8\%.


title: Matching small $\beta$ functions using centroid jitter and two beam position monitors

abstract: Matching to small beta functions is required to preserve emittance in plasma accelerators. The plasma wake provides strong focusing fields, which typically require beta functions on the mm-scale, comparable to those found in the final focusing of a linear collider. Such beams can be time consuming to experimentally produce and diagnose. We present a simple, fast, and noninvasive method to measure Twiss parameters in a linac using two beam position monitors only, relying on the similarity of the beam phase space and the jitter phase space. By benchmarking against conventional quadrupole scans, the viability of this technique was experimentally demonstrated at the FLASHForward plasma-accelerator facility.


title: Stable recovery of a non-compactly supported coefficient of a Schr\"odinger equation on an infinite waveguide

abstract: We study the stability issue for the inverse problem of determining a coefficient appearing in a Schr\"odinger equation defined on an infinite cylindrical waveguide. More precisely, we prove the stable recovery of some general class of non-compactly and non periodic coefficients appearing in an unbounded cylindrical domain. We consider both results of stability from full and partial boundary measurements associated with the so called Dirichlet-to-Neumann map. To the best of our knowledge, our results are the first results of stable recovery of such class of coefficients for an elliptic equation in an unbounded domain.


title: Inner Attention Supported Adaptive Cooperation for Heterogeneous Multi Robots Teaming based on Multi-agent Reinforcement Learning

abstract: Humans can selectively focus on different information based on different tasks requirements, other people's abilities and availability. Therefore, they can adapt quickly to a completely different and complex environments. If, like people, robot could obtain the same abilities, then it would greatly increase their adaptability to new and unexpected situations. Recent efforts in Heterogeneous Multi Robots Teaming have try to achieve this ability, such as the methods based on communication and multi-modal information fusion strategies. However, these methods will not only suffer from the exponential explosion problem with the increase of robots number but also need huge computational resources. To that end, we introduce an inner attention actor-critic method that replicates aspects of human flexibly cooperation. By bringing attention mechanism on computer vision, natural language process into the realm of multi-robot cooperation, our attention method is able to dynamically select which robots to attend to. In order to test the effectiveness of our proposed method, several simulation experiments have been designed. And the results show that inner attention mechanism can enable flexible cooperation and lower resources consuming in rescuing tasks.


title: Efficient Waveform Covariance Matrix Design and Antenna Selection for MIMO Radar

abstract: Controlling the radar beam-pattern by optimizing the transmit covariance matrix is a well-established approach for performance enhancement in multiple-input-multiple-output (MIMO) radars. In this paper, we investigate the joint optimization of the waveform covariance matrix and the antenna position vector for a MIMO radar system to approximate a given transmit beam-pattern, as well as to minimize the cross-correlation between the probing signals at a number of given target locations. We formulate this design task as a non-convex optimization problem and then propose a cyclic optimization approach to efficiently approximate its solution. We further propose a local binary search algorithm in order to efficiently design the corresponding antenna positions. We show that the proposed method can be extended to the more general case of approximating the given beam-pattern using a minimal number of antennas as well as optimizing their positions. Our numerical investigations demonstrate a great performance both in terms of accuracy and computational complexity, making the proposed framework a good candidate for usage in real-time radar waveform processing applications such as MIMO radar transmit beamforming for aerial drones that are in motion.


title: Successive minima and asymptotic slopes in Arakelov Geometry

abstract: Let $X$ be a normal and geometrically integral projective variety over a global field $K$ and let $\overline{D}$ be an adelic Cartier divisor on $X$. We prove a conjecture of Chen, showing that the essential minimum $\zeta_{\mathrm{ess}}(\overline{D})$ of $\overline{D}$ equals its asymptotic maximal slope under mild positivity assumptions. As an application, we see that $\zeta_{\mathrm{ess}}(\overline{D})$ can be read on the Okounkov body of the underlying divisor $D$ via the Boucksom--Chen concave transform. This gives a new interpretation of Zhang's inequalities on successive minima and a criterion for equality generalizing to arbitrary projective varieties a result of Burgos Gil, Philippon and Sombra concerning toric metrized divisors on toric varieties. When applied to a projective space $X = \mathbb{P}_K^d$, our main result has several applications to the study of successive minima of hermitian vector spaces. We obtain an absolute transference theorem with a linear upper bound, answering a question raised by Gaudron. We also give new comparisons between successive slopes and absolute minima, extending results of Gaudron and R\'emond.


title: Production of axionlike particles in $PbPb$ collisions at the LHC, HE -- LHC and FCC: A phenomenological analysis

abstract: The production of axionlike particles (ALP) in ultraperipheral $PbPb$ collisions (UPHIC) is investigated considering the energies of the next run of the Large Hadron Collider (LHC) and of the future High Energy -- LHC (HE -- LHC) and Future Circular Collider (FCC). Assuming four different combinations for the ALP mass and coupling and the typical exclusivity cuts for central and forward detectors, we estimate the cross section and invariant mass, rapidity, transverse momentum and {acoplanarity} distributions associated to the diphoton final state produced in the $\gamma \gamma \rightarrow a \rightarrow \gamma \gamma$ subprocesses. A detailed analysis of the backgrounds is performed. We demonstrate that the backgrounds can be strongly reduced by the exclusivity cuts and that a forward detector, as the LHCb, is ideal to probe an ALP with small mass. Finally, our results indicate that a future experimental analysis of the diphoton final state in UPHIC can probe the existence and properties of axionlike particles.


title: Constrained Dominant sets and Its applications in computer vision

abstract: In this thesis, we present new schemes which leverage a constrained clustering method to solve several computer vision tasks ranging from image retrieval, image segmentation and co-segmentation, to person re-identification. In the last decades clustering methods have played a vital role in computer vision applications; herein, we focus on the extension, reformulation, and integration of a well-known graph and game theoretic clustering method known as Dominant Sets. Thus, we have demonstrated the validity of the proposed methods with extensive experiments which are conducted on several benchmark datasets.


title: Explicit Serre weights for two-dimensional Galois representations over a ramified base

abstract: Given a totally real number field $F$ and a mod $p$ Galois representation $\rho\colon G_F\to \mathrm{GL}_2(\bar{\mathbf{F}}_p)$, we propose an explicit definition of the set of Serre weights $W(\rho)$ attached to $\rho$. We prove that our explicit definition is equivalent to previous definitions available in the literature. As a consequence we obtain an explicit Serre's modularity conjecture for Hilbert modular forms over totally real number fields. Our work generalises previous work of Demb\'{e}l\'{e}--Diamond--Roberts and Calegari--Emerton--Gee--Mavrides which together give explicit and equivalent sets of weights when $p$ is unramified in $F$.


title: Translational-invariant bipolarons and superconductivity

abstract: A translation-invariant (TI) bipolaron theory of superconductivity based, like Bardeen-Cooper-Schrieffer theory, on Fr\"ohlich Hamiltonian is presented. Here the role of Cooper pairs belongs to TI bipolarons which are pairs of spatially delocalized electrons whose correlation length of a coupled state is small. The presence of Fermi surface leads to stabilization of such states in its vicinity and a possibility of their Bose-Einstein condensation (BEC). The theory provides a natural explanation of the existence of a pseudogap phase preceding the superconductivity and enables one to estimate the temperature of a transition $T^*$ from a normal state to a pseudogap one. It is shown that the temperature of BEC of TI bipolarons determines the temperature of a superconducting transition $T_c$ which depends not on the bipolaron effective mass but on the ordinary mass of a band electron. This removes restrictions on the upper limit of $T_c$ for a strong electron-phonon interaction. A natural explanation is provided for the angular dependence of the superconducting gap which is determined by the angular dependence of the phonon spectrum. It is demonstrated that a lot of experiments on thermodynamic and transport characteristics, Josephson tunneling and angle-resolved photoemission spectroscopy (ARPES) of high-temperature superconductors does not contradict the concept of a TI bipolaron mechanism of superconductivity in these materials. Possible ways of enhancing $T_c$ and producing new room-temperature superconductors are discussed on the basis of the theory suggested.


title: The important consequences of the reversible heat production in nerves and the adiabaticity of the action potential

abstract: It has long been known that there is no measurable heat production associated with the nerve pulse. Rather, one finds that heat production is biphasic, and a heat release during the first phase of the action potential is followed by the reabsorption of a similar amount of heat during the second phase. We review the long history the measurement of heat production in nerves and provide a new analysis of these findings focusing on the thermodynamics of adiabatic and isentropic processes. We begin by considering adiabatic oscillations in gases, waves in layers, oscillations of springs and the reversible (or irreversible) charging and discharging of capacitors. We then apply these ideas to the heat signature of nerve pulses. Finally, we compare the temperature changes expected from the Hodgkin-Huxley model and the soliton theory for nerves. We demonstrate that heat production in nerves cannot be explained as an irreversible charging and discharging of a membrane capacitor as it is proposed in the Hodgkin-Huxley model. Instead, we conclude that it is consistent with an adiabatic pulse. However, if the nerve pulse is adiabatic, completely different physics is required to explain its features. Membrane processes must then be reversible and resemble the oscillation of springs more than resembling "a burning fuse of gunpowder" (quote A. L. Hodgkin). Theories acknowledging the adiabatic nature of the nerve pulse have recently been discussed by various authors. It forms the central core of the soliton model, which considers the nerve pulse as a localized sound pulse.


title: Understanding the effects of dichotomization of continuous outcomes on geostatistical inference

abstract: Diagnosis is often based on the exceedance or not of continuous health indicators of a predefined cut-off value, so as to classify patients into positives and negatives for the disease under investigation. In this paper, we investigate the effects of dichotomization of spatially-referenced continuous outcome variables on geostatistical inference. Although this issue has been extensively studied in other fields, dichotomization is still a common practice in epidemiological studies. Furthermore, the effects of this practice in the context of prevalence mapping have not been fully understood. Here, we demonstrate how spatial correlation affects the loss of information due to dichotomization, how linear geostatistical models can be used to map disease prevalence and thus avoid dichotomization, and finally, how dichotomization affects our predictive inference on prevalence. To pursue these objectives, we develop a metric, based on the composite likelihood, which can be used to quantify the potential loss of information after dichotomization without requiring the fitting of Binomial geostatistical models. Through a simulation study and two applications on disease mapping in Africa, we show that, as thresholds used for dichotomization move further away from the mean of the underlying process, the performance of binomial geostatistical models deteriorates substantially. We also find that dichotomization can lead to the loss of fine scale features of disease prevalence and increased uncertainty in the parameter estimates, especially in the presence of a large noise to signal ratio. These findings strongly support the conclusions from previous studies that dichotomization should be always avoided whenever feasible.


title: Deep Speaker Embeddings for Far-Field Speaker Recognition on Short Utterances

abstract: Speaker recognition systems based on deep speaker embeddings have achieved significant performance in controlled conditions according to the results obtained for early NIST SRE (Speaker Recognition Evaluation) datasets. From the practical point of view, taking into account the increased interest in virtual assistants (such as Amazon Alexa, Google Home, AppleSiri, etc.), speaker verification on short utterances in uncontrolled noisy environment conditions is one of the most challenging and highly demanded tasks. This paper presents approaches aimed to achieve two goals: a) improve the quality of far-field speaker verification systems in the presence of environmental noise, reverberation and b) reduce the system qualitydegradation for short utterances. For these purposes, we considered deep neural network architectures based on TDNN (TimeDelay Neural Network) and ResNet (Residual Neural Network) blocks. We experimented with state-of-the-art embedding extractors and their training procedures. Obtained results confirm that ResNet architectures outperform the standard x-vector approach in terms of speaker verification quality for both long-duration and short-duration utterances. We also investigate the impact of speech activity detector, different scoring models, adaptation and score normalization techniques. The experimental results are presented for publicly available data and verification protocols for the VoxCeleb1, VoxCeleb2, and VOiCES datasets.


title: Sensitivity to invisible Higgs boson decays at CLIC

abstract: We studied the possibility of measuring invisible Higgs boson decays at CLIC running at 380 GeV and 1.5 TeV. The analysis is based on the WHIZARD event generation and fast simulation of the CLIC detector response with DELPHES. We considered $e^+e^-$ background processes but also relevant $\gamma\gamma$ and $\gamma e^\pm$ interactions. The approach consisting of a two step analysis was used to optimize separation between signal and background processes. First, a set of preselection cuts was applied; then, multivariate analysis methods were employed to optimise the significance of observations. We estimated the expected limits on the invisible decays of the 125 GeV Higgs boson, as well as the cross section limits for production of an additional neutral Higgs-like scalar, assuming its invisible decays, as a function of its mass. Extracted model-independent branching ratio and cross section limits were then interpreted in the framework of the vector-fermion dark matter model to set limits on the mixing angle between the SM-like Higss boson and the new scalar of the "dark sector".


title: Polarimetric observation of noise of linear birefringence of cesium atomic vapors spectrally localized at double Larmor frequency in a magnetic field

abstract: We study radio-frequency spectrum of ellipticity noise of a probe laser beam transmitted through a cell with cesium vapor in a magnetic field. The experimental results are interpreted in terms of the model proposed by Gorbovitskii and Perel (Opt. Spektrosc. 54, 388 (1983)) according to which the observed noise arises due to heterodyning of the light scattered by fluctuations of the tensor $ \alpha $ of optical susceptibility of cesium vapor. We show, both experimentally and theoretically, that, in the noise measurements if this kind, along with fluctuations of the antisymmetric (gyrotropic) part of the tensor $ \alpha $ at the Larmor frequency, may be observed fluctuations of its symmetric part, corresponding to fluctuations of linear birefringence (alignment) of the atomic system. The polarization noise provided by these fluctuations is localized spectrally at the double Larmor frequency.


title: A comparison of different types of Niching Genetic Algorithms for variable selection in solar radiation estimation

abstract: Variable selection problems generally present more than a single solution and, sometimes, it is worth to find as many solutions as possible. The use of Evolutionary Algorithms applied to this kind of problem proves to be one of the best methods to find optimal solutions. Moreover, there are variants designed to find all or almost all local optima, known as Niching Genetic Algorithms (NGA). There are several different NGA methods developed in order to achieve this task. The present work compares the behavior of eight different niching techniques, applied to a climatic database of four weather stations distributed in Tucuman, Argentina. The goal is to find different sets of input variables that have been used as the input variable by the estimation method. Final results were evaluated based on low estimation error and low dispersion error, as well as a high number of different results and low computational time. A second experiment was carried out to study the capability of the method to identify critical variables. The best results were obtained with Deterministic Crowding. In contrast, Steady State Worst Among Most Similar and Probabilistic Crowding showed good results but longer processing times and less ability to determine the critical factors.


title: A Simple 1-1/e Approximation for Oblivious Bipartite Matching

abstract: We study the oblivious matching problem, which aims at finding a maximum matching on a graph with unknown edge set. Any algorithm for the problem specifies an ordering of the vertex pairs. The matching is then produced by probing the pairs following the ordering, and including a pair if both of them are unmatched and there exists an edge between them. The unweighted (Chan et al. (SICOMP 2018)) and the vertex-weighted (Chan et al. (TALG 2018)) versions of the problem are well studied. In this paper, we consider the edge-weighted oblivious matching problem on bipartite graphs, which generalizes the stochastic bipartite matching problem. Very recently, Gamlath et al. (SODA 2019) studied the stochastic bipartite matching problem, and proposed an (1-1/e)-approximate algorithm. We give a very simple algorithm adapted from the Ranking algorithm by Karp et al. (STOC 1990), and show that it achieves the same (1-1/e) approximation ratio for the oblivious matching problem on bipartite graph.


title: Never Give Up: Learning Directed Exploration Strategies

abstract: We propose a reinforcement learning agent to solve hard exploration games by learning a range of directed exploratory policies. We construct an episodic memory-based intrinsic reward using k-nearest neighbors over the agent's recent experience to train the directed exploratory policies, thereby encouraging the agent to repeatedly revisit all states in its environment. A self-supervised inverse dynamics model is used to train the embeddings of the nearest neighbour lookup, biasing the novelty signal towards what the agent can control. We employ the framework of Universal Value Function Approximators (UVFA) to simultaneously learn many directed exploration policies with the same neural network, with different trade-offs between exploration and exploitation. By using the same neural network for different degrees of exploration/exploitation, transfer is demonstrated from predominantly exploratory policies yielding effective exploitative policies. The proposed method can be incorporated to run with modern distributed RL agents that collect large amounts of experience from many actors running in parallel on separate environment instances. Our method doubles the performance of the base agent in all hard exploration in the Atari-57 suite while maintaining a very high score across the remaining games, obtaining a median human normalised score of 1344.0%. Notably, the proposed method is the first algorithm to achieve non-zero rewards (with a mean score of 8,400) in the game of Pitfall! without using demonstrations or hand-crafted features.


title: Benchmarking Knowledge Graphs on the Web

abstract: The growing interest in making use of Knowledge Graphs for developing explainable artificial intelligence, there is an increasing need for a comparable and repeatable comparison of the performance of Knowledge Graph-based systems. History in computer science has shown that a main driver to scientific advances, and in fact a core element of the scientific method as a whole, is the provision of benchmarks to make progress measurable. This paper gives an overview of benchmarks used to evaluate systems that process Knowledge Graphs.


title: Constructions of quantum MDS codes

abstract: Let $\mathbb{F}_q$ be a finite field with $q=p^{e}$ elements, where $p$ is a prime number and $e \geq 1$ is an integer. In this paper, by means of generalized Reed-Solomon (GRS) codes, we construct two new classes of quantum maximum-distance-separable ( quantum MDS) codes with parameters $$[[q + 1, 2k-q-1, q-k+2]]_q$$ for $\lceil\frac{q+2}{2}\rceil \leq k\leq q+1$, and $$[[n,2k-n,n-k+1]]_q$$ for $n\leq q $ and $ \lceil\frac{n}{2}\rceil \leq k\leq n$. Our constructions improve and generalize some results of available in the literature. Moreover, we give an affirmative answer to the open problem proposed by Fang et al. in \cite{Fang1}.


title: A general theory of identification

abstract: What does it mean to say that a quantity is identifiable from the data? Statisticians seem to agree on a definition in the context of parametric statistical models --- roughly, a parameter $\theta$ in a model $\mathcal{P} = \{P_\theta: \theta \in \Theta\}$ is identifiable if the mapping $\theta \mapsto P_\theta$ is injective. This definition raises important questions: Are parameters the only quantities that can be identified? Is the concept of identification meaningful outside of parametric statistics? Does it even require the notion of a statistical model? Partial and idiosyncratic answers to these questions have been discussed in econometrics, biological modeling, and in some subfields of statistics like causal inference. This paper proposes a unifying theory of identification that incorporates existing definitions for parametric and nonparametric models and formalizes the process of identification analysis. The applicability of this framework is illustrated through a series of examples and two extended case studies.


title: Simplified Vehicle-Bridge Interaction for Medium to Long-span Bridges Subject to Random Traffic Load

abstract: This study introduces a simplified model for bridge-vehicle interaction for medium- to long-span bridges subject to random traffic loads. Previous studies have focused on calculating the exact response of the vehicle or the bridge based on an interaction force derived from the compatibility between two systems. This process requires multiple iterations per time step per vehicle until the compatibility is reached. When a network of vehicles is considered, the compatibility equation turns to a system of coupled equations which dramatically increases the complexity of the convergence process. In this study, we simplify the problem into two sub-problems that are decoupled: (a) a bridge subject to random Gaussian excitation, and (b) individual sensing agents that are subject to a linear superposition of the bridge response and the road profile roughness. The study provides sufficient evidence to confirm the simulation approach is valid with a minimal error when the bridge span is medium to long, and the spatio-temporal load pattern can be modeled as random Gaussian. Quantitatively, the proposed approach is over 1,000 times more computationally efficient when compared to the conventional approach for a 500 m long bridge, with response prediction errors below $0.1\%$.


title: Estimating Gradients for Discrete Random Variables by Sampling without Replacement

abstract: We derive an unbiased estimator for expectations over discrete random variables based on sampling without replacement, which reduces variance as it avoids duplicate samples. We show that our estimator can be derived as the Rao-Blackwellization of three different estimators. Combining our estimator with REINFORCE, we obtain a policy gradient estimator and we reduce its variance using a built-in control variate which is obtained without additional model evaluations. The resulting estimator is closely related to other gradient estimators. Experiments with a toy problem, a categorical Variational Auto-Encoder and a structured prediction problem show that our estimator is the only estimator that is consistently among the best estimators in both high and low entropy settings.


title: Is there an early Universe solution to Hubble tension?

abstract: We consider a low redshift $(z<0.7)$ cosmological dataset comprising megamasers, cosmic chronometers, type Ia SNe and BAO, which we bin according to their redshift. For each bin, we read the value of $H_0$ by fitting directly to the flat $\Lambda$CDM model. Doing so, we find that $H_0$ descends with redshift, allowing one to fit a line with a \textit{non-zero} slope of statistical significance $2.1 \, \sigma$. Our analysis rests on the use of cosmic chronometers to break a degeneracy in BAO data and it will be imperative to revisit this feature as data improves. Nevertheless, our results provide the first independent indication of the descending trend reported by the H0LiCOW collaboration. If substantiated going forward, early Universe solutions to the Hubble tension will struggle explaining this trend.


title: No nitrogen fractionation on 600 au scale in the Sun progenitor analogue OMC-2 FIR4

abstract: We show the first interferometric maps of the 14N/15N ratio obtained with the Atacama Large Millimeter Array (ALMA) towards the Solar-like forming protocluster OMC-2 FIR4. We observed N2H+, 15NNH+, N15NH+ (1-0), and N2D+ (2-1), from which we derive the isotopic ratios 14N/15N and D/H. The target is one of the closest analogues of the environment in which our Sun may have formed. The ALMA images, having synthesised beam corresponding to ~600 au, show that the emission of the less abundant isotopologues is distributed in several cores of ~10" (i.e. ~0.02~pc or 4000 au) embedded in a more extended N2H+ emission. Overall, our results indicate that: (1) 14N/15N does not change across the region at core scales, and (2) 14N/15N does not depend on temperature variations. Our findings also suggest that the 14N/15N variations found in pristine Solar System objects are likely not inherited from the protocluster stage, and hence their reason has to be found elsewhere.


title: Multi-channel scattering mechanism behind the re-entrant conductance feature in nanowires subject to strong spin-orbit coupling

abstract: The characterization of helical states can be performed by checking the existence of the re-entrant behaviour, which appears as a dip in the conductance probed in nanowires (NWs) with strong spin-orbit coupling (SOC) and under perpendicular magnetic field. On the other hand, the experiment described in Ref. 1 observed the re-entrant behaviour in the absence of a magnetic field, which was explained through spin-flipping two-particle backscattering. We theoretically show that the observation of the re-entrant behaviour is due to a multi-channel scattering mechanism, which causes a reduction of the transmission when an effective attractive potential and coupling between different channels are present. Both ingredients are provided by the SOC in the transport properties of NWs.


title: Flexible Coinduction in Agda

abstract: Theorem provers are tools that help users to write machine readable proofs. Some of this tools are also interactive. The need of such softwares is increasing since they provide proofs that are more certified than the hand written ones. Agda is based on type theory and on the propositions-as-types correspondence and has a Haskell-like syntax. This means that a proof of a statement is turned into a function. Inference systems are a way of defining inductive and coinductive predicates and induction and coinduction principles are provided to help proving their correctness with respect to a given specification in terms of soundness and completeness. Generalized inference systems deal with predicates whose inductive and coinductive interpretations do not provide the expected set of judgments. In this case inference systems are enriched by corules that are rules that can be applied at infinite depth in a proof tree. Induction and coinduction principles cannot be used in case of generalized inference systems and the bounded coinduction one has been proposed. We first present how Agda supports inductive and coinductive types highlighting the fact that data structures and predicates are defined using the same constructs. Then we move to the main topic of this thesis, which is investigating how generalized inference systems can be implemented and how their correctness can be proved.


title: AutoLR: Layer-wise Pruning and Auto-tuning of Learning Rates in Fine-tuning of Deep Networks

abstract: Existing fine-tuning methods use a single learning rate over all layers. In this paper, first, we discuss that trends of layer-wise weight variations by fine-tuning using a single learning rate do not match the well-known notion that lower-level layers extract general features and higher-level layers extract specific features. Based on our discussion, we propose an algorithm that improves fine-tuning performance and reduces network complexity through layer-wise pruning and auto-tuning of layer-wise learning rates. The proposed algorithm has verified the effectiveness by achieving state-of-the-art performance on the image retrieval benchmark datasets (CUB-200, Cars-196, Stanford online product, and Inshop). Code is available at https://github.com/youngminPIL/AutoLR.


title: An Adaptive X-vector Model for Text-independent Speaker Verification

abstract: In this paper, adaptive mechanisms are applied in deep neural network (DNN) training for x-vector-based text-independent speaker verification. First, adaptive convolutional neural networks (ACNNs) are employed in frame-level embedding layers, where the parameters of the convolution filters are adjusted based on the input features. Compared with conventional CNNs, ACNNs have more flexibility in capturing speaker information. Moreover, we replace conventional batch normalization (BN) with adaptive batch normalization (ABN). By dynamically generating the scaling and shifting parameters in BN, ABN adapts models to the acoustic variability arising from various factors such as channel and environmental noises. Finally, we incorporate these two methods to further improve performance. Experiments are carried out on the speaker in the wild (SITW) and VOiCES databases. The results demonstrate that the proposed methods significantly outperform the original x-vector approach.


title: Simulation results on a real-time in water tritium monitor

abstract: In this work we present simulation results for a modular tritium in-water real-time monitor. The system allows for scalability in order to achieve the required sensitivity. The modules are composed by 340 uncladed scintillating fibers immersed in water and 2 photosensors for light readout. Light yield and Birks' coefficient uncertainties for low energy beta particles is discussed. A study of the detection efficiency according to the fiber length is presented. Discussion on the system requirements and background mitigation for a device with sensitivity of 100\,Bq/L, required to comply with the European directive 2013/51/Euratom, is presented. Due to the low energetic beta emission from tritium a detection efficiency close to 3.3\% was calculated for a single 2\,mm round fiber.


title: Sums of Commutators in Free Probability

abstract: We study the linear span of commutators of free random variables and show that these are the only quadratic forms which satisfy the following equivalent properties: * preservation free infinite divisibility * free and strong cancellation of odd cumulants * symmetric distribution for any free family. The main combinatorial tool is an involution on non-crossing partitions.


title: The Trace Method for Cotangent Sums

abstract: This paper presents a combinatorial study of sums of integer powers of the cotangent which is a popular theme in classical calculus. Our main tool the realization of cotangent values as eigenvalues of a simple self-adjoint matrix with integer matrix. We use the trace method to draw conclusions about integer values of the sums and expand generating functions to obtain explicit evaluations. It is remarkable that throughout the calculations the combinatorics are governed by the higher tangent and arctangent numbers exclusively. Finally we indicate a new approximation of the values of the Riemann zeta function at even integer arguments.


title: Exploring Chemical Space using Natural Language Processing Methodologies for Drug Discovery

abstract: Text-based representations of chemicals and proteins can be thought of as unstructured languages codified by humans to describe domain-specific knowledge. Advances in natural language processing (NLP) methodologies in the processing of spoken languages accelerated the application of NLP to elucidate hidden knowledge in textual representations of these biochemical entities and then use it to construct models to predict molecular properties or to design novel molecules. This review outlines the impact made by these advances on drug discovery and aims to further the dialogue between medicinal chemists and computer scientists.


title: On the asymptotic behavior of solutions to time-fractional elliptic equations driven a multiplicative white noise

abstract: This paper devoted to study of fractional elliptic equations driven a multiplicative noise. By combining the eigenfunction expansion method for symmetry elliptic operators, the variation of constant formula for strong solutions to scalar stochastic fractional differential equations, Ito's formula and establishing a new weighted norm associated with a Lyapunov-Perron operator defined from this representation of solutions, we show the asymptotic behaviour of solutions to these systems in mean square sense. As a consequence, we also prove existence, uniqueness and the convergence rate of their solutions.


title: 2-Dimensional Categories

abstract: This book is an introduction to 2-categories and bicategories, assuming only the most elementary aspects of category theory. A review of basic category theory is followed by a systematic discussion of 2-/bicategories, pasting diagrams, lax functors, 2-/bilimits, the Duskin nerve, 2-nerve, adjunctions and monads in bicategories, 2-monads, biequivalences, the Bicategorical Yoneda Lemma, and the Coherence Theorem for bicategories. Grothendieck fibrations and the Grothendieck construction are discussed next, followed by tricategories, monoidal bicategories, the Gray tensor product, and double categories. Completely detailed proofs of several fundamental but hard-to-find results are presented for the first time. With exercises and plenty of motivation and explanation, this book is useful for both beginners and experts.


title: Aerosol invigoration of atmospheric convection through increases in humidity

abstract: Cloud-aerosol interactions remain a major obstacle to understanding climate and severe weather. Observations suggest that aerosols enhance tropical thunderstorm activity; past research, motivated by the importance of understanding aerosol impacts on clouds, has proposed several mechanisms that could explain that observed link. Here, we show that high-resolution atmospheric simulations can reproduce the observed link between aerosols and convection. However, we also show that previously proposed mechanisms are unable to explain the invigoration. Examining underlying processes reveals that, in our simulations, high aerosol concentrations increase environmental humidity by producing clouds that mix more condensed water into the surrounding air. In turn, higher humidity favors large-scale ascent and stronger convection. Our results provide a physical reason to expect invigorated thunderstorms in high-aerosol regions of the tropics.


title: A qualitative study of an anaerobic food-web reveals the importance of hydrogen for microbial stability

abstract: The mathematical analysis of a three-tiered food-web describing anaerobic chlorophenol mineralisation has suggested the emergence of interesting dynamical behaviour through its specific ecological interactions, which include competition, syntrophy and product inhibition. Previous numerical analyses have revealed the possibility for a Hopf bifurcation occurring through the interior equilibrium and the role of extraneous substrate inputs in both mitigating the emergence of periodic solutions and expanding the desired stable positive steady-state, where full mineralisation occurs. Here we show that, for a generalised model, the inflow of multiple substrates results in greater dynamical complexity and prove the occurrence of a supercritical Hopf bifurcation resulting from variations in these operating parameters. Further, using numerical estimation, we also show that variations in the dilution rate can lead to Bogdanov-Takens and Bautin bifurcations. Finally, we are able to show apply persistence theory for a range of parameter sets to demonstrate unique persistence in the cases where chlorophenol and hydrogen are extraneously added to the system, mirroring recent applied studies highlighting the role of hydrogen in maintaining stable anaerobic microbial communities.


title: Clustering structure effect on Hanbury-Brown-Twiss correlation in $^{12}$C + $^{197}$Au collisions at 200 GeV}

abstract: Through $^{12}$C + $^{197}$Au collisions at $\sqrt{s_{NN}} =$ 200 GeV using a multiphase transport (AMPT) model, the azimuthal angle dependences of the Hanbury Brown-Twiss (HBT) radii relative to the second- and third-order participant plane from $\pi$-$\pi$ correlations are discussed. Three initial geometric configurations of $^{12}$C, namely three-$\alpha$-cluster triangle, three-$\alpha$-cluster chain and Woods-Saxon distribution of nucleons, are taken into account, and their effects on the correlations are investigated. The ratio of the third- to the second-order HBT radii $R_{o(s),3}^2/R_{o(s),2}^2$ is shown to be a clear probe for three configurations. In addition, this work presents the hadronic rescattering time evolution of the azimuthally dependent HBT radii. From the present study, one can learn that the HBT correlation from identical particles at freeze-out is able to provide the information of different initial configurations as collective flow proposed before.


title: Spherically symmetric and static solutions in $f(R)$ gravity coupled with EM fields

abstract: Solutions of field equations in $f(R)$ gravity are found for a spherically symmetric and static spacetime in the Born-Infeld (BI) non-linear electrodynamics. It is found that the models supported in this configuration must have the parametric form $f'(R)|_{r}=m+n r$, with $m,n$ constants, whose value and sign have a strong impact on the solutions, as well as in the form and range of $f(R)$. When $n=0$, $f(R)=m R+m_0$ and the Einstein-BI solution is found. When $m\neq 0$ and $n\neq0$, $f(R)$ is asymptotically equivalent to GR and the Schwarzschild and $f(R)$-Reissner-Nordstr\"om solutions are written in some limits, likewise if $n>0$ and $r\gg1$, $f(R)$ can be found as a series approximation and as a particular case, when $R_S=-\frac{m^2}{3n}$, explicitly $f(R)=m R+2n\sqrt{R}+m_0$. Finally, the solutions, scalar curvature and parametric function $f(r)$ in the non-linear ($m=0$) regime of $f(R)$ are found, and some models for specific values of $m$ and $n$ are plotted.


title: Causality in cognitive neuroscience: concepts, challenges, and distributional robustness

abstract: While probabilistic models describe the dependence structure between observed variables, causal models go one step further: they predict, for example, how cognitive functions are affected by external interventions that perturb neuronal activity. In this review and perspective article, we introduce the concept of causality in the context of cognitive neuroscience and review existing methods for inferring causal relationships from data. Causal inference is an ambitious task that is particularly challenging in cognitive neuroscience. We discuss two difficulties in more detail: the scarcity of interventional data and the challenge of finding the right variables. We argue for distributional robustness as a guiding principle to tackle these problems. Robustness (or invariance) is a fundamental principle underlying causal methodology. A causal model of a target variable generalises across environments or subjects as long as these environments leave the causal mechanisms intact. Consequently, if a candidate model does not generalise, then either it does not consist of the target variable's causes or the underlying variables do not represent the correct granularity of the problem. In this sense, assessing generalisability may be useful when defining relevant variables and can be used to partially compensate for the lack of interventional data.


title: Robustness of principal component analysis on harmonic flow in heavy ion collisions

abstract: The principal component analysis (PCA), a mathematical tool commonly used in statistics, has recently been employed to interpret the $p_T$-dependent fluctuations of harmonic flow $v_n$ in terms of leading and subleading flow modes in heavy ion collisions. Using simulated data from AMPT and HIJING models, we show that the PCA modes are not fixed, but depend on the choice of the particle weight and the $p_T$ range. Furthermore, the shape of the leading mode is affected by the presence of non-flow correlations, and fake subleading mode may arise from the mixing of non-flow correlations with leading flow mode with a magnitude that could be larger than the genuine subleading flow mode. Therefore, the meaning of PCA modes and their relations to physical leading and subleading flow modes associated initial state eccentricities need to be further clarified/validated in realistic model simulations.


title: Two-channel anomalous Hall effect in SrRuO3

abstract: The Hall effect in SrRuO$_3$ thin-films near the thickness limit for ferromagnetism shows an extra peak in addition to the ordinary and anomalous Hall effects. This extra peak has been attributed to a topological Hall effect due to two-dimensional skyrmions in the film around the coercive field; however, the sign of the anomalous Hall effect in SrRuO$_3$ can change as a function of saturation magnetization. Here we report Hall peaks in SrRuO$_3$ in which volumetric magnetometry measurements and magnetic force microscopy indicate that the peaks result from the superposition of two anomalous Hall channels with opposite sign. These channels likely form due to thickness variations in SrRuO$_3$, creating two spatially separated magnetic regions with different saturation magnetizations and coercive fields. The results are central to the development of strongly correlated materials for spintronics.


title: Robust Reinforcement Learning via Adversarial training with Langevin Dynamics

abstract: We introduce a sampling perspective to tackle the challenging task of training robust Reinforcement Learning (RL) agents. Leveraging the powerful Stochastic Gradient Langevin Dynamics, we present a novel, scalable two-player RL algorithm, which is a sampling variant of the two-player policy gradient method. Our algorithm consistently outperforms existing baselines, in terms of generalization across different training and testing conditions, on several MuJoCo environments. Our experiments also show that, even for objective functions that entirely ignore potential environmental shifts, our sampling approach remains highly robust in comparison to standard RL algorithms.


title: Lifting Grains by the Transient Low Pressure in a Martian Dust Devil

abstract: Lifting dust and sand into the thin Martian atmosphere is a challenging problem. Atmospheric pressure excursions within dust devils have been proposed to support lifting. We verify this idea in laboratory experiments. Pressure differences up to a few Pa are applied along particle layers of 50 to 400 $\rm \mu m$. As samples we used glass beads of $\sim$50 $\rm \mu m$ diameter and irregular basalt grains of $\sim$20 $\rm \mu m$ in size. The total ambient pressure of air was set to 600 Pa. Particles are ejected at pressure differences as low as 2.0 $\rm \pm$ 0.8 Pa. In the case of glass beads, the ejected grains returning to the particle bed can trigger new particle ejections as they reduce cohesion and release the tension from other grains. Therefore, few impacting grains might be sufficient to sustain dust lifting in a dust devil at even lower pressure differences. Particle lift requires a very thin, $\sim$100 $\rm \mu m$, low permeability particle layer on top of supporting ground with larger pore space. Assuming this, our experiments support the idea that pressure excursions in Martian dust devils release grains from the ground.


title: Dispersive optical model description of nucleon scattering on Pb-Bi isotopes

abstract: A recently derived dispersive optical model potential (DOMP) for $^{208}$Pb is extended to consider the non-locality in the real potential and the shell-gap in the definition of the nuclear imaginary potentials near the Fermi energy. The modified DOMP improves the simultaneous description of nucleon scattering on $^{208}$Pb and of the $^{208}$Pb particle-hole bound states. The new potential is shown to give a very good description of nucleon scattering data on near-magic targets $^{206,207}$Pb and $^{209}$Bi.


title: A note on the $L^p$ integrability of a class of B\^ochner-Riesz kernels

abstract: For a general compact variety $\Gamma$ of arbitrary codimension, one can consider the $L^p$ mapping properties of the B\^ochner-Riesz multiplier $$ m_{\Gamma, \alpha}(\zeta) \ = \ {\rm dist}(\zeta, \Gamma)^{\alpha} \phi(\zeta) $$ where $\alpha > 0$ and $\phi$ is an appropriate smooth cut-off function. Even for the sphere $\Gamma = {\mathbb S}^{N-1}$, the exact $L^p$ boundedness range remains a central open problem in Euclidean Harmonic Analysis. In this paper we consider the $L^p$ integrability of the B\^ochner-Riesz convolution kernel for a particular class of varieties (of any codimension). For a subclass of these varieties the range of $L^p$ integrability of the kernels differs substantially from the $L^p$ boundedness range of the corresponding B\^ochner-Riesz multiplier operator.


title: Nucleon-number scalings of anisotropic flows and nuclear modification factor for light nuclei in the squeeze-out region

abstract: The number of nucleon (NN) scaling of the directed flow $v_1$ and elliptic flow ($v_{2}$) as well as the nuclear modification factor ($R_{cp}$) are tested for light nuclei which are produced in 0.4$A$ GeV $^{197}Au + ^{197}Au$ collisions at different impact parameters with two different in-medium nucleon-nucleon cross sections in the framework of an isospin-dependent quantum molecular dynamics (IQMD) model. In that energy domain, the emission of light nuclei can be well described by the squeeze-out phenonomenon. The results show a nice NN scaling behavior for flow parameters $v_{1}$, $v_{2}$ and ${R_{cp}}$. These results demonstrate that the nucleon coalescence mechanism is responsible for nucleon-number scaling of above physical observables in squeeze-out region in heavy-ion collisions at intermediate energy.


title: Enabling Technologies For 6g Future Wireless Communications: Opportunities And Challenges

abstract: 5G wireless communications technology is being launched, with many smart applications being integrated. However, 5G specifications merge the requirements of new emerging technologies forcefully. These include data rate, capacity, latency, reliability, resources sharing, and energy/bit. To meet these challenging demands, research is focusing on 6G wireless communications enabling different technologies and emerging new applications. In this report, the latest research work on 6G technologies and applications is summarized, and the associated research challenges are discussed.


title: Eat4Thought: A Design of Food Journaling

abstract: Food journaling is an effective method to help people identify their eating patterns and encourage healthy eating habits as it requires self-reflection on eating behaviors. Current tools have predominately focused on tracking food intake, such as carbohydrates, proteins, fats, and calories. Other factors, such as contextual information and momentary thoughts and feelings that are internal to an individual, are also essential to help people reflect upon and change attitudes about eating behaviors. However, current dietary tracking tools rarely support capturing these elements as a way to foster deep reflection. In this work, we present Eat4Thought -- a food journaling application that allows users to track their emotional, sensory, and spatio-temporal elements of meals as a means of supporting self-reflection. The application enables vivid documentation of experiences and self-reflection on the past through video recording. We describe our design process and an initial evaluation of the application. We also provide design recommendations for future work on food journaling.


title: The hidden universality of movement in cities

abstract: The interaction of all mobile species with their environment hinges on their movement patterns: the places they visit and how frequently they go there. In human society, where the prevalent form of cohabitation is in cities, the highly dynamic and diverse movement of people is fundamental to almost every aspect of socio-economic life, including social interactions or disease spreading, and ultimately is key to the evolution of urban infrastructure, productivity, innovation and technology. However, despite the crucial role of the spatio-temporal structure of movement in cities, the laws that govern the variation of population flows to specific locations have remained elusive. Here we show that behind the apparent complexity of movement a surprisingly simple universal scaling relation drives the flow of individuals to any specific location based on both frequency of visitation and distance travelled. We derive a first principles argument stating that the number of visiting individuals should decrease as an inverse square of the product of visitation frequency and travel distance; or, equivalently, as a power law with exponent $\approx \! -$2. Using large-scale data analyses, we demonstrate that population flows obey this theoretical prediction in virtually all tested areas across the globe, ranging from Europe and America to Asia and Africa, regardless of the detailed geographies, cultures or levels of development. The revealed regularity offers unprecedented possibilities for the modelling of mobility fluxes at high spatial and temporal resolution, and it places an important constraint on any theory of movement, spatial organisation and social interaction in cities.


title: FQuAD: French Question Answering Dataset

abstract: Recent advances in the field of language modeling have improved state-of-the-art results on many Natural Language Processing tasks. Among them, Reading Comprehension has made significant progress over the past few years. However, most results are reported in English since labeled resources available in other languages, such as French, remain scarce. In the present work, we introduce the French Question Answering Dataset (FQuAD). FQuAD is a French Native Reading Comprehension dataset of questions and answers on a set of Wikipedia articles that consists of 25,000+ samples for the 1.0 version and 60,000+ samples for the 1.1 version. We train a baseline model which achieves an F1 score of 92.2 and an exact match ratio of 82.1 on the test set. In order to track the progress of French Question Answering models we propose a leader-board and we have made the 1.0 version of our dataset freely available at https://illuin-tech.github.io/FQuAD-explorer/.


title: Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints

abstract: We introduce and investigate the expressive description logic (DL) ALCSCC++, in which the global and local cardinality constraints introduced in previous papers can be mixed. On the one hand, we prove that this does not increase the complexity of satisfiability checking and other standard inference problems. On the other hand, the satisfiability problem becomes undecidable if inverse roles are added to the languages. In addition, even without inverse roles, conjunctive query entailment in this DL turns out to be undecidable. We prove that decidability of querying can be regained if global and local constraints are not mixed and the global constraints are appropriately restricted. The latter result is based on a locally-acyclic model construction, and it reduces query entailment to ABox consistency in the restricted setting, i.e., to ABox consistency w.r.t. restricted cardinality constraints in ALCSCC, for which we can show an ExpTime upper bound.


title: Top Mass Shift Caused by the Recalibration of Flavor-Dependent Jet Energy Corrections in the D0 Lepton+Jets Top Mass Measurement

abstract: This paper introduces and applies a method for propagating changes in jet energy corrections into a D0 top quark mass measurement. It will serve as a source for the PRL presenting it's final results, and will be later published in a journal, or as a part of the author's PhD thesis. Motivation for the present measurement arises from the recalibration of the D0 flavor-dependent jet energy corrections. The recalibration was driven by the observation that the corrections for D0 Run IIb differ notably from those of Run IIa. The recalibration analysis was able to show that the Run IIb corrections should have resembled more those of Run IIa. The recalibrated jet energy corrections have an influence on the reconstructed top quarks through the jets that are produced in top quark decays. Hence, a change in the flavor-dependent jet energy corrections implies the need to revise the top mass measurement, performed by D0 in the lepton+jets channel. The D0 top mass average is almost completely determined by this measurement, and hence it has a direct impact on the top mass world average. A complete revision of the D0 top mass measurement is unlikely to occur, and hence this paper demonstrates the resulting top mass shift using a lighter methodology.


title: Morphology of Ti on Monolayer Nanocrystalline Graphene and its Unexpectedly Low Hydrogen Adsorption

abstract: Hydrogen adsorption on graphene can be increased by functionalization with Ti. This requires dispersing Ti islands on graphene as small and dense as possible, in order to increase the number of hydrogen adsorption sites per Ti atom. In this report, we investigate the morphology of Ti on nanocrystalline graphene and its hydrogen adsorption by scanning tunneling microscopy and thermal desorption spectroscopy, and compare the results with equivalent measurements on single-crystalline graphene. Nanocrystalline graphene consists of extremely small crystal grains of < 5 nm size. Ti atoms preferentially adsorb at the grain boundaries of nanocrystalline graphene and form smaller and denser islands compared to single-crystalline graphene. Surprisingly, however, hydrogen adsorbs less to Ti on nanocrystalline graphene than to Ti on single-crystalline graphene. In particular, hydrogen hardly chemisorbs to 1 ML of Ti on nanocrystalline graphene. This may be attributed to strong bonds between Ti and defects located along the grain boundaries in nanocrystalline graphene. This mechanism might apply to other metals, as well, and therefore our results suggest that when functionalizing graphene by metal atoms for the purpose of hydrogen storage or other chemical reactions, it is important to consider not only the morphology of the resulting surface, but also the influence of graphene on the electronic states of the metal.


title: ARMS: Automated rules management system for fraud detection

abstract: Fraud detection is essential in financial services, with the potential of greatly reducing criminal activities and saving considerable resources for businesses and customers. We address online fraud detection, which consists of classifying incoming transactions as either legitimate or fraudulent in real-time. Modern fraud detection systems consist of a machine learning model and rules defined by human experts. Often, the rules performance degrades over time due to concept drift, especially of adversarial nature. Furthermore, they can be costly to maintain, either because they are computationally expensive or because they send transactions for manual review. We propose ARMS, an automated rules management system that evaluates the contribution of individual rules and optimizes the set of active rules using heuristic search and a user-defined loss-function. It complies with critical domain-specific requirements, such as handling different actions (e.g., accept, alert, and decline), priorities, blacklists, and large datasets (i.e., hundreds of rules and millions of transactions). We use ARMS to optimize the rule-based systems of two real-world clients. Results show that it can maintain the original systems' performance (e.g., recall, or false-positive rate) using only a fraction of the original rules (~ 50% in one case, and ~ 20% in the other).


title: Recovering a variable exponent

abstract: We consider an inverse problem of recovering the non-linearity in the one dimensional variable exponent $p(x)$-Laplace equation from the Dirichlet-to-Neumann map. The variable exponent can be recovered up to the natural obstruction of rearrangements. The main technique is using a M\"untz-Sz\'asz theorem after reducing the problem to determining a function from its $L^p$-norms.


title: Active set expansion strategies in MPRGP algorithm

abstract: The paper investigates strategies for expansion of active set that can be employed by the MPRGP algorithm. The standard MPRGP expansion uses a projected line search in the free gradient direction with a fixed step length. Such a scheme is often too slow to identify the active set, requiring a large number of expansions. We propose to use adaptive step lengths based on the current gradient, which guarantees the decrease of the unconstrained cost function with different gradient-based search directions. Moreover, we also propose expanding the active set by projecting the optimal step for the unconstrained minimization. Numerical experiments demonstrate the benefits of our expansion step modifications on two benchmarks -- contact problem of linear elasticity solved by TFETI and machine learning problems of SVM type, both implemented in PERMON toolbox.


title: On the complexity of finding large odd induced subgraphs and odd colorings

abstract: We study the complexity of the problems of finding, given a graph $G$, a largest induced subgraph of $G$ with all degrees odd (called an odd subgraph), and the smallest number of odd subgraphs that partition $V(G)$. We call these parameters ${\sf mos}(G)$ and $\chi_{{\sf odd}}(G)$, respectively. We prove that deciding whether $\chi_{{\sf odd}}(G) \leq q$ is polynomial-time solvable if $q \leq 2$, and NP-complete otherwise. We provide algorithms in time $2^{O({\sf rw})} \cdot n^{O(1)}$ and $2^{O(q \cdot {\sf rw})} \cdot n^{O(1)}$ to compute ${\sf mos}(G)$ and to decide whether $\chi_{{\sf odd}}(G) \leq q$ on $n$-vertex graphs of rank-width at most ${\sf rw}$, respectively, and we prove that the dependency on rank-width is asymptotically optimal under the ETH. Finally, we give some tight bounds for these parameters on restricted graph classes or in relation to other parameters.


title: Super slowing down in the bond-diluted Ising model

abstract: In models in statistical physics, the dynamics often slows down tremendously near the critical point. Usually, the correlation time $\tau$ at the critical point increases with system size $L$ in power-law fashion: $\tau \sim L^z$, which defines the critical dynamical exponent $z$. We show that this also holds for the 2D bond-diluted Ising model in the regime $p>p_c$, where $p$ is the parameter denoting the bond concentration, but with a dynamical critical exponent $z(p)$ which shows a strong $p$-dependence. Moreover, we show numerically that $z(p)$, as obtained from the autocorrelation of the total magnetisation, diverges when the percolation threshold $p_c=1/2$ is approached: $z(p)-z(1) \sim (p-p_c)^{-2}$. We refer to this observed extremely fast increase of the correlation time with size as {\it super slowing down}. Independent measurement data from the mean-square deviation of the total magnetisation, which exhibits anomalous diffusion at the critical point, supports this result.


title: Resource-Aware Control via Dynamic Pricing for Congestion Game with Finite-Time Guarantees

abstract: Congestion game is a widely used model for modern networked applications. A central issue in such applications is that the selfish behavior of the participants may result in resource overloading and negative externalities for the system participants. In this work, we propose a pricing mechanism that guarantees the sub-linear increase of the time-cumulative violation of the resource load constraints. The feature of our method is that it is resource-centric in the sense that it depends on the congestion state of the resources and not on specific characteristics of the system participants. This feature makes our mechanism scalable, flexible, and privacy-preserving. Moreover, we show by numerical simulations that our pricing mechanism has no significant effect on the agents' welfare in contrast to the improvement of the capacity violation.


title: Comparative ab initio study of the structural, electronic, magnetic, and dynamical properties of LiOsO$_3$ and NaOsO$_3$

abstract: Despite similar chemical compositions, LiOsO$_3$ and NaOsO$_3$ exhibit remarkably distinct structural, electronic, magnetic, and spectroscopic properties. At low temperature, LiOsO$_3$ is a polar bad metal with a rhombohedral $R3c$ structure without the presence of long-range magnetic order, whereas NaOsO$_3$ is a $G$-type antiferromagnetic insulator with an orthorhombic $Pnma$ structure. By means of comparative first-principles DFT+$U$ calculations with the inclusion of the spin-orbit coupling, we ($i$) identify the origin of the different structural ($R3c$ vs. $Pnma$) properties using a symmetry-adapted soft mode analysis, ($ii$) provide evidence that all considered exchange-correlation functionals (LDA, PBE, PBEsol, SCAN, and HSE06) and the spin disordered polymorphous descriptions are unsatisfactory to accurately describe the electronic and magnetic properties of both systems simultaneously, and ($iii$) clarify that the distinct electronic (metallic vs. insulating) properties originates mainly from a cooperative steric and magnetic effect. Finally, we find that although at ambient pressure LiOsO$_3$ with a $Pnma$ symmetry and NaOsO$_3$ with a $R\bar{3}c$ symmetry are energetically unfavorable, they do not show soft phonons and therefore are dynamically stable. A pressure-induced structural phase transition from $R3c$ to $Pnma$ for LiOsO$_3$ is predicted, whereas for NaOsO$_3$ no symmetry change is discerned in the considered pressure range.


title: Symmetrizable integer matrices having all their eigenvalues in the interval [-2,2]

abstract: The adjacency matrices of graphs form a special subset of the set of all integer symmetric matrices. The description of which graphs have all their eigenvalues in the interval [-2,2] (i.e., those having spectral radius at most 2) has been known for several decades. In 2007 we extended this classification to arbitrary integer symmetric matrices. In this paper we turn our attention to symmetrizable matrices. We classify the connected nonsymmetric but symmetrizable matrices which have entries in $\Z$ that are maximal with respect to having all their eigenvalues in [-2,2]. This includes a spectral characterisation of the affine and finite Dynkin diagrams that are not simply laced (much as the graph result gives a spectral characterisation of the simply laced ones).


title: Deciding the existence of quasi weak near unanimity terms in finite algebras

abstract: We show that for a fixed positive integer k one can efficiently decide if a finite algebra A admits a k-ary weak near unanimity operation by looking at the local behavior of the terms of A. We also observe that the problem of deciding if a given finite algebra has a quasi Taylor operation is solvable in polynomial time by looking, essentially, for local quasi Siggers operations.


title: Bayesian Learning of Causal Relationships for System Reliability

abstract: Causal theory is now widely developed with many applications to medicine and public health. However within the discipline of reliability, although causation is a key concept in this field, there has been much less theoretical attention. In this paper, we will demonstrate how some aspects of established causal methodology can be translated via trees, and more specifically chain event graphs, into domain of reliability theory to help the probability modeling of failures. We further show how various domain specific concepts of causality particular to reliability can be imported into more generic causal algebras and so demonstrate how these disciplines can inform each other. This paper is informed by a detailed analysis of maintenance records associated with a large electrical distribution company. Causal hypotheses embedded within these natural language texts are extracted and analyzed using the new graphical framework we introduced here.


title: Radiative Processes of Entangled Detectors in Rotating Frames

abstract: We investigate the radiative processes of accelerated entangled two-level systems. Using first-order perturbation theory, we evaluate transition rates of two entangled Unruh-DeWitt detectors rotating with the same angular velocity interacting with a massive scalar field. Decay processes for arbitrary radius, angular velocities, and energy gaps are analyzed. We discuss the mean-life of entangled states and entanglement harvesting and degradation.


title: Artificial Intelligence, connected products, virtual reality: potential impacts on consumer safety in terms of their physical and psychological ability or well-being

abstract: With the progressive digitalisation of a majority of services to communities and individuals, humankind is facing new challenges. While energy sources are rapidly dwindling and rigorous choices have to be made to ensure the sustainability of our environment, there is increasing concern in science and society about the safety of connected products and technology for the individual user. This essay provides a first basis for further inquiry into the risks in terms of potentially negative, short and long-term, effects of connected technologies and massive digitalisation on the psychological and/or physical abilities and well-being of users or consumers.


title: Three-nucleon force effects in inclusive spectra of the neutron-deuteron breakup reaction

abstract: We investigate the sensitivity of the non-exclusive nucleon induced deuteron breakup reaction to the three-nucleon interaction and distributions of three-nucleon force effects in inclusive spectra. To this end we solve the three-nucleon Faddeev equation at a number of incoming nucleon laboratory energies using the CD Bonn nucleon-nucleon interaction alone or combined with the 2{\pi}-exchange Tucson-Melbourne three-nucleon force. Based on these solutions energy spectra of an outgoing nucleon, at a specified detection angle as well as spectra integrated over that angle, are calculated. By integrating the spectra at a given angle over the energy of the outgoing nucleon the angular distributions of three-nucleon force effects in the breakup process are additionally obtained. Contrary to elastic nucleon-deuteron scattering, where at higher energies significant three-nucleon force effects were encountered for scattering angles around the minimum of the cross section, for the breakup process only moderate effects are found and they are restricted to forward angles. Results of the present investigation show that the large three-nucleon force effects found for some specific complete breakup configurations are reduced substantially in the incomplete spectra when averaging over contributing complete geometries is performed.


title: Phase Diagram of Solitons in the Polar Phase of a Spin-1 Bose-Einstein Condensate

abstract: We theoretically study the structure of a stationary soliton in the polar phase of spin-1 Bose--Einstein condensate in the presence of quadratic Zeeman effect at zero temperature. The phase diagram of such solitons is mapped out by finding the states of minimal soliton energy in the defining range of polar phase. The states are assorted into normal, anti-ferromagnetic, broken-axisymmetry, and ferromagnetic phases according to the number and spin densities in the core. The order of phase transitions between different solitons and the critical behaviour of relevant continuous transitions are proved within the mean-field theory.


title: Performance of a Front End prototype ASIC for picosecond precision time measurements with LGAD sensors

abstract: For the High-Luminosity phase of LHC, the ATLAS experiment is proposing the addition of a High Granularity Timing Detector (HGTD) in the forward region to mitigate the effects of the increased pile-up. The chosen detection technology is Low Gain Avalanche Detector (LGAD) silicon sensors that can provide an excellent timing resolution below 50 ps. The front-end read-out ASIC must maintain the performance of the sensor, while keeping low power consumption. This paper presents the results on the first prototype of a front-end ASIC, named ALTIROC0, which contains the analog stages (preamplifier and discriminator) of the read-out chip. The ASIC was characterised both alone and as part of a module with a 2$\times$2 LGAD array of 1.1$\times$1.1 mm$^2$ pads bump-bonded to it. The various contributions of the electronics to the time resolution were investigated in test-bench measurements with a calibration setup. Both when the ASIC is alone or with a bump-bonded sensor, the jitter of the ASIC is better than 20 ps for an injected charge of 10 fC. The time walk effect that arises from the different response of the preamplifier for various injected charges can be corrected up to 10 ps using a Time Over Threshold measurement. The combined performance of the ASIC and the LGAD sensor, which was measured during a beam test campaign in October 2018 with pions of 120 GeV energy at the CERN SPS, is around 40 ps for all measured modules. All tested modules show good efficiency and time resolution uniformity.


title: Mobile Communications, Computing and Caching Resources Optimization for Coded Caching with Device Computing

abstract: Edge caching and computing have been regarded as an efficient approach to tackle the wireless spectrum crunch problem. In this paper, we design a general coded caching with device computing strategy for content computation, e.g., virtual reality (VR) rendering, to minimize the average transmission bandwidth with the caching capacity and the energy constraints of each mobile device, and the maximum tolerable delay constraint of each task. The key enabler is that because both coded data and stored data can be the data before or after computing, the proposed scheme has numerous edge computing and caching paths corresponding to different bandwidth requirement. We thus formulate a joint coded caching and computing optimization problem to decide whether the mobile devices cache the input data or the output data, which tasks to be coded cached and which tasks to compute locally. The optimization problem is shown to be 0-1 nonconvex nonsmooth programming and can be decomposed into the computation programming and the coded caching programming. We prove the convergence of the computation programming problem by utilizing the alternating direction method of multipliers (ADMM), and a stationary point can be obtained. For the coded cache programming, we design a low complexity algorithm to obtain an acceptable solution. Numerical results demonstrate that the proposed scheme provides a significant bandwidth saving by taking full advantage of the caching and computing capability of mobile devices.


title: Three-term arithmetic progressions in subsets of $\mathbb{F}_q^{\infty}$ of large Fourier dimension

abstract: We show that subsets of $\mathbb{F}_q^{\infty}$ of large Fourier dimension must contain three-term arithmetic progressions. This contrasts with a construction of Shmerkin of a subset of $\mathbb{R}$ of Fourier dimension $1$ with no three-term arithmetic progressions.


title: All-electrical spectroscopy of topological phases in semiconductor-superconductor heterostructures

abstract: Semiconductors in the proximity of superconductors have been proposed to support phases hosting Majorana bound states. When the systems undergo a topological phase transition towards the Majorana phase, the spectral gap closes, then reopens, and the quasiparticle band spin polarization is inverted. We focus on two paradigmatic semiconductor-superconductor heterostructures and propose an all-electrical spectroscopic probe sensitive to the spin inversion at the topological transition. Our proposal relies on the indirect coupling of a time-dependent electric field to the electronic spin due to the strong Rashba spin-orbit coupling in the semiconductor. We analyze within linear response theory the dynamical correlation functions and demonstrate that some components of the susceptibility can be used to detect the nontrivial topological phases.


title: Docking Haptics: Extending the Reach of Haptics by Dynamic Combinations of Grounded and Worn Devices

abstract: Grounded haptic devices can provide a variety of forces but have limited working volumes. Wearable haptic devices operate over a large volume but are relatively restricted in the types of stimuli they can generate. We propose the concept of docking haptics, in which different types of haptic devices are dynamically docked at run time. This creates a hybrid system, where the potential feedback depends on the user's location. We show a prototype docking haptic workspace, combining a grounded six degree-of-freedom force feedback arm with a hand exoskeleton. We are able to create the sensation of weight on the hand when it is within reach of the grounded device, but away from the grounded device, hand-referenced force feedback is still available. A user study demonstrates that users can successfully discriminate weight when using docking haptics, but not with the exoskeleton alone. Such hybrid systems would be able to change configuration further, for example docking two grounded devices to a hand in order to deliver twice the force, or extend the working volume. We suggest that the docking haptics concept can thus extend the practical utility of haptics in user interfaces.