title: Neutrino Excess and Dark Photons

abstract: Recently an excess of electron neutrino, $\nu_e$, events in a MiniBooNE experiment has been reported. An attempt to explain this anamoly was made in a theoretical analysis by introducing a new light Higgs Boson. In the present work we use a new neutrino interaction Z bosons producing Dark Photons to estimate an excess of $\nu_\mu \rightarrow \nu_e$ events.


title: Fredholm one-dimensional boundary-value problems with parameter in Sobolev spaces

abstract: For systems of linear differential equations on a compact interval, we investigate the~dependence on a parameter $\varepsilon$ of the solutions to boundary-value problems in the Sobolev spaces $W^{n}_{\infty}$. We obtain a constructive criterion of the continuous dependence of the solutions of these problems on the~parameter $\varepsilon$ for $\varepsilon=0$. The degree of convergence of these solutions is established.


title: Variety of magnetic topological phases in the (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_m$ family

abstract: Quantum states of matter combining non-trivial topology and magnetism attract a lot of attention nowadays; the special focus is on magnetic topological insulators (MTIs) featuring quantum anomalous Hall and axion insulator phases. Feasibility of many novel phenomena that \emph{intrinsic} magnetic TIs may host depends crucially on our ability to engineer and efficiently tune their electronic and magnetic structures. Here, using angle- and spin-resolved photoemission spectroscopy along with \emph{ab initio} calculations we report on a large family of intrinsic magnetic TIs in the homologous series of the van der Waals compounds (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_m$ with $m=0, ..., 6$. Magnetic, electronic and, consequently, topological properties of these materials depend strongly on the $m$ value and are thus highly tunable. The antiferromagnetic (AFM) coupling between the neighboring Mn layers strongly weakens on moving from MnBi2Te4 (m=0) to MnBi4Te7 (m=1), changes to ferromagnetic (FM) one in MnBi6Te10 (m=2) and disappears with further increase in m. In this way, the AFM and FM TI states are respectively realized in the $m=0,1$ and $m=2$ cases, while for $m \ge 3$ a novel and hitherto-unknown topologically-nontrivial phase arises, in which below the corresponding critical temperature the magnetizations of the non-interacting 2D ferromagnets, formed by the \MBT\, building blocks, are disordered along the third direction. The variety of intrinsic magnetic TI phases in (MnBi$_2$Te$_4$)(Bi$_2$Te$_3$)$_m$ allows efficient engineering of functional van der Waals heterostructures for topological quantum computation, as well as antiferromagnetic and 2D spintronics.


title: Randomized Urysohn-type inequalities

abstract: As a natural analog of Urysohn's inequality in Euclidean space, Gao, Hug, and Schneider showed in 2003 that in spherical or hyperbolic space, the total measure of totally geodesic hypersurfaces meeting a given convex body K is minimized when K is a geodesic ball. We present a random extension of this result by taking K to be the convex hull of finitely many points drawn according to a probability distribution and by showing that the minimum is attained for uniform distributions on geodesic balls. As a corollary, we obtain a randomized Blaschke--Santalo inequality on the sphere.


title: Scaling behavior of Charge order melting in Magnetic field-Pressure-Temperature space of 2.5% Al doped Pr$_{0.5}$Ca$_{0.5}$MnO$_3$

abstract: Dc magnetic measurements across the charge ordering (CO) transition temperature (T$_{CO}$) in polycrystalline Pr$_{0.5}$Ca$_{0.5}$Mn$_{0.975}$Al$_{0.025}$O$_3$ have been performed under simultaneous influence of external hydrostatic pressure (P) and magnetic field (H). We show the first experimental evidence that the melting of charge order instability obey an interesting scaling function, $\delta$T$_{CO}$/P$^\alpha$ = $f$(H/P$^\beta$) in H-P-T landscape, where $\delta$T$_{CO}$ is the suppression of T$_{CO}$ by P and H. Corresponding values of the exponents, $\alpha$ = 1.63 and $\beta$ = 0.33 have been extracted from data collapsing phenomena. Possible origin of such a scaling behavior has been discussed.


title: Attend to the Difference: Cross-Modality Person Re-identification via Contrastive Correlation

abstract: The problem of cross-modality person re-identification has been receiving increasing attention recently, due to its practical significance. Motivated by the fact that human usually attend to the difference when they compare two similar objects, we propose a dual-path cross-modality feature learning framework which preserves intrinsic spatial strictures and attends to the difference of input cross-modality image pairs. Our framework is composed by two main components: a Dual-path Spatial-structure-preserving Common Space Network (DSCSN) and a Contrastive Correlation Network (CCN). The former embeds cross-modality images into a common 3D tensor space without losing spatial structures, while the latter extracts contrastive features by dynamically comparing input image pairs. Note that the representations generated for the input RGB and Infrared images are mutually dependant to each other. We conduct extensive experiments on two public available RGB-IR ReID datasets, SYSU-MM01 and RegDB, and our proposed method outperforms state-of-the-art algorithms by a large margin with both full and simplified evaluation modes.


title: In Situ Electrochemical SFG/DFG Study of CN-- and Nitrile Adsorption at Au from 1-Butyl-1-methyl-pyrrolidinium Bis(trifluoromethylsulfonyl) Amide Ionic Liquid ([BMP][TFSA]) Containing 4-{2-[1-(2-Cyanoethyl)-1,2,3,4-tetrahydroquinolin-6-yl]diazenyl} Benzonitrile (CTDB) and K[Au(CN)$_2$]

abstract: In this paper we report an in situ electrochemical Sum-/Difference Frequency Generation (SFG/DFG) spectroscopy investigation of the adsorption of nitrile and CN -- from the ionic liquid 1-butyl-1-methyl-pyrrolidinium bis(trifluoromethylsulfonyl) amide ([BMP][TFSA]) containing 4-{2-[1-(2-cyanoethyl)-1,2,3,4-tetrahydroquinolin-6-yl]-diazenyl}benzonitrile (CTDB) at Au electrodes in the absence and in the presence of the Au-electrodeposition process from K[Au(CN)$_2$ ]. The adsorption of nitrile and its coadsorption with CN -- resulting either from the cathodic decomposition of the dye or from ligand release from the Au(I) cyanocomplex yield potential-dependent single or double SFG bands in the range 2,125-2,140 cm$^{-1}$, exhibiting Stark tuning values of ca. 3 and 1 cm$^{-1}$ V$^{-1}$ in the absence and presence of electrodeposition, respectively. The low Stark tuning found during electrodeposition correlates with the cathodic inhibiting effect of CTDB, giving rise to its levelling properties. The essential insensitivity of the other DFG parameters to the electrodeposition process is due to the growth of smooth Au.


title: Quantum Networks For Open Science

abstract: The United States Department of Energy convened the Quantum Networks for Open Science (QNOS) Workshop in September 2018. The workshop was primarily focused on quantum networks optimized for scientific applications with the expectation that the resulting quantum networks could be extended to lay the groundwork for a generalized network that will evolve into a quantum internet.


title: Gribov Ambiguity

abstract: Gribov ambiguity is a problem that arises when we try to single out the physical gauge degree of freedom in non-Abelian gauge theory by imposing the covariant gauge constraint. Unfortunately, the solution of the gauge constraint is not unique, thus the redundant gauge degree of freedom, called Gribov copies, remains unfixed. One of the traditional methods to partially resolve the Gribov problem is to restrict the space of gauge orbits inside the bounded region known as the Gribov region. The meaning of partially resolve is that this procedure can solve only the positivity's problem of the Faddeev-Popov operator but the Gribov copies are still there. However, on the bright side, the restriction to the Gribov region leads to the modification of the gluon propagator. Additionally, the new form of the gluon propagator yields the violation of the reflection positivity which is considered as the important axiom of the Euclidean quantum field theory. This shows that the gluon field in the Gribov region is an unphysical particle or technically confined. In this review article, we will start by discussing the traditional Faddeev-Popov method and its consequence on the proof of the unitarity of the perturbative Yang-Mills theory. Next, we will discuss the blind spot of the Faddeev-Popov quantization and study the mathematical and physical origin of the Gribov problem. Then, the method of the Gribov restriction will be elaborated. After that, we demonstrate the modification of the gluon field after restricting inside the bounded Gribov region. Finally, we show that the new form of the gluon leads to the violation of the reflection positivity axiom.


title: Extremal clustering in non-stationary random sequences

abstract: It is well known that the distribution of extreme values of strictly stationary sequences differ from those of independent and identically distributed sequences in that extremal clustering may occur. Here we consider non-stationary but identically distributed sequences of random variables subject to suitable long-range dependence restrictions. We find that the limiting distribution of appropriately normalized sample maxima depends on a parameter that measures the average extremal clustering of the sequence. Based on this new representation we derive the asymptotic distribution for the time between consecutive extreme observations and construct moment and likelihood-based estimators for measures of extremal clustering. We specialize our results to random sequences with periodic dependence structure.


title: Opals as Colorful Radiative Coolers

abstract: Radiative cooling has proven to be a powerful strategy for sustainable thermal management. Nanophotonic structures enabling broadband reflection lead to minimization of sunlight absorption, which has brought nighttime-limited radiative cooling into daytime applications. However, this broadband reflection strategy in turn restricts the accessible colorization of radiative coolers to white or neutral, consequently hindering their practical applications, particularly for aesthetic purposes. With a few exceptions, selective absorption at a specific visible wavelength has been the most prevalent paradigm for colorization of radiative coolers. However, this absorption-based colorization inevitably make the radiative cooler prone to heating, thus decreasing the cooling efficiency. Here, we demonstrate an undiscovered usage of opals for advancing color-preserved daytime radiative coolers. Opals, which have served mainly as Bragg reflective color pigments thus far, can be considered an effective homogeneous medium in the mid-infrared region. Thus, opals can also be envisioned as reflectively colorful metamaterials capable of radiative cooling even under the direct summer sun. Together with the soft fluidity of colloidal suspensions, opals can serve as platforms for easy-to-craft, large-scale, and colorful radiative coolers with minimal solar absorption.


title: Large impact parameter behaviour in the CGC/saturation approach: a new non-linear equation

abstract: In this paper we propose a solution to the long standing problem in the CGC/saturation approach: the power-like fall off of the scattering amplitudes at large $b$. We propose a new non-linear equation, which takes into account random walks both in transverse momenta of the produced gluons and in their impact parameters. We demonstrate, that this equation is in accord with previous attempts to include the diffusion in impact parameters in the BFKL evolution equation. We show in the paper, that the solution to a new equation results in the exponential decrease of the scattering amplitude at large impact parameter, and in the restoration of the Froissart theorem.


title: Integral points on the modular curves $X_0(p)$

abstract: In this paper, we give an explicit bound for the height of integral points on $X_0(p)$ by using a very explicit version of the Chevalley-Weil principle. We improve the bound given by Sha in \cite{sha2014bounding1}.


title: SPICE: Self-supervised Pitch Estimation

abstract: We propose a model to estimate the fundamental frequency in monophonic audio, often referred to as pitch estimation. We acknowledge the fact that obtaining ground truth annotations at the required temporal and frequency resolution is a particularly daunting task. Therefore, we propose to adopt a self-supervised learning technique, which is able to estimate pitch without any form of supervision. The key observation is that pitch shift maps to a simple translation when the audio signal is analysed through the lens of the constant-Q transform (CQT). We design a self-supervised task by feeding two shifted slices of the CQT to the same convolutional encoder, and require that the difference in the outputs is proportional to the corresponding difference in pitch. In addition, we introduce a small model head on top of the encoder, which is able to determine the confidence of the pitch estimate, so as to distinguish between voiced and unvoiced audio. Our results show that the proposed method is able to estimate pitch at a level of accuracy comparable to fully supervised models, both on clean and noisy audio samples, although it does not require access to large labeled datasets.


title: On the Role of Tsallis Entropy Index for Velocity Modelling in Open Channels

abstract: Following the work on Shannon entropy together with the principle of maximum entropy, Luo & Singh (J. Hydrol. Eng., 2011, 16(4): 303-315) and Singh & Luo (J. Hydrol. Eng., 2011, 16(9): 725-735) explored the concept of non-extensive Tsallis entropy for modelling velocity in open channels. Later, the idea was extended by Cui & Singh (J. Hydrol. Eng., 2013, 18(3): 331-339; 2014, 19(2): 290-298) by hypothesizing an accurate cumulative distribution function (CDF). However, these studies estimated the entropy index through a data-fitting procedure and the values of the index were different for different studies. The present study investigates the role of Tsallis entropy index for modelling velocity in open channels using the method of moments, based on conservation of mass and momentum. It is found that the entropy index depends on the normalized mean velocity and the momentum coefficient. In addition to the physical meaning of the index, it is also found that the modified velocity profile significantly improves for both wide and narrow channels, as shown by small predicted velocity errors. The proposed approach may be further employed for other open channel flow problems, such as sediment concentration, and shear stress distribution.


title: Residuality and Learning for Nondeterministic Nominal Automata

abstract: We are motivated by the following question: which data languages admit an active learning algorithm? This question was left open in previous work by the authors, and is particularly challenging for languages recognised by nondeterministic automata. To answer it, we develop the theory of residual nominal automata, a subclass of nondeterministic nominal automata. We prove that this class has canonical representatives, which can always be constructed via a finite number of observations. This property enables active learning algorithms, and makes up for the fact that residuality -- a semantic property -- is undecidable for nominal automata. Our construction for canonical residual automata is based on a machine-independent characterisation of residual languages, for which we develop new results in nominal lattice theory. Studying residuality in the context of nominal languages is a step towards a better understanding of learnability of automata with some sort of nondeterminism.


title: Learning Multi-Human Optical Flow

abstract: The optical flow of humans is well known to be useful for the analysis of human action. Recent optical flow methods focus on training deep networks to approach the problem. However, the training data used by them does not cover the domain of human motion. Therefore, we develop a dataset of multi-human optical flow and train optical flow networks on this dataset. We use a 3D model of the human body and motion capture data to synthesize realistic flow fields in both single- and multi-person images. We then train optical flow networks to estimate human flow fields from pairs of images. We demonstrate that our trained networks are more accurate than a wide range of top methods on held-out test data and that they can generalize well to real image sequences. The code, trained models and the dataset are available for research.


title: On extremal quasi-modular forms after Kaneko and Koike

abstract: Kaneko and Koike introduced the notion of extremal quasi-modular form and proposed conjectures on their arithmetic properties. The aim of this note is to prove a rather sharp multiplicity estimate for these quasi-modular forms. The note ends with discussions and partial answers around these conjectures and an appendix by G. Nebe containing the proof of the integrality of the Fourier coefficients of the normalised extremal quasimodular form of weight 14 and depth 1.


title: Learning Task-Oriented Grasping from Human Activity Datasets

abstract: We propose to leverage a real-world, human activity RGB dataset to teach a robot Task-Oriented Grasping (TOG). We develop a model that takes as input an RGB image and outputs a hand pose and configuration as well as an object pose and a shape. We follow the insight that jointly estimating hand and object poses increases accuracy compared to estimating these quantities independently of each other. Given the trained model, we process an RGB dataset to automatically obtain the data to train a TOG model. This model takes as input an object point cloud and outputs a suitable region for task-specific grasping. Our ablation study shows that training an object pose predictor with the hand pose information (and vice versa) is better than training without this information. Furthermore, our results on a real-world dataset show the applicability and competitiveness of our method over state-of-the-art. Experiments with a robot demonstrate that our method can allow a robot to preform TOG on novel objects.


title: Contextual Imagined Goals for Self-Supervised Robotic Learning

abstract: While reinforcement learning provides an appealing formalism for learning individual skills, a general-purpose robotic system must be able to master an extensive repertoire of behaviors. Instead of learning a large collection of skills individually, can we instead enable a robot to propose and practice its own behaviors automatically, learning about the affordances and behaviors that it can perform in its environment, such that it can then repurpose this knowledge once a new task is commanded by the user? In this paper, we study this question in the context of self-supervised goal-conditioned reinforcement learning. A central challenge in this learning regime is the problem of goal setting: in order to practice useful skills, the robot must be able to autonomously set goals that are feasible but diverse. When the robot's environment and available objects vary, as they do in most open-world settings, the robot must propose to itself only those goals that it can accomplish in its present setting with the objects that are at hand. Previous work only studies self-supervised goal-conditioned RL in a single-environment setting, where goal proposals come from the robot's past experience or a generative model are sufficient. In more diverse settings, this frequently leads to impossible goals and, as we show experimentally, prevents effective learning. We propose a conditional goal-setting model that aims to propose goals that are feasible from the robot's current state. We demonstrate that this enables self-supervised goal-conditioned off-policy learning with raw image observations in the real world, enabling a robot to manipulate a variety of objects and generalize to new objects that were not seen during training.


title: Hierarchical Prototype Learning for Zero-Shot Recognition

abstract: Zero-Shot Learning (ZSL) has received extensive attention and successes in recent years especially in areas of fine-grained object recognition, retrieval, and image captioning. Key to ZSL is to transfer knowledge from the seen to the unseen classes via auxiliary semantic prototypes (e.g., word or attribute vectors). However, the popularly learned projection functions in previous works cannot generalize well due to non-visual components included in semantic prototypes. Besides, the incompleteness of provided prototypes and captured images has less been considered by the state-of-the-art approaches in ZSL. In this paper, we propose a hierarchical prototype learning formulation to provide a systematical solution (named HPL) for zero-shot recognition. Specifically, HPL is able to obtain discriminability on both seen and unseen class domains by learning visual prototypes respectively under the transductive setting. To narrow the gap of two domains, we further learn the interpretable super-prototypes in both visual and semantic spaces. Meanwhile, the two spaces are further bridged by maximizing their structural consistency. This not only facilitates the representativeness of visual prototypes, but also alleviates the loss of information of semantic prototypes. An extensive group of experiments are then carefully designed and presented, demonstrating that HPL obtains remarkably more favorable efficiency and effectiveness, over currently available alternatives under various settings.


title: Rare Event Simulation for non-Markovian repairable Fault Trees

abstract: Dynamic Fault Trees (DFT) are widely adopted in industry to assess the dependability of safety-critical equipment. Since many systems are too large to be studied numerically, DFTs dependability is often analysed using Monte Carlo simulation. A bottleneck here is that many simulation samples are required in the case of rare events, e.g. in highly reliable systems where components fail seldomly. Rare Event Simulation (RES) provides techniques to reduce the number of samples in the case of rare events. We present a RES technique based on importance splitting, to study failures in highly reliable DFTs. Whereas RES usually requires meta-information from an expert, our method is fully automatic: by cleverly exploiting the fault tree structure we extract the so-called importance function. We handle DFTs with Markovian and non-Markovian failure and repair distributions (for which no numerical methods exist) and show the efficiency of our approach on several case studies.


title: Momentum-based Accelerated Q-learning

abstract: This paper studies accelerated algorithms for Q-learning. We propose an acceleration scheme by incorporating the historical iterates of the Q-function. The idea is conceptually inspired by the momentum-based acceleration methods in the optimization theory. Under finite state-action space settings, the proposed accelerated Q-learning algorithm provably converges to the global optimum with a rate of $\mathcal{O}(1/\sqrt{T})$. While sharing a comparable theoretic convergence rate with the existing Speedy Q-learning (SpeedyQ) algorithm, we numerically show that the proposed algorithm outperforms SpeedyQ via playing the FrozenLake grid world game. Furthermore, we generalize the acceleration scheme to the continuous state-action space case where function approximation of the Q-function is necessary. In this case, the algorithms are validated using commonly adopted testing problems in reinforcement learning, including two discrete-time linear quadratic regulation (LQR) problems from the Deepmind Control Suite, and the Atari 2600 games. Simulation results show that the proposed accelerated algorithms can improve the convergence performance compared with the vanilla Q-learning algorithm.


title: Classical electrodynamics on Snyder space

abstract: A formulation of classical electrodynamics on an energy-momentum background of constant, non-zero curvature is given. The procedure consists of taking the formulation of standard electrodynamics in the energy-momentum representation, and promoting the energy-momentum vector to belong to a constant (non-zero) curvature space. In particular, special emphasis is given to the definition of integration measure and generalized Dirac's delta function. Finally, simple physical problems as plane waves (solutions outside sources) and point charges are discussed in this context, where the self-energy of a point charge is shown to be finite.


title: Viaggiu entropy and the generalized second law in a flat FLRW Universe

abstract: Our aim, in this paper, is to study the generalized second law by considering the dynamical apparent horizon to be endowed with the Hawking temperature and the Viaggiu entropy introduced in a pioneering work in 2014. We have devoted our attention to a flat FLRW universe filled with a perfect fluid having a constant equation of state $p = w\rho$. It is worthwhile to note that we have considered both forms of the Hawking temperature, the original one as well as the truncated version. The latter one is generally used during calculations, however, several arguments have been put forward against it. Our analysis yields a startling result. The Viaggiu entropy naturally forbids the phantom era. In other words, the Viaggiu entropy will never allow the EoS parameter to go beyond the Cosmological Constant. This result is in strong agreement with recent observations and we have deduced it purely by thermodynamic means. This is in striking contrast with the results obtained with the Bekenstein-Hawking formalism.


title: Logarithmic corrected $f(R)$ gravitational model and swampland conjectures

abstract: In this paper, we use corrected $f(R)$ gravitational model which is polynomial function with a logarithmic term. In that case, we employ the slow-roll condition and obtain the number of cosmological parameter. This help us to verify the swampland conjectures which is guarantee the validation of low - energy quantum field theory. The obtained results shown that the corresponding model is consistent with the swampland conjectures. Also the upper and lower limit of the parameter \textcolor{red}{$n$} are \textcolor{blue}{0.15} and \textcolor{blue}{0.0033}. Finally, by using scalar spectrum index $ n_{s} $ and tensor to scalar ratio $ r $ relations and compared with Planck 2018 empirical data, we obtain the coefficients $\alpha$,$\beta$ and $\gamma$. Also, the corresponding results are creaked by several figures, literature and also plank 2018 data.


title: Security analysis of an audio data encryption scheme based on key chaining and DNA encoding

abstract: Fairly recently, a new encryption scheme for audio data encryption has been proposed by Naskar, P.K., et al. The cryptosystem is based on substitution-permutation encryption structure using DNA encoding at the substitution stage, in which the key generation is based on a key chaining algorithm that generates new key block for every plain block using a logistic chaotic map. After some several statistical tests done by the authors of the scheme, they claimed that their cryptosystem is robust and can resist conventional cryptanalysis attacks. Negatively, in this paper we show the opposite: the scheme is extremely weak against chosen ciphertext and plaintext attacks thus only two chosen plaintexts of 32 byte size are sufficient to recover the equivalent key used for encryption. The cryptosystem's shuffling process design is vulnerable which allow us recovering the unknown original plaintext by applying repeated encryptions. Our study proves that the scheme is extremely weak and should not be used for any information security or cryptographic concern. Lessons learned from this cryptanalytic paper are then outlined in order to be considered in further designs and proposals.


title: Breaking an image encryption scheme based on Arnold map and Lucas series

abstract: Fairly recently, a novel image encryption based on Arnold scrambling and Lucas series has been proposed in the literature. The scheme design is based on permutation-substitution operations, where Arnold map is used to permute pixels for some T rounds, and Lucas sequence is used to mask the image and substitute pixel's values. The authors of the cryptosystem have claimed, after several statistical analyses, that their system is "with high efficiency" and resists chosen and known plaintext attacks. Negatively, in this paper we showed the opposite. The key space of the scheme under study could be reduced considerably after our equivalent keys analysis, and thus the system is breakable under reasonable brute force attack. After all, the design of the scheme has several weaknesses that make it weak against chosen and known plaintext attacks. Consequently, we do not recommend the use of this system for any cryptographic concern or security purpose.


title: Cryptanalysis of a Chaos-Based Fast Image Encryption Algorithm for Embedded Systems

abstract: Fairly recently, a new encryption scheme for embedded systems based on continuous third-order hyperbolic sine chaotic system was proposed by Z. Lin et al. The cryptosystem's main objective is to provide a faster algorithm with lowest computational time in order to be qualified for use in embedded systems especially on a program of UAV (unmanned aerial vehicle). In this paper, we scrutinize the design architecture of this recently proposed scheme against conventional attacks e.g., chosen plaintext attack, differential attack, known plaintext attack. We prove in this paper that, negatively, the studied system is vulnerable. For differential attack, only two chosen plain images are required to recover the full equivalent key. Moreover, only one 3x400 size image is sufficient to break the cryptosystem under chosen plaintext attack considering stability of sort algorithm. Therefore, the proposed scheme is not recommended for security purposes.


title: A Note on Our Submission to Track 4 of iDASH 2019

abstract: iDASH is a competition soliciting implementations of cryptographic schemes of interest in the context of biology. In 2019, one track asked for multi-party computation implementations of training of a machine learning model suitable for two datasets from cancer research. In this note, we describe our solution submitted to the competition. We found that the training can be run on three AWS c5.9xlarge instances in less then one minute using MPC tolerating one semi-honest corruption, and less than ten seconds at a slightly lower accuracy.


title: Higher pullbacks of modular forms on orthogonal groups

abstract: We apply differential operators to modular forms on orthogonal groups $\mathrm{O}(2, \ell)$ to construct infinite families of modular forms on special cycles. These operators generalize the quasi-pullback. The subspaces of theta lifts are preserved; in particular, the higher pullbacks of the lift of a (lattice-index) Jacobi form $\phi$ are theta lifts of partial development coefficients of $\phi$. For certain lattices of signature (2, 2) and (2, 3), for which there are interpretations as Hilbert-Siegel modular forms, we observe that the higher pullbacks coincide with differential operators introduced by Cohen and Ibukiyama.


title: Non-relativistic $k$-contractions of the Coadjoint Poincar\'e algebra

abstract: We study a class of extensions of the k-contracted Poincar\'e algebra under the hipotesis of generalizing the Bargmann algebra and his central charge. As we will see this type of contractions will lead in a natural way to consider the codajoint Poincar\'e algebra and some of their contractions. Among them there is one such that. considering the quotient of it by a suitable ideal, the (stringy) p-brane Galilei algebra is recovered.


title: Task-Motion Planning for Navigation in Belief Space

abstract: We present an integrated Task-Motion Planning (TMP) framework for navigation in large-scale environment. Autonomous robots operating in real world complex scenarios require planning in the discrete (task) space and the continuous (motion) space. In knowledge intensive domains, on the one hand, a robot has to reason at the highest-level, for example the regions to navigate to; on the other hand, the feasibility of the respective navigation tasks have to be checked at the execution level. This presents a need for motion-planning-aware task planners. We discuss a probabilistically complete approach that leverages this task-motion interaction for navigating in indoor domains, returning a plan that is optimal at the task-level. Furthermore, our framework is intended for motion planning under motion and sensing uncertainty, which is formally known as belief space planning. The underlying methodology is validated with a simulated office environment in Gazebo. In addition, we discuss the limitations and provide suggestions for improvements and future work.


title: Weak-to-strong transition of quantum measurement in a trapped-ion system

abstract: Quantum measurement remains a puzzle through its stormy history from the birth of quantum mechanics to state-of-the-art quantum technologies. Two complementary measurement schemes have been widely investigated in a variety of quantum systems: von Neumann's projective 'strong' measurement and Aharonov's weak measurement. Here, we report the observation of a weak-to-strong measurement transition in a single trapped $40Ca^+$ ion system. The transition is realized by tuning the interaction strength between the ion's internal electronic state and its vibrational motion, which play the roles of the measured system and the measuring pointer, respectively. By pre- and post-selecting the internal state, a pointer state composed of two of the ion's motional wavepackets is obtained, and its central-position shift, which corresponds to the measurement outcome, demonstrates the transition from the weak-value asymptotes to the expected-value asymptotes. Quantitatively, the weak-to-strong measurement transition is characterized by a universal transition factor $e^{-\Gamma^2}$, where $\Gamma$ is a dimensionless parameter related to the system-apparatus coupling. This transition, which continuously connects weak measurements and strong measurements, may open new experimental possibilities to test quantum foundations and prompt us to re-examine and improve the measurement schemes of related quantum technologies.

categories: quant-ph cond-mat.other physics.atm-clus physics.hist-ph physics.optics


title: Demonstration of weak measurements, projective measurements, and quantum-to-classical transitions in ultrafast free electron-photon interactions

abstract: How does the quantum-to-classical transition of measurement occur? This question is vital for both foundations and applications of quantum mechanics. Here, we develop a new measurement-based framework for characterizing the classical and quantum free electron-photon interactions and then experimentally test it. We first analyze the transition from projective to weak measurement in generic light-matter interactions and show that any classical electron-laser-beam interaction can be represented as an outcome of a weak measurement. In particular, the appearance of classical point-particle acceleration is an example of an amplified weak value resulting from weak measurement. A universal factor quantifies the measurement regimes and their transition from quantum to classical, where Gamma corresponds to the ratio between the electron wavepacket size and the optical wavelength. This measurement-based formulation is experimentally verified in both limits of photon-induced near-field electron microscopy and the classical acceleration regime using a dielectric laser accelerator. Our results shed new light on the transition from quantum to classical electrodynamics, enabling to employ the essence of wave-particle duality of both light and electrons in quantum measurement for exploring and applying many quantum and classical light-matter interactions.

categories: quant-ph cond-mat.other physics.hist-ph physics.optics


title: Local Morrey estimate in Musielak-Orlicz-Sobolev space

abstract: Under appropriate assumptions on the $N(\Omega)$-fucntion, Morrey estimate is presented in the Musielak-Orlicz-Sobolev space.The assumptions include a new increasing condition on the $x$-derivative of the Young complementary function of the $N(\Omega)$-fucntion. The conclusion applies to several important nonlinear examples frequently appeared in mathematical literature.


title: Representation of strongly truncated Riesz spaces

abstract: Following a recent idea by Ball, we introduce the notion of strongly truncated Riesz space with a suitable spectrum. We prove that, under an extra Archimedean type condition, any strongly truncated Riesz space is isomorphic to a uniformly dense Riesz subspace of a $C_{0}\left( X\right) $-space. This turns out to be a direct generalization of the classical Kakutani Representation Theorem on Archimedean Riesz spaces with strong unit. Another representation theorem on normed Riesz spaces, due to Fremlin, will be obtained as a consequence of our main result.


title: Symmetry transformations of extremals and higher conserved quantities: invariant Yang--Mills connections

abstract: We characterize symmetry transformations of Lagrangian extremals generating `on shell' conservation laws. We relate symmetry transformations of extremals to Jacobi fields and study symmetries of higher variations by proving that a pair given by a symmetry of the $l$-th variation of a Lagrangian and by a Jacobi field of the $s$-th variation of the same Lagrangian (with $s<l$) is associated with an `off shell' conserved current. The conserved current associated with two symmetry transformations is constructed and, as a case of study, its expression for invariant Yang--Mills connections on Minkowski space-times is obtained.


title: Collision Avoidance in Pedestrian-Rich Environments with Deep Reinforcement Learning

abstract: Collision avoidance algorithms are essential for safe and efficient robot operation among pedestrians. This work proposes using deep reinforcement (RL) learning as a framework to model the complex interactions and cooperation with nearby, decision-making agents, such as pedestrians and other robots. Existing RL-based works assume homogeneity of agent properties, use specific motion models over short timescales, or lack a principled method to handle a large, possibly varying number of agents. Therefore, this work develops an algorithm that learns collision avoidance among a variety of heterogeneous, non-communicating, dynamic agents without assuming they follow any particular behavior rules. It extends our previous work by introducing a strategy using Long Short-Term Memory (LSTM) that enables the algorithm to use observations of an arbitrary number of other agents, instead of a small, fixed number of neighbors. The proposed algorithm is shown to outperform a classical collision avoidance algorithm, another deep RL-based algorithm, and scales with the number of agents better (fewer collisions, shorter time to goal) than our previously published learning-based approach. Analysis of the LSTM provides insights into how observations of nearby agents affect the hidden state and quantifies the performance impact of various agent ordering heuristics. The learned policy generalizes to several applications beyond the training scenarios: formation control (arrangement into letters), demonstrations on a fleet of four multirotors and on a fully autonomous robotic vehicle capable of traveling at human walking speed among pedestrians.


title: Fast and High-Quality Singing Voice Synthesis System based on Convolutional Neural Networks

abstract: The present paper describes singing voice synthesis based on convolutional neural networks (CNNs). Singing voice synthesis systems based on deep neural networks (DNNs) are currently being proposed and are improving the naturalness of synthesized singing voices. As singing voices represent a rich form of expression, a powerful technique to model them accurately is required. In the proposed technique, long-term dependencies of singing voices are modeled by CNNs. An acoustic feature sequence is generated for each segment that consists of long-term frames, and a natural trajectory is obtained without the parameter generation algorithm. Furthermore, a computational complexity reduction technique, which drives the DNNs in different time units depending on type of musical score features, is proposed. Experimental results show that the proposed method can synthesize natural sounding singing voices much faster than the conventional method.


title: Improving Diarization Robustness using Diversification, Randomization and the DOVER Algorithm

abstract: Speaker diarization based on bottom-up clustering of speech segments by acoustic similarity is often highly sensitive to the choice of hyperparameters, such as the initial number of clusters and feature weighting. Optimizing these hyperparameters is difficult and often not robust across different data sets. We recently proposed the DOVER algorithm for combining multiple diarization hypotheses by voting. Here we propose to mitigate the robustness problem in diarization by using DOVER to average across different parameter choices. We also investigate the combination of diverse outputs obtained by following different merge choices pseudo-randomly in the course of clustering, thereby mitigating the greediness of best-first clustering. We show on two conference meeting data sets drawn from NIST evaluations that the proposed methods indeed yield more robust, and in several cases overall improved, results.


title: The lifespan of solutions of semilinear wave equations with the scale-invariant damping in two space dimensions

abstract: In this paper, we study the initial value problem for semilinear wave equations with the time-dependent and scale-invariant damping in two dimensions. Similarly to the one dimensional case by Kato, Takamura and Wakasa in 2019, we obtain the lifespan estimates of the solution for a special constant in the damping term, which are classified by total integral of the sum of the initial position and speed. The key fact is that, only in two space dimensions, such a special constant in the damping term is a threshold between "wave-like" domain and "heat-like" domain. As a result, we obtain a new type of estimate especially for the critical exponent.


title: Building social networks under consent: A survey

abstract: This survey explores the literature on game-theoretic models of network formation under the hypothesis of mutual consent in link formation. The introduction of consent in link formation imposes a coordination problem in the network formation process. This survey explores the conclusions from this theory and the various methodologies to avoid the main pitfalls. The main insight originates from Myerson's work on mutual consent in link formation and his main conclusion that the empty network (the network without any links) always emerges as a strong Nash equilibrium in any game-theoretic model of network formation under mutual consent and positive link formation costs. Jackson and Wolinsky introduced a cooperative framework to avoid this main pitfall. They devised the notion of a pairwise stable network to arrive at equilibrium networks that are mainly non-trivial. Unfortunately, this notion of pairwise stability requires coordinated action by pairs of decision makers in link formation. I survey the possible solutions in a purely non-cooperative framework of network formation under mutual consent by exploring potential refinements of the standard Nash equilibrium concept to explain the emergence of non-trivial networks. This includes the notions of unilateral and monadic stability. The first one is founded on advanced rational reasoning of individuals about how others would respond to one's efforts to modify the network. The latter incorporates trusting, boundedly rational behaviour into the network formation process. The survey is concluded with an initial exploration of external correlation devices as an alternative framework to address mutual consent in network formation.


title: Elliptic and non-hyperbolic closed characteristics on compact convex P-cyclic symmetric hypersurfaces in ${\bf R}^{2n}$

abstract: Let $\Sigma$ be a compact convex hypersurface in ${\bf R}^{2n}$ which is P-cyclic symmetric, i.e., $x\in \Sigma$ implies $Px\in\Sigma$ with P being a $2n\times2n$ symplectic orthogonal matrix and $P^k=I_{2n}$, where $n, k\geq2$, $ker(P-I_{2n})=0$. In this paper, we first generalize Ekeland index theory for periodic solutions of convex Hamiltonian system to a index theory with P boundary value condition and study its relationship with Maslov P-index theory, then we use index theory to prove the existence of elliptic and non-hyperbolic closed characteristics on compact convex P-cyclic symmetric hypersurfaces in ${\bf R}^{2n}$ for a broad class of symplectic orthogonal matrix P.


title: Upper and lower bounds for the speed of fronts of the reaction diffusion equation with Stefan boundary conditions

abstract: We establish two integral variational principles for the spreading speed of the one dimensional reaction diffusion equation with Stefan boundary conditions. The first principle is valid for monostable reaction terms and the second principle is valid for arbitrary reaction terms. These principles allow to obtain several upper and lower bounds for the speed. In particular, we construct a generalized Zeldovich-Frank-Kamenetskii type lower bound for the speed and upper bounds in terms of the speed of the standard reaction diffusion problem. We construct asymptotically exact lower bounds previously obtained by perturbation theory.


title: An Improved Implementation Approach for Quantum Phase Estimation on Quantum Computers

abstract: Quantum phase estimation (QPE) is one of the core algorithms for quantum computing. It has been extensively studied and applied in a variety of quantum applications such as the Shor's factoring algorithm, quantum sampling algorithms and the calculation of the eigenvalues of unitary matrices. The QPE algorithm has been combined with Kitaev's algorithm and the inverse quantum Fourier transform (IQFT) which are utilized as a fundamental component of such quantum algorithms. In this paper, we explore the computational challenges of implementing QPE algorithms on noisy intermediate-scale quantum (NISQ) machines using the IBM Q Experience (e.g., the IBMQX4, 5-qubit quantum computing hardware platform). Our experimental results indicate that the accuracy of finding the phase using these QPE algorithms is severely constrained by the NISQ computer's physical characteristics such as coherence time and error rates. To mitigate these physical limitations, we propose implementing a modified solution by reducing the number of controlled rotation gates and phase shift operations, thereby increasing the accuracy of the finding phase in near-term quantum computers.


title: Effect of the dilaton field and plasma medium on deflection angle by black holes in Einstein-Maxwell-dilaton-axion theory

abstract: In this paper, we argue that one can calculate the weak deflection angle of light in the background of Einstein-Maxwell-Dilaton-Axion black hole using the Gauss-Bonnet theorem. To support this, the optical geometry of the black hole with the Gibbons-Werner method are used to obtain the deflection angle of light in the weak field limits. Moreover, we investigate the effect of a plasma medium on deflection of light for a given black hole. Because of dilaton and axion are one of the candidate of the dark matter, it can give us a hint on observation of dark matter which is supported by the black hole. Hence we demonstrate the observational viability via showing the effect of the dark matter on the weak deflection angle of light.


title: Perturbed thermodynamics of charged black hole solution in Rastall theory

abstract: We study the thermodynamics of a charged black hole surrounded by a perfect fluid in Rastall theory and investigate three different cases of quintessence, dust and radiation fields. By considering thermal fluctuations, we study the corrected thermodynamics of the system. We investigate the effects of thermal fluctuations on the black hole stability, phase transition and critical points. We show that the thermal fluctuations increase instability of the black hole and may yield to the second order phase transition. We also compare our result with uncharged cases to find the effects of the black hole charge on the thermodynamics quantities. We find that large black holes behave like a Van der Waals fluid, while for the small black hole where thermal fluctuations become important, there is no Van der Waals behaviour. Finally, we briefly discuss about geometric thermodynamics to obtain corrected scalar curvature.


title: Asymptotic analysis of an optimal control problem for a viscous incompressible fluid with Navier slip boundary conditions

abstract: We consider an optimal control problem for the Navier-Stokes system with Navier slip boundary conditions. We denote by $\alpha$ the friction coefficient and we analyze the asymptotic behavior of such a problem as $\alpha\to \infty$. More precisely, we prove that if we take an optimal control for each $\alpha$, then there exists a sequence of optimal controls converging to an optimal control of the same optimal control problem for the Navier-Stokes system with the Dirichlet boundary condition. We also show the convergence of the corresponding direct and adjoint states.


title: Application-Layer Coding with Intermittent Feedback under Delay and Duty-Cycle Constraints

abstract: We propose two application-layer coding schemes for delay-constrained point-to-point packet communications with restrictions on the transmitter's maximum duty-cycle. The schemes operate over GF(2) and utilize intermittently available receiver feedback for erasure correction. Applications that will benefit from the proposed schemes include wireless sensor networks in which energy-constrained sensors must deliver readings to a gateway within a deadline. Simulation results for independent Bernoulli erasure channels, Gilbert-Elliott channels, and Long Range (LoRa) communications demonstrate orders-of-magnitude reductions in the delivery failure rate as compared to feedback-assisted repetition redundancy and a blind coding scheme that does not utilize feedback.


title: Comment on "Comment on linear confinement of a scalar particle in a G\"{o}del-type space-time"

abstract: We show that from an appropriate manipulation of the biconfluent Heun differential equation can obtain the correct expression for the energy eigenvalues for the Klein-Gordon equation without potential in the background of Som-Raychaudhuri space-time with a cosmic string as a case particular ($k_{L}=0$) of [Vit\'{o}ria et al. Eur. Phys. J. C (2018) 78:44], in opposition what was stated in a recent paper published in this journal [F. Ahmed, Eur. Phys. J. C (2019) 79:682].


title: Screening for REM Sleep Behaviour Disorder with Minimal Sensors

abstract: Rapid-Eye-Movement (REM) sleep behaviour disorder (RBD) is an early predictor of Parkinson's disease, dementia with Lewy bodies, and multiple system atrophy. This study investigates a minimal set of sensors to achieve effective screening for RBD in the population, integrating automated sleep staging (three state) followed by RBD detection without the need for cumbersome electroencephalogram (EEG) sensors. Polysomnography signals from 50 participants with RBD and 50 age-matched healthy controls were used to evaluate this study. Three stage sleep classification was achieved using a Random Forest (RF) classifier and features derived from a combination of cost-effective and easy to use sensors, namely electrocardiogram (ECG), electrooculogram (EOG), and electromyogram (EMG) channels. Subsequently, RBD detection was achieved using established and new metrics derived from ECG and EMG metrics. The EOG and EMG combination provided the best minimalist fully automated performance, achieving $0.57\pm0.19$ kappa (3 stage) for sleep staging and an RBD detection accuracy of $0.90\pm0.11$, (sensitivity, and specificity $0.88\pm0.13$, and $0.92\pm0.098$). A single ECG sensor allowed three state sleep staging with $0.28\pm0.06$ kappa and RBD detection accuracy of $0.62\pm0.10$. This study demonstrated the feasibility of using signals from a single EOG and EMG sensor to detect RBD using fully-automated techniques. This study proposes a cost-effective, practical, and simple RBD identification support tool using only two sensors (EMG and EOG), ideal for screening purposes.


title: Rationally Inattentive Inverse Reinforcement Learning Explains YouTube Commenting Behavior

abstract: We consider a novel application of inverse reinforcement learning with behavioral economics constraints to model, learn and predict the commenting behavior of YouTube viewers. Each group of users is modeled as a rationally inattentive Bayesian agent which solves a contextual bandit problem. Our methodology integrates three key components. First, to identify distinct commenting patterns, we use deep embedded clustering to estimate framing information (essential extrinsic features) that clusters users into distinct groups.Second, we present an inverse reinforcement learning algorithm that uses Bayesian revealed preferences to test for rationality: does there exist a utility function that rationalizes the given data, and if yes, can it be used to predict commenting behavior? Finally, we impose behavioral economics constraints stemming from rational inattention to characterize the attention span of groups of users. The test imposes a R{\'e}nyi mutual information cost constraint which impacts how the agent can select attention strategies to maximize their expected utility. After a careful analysis of a massive YouTube dataset, our surprising result is that in most YouTube user groups, the commenting behavior is consistent with optimizing a Bayesian utility with rationally inattentive constraints. The paper also highlights how the rational inattention model can accurately predict commenting behavior. The massive YouTube dataset and analysis used in this paper are available on GitHub and completely reproducible.


title: Joint Source-Channel Coding and Bayesian Message Passing Detection for Grant-Free Radio Access in IoT

abstract: Consider an Internet-of-Things (IoT) system that monitors a number of multi-valued events through multiple sensors sharing the same bandwidth. Each sensor measures data correlated to one or more events, and communicates to the fusion center at a base station using grant-free random access whenever the corresponding event is active. The base station aims at detecting the active events, and, for each active event, to determine a scalar value describing each active event's state. A conventional solution based on Separate Source-Channel (SSC) coding would use a separate codebook for each sensor and decode the sensors' transmitted packets at the base station in order to subsequently carry out events' detection. In contrast, this paper considers a potentially more efficient solution based on Joint Source-Channel (JSC) coding via a non-orthogonal generalization of Type-Based Multiple Access (TBMA). Accordingly, all sensors measuring the same event share the same codebook (with non-orthogonal codewords), and the base station directly detects the events' values without first performing individual decoding for each sensor. A novel Bayesian message-passing detection scheme is developed for the proposed TBMA-based protocol, and its performance is compared to conventional solutions.


title: Gleason parts and point derivations for uniform algebras with dense invertible group II

abstract: Due to the omission of a hypothesis from an elementary lemma in the author's paper "Gleason parts and point derivations for uniform algebras with dense invertible group", some of the proofs presented in that paper are flawed. We prove here that nevertheless, all of the results in that paper, with the exception of the one misstated lemma, are correct. In the process, we strengthen slightly some of the results of that paper.


title: Should citations be field-normalized in evaluative bibliometrics? An empirical analysis based on propensity score matching

abstract: Field-normalization of citations is bibliometric standard. Despite the observed differences in citation counts between fields, the question remains how strong fields influence citation rates beyond the effect of attributes or factors possibly influencing citations (FICs). We considered several FICs such as number of pages and number of co-authors in this study. We wondered whether there is a separate field-effect besides other effects (e.g., from numbers of pages and co-authors). To find an answer on the question in this study, we applied inverse-probability of treatment weighting (IPW). Using Web of Science data (a sample of 308,231 articles), we investigated whether mean differences among subject categories in citation rates still remain, even if the subject categories are made comparable in the field-related attributes (e.g., comparable of co-authors, comparable number of pages) by IPW. In a diagnostic step of our statistical analyses, we considered propensity scores as covariates in regression analyses to examine whether the differences between the fields in FICs vanish. The results revealed that the differences did not completely vanish but were strongly reduced. We received similar results when we calculated mean value differences of the fields after IPW representing the causal or unconfounded field effects on citations. However, field differences in citation rates remain. The results point out that field-normalization seems to be a prerequisite for citation analysis and cannot be replaced by the consideration of any set of FICs in citation analyses.


title: Nanovortex-driven all-dielectric optical diffusion boosting and sorting concept for lab-on-a-chip platforms

abstract: The ever-growing field of microfluidics requires precise and flexible control over fluid flow at the micro- and nanoscales. Current constraints demand a variety of controllable components for performing different operations inside closed microchambers and microreactors. In this context, novel nanophotonic approaches can significantly enhance existing capabilities and provide new functionalities via finely tuned light-matter interaction mechanisms. Here we propose a novel design, featuring a dual functionality on-chip: boosted optically-driven particle diffusion and nanoparticle sorting. Our methodology is based on a specially designed high-index dielectric nanoantenna, which strongly enhances spin-orbit angular momentum transfer from an incident laser beam to the scattered field. As a result, exceptionally compact, subwavelength optical nanovortices are formed and drive spiral motion of peculiar plasmonic nanoparticles via the efficient interplay between curled spin optical forces and radiation pressure. The nanovortex size is an order of magnitude smaller than that provided by conventional beam-based approaches. The nanoparticles mediate nano-confined fluid motion enabling nanomixing without a need of moving bulk elements inside a microchamber. Moreover, precise sorting of gold nanoparticles, demanded for on-chip separation and filtering, can be achieved by exploiting the non-trivial dependence of the curled optical forces on the nanoobject size. Altogether, this study introduces a versatile platform for further miniaturization of moving-part-free, optically driven microfluidic chips for fast chemical synthesis and analysis, preparation of emulsions, or generation of chemical gradients with light-controlled navigation of nanoparticles, viruses or biomolecules.


title: Unitization of a lattice ordered ring with a truncation

abstract: Let $R$ be a lattice ordered ring along with a truncation in the sense of Ball. We give a necessary and sufficient condition on $R$ for its unitization $R\oplus\mathbb{Q}$ to be again a lattice ordered ring. Also, we shall see that $R\oplus\mathbb{Q}$ is a lattice ordered ring for at most one truncation. Particular attention will be paid to the Archimedean case. More precisely, we shall identify the unique truncation on an Archimedean $\ell$-ring $R$ which makes $R\oplus\mathbb{Q}$ into a lattice ordered ring.


title: Bound states in the tachyon exchange potential

abstract: The Klein-Gordon field of imaginary mass is considered as a mediator of particle interaction. The static tachyon exchange potential is derived and its applied meaning is discussed. The Schr\"odinger equation with this potential is studied by means of variational and numerical methods. Conditions for existence of bound states are analyzed.


title: Multi-scale Deep Neural Networks for Solving High Dimensional PDEs

abstract: In this paper, we propose the idea of radial scaling in frequency domain and activation functions with compact support to produce a multi-scale DNN (MscaleDNN), which will have the multi-scale capability in approximating high frequency and high dimensional functions and speeding up the solution of high dimensional PDEs. Numerical results on high dimensional function fitting and solutions of high dimensional PDEs, using loss functions with either Ritz energy or least squared PDE residuals, have validated the increased power of multi-scale resolution and high frequency capturing of the proposed MscaleDNN.


title: Self-adjoint Dirac operators on domains in $\mathbb{R}^3$

abstract: In this paper the spectral and scattering properties of a family of self-adjoint Dirac operators in $L^2(\Omega; \mathbb{C}^4)$, where $\Omega \subset \mathbb{R}^3$ is either a bounded or an unbounded domain with a compact $C^2$-smooth boundary, are studied in a systematic way. These operators can be viewed as the natural relativistic counterpart of Laplacians with Robin boundary conditions. Among the Dirac operators treated here is also the so-called MIT bag operator, which has been used by physicists and more recently was discussed in the mathematical literature. Our approach is based on abstract boundary triple techniques from extension theory of symmetric operators and a thorough study of certain classes of (boundary) integral operators, that appear in a Krein-type resolvent formula. The analysis of the perturbation term in this formula leads to a description of the spectrum and a Birman-Schwinger principle, a qualitative understanding of the scattering properties in the case that $\Omega$ is unbounded, and corresponding trace formulas.


title: NEP: a module for the parallel solution of nonlinear eigenvalue problems in SLEPc

abstract: SLEPc is a parallel library for the solution of various types of large-scale eigenvalue problems. In the last years we have been developing a module within SLEPc, called NEP, that is intended for solving nonlinear eigenvalue problems. These problems can be defined by means of a matrix-valued function that depends nonlinearly on a single scalar parameter. We do not consider the particular case of polynomial eigenvalue problems (which are implemented in a different module in SLEPc) and focus here on rational eigenvalue problems and other general nonlinear eigenproblems involving square roots or any other nonlinear function. The paper discusses how the NEP module has been designed to fit the needs of applications and provides a description of the available solvers, including some implementation details such as parallelization. Several test problems coming from real applications are used to evaluate the performance and reliability of the solvers.


title: ALET (Automated Labeling of Equipment and Tools): A Dataset, a Baseline and a Usecase for Tool Detection in the Wild

abstract: Robots collaborating with humans in realistic environments will need to be able to detect the tools that can be used and manipulated. However, there is no available dataset or study that addresses this challenge in real settings. In this paper, we fill this gap by providing an extensive dataset (METU-ALET) for detecting farming, gardening, office, stonemasonry, vehicle, woodworking and workshop tools. The scenes correspond to sophisticated environments with or without humans using the tools. The scenes we consider introduce several challenges for object detection, including the small scale of the tools, their articulated nature, occlusion, inter-class invariance, etc. Moreover, we train and compare several state of the art deep object detectors (including Faster R-CNN, Cascade R-CNN, RepPoint and RetinaNet) on our dataset. We observe that the detectors have difficulty in detecting especially small-scale tools or tools that are visually similar to parts of other tools. This in turn supports the importance of our dataset and paper. With the dataset, the code and the trained models, our work provides a basis for further research into tools and their use in robotics applications.


title: Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation

abstract: We consider the verification of lock-free data structures that manually manage their memory with the help of a safe memory reclamation (SMR) algorithm. Our first contribution is a type system that checks whether a program properly manages its memory. If the type check succeeds, it is safe to ignore the SMR algorithm and consider the program under garbage collection. Intuitively, our types track the protection of pointers as guaranteed by the SMR algorithm. There are two design decisions. The type system does not track any shape information, which makes it extremely lightweight. Instead, we rely on invariant annotations that postulate a protection by the SMR. To this end, we introduce angels, ghost variables with an angelic semantics. Moreover, the SMR algorithm is not hard-coded but a parameter of the type system definition. To achieve this, we rely on a recent specification language for SMR algorithms. Our second contribution is to automate the type inference and the invariant check. For the type inference, we show a quadratic-time algorithm. For the invariant check, we give a source-to-source translation that links our programs to off-the-shelf verification tools. It compiles away the angelic semantics. This allows us to infer appropriate annotations automatically in a guess-and-check manner. To demonstrate the effectiveness of our type-based verification approach, we check linearizability for various list and set implementations from the literature with both hazard pointers and epoch-based memory reclamation. For many of the examples, this is the first time they are verified automatically. For the ones where there is a competitor, we obtain a speed-up of up to two orders of magnitude.


title: Lattice norms on the unitization of a truncated normed Riesz space

abstract: Truncated Riesz spaces was first introduced by Fremlin in the context of real-valued functions. An appropriate axiomatization of the concept was given by Ball. Keeping only the first Ball's Axiom (among three) as a definition of truncated Riesz spaces, the first named author and El Adeb proved that if $E$ is truncated Riesz space then $E\oplus\mathbb{R}$ can be equipped with a non-standard structure of Riesz space such that $E$ becomes a Riesz subspace of $E\oplus\mathbb{R}$ and the truncation of $E$ is provided by meet with $1$. In the present paper, we assume that the truncated Riesz space $E$ has a lattice norm $\left\Vert .\right\Vert $ and we give a necessary and sufficient condition for $E\oplus\mathbb{R}$ to have a lattice norm extending $\left\Vert .\right\Vert $. Moreover, we show that under this condition, the set of all lattice norms on $E\oplus\mathbb{R}$ extending $\left\Vert .\right\Vert $ has essentially a largest element $\left\Vert .\right\Vert _{1}$ and a smallest element $\left\Vert .\right\Vert _{0}$. Also, it turns out that any alternative lattice norm on $E\oplus\mathbb{R}$ is either equivalent to $\left\Vert .\right\Vert _{1}$ or equals $\left\Vert .\right\Vert _{0}$. As consequences, we show that $E\oplus\mathbb{R}$ is a Banach lattice if and only if $E$ is a Banach lattice and we get a representation's theorem sustained by the celebrate Kakutani's Representation Theorem.


title: Bounded cohomology of amenable covers via classifying spaces

abstract: Gromov and Ivanov established an analogue of Leray's theorem on cohomology of contractible covers for bounded cohomology of amenable covers. We present an alternative proof of this fact, using classifying spaces of families of subgroups.


title: Selective Lambda Lifting

abstract: Lambda lifting is a well-known transformation, traditionally employed for compiling functional programs to supercombinators. However, more recent abstract machines for functional languages like OCaml and Haskell tend to do closure conversion instead for direct access to the environment, so lambda lifting is no longer necessary to generate machine code. We propose to revisit selective lambda lifting in this context as an optimising code generation strategy and conceive heuristics to identify beneficial lifting opportunities. We give a static analysis for estimating impact on heap allocations of a lifting decision. Performance measurements of our implementation within the Glasgow Haskell Compiler on a large corpus of Haskell benchmarks suggest modest speedups.


title: Shelving spectroscopy of the strontium intercombination line

abstract: We present a spectroscopy scheme for the 7-kHz-wide 689-nm intercombination line of strontium. We rely on shelving detection, where electrons are first excited to a metastable state by the spectroscopy laser before their state is probed using the broad transition at 461 nm. As in the similar setting of calcium beam clocks, this enhances dramatically the signal strength as compared to direct saturated fluorescence or absorption spectroscopy of the narrow line. We implement shelving spectroscopy both in directed atomic beams and hot vapor cells with isotropic atomic velocities. We measure a fractional frequency instability $\sim 2 \times 10^{-12}$ at 1 s limited by technical noise - about one order of magnitude above shot noise limitations for our experimental parameters. Our work illustrates the robustness and flexibility of a scheme that can be very easily implemented in the reference cells or ovens of most existing strontium experiments, and may find applications for low-complexity clocks.


title: Polynomial approximation on $C^2$-domains

abstract: We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact $C^2$-domain $\Omega\subset \mathbb{R}^d$. This new modulus of smoothness is defined via finite differences along the directions of coordinate axes, and along a number of tangential directions from the boundary. With this modulus, we prove both the direct Jackson inequality and the corresponding inverse for best polynomial approximation in $L_p(\Omega)$. The Jackson inequality is established for the full range of $0<p\leq \infty$, while its proof relies on (i) Whitney type estimates with constants depending only on certain parameters; and (ii) highly localized polynomial partitions of unity on a $C^2$-domain. Both (i) and (ii) are of independent interest. In particular, our Whitney type estimate (i) is established for directional moduli of smoothness rather than the ordinary moduli of smoothness, and is applicable to functions on a very wide class of domains (not necessarily convex). It generalizes an earlier result of Dekel and Leviatan on Whitney type estimates on convex domains. The inverse inequality is established for $1\leq p\leq \infty$, and its proof relies on a new Bernstein type inequality associated with the tangential derivatives on the boundary of $\Omega$. Such an inequality also allows us to establish the Marcinkiewicz-Zygmund type inequalities, positive cubature formula, as well as the inverse theorem for Ivanov's average moduli of smoothness on general compact $C^2$-domains.


title: Bayesian epidemiological modeling over high-resolution network data

abstract: Mathematical epidemiological models have a broad use, including both qualitative and quantitative applications. With the increasing availability of data, large-scale quantitative disease spread models can nowadays be formulated. Such models have a great potential, e.g., in risk assessments in public health. Their main challenge is model parameterization given surveillance data, a problem which often limits their practical usage. We offer a solution to this problem by developing a Bayesian methodology suitable to epidemiological models driven by network data. The greatest difficulty in obtaining a concentrated parameter posterior is the quality of surveillance data; disease measurements are often scarce and carry little information about the parameters. The often overlooked problem of the model's identifiability therefore needs to be addressed, and we do so using a hierarchy of increasingly realistic known truth experiments. Our proposed Bayesian approach performs convincingly across all our synthetic tests. From pathogen measurements of shiga toxin-producing Escherichia coli O157 in Swedish cattle, we are able to produce an accurate statistical model of first-principles confronted with data. Within this model we explore the potential of a Bayesian public health framework by assessing the efficiency of disease detection and -intervention scenarios.


title: Learning Mixtures of Plackett-Luce Models from Structured Partial Orders

abstract: Mixtures of ranking models have been widely used for heterogeneous preferences. However, learning a mixture model is highly nontrivial, especially when the dataset consists of partial orders. In such cases, the parameter of the model may not be even identifiable. In this paper, we focus on three popular structures of partial orders: ranked top-$l_1$, $l_2$-way, and choice data over a subset of alternatives. We prove that when the dataset consists of combinations of ranked top-$l_1$ and $l_2$-way (or choice data over up to $l_2$ alternatives), mixture of $k$ Plackett-Luce models is not identifiable when $l_1+l_2\le 2k-1$ ($l_2$ is set to $1$ when there are no $l_2$-way orders). We also prove that under some combinations, including ranked top-$3$, ranked top-$2$ plus $2$-way, and choice data over up to $4$ alternatives, mixtures of two Plackett-Luce models are identifiable. Guided by our theoretical results, we propose efficient generalized method of moments (GMM) algorithms to learn mixtures of two Plackett-Luce models, which are proven consistent. Our experiments demonstrate the efficacy of our algorithms. Moreover, we show that when full rankings are available, learning from different marginal events (partial orders) provides tradeoffs between statistical efficiency and computational efficiency.


title: Uncountably many permutation stable groups

abstract: In a 1937 paper B.H. Neumann constructed an uncountable family of $2$-generated groups. We prove that all of his groups are permutation stable by analyzing the structure of their invariant random subgroups.


title: The Racah algebra and $\mathfrak{sl}_n$

abstract: We conjecture the existence of an embedding of the Racah algebra into the universal enveloping algebra of $\mathfrak{sl}_n$. Evidence of this conjecture is offered by realizing both algebras using differential operators and giving an embedding in this realization.


title: Embracing a mechanized formalization gap

abstract: If a code base is so big and complicated that complete mechanical verification is intractable, can we still apply and benefit from verification methods? We show that by allowing a deliberate mechanized formalization gap we can shrink and simplify the model until it is manageable, while still retaining a meaningful, declaratively documented connection to the original, unmodified source code. Concretely, we translate core parts of the Haskell compiler GHC into Coq, using hs-to-coq, and verify invariants related to the use of term variables.


title: Concerning Moessbauer experiments in a rotating system and their physical interpretation

abstract: We shortly review different attempts to interpret the results of Moessbauer rotor experiments in a rotating system and particularly we show that the latest work on this subject by J. Iovane and E. Benedetto (Ann. Phys., in press), which claims that the outcomes of these experiments can supposedly be explained via "desynchronization of clocks" in the rotating frame and in the laboratory frame, is inapplicable to all of the Moessbauer rotor experiments performed up to date and thus does not have any significance.


title: A quasi-static model for craquelure patterns

abstract: We consider the quasi-static evolution of a brittle layer on a stiff substrate; adhesion between layers is assumed to be elastic. Employing a phase-field approach we obtain the quasi-static evolution as the limit of time-discrete evolutions computed by an alternate minimization scheme. We study the limit evolution, providing a qualitative discussion of its behaviour and a rigorous characterization, in terms of parametrized balanced viscosity evolutions. Further, we study the transition layer of the phase-field, in a simplified setting, and show that it governs the spacing of cracks in the first stages of the evolution. Numerical results show a good consistency with the theoretical study and the local morphology of real life craquelure patterns.


title: Towards a Prototype Global CO2 Emissions Monitoring System for Copernicus

abstract: This document describes in detail a new hybrid ensemble-variational algorithm that generalizes existing ensemble or variational data assimilation approaches and would enable joint state/parameter estimations in ECMWF's Integrated Forecasting System (IFS). The proposed methodology is intended to serve as the basis for a prototype Copernicus CO2 emission monitoring service. The main characteristics of the system are: 1) 4D hybridization of ensemble information with full-rank statistical modeling by combining an ensemble-based increment with an adjoint-based increment propagation, allowing one to increase current spatial resolution and/or include forward model processes missing from the adjoint integration; 2) combination of tangent-linear and adjoint solvers with ensemble-based approximations of transport Jacobians to construct a long-window 4D-Var with timescales relevant to greenhouse gas source inversion. The proposed methodology is non-intrusive in the sense that the main structure of the current incremental 4D-Var algorithm remains unchanged, while the additional computational cost associated with the source inversion component is minimized.


title: The realization and classification of topologically transitive group actions on $1$-manifolds

abstract: In this report, we first recall the Poincar\'e's classification theorem for minimal orientation-preserving homeomorphisms on the circle and the Ghys' classification theorem for minimal orientation-preserving group actions on the circle. Then we introduce a classification theorem for a specified class of topologically transitive orientation-preserving group actions on the circle by $\mathbb Z^d$. Also, some groups that admit/admit no topologically transitive actions on the line are determined.


title: Weak Evolution of the Mass-metallicity Relation at Cosmic Dawn in the FirstLight Simulations

abstract: Little is known about the mass-metallicity relation (MZR) in galaxies at cosmic dawn. Studying the first appearance of the MZR is one of the keys to understanding the formation and evolution of the first galaxies. In order to lay the groundwork for upcoming observational campaigns, we analyze 290 galaxies in halos spanning Mh = 10^9-10^11 Msun selected from the FirstLight (FL) cosmological zoom simulations to predict the MZR at z=5-8. Over this interval, the metallicity of FL galaxies with stellar mass Ms= 10^8 Msun declines by < 0.2 dex. This contrasts with the observed tendency for metallicities to increase at lower redshifts, and reflects weakly-evolving or even increasing gas fractions. We assess the use of the R3 strong-line diagnostic as a metallicity indicator, finding that it is informative for 12+log(O/H) < 8 but saturates to R3=3 at higher metallicities owing to a cancellation between enrichment and spectral softening. Nonetheless, campaigns with JWST should be able to detect a clear trend between R3 and stellar mass for Ms > 10^7.5 Msun. We caution that, at fixed metallicity, galaxies with higher specific star formation show higher R3 owing to their more intense radiation fields, indicating a potential for selection biases.


title: A diagnosis scheme for topological degeneracies at high-symmetry momenta

abstract: Theories of symmetry-based indicators and topological quantum chemistry, while powerful in diagnosing gapped topological materials, cannot be directly applied to diagnosing band degeneracies at high-symmetry momenta due to the violation of the compatibility conditions. Here we design a recursive protocol that utilizes indicators of maximal subgroups to infer the topological nature of band degeneracies at high-symmetry lines. For demonstration, the method is used to predict the existence of iso-energy Weyl points and a node-line cage, respectively, in the phonon bands of In2Te and ZrSiO.


title: Geometric orbital integrals and the center of the enveloping algebra

abstract: The purpose of this paper is to extend the explicit geometric evaluation of semisimple orbital integrals for smooth kernels for the Casimir operator obtained by the first author to the case of kernels for arbitrary elements in the center of the enveloping algebra.


title: Bubbling phenomenon for Hermitian Yang-Mills connections

abstract: We construct local examples of singular Hermitian Yang-Mills connections over $B_1\subset \mathbb{C}^3$ with uniformly bounded $L^2$-energy, but the number of essential singular points can be arbitrarily large.


title: Separation profiles, isoperimetry, growth and compression

abstract: We give lower and upper bounds for the separation profile (introduced by Benjamini, Schramm & Tim\'ar) for various graphs using the isoperimetric profile, growth and Hilbertian compression. For graphs which have polynomial isoperimetry and growth, we show that the separation profile $\mathrm{Sep}(n)$ is also bounded by powers of $n$. For many amenable groups, we show a lower bound in $n/ \log(n)^a$ and, for any group which has a non-trivial compression exponent in an $L^p$-space, an upper bound in $n/ \log(n)^b$. We show that solvable groups of exponential growth cannot have a separation profile bounded above by a sublinear power function. In an appendix, we introduce the notion of local separation, with applications for percolation clusters of $ \mathbb{Z}^{d} $ and graphs which have polynomial isoperimetry and growth.


title: What Smartphones, Ethnomethodology, and Bystander Inaccessibility Can Teach Us About Better Design?

abstract: Smartphones, the ubiquitous mobile screens now normal parts of everyday social situations, have created a kind of ongoing natural experiment for social scientists. According to Garfinkel's ethnomethodology social action gets its meaning not only from its content but also through its context. Mobility, small screen size, and the habitual way of using smartphones ensure that, while offering the biggest variety of activities for the user, in comparison to other everyday items, smartphones offer the least cues to bystanders on what the user is actually doing and how long it might take. This 'bystander inaccessibility' handicaps shared understanding of the social context that the user and collocated others find themselves in. Added considerations and interactive effort in managing the situation is therefore required. Future design needs to relate to this basic building block of collocated interaction to not be met with discontent.


title: Third order viscous hydrodynamics from the entropy four current

abstract: Non-equilibrium dynamics for relativistic fluid or quark gluon plasma (QGP) have already been calculated earlier upto third order using both kinetic and thermodynamic approaches. Calculations presented in this manuscript are based on thermodynamics principles. The expressions for third order dissipative fluxes have been derived from equation for entropy 4-current developed earlier by A. Muronga. The relaxation equations in the present work have been developed in a simple Bjorken (1+1)D scenario and Eckart frame. The relaxation equations are found to have slightly different values for the coupling coefficients as compared to calculations from earlier models. The solutions to the differential equations have been found to be sensitive to values of these coefficients. The shear relaxation equations derived in third order theory are discussed term by term. Effects of third order theory on shear relaxation time has been discussed. Thermodynamic quantities related to hot and dense matter have been calculated as functions of proper time. Moreover, various initial conditions for the relaxation equations have been assumed to study their effects on above mentioned observables. A LHC QGP formation time of $\tau_0$ = 0.4 fm/c and temperature of T$_0$ = 500 MeV have been assumed.


title: Machine learning of committor functions for predicting high impact climate events

abstract: There is a growing interest in the climate community to improve the prediction of high impact climate events, for instance ENSO (El-Ni{\~n}o-Southern Oscillation) or extreme events, using a combination of model and observation data. In this note we explain that, in a dynamical context, the relevant quantity for predicting a future event is a committor function. We explain the main mathematical properties of this probabilistic concept. We compute and discuss the committor function of the Jin and Timmerman model of El-Ni{\~n}o. Our first conclusion is that one should generically distinguish between states with either intrinsic predictability or intrinsic unpredictability. This predictability concept is markedly different from the deterministic unpredictability arising because of chaotic dynamics and exponential sensibility to initial conditions. The second aim of this work is to compare the inference of a committor function from data, either through a direct approach or through a machine learning approach using neural networks. We discuss the consequences of this study for future applications to more complex data sets.


title: Coalitional Games with Stochastic Characteristic Functions and Private Types

abstract: The research on coalitional games has focused on how to share the reward among a coalition such that players are incentivised to collaborate together. It assumes that the (deterministic or stochastic) characteristic function is known in advance. This paper studies a new setting (a task allocation problem) where the characteristic function is not known and it is controlled by some private information from the players. Hence, the challenge here is twofold: (i) incentivize players to reveal their private information truthfully, (ii) incentivize them to collaborate together. We show that existing reward distribution mechanisms or auctions cannot solve the challenge. Hence, we propose the very first mechanism for the problem from the perspective of both mechanism design and coalitional games.


title: Measurement of $\Lambda_{\rm c}^{+}$ baryons and ${\rm D}_{\rm s}^{+}$ mesons in Pb-Pb collisions with ALICE

abstract: The study of heavy-flavour (charm and beauty) production is important to understand the properties of the Quark-Gluon Plasma (QGP) formed in ultra-relativistic heavy-ion collisions, since heavy quarks are produced in the initial stages of the collisions and subsequently interact with the medium throughout its evolution. In the QGP, strange quarks are expected to be abundantly produced and may recombine with charm quarks leading to an enhancement of the nuclear modification factor ($R_{\rm AA}$) of ${\rm D}_{\rm s}^{+}$ mesons compared to that of other charmed meson states at low and intermediate $p_{\rm T}$. The measurement of elliptic flow ($v_{2}$) of ${\rm D}_{\rm s}^{+}$ mesons is useful to determine the degree of thermalisation of charm quarks in the collective expansion of the QGP. In addition, charm quarks could recombine with light di-quark states in the medium, which would lead to an enhancement of the $\Lambda_{\rm c}^{+}/{\rm D}^{0}$ baryon-to-meson ratio as compared to that in pp collisions. Precise measurements of these particle species in Pb-Pb collisions, therefore, give a deeper insight into the hadronisation mechanisms that heavy quarks undergo in the strongly-interacting medium. In this contribution, the latest results measured with ALICE for ${\rm D}_{\rm s}^{+}$-meson and $\Lambda_{\rm c}^{+}$-baryon production in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, using data from Run 2 of the LHC are discussed.


title: High-repetition-rate source delivering optical pulse trains with a controllable level of amplitude and temporal jitters

abstract: We theoretically propose and numerically validate an all-optical scheme to generate optical pulse trains with varying peak-powers and durations. A shaping of the spectral phase thanks to discrete $\pi/2$ phase shifts enables an efficient phase-to-intensity conversion of a temporal phase modulation based on a two-tone sinusoidal beating. Experiments carried out at telecommunication wavelengths and at a repetition rate of 10 GHz confirm the ability of our approach to efficiently generate a train made of pulses with properties that vary from pulse-to-pulse. The levels of jitters can be accurately controlled.


title: The $0$-Rook Monoid and its Representation Theory

abstract: We show that a proper degeneracy at $q=0$ of the $q$-deformed rook monoid of Solomon is the algebra of a monoid $R_n^0$ namely the $0$-rook monoid, in the same vein as Norton's $0$-Hecke algebra being the algebra of a monoid $H_n^0 = H^0(A_{n-1})$ (in Cartan type~$A_{n-1}$). As expected, $R_n^0$ is closely related to the latter: it contains the $H^0(A_{n-1})$ monoid and is a quotient of $H^0(B_{n})$. We give a presentation for this monoid as well as a combinatorial realization as functions acting on the classical rook monoid itself. On the way we get a Matsumoto theorem for the rook monoid a result which was conjectured by Solomon. The $0$-rook monoid shares many combinatorial properties with the Hecke monoid: its Green right preorder is an actual order, and moreover a lattice (analogous to the right weak order) which has some nice combinatorial, and geometrical features. In particular the $0$-rook monoid is J-trivial. Following Denton-Hivert-Schilling-Thi\'ery, it allows us to describe its representation theory including the description of the simple and projective modules. We further show that $R_n^0$ is projective on $H_n^0$ and make explicit the restriction and induction functors along the inclusion map. We finally give a (partial) associative tower structures on the family of $(R_n^0)$ and we discuss its representation theory.


title: Implementing choreography extraction

abstract: Choreography extraction deals with the generation of a choreography (a global description of communication behaviour) from a set of local process behaviours. In this work, we implement a previously proposed theory for extraction and show that, in spite of its theoretical exponential complexity, it is usable in practice. We discuss the data structures needed for an efficient implementation, introduce some optimizations, and perform a systematic practical evaluation.


title: Analysis of free recall dynamics of an abstract working memory model

abstract: This paper analyzes the free recall dynamics of a working memory model. Free recalling is the reactivation of a stored pattern in the memory in the absence of the pattern. Our free recall model is based on an abstract model of a modular neural network composed on $N$ modules, hypercolumns, each of which is a bundle of minicolumns. This paper considers a network of $N$ modules, each consisting of two minicolumns, over a complete graph topology. We analyze the free recall dynamics assuming a constant, and homogeneous coupling between the network modules. We obtain a sufficient condition for synchronization of network's minicolumns whose activities are positively correlated. Furthermore, for the synchronized network, the bifurcation analysis of one module is presented. This analysis gives a necessary condition for having a stable limit cycle as the attractor of each module. The latter implies recalling a stored pattern. Numerical results are provided to verify the theoretical analysis.


title: Boosting heritability: estimating the genetic component of phenotypic variation with multiple sample splitting

abstract: Background: Heritability is a central measure in genetics quantifying how much of the variability observed in a trait is attributable to genetic differences. Existing methods for estimating heritability are most often based on random-effect models, typically for computational reasons. The alternative of using a fixed-effect model has received much more limited attention in the literature. Results: In this paper, we propose a generic strategy for heritability inference, termed as ``boosting heritability", by combining the advantageous features of different recent methods to produce an estimate of the heritability with a high-dimensional linear model. Boosting heritability uses in particular a multiple sample splitting strategy which leads in general to a stable and and accurate estimate. We use both simulated data and real antibiotic resistance data from a major human pathogen, Sptreptococcus pneumoniae, to demonstrate the attractive features of our inference strategy. Conclusions: Boosting is shown to offer a reliable and practically useful tool for inference about heritability.


title: Rhoban Football Club: RoboCup Humanoid KidSize 2019 Champion Team Paper

abstract: In 2019, Rhoban Football Club reached the first place of the KidSize soccer competition for the fourth time and performed the first in-game throw-in in the history of the Humanoid league. Building on our existing code-base, we improved some specific functionalities, introduced new behaviors and experimented with original methods for labeling videos. This paper presents and reviews our latest changes to both software and hardware, highlighting the lessons learned during RoboCup.


title: Exclusive Channel Study of the Muon HVP

abstract: The Hadronic Vacuum Polarization (HVP) is a dominant contribution to the theoretical uncertainty of the muon anomalous magnetic moment. The uncertainty in a lattice QCD calculation of the connected light-quark contribution to the HVP is dominated by the long-distance region of the vector correlation function. Explicit studies of the exclusive channels of the HVP diagram make it possible to reconstruct the long-distance behavior of the correlation function. This removes most of the statistical uncertainty of the correlation function. In these proceedings, preliminary results of an exclusive study of the isospin symmetric connected-only vector-vector correlation function using a hybrid of distillation and A2A techniques are presented. The computation is performed on 2+1 flavor M\"obius Domain Wall Fermion ensembles with physical pion mass. Reconstruction of the long-distance correlation function will enable lattice-only calculations of the HVP to achieve precision similar to estimates of the HVP from the R-ratio method on the timescale of the new experimental measurements of the muon anomalous magnetic moment.


title: Hadron-in-jet production at partonic threshold

abstract: We consider the longitudinal momentum distribution of hadrons inside jets in proton-proton collisions. At partonic threshold large double logarithmic corrections arise which need to be resummed to all orders. We develop a factorization formalism within SCET that allows for the joint resummation of threshold and jet radius logarithms. We achieve next-to-leading logarithmic NLL$'$ accuracy by including non-global logarithms in the leading-color approximation. Overall, we find that the threshold resummation leads to a sizable enhancement of the cross section and a reduced QCD scale dependence, suggesting that the all-order resummation can be important for the reliable extraction of fragmentation functions in global analyses when jet substructure data is included.


title: General modular quantum dilogarithm and beta integrals

abstract: We consider a univariate beta integral composed from general modular quantum dilogarithm functions and prove its exact evaluation formula. It represents the partition function of a particular $3d$ supersymmetric field theory on the general squashed lens space. Its possible applications to $2d$ conformal field theory are briefly discussed as well.


title: Theory of transformation-mediated twinning

abstract: High-density and nanosized deformation twins in face-centered cubic (fcc)materials can effectively improve the combination of strength and ductility. However, the microscopic dislocation mechanisms enabling a high twinnability remain elusive. Twinning usually occurs via continuous nucleation and gliding of twinning partial dislocations on consecutive close-packed atomic planes. Here we unveil a completely different twinning mechanism being active in metastable fcc materials. The transformation-mediated twinning (TMT) is featured by a preceding displacive transformation from the fcc phase to the hexagonal close-packed (hcp) one, followed by a second-step transformation from the hcp phase to the fcc twin. The nucleation of the intermediate hcp phase is driven by the thermodynamic instability and the negative stacking fault energy of the metastable fcc phase. The intermediate hcp structure is characterized by the easy slips of Shockley partial dislocations on the basal planes, which leads to both fcc and fcc twin platelets during deformation, creating more twin boundaries and further enhancing the prosperity of twins. The disclosed fundamental understanding of the complex dislocation mechanism of deformation twinning in metastable alloys paves the road to design novel materials with outstanding mechanical properties.