title: NemaNet: A convolutional neural network model for identification of nematodes soybean crop in brazil

abstract: Phytoparasitic nematodes (or phytonematodes) are causing severe damage to crops and generating large-scale economic losses worldwide. In soybean crops, annual losses are estimated at 10.6% of world production. Besides, identifying these species through microscopic analysis by an expert with taxonomy knowledge is often laborious, time-consuming, and susceptible to failure. In this perspective, robust and automatic approaches are necessary for identifying phytonematodes capable of providing correct diagnoses for the classification of species and subsidizing the taking of all control and prevention measures. This work presents a new public data set called NemaDataset containing 3,063 microscopic images from five nematode species with the most significant damage relevance for the soybean crop. Additionally, we propose a new Convolutional Neural Network (CNN) model defined as NemaNet and a comparative assessment with thirteen popular models of CNNs, all of them representing the state of the art classification and recognition. The general average calculated for each model, on a from-scratch training, the NemaNet model reached 96.99% accuracy, while the best evaluation fold reached 98.03%. In training with transfer learning, the average accuracy reached 98.88\%. The best evaluation fold reached 99.34% and achieve an overall accuracy improvement over 6.83% and 4.1%, for from-scratch and transfer learning training, respectively, when compared to other popular models.


title: Normal viscosity and Viscous resuspension of non-Brownian suspensions

abstract: Normal stresses in sheared suspensions of non-Brownian particles are obtained from numerical simulations. The stresses are determined in homogeneous shear of non-buoyant particles and by analyzing shear-induced resuspension of buoyant particles in the framework of the suspension balance model (SBM). The consistency of both approaches indicates that the SBM describes the steady state properly. Though in agreement with most available experimental results, none of previous empirical expressions for the normal stress can describe the data in the whole range of volume fraction, and in particular in the semi-dilute regime (25-35\%) where the normal stress is less than expected. New expressions are proposed. The results also highlight that the normal stress anisotropy depends on the volume fraction, and that lubrication interactions significantly contribute to the normal stress in the semi-dilute regime.


title: Efficiency gains of a multi-scale integration method applied to a scale-separated model for rapidly rotating dynamos

abstract: Numerical geodynamo simulations with parameters close to an Earth-like regime would be of great interest for understanding the dynamics of the Earth's liquid outer core and the associated geomagnetic field. Such simulations are far too computationally demanding owing to the large range in spatiotemporal scales. This paper explores the application of a multi-scale timestepping method to an asymptotic model for the generation of magnetic field in the fluid outer core of the Earth. The method is based on the heterogeneous multiscale modelling (HMM) strategy, which incorporates scale separation and utilizes several integrating models for the fast and slow fields. Quantitative comparisons between the multi-scale simulations and direct solution of the asymptotic model in the limit of rapid rotation and low Ekman number are performed. The multi-scale method accurately captures the varying temporal and spatial dynamics of the mean magnetic field at lower computational costs compared to the direct solution of the asymptotic model.


title: Jellium at finite temperature using the restricted worm algorithm

abstract: We study the Jellium model of Wigner at finite, non-zero, temperature through a computer simulation using the canonical path integral worm algorithm where we successfully implemented the fixed-nodes free particles restriction necessary to circumvent the fermion sign problem. Our results show good agreement with the recent simulation data of Brown et al. and of other similar computer experiments on the Jellium model at high density and low temperature. Our algorithm can be used to treat any quantum fluid model of fermions at finite, non zero, temperature and has never been used before in literature.

categories: cond-mat.str-el cond-mat.mtrl-sci cond-mat.stat-mech physics.comp-ph quant-ph


title: Arithmetic and geometric deformations of $F$-pure and $F$-regular singularities

abstract: Given a normal $\mathbb{Q}$-Gorenstein complex variety $X$, we prove that if one spreads it out to a normal $\mathbb{Q}$-Gorenstein scheme $\mathcal{X}$ of mixed characteristic whose reduction $\mathcal{X}_p$ modulo $p$ has normal $F$-pure singularities for a single prime $p$, then $X$ has log canonical singularities. In addition, we show its analog for log terminal singularities, without assuming that $\mathcal{X}$ is $\mathbb{Q}$-Gorenstein, which is a generalization of a result of Ma-Schwede. We also prove that two-dimensional strongly $F$-regular singularities are stable under equal characteristic deformations. Our results give an affirmative answer to a conjecture of Liedtke-Martin-Matsumoto on deformations of linearly reductive quotient singularities.


title: Visual Modulation of Human Responses to Support Surface Translation

abstract: Vision is known to improve human postural responses to external perturbations. This study investigates the role of vision for the responses to continuous pseudorandom support surface translations in the body sagittal plane in three visual conditions: with the eyes closed (EC), in stroboscopic illumination (EO/SI; only visual position information) and with eyes open in continuous illumination (EO/CI; position and velocity information) with the room as static visual scene (or the interior of a moving cabin, in some of the trials). In the frequency spectrum of the translation stimulus we distinguished on the basis of the response patterns between a low-frequency, mid-frequency, and high-frequency range (LFR: 0.0165-0.14 Hz; MFR: 0.15-0.57 Hz; HFR: 0.58-2.46 Hz). With EC, subjects' mean sway response gain was very low in the LFR. On average it increased with EO/SI (although not to a significant degree p = 0.078) and more so with EO/CI (p < 10<sup>-6</sup>). In contrast, the average gain in the MFR decreased from EC to EO/SI (although not to a significant degree, p = 0.548) and further to EO/CI (p = 0.0002). In the HFR, all three visual conditions produced, similarly, high gain levels. A single inverted pendulum (SIP) model controlling center of mass (COM) balancing about the ankle joints formally described the EC response as being strongly shaped by a resonance phenomenon arising primarily from the control's proprioceptive feedback loop. The effect of adding visual information in these simulations lies in a reduction of the resonance, similar as in the experiments. Extending the model to a double inverted pendulum (DIP) suggested in addition a biomechanical damping effective from trunk sway in the hip joints on the resonance.


title: Different Estimation Procedures For Topp Leone Exponential And Topp Leone q Exponential Distruibution

abstract: Topp Leone q Exponential Distruibution is a continuous model distribution used for modelling lifetime phenomena. In this study, we introduce different estimation methods for the unknown parameters of Topp Leone Exponential(TLE) distribution and Topp Leone q Exponential(TLqE) distribution.


title: Sequence-based deep learning antibody design for in silico antibody affinity maturation

abstract: Antibody therapeutics has been extensively studied in drug discovery and development within the past decades. One increasingly popular focus in the antibody discovery pipeline is the optimization step for therapeutic leads. Both traditional methods and in silico approaches aim to generate candidates with high binding affinity against specific target antigens. Traditional in vitro approaches use hybridoma or phage display for candidate selection, and surface plasmon resonance (SPR) for evaluation, while in silico computational approaches aim to reduce the high cost and improve efficiency by incorporating mathematical algorithms and computational processing power in the design process. In the present study, we investigated different graph-based designs for depicting antibody-antigen interactions in terms of antibody affinity prediction using deep learning techniques. While other in silico computations require experimentally determined crystal structures, our study took interest in the capability of sequence-based models for in silico antibody maturation. Our preliminary studies achieved satisfying prediction accuracy on binding affinities comparing to conventional approaches and other deep learning approaches. To further study the antibody-antigen binding specificity, and to simulate the optimization process in real-world scenario, we introduced pairwise prediction strategy. We performed analysis based on both baseline and pairwise prediction results. The resulting prediction and efficiency prove the feasibility and computational efficiency of sequence-based method to be adapted as a scalable industry practice.


title: Predictive Coding Can Do Exact Backpropagation on Convolutional and Recurrent Neural Networks

abstract: Predictive coding networks (PCNs) are an influential model for information processing in the brain. They have appealing theoretical interpretations and offer a single mechanism that accounts for diverse perceptual phenomena of the brain. On the other hand, backpropagation (BP) is commonly regarded to be the most successful learning method in modern machine learning. Thus, it is exciting that recent work formulates inference learning (IL) that trains PCNs to approximate BP. However, there are several remaining critical issues: (i) IL is an approximation to BP with unrealistic/non-trivial requirements, (ii) IL approximates BP in single-step weight updates; whether it leads to the same point as BP after the weight updates are conducted for more steps is unknown, and (iii) IL is computationally significantly more costly than BP. To solve these issues, a variant of IL that is strictly equivalent to BP in fully connected networks has been proposed. In this work, we build on this result by showing that it also holds for more complex architectures, namely, convolutional neural networks and (many-to-one) recurrent neural networks. To our knowledge, we are the first to show that a biologically plausible algorithm is able to exactly replicate the accuracy of BP on such complex architectures, bridging the existing gap between IL and BP, and setting an unprecedented performance for PCNs, which can now be considered as efficient alternatives to BP.


title: Could switchbacks originate in the lower solar atmosphere? I. Formation mechanisms of switchbacks

abstract: The recent rediscovery of magnetic field switchbacks or deflections embedded in the solar wind flow by the Parker Solar Probe mission lead to a huge interest in the modelling of the formation mechanisms and origin of these switchbacks. Several scenarios for their generation were put forth, ranging from lower solar atmospheric origins by reconnection, to being a manifestation of turbulence in the solar wind, and so on. Here we study some potential formation mechanisms of magnetic switchbacks in the lower solar atmosphere, using three-dimensional magneto-hydrodynamic (MHD) numerical simulations. The model is that of an intense flux tube in an open magnetic field region, aiming to represent a magnetic bright point opening up to an open coronal magnetic field structure, e.g. a coronal hole. The model is driven with different plasma flows in the photosphere, such as a fast up-shooting jet, as well as shearing flows generated by vortex motions or torsional oscillations. In all scenarios considered, we witness the formation of magnetic switchbacks in regions corresponding to chromospheric heights. Therefore, photospheric plasma flows around the foot-points of intense flux tubes appear to be suitable drivers for the formation of magnetic switchbacks in the lower solar atmosphere. Nevertheless, these switchbacks do not appear to be able to enter the coronal heights of the simulation in the present model. In conclusion, based on the presented simulations, switchbacks measured in the solar wind are unlikely to originate from photospheric or chromospheric dynamics.


