title: Landau poles in condensed matter systems

abstract: The existence or not of Landau poles is one of the oldest open questions in non-asymptotic quantum field theories. We investigate the Landau pole issue in two condensed matter systems whose long-wavelength physics is described by appropriate quantum field theories: the critical quantum magnet and Dirac fermions in graphene with long-range Coulomb interactions. The critical quantum magnet provides a classic example of a quantum phase transition, and it is well described by the $\phi^4$ theory. We find that the irrelevant but symmetry-allowed couplings, such as the $\phi^6$ potential, can significantly change the fate of the Landau pole in the $\phi^4$ theory. We obtain the coupled beta functions of a $\phi^4 + \phi^6$ potential at both small and large orders. Already from the 1-loop calculation, the Landau pole is replaced by an ultraviolet fixed point. A Lipatov analysis at large orders reveals that the inclusion of a $\phi^6$ term also has important repercussions for the high-order expansion of the beta functions. We also investigate the role of the Landau pole in 2+1 dimensional Dirac fermions with Coulomb interactions, e.g., graphene. Both the weak-coupling perturbation theory up to 2 loops and a low-order large-N calculation show the absence of a Landau pole. Furthermore, we calculate the asymptotic expansion coefficients of the beta function. We find that the asymptotic coefficient is bounded by that of a $\phi^4$ theory, so graphene is free from Landau poles if the $\phi^4$ theory does not manifest a Landau pole. We briefly discuss possible experiments that could potentially probe the existence of a Landau pole in these systems. Studying Landau poles in suitable condensed matter systems is of considerable fundamental importance since the relevant Landau pole energy scales in particle physics, whether it is quantum electrodynamics or Higgs physics, are completely unattainable.


title: Fast forward approach to stochastic heat engine

abstract: The fast-forward (FF) scheme proposed by Masuda and Nakamura (\textit{Proc. R. Soc. A} \textbf{466}, 1135 (2010)) in the context of conservative quantum dynamics can reproduce a quasi-static dynamics in an arbitrarily short time. We apply the FF scheme to the classical stochastic Carnot-like heat engine which is driven by a Brownian particle coupled with a time-dependent harmonic potential and working between the high ($T_h$)- and low ($T_c$)-temperature heat reservoirs. Concentrating on the underdamped case where momentum degree of freedom is included, we find the explicit expressions for the FF protocols necessary to accelerate both the isothermal and thermally-adiabatic processes, and obtain the reversible and irreversible works. The irreversible work is shown to consist of two terms with one proportional to and the other inversely proportional to the friction coefficient. The optimal value of efficiency $\eta$ at the maximum power of this engine is found to be $\eta^*=\frac{1}{2} \left( 1+\frac{1}{2}\left(\frac{T_c}{T_h}\right)^{\frac{1}{2}} - \frac{5}{4}\frac{T_c}{T_h} +O\left(\left(\frac{T_c}{T_h}\right)^{\frac{3}{2}}\right)\right)$ and $\eta^*= 1- \left(\frac{T_c}{T_h}\right)^{\frac{1}{2}}$, respectively in the cases of strong and weak dissipation. The result is justified for a wide family of time scaling functions, making the FF protocols very flexible. We also revealed that the accelerated full cycle of the Carnot-like stochastic heat engine cannot be conceivable within the framework of the overdamped case, and the power and efficiency can be evaluated only when the momentum degree of freedom is taken into consideration.


title: Affine algebraic super-groups with integral

abstract: We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of $G$-orbits is an affine scheme in the following two cases: (I) $G$ is finite; (II) $k$ is a field, and $G$ is linearly reductive. An emphasize is put on the more difficult generalization in the second case; the replaced assumption then is that an affine algebraic super-group $G$ over an arbitrary field has an integral. Those super-groups which satisfy the assumption are characterized, and are seen to form a large class if $\operatorname{char}k=0$. Hopf-algebraic techniques including bosonization are applied to prove the results.


title: Tensorized Random Projections

abstract: We introduce a novel random projection technique for efficiently reducing the dimension of very high-dimensional tensors. Building upon classical results on Gaussian random projections and Johnson-Lindenstrauss transforms~(JLT), we propose two tensorized random projection maps relying on the tensor train~(TT) and CP decomposition format, respectively. The two maps offer very low memory requirements and can be applied efficiently when the inputs are low rank tensors given in the CP or TT format. Our theoretical analysis shows that the dense Gaussian matrix in JLT can be replaced by a low-rank tensor implicitly represented in compressed form with random factors, while still approximately preserving the Euclidean distance of the projected inputs. In addition, our results reveal that the TT format is substantially superior to CP in terms of the size of the random projection needed to achieve the same distortion ratio. Experiments on synthetic data validate our theoretical analysis and demonstrate the superiority of the TT decomposition.


title: FlowFusion: Dynamic Dense RGB-D SLAM Based on Optical Flow

abstract: Dynamic environments are challenging for visual SLAM since the moving objects occlude the static environment features and lead to wrong camera motion estimation. In this paper, we present a novel dense RGB-D SLAM solution that simultaneously accomplishes the dynamic/static segmentation and camera ego-motion estimation as well as the static background reconstructions. Our novelty is using optical flow residuals to highlight the dynamic semantics in the RGB-D point clouds and provide more accurate and efficient dynamic/static segmentation for camera tracking and background reconstruction. The dense reconstruction results on public datasets and real dynamic scenes indicate that the proposed approach achieved accurate and efficient performances in both dynamic and static environments compared to state-of-the-art approaches.


title: Estimation of Accurate and Calibrated Uncertainties in Deterministic models

abstract: In this paper we focus on the problem of assigning uncertainties to single-point predictions generated by a deterministic model that outputs a continuous variable. This problem applies to any state-of-the-art physics or engineering models that have a computational cost that does not readily allow to run ensembles and to estimate the uncertainty associated to single-point predictions. Essentially, we devise a method to easily transform a deterministic prediction into a probabilistic one. We show that for doing so, one has to compromise between the accuracy and the reliability (calibration) of such a probabilistic model. Hence, we introduce a cost function that encodes their trade-off. We use the Continuous Rank Probability Score to measure accuracy and we derive an analytic formula for the reliability, in the case of forecasts of continuous scalar variables expressed in terms of Gaussian distributions. The new Accuracy-Reliability cost function is then used to estimate the input-dependent variance, given a black-box mean function, by solving a two-objective optimization problem. The simple philosophy behind this strategy is that predictions based on the estimated variances should not only be accurate, but also reliable (i.e. statistical consistent with observations). Conversely, early works based on the minimization of classical cost functions, such as the negative log probability density, cannot simultaneously enforce both accuracy and reliability. We show several examples both with synthetic data, where the underlying hidden noise can accurately be recovered, and with large real-world datasets.


title: Development of an Expert System for Diabetic Type-2 Diet

abstract: A successful intelligent control of patient food for treatment purpose must combines patient interesting food list and doctors efficient treatment food list. Actually, many rural communities in Sudan have extremely limited access to diabetic diet centers. People travel long distances to clinics or medical facilities, and there is a shortage of medical experts in most of these facilities. This results in slow service, and patients end up waiting long hours without receiving any attention. Hence diabetic diet expert systems can play a significant role in such cases where medical experts are not readily available. This paper presents the design and implementation of an intelligent medical expert system for diabetes diet that intended to be used in Sudan. The development of the proposed expert system went through a number of stages such problem and need identification, requirements analysis, knowledge acquisition, formalization, design and implementation. Visual prolog was used for designing the graphical user interface and the implementation of the system. The proposed expert system is a promising helpful tool that reduces the workload for physicians and provides diabetics with simple and valuable assistance.


title: High-dimensional ellipsoids converge to Gaussian spaces

abstract: We prove the convergence of (solid) ellipsoids to a Gaussian space in Gromov's concentration/weak topology as the dimension diverges to infinity. This gives the first discovered example of an irreducible nontrivial convergent sequence in the concentration topology, where 'irreducible nontrivial' roughly means to be not constructed from Levy families nor box convergent sequences.


title: Self-Sovereign Identity for IoT environments: A Perspective

abstract: This paper analyses the concept of Self-Sovereign Identity (SSI), an emerging approach for establishing digital identity, in the context of the Internet of Things (IoT). We contrast existing approaches for identity on the Internet, such as cloud-based accounts and digital certificates, with SSI standards such as Decentralized Identifiers (DIDs) and Verifiable Credentials (VCs). To the best of our knowledge, this is the first thorough comparison of these approaches. The benefits and challenges of using DIDs and VCs to identify and authenticate IoT devices and their respective users are discussed. In the end, we establish that SSI, with its owner-centric, privacy-aware and decentrailized approach, provides a viable and attractive option for secure identification of IoT devices and users.


title: Trusted Confidence Bounds for Learning Enabled Cyber-Physical Systems

abstract: Cyber-physical systems (CPS) can benefit by the use of learning enabled components (LECs) such as deep neural networks (DNNs) for perception and decision making tasks. However, DNNs are typically non-transparent making reasoning about their predictions very difficult, and hence their application to safety-critical systems is very challenging. LECs could be integrated easier into CPS if their predictions could be complemented with a confidence measure that quantifies how much we trust their output. The paper presents an approach for computing confidence bounds based on Inductive Conformal Prediction (ICP). We train a Triplet Network architecture to learn representations of the input data that can be used to estimate the similarity between test examples and examples in the training data set. Then, these representations are used to estimate the confidence of set predictions from a classifier that is based on the neural network architecture used in the triplet. The approach is evaluated using a robotic navigation benchmark and the results show that we can computed trusted confidence bounds efficiently in real-time.


title: ConceptScope: Organizing and Visualizing Knowledge in Documents based on Domain Ontology

