title: Improved current density and magnetisation reconstruction through vector magnetic field measurements

abstract: Stray magnetic fields contain significant information about the electronic and magnetic properties of condensed matter systems. For two-dimensional (2D) systems, stray field measurements can even allow full determination of the source quantity. For instance, a 2D map of the stray magnetic field can be uniquely transformed into the 2D current density that gave rise to the field and, under some conditions, into the equivalent 2D magnetisation. However, implementing these transformations typically requires truncation of the initial data and involves singularities that may introduce errors, artefacts, and amplify noise. Here we investigate the possibility of mitigating these issues through vector measurements. For each scenario (current reconstruction and magnetisation reconstruction) the different possible reconstruction pathways are analysed and their performances compared. In particular, we find that the simultaneous measurement of both in-plane components ($B_x$ and $B_y$) enables near-ideal reconstruction of the current density, without singularity or truncation artefacts, which constitutes a significant improvement over reconstruction based on a single component (e.g. $B_z$). On the other hand, for magnetisation reconstruction, a single measurement of the out-of-plane field ($B_z$) is generally the best choice, regardless of the magnetisation direction. We verify these findings experimentally using nitrogen-vacancy magnetometry in the case of a 2D current density and a 2D magnet with perpendicular magnetisation.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph physics.data-an


title: On the Stochastic Control-Stopping Problem

abstract: We study the stochastic control-stopping problem when the data are of polynomial growth. The approach is based on backward stochastic dierential equations (BSDEs for short). The problem turns into the study of a specic reected BSDE with a stochastic Lipschitz coecient for which we show existence and uniqueness of the solution. We then establish its relationship with the value function of the control-stopping problem. The optimal strategy is exhibited. Finally in the Markovian framework we prove that the value function is the unique viscosity solution of the associated Hamilton-Jacobi-Bellman equation.


title: Routes to extreme events in dynamical systems: Dynamical and Statistical Characteristics

abstract: Intermittent large amplitude events are seen in the temporal evolution of a state variable of many dynamical systems. Such intermittent large events suddenly start appearing in dynamical systems at a critical value of a system parameter and continues for a range of parameter values. Three important processes of instabilities, namely, interior crisis, Pomeau-Manneville intermittency and the breakdown of quasiperiodic motion, are most common as observed in many systems that lead to such occasional and rare transitions to large amplitude spiking events. We characterize these occasional large events as extreme events if they are larger than a statistically defined significant height. We present two exemplary systems, a single system and a coupled system to illustrate how the instabilities work to originate as extreme events and they manifest as non-trivial dynamical events. We illustrate the dynamical and statistical properties of such events.


title: High Precision Indoor Navigation for Autonomous Vehicles

abstract: Autonomous driving is an important trend of the automotive industry. The continuous research towards this goal requires a precise reference vehicle state estimation under all circumstances in order to develop and test autonomous vehicle functions. However, even when lane-accurate positioning is expected from oncoming technologies, like the L5 GPS band, the question of accurate positioning in roofed areas, e.\,g., tunnels or park houses, still has to be addressed. In this paper, a novel procedure for a reference vehicle state estimation is presented. The procedure includes three main components. First, a robust standstill detection based purely on signals from an Inertial Measurement Unit. Second, a vehicle state estimation by means of statistical filtering. Third, a high accuracy LiDAR-based positioning method that delivers velocity, position and orientation correction data with a mean error of 0.1 m/s, 4.7 cm and 1$^\circ$ respectively. Runtime tests on a CPU indicates the possibility of real-time implementation.


title: Linear Quadratic Gaussian Mean-Field Controls of Social Optima

abstract: This paper investigates a class of unified stochastic linear quadratic Gaussian (LQG) social optima problems involving a large number of weakly-coupled interactive agents under a {generalized} setting. For each individual agent, the control and state process enters both diffusion and drift terms in its linear dynamics, and the control weight might be \emph{indefinite} in cost functional. This setup is {innovative and has great theoretical and realistic significance} as its applications in mathematical finance {(e.g., portfolio selection in mean-variation model)}. Using some \emph{fully-coupled} variational analysis under person-by-person optimality principle, and mean-field approximation method, the decentralized social control is derived by a class of new type consistency condition (CC) system for typical representative agent. Such CC system is some mean-field forward-backward stochastic differential equation (MF-FBSDE) combined with \emph{embedding representation}. The well-posedness of such forward-backward stochastic differential equation (FBSDE) system is carefully examined. The related social asymptotic optimality is related to the convergence of the average of a series of weakly-coupled backward stochastic differential equation (BSDE). They are verified through some Lyapunov equations.


title: Worst-Case Detection Performance for Distributed SIMO Physical Layer Authentication

abstract: Feature-based physical layer authentication (PLA) schemes, using position-specific channel characteristics as identifying features, can provide lightweight protection against impersonation attacks in overhead-limited applications like e.g., mission-critical and low-latency scenarios. However, with PLA-aware attack strategies, an attacker can maximize the probability of successfully impersonating the legitimate devices. In this paper, we provide worst-case detection performance bounds under such strategies for a distributed PLA scheme that is based on the channel-state information (CSI) observed at multiple distributed remote radio-heads. This distributed setup exploits the multiple-channel diversity for enhanced detection performance and mimics distributed antenna architectures considered for 4G and 5G radio access networks. We consider (i) a power manipulation attack, in which a single-antenna attacker adopts optimal transmit power and phase; and (ii) an optimal spatial position attack. Interestingly, our results show that the attacker can achieve close-to-optimal success probability with only statistical CSI, which significantly strengthens the relevance of our results for practical scenarios. Furthermore, our results show that, by distributing antennas to multiple radio-heads, the worst-case missed detection probability can be reduced by 4 orders of magnitude without increasing the total number of antennas, illustrating the superiority of distributed PLA over a co-located antenna setup.


title: Solutions of second-order PDEs with first-order quotients

abstract: We describe a way of solving a partial differential equation using the differential invariants of its point symmetries. By first solving its quotient PDE, which is given by the differential syzygies in the algebra of differential invariants, we obtain new differential constraints which are compatible with the PDE under consideration. Adding these constraints to our system makes it overdetermined, and thus easier to solve. We focus on second-order scalar PDEs whose quotients are first-order scalar PDEs. This situation occurs only when the Lie algebra of symmetries of the second-order PDE is infinite-dimensional. We apply this idea to several different PDEs, one of which is the Hunter-Saxton equation.


title: Informal Labour in India

abstract: India like many other developing countries is characterized by huge proportion of informal labour in its total workforce. The percentage of Informal Workforce is close to 92% of total as computed from NSSO 68th round on Employment and Unemployment, 2011-12. There are many traditional and geographical factors which might have been responsible for this staggering proportion of Informality in our country. As a part of this study, we focus mainly on finding out how Informality varies with Region, Sector, Gender, Social Group, and Working Age Groups. Further we look at how Total Inequality is contributed by Formal and Informal Labour, and how much do occupations/industries contribute to inequality within each of formal and informal labour groups separately. For the purposes of our study we use NSSO rounds 61 (2004-05) and 68 (2011-12) on employment and unemployment. The study intends to look at an overall picture of Informality, and based on the data highlight any inferences which are visible from the data.


title: Public Concern and the Financial Markets during the COVID-19 outbreak

abstract: We measure the public concern during the outbreak of COVID-19 disease using three data sources from Google Trends (YouTube, Google News, and Google Search). Our findings are three-fold. First, the public concern in Italy is found to be a driver of the concerns in other countries. Second, we document that Google Trends data for Italy better explains the stock index returns of France, Germany, Great Britain, the United States, and Spain with respect to their country-based indicators. Finally, we perform a time-varying analysis and identify that the most severe impacts in the financial markets occur at each step of the Italian lock-down process.


title: Growth and development of pure Li2MoO4 crystals for rare event experiment at CUP

abstract: The Center for Underground Physics (CUP) of the Institute for Basic Science (IBS) is searching for the neutrinoless double-beta decay (0{\nu}\b{eta}\b{eta}) of 100Mo in the molybdate crystals of the AMoRE experiment. The experiment requires pure scintillation crystals to minimize internal backgrounds that can affect the 0{\nu}\b{eta}\b{eta} signal. For the last few years, we have been growing and studying Li2MoO4 crystals in a clean-environment facility to minimize external contamination during the crystal growth. Before growing Li2100MoO4 crystal, we have studied Li2natMoO4 crystal growth by a conventional Czochralski (CZ) grower. We grew a few different kinds of Li2natMO4 crystals using different raw materials in a campaign to minimize impurities. We prepared the fused Al2O3 refractories for the growth of ingots. Purities of the grown crystals were measured with high purity germanium detectors and by inductively coupled plasma mass spectrometry. The results show that the Li2MoO4 crystal has purity levels suitable for rare-event experiments. In this study, we present the growth of Li2MoO4 crystals at CUP and their purities.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: High precision indoor positioning by means of LiDAR

abstract: The trend towards autonomous driving and the continuous research in the automotive area, like Advanced Driver Assistance Systems (ADAS), requires an accurate localization under all circumstances. An accurate estimation of the vehicle state is a basic requirement for any trajectory-planning algorithm. Still, even when the introduction of the GPS L5 band promises lane-accuracy, coverage limitations in roofed areas still have to be addressed. In this work, a method for high precision indoor positioning using a LiDAR is presented. The method is based on the combination of motion models with LiDAR measurements, and uses infrastructural elements as positioning references. This allows to estimate the orientation, velocity over ground and position of a vehicle in a Local Tangent Plane (LTP) reference frame. When the outputs of the proposed method are compared to those of an Automotive Dynamic Motion Analyzer (ADMA), mean errors of 1 degree, 0.1 m/s and of 4.7 cm respectively are obtained. The method can be implemented by using a LiDAR sensor as a stand-alone unit. A median runtime of 40.77 us on an Intel i7-6820HQ CPU signals the possibility of real-time processing.