title: Suicide Classificaction for News Media Using Convolutional Neural Network

abstract: Currently, the process of evaluating suicides is highly subjective, which limits the efficacy and accuracy of prevention efforts. Artificial intelligence (AI) has emerged as a means of investigating large datasets to identify patterns within "big data" that can determine the factors on suicide outcomes. Here, we use AI tools to extract the topic from (press and social) media text. However, news media articles lack of suicide tags. Using tweets with hashtags related to sucide, we train a neuronal model which identifies if a given text has a suicidade-related contagion. Our results suggest a high level of the impact of mediatic into suicide cases, and a intrinsic thematic relationship of suicide news. These results pave the way to build more interpretable suicide data, which may help to better track, understand its origin, and improve prevention strategies.


title: Using Dual-Network Analyser for extracting communities from Dual Networks

abstract: The representation of data and its relationships using networks is prevalent in many research fields such as computational biology, medical informatics and social networks. Recently, complex networks models have been introduced to better capture the insights of the modelled scenarios. Among others, dual networks -based models have been introduced, which consist in mapping information as pair of networks containing the same nodes but different edges. We focus on the use of a novel approach to visualise and analyse dual networks. The method uses two algorithms for community discovery, and it is provided as a Python-based tool with a graphical user interface. The tool is able to load dual networks and to extract both the densest connected subgraph as well as the common modular communities. The latter is obtained by using an adapted implementation of the Louvain algorithm. The proposed algorithm and graphical tool have been tested by using social, biological, and co-authorship networks. Results demonstrate that the proposed approach is efficient and is able to extract meaningful information from dual networks. Finally, as contribution, the proposed graphical user interface can be considered a valuable innovation to the context.


title: Data-Driven Short-Term Voltage Stability Assessment Based on Spatial-Temporal Graph Convolutional Network

abstract: Post-fault dynamics of short-term voltage stability (SVS) present spatial-temporal characteristics, but the existing data-driven methods for online SVS assessment fail to incorporate such characteristics into their models effectively. Confronted with this dilemma, this paper develops a novel spatial-temporal graph convolutional network (STGCN) to address this problem. The proposed STGCN utilizes graph convolution to integrate network topology information into the learning model to exploit spatial information. Then, it adopts one-dimensional convolution to exploit temporal information. In this way, it models the spatial-temporal characteristics of SVS with complete convolutional structures. After that, a node layer and a system layer are strategically designed in the STGCN for SVS assessment. The proposed STGCN incorporates the characteristics of SVS into the data-driven classification model. It can result in higher assessment accuracy, better robustness and adaptability than conventional methods. Besides, parameters in the system layer can provide valuable information about the influences of individual buses on SVS. Test results on the real-world Guangdong Power Grid in South China verify the effectiveness of the proposed network.


title: Parsing Indonesian Sentence into Abstract Meaning Representation using Machine Learning Approach

abstract: Abstract Meaning Representation (AMR) provides many information of a sentence such as semantic relations, coreferences, and named entity relation in one representation. However, research on AMR parsing for Indonesian sentence is fairly limited. In this paper, we develop a system that aims to parse an Indonesian sentence using a machine learning approach. Based on Zhang et al. work, our system consists of three steps: pair prediction, label prediction, and graph construction. Pair prediction uses dependency parsing component to get the edges between the words for the AMR. The result of pair prediction is passed to the label prediction process which used a supervised learning algorithm to predict the label between the edges of the AMR. We used simple sentence dataset that is gathered from articles and news article sentences. Our model achieved the SMATCH score of 0.820 for simple sentence test data.


title: Energy relaxation approximation for the compressible multicomponent flows in thermal nonequilibrium

abstract: This work concerns the numerical approximation with a finite volume method of inviscid, nonequilibrium, high-temperature flows in multiple space dimensions. It is devoted to the analysis of the numerical scheme for the approximation of the hyperbolic system in homogeneous form. We derive a general framework for the design of numerical schemes for this model from numerical schemes for the monocomponent compressible Euler equations for a polytropic gas. Under a very simple condition on the adiabatic exponent of the polytropic gas, the scheme for the multicomponent system enjoys the same properties as the one for the monocomponent system: discrete entropy inequality, positivity of the partial densities and internal energies, discrete maximum principle on the mass fractions, and discrete minimum principle on the entropy. Our approach extends the relaxation of energy [Coquel and Perthame, \textit{SIAM J. Numer. Anal.}, 35 (1998), 2223--2249] to the multicomponent Euler system. In the limit of instantaneous relaxation we show that the solution formally converges to a unique and stable equilibrium solution to the multicomponent Euler equations. We then use this framework to design numerical schemes from three schemes for the polytropic Euler system: the Godunov exact Riemann solver [Godunov, Math. Sbornik, 47 (1959), 271--306] and the HLL [Harten et al., SIAM Rev., 25 (1983), 35--61] and pressure relaxation based [Bouchut, Nonlinear stability of finite volume methods for hyperbolic conservation laws and well-balanced schemes for sources, Frontiers in Mathematics, Birkh\"auser, 2004] approximate Riemann solvers. Numerical experiments in one and two space dimensions on flows with discontinuous solutions support the conclusions of our analysis and highlight stability, robustness and convergence of the scheme.


title: Fine-tuning Pretrained Multilingual BERT Model for Indonesian Aspect-based Sentiment Analysis

abstract: Although previous research on Aspect-based Sentiment Analysis (ABSA) for Indonesian reviews in hotel domain has been conducted using CNN and XGBoost, its model did not generalize well in test data and high number of OOV words contributed to misclassification cases. Nowadays, most state-of-the-art results for wide array of NLP tasks are achieved by utilizing pretrained language representation. In this paper, we intend to incorporate one of the foremost language representation model, BERT, to perform ABSA in Indonesian reviews dataset. By combining multilingual BERT (m-BERT) with task transformation method, we manage to achieve significant improvement by 8% on the F1-score compared to the result from our previous study.


title: Quantization of Reality, another Epistemological Interpretation of Quantum Mechanics?

abstract: The epistemological interpretation of quantum mechanics is still in an unacceptable status. This becomes obvious if looking on the variety of interpretations currently under discussion. However, the physical community together with philosophers seem not to be willing to really face the problem and to find an explanation for the oddness of the foundation of nature, as the mathematical treatment of quantum physics can be judged as finished and perfect for the use. The epistemology of quantum physics is often treated as a negligible side effect, not worth to put effort in, as any outcome will not affect the calculation results at all. For the sake of human curiosity and to get a better understanding of the universe we are living in, this attitude should be changed. A possibly interesting new approach is outlined in this article, which may help to adjust the focus.


title: Breathing solitons induced by collision in dipolar Bose-Einstein condensates

abstract: We numerically study the breathing dynamics induced by collision between bright solitons in the one-dimensional Bose-Einstein condensates with strong dipole-dipole interaction. This breathing phenomenon is closely related to the after-collision short-lived attraction of solitons induced by the dipolar effect. The initial phase difference of solitons leads to the asymmetric dynamics after collision, which is manifested on their different breathing amplitude, breathing frequency, and atom number. We clarify that the asymmetry of breathing frequency is directly induced by the asymmetric atom number, rather than initial phase difference. Moreover, the collision between breathing solitons can produce new after-two-collision breathing solitons, whose breathing amplitude can be adjusted and reach the maximum (or minimum) when the peak-peak (or dip-dip) collision happens.


title: Tails of Instability and Decay: a Hydrodynamic Perspective

abstract: In the context of quantum field theory (QFT), unstable particles are associated with complex-valued poles of two-body scattering matrices in the unphysical sheet of rapidity space. The Breit-Wigner formula relates this pole to the mass and life-time of the particle, observed in scattering events. In this paper, we uncover new, dynamical signatures of unstable excitations and show that they have a strong effect on the non-equilibrium properties of QFT. Focusing on a 1+1D integrable model, and using the theory of Generalized Hydrodynamics, we study the formation and decay of unstable particles by analysing the release of hot matter into a low-temperature environment. We observe the formation of tails and the decay of the emitted nonlinear waves, in sharp contrast to the situation without unstable excitations. We also uncover a new phenomenon by which a wave of a stable population of unstable particles may persist without decay for long times. We expect these signatures of the presence of unstable particles to have a large degree of universality. Our study shows that the out-of-equilibrium dynamics of many-body systems can be strongly affected not only by the spectrum, but also by excitations with finite life-times.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Multi-document Summarization using Semantic Role Labeling and Semantic Graph for Indonesian News Article

abstract: In this paper, we proposed a multi-document summarization system using semantic role labeling (SRL) and semantic graph for Indonesian news articles. In order to improve existing summarizer, our system modified summarizer that employed subject, predicate, object, and adverbial (SVOA) extraction for predicate argument structure (PAS) extraction. SVOA extraction is replaced with SRL model for Indonesian. We also replace the genetic algorithm to identify important PAS with the decision tree classifier since the summarizer without genetic algorithm gave better performance. The decision tree model is employed to identify important PAS. The decision tree model with 10 features achieved better performance than decision tree with 4 sentence features. Experiments and evaluations are conducted to generate 100 words summary and 200 words summary. The evaluation shows the proposed model get 0.313 average ROUGE-2 recall in 100 words summary and 0.394 average ROUGE-2 recall in 200 words summary.


title: Interplay between Zhang-Rice singlets and high-spin states in a model for doped NiO$_2$ planes

abstract: Superconductivity found in doped NdNiO$_2$ is puzzling as two local symmetries of doped NiO$_2$ layers compete, with presumably far-reaching implications for the involved mechanism: a cuprate-like regime with Zhang-Rice singlets {\cblue is replaced by local triplet states at realistic values of charge-transfer energy, which would suggest a rather different superconductivity scenario from high-$T_c$ cuprates}. We address this competition by investigating Ni$_4$O$_8$ clusters with periodic boundary conditions in the parameter range relevant for the superconducting nickelates. With increasing value of charge-transfer energy we observe upon hole doping the expected crossover from the cuprate regime dominated by Zhang-Rice singlets to the local triplet states. We find that smaller charge-transfer energy $\Delta$ is able to drive this change of the ground state character when realistic values for nickel-oxygen repulsion $U_{dp}$ are taken into account. For large values of the charge-transfer energy, oxygen orbitals are less important than in superconducting cuprates as their spectral weight is found only at rather high excitation energies. However, a second Ni($3d$) orbital can easily become relevant, with either the $xy$ or the $3z^2-r^2$ orbitals contributing in addition to the $x^2-y^2$ orbital {\cblue to the formation of triplet states. In addition,} our result that $U_{dp}$ (acting between Ni and O) favors onsite triplets implies that correlation effects beyond purely onsite interactions should be taken into account when obtaining effective two-band models.


title: Lotka's Law and Authorship Distribution in Coronary Artery Disease Research in South Africa

abstract: Coronary artery disease (CAD) is a major cause of death and disability in developed countries. Although CAD mortality rates worldwide have declined over the past 4 decades, CAD remains responsible for approximately one-third or more of all deaths in individuals over age 35, and it has been estimated that nearly half of all middle-aged men and one-third of middle aged women in the United States will develop clinical CAD. The present paper attempts to check the applicability of Lotka's Law on South African publication on Coronary artery disease research. The study lights on Lotka's empirical law of scientific productivity, i.e., Inverse Square Law, to measure the scientific productivity of authors, to test Lotka's Exponent value and the K.S test for the fitness of Lotka's Law.


title: Privacy-preserving Analytics for Data Markets using MPC

abstract: Data markets have the potential to foster new data-driven applications and help growing data-driven businesses. When building and deploying such markets in practice, regulations such as the European Union's General Data Protection Regulation (GDPR) impose constraints and restrictions on these markets especially when dealing with personal or privacy-sensitive data. In this paper, we present a candidate architecture for a privacy-preserving personal data market, relying on cryptographic primitives such as multi-party computation (MPC) capable of performing privacy-preserving computations on the data. Besides specifying the architecture of such a data market, we also present a privacy-risk analysis of the market following the LINDDUN methodology.


title: Energy-Efficient Task Offloading and Resource Allocation for Multiple Access Mobile Edge Computing

abstract: In this paper, the problem of joint radio and computation resource management over multi-channel is investigated for multi-user partial offloading mobile edge computing (MEC) system. The target is to minimize the weighted sum of energy consumption by jointly optimizing transmission time, local and edge computation capacity allocation, bandwidth allocation and data partition. An optimization problem is formulated, which is nonconvex and can not be solved directly. Then, we transform the origin optimization problem into an equivalent convex optimization problem. For general case of multi-user multi-channel, we decouple the convex optimization problem into subproblems and an optimal resource management strategy is obtained by adopting block coordinate descent (BCD) method. To gain further insight, we investigate the optimal resource management strategy for two special cases. First, consider the case of multi-user shares single channel. Since the single-channel optimization problem is reduced from the multi-channel optimization problem, the solution approach of general case can be applied to this case, and the solving algorithm for this case has low computation complexity, which is a combination of analytical and bisection-search methods. Then, for the case of single-user occupies all channel, the optimization problem is simplified and an optimal solving algorithm with closed-form solutions is proposed.


title: Landmark-based Distributed Topological Mapping and Navigation in GPS-denied Urban Environments Using Teams of Low-cost Robots

abstract: In this paper, we address the problem of autonomous multi-robot mapping, exploration and navigation in unknown, GPS-denied indoor or urban environments using a swarm of robots equipped with directional sensors with limited sensing capabilities and limited computational resources. The robots have no a priori knowledge of the environment and need to rapidly explore and construct a map in a distributed manner using existing landmarks, the presence of which can be detected using onboard senors, although little to no metric information (distance or bearing to the landmarks) is available. In order to correctly and effectively achieve this, the presence of a necessary density/distribution of landmarks is ensured by design of the urban/indoor environment. We thus address this problem in two phases: 1) During the design/construction of the urban/indoor environment we can ensure that sufficient landmarks are placed within the environment. To that end we develop a filtration-based approach for designing strategic placement of landmarks in an environment. 2) We develop a distributed algorithm using which a team of robots, with no a priori knowledge of the environment, can explore such an environment, construct a topological map requiring no metric/distance information, and use that map to navigate within the environment. This is achieved using a topological representation of the environment (called a Landmark Complex), instead of constructing a complete metric/pixel map. The representation is built by the robot as well as used by them for navigation through a balance between exploration and exploitation. We use tools from homology theory for identifying "holes" in the coverage/exploration of the unknown environment and hence guiding the robots towards achieving a complete exploration and mapping of the environment.