abstract: Current text visualization techniques typically provide overviews of document content and structure using intrinsic properties such as term frequencies, co-occurrences, and sentence structures. Such visualizations lack conceptual overviews incorporating domain-relevant knowledge, needed when examining documents such as research articles or technical reports. To address this shortcoming, we present ConceptScope, a technique that utilizes a domain ontology to represent the conceptual relationships in a document in the form of a Bubble Treemap visualization. Multiple coordinated views of document structure and concept hierarchy with text overviews further aid document analysis. ConceptScope facilitates exploration and comparison of single and multiple documents respectively. We demonstrate ConceptScope by visualizing research articles and transcripts of technical presentations in computer science. In a comparative study with DocuBurst, a popular document visualization tool, ConceptScope was found to be more informative in exploring and comparing domain-specific documents, but less so when it came to documents that spanned multiple disciplines.


title: Variable-Based Network Analysis of Datasets on Data Exchange Platforms

abstract: Recently, data exchange platforms have emerged in the digital economy to enable better resource allocation in a data-driven society, which requires cross-organizational data collaborations. Understanding the characteristics of the data on these platforms is important for their application; however, the structures of such platforms have not been extensively investigated. In this study, we apply a network approach with a novel variable-based structural analysis to the metadata of datasets on two data platform services. It was noted that the structures of the data networks are locally dense and highly assortative, similar to human-related net-works. Even though the data on these platforms are designed and collected differently, depending on the use objectives, the variables of heterogeneous data exhibit a power distribution, and the data networks exhibit multi-scaling behavior. Furthermore, we found that the data collection strategies of the platforms are related to the variety of variables, density of the networks, and their robustness from the viewpoint of sustainability and social acceptability of the data platforms.


title: H--He collision-induced satellite in the Lyman-$\alpha$ profile of DBA white dwarf stars

abstract: The spectra of helium-dominated white dwarf stars with hydrogen in their atmosphere present a distinctive broad feature centered around 1160~\AA\/ in the blue wing of the Lyman-$\alpha$ line. It is extremely apparent in WD 1425+540 recently observed with HST COS. With new theoretical line profiles based on ab initio atomic interaction potentials we show that this feature is a signature of a collision-induced satellite due to an asymptotically forbidden transition. This quasi-molecular spectral satellite is crucial to understanding the asymmetrical shape of Lyman-$\alpha$ seen in this and other white dwarf spectra. Our previous work predicting this absorption feature was limited by molecular potentials that were not adequate to follow the atomic interactions with spectroscopic precision to the asymptotic limit of large separation. A new set of potential energy curves and electronic dipole transition moments for the lowest electronic states of the H--He system were developed to account accurately for the behavior of the atomic interactions at all distances, from the chemical regime within 1~\AA\/ out to where the radiating H atoms are not significantly perturbed by their neighbors. We use a general unified theory of collision-broadened atomic spectral lines to describe a rigorous treatment of hydrogen Lyman-$\alpha$ with these potentials and present a new study of its broadening by radiative collisions of hydrogen and neutral helium. These results enable ab initio modeling of radiative transport in DBA white dwarf atmospheres.


title: Constellation: A High Performance Geo-Distributed Middlebox Framework

abstract: Middleboxes are increasingly deployed across geographically distributed data centers. In these scenarios, the WAN latency between different sites can significantly impact the performance of stateful middleboxes. The deployment of middleboxes across such infrastructures can even become impractical due to the high cost of remote state accesses. We introduce Constellation, a framework for the geo distributed deployment of middleboxes. Constellation uses asynchronous replication of specialized state objects to achieve high performance and scalability. The evaluation of our implementation shows that, compared with the state-of-the-art [80], Constellation improves the throughput by a factor of 96 in wide area networks.


title: PONAS: Progressive One-shot Neural Architecture Search for Very Efficient Deployment

abstract: We achieve very efficient deep learning model deployment that designs neural network architectures to fit different hardware constraints. Given a constraint, most neural architecture search (NAS) methods either sample a set of sub-networks according to a pre-trained accuracy predictor, or adopt the evolutionary algorithm to evolve specialized networks from the supernet. Both approaches are time consuming. Here our key idea for very efficient deployment is, when searching the architecture space, constructing a table that stores the validation accuracy of all candidate blocks at all layers. For a stricter hardware constraint, the architecture of a specialized network can be very efficiently determined based on this table by picking the best candidate blocks that yield the least accuracy loss. To accomplish this idea, we propose Progressive One-shot Neural Architecture Search (PONAS) that combines advantages of progressive NAS and one-shot methods. In PONAS, we propose a two-stage training scheme, including the meta training stage and the fine-tuning stage, to make the search process efficient and stable. During search, we evaluate candidate blocks in different layers and construct the accuracy table that is to be used in deployment. Comprehensive experiments verify that PONAS is extremely flexible, and is able to find architecture of a specialized network in around 10 seconds. In ImageNet classification, 75.2% top-1 accuracy can be obtained, which is comparable with the state of the arts.


title: Scaling Hyperledger Fabric Using Pipelined Execution and Sparse Peers

abstract: Permissioned blockchains are becoming popular as data management systems in the enterprise setting. Compared to traditional distributed databases, blockchain platforms provide increased security guarantees but significantly lower performance. Further, these platforms are quite expensive to run for the low throughput they provide. The following are two ways to improve performance and reduce cost: (1) make the system utilize allocated resources efficiently; (2) allow rapid and dynamic scaling of allocated resources based on load. We explore both of these in this work. We first investigate the reasons for the poor performance and scalability of the dominant permissioned blockchain flavor called Execute-Order-Validate (EOV). We do this by studying the scaling characteristics of Hyperledger Fabric, a popular EOV platform, using vertical scaling and horizontal scaling. We find that the transaction throughput scales very poorly with these techniques. At least in the permissioned setting, the real bottleneck is transaction processing, not the consensus protocol. With vertical scaling, the allocated vCPUs go under-utilized. In contrast, with horizontal scaling, the allocated resources get wasted due to redundant work across nodes within an organization. To mitigate the above concerns, we first improve resource efficiency by (a) improving CPU utilization with a pipelined execution of validation & commit phases; (b) avoiding redundant work across nodes by introducing a new type of peer node called sparse peer that selectively commits transactions. We further propose a technique that enables the rapid scaling of resources. Our implementation - SmartFabric, built on top of Hyperledger Fabric demonstrates 3x higher throughput, 12-26x faster scale-up time, and provides Fabric's throughput at 50% to 87% lower cost.


title: A price on warming with a supply chain directed market

abstract: Existing emissions trading system (ETS) designs inhibit emissions but do not constrain warming to any fxed level, preventing certainty of the global path of warming. Instead, they have the indirect objective of reducing emissions. They provide poor future price information. And they have high transaction costs for implementation, requiring treaties and laws. To address these shortcomings, this paper proposes a novel double-sided auction mechanism of emissions permits and sequestration contracts tied to temperature. This mechanism constrains warming for many (e.g., 150) years into the future and every auction would provide price information for this time range. In addition, this paper proposes a set of market rules and a bottom-up implementation path. A coalition of businesses begin implementation with jurisdictions joining as they are ready. The combination of the selected market rules and the proposed implementation path appear to incentivize participation. This design appears to be closer to "first best" with a lower cost of mitigation than any in the literature, while increasing the certainty of avoiding catastrophic warming. This design should also have a faster pathway to implementation. A numerical simulation shows surprising results, e.g., that static prices are wrong, prices should evolve over time in a way that contradicts other recent proposals, and "global warming potential" as used in existing ETSs are generally erroneous.


title: Development of a Robotic System for Automated Decaking of 3D-Printed Parts

abstract: With the rapid rise of 3D-printing as a competitive mass manufacturing method, manual "decaking" - i.e. removing the residual powder that sticks to a 3D-printed part - has become a significant bottleneck. Here, we introduce, for the first time to our knowledge, a robotic system for automated decaking of 3D-printed parts. Combining Deep Learning for 3D perception, smart mechanical design, motion planning, and force control for industrial robots, we developed a system that can automatically decake parts in a fast and efficient way. Through a series of decaking experiments performed on parts printed by a Multi Jet Fusion printer, we demonstrated the feasibility of robotic decaking for 3D-printing-based mass manufacturing.


title: Noise Temperature of Phased Array Radio Telescope: The Murchison Widefield Array and the Engineering Development Array

abstract: This paper presents a framework to compute the receiver noise temperature (Trcv) of two low-frequency radio telescopes, the Murchison Widefield Array (MWA) and the Engineering Development Array (EDA). The MWA was selected because it is the only operational low-frequency Square Kilometre Array (SKA) precursor at the Murchison Radio-astronomy Observatory, while the EDA was selected because it mimics the proposed SKA-Low station size and configuration. It will demonstrated that the use of an existing power wave based framework for noise characterization of multiport amplifiers is sufficiently general to evaluate Trcv of phased arrays. The calculation of Trcv was done using a combination of measured noise parameters of the low-noise amplifier (LNA) and simulated S-parameters of the arrays. The calculated values were compared to measured results obtained via astronomical observation and both results are found to be in agreement. Such verification is lacking in current literature. It was shown that the receiver noise temperatures of both arrays are lower when compared to a single isolated element. This is caused by the increase in mutual coupling within the array which is discussed in depth in this paper.


title: Multiplicative Controller Fusion: Leveraging Algorithmic Priors for Sample-efficient Reinforcement Learning and Safe Sim-To-Real Transfer