title: Results on some partition functions arising from certain relations involving the Rogers-Ramanujan continued fractions

abstract: Relations involving the Rogers-Ramanujan continued fractions $R(q),$ $R(q^3 ),$ and $R(q^4)$ are used to find new generating functions and congruences modulo 5 and 25 for 3-core, 4-core, 4-regular, and colored partition functions.


title: Context-aware Dynamics Model for Generalization in Model-Based Reinforcement Learning

abstract: Model-based reinforcement learning (RL) enjoys several benefits, such as data-efficiency and planning, by learning a model of the environment's dynamics. However, learning a global model that can generalize across different dynamics is a challenging task. To tackle this problem, we decompose the task of learning a global dynamics model into two stages: (a) learning a context latent vector that captures the local dynamics, then (b) predicting the next state conditioned on it. In order to encode dynamics-specific information into the context latent vector, we introduce a novel loss function that encourages the context latent vector to be useful for predicting both forward and backward dynamics. The proposed method achieves superior generalization ability across various simulated robotics and control tasks, compared to existing RL schemes.


title: A Feshbach engine in the Thomas-Fermi regime

abstract: Bose-Einstein condensates can be used to produce work by tuning the strength of the interparticle interactions with the help of Feshbach resonances. In inhomogeneous potentials, these interaction ramps change the volume of the trapped gas allowing one to create a thermodynamic cycle known as the Feshbach engine. However, in order to obtain a large power output, the engine strokes must be performed on a short timescale, which is in contrast with the fact that the efficiency of the engine is reduced by irreversible work if the strokes are done in a non-adiabatic fashion. Here we investigate how such an engine can be run in the Thomas-Fermi regime and present a shortcut to adiabaticity that minimizes the irreversible work and allows for efficient engine operation.


title: Determinants of occupational mobility within the social stratification structure in India

abstract: In this study, we make use of empirically observed occupational stratification patterns, in order to identify the relationship between education and social mobility of individuals - the latter is approximated by the social distance of an individual's occupation from his/her household's traditional niche occupation. Our study draws upon a novel occupational network construction proposed in Lambert et.al (2018), with slight adjustments, to empirically identify social stratification patterns using cross sectional household surveys available in the Indian context. We use IHDS-2 data-set for the purpose of our study.


title: TAM: Temporal Adaptive Module for Video Recognition

abstract: Video data is with complex temporal dynamics due to various factors such as camera motion, speed variation, and different activities. To effectively capture this diverse motion pattern, this paper presents a new temporal adaptive module ({\bf TAM}) to generate video-specific temporal kernels based on its own feature map. TAM proposes a unique two-level adaptive modeling scheme by decoupling the dynamic kernel into a location sensitive importance map and a location invariant aggregation weight. The importance map is learned in a local temporal window to capture short-term information, while the aggregation weight is generated from a global view with a focus on long-term structure. TAM is a modular block and could be integrated into 2D CNNs to yield a powerful video architecture (TANet) with a very small extra computational cost. The extensive experiments on Kinetics-400 and Something-Something datasets demonstrate that our TAM outperforms other temporal modeling methods consistently, and achieves the state-of-the-art performance under the similar complexity. The code is available at \url{ https://github.com/liu-zhy/temporal-adaptive-module}.


title: Computing the proximal operator of the $\ell_1$ induced matrix norm

abstract: In this short article, for any matrix $X\in\mathbb{R}^{n\times m}$ the proximity operator of two induced norms $ \|X\|_1 $ and $ \|X\|_{\infty}$ are derived. Although no close form expression is obtained, an algorithmic procedure is described which costs roughly $\mathcal{O}(nm)$. This algorithm relies on a bisection on a real parameter derived from the Karush-Kuhn-Tucker conditions, following the proof idea of the proximal operator of the $ \max $ function found in Parikh(2014).


title: Three-dimensional printing of silica-glass structures with submicrometric features

abstract: Humanity's interest in manufacturing silica-glass objects extends back over three thousand years. Silica glass is resistant to heating and exposure to many chemicals, and it is transparent in a wide wavelength range. Due to these qualities, silica glass is used for a variety of applications that shape our modern life, such as optical fibers in medicine and telecommunications. However, its chemical stability and brittleness impede the structuring of silica glass, especially on the small scale. Techniques for three-dimensional (3D) printing of silica glass, such as stereolithography and direct ink writing, have recently been demonstrated, but the achievable minimum feature size is several tens of micrometers. While submicrometric silica-glass structures have many interesting applications, for example in micro-optics, they are currently manufactured using lithography techniques, which severely limits the 3D shapes that can be realized. Here, we show 3D printing of optically transparent silica-glass structures with submicrometric features. We achieve this by cross-linking hydrogen silsesquioxane to silica glass using nonlinear absorption of laser light followed by the dissolution of the unexposed material. We print a functional microtoroid resonator with out-of-plane fiber couplers to demonstrate the new possibilities for designing and building silica-glass microdevices in 3D.


title: Two-photon bunching inside a quantum memory cell

abstract: We demonstrate the effect of interference, similar to the Hong-Ou-Mandel effect, for two single-photon pulses by writing them sequentially inside a quantum memory cell in a tripod configuration.


title: Helium Enhancement in the Metal Rich Red Giants of Omega Centauri

abstract: The helium-enriched (He-enriched) metal-rich red giants of Omega Centauri, discovered by Hema and Pandey using the low-resolution spectra from the Vainu Bappu Telescope (VBT) and confirmed by the analyses of the high-resolution spectra obtained from the HRS-South African Large Telescope (SALT) for LEID 34225 and LEID 39048, are reanalysed here to determine their degree of He-enhancement/hydrogen-deficiency (H-deficiency). The observed MgH band combined with model atmospheres with differing He/H ratios are used for the analyses. The He/H ratios of these two giants are determined by enforcing the fact that the derived Mg abundances from the MgI lines and from the subordinate lines of the MgH band must be same for the adopted model atmosphere. The estimated He/H ratios for LEID 34225 and LEID 39048 are 0.15+/-0.04 and 0.20+/-0.04, respectively, whereas the normal He/H ratio is 0.10. Following the same criteria for the analyses of the other two comparison stars (LEID 61067 and LEID 32169), a normal He/H ratio of 0.10 is obtained. The He/H ratio of 0.15-0.20 corresponds to a mass fraction of helium (Z(He)=Y) of about 0.375-0.445. The range of helium enhancement and the derived metallicity of the program stars are in line with those determined for Omega Cen blue main-sequence stars. Hence, our study provides the missing link for the evolutionary track of the metal-rich helium-enhanced population of Omega Centuari. This research work is the very first spectroscopic determination of the amount of He-enhancement in the metal-rich red giants of Omega Centauri using the MgI and MgH lines.


title: Joint Modeling of Received Power, Mean Delay, and Delay Spread for Wideband Radio Channels

abstract: We propose a multivariate log-normal distribution to jointly model received power, mean delay, and root mean square (rms) delay spread of wideband radio channels, referred to as the standardized temporal moments. The model is validated using experimental data collected from five different measurement campaigns (four indoor and one outdoor scenario). We observe that the received power, mean delay and rms delay spread are correlated random variables and, therefore, should be simulated jointly. Joint models are able to capture the structure of the underlying process, unlike the independent models considered in the literature. The proposed model of the multivariate log-normal distribution is found to be a good fit for a large number of wideband data-sets.


title: Maximum Force and Naked Singularities in Higher Dimensions

abstract: We discuss the existence of maximum forces in 3+1 dimensional spacetimes and show that the existence of a mass-independent maximum force does not occur in general relativity in spaces of more than three dimensions. Instead, the maximum force increases with the masses, M, of merging objects as M to the power (N-3)/(N-2) and allows unbounded gravitational forces to occur. This suggests that naked singularities can arise in more than three dimensions because they are unprotected by a maximum force at the horizon surface. This creates a new perspective on the expectation of naked singularities in higher dimensions.


title: Simultaneous muon and reference hadron measurements in the Compressed Baryonic Matter experiment at FAIR

abstract: The mission of the Compressed Baryonic Matter (CBM) experiment at the future Facility for Antiproton and Ion Research (FAIR) in Darmstadt is to explore the QCD phase diagram at high net baryon densities likely to exist in the core of neutron stars. The CBM detector system is designed to perform multi-differential measurements of hadrons and leptons in central gold-gold collisions at beam energies between 2 and 11 A GeV with unprecedented precision and statistics. In order to reduce the systematic errors of the lepton measurements, which generally suffer from a large combinatorial background, both electrons and muons will be measured with the same acceptance. Up to now, no di-muon measurements have been performed in heavy-ion collisions at beam energies below 158A GeV. The main device for electron identification, a Ring Imaging Cherenkov (RICH) detector, can be replaced by a setup comprising hadron absorbers and tracking detectors for muon measurements. In order to obtain a complete picture of the reaction, it is important to measure simultaneously leptons and hadrons. This requirement is fulfilled for the RICH, which has a low material budget, and only little affects the trajectories of hadrons on their way to the Time-of-Flight (TOF) detector. In contrast, the simultaneous measurement of muons and hadrons within the same experimental acceptance poses a substantial challenge. This article reviews the simulated performance of the CBM experiment for muon identification, together with the possibility of simultaneous hadron measurements.


title: Microscale Marangoni Surfers

abstract: We apply laser light to induce the asymmetric heating of Janus colloids adsorbed at water-oil interfaces and realize active micrometric "Marangoni surfers". The coupling of temperature and surfactant concentration gradients generates Marangoni stresses leading to self-propulsion. Particle velocities span four orders of magnitude, from microns/s to cm/s, depending on laser power and surfactant concentration. Experiments are rationalized by finite elements simulations, defining different propulsion regimes relative to the magnitude of the thermal and solutal Marangoni stress components.


title: Fault Tolerant Equilibria in Anonymous Games: best response correspondences and fixed points

abstract: The notion of fault tolerant Nash equilibria has been introduced as a way of studying the robustness of Nash equilibria. Under this notion, a fixed number of players are allowed to exhibit faulty behavior in which they may deviate arbitrarily from an equilibrium strategy. A Nash equilibrium in a game with $N$ players is said to be $\alpha$-tolerant if no non-faulty user wants to deviate from an equilibrium strategy as long as $N-\alpha-1$ other players are playing the equilibrium strategies, i.e., it is robust to deviations from rationality by $\alpha$ faulty players. In prior work, $\alpha$-tolerance has been largely viewed as a property of a given Nash equilibria. Here, instead we consider following Nash's approach for showing the existence of equilibria, namely, through the use of best response correspondences and fixed-point arguments. In this manner, we provide sufficient conditions for the existence an $\alpha$-tolerant equilibrium. This involves first defining an $\alpha$-tolerant best response correspondence. Given a strategy profile of non-faulty agents, this correspondence contains strategies for a non-faulty player that are a best response given any strategy profile of the faulty players. We prove that if this correspondence is non-empty, then it is upper-hemi-continuous. This enables us to apply Kakutani's fixed-point theorem and argue that if this correspondence is non-empty for every strategy profile of the non-faulty players then there exists an $\alpha$-tolerant equilibrium. However, we also illustrate by examples, that in many games this best response correspondence will be empty for some strategy profiles even though $\alpha$-tolerant equilibira still exist.


title: Quasi-isometric rigidity of three manifold groups

abstract: We provide a proof that the classes of finitely generated Kleinian groups and of three-manifold groups are quasi-isometrically rigid.


title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation

abstract: Reversible computation opens up the possibility of overcoming some of the hardware's current physical limitations. It also offers theoretical insights, as it enriches multiple paradigms and models of computation, and sometimes retrospectively enlightens them. Concurrent reversible computation, for instance, offered interesting extensions to the Calculus of Communicating Systems, but was still lacking a natural and pertinent bisimulation to study processes equivalences. Our paper formulates an equivalence exploiting the two aspects of reversibility: backward moves and memory mechanisms. This bisimulation captures classical equivalences relations for denotational models of concurrency (History-and hereditary history-preserving bisimulation, (H)HPB), that were up to now only partially characterized by process algebras. This result gives an insight on the expressiveness of reversibility, as both backward moves and a memory mechanism-providing 'backward determinism'-are needed to capture HHPB.


title: A new kind of Hermite-Gaussian-like optical vortex generated by cross-phase

abstract: We propose a new kind of optical vortex called the Hermite-Gaussian-like optical vortex (HGOV) inspired by the crossphase (CP). Theoretically, we investigate how the CP is decoupled from the phase of a cylindrical lens. We also investigate the propagation characteristics of an HGOV, which has a Hermitian-Gaussian-like intensity distribution but still retains the orbital angular momentum. Furthermore, we derive the Fresnel diffraction integral of an HGOV and study the purity at infinity. Besides, we show a novel function of the self-measurement of the HGOV. Finally, we show that we can change the relative positions of singularities and the direction of an HGOV precisely, which facilitates applications in optical micromanipulation.


title: Field Cooled Annular Josephson Tunnel Junctions

abstract: We investigate the physics of planar annular Josephson tunnel junctions quenched through their transition temperature in the presence of an external magnetic field. Experiments carried out with long Nb/Al-AlOx/Nb annular junctions showed that the magnetic flux trapped in the high-quality doubly-connected superconducting electrodes forming the junction generates a persistent current whose associated magnetic field affects the both the static and dynamics properties of the junctions. More specifically, the field trapped in the hole of one electrode combined with a d.c. bias current induces a viscous flow of dense trains of Josephson vortices which manifests itself through the sequential appearance of displaced linear slopes, Fiske step staircases and Eck steps in the junction's current-voltage characteristic. Furthermore, a field shift is observed in the first lobe of the magnetic diffraction pattern. The effects of the persistent current can be mitigated or even canceled by an external magnetic field perpendicular to the junction plane. The radial field associated with the persistent current can be accurately modeled with the classical phenomenological sine-Gordon model for extended one-dimensional Josephson junctions. Extensive numerical simulations were carried out to disclose the basic flux-flow mechanism responsible for the appearance of the magnetically induced steps and to elucidate the role of geometrical parameters. It was found that the imprint of the field cooling is enhanced in confocal annular junctions which are the natural generalization of the well studied circular annular junctions.


title: A protocol of potential advantage in the low frequency range to gravitational wave detection with space based optical atomic clocks

abstract: A recent proposal describes space based gravitational wave (GW) detection with optical lattice atomic clocks [Kolkowitz et. al., Phys. Rev. D 94, 124043 (2016)] [1]. Based on their setup, we propose a new measurement method for gravitational wave detection in low frequency with optical lattice atomic clocks. In our method, n successive Doppler signals are collected and the summation for all these signals is made to improve the sensitivity of the low-frequency GW detection. In particular, the improvement is adjustable by the number of Doppler signals, which is equivalent to that the length between two atomic clocks is increased. Thus, the same sensitivity can be reached but with shorter distance, even though the acceleration noises lead to failing to achieve the anticipated improvement below the inflection point of frequency which is determined by the quantum projection noise. Our result is timely for the ongoing development of space-born observatories aimed at studying physical and astrophysical effects associated with low-frequency GW.


title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)