title: Stabilization of the nonconforming virtual element method

abstract: We address the issue of designing robust stabilization terms for the nonconforming virtual element method. To this end, we transfer the problem of defining the stabilizing bilinear form from the elemental nonconforming virtual element space, whose functions are not known in closed form, to the dual space spanned by the known functionals providing the degrees of freedom. By this approach, we manage to construct different bilinear forms yielding optimal or quasi-optimal stability bounds and error estimates, under weaker assumptions on the tessellation than the ones usually considered in this framework. In particular, we prove optimality under geometrical assumptions allowing a mesh to have a very large number of arbitrarily small edges per element. Finally, we numerically assess the performance of the VEM for several different stabilizations fitting with our new framework on a set of representative test cases.


title: Spacetime geometry of spin, polarization, and wavefunction collapse

abstract: To incorporate quantum nonlocality into general relativity, we propose that the preparation and measurement of a quantum system are simultaneous events. To make progress in realizing this proposal, we introduce a spacetime geometry that is endowed with particles which have no distinct points in their worldlines; we call these particles 'pointons'. This new geometry recently arose in nonnoetherian algebraic geometry. We show that on such a spacetime, metrics are degenerate and tangent spaces have variable dimension. This variability then implies that pointons are spin-$\tfrac 12$ fermions that satisfy the Born rule, where a projective measurement of spin corresponds to an actual projection of tangent spaces of different dimensions. Furthermore, the $4$-velocities of pointons are necessarily replaced by their Hodge duals, and this transfer from vector to pseudo-tensor introduces a free choice of orientation that we identify with electric charge. Finally, a simple composite model of electrons and photons results from the metric degeneracy, and from this we obtain a new ontological model of photon polarization.


title: Gamma-Ray Flash Generation in Irradiating Thin Foil Target by Single Cycle Tightly Focused Extreme Power Laser Pulse

abstract: We present a regime where an ultra-intense laser pulse interacting with a foil target results in high $\gamma$-photon conversion efficiency, obtained via three-dimensional quantum-electrodynamics particle-in-cell simulations. A single-cycle laser pulse is used under the tight-focusing condition for obtaining the $\mathrm{\lambda}^3$ regime. The simulations employ a radially polarized laser as it results in higher $\gamma$-photon conversion efficiency compared to both azimuthal and linear polarizations. A significant fraction of the laser energy is transferred to positrons, while a part of the electromagnetic wave escapes the target as attosecond single-cycle pulses.


title: Can You Fix My Neural Network? Real-Time Adaptive Waveform Synthesis for Resilient Wireless Signal Classification

abstract: Thanks to its capability of classifying complex phenomena without explicit modeling, deep learning (DL) has been demonstrated to be a key enabler of Wireless Signal Classification (WSC). Although DL can achieve a very high accuracy under certain conditions, recent research has unveiled that the wireless channel can disrupt the features learned by the DL model during training, thus drastically reducing the classification performance in real-world live settings. Since retraining classifiers is cumbersome after deployment, existing work has leveraged the usage of carefully-tailored Finite Impulse Response (FIR) filters that, when applied at the transmitter's side, can restore the features that are lost because of the the channel actions, i.e., waveform synthesis. However, these approaches compute FIRs using offline optimization strategies, which limits their efficacy in highly-dynamic channel settings. In this paper, we improve the state of the art by proposing Chares, a Deep Reinforcement Learning (DRL)-based framework for channel-resilient adaptive waveform synthesis. Chares adapts to new and unseen channel conditions by optimally computing through DRL the FIRs in real-time. Chares is a DRL agent whose architecture is-based upon the Twin Delayed Deep Deterministic Policy Gradients (TD3), which requires minimal feedback from the receiver and explores a continuous action space. Chares has been extensively evaluated on two well-known datasets. We have also evaluated the real-time latency of Chares with an implementation on field-programmable gate array (FPGA). Results show that Chares increases the accuracy up to 4.1x when no waveform synthesis is performed, by 1.9x with respect to existing work, and can compute new actions within 41us.


title: On Glassey's conjecture for semilinear wave equations in Friedmann-Lema\^itre-Robertson-Walker spacetime

abstract: Consider nonlinear wave equations in the spatially flat Friedmann-Lema\^itre-Robertson-Walker (FLRW) spacetimes. We show blow-up in finite time of solutions and upper bounds of the lifespan of blow-up solutions to give the FLRW spacetime version of Glassey's conjecture for the time derivative nonlinearity. We also show blow-up results for the space time derivative nonlinearity.


title: Investigating microwave loss of SiGe using superconducting transmon qubits