abstract: Learning-based approaches often outperform hand-coded algorithmic solutions for many problems in robotics. However, learning long-horizon tasks on real robot hardware can be intractable, and transferring a learned policy from simulation to reality is still extremely challenging. We present a novel approach to model-free reinforcement learning that can leverage existing sub-optimal solutions as an algorithmic prior during training and deployment. During training, our gated fusion approach enables the prior to guide the initial stages of exploration, increasing sample-efficiency and enabling learning from sparse long-horizon reward signals. Importantly, the policy can learn to improve beyond the performance of the sub-optimal prior since the prior's influence is annealed gradually. During deployment, the policy's uncertainty provides a reliable strategy for transferring a simulation-trained policy to the real world by falling back to the prior controller in uncertain states. We show the efficacy of our Multiplicative Controller Fusion approach on the task of robot navigation and demonstrate safe transfer from simulation to the real world without any fine-tuning. The code for this project is made publicly available at https://sites.google.com/view/mcf-nav/home


title: Using machine learning to speed up new and upgrade detector studies: a calorimeter case

abstract: In this paper, we discuss the way advanced machine learning techniques allow physicists to perform in-depth studies of the realistic operating modes of the detectors during the stage of their design. Proposed approach can be applied to both design concept (CDR) and technical design (TDR) phases of future detectors and existing detectors if upgraded. The machine learning approaches may speed up the verification of the possible detector configurations and will automate the entire detector R\&D, which is often accompanied by a large number of scattered studies. We present the approach of using machine learning for detector R\&D and its optimisation cycle with an emphasis on the project of the electromagnetic calorimeter upgrade for the LHCb detector\cite{lhcls3}. The spatial reconstruction and time of arrival properties for the electromagnetic calorimeter were demonstrated.

categories: physics.ins-det cs.LG hep-ex physics.comp-ph


title: Magic: the Gathering is as Hard as Arithmetic

abstract: Magic: the Gathering is a popular and famously complicated card game about magical combat. Recently, several authors including Chatterjee and Ibsen-Jensen (2016) and Churchill, Biderman, and Herrick (2019) have investigated the computational complexity of playing Magic optimally. In this paper we show that the ``mate-in-$n$'' problem for Magic is $\Delta^0_n$-hard and that optimal play in two-player Magic is non-arithmetic in general. These results apply to how real Magic is played, can be achieved using standard-size tournament legal decks, and do not rely on stochasticity or hidden information. Our paper builds upon the construction that Churchill, Biderman, and Herrick (2019) used to show that this problem was at least as hard as the halting problem.


title: Retraction Mechanism of Soft Torus Robot with a Hydrostatic Skeleton

abstract: Soft robots have attracted much attention in recent years owing to their high adaptability. Long articulated soft robots enable diverse operations, and tip-extending robots that navigate their environment through growth are highly effective in robotic search applications. Because the robot membrane extends from the tip, these robots can lengthen without friction from the environment. However, the flexibility of the membrane inhibits tip retraction. Two methods have been proposed to resolve this issue; increasing the pressure of the internal fluid to reinforce rigidity, and mounting an actuator at the tip. The disadvantage of the former is that the increase is limited by the membrane pressure resistance, while the second method adds to the robot complexity. In this paper, we present a tip-retraction mechanism without bending motion that takes advantage of the friction from the external environment. Water is used as the internal fluid to increase ground pressure with the environment. We explore the failure pattern of the retraction motion and propose plausible solutions by using hydrostatic skeleton robot. Additionally, we develop a prototype robot that successfully retracts by using the proposed methodology. Our solution can contribute to the advancement of mechanical design in the soft robotics field with applications to soft snakes and manipulators.


title: The reliability of the Titius-Bode relation and its implications for the search for exoplanets

abstract: The major semiaxes of the planets in our Solar System obey a simple geometric progression known as the Titius-Bode Relation (TBR), whose physical origin remains disputed. It has been shown that the exoplanetary systems follow a similar (but not identical) progression of the form a_n= a_0 e^(bn), where a_0, b are constants to be determined for each system. Since its formulation, the Titius-Bode Relation has proved to be highly predictive in our Solar System. Using data from 27 exoplanetary systems with 5 or more planets and applying a proposed method, we conclude that reliable TB-like fits can be obtained for systems with at least 4 planets and that the precision of the TBR is 78%. By means of a statistical test we show that the periods of planets in real exoplanetary systems are not consistent with a random distribution. Rather, they show signs that their configuration is shaped by their mutual interactions.


title: Uncertainty depth estimation with gated images for 3D reconstruction

abstract: Gated imaging is an emerging sensor technology for self-driving cars that provides high-contrast images even under adverse weather influence. It has been shown that this technology can even generate high-fidelity dense depth maps with accuracy comparable to scanning LiDAR systems. In this work, we extend the recent Gated2Depth framework with aleatoric uncertainty providing an additional confidence measure for the depth estimates. This confidence can help to filter out uncertain estimations in regions without any illumination. Moreover, we show that training on dense depth maps generated by LiDAR depth completion algorithms can further improve the performance.