abstract: The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ease the proofs. In the calculus of communicating systems (CCS), the structural congruence plays this role by making e.g. parallel composition commutative and associative: without it, the system would be cumbersome to use and reason about, and it can be proven that this change is innocuous in a precise technical sense. For the two reversible calculi extending CCS, the situation is less clear: CCS with Communication Keys (CCSK) was first defined without any structural congruence, and then was endowed with a fragment of CCS's congruence. Reversible CCS (RCCS) made the choice of "backing in" the structural equivalence, that became part of the "minimal core" of the system. In this short oral communication, we would like to re-consider the status and role of the structural congruence in general, to question its role in RCCS in particular, and to ask the more general question of the structural equivalences legitimacy.


title: Bayesian inference on the number of recurrent events: A joint model of recurrence and survival

abstract: The number of recurrent events before a terminating event is often of interest. For instance, death terminates an individual's process of rehospitalizations and the number of rehospitalizations is an important indicator of economic cost. We propose a model in which the number of recurrences before termination is a random variable of interest, enabling inference and prediction on it. Then, conditionally on this number, we specify a joint distribution for recurrence and survival. This novel conditional approach induces dependence between recurrence and survival, which is often present, for instance due to frailty that affects both. Additional dependence between recurrence and survival is introduced by the specification of a joint distribution on their respective frailty terms. Moreover, through the introduction of an autoregressive model, our approach is able to capture the temporal dependence in the recurrent events trajectory. A non-parametric random effects distribution for the frailty terms accommodates population heterogeneity and allows for data-driven clustering of the subjects. A tailored Gibbs sampler involving reversible jump and slice sampling steps implements posterior inference. We illustrate our model on colorectal cancer data, compare its performance with existing approaches and provide appropriate inference on the number of recurrent events.


title: Expected number of pattern and submap occurrences in random planar maps

abstract: Drmota and Stufler proved recently that the expected number of pattern occurrences of a given map is asymptotically linear when the number of edges goes to infinity. In this paper we improve their result by means of a different method. Our method allows us to develop a systematic way for computing the explicit constant of the linear (main) term and shows that it is a positive rational number. Moreover, by extending our method, we also solve the corresponding problem of submap occurrences.


title: A Semi-Supervised Assessor of Neural Architectures

abstract: Neural architecture search (NAS) aims to automatically design deep neural networks of satisfactory performance. Wherein, architecture performance predictor is critical to efficiently value an intermediate neural architecture. But for the training of this predictor, a number of neural architectures and their corresponding real performance often have to be collected. In contrast with classical performance predictor optimized in a fully supervised way, this paper suggests a semi-supervised assessor of neural architectures. We employ an auto-encoder to discover meaningful representations of neural architectures. Taking each neural architecture as an individual instance in the search space, we construct a graph to capture their intrinsic similarities, where both labeled and unlabeled architectures are involved. A graph convolutional neural network is introduced to predict the performance of architectures based on the learned representations and their relation modeled by the graph. Extensive experimental results on the NAS-Benchmark-101 dataset demonstrated that our method is able to make a significant reduction on the required fully trained architectures for finding efficient architectures.


title: Some Results on the Vector Gaussian Hypothesis Testing Problem

abstract: This paper studies the problem of discriminating two multivariate Gaussian distributions in a distributed manner. Specifically, it characterizes in a special case the optimal typeII error exponent as a function of the available communication rate. As a side-result, the paper also presents the optimal type-II error exponent of a slight generalization of the hypothesis testing against conditional independence problem where the marginal distributions under the two hypotheses can be different.


title: On the Optimal Minimum Distance of Fractional Repetition Codes

abstract: Fractional repetition (FR) codes are a class of repair efficient erasure codes that can recover a failed storage node with both optimal repair bandwidth and complexity. In this paper, we study the minimum distance of FR codes, which is the smallest number of nodes whose failure leads to the unrecoverable loss of the stored file. We consider upper bounds on the minimum distance and present several families of explicit FR codes attaining these bounds. The optimal constructions are derived from regular graphs and combinatorial designs, respectively.


title: Axial-vector form factors of the baryon decuplet with flavor SU(3) symmetry breaking