abstract: Silicon-Germanium (SiGe) is a material that possesses a multitude of applications ranging from transistors to eletro-optical modulators and quantum dots. The diverse properties of SiGe also make it attractive to implementations involving superconducting quantum computing. Here we demonstrate the fabrication of transmon quantum bits on SiGe layers and investigate the microwave loss properties of SiGe at cryogenic temperatures and single photon microwave powers. We find relaxation times of up to 100 $\mu$s, corresponding to a quality factor Q above 4 M for large pad transmons. The high Q values obtained indicate that the SiGe/Si heterostructure is compatible with state of the art performance of superconducting quantum circuits.


title: Spontaneous symmetry breaking in a driven-dissipative system

abstract: Spontaneous symmetry breaking (SSB) is a key concept in physics that for decades has played a crucial role in the description of many physical phenomena in a large number of different areas, like particle physics, cosmology, and condensed-matter physics. SSB is thus an ubiquitous concept connecting several, both "high" and "low" energy, areas of physics and many textbooks describe its basic features in great detail. However, to study the dynamics of symmetry breaking in the laboratory is extremely difficult. In condensed-matter physics, for example, tiny external disturbances cause a preference for the breaking of the symmetry in a particular configuration and typically those disturbances cannot be avoided in experiments. Notwithstanding these complications, here we describe an experiment, in which we directly observe the spontaneous breaking of the temporal phase of a driven system with respect to the drive into two distinct values differing by $\pi$.


title: Symmetry-adapted single crystal yield criterion for non-Schmid materials

abstract: All yield criteria that determine the onset of plastic deformation in crystalline materials must be invariant under the inversion symmetry associated with a simultaneous change of sign of the slip direction and the slip plane normal. We demonstrate the consequences of this symmetry on the functional form of the effective stress, where only the lowest order terms that obey this symmetry are retained. A particular form of yield criterion is obtained for materials that do not obey the Schmid law, hereafter called non-Schmid materials. Application of this model to body-centered cubic and hexagonal close-packed metals shows under which conditions the non-Schmid stress terms become significant in predicting the onset of yielding. In the special case, where the contributions of all non-Schmid stresses vanish, this model reduces to the maximum shear stress theory of Tresca.


title: Interface between graphene and liquid Cu from molecular dynamics simulations

abstract: Controllable synthesis of defect-free graphene is crucial for applications since the properties of graphene are highly sensitive to any deviations from the crystalline lattice. We focus here on the emerging use of liquid Cu catalysts, which has high potential for fast and efficient industrial-scale production of high-quality graphene. The interface between graphene and liquid Cu is studied using force field and ab initio molecular dynamics, revealing a complete or partial embedding of finite-sized flakes. By analyzing flakes of different sizes we find that the size-dependence of the embedding can be rationalized based on the energy cost of embedding versus bending the graphene flake. The embedding itself is driven by the formation of covalent bonds between the under-coordinated edge C atoms and the liquid Cu surface, which is accompanied by a significant charge transfer. In contrast, the central flake atoms are located around or slightly above 3 {\AA} from the liquid Cu surface and exhibit weak vdW-bonding and much lower charge transfer. The structural and electronic properties of the embedded state revealed in our work provides the atomic-scale information needed to develop effective models to explain the special growth observed in experiments where various interesting phenomena such as flake self-assembly and rotational alignment, high growth speeds and low defect densities in the final graphene product have been observed.


title: Phase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions

abstract: Multitudinous combinatorial structures are counted by generating functions satisfying a composition scheme $F(z)=G(H(z))$. The corresponding asymptotic analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). The singular exponents appearing in the Puiseux expansions of $G$ and $H$ then dictate the asymptotics. In this work, we first complement results of Flajolet et al. for a full family of singular exponents of $G$ and $H$. Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely $F(z,u)=G(u H(z))M(z)$. We also consider a variant of this scheme, which allows us to analyse the number of $H$-components of a given size in $F$. These two models lead to a rich world of limit laws, where we identify the key r\^ole played by a new universal three-parameter law: the beta-Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, with a unified explanation of the associated thresholds. We also obtain moment convergence and local limit theorems. We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, leading to product distributions. Applications are presented for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees), triangular P\'olya urns, and the Chinese restaurant process.


title: A measurement of two-photon exchange in Super-Rosenbluth separations with positron beams