title: Investigation of contributions of the $2_2^+$ resonance in $^6$He via analysis of $^6$He($p$, $p'$)

abstract: We investigate the contribution of the $2^{+}_{2}$ resonance in $^6$He to observables via analysis of the $^6$He($p,p'$) reaction by using the continuum-discretized coupled channels method combined with the complex-scaling method. In this study, we obtain the $2^{+}_{2}$ state with the resonant energy 2.25 MeV and the decay width 3.75 MeV and analyse contributions of resonances and nonresonant continuum states to the cross section separately. It is found that the $2^{+}_{2}$ state plays an important role in the energy spectrum. Furthermore, contributions of nonresonant continuum states are also important to clarify the properties of the $2^{+}_{2}$ state.


title: Role of generalized parity in the symmetry of fluorescence spectrum from two-level systems under periodic frequency modulation

abstract: We study the origin of the symmetry of the fluorescence spectrum from the two-level system subjected to a low-frequency periodic modulation and a near-resonant high-frequency monochromatic excitation by using the analytical and numerical methods based on the Floquet theory. We find that the fundamental origin of symmetry of the spectrum can be attributed to the presence of the generalized parity of the Floquet states, which depends on the driving parameters. The absence of the generalized parity can lead to the asymmetry of the spectrum. Based on the generalized parity, the conditions for the symmetry and asymmetry of the spectrum can be derived, which succeeds in predicting symmetry and asymmetry of the spectrum for the harmonic, biharmonic, and multiharmonic modulations. Moreover, we find that the secular approximation widely used in the analytical calculation may lead to artifact symmetry of the spectrum that vanishes when such approximation is avoided. The present study provides a significant perspective on the origin of the symmetry of the spectrum.


title: Single-Carrier Transport in Graphene/hBN Superlattices

abstract: Graphene/hexagonal boron nitride (hBN) moir\'e superlattices have attracted interest for use in the study of many-body effects and fractal physics in Dirac fermion systems. Many exotic transport properties have been intensively examined in such superlattices, but previous studies have not focused on single-carrier transport. The investigation of the single-carrier behavior in these superlattices would lead to an understanding of the transition of single-particle/correlated phenomena. Here, we show the single-carrier transport in a high-quality bilayer graphene/hBN superlattice-based quantum dot device. We demonstrate remarkable device controllability in the energy range near the charge neutrality point (CNP) and the hole-side satellite point. Under a perpendicular magnetic field, Coulomb oscillations disappear near the CNP, which could be a signature of the crossover between Coulomb blockade and quantum Hall regimes. Our results pave the way for exploring the relationship of single-electron transport and fractal quantum Hall effects with correlated phenomena in two-dimensional quantum materials.


title: A variability measure for estimates of parameters in interval data fitting

abstract: The paper presents a construction of a quantitative measure of variability for parameter estimates in the data fitting problem under interval uncertainty. It shows the degree of variability and ambiguity of the estimate, and the need for its introduction is dictated by non-uniqueness of answers to the problems with interval data. A substantiation of the new variability measure is given, its application and motivations are discussed. Several examples and a series of numerical tests are considered, showing the features of the new characteristic and the specifics of its use.


title: Hundred Drones Land in a Minute

abstract: Currently, drone research and development has received significant attention worldwide. Particularly, delivery services employ drones as it is a viable method to improve delivery efficiency by using a several unmanned drones. Research has been conducted to realize complete automation of drone control for such services. However, regarding the takeoff and landing port of the drones, conventional methods have focused on the landing operation of a single drone, and the continuous landing of multiple drones has not been realized. To address this issue, we propose a completely novel port system, "EAGLES Port," that allows several drones to continuously land and takeoff in a short time. Experiments verified that the landing time efficiency of the proposed port is ideally 7.5 times higher than that of conventional vertical landing systems. Moreover, the system can tolerate 270 mm of horizontal positional error, +-30 deg of angular error in the drone's approach (+-40 deg with the proposed gate mechanism), and up to 1.9 m/s of drone's approach speed. This technology significantly contributes to the scalability of drone usage. Therefore, it is critical for the development of a future drone port for the landing of automated drone swarms.


title: Cars Can't Fly up in the Sky: Improving Urban-Scene Segmentation via Height-driven Attention Networks

abstract: This paper exploits the intrinsic features of urban-scene images and proposes a general add-on module, called height-driven attention networks (HANet), for improving semantic segmentation for urban-scene images. It emphasizes informative features or classes selectively according to the vertical position of a pixel. The pixel-wise class distributions are significantly different from each other among horizontally segmented sections in the urban-scene images. Likewise, urban-scene images have their own distinct characteristics, but most semantic segmentation networks do not reflect such unique attributes in the architecture. The proposed network architecture incorporates the capability exploiting the attributes to handle the urban scene dataset effectively. We validate the consistent performance (mIoU) increase of various semantic segmentation models on two datasets when HANet is adopted. This extensive quantitative analysis demonstrates that adding our module to existing models is easy and cost-effective. Our method achieves a new state-of-the-art performance on the Cityscapes benchmark with a large margin among ResNet-101 based segmentation models. Also, we show that the proposed model is coherent with the facts observed in the urban scene by visualizing and interpreting the attention map. Our code and trained models are publicly available at https://github.com/shachoi/HANet


title: An Improved Square-root Algorithm for V-BLAST Based on Efficient Inverse Cholesky Factorization

abstract: A fast algorithm for inverse Cholesky factorization is proposed, to compute a triangular square-root of the estimation error covariance matrix for Vertical Bell Laboratories Layered Space-Time architecture (V-BLAST). It is then applied to propose an improved square-root algorithm for V-BLAST, which speedups several steps in the previous one, and can offer further computational savings in MIMO Orthogonal Frequency Division Multiplexing (OFDM) systems. Compared to the conventional inverse Cholesky factorization, the proposed one avoids the back substitution (of the Cholesky factor), and then requires only half divisions. The proposed V-BLAST algorithm is faster than the existing efficient V-BLAST algorithms. The expected speedups of the proposed square-root V-BLAST algorithm over the previous one and the fastest known recursive V-BLAST algorithm are 3.9~5.2 and 1.05~1.4, respectively.


title: Joint Source and Relay Design for Multi-user MIMO Non-regenerative Relay Networks with Direct Links

abstract: In this paper, we investigate joint source precoding matrices and relay processing matrix design for multi-user multiple-input multiple-output~(MU-MIMO) non-regenerative relay networks in the presence of the direct source-destination~(S-D) links. We consider both capacity and mean-squared error~(MSE) criterions subject to the distributed power constraints, which are nonconvex and apparently have no simple solutions. Therefore, we propose an optimal source precoding matrix structure based on the point-to-point MIMO channel technique, and a new relay processing matrix structure under the modified power constraint at relay node, based on which, a nested iterative algorithm of jointly optimizing sources precoding and relay processing is established. We show that the capacity based optimal source precoding matrices share the same structure with the MSE based ones. So does the optimal relay processing matrix. Simulation results demonstrate that the proposed algorithm outperforms the existing results.


title: Efficient Linear Transmission Strategy for MIMO Relaying Broadcast Channels with Direct Links

abstract: In this letter, a novel linear transmission strategy to design the linear precoding matrix~(PM) at base station~(BS) and the beamforming matrix~(BM) at relay station~(RS) for multiple-input multiple-output~(MIMO) relaying broadcast channels with direct channel (DC) is proposed, in which a linear PM is designed at BS based on DC, and the RS utilizes the PM, the backward channel and the forward channel to design the linear BM. We then give a quite tight lower bound of the achievable sum-rate of the network with the proposed strategy to measure the performance. The sum-rates achieved by the proposed strategy is compared with other schemes without considering the DC in design in simulations, which shows that the proposed strategy outperforms the existing methods when RS is close to BS.


title: SIMBA: A Skyrmionic In-Memory Binary Neural Network Accelerator

abstract: Magnetic skyrmions are emerging as potential candidates for next generation non-volatile memories. In this paper, we propose an in-memory binary neural network (BNN) accelerator based on the non-volatile skyrmionic memory, which we call as SIMBA. SIMBA consumes 26.7 mJ of energy and 2.7 ms of latency when running an inference on a VGG-like BNN. Furthermore, we demonstrate improvements in the performance of SIMBA by optimizing material parameters such as saturation magnetization, anisotropic energy and damping ratio. Finally, we show that the inference accuracy of BNNs is robust against the possible stochastic behavior of SIMBA (88.5% +/- 1%).


title: Model Order Reduction in Neuroscience

abstract: The human brain contains approximately $10^9$ neurons, each with approximately $10^3$ connections, synapses, with other neurons. Most sensory, cognitive and motor functions of our brains depend on the interaction of a large population of neurons. In recent years, many technologies are developed for recording large numbers of neurons either sequentially or simultaneously. An increase in computational power and algorithmic developments have enabled advanced analyses of neuronal population parallel to the rapid growth of quantity and complexity of the recorded neuronal activity. Recent studies made use of dimensionality and model order reduction techniques to extract coherent features which are not apparent at the level of individual neurons. It has been observed that the neuronal activity evolves on low-dimensional subspaces. The aim of model reduction of large-scale neuronal networks is an accurate and fast prediction of patterns and their propagation in different areas of the brain. Spatiotemporal features of the brain activity are identified on low dimensional subspaces with methods such as dynamic mode decomposition (DMD), proper orthogonal decomposition (POD), discrete empirical interpolation (DEIM) and combined parameter and state reduction. In this paper, we give an overview of the currently used dimensionality reduction and model order reduction techniques in neuroscience. This work will be featured as a chapter in the upcoming Handbook on Model Order Reduction,(P. Benner, S. Grivet-Talocia, A. Quarteroni, G. Rozza, W. H. A. Schilders, L. M. Silveira, eds, to appear on DE GRUYTER)


title: Wind- and Operation-Induced Vibration Measurements of the Main Reflector of the Nobeyama 45 m Radio Telescope

abstract: As deformations of the main reflector of a radio telescope directly affect the observations, the evaluation of the deformation is extremely important. Dynamic characteristics of the main reflector of the Nobeyama 45 m radio telescope, Japan, are measured under two conditions: The first is when the pointing observation is in operation, and the second is when the reflector is stationary and is subjected to wind loads when the observation is out of operation. Dynamic characteristics of the main reflector are measured using piezoelectric accelerometers. When the telescope is in operation, a vibration mode with one nodal line horizontally or vertically on the reflector is induced, depending on whether the reflector is moving in the azimuthal or elevational planes, whereas under windy conditions, vibration modes that have two to four nodal lines are simultaneously induced. The predominant mode is dependent on the direction of wind loads.


title: Covert Cycle Stealing in a Single FIFO Server

abstract: Consider a setting where Willie generates a Poisson stream of jobs and routes them to a single server that follows the first-in first-out discipline. Suppose there is an adversary Alice, who desires to receive service without being detected. We ask the question: what is the number of jobs that she can receive covertly, i.e. without being detected by Willie? In the case where both Willie and Alice jobs have exponential service times with respective rates $\mu_1$ and $\mu_2$, we demonstrate a phase-transition when Alice adopts the strategy of inserting a single job probabilistically when the server idles : over $n$ busy periods, she can achieve a covert throughput, measured by the expected number of jobs covertly inserted, of $\mathcal{O}(\sqrt{n})$ when $\mu_1 < 2\mu_2$, $\mathcal{O}(\sqrt{n/\log n})$ when $\mu_1 = 2\mu_2$, and $\mathcal{O}(n^{\mu_2/\mu_1})$ when $\mu_1 > 2\mu_2$. When both Willie and Alice jobs have general service times we establish an upper bound for the number of jobs Alice can execute covertly. This bound is related to the Fisher information. More general insertion policies are also discussed.


title: CASIA-SURF CeFA: A Benchmark for Multi-modal Cross-ethnicity Face Anti-spoofing

abstract: Ethnic bias has proven to negatively affect the performance of face recognition systems, and it remains an open research problem in face anti-spoofing. In order to study the ethnic bias for face anti-spoofing, we introduce the largest up to date CASIA-SURF Cross-ethnicity Face Anti-spoofing (CeFA) dataset (briefly named CeFA), covering $3$ ethnicities, $3$ modalities, $1,607$ subjects, and 2D plus 3D attack types. Four protocols are introduced to measure the affect under varied evaluation conditions, such as cross-ethnicity, unknown spoofs or both of them. To the best of our knowledge, CeFA is the first dataset including explicit ethnic labels in current published/released datasets for face anti-spoofing. Then, we propose a novel multi-modal fusion method as a strong baseline to alleviate these bias, namely, the static-dynamic fusion mechanism applied in each modality (i.e., RGB, Depth and infrared image). Later, a partially shared fusion strategy is proposed to learn complementary information from multiple modalities. Extensive experiments demonstrate that the proposed method achieves state-of-the-art results on the CASIA-SURF, OULU-NPU, SiW and the CeFA dataset.


title: Relating the structure of dark matter halos to their assembly and environment

abstract: We use a large $N$-body simulation to study the relation of the structural properties of dark matter halos to their assembly history and environment. The complexity of individual halo assembly histories can be well described by a small number of principal components (PCs), which, compared to formation times, provide a more complete description of halo assembly histories and have a stronger correlation with halo structural properties. Using decision trees built with the random ensemble method, we find that about $60\%$, $10\%$, and $20\%$ of the variances in halo concentration, axis ratio, and spin, respectively, can be explained by combining four dominating predictors: the first PC of the assembly history, halo mass, and two environment parameters. Halo concentration is dominated by halo assembly. The local environment is found to be important for the axis ratio and spin but is degenerate with halo assembly. The small percentages of the variance in the axis ratio and spin that are explained by known assembly and environmental factors suggest that the variance is produced by many nuanced factors and should be modeled as such. The relations between halo intrinsic properties and environment are weak compared to their variances, with the anisotropy of the local tidal field having the strongest correlation with halo properties. Our method of dimension reduction and regression can help simplify the characterization of the halo population and clarify the degeneracy among halo properties.


title: Decentralized Visual-Inertial-UWB Fusion for Relative State Estimation of Aerial Swarm

abstract: The collaboration of unmanned aerial vehicles (UAVs) has become a popular research topic for its practicability in multiple scenarios. The collaboration of multiple UAVs, which is also known as aerial swarm is a highly complex system, which still lacks a state-of-art decentralized relative state estimation method. In this paper, we present a novel fully decentralized visual-inertial-UWB fusion framework for relative state estimation and demonstrate the practicability by performing extensive aerial swarm flight experiments. The comparison result with ground truth data from the motion capture system shows the centimeter-level precision which outperforms all the Ultra-WideBand (UWB) and even vision based method. The system is not limited by the field of view (FoV) of the camera or Global Positioning System (GPS), meanwhile on account of its estimation consistency, we believe that the proposed relative state estimation framework has the potential to be prevalently adopted by aerial swarm applications in different scenarios in multiple scales.


title: Infinitely degenerate exact Ricci-flat solutions in f(R) gravity

abstract: We obtain an infinite number of exact static, Ricci-flat spherically symmetric vacuum solutions for a class of f(R) theories of gravity. We analytically derive two exact vacuum black-hole solutions for the same class of f(R) theories. The two black-hole solutions have the event-horizon at the same point; however, their asymptotic features are different. Our results suggest that no-hair theorem may not hold for generic modified gravity theories. We discuss the implications of our work to distinguish modified gravity theories from general relativity in gravitational wave detections.


title: Localization, big-jump regime and the effect disorder for a class of generalized pinning models

abstract: One dimensional pinning models have been widely studied in the physical and mathematical literature, also in presence of disorder. Roughly speaking, they undergo a transition between a delocalized phase and a localized one. In mathematical terms these models are obtained by modifying the distribution of a discrete renewal process via a Boltzmann factor with an energy that contains only one body potentials. For some more complex models, notably pinning models based on higher dimensional renewals, it has been shown that other phases may be present. We study a generalization of the one dimensional pinning model in which the energy may depend in a nonlinear way on the contact fraction: this class of models contains the circular DNA case considered in the bio-physics literature. We give a full solution of this generalized pinning model in absence of disorder and show that another transition appears. In fact the systems may display up to three different regimes: delocalization, partial localization and full localization. What happens in the partially localized regime can be explained in terms of the "big-jump" phenomenon for sums of heavy tail random variables under conditioning. We then show that disorder completely smears this second transition and we are back to the delocalization versus localization scenario. In fact we show that the disorder, even if arbitrarily weak, is incompatible with the presence of a big-jump.


title: On Degree Sequence Optimization

abstract: We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial time for convex multi-criteria objectives. We next consider the problem with separable objectives, which is NP-hard already when all vertex functions are the square. We consider a colored extension of the separable problem, which includes the notorious exact matching problem as a special case, and show that it can be solved in polynomial time on graphs of bounded tree-depth for any vertex functions. We mention some of the many remaining open problems.


title: A K\"{u}nneth Formula of Hypergraphs

abstract: In this paper, based on the embedded homology groups of hypergraphs defined in \cite{h1}, we define the product of hypergraphs and prove the corresponding K\"{u}nneth formula of hypergraphs which can be generalized to the K\"{u}nneth formula for the embedded homology of graded subsets of chain complexes with coefficients in a principal ideal domain.


title: Probabilistic Analysis of Replicator-Mutator Equations

abstract: This paper introduces a general class of Replicator-Mutator equations on a multi-dimensional fitness space. We establish a novel probabilistic representation of weak solutions of the equation by using the theory of Fockker-Planck-Kolmogorov (FPK) equations and a martingale extraction approach. The examples with closed-form probabilistic solutions for different fitness functions considered in the existing literature are provided. We also construct a particle system and prove a general convergence result to any solution to the FPK equation associated with the extended Replicator-Mutator equation with respect to a Wasserstein-like distance adapted to our probabilistic framework.


title: Impulse control of chaos in the flexible shaft rotating-lifting system of the mono-silicon crystal puller

abstract: Chaos is shown to occur in the flexible shaft rotating-lifting (FSRL) system of the mono-silicon crystal puller. Chaos is, however, harmful for the quality of mono-silicon crystal production. Therefore, it should be suppressed. Many chaos control methods have been proposed theoretically and some have even been used in applications. For a practical plant displaying harmful chaos, engineers from a specified area usually face with the challenge to identifying chaos and to suppressing it by using a proper method. However, despite of the existing methods, chaos control method selection in the FSRL system is not a trivial task. For example, for the OGY method, if one cannot find a practical adjustable parameter, then the OGY method cannot be applied. An impulsive control method is being proposed which is efficiently able to suppress chaos in the FSRL system. The selection of the control parameters is obtained by using the Melnikov method. Simulation results show the correctness of our theoretical analysis and the effectiveness of the proposed chaos control method.


title: Regularized Adaptation for Stable and Efficient Continuous-Level Learning on Image Processing Networks

abstract: In Convolutional Neural Network (CNN) based image processing, most of the studies propose networks that are optimized for a single-level (or a single-objective); thus, they underperform on other levels and must be retrained for delivery of optimal performance. Using multiple models to cover multiple levels involves very high computational costs. To solve these problems, recent approaches train the networks on two different levels and propose their own interpolation methods to enable the arbitrary intermediate levels. However, many of them fail to adapt hard tasks or interpolate smoothly, or the others still require large memory and computational cost. In this paper, we propose a novel continuous-level learning framework using a Filter Transition Network (FTN) which is a non-linear module that easily adapt to new levels, and is regularized to prevent undesirable side-effects. Additionally, for stable learning of FTN, we newly propose a method to initialize non-linear CNNs with identity mappings. Furthermore, FTN is extremely lightweight module since it is a data-independent module, which means it is not affected by the spatial resolution of the inputs. Extensive results for various image processing tasks indicate that the performance of FTN is stable in terms of adaptation and interpolation, and comparable to that of the other heavy frameworks.


title: Entity Extraction from Wikipedia List Pages

abstract: When it comes to factual knowledge about a wide range of domains, Wikipedia is often the prime source of information on the web. DBpedia and YAGO, as large cross-domain knowledge graphs, encode a subset of that knowledge by creating an entity for each page in Wikipedia, and connecting them through edges. It is well known, however, that Wikipedia-based knowledge graphs are far from complete. Especially, as Wikipedia's policies permit pages about subjects only if they have a certain popularity, such graphs tend to lack information about less well-known entities. Information about these entities is oftentimes available in the encyclopedia, but not represented as an individual page. In this paper, we present a two-phased approach for the extraction of entities from Wikipedia's list pages, which have proven to serve as a valuable source of information. In the first phase, we build a large taxonomy from categories and list pages with DBpedia as a backbone. With distant supervision, we extract training data for the identification of new entities in list pages that we use in the second phase to train a classification model. With this approach we extract over 700k new entities and extend DBpedia with 7.5M new type statements and 3.8M new facts of high precision.


title: Collapse of the vacuum in hexagonal graphene quantum dots: a comparative study between the tight-binding and the mean-field Hubbard models

abstract: In this paper, we perform a systematic study on the electronic, magnetic, and transport properties of the hexagonal graphene quantum dots (GQDs) with armchair edges in the presence of a charged impurity using two different configurations: (1) a central Coulomb potential and (2) a positively charged carbon vacancy. The tight binding (TB) and the half-filled extended Hubbard models are numerically solved and compared with each other in order to reveal the effect of electron interactions and system sizes. Numerical results point out that off-site Coulomb repulsion leads to an increase in the critical coupling constant to $\beta_{\text{c}}$ = 0.6 for a central Coulomb potential. This critical value of the $\beta$ is found to be independent of GQD size, reflecting its universality even in the presence of electron-electron interactions. In addition, a sudden downshift in the transmission peaks shows a clear signature of the transition from subcritical $\beta$ $<$ $\beta_{\text{c}}$ to supercritical $\beta$ $>$ $\beta_{\text{c}}$ regime. On the other hand, for a positively charged vacancy, the collapse of the lowest bound state occurs at $\beta_{\text{c}}$ = 0.7 for the interacting case. Interestingly, the local magnetic moment, induced by a bare carbon vacancy, is totally quenched when the vacancy is subcritically charged, whereas the valley splittings in electron and hole channels continue to exist in both regimes.


title: Kernel Quantization for Efficient Network Compression

abstract: This paper presents a novel network compression framework Kernel Quantization (KQ), targeting to efficiently convert any pre-trained full-precision convolutional neural network (CNN) model into a low-precision version without significant performance loss. Unlike existing methods struggling with weight bit-length, KQ has the potential in improving the compression ratio by considering the convolution kernel as the quantization unit. Inspired by the evolution from weight pruning to filter pruning, we propose to quantize in both kernel and weight level. Instead of representing each weight parameter with a low-bit index, we learn a kernel codebook and replace all kernels in the convolution layer with corresponding low-bit indexes. Thus, KQ can represent the weight tensor in the convolution layer with low-bit indexes and a kernel codebook with limited size, which enables KQ to achieve significant compression ratio. Then, we conduct a 6-bit parameter quantization on the kernel codebook to further reduce redundancy. Extensive experiments on the ImageNet classification task prove that KQ needs 1.05 and 1.62 bits on average in VGG and ResNet18, respectively, to represent each parameter in the convolution layer and achieves the state-of-the-art compression ratio with little accuracy loss.


title: Creation and manipulation of quantized vortices in Bose-Einstein condensates using reinforcement learning

abstract: We apply the technique of reinforcement learning to the control of nonlinear matter waves. In this method, an agent controls the position, strength, and shape of an external Gaussian potential to create and manipulate quantized vortices in a Bose-Einstein condensate (BEC) trapped in a harmonic potential. The density and velocity distributions of the BEC at each moment obtained by the Gross-Pitaevskii evolution are directly input into a convolutional neural network to determine the next action of the agent. We demonstrate that a stationary single-vortex state can be produced in a two-dimensional system, and a stationary vortex-ring state can be produced in a three-dimensional system.


title: Illuminating the dark ages: Cosmic backgrounds from accretion onto primordial black hole dark matter

abstract: Cold dark matter as the sum of different mass Primordial Black Holes (PBH) can explain a number of unsolved astrophysical mysteries. Here I assume a broad PBH mass distribution providing the bulk of the dark matter, consistent with all constraints and estimate the baryon accretion onto PBH contributing to cosmic background radiations, mainly the correlation signal between the Cosmic X-ray and the Cosmic infrared background fluctuations in deep Chandra and Spitzer surveys. I assume Bondi capture and advection dominated disk accretion with reasonable baryon densities and effective relative velocities between baryons and PBH, as well as appropriate accretion and radiation efficiencies, and integrate over the PBH mass spectrum and cosmic time. The X-ray contribution is indeed consistent with the residual X-ray background signal and the X-ray/infrared fluctuations. The flux peaks at z~17-30, consistent with constraints requiring the signal to come from high redshifts. The PBH contribution to the infrared background fluctuations is only about 1%. Magnetic fields are an essential ingredient in the Bondi capture process, and PBH can play a role in amplifying early seed fields and maintaining them until the galactic dynamo processes set in. The contribution of the assumed PBH population to the re-ionization history of the universe does not conflict with the Planck ionization limits. X-ray heating from PBH can provide a contribution to the entropy floor in groups of galaxies. The tantalizing EDGES redshifted 21-cm absorption line feature can be connected to the radio contribution to the cosmic background radiation. Finally, the number of intermediate-mass black holes and the diffuse X-ray emission in the Galactic Center are consistent with the assumed PBH dark matter. Some of the discrete sources in the deepest Chandra observations of the Galactic Ridge could indeed be accreting PBH.


title: Predicting the Amount of GDPR Fines

abstract: The General Data Protection Regulation (GDPR) was enforced in 2018. After this enforcement, many fines have already been imposed by national data protection authorities in the European Union (EU). This paper examines the individual GDPR articles referenced in the enforcement decisions, as well as predicts the amount of enforcement fines with available meta-data and text mining features extracted from the enforcement decision documents. According to the results, articles related to the general principles, lawfulness, and information security have been the most frequently referenced ones. Although the amount of fines imposed vary across the articles referenced, these three particular articles do not stand out. Furthermore, good predictions are attainable even with simple machine learning techniques for regression analysis. Basic meta-data (such as the articles referenced and the country of origin) yields slightly better performance compared to the text mining features.


title: A generalized Sylvester-Gallai type theorem for quadratic polynomials

abstract: In this work we prove a version of the Sylvester-Gallai theorem for quadratic polynomials that takes us one step closer to obtaining a deterministic polynomial time algorithm for testing zeroness of $\Sigma^{[3]}\Pi\Sigma\Pi^{[2]}$ circuits. Specifically, we prove that if a finite set of irreducible quadratic polynomials $\mathcal{Q}$ satisfy that for every two polynomials $Q_1,Q_2\in \mathcal{Q}$ there is a subset $\mathcal{K}\subset \mathcal{Q}$, such that $Q_1,Q_2 \notin \mathcal{K}$ and whenever $Q_1$ and $Q_2$ vanish then also $\prod_{i\in \mathcal{K}} Q_i$ vanishes, then the linear span of the polynomials in $\mathcal{Q}$ has dimension $O(1)$. This extends the earlier result [Shpilka19] that showed a similar conclusion when $|\mathcal{K}| = 1$. An important technical step in our proof is a theorem classifying all the possible cases in which a product of quadratic polynomials can vanish when two other quadratic polynomials vanish. I.e., when the product is in the radical of the ideal generates by the two quadratics. This step extends a result from [Shpilka19]that studied the case when one quadratic polynomial is in the radical of two other quadratics.


title: The Open Universe survey of Swift-XRT GRB fields: a complete sample of HBL blazars

abstract: We have analysed all the X-ray images centred on Gamma Ray Bursts generated by Swift over the last 15 years using automatic tools that do not require any expertise in X-ray astronomy, producing results in excellent agreement with previous findings. This work, besides presenting the largest medium-deep survey of the X-ray sky and a complete sample of blazars, wishes to be a step in the direction of achieving the ultimate goal of the Open Universe Initiative, that is to enable non expert people to fully benefit of space science data, possibly extending the potential for scientific discovery, currently confined within a small number of highly specialised teams, to a much larger population. We have used the Swift_deepsky Docker container encapsulated pipeline to build the largest existing flux-limited and unbiased sample of serendipitous X-ray sources. Swift_deepsky runs on any laptop or desktop computer with a modern operating system. The tool automatically downloads the data and the calibration files from the archives, runs the official Swift analysis software and produces a number of results including images, the list of detected sources, X-ray fluxes, SED data, and spectral slope estimations. We used our source list to build the LogN-LogS of extra-galactic sources, which perfectly matches that estimated by other satellites. Combining our survey with multi-frequency data we selected a complete radio flux-density limited sample of High Energy Peaked (HBL) blazars.


title: Towards the understanding of fully-heavy tetraquark states from various models

abstract: We use a color-magnetic interaction model (CMIM), a traditional constituent quark model (CQM) and a multiquark color flux-tube model (MCFTM) to systematically investigate the properties of the states $[Q_1Q_2][\bar{Q}_3\bar{Q}_4]$ ($Q=c,b$). The dynamical investigation indicates that the CMIM can not completely absorb QCD dynamical effects through the effective constituent quark mass and overestimates the color-magnetic interaction in the states under the assumption of the same spatial configurations. The Coulomb interaction plays a critical role in the dynamical model calculations on the heavy hadrons, which induces the fact that none of bound states $[Q_1Q_2][\bar{Q}_3\bar{Q}_4]$ can be found in the dynamical models. The color configuration $\left[[Q_1Q_2]_{\mathbf{6}_c}[\bar{Q}_3\bar{Q}_4]_{\bar{\mathbf{6}}_c}\right]_{\mathbf{1}}$ should be taken seriously in the ground states due to the strong Coulomb attraction between the $[Q_1Q_2]_{\mathbf{6}_c}$ and $[\bar{Q}_3\bar{Q}_4]_{\bar{\mathbf{6}}_c}$. The color configuration $\left[[Q_1Q_2]_{\bar{\mathbf{3}}_c}[\bar{Q}_2\bar{Q}_4]_{\mathbf{3}_c}\right]_{\mathbf{1}}$ is absolutely dominant in the excited states because of the strong Coulomb attraction within the $[Q_1Q_2]_{\bar{\mathbf{3}}_c}$ and $[\bar{Q}_2\bar{Q}_4]_{\mathbf{3}_c}$. The $J/\Psi$-pair resonances recently observed by LHCb are difficult to be accommodated in the CMIM. The broad structure ranging from 6.2 to 6.8 GeV can be described as the ground tetraquark state $[cc][\bar{c}\bar{c}]$ in the various dynamical models. The narrow structure $X(6900)$ can be identified as the excited state $[cc][\bar{c}\bar{c}]$ with $L=1$ ($L=2$) in the CQM (MCFTM).


title: Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology

abstract: Machine learning is an established and frequently used technique in industry and academia but a standard process model to improve success and efficiency of machine learning applications is still missing. Project organizations and machine learning practitioners have a need for guidance throughout the life cycle of a machine learning application to meet business expectations. We therefore propose a process model for the development of machine learning applications, that covers six phases from defining the scope to maintaining the deployed machine learning application. The first phase combines business and data understanding as data availability oftentimes affects the feasibility of the project. The sixth phase covers state-of-the-art approaches for monitoring and maintenance of a machine learning applications, as the risk of model degradation in a changing environment is eminent. With each task of the process, we propose quality assurance methodology that is suitable to adress challenges in machine learning development that we identify in form of risks. The methodology is drawn from practical experience and scientific literature and has proven to be general and stable. The process model expands on CRISP-DM, a data mining process model that enjoys strong industry support but lacks to address machine learning specific tasks. Our work proposes an industry and application neutral process model tailored for machine learning applications with focus on technical tasks for quality assurance.


title: Properties of gamma-ray decay lines in 3D core-collapse supernova models, with application to SN 1987A and Cas A

abstract: Comparison of theoretical line profiles to observations provides important tests for supernova explosion models. We study the shapes of radioactive decay lines predicted by current 3D core-collapse explosion simulations, and compare these to observations of SN 1987A and Cas A. Both the widths and shifts of decay lines vary by several thousand kilometers per second depending on viewing angle. The line profiles can be complex with multiple peaks. By combining observational constraints from 56Co decay lines, 44Ti decay lines, and Fe IR lines, we delineate a picture of the morphology of the explosive burning ashes in SN 1987A. For M_ZAMS=15-20 Msun progenitors exploding with ~1.5 *10^51 erg, ejecta structures suitable to reproduce the observations involve a bulk asymmetry of the 56Ni of at least ~400 km/s and a bulk velocity of at least ~1500 km/s. By adding constraints to reproduce the UVOIR bolometric light curve of SN 1987A up to 600d, an ejecta mass around 14 Msun is favoured. We also investigate whether observed decay lines can constrain the neutron star (NS) kick velocity. The model grid provides a constraint V_NS > V_redshift, and applying this to SN 1987A gives a NS kick of at least 500 km/s. For Cas A, our single model provides a satisfactory fit to the NuSTAR observations and reinforces the result that current neutrino-driven core-collapse SN models can achieve enough bulk asymmetry in the explosive burning material. Finally, we investigate the internal gamma-ray field and energy deposition, and compare the 3D models to 1D approximations.


title: Bessel regression model: Robustness to analyze bounded data

abstract: Beta regression has been extensively used by statisticians and practitioners to model bounded continuous data and there is no strong and similar competitor having its main features. A class of normalized inverse-Gaussian (N-IG) process was introduced in the literature, being explored in the Bayesian context as a powerful alternative to the Dirichlet process. Until this moment, no attention has been paid for the univariate N-IG distribution in the classical inference. In this paper, we propose the bessel regression based on the univariate N-IG distribution, which is a robust alternative to the beta model. This robustness is illustrated through simulated and real data applications. The estimation of the parameters is done through an Expectation-Maximization algorithm and the paper discusses how to perform inference. A useful and practical discrimination procedure is proposed for model selection between bessel and beta regressions. Monte Carlo simulation results are presented to verify the finite-sample behavior of the EM-based estimators and the discrimination procedure. Further, the performances of the regressions are evaluated under misspecification, which is a critical point showing the robustness of the proposed model. Finally, three empirical illustrations are explored to confront results from bessel and beta regressions.


title: An all-photonic focal-plane wavefront sensor

abstract: Adaptive optics (AO) is critical in astronomy, optical communications and remote sensing to deal with the rapid blurring caused by the Earth's turbulent atmosphere. But current AO systems are limited by their wavefront sensors, which need to be in an optical plane non-common to the science image and are insensitive to certain wavefront-error modes. Here we present a wavefront sensor based on a photonic lantern fibre-mode-converter and deep learning, which can be placed at the same focal plane as the science image, and is optimal for single-mode fibre injection. By measuring the intensities of an array of single-mode outputs, both phase and amplitude information on the incident wavefront can be reconstructed. We demonstrate the concept with simulations and an experimental realisation wherein Zernike wavefront errors are recovered from focal-plane measurements to a precision of $5.1\times10^{-3}\;\pi$ radians root-mean-squared-error.


title: Excitation and relaxation dynamics of spin-waves triggered by ultrafast photo-induced demagnetization in a ferrimagnetic insulator

abstract: Excitation and propagation dynamics of spin waves in an iron-based garnet film under out-of-plane magnetic field were investigated by time-resolved magneto-optical imaging. The experimental results and the following data analysis by phase-resolved spin-wave tomography reveal the excitation of spin waves triggered by photo-induced demagnetization (PID) along the sample depth direction. Moreover, the fast relaxation of PID accompanied by the spin transfer due to spin-wave emission was observed. Possible scenarios of PID in the garnet film are discussed. Finally, we develop a model for the spin-wave excitation triggered by PID and explain the magnetic-field dependence in the amplitude of the observed spin waves.


title: Efficient Schedulability Test for Dynamic-Priority Scheduling of Mixed-Criticality Real-Time Systems

abstract: Systems in many safety-critical application domains are subject to certification requirements. In such a system, there are typically different applications providing functionalities that have varying degrees of criticality. Consequently, the certification requirements for functionalities at these different criticality levels are also varying, with very high levels of assurance required for a highly critical functionality, whereas relatively low levels of assurance required for a less critical functionality. Considering the timing assurance given to various applications in the form of guaranteed budgets within deadlines, a theory of real-time scheduling for such multi-criticality systems has been under development in the recent past. In particular, an algorithm called Earliest Deadline First with Virtual Deadlines (EDF-VD) has shown a lot of promise for systems with two criticality levels, especially in terms of practical performance demonstrated through experiment results. In this paper we design a new schedulability test for EDF-VD that extend these performance benefits to multi-criticality systems. We propose a new test based on demand bound functions and also present a novel virtual deadline assignment strategy. Through extensive experiments we show that the proposed technique significantly outperforms existing strategies for a variety of generic real-time systems.


title: A Benchmark for Systematic Generalization in Grounded Language Understanding

abstract: Humans easily interpret expressions that describe unfamiliar situations composed from familiar parts ("greet the pink brontosaurus by the ferris wheel"). Modern neural networks, by contrast, struggle to interpret novel compositions. In this paper, we introduce a new benchmark, gSCAN, for evaluating compositional generalization in situated language understanding. Going beyond a related benchmark that focused on syntactic aspects of generalization, gSCAN defines a language grounded in the states of a grid world, facilitating novel evaluations of acquiring linguistically motivated rules. For example, agents must understand how adjectives such as 'small' are interpreted relative to the current world state or how adverbs such as 'cautiously' combine with new verbs. We test a strong multi-modal baseline model and a state-of-the-art compositional method finding that, in most cases, they fail dramatically when generalization requires systematic compositional rules.


title: Video2Commonsense: Generating Commonsense Descriptions to Enrich Video Captioning

abstract: Captioning is a crucial and challenging task for video understanding. In videos that involve active agents such as humans, the agent's actions can bring about myriad changes in the scene. Observable changes such as movements, manipulations, and transformations of the objects in the scene, are reflected in conventional video captioning. Unlike images, actions in videos are also inherently linked to social aspects such as intentions (why the action is taking place), effects (what changes due to the action), and attributes that describe the agent. Thus for video understanding, such as when captioning videos or when answering questions about videos, one must have an understanding of these commonsense aspects. We present the first work on generating commonsense captions directly from videos, to describe latent aspects such as intentions, effects, and attributes. We present a new dataset "Video-to-Commonsense (V2C)" that contains $\sim9k$ videos of human agents performing various actions, annotated with 3 types of commonsense descriptions. Additionally we explore the use of open-ended video-based commonsense question answering (V2C-QA) as a way to enrich our captions. Both the generation task and the QA task can be used to enrich video captions.


title: Correlations in the elastic Landau level of spontaneously buckled graphene

abstract: Electronic correlations stemming from nearly flat bands in van der Waals materials have demonstrated to be a powerful playground to engineer artificial quantum matter, including superconductors, correlated insulators and topological matter. This phenomenology has been experimentally observed in a variety of twisted van der Waals materials, such as graphene and dichalcogenide multilayers. Here we show that spontaneously buckled graphene can yield a correlated state, emerging from an elastic pseudo Landau level. Our results build on top of recent experimental findings reporting that, when placed on top of hBN or NbSe$_2$ substrates, wrinkled graphene sheets relax forming a periodic, long-range buckling pattern. The low-energy physics can be accurately described by electrons in the presence of a pseudo-axial gauge field, leading to the formation of sublattice-polarized Landau levels. Moreover, we verify that the high density of states at the zeroth Landau level leads to the formation of a periodically modulated ferrimagnetic groundstate, which can be controlled by the application of external electric fields. Our results indicate that periodically strained graphene is a versatile platform to explore emergent electronic states arising from correlated elastic Landau levels.


title: Improving the Backpropagation Algorithm with Consequentialism Weight Updates over Mini-Batches

abstract: Many attempts took place to improve the adaptive filters that can also be useful to improve backpropagation (BP). Normalized least mean squares (NLMS) is one of the most successful algorithms derived from Least mean squares (LMS). However, its extension to multi-layer neural networks has not happened before. Here, we first show that it is possible to consider a multi-layer neural network as a stack of adaptive filters. Additionally, we introduce more comprehensible interpretations of NLMS than the complicated geometric interpretation in affine projection algorithm (APA) for a single fully-connected (FC) layer that can easily be generalized to, for instance, convolutional neural networks and also works better with mini-batch training. With this new viewpoint, we introduce a better algorithm by predicting then emending the adverse consequences of the actions that take place in BP even before they happen. Finally, the proposed method is compatible with stochastic gradient descent (SGD) and applicable to momentum-based derivatives such as RMSProp, Adam, and NAG. Our experiments show the usefulness of our algorithm in the training of deep neural networks.


title: No-shadowing for singular hyperbolic sets with a singularity

abstract: We prove that every singular hyperbolic chain transitive set with a singularity does not admit the shadowing property. Using this result we show that if a star flow has the shadowing property on its chain recurrent set then it satisfies Axiom A and the no-cycle conditions; and that if a multisingular hyperbolic set has the shadowing property then it is hyperbolic.


title: CP-Semigroups and Dilations, Subproduct Systems and Superproduct Systems: The Multi-Parameter Case and Beyond

abstract: These notes are the output of a decade of research on how the results about dilations of one-parameter CP-semigroups with the help of product systems, can be put forward to d-parameter semigroups - and beyond. While exisiting work on the two- and d-parameter case is based on the approach via the Arveson-Stinespring correspondence of a CP-map by Muhly and Solel (and limited to von Neumann algebras), here we explore consequently the approach via Paschke's GNS-correspondence of a CP-map by Bhat and Skeide. (A comparison is postponed to Appendix A(iv).) The generalizations are multi-fold, the difficulties often enormous. In fact, our only true if-and-only-if theorem, is the following: A Markov semigroup over (the opposite of) an Ore monoid admits a full (strict or normal) dilation if and only if its GNS-subproduct system embeds into a product system. Already earlier, it has been observed that the GNS- (respectively, the Arveson-Stinespring) correspondences form a subproduct system, and that the main difficulty is to embed that into a product system. Here we add, that every dilation comes along with a superproduct system (a product system if the dilation is full). The latter may or may not contain the GNS-subproduct system; it does, if the dilation is strong - but not only. Apart from the many positive results pushing forward the theory to large extent, we provide plenty of counter examples for almost every desirable statement we could not prove. Still, a small number of open problems remains. The most prominent: Does there exist a CP-semigroup that admits a dilation, but no strong dilation? Another one: Does there exist a Markov semigroup that admits a (necessarily strong) dilation, but no full dilation?


title: Adaptive estimation of the stationary density of a stochastic differential equation driven by a fractional Brownian motion

abstract: We build and study a data-driven procedure for the estimation of the stationary density f of an additive fractional SDE. To this end, we also prove some new concentrations bounds for discrete observations of such dynamics in stationary regime.


title: Multi-Rate Fluid Scheduling of Mixed-Criticality Systems on Multiprocessors

abstract: In this paper we consider the problem of mixed-criticality (MC) scheduling of implicit-deadline sporadic task systems on a homogenous multiprocessor platform. Focusing on dual-criticality systems, algorithms based on the fluid scheduling model have been proposed in the past. These algorithms use a dual-rate execution model for each high-criticality task depending on the system mode. Once the system switches to the high-criticality mode, the execution rates of such tasks are increased to meet their increased demand. Although these algorithms are speed-up optimal, they are unable to schedule several feasible dual-criticality task systems. This is because a single fixed execution rate for each high-criticality task after the mode switch is not efficient to handle the high variability in demand during the transition period immediately following the mode switch. This demand variability exists as long as the carry-over jobs of high-criticality tasks, that is jobs released before the mode switch, have not completed. Addressing this shortcoming, we propose a multi-rate fluid execution model for dual-criticality task systems in this paper. Under this model, high-criticality tasks are allocated varying execution rates in the transition period after the mode switch to efficiently handle the demand variability. We derive a sufficient schedulability test for the proposed model and show its dominance over the dual-rate fluid execution model. Further, we also present a speed-up optimal rate assignment strategy for the multi-rate model, and experimentally show that the proposed model outperforms all the existing MC scheduling algorithms with known speed-up bounds.


title: Gaussian Graphical Model exploration and selection in high dimension low sample size setting

abstract: Gaussian Graphical Models (GGM) are often used to describe the conditional correlations between the components of a random vector. In this article, we compare two families of GGM inference methods: nodewise edge selection and penalised likelihood maximisation. We demonstrate on synthetic data that, when the sample size is small, the two methods produce graphs with either too few or too many edges when compared to the real one. As a result, we propose a composite procedure that explores a family of graphs with an nodewise numerical scheme and selects a candidate among them with an overall likelihood criterion. We demonstrate that, when the number of observations is small, this selection method yields graphs closer to the truth and corresponding to distributions with better KL divergence with regards to the real distribution than the other two. Finally, we show the interest of our algorithm on two concrete cases: first on brain imaging data, then on biological nephrology data. In both cases our results are more in line with current knowledge in each field.


title: Topological Theory for Perfect Metasurface Isolators

abstract: We introduce topological theory of perfect isolation: perfect transmission from one side and total reflection from another side simultaneously. The theory provides an efficient approach for determining whether such a perfect isolation point exists within a finite parameter space. Herein, we demonstrate the theory using an example of a Lorentz non-reciprocal metasurface composed of dimer unit cells. Our theory also suggests that perfect isolation points can annihilate each other through the coalescence of opposite topological charges. Our findings could lead to novel designs for high-performance optical isolators.


title: Vector symbolic architectures for context-free grammars

abstract: Background / introduction. Vector symbolic architectures (VSA) are a viable approach for the hyperdimensional representation of symbolic data, such as documents, syntactic structures, or semantic frames. Methods. We present a rigorous mathematical framework for the representation of phrase structure trees and parse trees of context-free grammars (CFG) in Fock space, i.e. infinite-dimensional Hilbert space as being used in quantum field theory. We define a novel normal form for CFG by means of term algebras. Using a recently developed software toolbox, called FockBox, we construct Fock space representations for the trees built up by a CFG left-corner (LC) parser. Results. We prove a universal representation theorem for CFG term algebras in Fock space and illustrate our findings through a low-dimensional principal component projection of the LC parser states. Conclusions. Our approach could leverage the development of VSA for explainable artificial intelligence (XAI) by means of hyperdimensional deep neural computation. It could be of significance for the improvement of cognitive user interfaces and other applications of VSA in machine learning.


title: Some isomorphism results for graded twistings of function algebras on finite groups

abstract: We provide isomorphism results for Hopf algebras that are obtained as graded twistings of function algebras on finite groups by cocentral actions of cyclic groups. More generally , we also consider the isomorphism problem for finite-dimensional Hopf algebras fitting into abelian cocentral extensions. We apply our classification results to a number of concrete examples involving special linear groups over finite fields, alternating groups and dihedral groups.


title: Electron transfer mediated decay of alkali dimers attached to He nanodroplets

abstract: Alkali metal dimers attached to the surface of helium nanodroplets are found to be efficiently doubly ionized by electron transfer-mediated decay (ETMD) when photoionizing the helium droplets. This process is evidenced by detecting in coincidence two energetic ions created by Coulomb explosion and one low-kinetic energy electron. The kinetic energy spectra of ions and electrons are reproduced by simple model calculations based on diatomic potential energy curves, and are in agreement with ab initio calculations for the He-Na_2 and He-KRb systems. This work demonstrates that ETMD is an important decay channel in heterogeneous nanosystems exposed to ionizing radiation.


title: Delay-Adaptive Learning in Generalized Linear Contextual Bandits

abstract: In this paper, we consider online learning in generalized linear contextual bandits where rewards are not immediately observed. Instead, rewards are available to the decision-maker only after some delay, which is unknown and stochastic. We study the performance of two well-known algorithms adapted to this delayed setting: one based on upper confidence bounds, and the other based on Thompson sampling. We describe modifications on how these two algorithms should be adapted to handle delays and give regret characterizations for both algorithms. Our results contribute to the broad landscape of contextual bandits literature by establishing that both algorithms can be made to be robust to delays, thereby helping clarify and reaffirm the empirical success of these two algorithms, which are widely deployed in modern recommendation engines.


title: Online Graph Matching Problems with a Worst-Case Reassignment Budget

abstract: In the online bipartite matching with reassignments problem, an algorithm is initially given only one side of the vertex set of a bipartite graph; the vertices on the other side are revealed to the algorithm one by one, along with its incident edges. The algorithm is required to maintain a matching in the current graph, where the algorithm revises the matching after each vertex arrival by reassigning vertices. Bernstein, Holm, and Rotenberg showed that an online algorithm can maintain a matching of maximum cardinality by performing amortized $O(\log^2 n)$ reassignments per arrival. In this paper, we propose to consider the general question of how requiring a non-amortized hard budget $k$ on the number of reassignments affects the algorithms' performances, under various models from the literature. We show that a simple, widely-used algorithm is a best-possible deterministic algorithm for all these models. For the unweighted maximum-cardinality problem, the algorithm is a $(1-\frac{2}{k+2})$-competitive algorithm, which is the best possible for a deterministic algorithm both under vertex arrivals and edge arrivals. Applied to the load balancing problem, this yields a bifactor online algorithm. For the weighted problem, which is traditionally studied assuming the triangle inequality, we show that the power of reassignment allows us to lift this assumption and the algorithm becomes a $\frac{1}{2}$-competitive algorithm for $k=4$, improving upon the $\frac{1}{3}$ of the previous algorithm without reassignments. We show that this also is a best-possible deterministic algorithm.


title: Equalization Loss for Long-Tailed Object Recognition

abstract: Object recognition techniques using convolutional neural networks (CNN) have achieved great success. However, state-of-the-art object detection methods still perform poorly on large vocabulary and long-tailed datasets, e.g. LVIS. In this work, we analyze this problem from a novel perspective: each positive sample of one category can be seen as a negative sample for other categories, making the tail categories receive more discouraging gradients. Based on it, we propose a simple but effective loss, named equalization loss, to tackle the problem of long-tailed rare categories by simply ignoring those gradients for rare categories. The equalization loss protects the learning of rare categories from being at a disadvantage during the network parameter updating. Thus the model is capable of learning better discriminative features for objects of rare classes. Without any bells and whistles, our method achieves AP gains of 4.1% and 4.8% for the rare and common categories on the challenging LVIS benchmark, compared to the Mask R-CNN baseline. With the utilization of the effective equalization loss, we finally won the 1st place in the LVIS Challenge 2019. Code has been made available at: https: //github.com/tztztztztz/eql.detectron2


title: MOSARIX: Progress Report

abstract: MOSARIX is a collaborative project between three research group in Sorbonne University to build a x-ray spectrometer (2-5 keV) portable to large scale facilities with high efficiency and good resolution. X-ray spectroscopy and coincidences experiment are planned. A prototype with a single HADP crystal with von Hamos geometry has been tested (resolution and efficiency). A fast time and position detector has been realized (patent and publication).We plan to build the spectrometer with 8 HADP (or 4) crystals under Helium atmosphere using a TimePix3 or a CCD camera. MOSARIX is a project of an x-ray spectrometer in the tender x-ray domain (2-5 keV) with high efficiency, allowing performing x-ray emission and coincidences (or covariance mapping) experiments using synchrotron radiation, XFEL, the future installation SPIRAL2/GANIL or CRYRING/FAIR. It involves 2 groups at LCPMR (Francis PENENT and Marc SIMON) and one group at INSP (Dominique VERNHET). The coincidences/covariance measurements will be between x-ray photons and ions or electrons. It would be the first time for such coincidences with energy-resolved photons. The spectrometer will be portable and will be brought to the different large-scale facilities. MOSARIX is a multi-crystal HAPG von Hamos spectrometer optimized for the 2-5 keV photon energy range. Its resolving power E/DE will be 4000. It will be equipped with a fast time and position sensitive detection system, allowing performing coincidences, or with a CCD camera. I. Scientific case and some possible experiments The accelerated development of x-ray sources, as 3 rd generation synchrotrons (and recent upgrades) or free-electron lasers, has opened new opportunities to investigate new phenomena by means of photoelectron and Auger spectroscopy, electron-ion coincidence techniques and x-ray emission. However, several processes of high scientific interests are still hard to measure; some of them require the measurement of photons with high efficiency, high resolution and even sometimes in coincidence mode. This is the purpose of MOSARIX development. As an example, we propose to revisit Resonance-Enhanced X-ray Multiple Ionization (REXMI) 1 with a significant amelioration of the detection of photons, i.e. measuring the photons not only with high efficiency and high resolution but also in coincidence with ions or electrons. This will allow accessing the involved intermediate states and obtaining a clearer image of the dynamic of the multiple ionization process. MOSARIX can also be used for the investigation of very low cross-section phenomena such as attosecond electron dynamics 2 and High-Energy Resolution Off-Resonant Spectroscopy (HEROS) 3,4. X-ray spectroscopy has also proved to be a very powerful tool to investigate quantum dynamics in heavy ions collisions with matter of whatever nature, dilute or condensed 5-7. A


title: Magnetoelastic thin films at large strains

abstract: Starting from the three-dimensional setting, we derive a limit model of a thin magnetoelastic film by means of {\Gamma}-convergence techniques. As magnetization vectors are defined on the elastically deformed configuration, our model features both Lagrangian and Eulerian terms. This calls for qualifying admissible three-dimensional deformations of planar domains in terms of injectivity. In addition, a careful treatment of the Maxwell system in the deformed film is required.