abstract: The axial-vector form factors and axial-vector constants of the baryon decuplet are investigated within a pion mean-field approach, which is also known as the chiral quark-soliton model. Given an axial-vector current with a specified flavor, there are four different form factors of a decuplet baryon. When we consider the singlet, triplet, and octet axial-vector currents, we have twelve different form factors for each member of the baryon decuplet. We compute all these axial-vector form factors of the baryon decuplet, taking into account the rotational $1/N_c$ corrections and effects of flavor SU(3) symmetry breaking. We find that, for a given flavor, two of the form factors for a decuplet baryon are only independent within the present approach. We first examine properties of the axial-vector form factors of the $\Delta^+$ isobar and $\Omega^-$ hyperon. We also compare the results of the triplet axial-vector form factors of $\Delta^+$ with those from lattice QCD and those of the present work for the axial-vector constants of the baryon decuplet with the lattice data. All the results for other members of the baryon decuplet are then presented. The results of the axial charges are compared with those of other works. The axial masses and axial radii are also discussed.


title: Detection and Detectability of Intermittent Faults Based on Moving Average T2 Control Charts with Multiple Window Lengths

abstract: So far, problems of intermittent fault (IF) detection and detectability have not been fully investigated in the multivariate statistics framework. The characteristics of IFs are small magnitudes and short durations, and consequently traditional multivariate statistical methods using only a single observation are no longer effective. Thus in this paper, moving average T^2 control charts (MA-TCCs) with multiple window lengths, which simultaneously employ a bank of MA-TCCs with different window lengths, are proposed to address the IF detection problem. Methods to reduce false/missing alarms and infer the IFs' appearing and disappearing time instances are presented. In order to analyze the detection capability for IFs, definitions of guaranteed detectability are introduced, which is an extension and generalization of the original fault detectability concept focused on permanent faults (PFs). Then, necessary and sufficient conditions are derived for the detectability of IFs, which may appear and disappear several times with different magnitudes and durations. Based on these conditions, some optimal properties of two important window lengths are further discussed. In this way, a theoretical framework for the analysis of IFs' detectability is established as well as extended discussions on how the theoretical results can be adapted to real-world applications. Finally, simulation studies on a numerical example and the continuous stirred tank reactor (CSTR) process are carried out to show the effectiveness of the developed methods.


title: Intermittently Failing Tests in the Embedded Systems Domain

abstract: Software testing is sometimes plagued with intermittently failing tests and finding the root causes of such failing tests is often difficult. This problem has been widely studied at the unit testing level for open source software, but there has been far less investigation at the system test level, particularly the testing of industrial embedded systems. This paper describes our investigation of the root causes of intermittently failing tests in the embedded systems domain, with the goal of better understanding, explaining and categorizing the underlying faults. The subject of our investigation is a currently-running industrial embedded system, along with the system level testing that was performed. We devised and used a novel metric for classifying test cases as intermittent. From more than a half million test verdicts, we identified intermittently and consistently failing tests, and identified their root causes using multiple sources. We found that about 1-3% of all test cases were intermittently failing. From analysis of the case study results and related work, we identified nine factors associated with test case intermittence. We found that a fix for a consistently failing test typically removed a larger number of failures detected by other tests than a fix for an intermittent test. We also found that more effort was usually needed to identify fixes for intermittent tests than for consistent tests. An overlap between root causes leading to intermittent and consistent tests was identified. Many root causes of intermittence are the same in industrial embedded systems and open source software. However, when comparing unit testing to system level testing, especially for embedded systems, we observed that the test environment itself is often the cause of intermittence.


title: Shortest Distances as Enumeration Problem

abstract: We investigate the single source shortest distance (SSSD) and all pairs shortest distance (APSD) problems as enumeration problems (on unweighted and integer weighted graphs), meaning that the elements $(u, v, d(u, v))$ -- where $u$ and $v$ are vertices with shortest distance $d(u, v)$ -- are produced and listed one by one without repetition. The performance is measured in the RAM model of computation with respect to preprocessing time and delay, i.e., the maximum time that elapses between two consecutive outputs. This point of view reveals that specific types of output (e.g., excluding the non-reachable pairs $(u, v, \infty)$, or excluding the self-distances $(u, u, 0)$) and the order of enumeration (e.g., sorted by distance, sorted row-wise with respect to the distance matrix) have a huge impact on the complexity of APSD while they appear to have no effect on SSSD. In particular, we show for APSD that enumeration without output restrictions is possible with delay in the order of the average degree. Excluding non-reachable pairs, or requesting the output to be sorted by distance, increases this delay to the order of the maximum degree. Further, for weighted graphs, a delay in the order of the average degree is also not possible without preprocessing or considering self-distances as output. In contrast, for SSSD we find that a delay in the order of the maximum degree without preprocessing is attainable and unavoidable for any of these requirements.


title: Finet: Using Fine-grained Batch Normalization to Train Light-weight Neural Networks

abstract: To build light-weight network, we propose a new normalization, Fine-grained Batch Normalization (FBN). Different from Batch Normalization (BN), which normalizes the final summation of the weighted inputs, FBN normalizes the intermediate state of the summation. We propose a novel light-weight network based on FBN, called Finet. At training time, the convolutional layer with FBN can be seen as an inverted bottleneck mechanism. FBN can be fused into convolution at inference time. After fusion, Finet uses the standard convolution with equal channel width, thus makes the inference more efficient. On ImageNet classification dataset, Finet achieves the state-of-art performance (65.706% accuracy with 43M FLOPs, and 73.786% accuracy with 303M FLOPs), Moreover, experiments show that Finet is more efficient than other state-of-art light-weight networks.


title: Thermal Pure Quantum Matrix Product States Recovering a Volume Law Entanglement

abstract: We propose a way to construct a thermal pure quantum matrix product state (TPQ-MPS) that can simulate finite temperature quantum many-body systems with a minimal numerical cost comparable to the matrix product algorithm for the ground state. The MPS was originally designed for the wave function with area-law entanglement. However, by attaching the auxiliary sites to the edges of the random matrix product state, we find that the degree of entanglement is automatically tuned so as to recover the volume law of the entanglement entropy that characterizes the TPQ state. The finite temperature physical quantities of the transverse Ising and the spin-1/2 Heisenberg chains evaluated by a TPQ-MPS show excellent agreement even for bond dimension $\sim 10$-$20$ with those of the exact results.


title: Bayesian quantification for coherent anti-Stokes Raman scattering spectroscopy

abstract: We propose a Bayesian statistical model for analyzing coherent anti-Stokes Raman scattering (CARS) spectra. Our quantitative analysis includes statistical estimation of constituent line-shape parameters, underlying Raman signal, error-corrected CARS spectrum, and the measured CARS spectrum. As such, this work enables extensive uncertainty quantification in the context of CARS spectroscopy. Furthermore, we present an unsupervised method for improving spectral resolution of Raman-like spectra requiring little to no \textit{a priori} information. Finally, the recently-proposed wavelet prism method for correcting the experimental artefacts in CARS is enhanced by using interpolation techniques for wavelets. The method is validated using CARS spectra of adenosine mono-, di-, and triphosphate in water, as well as, equimolar aqueous solutions of D-fructose, D-glucose, and their disaccharide combination sucrose.


title: Detection and Retrieval of Out-of-Distribution Objects in Semantic Segmentation

abstract: When deploying deep learning technology in self-driving cars, deep neural networks are constantly exposed to domain shifts. These include, e.g., changes in weather conditions, time of day, and long-term temporal shift. In this work we utilize a deep neural network trained on the Cityscapes dataset containing urban street scenes and infer images from a different dataset, the A2D2 dataset, containing also countryside and highway images. We present a novel pipeline for semantic segmenation that detects out-of-distribution (OOD) segments by means of the deep neural network's prediction and performs image retrieval after feature extraction and dimensionality reduction on image patches. In our experiments we demonstrate that the deployed OOD approach is suitable for detecting out-of-distribution concepts. Furthermore, we evaluate the image patch retrieval qualitatively as well as quantitatively by means of the semi-compatible A2D2 ground truth and obtain mAP values of up to 52.2%.


title: Detection of Intermittent Faults Based on an Optimally Weighted Moving Average T^2 Control Chart with Stationary Observations

abstract: The moving average (MA)-type scheme, also known as the smoothing method, has been well established within the multivariate statistical process monitoring (MSPM) framework since the 1990s. However, its theoretical basis is still limited to smoothing independent data, and the optimality of its equally or exponentially weighted scheme remains unproven. This paper aims to weaken the independence assumption in the existing MA method, and then extend it to a broader area of dealing with autocorrelated weakly stationary processes. With the discovery of the non-optimality of the equally and exponentially weighted schemes used for fault detection when data have autocorrelation, the essence that they do not effectively utilize the correlation information of samples is revealed, giving birth to an optimally weighted moving average (OWMA) theory. The OWMA method is combined with the Hotelling's $T^2$ statistic to form an OWMA $T^2$ control chart (OWMA-TCC), in order to detect a more challenging type of fault, i.e., intermittent fault (IF). Different from the MA scheme that puts an equal weight on samples within a time window, OWMA-TCC uses correlation (autocorrelation and cross-correlation) information to find an optimal weight vector (OWV) for the purpose of IF detection (IFD). In order to achieve a best IFD performance, the concept of IF detectability is defined and corresponding detectability conditions are provided, which further serve as selection criteria of the OWV. Then, the OWV is given in the form of a solution to nonlinear equations, whose existence is proven with the aid of the Brouwer fixed-point theory. Moreover, symmetrical structure of the OWV is revealed, and the optimality of the MA scheme for any IF directions when data exhibit no autocorrelation is proven.


title: A multicenter study on radiomic features from T$_2$-weighted images of a customized MR pelvic phantom setting the basis for robust radiomic models in clinics