abstract: The proton electric and magnetic form factors, $G_E$ and $G_M$, are intrinsically connected to the spatial distribution of charge and magnetization in the proton. For decades, Rosenbluth separation measurements of the angular dependence of elastic e$^-$-p scattering were used to extract $G_E$ and $G_M$. More recently, polarized electron scattering measurements, aiming to improve the precision of $G_E$ extractions, showed significant disagreement with Rosenbluth measurements at large momentum transfers ($Q^2$). This discrepancy is generally attributed to neglected two-photon exchange (TPE) corrections. At larger $Q^2$ values, a new `Super-Rosenbluth' technique was used to improve the precision of the Rosenbluth extraction, allowing for a better quantification of the discrepancy, while comparisons of e$^+$-p and e$^-$-p scattering indicated the presence of TPE corrections, but at $Q^2$ values below where a clear discrepancy is observed. In this work, we demonstrate the significant benefits to combining the Super-Rosenbluth technique with positron beam measurements. This approach provides a greater kinematic reach and is insensitive to some of the key systematic uncertainties in previous positron measurements.


title: On Channel Reciprocity in Reconfigurable Intelligent Surface Assisted Wireless Network

abstract: Channel reciprocity greatly facilitates downlink precoding in time-division duplexing (TDD) multiple-input multiple-output (MIMO) communications without the need for channel state information (CSI) feedback. Recently, reconfigurable intelligent surfaces (RISs) emerge as a promising technology to enhance the performance of future wireless networks. However, since the artificial electromagnetic characteristics of RISs do not strictly follow the normal laws of nature, it brings up a question: does the channel reciprocity hold in RIS-assisted TDD wireless networks? After briefly reviewing the reciprocity theorem, in this article, we show that there still exists channel reciprocity for RIS-assisted wireless networks satisfying certain conditions. We also experimentally demonstrate the reciprocity at the sub-6 GHz and the millimeter-wave frequency bands by using two fabricated RISs. Furthermore, we introduce several RIS-assisted approaches to realizing nonreciprocal channels. Finally, potential opportunities brought by reciprocal/nonreciprocal RISs and future research directions are outlined.


title: Loschmidt Echo of Far-From-Equilibrium Fermionic Superfluids

abstract: Non-analyticities in the logarithm of the Loschmidt echo, known as dynamical quantum phase transitions [DQPTs], are a recently introduced attempt to classify the myriad of possible phenomena which can occur in far from equilibrium closed quantum systems. In this work, we analytically investigate the Loschmidt echo in nonequilibrium $s$-wave and topological $p_x+ip_y$ fermionic superfluids. We find that the presence of non-analyticities in the echo is not invariant under global rotations of the superfluid phase. We remedy this deficiency by introducing a more general notion of a grand canonical Loschmidt echo. Overall, our study shows that DQPTs are not a good indicator for the long time dynamics of an interacting system. In particular, there are no DQPTs to tell apart distinct dynamical phases of quenched BCS superconductors. Nevertheless, they can signal a quench induced change in the topology and also keep track of solitons emerging from unstable stationary states of a BCS superconductor.


title: Leveraging Recursive Processing for Neural-Symbolic Affect-Target Associations

abstract: Explaining the outcome of deep learning decisions based on affect is challenging but necessary if we expect social companion robots to interact with users on an emotional level. In this paper, we present a commonsense approach that utilizes an interpretable hybrid neural-symbolic system to associate extracted targets, noun chunks determined to be associated with the expressed emotion, with affective labels from a natural language expression. We leverage a pre-trained neural network that is well adapted to tree and sub-tree processing, the Dependency Tree-LSTM, to learn the affect labels of dynamic targets, determined through symbolic rules, in natural language. We find that making use of the unique properties of the recursive network provides higher accuracy and interpretability when compared to other unstructured and sequential methods for determining target-affect associations in an aspect-based sentiment analysis task.


title: BOPI: A Programming Interface For Reuse Of Research Data Available On DSpace Repositories

abstract: A recent study showed that more than 70% of researchers fail to reproduce their peers's experiments and more than half fail to reproduce their own experiments. Obviously, from a perspective of scientific quality this is a more than unsatisfying numbers. One approach to mitigate this flaw lies in the transparent provision of relevant research data to increase the base of available material to evaluate and possibly reconduct experiments. However, such data needs to be presented and accessed in a findable and purposefully usable way. In this work, we report the development of a programming interface to enhance findability and accessibility of research data (available in DSpace systems) and hence reproducibility of scientific experiments with data. This interface allows researchers to (i) find research data in multiples languages trough automatic translation of metadata; (ii) display a preview of data without download it beforehand; (iii) provide a detailed statistics of the data with interactive graphs for quality assessment; (iv) automatic download of data directly from Python-based experiments. Usability tests revealed that this interface improves the effectiveness, efficiency and satisfaction during the reuse of research data.


title: Discrepancy-Based Active Learning for Domain Adaptation

abstract: The goal of the paper is to design active learning strategies which lead to domain adaptation under an assumption of Lipschitz functions. Building on previous work by Mansour et al. (2009) we adapt the concept of discrepancy distance between source and target distributions to restrict the maximization over the hypothesis class to a localized class of functions which are performing accurate labeling on the source domain. We derive generalization error bounds for such active learning strategies in terms of Rademacher average and localized discrepancy for general loss functions which satisfy a regularity condition. A practical K-medoids algorithm that can address the case of large data set is inferred from the theoretical bounds. Our numerical experiments show that the proposed algorithm is competitive against other state-of-the-art active learning techniques in the context of domain adaptation, in particular on large data sets of around one hundred thousand images.


title: Occultation mapping of Io's surface in the near-infrared I: Inferring static maps

abstract: Jupiter's moon Io is the most volcanically active body in the Solar System with hundreds of active volcanoes varying in intensity on different timescales. Io has been observed during occultations by other Galilean moons and Jupiter since the 1980s, using high-cadence near infrared photometry. These observations encode a wealth of information about the volcanic features on its surface. We built a generative model for the observed occultations using the code starry which enables fast, analytic, and differentiable computation of occultation light curves in emitted and reflected light. Our probabilistic Bayesian model is able to recover known hotspots on the surface of Io using only two light curves and without any assumptions on the locations, shapes or the number of spots. The methods we have developed are also directly applicable to the problem of mapping the surfaces of stars and exoplanets.


title: Deeply supervised UNet for semantic segmentation to assist dermatopathological assessment of Basal Cell Carcinoma (BCC)

abstract: Accurate and fast assessment of resection margins is an essential part of a dermatopathologist's clinical routine. In this work, we successfully develop a deep learning method to assist the pathologists by marking critical regions that have a high probability of exhibiting pathological features in Whole Slide Images (WSI). We focus on detecting Basal Cell Carcinoma (BCC) through semantic segmentation using several models based on the UNet architecture. The study includes 650 WSI with 3443 tissue sections in total. Two clinical dermatopathologists annotated the data, marking tumor tissues' exact location on 100 WSI. The rest of the data, with ground-truth section-wise labels, is used to further validate and test the models. We analyze two different encoders for the first part of the UNet network and two additional training strategies: a) deep supervision, b) linear combination of decoder outputs, and obtain some interpretations about what the network's decoder does in each case. The best model achieves over 96%, accuracy, sensitivity, and specificity on the test set.


title: Amplitude of solar gravity modes generated by penetrative plumes

abstract: The detection of gravity modes is expected to give us unprecedented insights into the inner dynamics of the Sun. Within this framework, predicting their amplitudes is essential to guide future observational strategies and seismic studies. In this work, we predict the amplitude of low-frequency asymptotic gravity modes generated by penetrative convection at the top of the radiative zone. The result is found to depend critically on the time evolution of the plumes inside the generation region. Using a solar model, we compute the GOLF apparent surface radial velocity of low-degree gravity modes in the frequency range $10~\mu H_z\le \nu \le 100~\mu H_z$. In case of a Gaussian plume time evolution, gravity modes turn out to be undetectable because of too small surface amplitudes. This holds true despite a wide range of values considered for the parameters of the model. In the other limiting case of an exponential time evolution, plumes are expected to drive gravity modes in a much more efficient way because of a much higher temporal coupling between the plumes and the modes than in the Gaussian case. Using reasonable values for the plume parameters based on semi-analytical models, the apparent surface velocities in this case turn out to be one order of magnitude smaller than the 22-years GOLF detection threshold and than the previous estimates considering turbulent pressure as the driving mechanism, with a maximum value of $0.05$ cm s${}^{-1}$ for $\ell =1$ and $\nu\approx 100~\mu H_z$. When accounting for uncertainties on the plume parameters, the apparent surface velocities in the most favorable plausible case become comparable to those predicted with turbulent pressure, and the GOLF observation time required for a detection at $ \nu \approx100~\mu H_z$ and $\ell=1$ is reduced to about 50 yrs.


title: Liver Fibrosis and NAS scoring from CT images using self-supervised learning and texture encoding

abstract: Non-alcoholic fatty liver disease (NAFLD) is one of the most common causes of chronic liver diseases (CLD) which can progress to liver cancer. The severity and treatment of NAFLD is determined by NAFLD Activity Scores (NAS)and liver fibrosis stage, which are usually obtained from liver biopsy. However, biopsy is invasive in nature and involves risk of procedural complications. Current methods to predict the fibrosis and NAS scores from noninvasive CT images rely heavily on either a large annotated dataset or transfer learning using pretrained networks. However, the availability of a large annotated dataset cannot be always ensured andthere can be domain shifts when using transfer learning. In this work, we propose a self-supervised learning method to address both problems. As the NAFLD causes changes in the liver texture, we also propose to use texture encoded inputs to improve the performance of the model. Given a relatively small dataset with 30 patients, we employ a self-supervised network which achieves better performance than a network trained via transfer learning. The code is publicly available at https://github.com/ananyajana/fibrosis_code.


title: Online Graph Learning under Smoothness Priors

abstract: The growing success of graph signal processing (GSP) approaches relies heavily on prior identification of a graph over which network data admit certain regularity. However, adaptation to increasingly dynamic environments as well as demands for real-time processing of streaming data pose major challenges to this end. In this context, we develop novel algorithms for online network topology inference given streaming observations assumed to be smooth on the sought graph. Unlike existing batch algorithms, our goal is to track the (possibly) time-varying network topology while maintaining the memory and computational costs in check by processing graph signals sequentially-in-time. To recover the graph in an online fashion, we leverage proximal gradient (PG) methods to solve a judicious smoothness-regularized, time-varying optimization problem. Under mild technical conditions, we establish that the online graph learning algorithm converges to within a neighborhood of (i.e., it tracks) the optimal time-varying batch solution. Computer simulations using both synthetic and real financial market data illustrate the effectiveness of the proposed algorithm in adapting to streaming signals to track slowly-varying network connectivity.


title: From Kerr to Heisenberg

abstract: In this paper we consider the space-time of a charged mass endowed with an angular momentum. The geometry is described by the exact Kerr-Newman solution of the Einstein equations. The peculiar symmetry, though exact, is usually described in terms of the gravito-magnetic field originated by the angular momentum of the source. A typical product of this geometry is represented by the generalized Sagnac effect. We write down the explicit form for the right/left asymmetry of the times of flight of two counter-rotating light beams along a circular trajectory. Letting the circle shrink to the origin the asymmetry stays finite. Furthermore it becomes independent both from the charge of the source (then its electromagnetic field) and from Newton's constant: it is then associated only to the symmetry produced by the gravitomagnetic field. When introducing, for the source, the spin of a Fermion, the lowest limit of the Heisenberg uncertainty formula for energy and time appears.


title: A Convolutional Architecture for 3D Model Embedding

abstract: During the last years, many advances have been made in tasks like3D model retrieval, 3D model classification, and 3D model segmentation.The typical 3D representations such as point clouds, voxels, and poly-gon meshes are mostly suitable for rendering purposes, while their use forcognitive processes (retrieval, classification, segmentation) is limited dueto their high redundancy and complexity. We propose a deep learningarchitecture to handle 3D models as an input. We combine this architec-ture with other standard architectures like Convolutional Neural Networksand autoencoders for computing 3D model embeddings. Our goal is torepresent a 3D model as a vector with enough information to substitutethe 3D model for high-level tasks. Since this vector is a learned repre-sentation which tries to capture the relevant information of a 3D model,we show that the embedding representation conveys semantic informationthat helps to deal with the similarity assessment of 3D objects. Our ex-periments show the benefit of computing the embeddings of a 3D modeldata set and use them for effective 3D Model Retrieval.


title: Ginzburg-Landau theory for the magnetic and structural transitions in La$_{1-y}$(Ca$_{1-x}$Sr$_{x}$)$_{y}$MnO$_{3}$

abstract: We present a phenomenological theory for the ferromagnetic transition temperature, the magnetic susceptibility at high temperatures, and the structural distortion in the La$_{1-y}$(Ca$_{1-x}$Sr$_{x}$)$_{y}$MnO$_{3}$ system. We construct a Ginzburg-Landau free energy that describes the magnetic and the structural transitions, and a competition between them. The parameters of the magnetic part of the free energy are derived from a mean-field solution of the magnetic interaction for arbitrary angular momentum. The theory provides a qualitative description of the observed magnetic and structural phase transitions as functions of Sr-doping level ($x$) for $y=0.25$.


title: Personalized Stopping Rules in Bayesian Adaptive Mastery Assessment

abstract: We propose a new model to assess the mastery level of a given skill efficiently. The model, called Bayesian Adaptive Mastery Assessment (BAMA), uses information on the accuracy and the response time of the answers given and infers the mastery at every step of the assessment. BAMA balances the length of the assessment and the certainty of the mastery inference by employing a Bayesian decision-theoretic framework adapted to each student. All these properties contribute to a novel approach in assessment models for intelligent learning systems. The purpose of this research is to explore the properties of BAMA and evaluate its performance concerning the number of questions administered and the accuracy of the final mastery estimates across different students. We simulate student performances and establish that the model converges with low variance and high efficiency leading to shorter assessment duration for all students. Considering the experimental results, we expect our approach to avoid the issue of over-practicing and under-practicing and facilitate the development of Learning Analytics tools to support the tutors in the evaluation of learning effects and instructional decision making.


title: Uniformly connected graphs

abstract: In this article we investigate the structure of uniformly $k$-connected and uniformly $k$-edge-connected graphs. Whereas both types have previously been studied independent of each other, we analyze relations between these two classes. We prove that any uniformly $k$-connected graph is also uniformly $k$-edge-connected for $k\le 3$ and demonstrate that this is not the case for $k>3$. Furthermore, uniformly $k$-connected and uniformly $k$-edge-connected graphs are well understood for $k\le 2$ and it is known how to construct uniformly $3$-edge-connected graphs. We contribute here a constructive characterization of uniformly $3$-connected graphs that is inspired by Tuttes Wheel Theorem. Eventually, these results help us to prove a tight bound on the number of vertices of minimum degree in uniformly $3$-connected graphs.


title: VIPriors 1: Visual Inductive Priors for Data-Efficient Deep Learning Challenges

abstract: We present the first edition of "VIPriors: Visual Inductive Priors for Data-Efficient Deep Learning" challenges. We offer four data-impaired challenges, where models are trained from scratch, and we reduce the number of training samples to a fraction of the full set. Furthermore, to encourage data efficient solutions, we prohibited the use of pre-trained models and other transfer learning techniques. The majority of top ranking solutions make heavy use of data augmentation, model ensembling, and novel and efficient network architectures to achieve significant performance increases compared to the provided baselines.


title: Competitive Information Design for Pandora's Box

abstract: We study a natural competitive-information-design variant for the Pandora's Box problem (Weitzman 1979), where each box is associated with a strategic information sender who can design what information about the box's prize value to be revealed to the agent when the agent inspects the box. This variant with strategic boxes is motivated by a wide range of real-world economic applications for Pandora's Box. The main contributions of this article are two-fold: (1) we study informational properties of Pandora's Box by showing an intrinsic connection between informativeness of any box's value distribution and the utility order of the search agent; and (2) we fully characterize the pure symmetric equilibrium for the boxes' competitive information revelation, which reveals various insights regarding information competition and the resultant agent utility at equilibrium.


title: Matching Algorithms: Fundamentals, Applications and Challenges

abstract: Matching plays a vital role in the rational allocation of resources in many areas, ranging from market operation to people's daily lives. In economics, the term matching theory is coined for pairing two agents in a specific market to reach a stable or optimal state. In computer science, all branches of matching problems have emerged, such as the question-answer matching in information retrieval, user-item matching in a recommender system, and entity-relation matching in the knowledge graph. A preference list is the core element during a matching process, which can either be obtained directly from the agents or generated indirectly by prediction. Based on the preference list access, matching problems are divided into two categories, i.e., explicit matching and implicit matching. In this paper, we first introduce the matching theory's basic models and algorithms in explicit matching. The existing methods for coping with various matching problems in implicit matching are reviewed, such as retrieval matching, user-item matching, entity-relation matching, and image matching. Furthermore, we look into representative applications in these areas, including marriage and labor markets in explicit matching and several similarity-based matching problems in implicit matching. Finally, this survey paper concludes with a discussion of open issues and promising future directions in the field of matching.


title: Greedy Causal Discovery is Geometric

abstract: Finding a directed acyclic graph (DAG) that best encodes the conditional independence statements observable from data is a central question within causality. Algorithms that greedily transform one candidate DAG into another given a fixed set of moves have been particularly successful, for example the GES, GIES, and MMHC algorithms. In 2010, Studen\'y, Hemmecke and Lindner introduced the characteristic imset polytope, $\operatorname{CIM}_p$, whose vertices correspond to Markov equivalence classes, as a way of transforming causal discovery into a linear optimization problem. We show that the moves of the aforementioned algorithms are included within classes of edges of $\operatorname{CIM}_p$ and that restrictions placed on the skeleton of the candidate DAGs correspond to faces of $\operatorname{CIM}_p$. Thus, we observe that GES, GIES, and MMHC all have geometric realizations as greedy edge-walks along $\operatorname{CIM}_p$. Furthermore, the identified edges of $\operatorname{CIM}_p$ strictly generalize the moves of these algorithms. Exploiting this generalization, we introduce a greedy simplex-type algorithm called \emph{greedy CIM}, and a hybrid variant, \emph{skeletal greedy CIM}, that outperforms current competitors among hybrid and constraint-based algorithms.


title: FUV Variable Sources in M31

abstract: The Ultraviolet Imaging Telescope (UVIT) onboard the AstroSat observatory has imaged the Andromeda Galaxy (M31) from 2017 to 2019 in FUV and NUV with the high spatial resolution of ~1". The survey covered the large sky area of M31 with a set of observations (Fields) each 28 arcminutes in diameter. Field 1 was observed in two epochs with the F148W filter, separated by 1133 days (~3.10 years). The 6.4 kpc diameter Field 1 (at the distance of M31) includes a substantial part of the inner spiral arms of the galaxy. We identify UVIT sources in both epochs of Field 1 and obtain catalogs of sources that are variable in FUV at > 3 sigma and > 5 sigma confidence level. The fraction of FUV variable sources is higher for brighter sources, and the fraction is higher in the two main spiral arms compared to other areas. This is evidence that a significant fraction of the FUV variables are associated with hot young stars. Source counterparts are found for 42 of the 86 > 5 sigma FUV variables using existing catalogs. The counterparts include 10 star clusters, 6 HII regions, 5 regular or semiregular variables, 6 other variables and 6 nova or nova candidates. The UVIT FUV-NUV and FUV-FUV color-magnitude diagrams confirm the association of most of the FUV variables with hot young stars. A catalog of UVIT photometry for the variable sources is presented.


title: A Geometric Algebra Solution to Wahba's Problem

abstract: We retrace Davenport's solution to Wahba's classic problem of aligning two pointclouds using the formalism of Geometric Algebra (GA). GA proves to be a natural backdrop for this problem involving three-dimensional rotations due to the isomorphism between unit-length quaternions and rotors. While the solution to this problem is not a new result, it is hoped that its treatment in GA will have tutorial value as well as open the door to addressing more complex problems in a similar way.


title: Phase Separation of Polyelectrolytes: The Effect of Charge Regulation

abstract: Complex coacervation, known as the liquid-liquid phase separation of solutions with oppositely charged polyelectrolytes, has attracted substantial interest in recent years. We study the effect of the charge regulation (CR) mechanism on the complex coacervation by including short-range interactions between the charged sites on the polymer chains as well as an association-dissociation energy parameter in the CR mechanism. We investigate the phase diagrams of two CR models: (i) the hopping CR model (HCR) and (ii) the asymmetric CR model (ACR). It is shown that during the phase separation that the polymers in the condensed phase are more charged than those in the dilute phase, in accordance with Le Chatelier's principle. In addition, secondary CR effects also influence the change in the volume fraction of the two phases. The latter can cause the charge difference between the two phases to change nonmonotonically as a function of the CR parameters.


title: There Once Was a Really Bad Poet, It Was Automated but You Didn't Know It

abstract: Limerick generation exemplifies some of the most difficult challenges faced in poetry generation, as the poems must tell a story in only five lines, with constraints on rhyme, stress, and meter. To address these challenges, we introduce LimGen, a novel and fully automated system for limerick generation that outperforms state-of-the-art neural network-based poetry models, as well as prior rule-based poetry models. LimGen consists of three important pieces: the Adaptive Multi-Templated Constraint algorithm that constrains our search to the space of realistic poems, the Multi-Templated Beam Search algorithm which searches efficiently through the space, and the probabilistic Storyline algorithm that provides coherent storylines related to a user-provided prompt word. The resulting limericks satisfy poetic constraints and have thematically coherent storylines, which are sometimes even funny (when we are lucky).


title: Thermal transport from 1D- and 2D-confined nanostructures on silicon probed using coherent extreme UV light: General and predictive model yields new understanding

abstract: Heat management is crucial in the design of nanoscale devices as the operating temperature determines their efficiency and lifetime. Past experimental and theoretical works exploring nanoscale heat transport in semiconductors addressed known deviations from Fourier's law modeling by including effective parameters, such as a size-dependent thermal conductivity. However, recent experiments have qualitatively shown new behavior that cannot be modeled in this way. Here, we combine advanced experiment and theory to show that the cooling of 1D- and 2D-confined nanoscale hot spots on silicon can be described using a general hydrodynamic heat transport model, contrary to previous understanding of heat flow in bulk silicon. We use a comprehensive set of extreme ultraviolet scatterometry measurements of non-diffusive transport from transiently heated nanolines and nanodots to validate and generalize our ab initio model, that does not need any geometry-dependent fitting parameters. This allows us to uncover the existence of two distinct timescales and heat transport mechanisms: an interface resistance regime that dominates on short time scales, and a hydrodynamic-like phonon transport regime that dominates on longer timescales. Moreover, our model can predict the full thermomechanical response on nanometer length scales and picosecond time scales for arbitrary geometries, providing an advanced practical tool for thermal management of nanoscale technologies. Furthermore, we derive analytical expressions for the transport timescales, valid for a subset of geometries, supplying a route for optimizing heat dissipation.


title: Hypermaps over non-abelian simple groups and strongly symmetric generating sets

abstract: A generating pair $x, y$ for a group $G$ is said to be \textbf{\textit{symmetric}} if there exists an automorphism $\varphi_{x,y}$ of $G$ inverting both $x$ and $y$, that is, $x^{\varphi_{x,y}}=x^{-1}$ and $y^{\varphi_{x,y}}=y^{-1}$. Similarly, a group $G$ is said to be \textbf{\textit{strongly symmetric}} if $G$ can be generated with two elements and if all generating pairs of $G$ are symmetric. In this paper we classify the finite strongly symmetric non-abelian simple groups. Combinatorially, these are the finite non-abelian simple groups $G$ such that every orientably regular hypermap with monodromy group $G$ is reflexible.


title: Inseparable time-crystal geometries on the M\"obius strip

abstract: Description of periodically and resonantly driven quantum systems can lead to solid state models where condensed matter phenomena can be investigated in time lattices formed by periodically evolving Wannier-like states. Here, we show that inseparable two-dimensional time lattices with the M\"obius strip geometry can be realized for ultra-cold atoms bouncing between two periodically oscillating mirrors. Effective interactions between atoms loaded to a lattice can be long-ranged and can be controlled experimentally. As a specific example we show how to realize a Lieb lattice model with a flat band and how to control long-range hopping of pairs of atoms in the model.


title: Surface reflection of bottom generated oceanic lee waves

abstract: Lee waves generated by stratified flow over rough bottom topography in the ocean extract momentum and energy from the geostrophic flow, causing drag and enhancing turbulence and mixing in the interior ocean when they break. Inviscid linear theory is generally used to predict the generation rate of lee waves, but the location and mechanism of wave breaking leading to eventual dissipation of energy and irreversible mixing are poorly constrained. In this study, a linear model with viscosity, diffusivity, and an upper boundary is used to demonstrate the potential importance of the surface in reflecting lee wave energy back into the interior, making the case for treating lee waves as a full water column process. In the absence of critical levels, it is shown that lee waves can be expected to interact with the upper ocean, resulting in enhanced vertical velocities and dissipation and mixing near the surface. The impact of the typical oceanic conditions of increasing background velocity and stratification with height above bottom are investigated and shown to contribute to enhanced upper ocean vertical velocities and mixing.


title: From Photometric Redshifts to Improved Weather Forecasts: machine learning and proper scoring rules as a basis for interdisciplinary work

abstract: The amount, size, and complexity of astronomical data-sets and databases are growing rapidly in the last decades, due to new technologies and dedicated survey telescopes. Besides dealing with poly-structured and complex data, sparse data has become a field of growing scientific interest. A specific field of Astroinformatics research is the estimation of redshifts of extra-galactic sources by using sparse photometric observations. Many techniques have been developed to produce those estimates with increasing precision. In recent years, models have been favored which instead of providing a point estimate only, are able to generate probabilistic density functions (PDFs) in order to characterize and quantify the uncertainties of their estimates. Crucial to the development of those models is a proper, mathematically principled way to evaluate and characterize their performances, based on scoring functions as well as on tools for assessing calibration. Still, in literature inappropriate methods are being used to express the quality of the estimates that are often not sufficient and can potentially generate misleading interpretations. In this work we summarize how to correctly evaluate errors and forecast quality when dealing with PDFs. We describe the use of the log-likelihood, the continuous ranked probability score (CRPS) and the probability integral transform (PIT) to characterize the calibration as well as the sharpness of predicted PDFs. We present what we achieved when using proper scoring rules to train deep neural networks as well as to evaluate the model estimates and how this work led from well calibrated redshift estimates to improvements in probabilistic weather forecasting. The presented work is an example of interdisciplinarity in data-science and illustrates how methods can help to bridge gaps between different fields of application.


title: Self-Attentive Spatial Adaptive Normalization for Cross-Modality Domain Adaptation

abstract: Despite the successes of deep neural networks on many challenging vision tasks, they often fail to generalize to new test domains that are not distributed identically to the training data. The domain adaptation becomes more challenging for cross-modality medical data with a notable domain shift. Given that specific annotated imaging modalities may not be accessible nor complete. Our proposed solution is based on the cross-modality synthesis of medical images to reduce the costly annotation burden by radiologists and bridge the domain gap in radiological images. We present a novel approach for image-to-image translation in medical images, capable of supervised or unsupervised (unpaired image data) setups. Built upon adversarial training, we propose a learnable self-attentive spatial normalization of the deep convolutional generator network's intermediate activations. Unlike previous attention-based image-to-image translation approaches, which are either domain-specific or require distortion of the source domain's structures, we unearth the importance of the auxiliary semantic information to handle the geometric changes and preserve anatomical structures during image translation. We achieve superior results for cross-modality segmentation between unpaired MRI and CT data for multi-modality whole heart and multi-modal brain tumor MRI (T1/T2) datasets compared to the state-of-the-art methods. We also observe encouraging results in cross-modality conversion for paired MRI and CT images on a brain dataset. Furthermore, a detailed analysis of the cross-modality image translation, thorough ablation studies confirm our proposed method's efficacy.


title: First and second-generation black hole and neutron star mergers in 2+2 quadruples: population statistics

abstract: Recent detections of gravitational waves from mergers of neutron stars (NSs) and black holes (BHs) in the low and high-end mass gap regimes pose a puzzle to standard stellar and binary evolution theory. Mass-gap mergers may originate from successive mergers in hierarchical systems such as quadruples. Here, we consider repeated mergers of NSs and BHs in stellar 2+2 quadruple systems, in which secular evolution can accelerate the merger of one of the inner binaries. Subsequently, the merger remnant may interact with the companion binary, yielding a second-generation merger. We model the initial stellar and binary evolution of the inner binaries as isolated systems. In the case of successful compact object formation, we subsequently follow the secular dynamical evolution of the quadruple system. When a merger occurs, we take into account merger recoil, and model subsequent evolution using direct N-body integration. With different assumptions on the initial properties, we find that the majority of first-generation mergers are not much affected by secular evolution, with their observational properties mostly consistent with isolated binaries. A small subset shows imprints of secular evolution through residual eccentricity in the LIGO band, and retrograde spin-orbit orientations. Second-generation mergers are ~10^7 times less common than first-generation mergers, and can be strongly affected by scattering (i.e., three-body interactions) induced by the first-generation merger. In particular, scattering can account for mergers within the low-end mass gap, although not the high-end mass gap. Also, in a few cases, scattering could explain highly eccentric LIGO sources and negative effective spin parameters.


title: Direct limits for scalar field dark matter from a gravitational-wave detector

abstract: The nature of dark matter remains unknown to date; several candidate particles are being considered in a dynamically changing research landscape. Scalar field dark matter is a prominent option that is being explored with precision instruments, such as atomic clocks and optical cavities. Here we report on the first direct search for scalar field dark matter utilising a gravitational-wave detector, which operates beyond the quantum shot-noise limit. We set new upper limits for the coupling constants of scalar field dark matter as a function of its mass, by excluding the presence of signals that would be produced through the direct coupling of this dark matter to the beamsplitter of the GEO$\,$600 interferometer. The new constraints improve upon bounds from previous direct searches by more than six orders of magnitude, and are in some cases more stringent than limits obtained in tests of the equivalence principle by up to four orders of magnitude. Our work demonstrates that scalar field dark matter can be probed or constrained with direct searches using gravitational-wave detectors, and highlights the potential of quantum-enhanced interferometry for dark matter detection.


title: NV$^{-}$ Diamond Laser

abstract: For the first time, lasing at NV$^{-}$ centers in an optically pumped diamond sample is achieved. A nanosecond train of 150-ps 532-nm laser pulses was used to pump the sample. The lasing pulses have central wavelength at 720 nm with a spectrum width of 20 nm, 1-ns duration and total energy around 10 nJ. In a pump-probe scheme, we investigate lasing conditions and gain saturation due to NV$^{-}$ ionization and NV$^{0}$ concentration growth under high-power laser pulse pumping of diamond crystal.


title: An exact sequence and triviality of Bogomolov multiplier of groups

abstract: The Bogomolov multiplier $B_0(G)$ of a finite group $G$ is the subgroup of the Schur multiplier $H^2(G,\mathbb Q/\mathbb Z)$ consisting of the cohomology classes which vanish after restricting to every abelian subgroup of $G$. We give a new proof of a Hopf-type formula for $B_0(G)$ and derive an exact sequence for the cohomological version of the Bogomolov multiplier. Using this exact sequence we provide necessary and sufficient conditions for the corresponding inflation homomorphism to be an epimorphism and to be the zero map. Finally, we give a complete list of groups of order $p^6$, for odd prime $p$, having trivial Bogomolov multiplier, so completing the 2020 investigation of Chen and Ma.


title: Distributed Dynamic Map Fusion via Federated Learning for Intelligent Networked Vehicles

abstract: The technology of dynamic map fusion among networked vehicles has been developed to enlarge sensing ranges and improve sensing accuracies for individual vehicles. This paper proposes a federated learning (FL) based dynamic map fusion framework to achieve high map quality despite unknown numbers of objects in fields of view (FoVs), various sensing and model uncertainties, and missing data labels for online learning. The novelty of this work is threefold: (1) developing a three-stage fusion scheme to predict the number of objects effectively and to fuse multiple local maps with fidelity scores; (2) developing an FL algorithm which fine-tunes feature models (i.e., representation learning networks for feature extraction) distributively by aggregating model parameters; (3) developing a knowledge distillation method to generate FL training labels when data labels are unavailable. The proposed framework is implemented in the Car Learning to Act (CARLA) simulation platform. Extensive experimental results are provided to verify the superior performance and robustness of the developed map fusion and FL schemes.


title: Controlled Lagrangians and Stabilization of Euler--Poincar\'e Mechanical Systems with Broken Symmetry II: Potential Shaping

abstract: We apply the method of controlled Lagrangians by potential shaping to Euler--Poincar\'e mechanical systems with broken symmetry. We assume that the configuration space is a general semidirect product Lie group $\mathsf{G} \ltimes V$ with a particular interest in those systems whose configuration space is the special Euclidean group $\mathsf{SE}(3) = \mathsf{SO}(3) \ltimes \mathbb{R}^{3}$. The key idea behind the work is the use of representations of $\mathsf{G} \ltimes V$ and their associated advected parameters. Specifically, we derive matching conditions for the modified potential exploiting the representations and advected parameters. Our motivating examples are a heavy top spinning on a movable base and an underwater vehicle with non-coincident centers of gravity and buoyancy. We consider a few different control problems for these systems, and show that our results give a general framework that reproduces our previous work on the former example and also those of Leonard on the latter. Also, in one of the latter cases, we demonstrate the advantage of our representation-based approach by giving a simpler and more succinct formulation of the problem.


title: Loss Estimators Improve Model Generalization

abstract: With increased interest in adopting AI methods for clinical diagnosis, a vital step towards safe deployment of such tools is to ensure that the models not only produce accurate predictions but also do not generalize to data regimes where the training data provide no meaningful evidence. Existing approaches for ensuring the distribution of model predictions to be similar to that of the true distribution rely on explicit uncertainty estimators that are inherently hard to calibrate. In this paper, we propose to train a loss estimator alongside the predictive model, using a contrastive training objective, to directly estimate the prediction uncertainties. Interestingly, we find that, in addition to producing well-calibrated uncertainties, this approach improves the generalization behavior of the predictor. Using a dermatology use-case, we show the impact of loss estimators on model generalization, in terms of both its fidelity on in-distribution data and its ability to detect out of distribution samples or new classes unseen during training.


title: Relationship between magnetic field properties and statistical flow using numerical simulation and magnetic feature tracking on solar photosphere

abstract: We perform radiative magnetohydrodynamic calculations for the solar quiet region to investigate the dependence of statistical flow on magnetic properties and the three-dimensional (3D) structure of magnetic patches in the presence of large-scale flow that mimics differential rotation. It has been confirmed that strong magnetic field patches move faster in the longitudinal direction at the solar surface. Consequently, strong magnetic patches penetrate deeper into the solar interior. The motion of the deep-rooted magnetic patches is influenced by the faster differential rotation in the deeper layer. In this study, we perform realistic radiative magnetohydrodynamic calculations using R2D2 code to validate that stronger patches have deeper roots. We also add large-scale flow to mimic the differential rotation. The magnetic patches are automatically detected and tracked, and we evaluate the depth of 30,000 magnetic patches. The velocities of 2.9 million magnetic patches are then measured at the photosphere. We obtain the dependence of these values on the magnetic properties, such as field strength and flux. Our results confirm that strong magnetic patches tend to show deeper roots and faster movement, and we compare our results with observations using the point spread function of instruments at the Hinode and Solar Dynamics Observatory (SDO). Our result is quantitatively consistent with previous observational results of the SDO.


title: Neuron Signal Propagation Analysis of Cytokine-Storm induced Demyelination

abstract: The COVID-19 pandemic has shaken the world unprecedentedly, where it has affected the vast global population both socially and economically. The pandemic has also opened our eyes to the many threats that novel virus infections can pose for humanity. While numerous unknowns are being investigated in terms of the distributed damage that the virus can do to the human body, recent studies have also shown that the infection can lead to lifelong sequelae that could affect other parts of the body, and one example is the brain. As part of this work, we investigate how viral infection can affect the brain by modelling and simulating a neuron's behaviour under demyelination that is affected by the cytokine storm. We quantify the effects of cytokine-induced demyelination on the propagation of action potential signals within a neuron. We used information and communication theory analysis on the signal propagated through the axonal pathway under different intensity levels of demyelination to analyse these effects. Our simulations demonstrate that virus-induced degeneration can play a role in the signal power and spiking rate and the probability of releasing neurotransmitters and compromising the propagation and processing of information between the neurons. We also propose a transfer function that models these attenuation effects that degenerates the action potential, where this model has the potential to be used as a framework for the analysis of virus-induced neurodegeneration that can pave the way to improved understanding of virus-induced demyelination.


title: Multivariate normal approximation for traces of orthogonal and symplectic matrices

abstract: We show that the distance in total variation between $(\mathrm{Tr}\ U, \frac{1}{\sqrt{2}}\mathrm{Tr}\ U^2, \cdots, \frac{1}{\sqrt{m}}\mathrm{Tr}\ U^m)$ and a real Gaussian vector, where $U$ is a Haar distributed orthogonal or symplectic matrix of size $2n$ or $2n+1$, is bounded by $\Gamma(2\frac{n}{m}+1)^{-\frac{1}{2}}$ times a correction. The correction term is explicit and holds for all $n\geq m^4$, for $m$ sufficiently large. For $n\geq m^3$ we obtain the bound $(\frac{n}{m})^{-c\sqrt{\frac{n}{m}}}$ with an explicit constant $c$. Our method of proof is based on an identity of Toeplitz+Hankel determinants due to Basor and Ehrhardt, see \cite{BE}, which is also used to compute the joint moments of the traces.


title: A Hitchin connection on non abelian theta functions for parabolic G-bundles

abstract: For a simple, simply connected, complex group G, we prove the existence of a flat projective connection on the bundle of nonabelian theta functions on the moduli space of semistable parabolic G-bundles over families of smooth projective curves with marked points.


title: Learning Collision-free and Torque-limited Robot Trajectories based on Alternative Safe Behaviors

abstract: This paper presents an approach for learning online generation of collision-free and torque-limited robot trajectories. In order to generate future motions, a neural network is periodically invoked. Based on the current kinematic state of the robot and the network output, a trajectory for the current time interval can be calculated. The main idea of our paper is to execute the computed motion only if a collision-free and torque-limited way to continue the trajectory is known. In practice, the motion computed for the current time interval is extended by a braking trajectory and simulated using a physics engine. If the simulated trajectory complies with all safety constraints, the computed motion is carried out. Otherwise, the braking trajectory calculated in the previous time interval serves as an alternative safe behavior. Given a task-specific reward function, the neural network is trained using reinforcement learning. The design of the action space used for reinforcement learning ensures that all computed trajectories comply with kinematic joint limits. For our evaluation, simulated humanoid robots and industrial robots are trained to reach as many randomly placed target points as possible. We show that our method reliably prevents collisions with static obstacles and collisions between the robot arms, while generating motions that respect both torque limits and kinematic joint limits. Experiments with a real robot demonstrate that safe trajectories can be generated in real-time.


title: Static and Dynamical, Fractional Uncertainty Principles

abstract: We study the process of dispersion of low-regularity solutions to the Schr\"odinger equation using fractional weights (observables). We give another proof of the uncertainty principle for fractional weights and use it to get a lower bound for the concentration of mass. We consider also the evolution when the initial datum is the Dirac comb in $\mathbb{R}$. In this case we find fluctuations that concentrate at rational times and that resemble a realization of a L\'evy process. Furthermore, the evolution exhibits multifractality.


title: 2-nested matrices: towards understanding the structure of circle graphs

abstract: A $(0,1)$-matrix has the consecutive-ones property (C1P) if its columns can be permuted to make the $1$'s in each row appear consecutively. This property was characterised in terms of forbidden submatrices by Tucker in 1972. Several graph classes were characterised by means of this property, including interval graphs and strongly chordal digraphs. In this work, we define and characterise 2-nested matrices, which are $(0,1)$-matrices with a variant of the C1P and for which there is also certain assignment of one of two colors to each block of consecutive $1$'s in each row. The characterization of 2-nested matrices in the present work is of key importance to characterise split graphs that are also circle by minimal forbidden induced subgraphs.


title: Hybrid Car-Following Strategy based on Deep Deterministic Policy Gradient and Cooperative Adaptive Cruise Control

abstract: Deep deterministic policy gradient (DDPG)-based car-following strategy can break through the constraints of the differential equation model due to the ability of exploration on complex environments. However, the car-following performance of DDPG is usually degraded by unreasonable reward function design, insufficient training, and low sampling efficiency. In order to solve this kind of problem, a hybrid car-following strategy based on DDPG and cooperative adaptive cruise control (CACC) is proposed. First, the car-following process is modeled as the Markov decision process to calculate CACC and DDPG simultaneously at each frame. Given a current state, two actions are obtained from CACC and DDPG, respectively. Then, an optimal action, corresponding to the one offering a larger reward, is chosen as the output of the hybrid strategy. Meanwhile, a rule is designed to ensure that the change rate of acceleration is smaller than the desired value. Therefore, the proposed strategy not only guarantees the basic performance of car-following through CACC but also makes full use of the advantages of exploration on complex environments via DDPG. Finally, simulation results show that the car-following performance of the proposed strategy is improved compared with that of DDPG and CACC.


title: Cosmic Cloaking of Rich Extra Dimensions

abstract: We present arguments that show why it is difficult to see \emph{rich} extra dimensions in the Universe. More precisely, we study the conditions under which significant size and variation of the extra dimensions in a Kaluza-Klein compactification lead to a black hole in the lower dimensional theory. The idea is based on the hoop (or trapped surface) conjecture concerning black hole existence, as well as on the observation that dimensional reduction on macroscopically large, twisted, or highly dynamical extra dimensions contributes positively to the energy density in the lower dimensional theory and can induce gravitational collapse. We analyze these conditions and find that in an idealized scenario a threshold for the size exists, on the order of $10^{-19}m$, such that extra dimensions of length above this level must lie inside black holes, thus shielding them from the view of outside observers. The threshold is highly dependent on the size of the Universe, leading to the speculation that in the early stages of evolution truly macroscopic and large extra dimensions would have been visible.


title: Training a First-Order Theorem Prover from Synthetic Data

abstract: A major challenge in applying machine learning to automated theorem proving is the scarcity of training data, which is a key ingredient in training successful deep learning models. To tackle this problem, we propose an approach that relies on training purely with synthetically generated theorems, without any human data aside from axioms. We use these theorems to train a neurally-guided saturation-based prover. Our neural prover outperforms the state-of-the-art E-prover on this synthetic data in both time and search steps, and shows significant transfer to the unseen human-written theorems from the TPTP library, where it solves 72\% of first-order problems without equality.


title: Non-Wiedemann-Franz Behavior of the Thermal Conductivity of Organic Semiconductors

abstract: Organic semiconductors have attracted increasing interest as thermoelectric converters in recent years due to their intrinsically low thermal conductivity compared to inorganic materials. This boom has led to encouraging practical results, in which the thermal conductivity has predominantly been treated as an empirical number. However, in an optimized thermoelectric material, the electronic component can dominate the thermal conductivity in which case the figure of merit $ZT$ becomes a function of thermopower and Lorentz factor only. Hence design of effective organic thermoelectric materials requires understanding the Lorenz number. Here, analytical modeling and kinetic Monte Carlo simulations are combined to study the effect of energetic disorder and length scales on the correlation of electrical and thermal conductivity in organic semiconductor thermoelectrics. We show that a Lorenz factor up to a factor $\sim 5$ below the Sommerfeld value can be obtained for weakly disordered systems, in contrast with what has been observed for materials with band transport. Although the electronic contribution dominates the thermal conductivity within the application-relevant parameter space, reaching ZT>1 would require to minimize both the energetic disorder but also the lattice thermal conductivity to values below $\kappa_\text{lat}<0.2$W/mK.