abstract: In this study we investigated the repeatability and reproducibility of radiomic features extracted from MRI images and provide a workflow to identify robust features. 2D and 3D T$_2$-weighted images of a pelvic phantom were acquired on three scanners of two manufacturers and two magnetic field strengths. The repeatability and reproducibility of the radiomic features were assessed respectively by intraclass correlation coefficient (ICC) and concordance correlation coefficient (CCC), considering repeated acquisitions with or without phantom repositioning, and with different scanner/acquisition type, and acquisition parameters. The features showing ICC/CCC > 0.9 were selected, and their dependence on shape information (Spearman's $\rho$> 0.8) was analyzed. They were classified for their ability to distinguish textures, after shuffling voxel intensities. From 944 2D features, 79.9% to 96.4% showed excellent repeatability in fixed position across all scanners. Much lower range (11.2% to 85.4%) was obtained after phantom repositioning. 3D extraction did not improve repeatability performance. Excellent reproducibility between scanners was observed in 4.6% to 15.6% of the features, at fixed imaging parameters. 82.4% to 94.9% of features showed excellent agreement when extracted from images acquired with TEs 5 ms apart (values decreased when increasing TE intervals) and 90.7% of the features exhibited excellent reproducibility for changes in TR. 2.0% of non-shape features were identified as providing only shape information. This study demonstrates that radiomic features are affected by specific MRI protocols. The use of our radiomic pelvic phantom allowed to identify unreliable features for radiomic analysis on T$_2$-weighted images. This paper proposes a general workflow to identify repeatable, reproducible, and informative radiomic features, fundamental to ensure robustness of clinical studies.


title: Do Interruptions Pay Off? Effects of Interruptive Ads on Consumers Willingness to Pay

abstract: We present the results of a study designed to measure the impact of interruptive advertising on consumers willingness to pay for products bearing the advertiser's brand. Subjects participating in a controlled experiment were exposed to ads that diverted their attention from a computer game they were testing. We found that ads significantly lowered subjects willingness to pay for a good associated with the advertised brand. We did not find conclusive evidence that providing some level of user control over the appearance of ads mitigated the negative impact of ad interruption. Our results contribute to the research on the economic impact of advertising, and introduce a method of measuring actual (as opposed to self-reported) willingness to pay in experimental marketing research.


title: RegQCNET: Deep Quality Control for Image-to-template Brain MRI Affine Registration

abstract: Affine registration of one or several brain image(s) onto a common reference space is a necessary prerequisite for many image processing tasks, such as brain segmentation or functional analysis. Manual assessment of registration quality is a tedious and time-consuming task, especially in studies comprising a large amount of data. An automated and reliable quality control (QC) becomes mandatory. Moreover, the computation time of the QC must be also compatible with the processing of massive datasets. Therefore, an automated deep neural network approaches appear as a method of choice to automatically assess registration quality. In the current study, a compact 3D convolutional neural network (CNN), referred to as RegQCNET, is introduced to quantitatively predict the amplitude of an affine registration mismatch between a registered image and a reference template. This quantitative estimation of registration error is expressed using metric unit system. Therefore, a meaningful task-specific threshold can be manually or automatically defined in order to distinguish usable and non-usable images. The robustness of the proposed RegQCNET is first analyzed on lifespan brain images undergoing various simulated spatial transformations and intensity variations between training and testing. Secondly, the potential of RegQCNET to classify images as usable or non-usable is evaluated using both manual and automatic thresholds. During our experiments, automatic thresholds are estimated using several computer-assisted classification models through cross-validation. To this end we used expert's visual quality control estimated on a lifespan cohort of 3953 brains. Finally, the RegQCNET accuracy is compared to usual image features. Results show that the proposed deep learning QC is robust, fast and accurate to estimate affine registration error in processing pipeline.


title: GUE corners process in boundary-weighed six-vertex models

abstract: We consider a class of probability distributions on the six-vertex model, which originate from the higher spin vertex models in arXiv:1601.05770 and have previously been investigated in arXiv:1610.06893. For these random six-vertex models we show that the asymptotic behavior near their base is asymptotically described by the GUE-corners process.


title: High-bandwidth microcoil for fast nuclear spin control

abstract: The active manipulation of nuclear spins with radio-frequency (RF) coils is at the heart of nuclear magnetic resonance (NMR) spectroscopy and spin-based quantum devices. Here, we present a microcoil transmitter system designed to generate strong RF pulses over a broad bandwidth, allowing for fast spin rotations on arbitrary nuclear species. Our design incorporates: (i) a planar multilayer geometry that generates a large field of 4.35 mT per unit current, (ii) a 50 Ohm transmission circuit with a broad excitation bandwidth of approximately 20 MHz, and (iii) an optimized thermal management for removal of Joule heating. Using individual 13C nuclear spins in the vicinity of a diamond nitrogen-vacancy (NV) center as a test system, we demonstrate Rabi frequencies exceeding 70 kHz and nuclear pi/2 rotations within 3.4 us. The extrapolated values for 1H spins are about 240 kHz and 1 us, respectively. Beyond enabling fast nuclear spin manipulations, our microcoil system is ideally suited for the incorporation of advanced pulse sequences into micro- and nanoscale NMR detectors operating at low (<1 T) magnetic field.


title: Optimal Stereoscopic Angle for Reconstructing Solar Wind Inhomogeneous Structures

abstract: This paper is aimed at finding the best separation angle between spacecraft for the three-dimensional reconstruction of solar-wind inhomogeneous structures by the CORrelation-Aided Reconstruction(CORAR) method. The analysis is based on the dual-point heliospheric observations from the STEREO HI-1 cameras. We produced synthetic HI-1 white-light images containing artificial blob-like structures in different positions in the common field of view of the two HI-1 cameras and reconstruct the structures with CORAR method. The distributions of performance levels of the reconstruction for spacecraft separation of $60^{\circ}$, $90^{\circ}$, $120^{\circ}$ and $150^{\circ}$ are obtained. It is found that when the separation angle is $120^{\circ}$, the performance of the reconstruction is the best and the separation angle of $90^{\circ}$ is the next. A brief discussion of the results are given as well. Based on this study, we suggest the optimal layout scheme of the recently proposed Solar Ring mission, which is designed to routinely observe the Sun and the inner heliosphere from multiple perspectives in the ecliptic plane.


title: Street Marketing: How Proximity and Context drive Coupon Redemption

abstract: Purpose: In 2009, US coupons set a new record of 367 billion coupons distributed. Yet, while coupon distribution is on the rise, redemption rates remain below 1 percent. This paper aims to show how recognizing context variables, such as proximity, weather, part of town and financial incentives interplay to determine a coupon campaigns success. Design/methodology/approach. The paper reports an empirical study conducted in co-operation with a restaurant chain 9.880 Subway coupons were distributed under different experimental context conditions. Redemption behavior was analyzed with the help of logistic regressions. Findings: It was found that even though proximity drives coupon redemption, city center campaigns seem to be much more sensitive to distance than suburban areas. The further away the distribution place from the restaurant, the less does the amount of monetary incentive determine the motivation to redeem. Practical implications. When designing a coupon campaign for a company, coupon distribution should not follow a -- one is good for all strategy -- even for one marketer within one product category. Instead each coupon strategy should carefully consider contextual influence. Originality/value. This paper is the first to the authors knowledge that systematically investigates the impact of context variables on coupon redemption. It focuses on context variables that electronic marketing channels will be able to easily incorporate into personalized mobile marketing campaigns.


title: How Does the Adoption of Ad Blockers Affect News Consumption?

abstract: Ad blockers allow users to browse websites without viewing ads. Online news providers that rely on advertising revenue tend to perceive users adoption of ad blockers purely as a threat to revenue. Yet, this perception ignores the possibility that avoiding ads, which users presumably dislike, may affect users online news consumption behavior in positive ways. Using 3.1 million anonymized visits from 79,856 registered users on a news website, we find that adopting an ad blocker has a robust positive effect on the quantity and variety of articles users consume (21.5% - 43.3% more articles and 13.4% - 29.1% more content categories). An increase in repeat user visits of the news website, rather than the number of page impressions per visit, drives the news consumption. These visits tend to start with direct navigation to the news website, indicating user loyalty. The increase in news consumption is more substantial for users who have less prior experience with the website. We discuss how news publishers could benefit from these findings, including exploring revenue models that consider users desire to avoid ads.


title: Periodicity search for Pulsar Binaries with TESS

abstract: Pulsar binaries, in particular redback systems, provide good sources to study the pulsar wind flow and its interaction with the companion stars. {\it Fermi}-LAT have proposed probable pulsar binary candidates in its catalogs. To identify pulsar binary sources from the catalog, orbital modulation search of binary candidates is an effective way. TESS observes in survey mode for a large part of the sky and thus provide an excellent data set to periodicity search of pulsar binary candidates by observing the flux variation, thought to mainly come from the stellar companion. Using TESS data we look for flux modulation of five pulsar binaries (or candidates) with reported orbital periods, including PSR J1023+0038, 3FGL J0523.3-2528, 3FGL J0212.1+5320, 3FGL J0744.1-2523 and PSR J1417-4402, demonstrating that TESS photometric data are very useful in identifying periodicities of redback-like systems. This method can be effective in searches for new pulsar binaries or similar binary systems in the future.


title: Quantifying the Impact of Making and Breaking Interface Habits

abstract: The frequency with which people interact with technology means that users may develop interface habits, i.e. fast, automatic responses to stable interface cues. Design guidelines often assume that interface habits are beneficial. However, we lack quantitative evidence of how the development of habits actually affect user performance and an understanding of how changes in the interface design may affect habit development. Our work quantifies the effect of habit formation and disruption on user performance in interaction. Through a forced choice lab study task (n=19) and in the wild deployment (n=18) of a notificationdialog experiment on smartphones, we show that people become more accurate and faster at option selection as they develop an interface habit. Crucially this performance gain is entirely eliminated once the habit is disrupted. We discuss reasons for this performance shift and analyse some disadvantages of interface habits, outlining general design patterns on how to both support and disrupt them.Keywords: Interface habits, user behaviour, breaking habit, interaction science, quantitative research.


title: Joint User Grouping, Scheduling, and Precoding for Multicast Energy Efficiency in Multigroup Multicast Systems

abstract: This paper studies the joint design of user grouping, scheduling (or admission control) and precoding to optimize energy efficiency (EE) for multigroup multicast scenarios in single-cell multiuser MISO downlink channels. Noticing that the existing definition of EE fails to account for group sizes, a new metric called multicast energy efficiency (MEE) is proposed. In this context, the joint design is considered for the maximization of MEE, EE, and scheduled users. Firstly, with the help of binary variables (associated with grouping and scheduling) the joint design problem is formulated as a mixed-Boolean fractional programming problem such that it facilitates the joint update of grouping, scheduling and precoding variables. Further, several novel optimization formulations are proposed to reveal the hidden difference of convex/ concave structure in the objective and associated constraints. Thereafter, we propose a convex-concave procedure framework based iterative algorithm for each optimization criteria where grouping, scheduling, and precoding variables are updated jointly in each iteration. Finally, we compare the performance of the three design criteria concerning three performance metrics namely MEE, EE, and scheduled users through Monte-Carlo simulations. These simulations establish the need for MEE and the improvement from the system optimization.


title: An SQP method for equality constrained optimization on manifolds

abstract: We extend the class of SQP methods for equality constrained optimization to the setting of differentiable manifolds. The use of retractions and stratifications allows us to pull back the involved mappings to linear spaces. We study local quadratic convergence to minimizers. In addition we present a composite step method for globalization based on cubic regularization of the objective function and affine covariant damped Newton method for feasibility. We show transition to fast local convergence of this scheme. We test our method on equilibrium problems in finite elasticity where the stable equilibrium position of an inextensible transversely isotropic elastic rod under dead load is sought.


title: Detection and Isolation of Wheelset Intermittent Over-creeps for Electric Multiple Units Based on a Weighted Moving Average Technique

abstract: Wheelset intermittent over-creeps (WIOs), i.e., slips or slides, can decrease the overall traction and braking performance of Electric Multiple Units (EMUs). However, they are difficult to detect and isolate due to their small magnitude and short duration. This paper presents a new index called variable-to-minimum difference (VMD) and a new technique called weighted moving average (WMA). Their combination, i.e., the WMA-VMD index, is used to detect and isolate WIOs in real time. Different from the existing moving average (MA) technique that puts an equal weight on samples within a time window, WMA uses correlation information to find an optimal weight vector (OWV), so as to better improve the index's robustness and sensitivity. The uniqueness of the OWV for the WMA-VMD index is proven, and the properties of the OWV are revealed. The OWV possesses a symmetrical structure, and the equally weighted scheme is optimal when data are independent. This explains the rationale of existing MA-based methods. WIO detectability and isolability conditions of the WMA-VMD index are provided, leading to an analysis of the properties of two nonlinear, discontinuous operators, $\min$ and $\textrm{VMD}_i$. Experimental studies are conducted based on practical running data and a hardware-in-the-loop platform of an EMU to show that the developed methods are effective.


title: Origami Cubes with One-DOF Rigid and Flat Foldability

abstract: Rigid origami is a branch of origami with great potential in engineering applications to deal with rigid-panel folding. One of the challenges is to compactly fold the polyhedra made from rigid facets with a single degree of freedom. In this paper, we present a new method to design origami cubes with three fundamental characteristics, rigid foldability, flat foldability and one degree of freedom (DOF). A total of four cases of crease patterns that enable origami cubes with distinct folding performances have been proposed with all possible layouts of the diagonal creases on the square facets of origami cubes. Moreover, based on the kinematic equivalence between the rigid origami and the spherical linkages, the corresponding spherical linkage loops are introduced and analysed to reveal the motion properties of the origami cubes. The newly found method can be readily utilized to design deployable structures for various engineering applications including cube-shaped cartons, small satellites, containers, etc.


title: Structure prediction of two-dimensional materials based on neural network-driven evolutionary technique

abstract: We present a simple yet effective method for structure prediction of two-dimensional structures. The method is based on a combination of neural networks and evolutionary techniques. It allows finding pristine 2D structures as well as structures grown on a substrate. Conducted tests show, that the method is efficient and the calculations, based only on the information of stoichiometry, can lead to stable structures. Since the algorithm is able to address structures on a given substrate, it can be useful from the experimental point of view.


title: Multi-Node EM Algorithm for Finite Mixture Models

abstract: Finite mixture models are powerful tools for modelling and analyzing heterogeneous data. Parameter estimation is typically carried out using maximum likelihood estimation via the Expectation-Maximization (EM) algorithm. Recently, the adoption of flexible distributions as component densities has become increasingly popular. Often, the EM algorithm for these models involves complicated expressions that are time-consuming to evaluate numerically. In this paper, we describe a parallel implementation of the EM-algorithm suitable for both single-threaded and multi-threaded processors and for both single machine and multiple-node systems. Numerical experiments are performed to demonstrate the potential performance gain n different settings. Comparison is also made across two commonly used platforms - R and MATLAB. For illustration, a fairly general mixture model is used in the comparison.


title: Receipt of hybrid entangled and CV entangled states on demand

abstract: We propose a new approach to the generation of entangled states, both hybrid and consisting exclusively of continuous variable (CV) states. A single mode squeezed vacuum is mixed with a delocalized single photon on arbitrary beam splitter (BS) with subsequent registration of some measurement outcome in auxiliary mode. The entangled states are generated whenever any event is measured in auxiliary mode. Negativity is used as a measure of entanglement. Under certain initial set conditions, the conditioned state becomes as entangled as possible. New types of CV states are introduced. This approach can be expanded to implement a high complexity quantum network.


title: Industrial Federated Learning -- Requirements and System Design

abstract: Federated Learning (FL) is a very promising approach for improving decentralized Machine Learning (ML) models by exchanging knowledge between participating clients without revealing private data. Nevertheless, FL is still not tailored to the industrial context as strong data similarity is assumed for all FL tasks. This is rarely the case in industrial machine data with variations in machine type, operational- and environmental conditions. Therefore, we introduce an Industrial Federated Learning (IFL) system supporting knowledge exchange in continuously evaluated and updated FL cohorts of learning tasks with sufficient data similarity. This enables optimal collaboration of business partners in common ML problems, prevents negative knowledge transfer, and ensures resource optimization of involved edge devices.


title: Dynamic shrinkage in time-varying parameter stochastic volatility in mean models

abstract: Successful forecasting models strike a balance between parsimony and flexibility. This is often achieved by employing suitable shrinkage priors that penalize model complexity but also reward model fit. In this note, we modify the stochastic volatility in mean (SVM) model proposed in Chan (2017) by introducing state-of-the-art shrinkage techniques that allow for time-variation in the degree of shrinkage. Using a real-time inflation forecast exercise, we show that employing more flexible prior distributions on several key parameters slightly improves forecast performance for the United States (US), the United Kingdom (UK) and the Euro Area (EA). Comparing in-sample results reveals that our proposed model yields qualitatively similar insights to the original version of the model.


title: Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning

abstract: Machine learning is being integrated into a growing number of critical systems with far-reaching impacts on society. Unexpected behaviour and unfair decision processes are coming under increasing scrutiny due to this widespread use and its theoretical considerations. Individuals, as well as organisations, notice, test, and criticize unfair results to hold model designers and deployers accountable. We offer a framework that assists these groups in mitigating unfair representations stemming from the training datasets. Our framework relies on two inter-operating adversaries to improve fairness. First, a model is trained with the goal of preventing the guessing of protected attributes' values while limiting utility losses. This first step optimizes the model's parameters for fairness. Second, the framework leverages evasion attacks from adversarial machine learning to generate new examples that will be misclassified. These new examples are then used to retrain and improve the model in the first step. These two steps are iteratively applied until a significant improvement in fairness is obtained. We evaluated our framework on well-studied datasets in the fairness literature -- including COMPAS -- where it can surpass other approaches concerning demographic parity, equality of opportunity and also the model's utility. We also illustrate our findings on the subtle difficulties when mitigating unfairness and highlight how our framework can assist model designers.


title: Global $H^s, s>0$ Large Data Solutions of 2D Dirac Equation with Hartree Type Interaction

abstract: Local and global well - posedness of the solution to the two space dimensional Dirac equation with Hartree type nonlinearity is established with the initial datum in the space $H^s(\mathbb{R}^2, \mathbb{C}^2)$ with $s >0.$.


title: Ramsey's theorem for pairs, collection, and proof size

abstract: We prove that any proof of a $\forall \Sigma^0_2$ sentence in the theory $\mathrm{WKL}_0 + \mathrm{RT}^2_2$ can be translated into a proof in $\mathrm{RCA}_0$ at the cost of a polynomial increase in size. In fact, the proof in $\mathrm{RCA}_0$ can be found by a polynomial-time algorithm. On the other hand, $\mathrm{RT}^2_2$ has non-elementary speedup over the weaker base theory $\mathrm{RCA}^*_0$ for proofs of $\Sigma_1$ sentences. We also show that for $n \ge 0$, proofs of $\Pi_{n+2}$ sentences in $\mathrm{B}\Sigma_{n+1}+\exp$ can be translated into proofs in $\mathrm{I}\Sigma_{n} + \exp$ at polynomial cost. Moreover, the $\Pi_{n+2}$-conservativity of $\mathrm{B}\Sigma_{n+1} + \exp$ over $\mathrm{I}\Sigma_{n} + \exp$ can be proved in $\mathrm{PV}$, a fragment of bounded arithmetic corresponding to polynomial-time computation. For $n \ge 1$, this answers a question of Clote, H\'ajek, and Paris.


title: Local systems on diamonds and $p$-adic vector bundles

abstract: We use Scholze's framework of diamonds to gain new insights in correspondences between $p$-adic vector bundles and local systems. Such correspondences arise in the context of $p$-adic Simpson theory in the case of vanishing Higgs fields. In the present paper we provide a detailed analysis of local systems on diamonds for the \'etale, pro-\'etale, and the $v$-topology, and study the structure sheaves for all three topologies in question. Applied to proper adic spaces of finite type over $\mathbb{C}_p$ this enables us to prove a category equivalence between $\mathbb{C}_p$-local systems with integral models, and modules under the $v$-structure sheaf which modulo each $p^n$ can be trivialized on a proper cover. The flexibility of the $v$-topology together with a descent result on integral models of local systems allows us to prove that the trivializability condition in the module category may be checked on any normal proper cover. This result leads to an extension of the parallel transport theory by Deninger and the second author to vector bundles with numerically flat reduction on a proper normal cover.


title: Kuramoto model with additional nearest-neighbor interactions: Existence of a nonequilibrium tricritical point

abstract: A paradigmatic framework to study the phenomenon of spontaneous collective synchronization is provided by the Kuramoto model comprising a large collection of limit-cycle oscillators of distributed frequencies that are globally coupled through the sine of their phase differences. We study here a variation of the model by including nearest-neighbor interactions on a one-dimensional lattice. While the mean-field interaction resulting from the global coupling favors global synchrony, the nearest-neighbor interaction may have cooperative or competitive effects depending on the sign and the magnitude of the nearest-neighbor coupling. For unimodal and symmetric frequency distributions, we demonstrate that as a result, the model in the stationary state exhibits in contrast to the usual Kuramoto model both continuous and first-order transitions between synchronized and incoherent phases, with the transition lines meeting at a tricritical point. Our results are based on numerical integration of the dynamics as well as an approximate theory involving appropriate averaging of fluctuations in the stationary state.


title: Sommerfeld half-space problem revisited: Short-wave asymptotic solutions

abstract: A method for solving the half-space Sommerfeld problem is proposed, which allows us to obtain exact solutions in the form of Sommerfeld integrals, as well as their short-wave asymptotics. The first carried out by reducing the Sommerfeld problem to solving a system of equations to surface current densities on an interface of media in the Fourier transform domain. The second is provided by the modified saddle point method using an etalon integral. Careful attention pays the integration technique of the Sommerfeld integrals. The uniformly regular for any observation angles expressions of all types of waves, such as space, surface, and lateral, are obtained. The simple asymptotic expressions for the reflected and transmitted space waves are found via a source field, bearing in mind the Fresnel coefficients. The asymptotic expressions for the space waves checked by the law of conservation of energy flux. The issue of the existence of surface waves analyzed in detail. The analysis and physical interpretation of the obtained expressions, as well as the applicability conditions, are carried out. The Sommerfeld integrals evaluated in closed form.


title: Single-atom heat engine as a sensitive thermal probe

abstract: We propose employing a quantum heat engine as a sensitive probe for thermal baths. In particular, we study a single-atom Otto engine operating in an open thermodynamic cycle. Owing to its cyclic nature, the engine is capable of translating small temperature differences between two baths into a macroscopic oscillation in a flywheel. We present analytical and numerical modeling of the quantum dynamics of the engine and estimate it to be capable of detecting temperature differences as small as 2 $\mu$K. This sensitivity can be further improved by utilizing quantum resources such as squeezing of the ion motion. The proposed scheme does not require quantum state initialization and is able to detect small temperature differences even at high base temperatures.


title: Normal and Irreducible Adic Spaces, the Openness of Finite Morphisms and a Stein Factorization

abstract: We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes normality, irreducibility (in particular irreducible components) and a Stein factorization theorem. Most notably we show that finite morphisms of adic spaces are open under mild assumptions on the base and target space.


title: Inference for a Step-Stress Model With Type-II and Progressive Type-II Censoring and Lognormally Distributed Lifetimes

abstract: Accelerated life-testing (ALT) is a very useful technique for examining the reliability of highly reliable products. It allows testing the products at higher than usual stress conditions to induce failures more quickly and economically than under typical conditions. A special case of ALT are step-stress tests that allow experimenter to increase the stress levels at fixed times. This paper deals with the multiple step step-stress model under the cumulative exposure model with lognormally distributed lifetimes in the presence of Type-II and Progressive Type-II censoring. For this model, the maximum likelihood estimates (MLE) of its parameters, as well as the corresponding observed Fisher Information Matrix (FI), are derived. The likelihood equations do not lead to closed-form expressions for the MLE, and they need to be solved by means of an iterative procedure, such as the Newton-Raphson method. We then evaluate the bias and mean square error of the estimates and provide asymptotic and bootstrap confidence intervals. Finally, in order to asses the performance of the confidence intervals, a Monte Carlo simulation study is conducted.


title: Photo memtransistor based on CMOS flash memory technology on Graphene with neuromorphic applications

abstract: Graphene holds a great promise for a number of diverse future applications, in particular related to its easily tunable doping and Fermi level by electrostatic gating. However, as of today, most implementations rely on electrical doping via the application of continuous large voltages to maintain the desired doping. We show here how graphene can be implemented with conventional semiconductor flash memory technology in order to make programmable doping possible, simply by the application of short gate pulses. We also demonstrate how this approach can be used for a memory device, and also show potential neuromorphic capabilities of the device. Finally, we show that the overall performance can be significantly enhanced by illuminating the device with UV radiation. Our approach may pave the way for integrating graphene in CMOS technology memory applications, and our device design could also be suitable for large scale neuromorphic computing structures.


title: Average analytic rank of elliptic curves with prescribed torsion

abstract: We show that average analytic rank of elliptic curves with prescribed torsion $G$ is bounded for every torsion group $G$ under GRH for elliptic curve $L$-functions.


title: Regularity and sparse approximation of the recursive first moment equations for the lognormal Darcy problem

abstract: We study the Darcy boundary value problem with log-normal permeability field. We adopt a perturbation approach, expanding the solution in Taylor series around the nominal value of the coefficient, and approximating the expected value of the stochastic solution of the PDE by the expected value of its Taylor polynomial. The recursive deterministic equation satisfied by the expected value of the Taylor polynomial (first moment equation) is formally derived. Well-posedness and regularity results for the recursion are proved to hold in Sobolev space-valued H\"older spaces with mixed regularity. The recursive first moment equation is then discretized by means of a sparse approximation technique, and the convergence rates are derived.


title: Contextuality as the Key to understand Quantum Paradoxes

abstract: This short note is an introduction to the slides from our talks given in 2018 during the Advanced School of Quantum Foundations and Quantum Computation in Joao Pessoa , Brazil. In these talks, addressed to participants with a limited knowledge of quantum foundations, we defined locality, causality, randomness, counterfactual definiteness and we explained EPR-Bohm paradoxes. In particular we discussed in great detail various Bell-type inequalities and the implications of their violation in spin polarisation correlation experiments. Finally we explained why and how the predictive completeness of quantum mechanics may be tested by more careful examination of the time-series of experimental data


title: Refraction of fast Ne atoms in the attractive well of LiF(001) surface

abstract: Ne atoms with energies up to 3 keV are diffracted under grazing angles of incidence from a LiF(001) surface. For a small momentum component of the incident beam perpendicular to the surface, we observe an increase of the elastic rainbow angle together with a broadening of the inelastic scattering profile. We interpret these two effects as the refraction of the atomic wave in the attractive part of the surface potential. We use a fast, rigorous dynamical diffraction calculation to find a projectile-surface potential model that enables a quantitative reproduction of the experimental data for up to ten diffraction orders. This allows us to extract an attractive potential well depth of 10.4 meV. Our results set a benchmark for more refined surface potential models which include the weak Van der Waals region, a long-standing challenge in the study of atom-surface interactions.


title: Integral representation for energies in linear elasticity with surface discontinuities

abstract: In this paper we prove an integral representation formula for a general class of energies defined on the space of generalized special functions of bounded deformation ($GSBD^p$) in arbitrary space dimensions. Functionals of this type naturally arise in the modeling of linear elastic solids with surface discontinuities including phenomena as fracture, damage, surface tension between different elastic phases, or material voids. Our approach is based on the global method for relaxation devised in Bouchitt\`e et al. '98 and a recent Korn-type inequality in $GSBD^p$ (Cagnetti-Chambolle-Scardia '20). Our general strategy also allows to generalize integral representation results in $SBD^p$, obtained in dimension two (Conti-Focardi-Iurlano '16), to higher dimensions, and to revisit results in the framework of generalized special functions of bounded variation ($GSBV^p$).


title: Role of the proximity effect for normal-metal quasiparticle traps

abstract: The performance of many superconducting devices is degraded in presence of non-equilibrium quasiparticles in the superconducting part. One promising approach towards their evacuation is the use of normal-metal quasiparticle traps, where normal metal is brought into good metallic contact with the superconductor. A voltage biased normal-metal--insulator--superconductor junction equipped with such a trap is used to investigate on the trapping performance and the part played by the superconducting proximity effect therein. This involves an appropriate one-dimensional model of the junction and the numerical solution of Usadel equations describing the non-equilibrium state of the superconductor. The functionality of the trap is determined by the density of states (DOS) at the tunnel barrier. Herein, the proximity effect leads to two antagonistic characteristics affecting the trapping performance: the beneficial reduction of the DOS at an energy $|E| = \Delta_{\text{BCS}}$ versus the contraction of the spectral energy gap causing quasiparticle poisoning. For both effects the trap position is decisive, which needs to be taken into account for optimizing the trapping performance. In addition, the conversion between dissipative normal and supercurrent inside the superconducting part with its impact on the quasiparticle density is studied.


title: A Thirty-Four Billion Solar Mass Black Hole in SMSS J2157-3602, the Most Luminous Known Quasar

abstract: From near-infrared spectroscopic measurements of the MgII emission line doublet, we estimate the black hole (BH) mass of the quasar, SMSS J215728.21-360215.1, as being (3.4 +/- 0.6) x 10^10 M_sun and refine the redshift of the quasar to be z=4.692. SMSS J2157 is the most luminous known quasar, with a 3000A luminosity of (4.7 +/- 0.5) x 10^47 erg/s and an estimated bolometric luminosity of 1.6 x 10^48 erg/s, yet its Eddington ratio is only ~0.4. Thus, the high luminosity of this quasar is a consequence of its extremely large BH -- one of the most massive BHs at z > 4.


title: Lower bounds for invariant statistical models with applications to principal component analysis

abstract: This paper develops nonasymptotic information inequalities for the estimation of the eigenspaces of a covariance operator. These results generalize previous lower bounds for the spiked covariance model, and they show that recent upper bounds for models with decaying eigenvalues are sharp. The proof relies on lower bound techniques based on group invariance arguments which can also deal with a variety of other statistical models.


title: Dynamic Sparse Training: Find Efficient Sparse Network From Scratch With Trainable Masked Layers

abstract: We present a novel network pruning algorithm called Dynamic Sparse Training that can jointly find the optimal network parameters and sparse network structure in a unified optimization process with trainable pruning thresholds. These thresholds can have fine-grained layer-wise adjustments dynamically via backpropagation. We demonstrate that our dynamic sparse training algorithm can easily train very sparse neural network models with little performance loss using the same number of training epochs as dense models. Dynamic Sparse Training achieves the state of the art performance compared with other sparse training algorithms on various network architectures. Additionally, we have several surprising observations that provide strong evidence for the effectiveness and efficiency of our algorithm. These observations reveal the underlying problems of traditional three-stage pruning algorithms and present the potential guidance provided by our algorithm to the design of more compact network architectures.


title: Partial differential equations associated to non linear backward stochastic differential equations with Gaussian Volterra processes

abstract: In this paper, we generalize to Gaussian Volterra processes the existence and uniqueness of solutions for a class of non linear backward stochastic differential equations (BSDE) and we establish the relation between the non linear BSDE and the partial differential equation (PDE). A comparison theorem for the solution of the BSDE is proved and the continuity of its law is studied.


title: A Category Theory Approach to Interoperability

abstract: In this article, we propose a Category Theory approach to (syntactic) interoperability between linguistic tools. The resulting category consists of textual documents, including any linguistic annotations, NLP tools that analyze texts and add additional linguistic information, and format converters. Format converters are necessary to make the tools both able to read and to produce different output formats, which is the key to interoperability. The idea behind this document is the parallelism between the concepts of composition and associativity in Category Theory with the NLP pipelines. We show how pipelines of linguistic tools can be modeled into the conceptual framework of Category Theory and we successfully apply this method to two real-life examples.


title: Conformal field theory in momentum space and anomaly actions in gravity:The analysis of three- and four-point functions

abstract: After a brief outline of general aspects of conformal field theories in coordinate space, in a first part we review the solution of the conformal constraints of three- and four-point functions in momentum space in dimensions $d\geq 2$, in the form of conformal Ward identities (CWI's). We center our discussion on the analysis of correlators containing stress-energy tensors $(T)$, conserved currents $(J)$, and scalar operators $(O)$. For scalar four-point functions, we briefly discuss our method for determining the dual conformal solutions of such equations, identified only by the CWI's, and related to the conformal Yangian symmetry, introduced by us in previous work. In correlation functions with $T$ tensors, evaluated around a flat spacetime, the conformal anomaly is characterized by the (non-local) exchange of massless poles in specific form factors, a signature that has been investigated both in free field theory and non-perturbatively, by solving the conformal constraints. We discuss the anomaly effective action, and illustrate the derivation of the CWI's directly from its path integral definition and its Weyl symmetry, which is alternative to the standard operatorial approach used in conformal field theories in flat space. For two- and three-point functions, we elaborate on the matching of these types of correlators to free-field theories. Perturbative realizations of CFTs at one-loop provide the simplest expressions of the general solutions identified by the CWI's, for generic operators $T$, $J$, and scalars of specific scaling dimensions, by an appropriate choice of their field content. In a technical appendix we offer details on the reconstruction of the $TTO$ and $TTT$ correlators in the approach of Bzowski, McFadden and Skenderis, and specifically on the secondary Ward identities of the method, in order to establish a complete match with the perturbative description.


title: Towards DNS of the Ultimate Regime of Rayleigh--B\'enard Convection

abstract: In this contribution we have briefly introduced the problem of turbulent thermal convection with a particular look at its transition to the ultimate regime and the resolution requirements needed for the direct numerical simulation of this flow.


title: Developing Accessible Mobile Applications with Cross-Platform Development Frameworks

abstract: This contribution investigates how cross-platform development frameworks (CPDF) support the creation of mobile applications that are accessible to people with visual impairments through screen readers. We first systematically analyze screen-reader APIs available in native iOS and Android, and we examine whether and at what level the same functionalities are available in two popular CPDF: Xamarin and React Native. This analysis unveils that there are many functionalities shared between native iOS and Android APIs, but most of them are not available in React Native or Xamarin. In particular, not even all basic APIs are exposed by the examined CPDF. Accessing the unavailable APIs is still possible, but it requires an additional effort by the developers who need to know native APIs and to write platform specific code, hence partially negating the advantages of CPDF. To address this problem, we consider a representative set of native APIs that cannot be directly accessed from React Native and Xamarin and show sample implementations for accessing them.


title: Z\'ero-cycles sur les surfaces de del Pezzo (Variations sur un th\`eme de Daniel Coray)

abstract: In 1974, D. Coray showed that on a smooth cubic surface with a closed point of degree prime to 3 there exists such a point of degree 1, 4 or 10. We first show how a combination of generisation, specialisation, Bertini theorems and large fields avoids considerations of special cases in his argument. For smooth cubic surfaces with a rational point, we show that any zero-cycle of degree at least 10 is rationally equivalent to an effective cycle. We establish analogues of these results for del Pezzo surfaces of degree 2 and of degree 1. For smooth cubic surfaces without a rational point, we relate the question whether there exists a degree 3 point which is not on a line to the question whether rational points are dense on a del Pezzo surface of degree 1. ---- Une surface cubique lisse qui poss\`ede un point ferm\'e de degr\'e premier \`a 3 poss\`ede un tel point de degr\'e 1, 4 ou 10 (Coray, 1974). Un m\'elange de g\'en\'erisation, de sp\'ecialisation, de th\'eor\`emes de Bertini et d'utilisation des corps fertiles donne de la souplesse \`a sa m\'ethode. Pour les surfaces cubiques avec un point rationnel, on montre que tout z\'ero-cycle de degr\'e au moins 10 est rationnellement \'equivalent \`a un z\'ero-cycle effectif. On \'etablit l'analogue de ces r\'esultats pour les surfaces de del Pezzo de degr\'e 2 et de degr\'e 1. On discute l'existence de points ferm\'es de degr\'e 3 non align\'es sur une surface cubique sans point rationnel. On la relie \`a la question de la densit\'e des points rationnels sur une surface de del Pezzo de degr\'e 1.


title: Near Lightcone Thermal Conformal Correlators and Holography

abstract: Heavy-heavy-light-light (HHLL) correlators of pairwise identical scalars in CFTs with a large central charge in any number of dimensions admit a double scaling limit where the ratio of the heavy conformal dimension to the central charge becomes large as the separation between the light operators becomes null. In this limit the stress tensor sector of a generic HHLL correlator receives contributions from the multi stress tensor operators with any number of stress tensors, as long as their twist is not increased by index contractions. We show how one can compute this leading twist stress tensor sector when the conformal dimension of the light operators is large and the stress tensor sector approximates the thermal CFT correlator. In this regime the value of the correlator is related to the length of the spacelike geodesic which approaches the boundary of the dual asymptotically AdS spacetime at the points of light operator insertions. We provide a detailed description of the infinite volume limit. In two spacetime dimensions the HHLL Virasoro vacuum block is reproduced, while in four spacetime dimensions the result is written in terms of elliptic integrals.


title: Efficient and fair trading algorithms in market design environments

abstract: We propose a new method to define trading algorithms in market design environments. Dropping the traditional idea of clearing cycles in generated graphs, we use parameterized linear equations to define trading algorithms. Our method has two advantages. First, our method avoids discussing the details of who trades with whom and how, which can be a difficult question in complex environments. Second, by controlling parameter values in our equations, our method is flexible and transparent to satisfy various fairness criteria. We apply our method to several models and obtain new trading algorithms that are efficient and fair.


title: Solve Traveling Salesman Problem by Monte Carlo Tree Search and Deep Neural Network

abstract: We present a self-learning approach that combines deep reinforcement learning and Monte Carlo tree search to solve the traveling salesman problem. The proposed approach has two advantages. First, it adopts deep reinforcement learning to compute the value functions for decision, which removes the need of hand-crafted features and labelled data. Second, it uses Monte Carlo tree search to select the best policy by comparing different value functions, which increases its generalization ability. Experimental results show that the proposed method performs favorably against other methods in small-to-medium problem settings. And it shows comparable performance as state-of-the-art in large problem setting.