title: Revisiting State Augmentation methods for Reinforcement Learning with Stochastic Delays

abstract: Several real-world scenarios, such as remote control and sensing, are comprised of action and observation delays. The presence of delays degrades the performance of reinforcement learning (RL) algorithms, often to such an extent that algorithms fail to learn anything substantial. This paper formally describes the notion of Markov Decision Processes (MDPs) with stochastic delays and shows that delayed MDPs can be transformed into equivalent standard MDPs (without delays) with significantly simplified cost structure. We employ this equivalence to derive a model-free Delay-Resolved RL framework and show that even a simple RL algorithm built upon this framework achieves near-optimal rewards in environments with stochastic delays in actions and observations. The delay-resolved deep Q-network (DRDQN) algorithm is bench-marked on a variety of environments comprising of multi-step and stochastic delays and results in better performance, both in terms of achieving near-optimal rewards and minimizing the computational overhead thereof, with respect to the currently established algorithms.


title: Not All Linearizations Are Equally Data-Hungry in Sequence Labeling Parsing

abstract: Different linearizations have been proposed to cast dependency parsing as sequence labeling and solve the task as: (i) a head selection problem, (ii) finding a representation of the token arcs as bracket strings, or (iii) associating partial transition sequences of a transition-based parser to words. Yet, there is little understanding about how these linearizations behave in low-resource setups. Here, we first study their data efficiency, simulating data-restricted setups from a diverse set of rich-resource treebanks. Second, we test whether such differences manifest in truly low-resource setups. The results show that head selection encodings are more data-efficient and perform better in an ideal (gold) framework, but that such advantage greatly vanishes in favour of bracketing formats when the running setup resembles a real-world low-resource configuration.


title: Moments of Traces of Frobenius of Higher Order Dirichlet $L$-functions over $\mathbb{F}_q[T]$

abstract: We study the moments of $\mbox{Tr}(\Theta_\chi)$ as $\chi$ runs over Dirichlet characters defined over $\mathbb{F}_q[T]$ of fixed order $r$. In particular, we show that after an appropriate normalization, the $q$-limit of the power sum moments behave like the power sum moments of the group of unitary matrices multiplied by a weight function.


title: Experimental and theoretical investigation of the thermal effect in the Casimir interaction from graphene

abstract: We present the results of an experiment on measuring the gradient of the Casimir force between an Au-coated hollow glass microsphere and graphene-coated fused silica plate by means of a modified atomic force microscope cantilever based technique operated in the dynamic regime. These measurements were performed in high vacuum at room temperature. The energy gap and the concentration of impurities in the graphene sample used have been measured utilizing scanning tunnelling spectroscopy and Raman spectroscopy, respectively. The measurement results for the gradients of the Casimir force are found to be in a very good agreement with theory using the polarization tensor of graphene at nonzero temperature depending on the energy gap and chemical potential with no fitting parameters. The theoretical predictions of the same theory at zero temperature are experimentally excluded over the measurement region from 250 to 517 nm. We have also investigated a dependence of the thermal correction to the Casimir force gradient on the values of the energy gap, chemical potential, and on the presence of a substrate supporting the graphene sheet. It is shown that the observed thermal effect is consistent in size with that arising for pristine graphene sheets if the impact of real conditions such as nonzero values of the energy gap, chemical potential, and the presence of a substrate is included. Implications of the obtained results to the resolution of the long-standing problems in Casimir physics are discussed. In addition to the paper published previously [M. Liu {\it et al}., Phys. Rev. Lett. {\bf 126}, 206802 (2021)], we present measurement results for the energy gap of the graphene sample, double the experimental data for the Casimir force, and perform a more complete theoretical analysis.


title: Self-modulation of cosmic rays in molecular clouds: Imprints in the radio observations

abstract: We analyze properties of non-thermal radio emission from the Central Molecular Zone (CMZ) and individual molecular clouds, and argue that the observed features can be interpreted in the framework of our recent theory of self-modulation of cosmic rays (CRs) penetrating dense molecular regions. For clouds with gas column densities of $\sim10^{23}$ cm$^{-2}$, the theory predicts depletion of sub-GeV CR electrons, occurring due to self-modulation of CR protons and leading to harder synchrotron spectra in the sub-GHz range. The predicted imprints of electron depletion in the synchrotron spectra agree well with the spectral hardening seen in available radio observations of the CMZ. A similar, but even stronger effect on the synchrotron emission is predicted for individual (denser) CMZ clouds, such as the Sgr B2. However, the emission at frequencies above $\sim$ GHz, where observational data are available, is completely dominated by the thermal component, and therefore new observations at lower frequencies are needed to verify the predictions.


title: Circle actions on six dimensional oriented manifolds with isolated fixed points

abstract: Let the circle group act on a 6-dimensional compact oriented manifold $M$ with isolated fixed points. The fixed point data of $M$ is the collection of signs and weights at the fixed points. To classify such a manifold $M$, the fixed point data is an essential information. Under an assumption that each isotropy submanifold is orientable, we classify the fixed point data of $M$, by showing that we can convert it to the empty collection by performing a combination of a number of types of operations. We do so by proving that we can successively take equivariant connected sums of $M$ at fixed points with $S^6$, $\mathbb{CP}^3$, and 6-dimensional analogue $Z_1$ and $Z_2$ of the Hirzebruch surfaces (and these with opposite orientations), to a fixed point free action on a compact oriented 6-manifold.


title: Implementation of a Quantum Algorithm to Estimate the Energy of a Particle in a Finite Square Well Potential on IBM Quantum Computer

abstract: In this paper, we implement a quantum algorithm -on IBM quantum devices, IBM QASM simulator and PPRC computer cluster -to find the energy values of the ground state and the first excited state of a particle in a finite square-well potential. We use the quantum phase estimation technique and the iterative one to execute the program on PPRC cluster and IBM devices, respectively. Our results obtained from executing the quantum circuits on the IBM classical devices show that our circuits succeed at simulating the system. However, duo to scattered results, we execute only the iterative phase estimation part of the circuit on the 5 qubit quantum devices to reduce the circuit size and obtain low-scattered results.


title: Class of meromorphic functions partially shared values with their differences or shifts

abstract: Two meromorphic functions $ f $ and $ g $ are said to share a value $ s\in\mathbb{C}\cup\{\infty\} $ $ CM $ $ (IM) $ provided that $ f(z)-s $ and $ g(z)-s $ have the same set of zeros counting multiplicities (ignoring multiplicities). We say that a meromorphic function $ f $ share $ s\in\mathbb{C} $ partially $ CM $ with a meromorphic function $ g $ if $ E(s,f)\subseteq E(s,g)$. It is easy to see that the condition ``partially shared values $ CM $" is more general than the condition ``shared value $ CM $". With the idea of partially shared values, in this paper, we prove some uniqueness results between non-constant meromorphic functions and their shifts or generalized differences. We exhibit some examples to show that the result of {Charak \emph{et al.}} \cite{Cha & Kor & Kum-2016} is not true for $k=2 $ or $ k=3 $. We find some gaps in proof of the result of {Lin} \emph{et al.} \cite{Lin & Lin & Wu}, and we not only correct them but also generalize their result in a more convenient way. A number of examples have been exhibited to validate a certain claim of the main results of this paper and also to show that some of the conditions are sharp. In the end, we have posed some open questions for further investigation of the main result of the paper.


title: Hamiltonian formalism for Fermi excitations in a plasma with a non-Abelian interaction

abstract: The Hamiltonian theory for the collective longitudinally polarized colorless gluon excitations (plasmons) and for collective quark-antiquark excitations with abnormal relation between chirality and helicity (plasminos) in a high-temperature quark-gluon plasma (QGP) is developed. For this purpose, Zakharov's forma\-lism for constructing the wave theory in nonlinear media with dispersion is used. A generalization of the Poisson superbracket involving both commuting and anticommuting variables to the case of a continuous medium is performed and the corresponding Hamilton equations are presented. The canonical transformations including simultaneously both bosonic and fermionic degrees of freedom of the collective excitations in QGP are discussed and a complete system of the canonicity conditions for these transformations is written out. An explicit form of the effective fourth-order Hamiltonians describing the elastic scattering of plasmino off plasmino and plasmino off plasmon is found and the Boltzmann type kinetic equations describing the processes of elastic scattering are obtained. A detailed comparison of the effective amplitudes defined within the (pseudo)classical Hamiltonian theory, with the corresponding matrix elements calcu\-la\-ted early in the framework of high-temperature quantum chromodynamics in the so-called hard thermal loop approximation is performed. This enables one to obtain, in particular, an explicit form of the vertex and coefficient functions in the effective amplitudes and in the canonical transformations, correspondingly, and also to define the validity of a purely pseudoclassical approach in the Hamiltonian description of the dynamics of a quark-gluon plasma. The problem of determining the higher-order coefficient functions in the canonical transformations of fermionic and bosonic normal variables is considered.


title: A 1V 5-bits Low Power Level Crossing ADC with OFF state in idle time for bio-medical applications in 0.18um CMOS

abstract: The ubiquitous use of sensing and signal processing is increasing exponentially with the advance of the Internet of Everything (IoE). In this context, the design of every time more power efficient sensor nodes is a must. Within these nodes, one of the most power-hungry components are the analog-to-digital converters (ADC). These components are used everywhere to translate real-world analog signals into computer intelligible digital signals. One of the promising architecture for the sensing of physiological signals is the level crossing ADC due to the sparse characteristics of those signals. One of the challenges to improve the power efficiency of this type of ADC lies in the use of continuous comparators to keep track of the input signal within the voltage references. The aim of this work is to investigate the impact of using continuous comparator which can be turned off without incurring error to the conversion of the level crossing ADC. New boundaries will be set for the correct behavior of the level crossing ADC together with the conditions for power saving with the proposed architecture. A 1V 5-bits level crossing ADC was implemented using the TSMC 0.18um process and fabricated for laboratory measurements. The ADC consumes 12.2uW during tracking state and with the proposed technique, the reduction of the average power can go from 4.2% to 45.5% depending on the activity and the type of the input signal.


title: Comparing the dynamics of COVID-19 infection and mortality in the United States, India, and Brazil

abstract: This paper compares and contrasts the spread and impact of COVID-19 in the three countries most heavily impacted by the pandemic: the United States (US), India and Brazil. All three of these countries have a federal structure, in which the individual states have largely determined the response to the pandemic. Thus, we perform an extensive analysis of the individual states of these three countries to determine patterns of similarity within each. First, we analyse structural similarity and anomalies in the trajectories of cases and deaths as multivariate time series. Next, we study the lengths of the different waves of the virus outbreaks across the three countries and their states. Finally, we investigate suitable time offsets between cases and deaths as a function of the distinct outbreak waves. In all these analyses, we consistently reveal more characteristically distinct behaviour between US and Indian states, while Brazilian states exhibit less structure in their wave behaviour and changing progression between cases and deaths.


title: A technique to enable frequency dependent power savings in a level crossing analog-to-digital converter

abstract: The level crossing analog-to-digital converters are meant for the effective conversion of sparse signals by construction. In these converters, the bandwidth-power trade-off requires a re-design of the comparators which takes a lot of time and effort to reach the application optimum point. Inspired by synchronous converters that have a dynamic power component that can be traded with bandwidth with the change of a clock frequency, a technique to allow such trade-off in the level crossing converter was developed. The resulting level crossing ADC has an input signal dependent dynamic power which can reach up to 42\% OFF time during the conversion of sine waves, achieving 45.5% power reduction in the simulated design with TSMC 180nm PDK.


title: How Powerful is Graph Convolution for Recommendation?

abstract: Graph convolutional networks (GCNs) have recently enabled a popular class of algorithms for collaborative filtering (CF). Nevertheless, the theoretical underpinnings of their empirical successes remain elusive. In this paper, we endeavor to obtain a better understanding of GCN-based CF methods via the lens of graph signal processing. By identifying the critical role of smoothness, a key concept in graph signal processing, we develop a unified graph convolution-based framework for CF. We prove that many existing CF methods are special cases of this framework, including the neighborhood-based methods, low-rank matrix factorization, linear auto-encoders, and LightGCN, corresponding to different low-pass filters. Based on our framework, we then present a simple and computationally efficient CF baseline, which we shall refer to as Graph Filter based Collaborative Filtering (GF-CF). Given an implicit feedback matrix, GF-CF can be obtained in a closed form instead of expensive training with back-propagation. Experiments will show that GF-CF achieves competitive or better performance against deep learning-based methods on three well-known datasets, notably with a $70\%$ performance gain over LightGCN on the Amazon-book dataset.


title: Relativistic quantum-mechanical versus classical magnetic resonant scattering cross sections

abstract: Radiative transfer calculations in strong (few $\times 10^{12}$ G) magnetic fields, observed in X-ray pulsars, require accurate resonant differential scattering cross sections. Such cross sections exist, but they are quite cumbersome. Here we compare the classical (non-relativistic) with the quantum-mechanical (relativistic) resonant differential scattering cross sections and offer a prescription for the use of the much simpler classical expressions with impressively accurate results. We have expanded the quantum-mechanical differential cross sections and kept terms up to first order in $\epsilon \equiv E/m_ec^2$ and $B \equiv {\cal B}/{\cal B}_{cr}$, where $E$ is the photon energy and ${\cal B}_{cr}$ is the critical magnetic field, and recovered the classical differential cross sections plus terms that are due to spin flip, which is a pure quantum-mechanical phenomenon. Adding by hand the spin-flip terms to the polarization-dependent classical differential cross sections, we find that they are in excellent agreement with the quantum mechanical ones for all energies near resonance and all angles. We have plotted both of them and the agreement is impressive. We give a prescription for the use of the classical differential cross sections that guarantees very accurate results.


title: Sterile neutrino dark matter with dipole interaction

abstract: We consider the possibility of the lightest sterile neutrino dark matter which has dipole interaction with heavier sterile neutrinos. The lifetime can be long enough to be a dark matter candidate without violating other constraints and the correct amount of relic abundance can be produced in the early Universe. We find that a sterile neutrino with the mass of around MeV and the dimension-five non-renormalisable dipole interaction suppressed by $\Lambda_5 \gtrsim 10^{15}$ GeV can be a good candidate of dark matter, while heavier sterile neutrinos with masses of the order of GeV can explain the active neutrino oscillations.


title: Quantum optics meets black hole thermodynamics via conformal quantum mechanics: I. Master equation for acceleration radiation

abstract: A quantum-optics approach is used to study the nature of the acceleration radiation due to a random atomic cloud falling freely into a generalized Schwarzschild black hole through a Boulware vacuum. The properties of this horizon brightened acceleration radiation (HBAR) are analyzed with a master equation that is fully developed in a multimode format. A scheme for the coarse-graining average for an atomic cloud is considered, with emphasis on the random injection scenario, which is shown to generate a thermal state. The role played by conformal quantum mechanics (CQM) is shown to be critical for detailed balance via a Boltzmann factor governed by the near-horizon physics, with the unique selection of the Hawking temperature. The HBAR thermal state is the basis for a thermodynamic framework that parallels black hole thermodynamics.


title: ACM-CR: A Manually Annotated Test Collection for Citation Recommendation

abstract: Citation recommendation is intended to assist researchers in the process of searching for relevant papers to cite by recommending appropriate citations for a given input text. Existing test collections for this task are noisy and unreliable since they are built automatically from parsed PDF papers. In this paper, we present our ongoing effort at creating a publicly available, manually annotated test collection for citation recommendation. We also conduct a series of experiments to evaluate the effectiveness of content-based baseline models on the test collection, providing results for future work to improve upon. Our test collection and code to replicate experiments are available at https://github.com/boudinfl/acm-cr


title: Quantum optics meets black hole thermodynamics via conformal quantum mechanics: II. Thermodynamics of acceleration radiation

abstract: The thermodynamics of ``horizon brightened acceleration radiation'' (HBAR), due to a random atomic cloud freely falling into a black hole in a Boulware-like vacuum, is shown to mimic the thermodynamics of the black hole itself. The thermodynamic framework is developed in its most general form via a quantum optics master equation, including rotating (Kerr) black holes and for any set of initial conditions of the atomic cloud. The HBAR field exhibits thermal behavior at the Hawking temperature and an area-entropy-flux relation that resembles the Bekenstein-Hawking entropy. In addition, this general approach reveals:(i) the existence of an HBAR-black-hole thermodynamic correspondence that explains the HBAR area-entropy-flux relation;(ii) the origin of the field entropy from the near-horizon behavior, via conformal quantum mechanics (CQM).


title: Cyclotron line formation by reflection on the surface of a magnetic neutron star

abstract: Accretion onto magnetic neutron stars results in X-ray spectra that often exhibit a cyclotron resonance scattering feature (CRSF) and, sometimes, higher harmonics of it. Two places are suspect for the formation of a CRSF: the surface of the neutron star and the radiative shock in the accretion column. Here we explore the first possibility: reflection at the neutron-star surface of the continuum produced at the radiative shock. It has been proposed that for high-luminosity sources, as the luminosity increases, the height of the radiative shock increases, thus a larger polar area is illuminated, and as a consequence the energy of the CRSF decreases because the dipole magnetic field decreases by a factor of two from the pole to the equator. We used a Monte Carlo code to compute the reflected spectrum from the atmosphere of a magnetic neutron star, when the incident spectrum is a power-law one. We restricted ourselves to cyclotron energies $\ll m_ec^2$ and used polarization-dependent scattering cross sections, allowing for polarization mode change. As expected, a prominent CRSF is produced in the reflected spectra if the incident photons are in a pencil beam, which hits the neutron-star surface at a point with a well-defined magnetic field strength. However, the incident beam from the radiative shock has a finite width and thus various magnetic field strengths are sampled. As a result of overlap, the reflected spectra have a CRSF, which is close to that produced at the magnetic pole, independent of the height of the radiative shock. Reflection at the surface of a magnetic neutron star cannot explain the observed decrease in the CRSF energy with luminosity in the high-luminosity X-ray pulsar V 0332+53.


title: When Product Search Meets Collaborative Filtering: A Hierarchical Heterogeneous Graph Neural Network Approach

abstract: Personalization lies at the core of boosting the product search system performance. Prior studies mainly resorted to the semantic matching between textual queries and user/product related documents, leaving the user collaborative behaviors untapped. In fact, the collaborative filtering signals between users intuitively offer a complementary information for the semantic matching. To close the gap between collaborative filtering and product search, we propose a Hierarchical Heterogeneous Graph Neural Network (HHGNN) approach in this paper. Specifically, we organize HHGNN with a hierarchical graph structure according to the three edge types. The sequence edge accounts for the syntax formulation from word nodes to sentence nodes; the composition edge aggregates the semantic features to the user and product nodes; and the interaction edge on the top performs graph convolutional operation between user and product nodes. At last, we integrate the higher-order neighboring collaborative features and the semantic features for better representation learning. We conduct extensive experiments on six Amazon review datasets. The results show that our proposed method can outperform the state-of-the-art baselines with a large margin. In addition, we empirically prove that collaborative filtering and semantic matching are complementary to each other in product search performance enhancement.


title: Status and Future Prospects of the KASCADE Cosmic-ray Data Centre KCDC

abstract: KCDC, the 'KASCADE Cosmic-ray Data Centre', is a web-based interface where initially the scientific data from the completed air-shower experiment KASCADE-Grande was made available for the astroparticle community as well as for the interested public. Over the past 7 years, we have continuously extended the data shop with various releases and increased both the number of detector components from the KASCADE-Grande experiment and the data sets and corresponding simulations. With the latest releases we added a new and independent data shop for a specific KASCADE-Grande event selection and by that created the technology for integrating further data shops and data of other experiments, like the data of the air-shower experiment MAKET-ANI in Armenia. In addition, we made available educational examples how to use the data, more than 100 cosmic ray energy spectra from various experiments, and recently attached a public server with access to Jupyter notebooks. In this paper we present a brief history of KCDC, the main features of the recent release as well as will discuss future development plans.


title: Near-field Wireless Power Transfer for 6G Internet-of-Everything Mobile Networks: Opportunities and Challenges

abstract: Radiating wireless power transfer (WPT) brings forth the possibility to cost-efficiently charge wireless devices without requiring a wiring infrastructure. As such, it is expected to play a key role in the deployment of limited-battery communicating devices, as part of the 6G enabled Internet-of-Everything (IoE) vision. To date, radiating WPT technologies are mainly studied and designed assuming that the devices are located in the far-field region of the power radiating antenna, resulting in a relatively low energy transfer efficiency. However, with the transition of 6G systems to mmWave frequencies combined with the usage of large-scale antennas, future WPT devices are likely to operate in the radiating near-field (Fresnel) region. In this article, we provide an overview of the opportunities and challenges which arise from radiating near-field WPT. In particular, we discuss about the possibility to realize beam focusing in near-field radiating conditions, and highlight its possible implications for WPT in future {IoE} networks. Besides, we overview some of the design challenges and research directions which arise from this emerging paradigm, including its simultaneous operation with wireless communications, radiating waveform considerations, hardware aspects, and operation with typical antenna architectures.


title: A simplified proof of Serre's Conjectures

abstract: The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the previous one.


title: The Ecosystem Path to General AI

abstract: We start by discussing the link between ecosystem simulators and general AI. Then we present the open-source ecosystem simulator Ecotwin, which is based on the game engine Unity and operates on ecosystems containing inanimate objects like mountains and lakes, as well as organisms such as animals and plants. Animal cognition is modeled by integrating three separate networks: (i) a reflex network for hard-wired reflexes; (ii) a happiness network that maps sensory data such as oxygen, water, energy, and smells, to a scalar happiness value; and (iii) a policy network for selecting actions. The policy network is trained with reinforcement learning (RL), where the reward signal is defined as the happiness difference from one time step to the next. All organisms are capable of either sexual or asexual reproduction, and they die if they run out of critical resources. We report results from three studies with Ecotwin, in which natural phenomena emerge in the models without being hardwired. First, we study a terrestrial ecosystem with wolves, deer, and grass, in which a Lotka-Volterra style population dynamics emerges. Second, we study a marine ecosystem with phytoplankton, copepods, and krill, in which a diel vertical migration behavior emerges. Third, we study an ecosystem involving lethal dangers, in which certain agents that combine RL with reflexes outperform pure RL agents.


title: Fluid-driven traveling waves in soft robots

abstract: Many marine creatures, gastropods, and earthworms generate continuous traveling waves in their bodies for locomotion within marine environments, complex surfaces, and inside narrow gaps. In this work, we study theoretically and experimentally the use of embedded pneumatic networks as a mechanism to mimic nature and generate bi-directional traveling waves in soft robots. We apply long-wave approximation to theoretically calculate the required distribution of pneumatic network and inlet pressure oscillations needed to create desired moving wave patterns. We then fabricate soft robots with internal pneumatic network geometry based on these analytical results. The experimental results agree well with our model and demonstrate the propagation of moving waves in soft robots, along with locomotion capabilities. The presented results allow fabricating soft robots capable of continuous moving waves via the common approach of embedded pneumatic networks and requiring only two input controls.


title: Algebraic Bethe Ansatz for spinor R-matrices

abstract: We present a supermatrix realisation of q-deformed spinor-spinor and spinor-vector R-matrices. These R-matrices are then used to construct transfer matrices for $U_{q^2}(\mathfrak{so}_{2n+1})$- and $U_{q}(\mathfrak{so}_{2n+2})$-symmetric closed spin chains. Their eigenvectors and eigenvalues are computed.


title: Channel Estimation for Extremely Large-Scale MIMO: Far-Field or Near-Field?

abstract: Extremely large-scale multiple-input-multiple-output (XL-MIMO) with hybrid precoding is a promising technique to meet the high data rate requirements for future 6G communications. To realize efficient hybrid precoding, it is essential to obtain accurate channel state information. Existing channel estimation algorithms with low pilot overhead heavily rely on the channel sparsity in the angle domain, which is achieved by the classical far-field planar wavefront assumption. However, due to the non-negligible near-field spherical wavefront property in XL-MIMO systems, this channel sparsity in the angle domain is not available anymore, and thus existing far-field channel estimation schemes will suffer from severe performance loss. To address this problem, in this paper we study the near-field channel estimation by exploiting the polar-domain sparse representation of the near-field XL-MIMO channel. Specifically, unlike the classical angle-domain representation that only considers the angle information of the channel, we propose a new polar-domain representation, which simultaneously accounts for both the angle and distance information. In this way, the near-field channel also exhibits sparsity in the polar domain. By exploiting the channel sparsity in the polar domain, we propose the on-grid and off-grid near-field channel estimation schemes for XL-MIMO. Firstly, an on-grid polar-domain simultaneous orthogonal matching pursuit (P-SOMP) algorithm is proposed to efficiently estimate the near-field channel. Furthermore, to solve the resolution limitation of the on-grid P-SOMP algorithm, an off-grid polar-domain simultaneous iterative gridless weighted (P-SIGW) algorithm is proposed to improve the estimation accuracy, where the parameters of the near-field channel are directly estimated. Finally, numerical results are provided to verify the effectiveness of the proposed schemes.


title: Self-Supervised Pretraining and Controlled Augmentation Improve Rare Wildlife Recognition in UAV Images

abstract: Automated animal censuses with aerial imagery are a vital ingredient towards wildlife conservation. Recent models are generally based on deep learning and thus require vast amounts of training data. Due to their scarcity and minuscule size, annotating animals in aerial imagery is a highly tedious process. In this project, we present a methodology to reduce the amount of required training data by resorting to self-supervised pretraining. In detail, we examine a combination of recent contrastive learning methodologies like Momentum Contrast (MoCo) and Cross-Level Instance-Group Discrimination (CLD) to condition our model on the aerial images without the requirement for labels. We show that a combination of MoCo, CLD, and geometric augmentations outperforms conventional models pre-trained on ImageNet by a large margin. Crucially, our method still yields favorable results even if we reduce the number of training animals to just 10%, at which point our best model scores double the recall of the baseline at similar precision. This effectively allows reducing the number of required annotations to a fraction while still being able to train high-accuracy models in such highly challenging settings.


title: Crystal polymorph selection mechanism of hard spheres hidden in the fluid

abstract: Nucleation plays a critical role in the birth of crystals and is associated with a vast array of phenomena such as protein crystallization and ice formation in clouds. Despite numerous experimental and theoretical studies, many aspects of the nucleation process like the polymorph selection mechanism in the early stages are far from being understood. Here, we show that the excess of particles in a face-centred-cubic (fcc)-like environment with respect to those in a hexagonal-close-packed (hcp)-like environment in a crystal nucleus of hard spheres as observed in simulations and experiments can be explained by the higher order structure in the fluid phase. We show using both simulations and experiments that, in the metastable fluid phase, fivefold symmetry clusters -- pentagonal bipyramids (PBs) -- known to be inhibitors of crystal nucleation, transform into a different cluster -- Siamese dodecahedra (SDs). Due to their geometry, these clusters form a bridge between the fivefold symmetric fluid and the fcc crystal, thus lowering its interfacial free energy with respect to the hcp crystal, and shedding new light on the polymorph selection mechanism.


title: Testing Multiple Linear Regression Systems with Metamorphic Testing

abstract: Regression is one of the most commonly used statistical techniques. However, testing regression systems is a great challenge because of the absence of test oracle in general. In this paper, we show that Metamorphic Testing is an effective approach to test multiple linear regression systems. In doing so, we identify intrinsic mathematical properties of linear regression, and then propose 11 Metamorphic Relations to be used for testing. Their effectiveness is examined using mutation analysis with a range of different regression programs. We further look at how the testing could be adopted in a more effective way. Our work is applicable to examine the reliability of predictive systems based on regression that has been widely used in economics, engineering and science, as well as of the regression calculation manipulated by statistical users.


title: Tailoring the band structure of twisted double bilayer graphene with pressure

abstract: Twisted two-dimensional structures open new possibilities in band structure engineering. At magic twist angles, flat bands emerge, which give a new drive to the field of strongly correlated physics. In twisted double bilayer graphene dual gating allows changing the Fermi level and hence the electron density and also allows tuning the interlayer potential, giving further control over band gaps. Here, we demonstrate that by applying hydrostatic pressure, an additional control of the band structure becomes possible due to the change of tunnel couplings between the layers. We find that the flat bands and the gaps separating them can be drastically changed by pressures up to 2 GPa, in good agreement with our theoretical simulations. Furthermore, our measurements suggest that in finite magnetic field due to pressure a topologically non-trivial band gap opens at the charge neutrality point at zero displacement field.


title: Search for charginos and neutralinos in final states with two boosted hadronically decaying bosons and missing transverse momentum in $pp$ collisions at $\sqrt{s}=13$ TeV with the ATLAS detector

abstract: A search for charginos and neutralinos at the Large Hadron Collider is reported using fully hadronic final states and missing transverse momentum. Pair-produced charginos or neutralinos are explored, each decaying into a high-$p_{\text{T}}$ Standard Model weak boson. Fully-hadronic final states are studied to exploit the advantage of the large branching ratio, and the efficient background rejection by identifying the high-$p_{\text{T}}$ bosons using large-radius jets and jet substructure information. An integrated luminosity of 139 fb$^{-1}$ of proton-proton collision data collected by the ATLAS detector at a center-of-mass energy of 13 TeV is used. No significant excess is found beyond the Standard Model expectation. The 95% confidence level exclusion limits are set on wino or higgsino production with varying assumptions in the decay branching ratios and the type of the lightest supersymmetric particle. A wino (higgsino) mass up to 1060 (900) GeV is excluded when the lightest SUSY particle mass is below 400 (240) GeV and the mass splitting is larger than 400 (450) GeV. The sensitivity to high-mass wino and higgsino is significantly extended compared with the previous LHC searches using the other final states.


title: Duplex Hecke Algebras and Related Quantum Schur Duality

abstract: This article introduces the duplex Hecke algebra, which is an infinite dimensional algebra generated by two Hecke algebras. This concept originates from the degenerate duplex Hecke algebra in the theory of Schur-Weyl duality related to enhanced reductive algebraic groups. We will study the finite dimensional natural representation of the duplex Hecke algebra on tensor space and prove that the duplex Hecke algebra forms a duality with the Levi type quantum group.


title: Local evaporation flux of deformed liquid drops

abstract: Escaping of the liquid molecules from their liquid bulk into the vapour phase at the vapour-liquid interface is controlled by the vapour diffusion process, which nevertheless hardly senses the macroscopic shape of this interface. Here, deformed sessile drops due to gravity and surface tension with various interfacial profiles are realised by tilting flat substrates. The symmetry broken of the sessile drop geometry leads to a different evaporation behavior compared to a drop with a symmetric cap on a horizontal substrate. Rather than the vapour-diffusion mechanism, heat-diffusion regime is defined here to calculate the local evaporation flux along the deformed drop interface. A local heat resistance, characterised by the liquid layer thickness perpendicular to the substrate, is proposed to relate the local evaporation flux. We find that the drops with and without deformation evaporate with a minimum flux at the drop apex, while up to a maximum one with a significantly larger but finite value at the contact line. Counterintuitively, the deviation from the symmetric shape due to the deformation on a slope, surprisingly enhances the total evaporation rate; and the smaller contact angle, the more significant enhancement. Larger tilt quickens the overall evaporation process and induces a more heterogeneous distribution of evaporative flux under gravity. Interestingly, with this concept of heat flux, an intrinsic heat resistance is conceivable around the contact line, which naturally removes the singularity of the evaporation flux showing in the vapour-diffusion model. The detailed non-uniform evaporation flux suggests ways to control the self-assembly, microstructures of deposit with engineering applications particularly in three dimensional printing where drying on slopes is inevitable.


title: Uncertainty Quantification in Hierarchical Vehicular Flow Models

abstract: We consider kinetic vehicular traffic flow models of BGK type. Considering different spatial and temporal scales, those models allow to derive a hierarchy of traffic models including a hydrodynamic description. In this paper, the kinetic BGK-model is extended by introducing a parametric stochastic variable to describe possible uncertainty in traffic. The interplay of uncertainty with the given model hierarchy is studied in detail. Theoretical results on consistent formulations of the stochastic differential equations on the hydrodynamic level are given. The effect of the possibly negative diffusion in the stochastic hydrodynamic model is studied and numerical simulations of uncertain traffic situations are presented.


title: Quantum state transfer on Q-graphs

abstract: We study the existence of quantum state transfer in $\mathcal{Q}$-graphs in this paper. The $\mathcal{Q}$-graph of a graph $G$, denoted by $\mathcal{Q}(G)$, is the graph derived from $G$ by plugging a new vertex to each edge of $G$ and joining two new vertices which lie on adjacent edges of $G$ by an edge. We show that, if all eigenvalues of a regular graph $G$ are integers, then its $\mathcal{Q}$-graph $\mathcal{Q}(G)$ has no perfect state transfer. In contrast, we also prove that the $\mathcal{Q}$-graph of a regular graph has pretty good state transfer under some mild conditions. Finally, applying the obtained results, we also exhibit many new families of $\mathcal{Q}$-graphs having no perfect state transfer, but admitting pretty good state transfer.


title: Physics Opportunities with Meson Beams for EIC

abstract: Over the past two decades, meson photo- and electroproduction data of unprecedented quality and quantity have been measured at electromagnetic facilities worldwide. By contrast, the meson-beam data for the same hadronic final states are mostly outdated and largely of poor quality, or even non-existent, and thus provide inadequate input to help interpret, analyze, and exploit the full potential of the new electromagnetic data. To reap the full benefit of the high-precision electromagnetic data, new high-statistics data from measurements with meson beams, with good angle and energy coverage for a wide range of reactions, are critically needed to advance our knowledge in baryon and meson spectroscopy and other related areas of hadron physics. To address this situation, a state-of-the-art meson-beam facility needs to be constructed. The present letter summarizes unresolved issues in hadron physics and outlines the vast opportunities and advances that only become possible with such a facility.


title: Description of isospin mixing by a generator coordinate method

abstract: Background: The isospin mixing is an interesting feature of atomic nuclei. It plays a crucial role in astrophysical nuclear reactions. However, it is not straightforward for variational nuclear structure models to describe it. Purpose: We propose a tractable method to describe the isospin mixing within a framework of the generator coordinate method and demonstrate its usability. Method: We generate the basis wave functions by applying the Fermi transition operator to the wave functions of isobars. The superposition of these basis wave functions and variationally obtained wave functions quantitatively describes the isospin mixing. Results: Using 14N as an example, we demonstrate that our method reasonably describes both T = 0 and 1 states and their mixing. Energy spectrum and E1 transition strengths are compared with the experimental data to confirm isospin mixing. Conclusion: The proposed method is effective enough to describe isospin mixing and is useful, for example, when we discuss {\alpha} capture reactions of N = Z nuclei.


title: MigrationsKB: A Knowledge Base of Public Attitudes towards Migrations and their Driving Factors

abstract: With the increasing trend in the topic of migration in Europe, the public is now more engaged in expressing their opinions through various platforms such as Twitter. Understanding the online discourses is therefore essential to capture the public opinion. The goal of this study is the analysis of social media platform to quantify public attitudes towards migrations and the identification of different factors causing these attitudes. The tweets spanning from 2013 to Jul-2021 in the European countries which are hosts to immigrants are collected, pre-processed, and filtered using advanced topic modeling technique. BERT-based entity linking and sentiment analysis, and attention-based hate speech detection are performed to annotate the curated tweets. Moreover, the external databases are used to identify the potential social and economic factors causing negative attitudes of the people about migration. To further promote research in the interdisciplinary fields of social science and computer science, the outcomes are integrated into a Knowledge Base (KB), i.e., MigrationsKB which significantly extends the existing models to take into account the public attitudes towards migrations and the economic indicators. This KB is made public using FAIR principles, which can be queried through SPARQL endpoint. Data dumps are made available on Zenodo.


title: Coalesced Multi-Output Tsetlin Machines with Clause Sharing

abstract: Using finite-state machines to learn patterns, Tsetlin machines (TMs) have obtained competitive accuracy and learning speed across several benchmarks, with frugal memory- and energy footprint. A TM represents patterns as conjunctive clauses in propositional logic (AND-rules), each clause voting for or against a particular output. While efficient for single-output problems, one needs a separate TM per output for multi-output problems. Employing multiple TMs hinders pattern reuse because each TM then operates in a silo. In this paper, we introduce clause sharing, merging multiple TMs into a single one. Each clause is related to each output by using a weight. A positive weight makes the clause vote for output $1$, while a negative weight makes the clause vote for output $0$. The clauses thus coalesce to produce multiple outputs. The resulting coalesced Tsetlin Machine (CoTM) simultaneously learns both the weights and the composition of each clause by employing interacting Stochastic Searching on the Line (SSL) and Tsetlin Automata (TA) teams. Our empirical results on MNIST, Fashion-MNIST, and Kuzushiji-MNIST show that CoTM obtains significantly higher accuracy than TM on $50$- to $1$K-clause configurations, indicating an ability to repurpose clauses. E.g., accuracy goes from $71.99$% to $89.66$% on Fashion-MNIST when employing $50$ clauses per class (22 Kb memory). While TM and CoTM accuracy is similar when using more than $1$K clauses per class, CoTM reaches peak accuracy $3\times$ faster on MNIST with $8$K clauses. We further investigate robustness towards imbalanced training data. Our evaluations on imbalanced versions of IMDb- and CIFAR10 data show that CoTM is robust towards high degrees of class imbalance. Being able to share clauses, we believe CoTM will enable new TM application domains that involve multiple outputs, such as learning language models and auto-encoding.


title: spectrai: A deep learning framework for spectral data

abstract: Deep learning computer vision techniques have achieved many successes in recent years across numerous imaging domains. However, the application of deep learning to spectral data remains a complex task due to the need for augmentation routines, specific architectures for spectral data, and significant memory requirements. Here we present spectrai, an open-source deep learning framework designed to facilitate the training of neural networks on spectral data and enable comparison between different methods. Spectrai provides numerous built-in spectral data pre-processing and augmentation methods, neural networks for spectral data including spectral (image) denoising, spectral (image) classification, spectral image segmentation, and spectral image super-resolution. Spectrai includes both command line and graphical user interfaces (GUI) designed to guide users through model and hyperparameter decisions for a wide range of applications.


title: Quantum electrodynamic effects on the two-stream instability

abstract: We consider the quantum electrodynamic corrections to the two-stream instability. We find these corrections vanish at first order unless a guiding magnetic field $\mathbf{B}_0$ is considered. With respect to the classical version of the instability, quantum electrodynamic effects reduce the most unstable wave vector and its growth rate by a factor $\sqrt{1+\xi}$, with $\xi = \frac{\alpha}{9\pi} (B_0/B_{cr})^2$, where $\alpha$ is the fine-structure constant and $B_{cr}$ the Schwinger critical magnetic field. Although derived for a cold system, these results are valid for the kinetic case. The results are valid in the range $\xi \ll 1$ and, actually, up to linear corrections in $\xi$.

categories: physics.plasm-ph astro-ph.HE hep-ph hep-th


title: Light Field Image Super-Resolution with Transformers

abstract: Light field (LF) image super-resolution (SR) aims at reconstructing high-resolution LF images from their low-resolution counterparts. Although CNN-based methods have achieved remarkable performance in LF image SR, these methods cannot fully model the non-local properties of the 4D LF data. In this paper, we propose a simple but effective Transformer-based method for LF image SR. In our method, an angular Transformer is designed to incorporate complementary information among different views, and a spatial Transformer is developed to capture both local and long-range dependencies within each sub-aperture image. With the proposed angular and spatial Transformers, the beneficial information in an LF can be fully exploited and the SR performance is boosted. We validate the effectiveness of our angular and spatial Transformers through extensive ablation studies, and compare our method to recent state-of-the-art methods on five public LF datasets. Our method achieves superior SR performance with a small model size and low computational cost. Code is available at https://github.com/ZhengyuLiang24/LFT.


title: Multiscale modeling strategy to solve fullerene formation mystery

abstract: Since fullerene formation occurs under conditions where direct observation of atomic-scale reactions is not possible, modeling is the only way to reveal atomistic mechanisms which can lead to selection of abundant fullerene isomers (like C60-Ih). In the present paper we review the results obtained for different atomistic mechanisms by various modeling techniques. Although it seems that atomic-scale processes related to odd fullerenes (such as growth by consecutive insertions of single carbon atoms and rearrangements of the sp$^2$ structure promoted by extra sp atoms) provide the main contribution to selection of abundant isomers, at the moment there is no conclusive evidence in favor of any particular atomistic mechanism. Thus, the following multiscale modeling strategy to solve the mystery of the high yield of abundant fullerene isomers is suggested. On the one hand, sets of reactions between fullerene isomers can be described using theoretical graph techniques. On the other hand, reaction schemes can be revealed by classical molecular dynamics simulations with subsequent refinement of the activation barriers by ab initio calculations. Based on the reaction sets with the reaction probabilities derived in this way, the different atomistic mechanisms of abundant fullerene isomer selection can be compared by kinetic models.


title: Slope norm and an algorithm to compute the crosscap number

abstract: We give three algorithms to determine the crosscap number of a knot in the 3-sphere using $0$-efficient triangulations and normal surface theory. Our algorithms are shown to be correct for a larger class of complements of knots in closed 3-manifolds. The crosscap number is closely related to the minimum over all spanning slopes of a more general invariant, the slope norm. For any irreducible 3-manifold $M$ with incompressible boundary a torus, we give an algorithm that, for every slope on the boundary that represents the trivial class in $H_1(M; \mathbb{Z}_2)$, determines the maximal Euler characteristic of any properly embedded surface having a boundary curve of this slope. We complement our theoretical work with an implementation of our algorithms, and compute the crosscap number of knots for which previous methods would have been inconclusive. In particular, we determine 196 previously unknown crosscap numbers in the census of all knots with up to 12 crossings.


title: Direct domain adaptation through reciprocal linear transformations

abstract: We propose a direct domain adaptation (DDA) approach to enrich the training of supervised neural networks on synthetic data by features from real-world data. The process involves a series of linear operations on the input features to the NN model, whether they are from the source or target domains, as follows: 1) A cross-correlation of the input data (i.e. images) with a randomly picked sample pixel (or pixels) of all images from that domain or the mean of all randomly picked sample pixel (or pixels) of all images. 2) The convolution of the resulting data with the mean of the autocorrelated input images from the other domain. In the training stage, as expected, the input images are from the source domain, and the mean of auto-correlated images are evaluated from the target domain. In the inference/application stage, the input images are from the target domain, and the mean of auto-correlated images are evaluated from the source domain. The proposed method only manipulates the data from the source and target domains and does not explicitly interfere with the training workflow and network architecture. An application that includes training a convolutional neural network on the MNIST dataset and testing the network on the MNIST-M dataset achieves a 70% accuracy on the test data. A principal component analysis (PCA), as well as t-SNE, show that the input features from the source and target domains, after the proposed direct transformations, share similar properties along with the principal components as compared to the original MNIST and MNIST-M input features.


title: Minimum degree conditions for containing an $r$-regular $r$-connected subgraph

abstract: We study optimal minimum degree conditions when an $n$-vertex graph $G$ contains an $r$-regular $r$-connected subgraph. We prove for $r$ fixed and $n$ large the condition to be $\delta(G) \ge \frac{n+r-2}{2}$ when $nr \equiv 0 \pmod 2$. This answers a question of M.~Kriesell.


title: When Should You Defend Your Classifier -- A Game-theoretical Analysis of Countermeasures against Adversarial Examples

abstract: Adversarial machine learning, i.e., increasing the robustness of machine learning algorithms against so-called adversarial examples, is now an established field. Yet, newly proposed methods are evaluated and compared under unrealistic scenarios where costs for adversary and defender are not considered and either all samples or no samples are adversarially perturbed. We scrutinize these assumptions and propose the advanced adversarial classification game, which incorporates all relevant parameters of an adversary and a defender. Especially, we take into account economic factors on both sides and the fact that all so far proposed countermeasures against adversarial examples reduce accuracy on benign samples. Analyzing the scenario in detail, where both players have two pure strategies, we identify all best responses and conclude that in practical settings, the most influential factor might be the maximum amount of adversarial examples.


title: The Origin of Intergalactic Light in Compact Groups of Galaxies

abstract: We investigate the origin of intergalactic light (IGL) in close groups of galaxies. IGL is hypothesized to be the byproduct of interaction and merger within compact groups. Comparing the X-ray point source population in our sample of compact groups that have intergalactic light with compact groups without IGL, we find marginal evidence for a small increase in ultra-luminous X-ray sources (ULXs). There is also a significant bias towards lower luminosity high mass X-ray binaries (HMXRBs). We interpret this as an indication that groups with visible IGL represent a later evolutionary phase than other compact groups. They have galaxies characterized by quenching of star formation (lower star formation rate (SFR) inferred from lower HMXRB luminosity) after stellar material has been removed from the galaxies into the intergalactic medium, which is the source of the IGL. We conclude that the presence of an increased fraction of ULXs is due to past interaction and mergers within groups that have IGL.


title: A Textbook Case of Pentagram Rigidity

abstract: In this paper I will explain a rigidity conjecture that intertwines the deep diagonal pentagram maps and Poncelet polygons. I will also establish a simple case of the conjecture, the one involving the $3$-diagonal map on a convex $8$-gon with $4$-fold rotational symmetry. This case involves a textbook analysis of a pencil of elliptic curves.


title: Consistent lattice Boltzmann model for reactive mixtures

abstract: A new lattice Boltzmann model (LBM) for chemically reactive mixtures is presented. The approach capitalizes on the recently introduced thermodynamically consistent LBM for multicomponent mixtures of ideal gases. Similar to the non-reactive case, the present LBM features Stefan--Maxwell diffusion of chemical species and a fully on-lattice mean-field realization of the momentum and energy of the flow. Besides introducing the reaction mechanism into the kinetic equations for the species, the proposed LBM also features a new realization of the compressible flow by using a concept of extended equilibrium on a standard lattice in three dimensions. The full thermodynamic consistency of the original non-reactive multicomponent LBM enables to extend the temperature dynamics to the reactive mixtures by merely including the enthalpy of formation in addition to the previously considered sensible energy. Furthermore, we describe in detail the boundary conditions to be used for reactive flows of practical interest. The model is validated against a direct numerical simulation of various burning regimes of a hydrogen/air mixture in a microchannel, in two and three dimensions. Excellent comparison in these demanding benchmarks indicates that the proposed LBM can be a valuable and universal model for complex reactive flows.

categories: physics.flu-dyn cond-mat.stat-mech math-ph math.MP physics.comp-ph


title: FEDReD III : Unraveling the 3D structure of Vela

abstract: Context. The Vela complex is a region of the sky that gathers several stellar and interstellar structures in a few hundred square degrees. Aims. Gaia data now allows us to obtain a 3D view of the Vela interstellar structures through the dust extinction. Methods. We used the FEDReD (Field Extinction-Distance Relation Deconvolver) algorithm on near-infrared 2MASS data, cross-matched with the Gaia DR2 catalogue, to obtain a 3D cube of extinction density. We applied the FellWalker algorithm on this cube to locate clumps and dense structures. Results. We analysed 18 million stars on $450~\mathrm{deg}^2$ to obtain the extinction density of the Vela complex from 0.5 to 8~kpc at $\ell\in[250\degr,280\degr]$ and $b\in[$-10$\degr,5\degr]$. This cube reveals the complete morphology of known structures and relations between them. In particular, we show that the Vela Molecular Ridge is more likely composed by three substructures instead of four, as suggested by the 2D densities. These substructures form the shell of a large cavity. This cavity is visually aligned with the Vela supernova remnant but located at a larger distance. We provide a catalogue of location, distance, size and total dust content of ISM clumps that we extracted from the extinction density cube.


title: Potential consequences of wormhole-mediated entanglement

abstract: There are hints that the connectivity of space-time in quantum gravity could emerge from entanglement, and it has further been proposed that any two entangled particles may be connected by a quantum wormhole. One way to test this proposal is by probing the electric field of an entangled charged particle to determine whether its electric field leaks through the putative wormhole. In addition, if such a wormhole is traversable, then it could be possible for the collapse of the wave function to occur in a causal manner, with information about the collapse travelling through the wormhole at the speed of light, rather than the wave function collapse being a global and instantaneous event.


title: Integral $p$-adic cohomology theories

abstract: In this paper, we show the non-existence of finitely generated integral $p$-adic cohomology which satisfies finite \'etale descent and the associated rational cohomology coincides with rigid cohomology.


title: Multiple positive solutions for a p-Laplace Benci-Cerami type problem (1<p<2), via Morse theory

abstract: Let us consider the quasilinear problem \[ (P_\varepsilon) \ \ \left\{ \begin{array}{ll} - \varepsilon^p \Delta _{p}u + u^{p-1} = f(u) & \hbox{in} \ \Omega \newline u>0 & \hbox{in} \ \Omega \newline u=0 & \hbox{on} \ \partial \Omega \end{array} \right. \] where $\Omega$ is a bounded domain in $\mathbb{R}^N$ with smooth boundary, $N\geq 2$, $1< p < 2$, $\varepsilon >0$ is a parameter and $f: \mathbb{R} \to \mathbb{R}$ is a continuous function with $f(0)=0$, having a subcritical growth. We prove that there exists $\varepsilon^* >0$ such that, for every $\varepsilon \in (0, \varepsilon^*)$, $(P_\varepsilon)$ has at least $2{\mathcal P}_1(\Omega)-1$ solutions, possibly counted with their multiplicities, where ${\mathcal P}_t(\Omega)$ is the Poincar\'e polynomial of $\Omega$. Using Morse techniques, we furnish an interpretation of the multiplicity of a solution, in terms of positive distinct solutions of a quasilinear equation on $\Omega$, approximating $(P_\varepsilon)$.


title: DRAEM -- A discriminatively trained reconstruction embedding for surface anomaly detection

abstract: Visual surface anomaly detection aims to detect local image regions that significantly deviate from normal appearance. Recent surface anomaly detection methods rely on generative models to accurately reconstruct the normal areas and to fail on anomalies. These methods are trained only on anomaly-free images, and often require hand-crafted post-processing steps to localize the anomalies, which prohibits optimizing the feature extraction for maximal detection capability. In addition to reconstructive approach, we cast surface anomaly detection primarily as a discriminative problem and propose a discriminatively trained reconstruction anomaly embedding model (DRAEM). The proposed method learns a joint representation of an anomalous image and its anomaly-free reconstruction, while simultaneously learning a decision boundary between normal and anomalous examples. The method enables direct anomaly localization without the need for additional complicated post-processing of the network output and can be trained using simple and general anomaly simulations. On the challenging MVTec anomaly detection dataset, DRAEM outperforms the current state-of-the-art unsupervised methods by a large margin and even delivers detection performance close to the fully-supervised methods on the widely used DAGM surface-defect detection dataset, while substantially outperforming them in localization accuracy.


title: Spectral Invariants of the Magnetic Dirichlet-to-Neumann Map on Riemannian Manifolds

abstract: This paper is devoted to investigate the heat trace asymptotic expansion corresponding to the magnetic Steklov eigenvalue problem on Riemannian manifolds with boundary. We establish an effective procedure, by which we can calculate all the coefficients $a_0$, $a_1$, $\dots$, $a_{n-1}$ of the heat trace asymptotic expansion. In particular, we explicitly give the expressions for the first four coefficients. These coefficients are spectral invariants which provide precise information concerning the volume and curvatures of the boundary of the manifold and some physical quantities by the magnetic Steklov eigenvalues.


title: From low-field Sondheimer oscillations to high-field very large and linear magnetoresistance in a SrTiO$_3$-based two-dimensional electron gas

abstract: Quantum materials harbor a cornucopia of exotic transport phenomena challenging our understanding of condensed matter. Among these, a giant, non-saturating linearmagnetoresistance (MR) has been reported in various systems, from Weyl semi-metals to topological insulators. Its origin is often ascribed to unusual band structure effects but it may also be caused by extrinsic sample disorder. Here, we report a very large linear MR in a SrTiO$_3$ two-dimensional electron gas and, by combining transport measurements with electron spectro-microscopy, show that it is caused by nanoscale inhomogeneities that are self-organized during sample growth. Our data also reveal semi-classical Sondheimer oscillations arising from interferences between helicoidal electron trajectories, from which we determine the 2DEG thickness. Our results bring insight into the origin of linear MR in quantum materials, expand the range of functionalities of oxide 2DEGs and suggest exciting routes to explore the interaction of linear MR with features like Rashba spin-orbit coupling.


title: Improving Thread-Modular Abstract Interpretation

abstract: We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants and side-effecting constraint systems. We show that a generalization of the analysis provided by the static analyzer Goblint as well as a natural improvement of Antoine Min\'e's approach can be obtained as instances of this general scheme. We show that these two analyses are incomparable w.r.t. precision and provide a refinement which improves on both precision-wise. We also report on a preliminary experimental comparison of the given analyses on a meaningful suite of benchmarks.


title: Electronic Response Quantities of Solids and Deep Learning

abstract: We introduce a deep neural network (DNN) framework called the \textbf{r}eal-space \textbf{a}tomic \textbf{d}ecomposition \textbf{net}work (\textsc{radnet}), which is capable of making accurate polarization and static dielectric function predictions for solids. We use these predictions to calculate Born-effective charges, longitudinal optical transverse optical (LO-TO) splitting frequencies, and Raman tensors for two prototypical examples: GaAs and BN. We then compute the Raman spectra, and find excellent agreement with \textit{ab initio} techniques. \textsc{radnet} is as good or better than current methodologies. Lastly, we discuss how \textsc{radnet} scales to larger systems, paving the way for predictions of response functions on meso-scale structures with \textit{ab initio} accuracy.


title: Analysis of Data Mining Process for Improvement of Production Quality in Industrial Sector

abstract: Background and Objective: Different industries go through high-precision and complex processes that need to analyze their data and discover defects before growing up. Big data may contain large variables with missed data that play a vital role to understand what affect the quality. So, specialists of the process might be struggling to defined what are the variables that have direct effect in the process. Aim of this study was to build integrated data analysis using data mining and quality tools to improve the quality of production and process. Materials and Methods: Data collected in different steps to reduce missed data. The specialists in the production process recommended to select the most important variables from big data and then predictor screening was used to confirm 16 of 71 variables. Seven important variables built the output variable that called textile quality score. After testing ten algorithms, boosted tree and random forest were evaluated to extract knowledge. In the voting process, three variables were confirmed to use as input factors in the design of experiments. The response of design was estimated by data mining and the results were confirmed by the quality specialists. Central composite (surface response) has been run 17 times to extract the main effects and interactions on the textile quality score. Results: Current study found that a machine productivity has negative effect on the quality, so this validated by the management. After applying changes, the efficiency of production has improved 21%. Conclusion: Results confirmed a big improvement in quality processes in industrial sector. The efficiency of production improved to 21%, weaving process improved to 23% and the overall process improved to 17.06%.


title: Indoor Semantic Scene Understanding using Multi-modality Fusion

abstract: Seamless Human-Robot Interaction is the ultimate goal of developing service robotic systems. For this, the robotic agents have to understand their surroundings to better complete a given task. Semantic scene understanding allows a robotic agent to extract semantic knowledge about the objects in the environment. In this work, we present a semantic scene understanding pipeline that fuses 2D and 3D detection branches to generate a semantic map of the environment. The 2D mask proposals from state-of-the-art 2D detectors are inverse-projected to the 3D space and combined with 3D detections from point segmentation networks. Unlike previous works that were evaluated on collected datasets, we test our pipeline on an active photo-realistic robotic environment - BenchBot. Our novelty includes rectification of 3D proposals using projected 2D detections and modality fusion based on object size. This work is done as part of the Robotic Vision Scene Understanding Challenge (RVSU). The performance evaluation demonstrates that our pipeline has improved on baseline methods without significant computational bottleneck.


title: Representations of almost regular m-gonal forms II

abstract: It is known that any $m$-gonal form of rank $n \ge 5$ is almost regular. On the other words, any $m$-gonal form of rank $n \ge 5$ represents every sufficiently large integer which is locally represented. In this article, we study the sufficiently large integers which are represented by (almost regular) $m$-gonal forms of rank $n \ge 5$.


title: Using Guilds to Foster Internal Startups in Large Organizations: A case study

abstract: Software product innovation in large organizations is fundamentally chal-lenging because of restrained freedom and flexibility to conduct experi-ments. As a response, large agile companies form internal startups to initiate employ-driven innovation, inspired by Lean startup. This case study investi-gates how communities of practice support five internal startups in develop-ing new software products within a large organization. We observed six communities of practice meetings, two workshops and conducted ten semi-structured interviews over the course of a year. Our findings show that a community of practice, called the Innovation guild, allowed internal startups to help each other by collectively solving problems, creating shared practic-es, and sharing knowledge. This study confirms that benefits documented in earlier research into CoPs also hold true in the context of software product innovation in large organizations. Henceforth, we suggest that similar innova-tion guilds, as described in this paper, can support large companies in the in-novation race for new software products.


title: Deep MRI Reconstruction with Radial Subsampling

abstract: In spite of its extensive adaptation in almost every medical diagnostic and examinatorial application, Magnetic Resonance Imaging (MRI) is still a slow imaging modality which limits its use for dynamic imaging. In recent years, Parallel Imaging (PI) and Compressed Sensing (CS) have been utilised to accelerate the MRI acquisition. In clinical settings, subsampling the k-space measurements during scanning time using Cartesian trajectories, such as rectilinear sampling, is currently the most conventional CS approach applied which, however, is prone to producing aliased reconstructions. With the advent of the involvement of Deep Learning (DL) in accelerating the MRI, reconstructing faithful images from subsampled data became increasingly promising. Retrospectively applying a subsampling mask onto the k-space data is a way of simulating the accelerated acquisition of k-space data in real clinical setting. In this paper we compare and provide a review for the effect of applying either rectilinear or radial retrospective subsampling on the quality of the reconstructions outputted by trained deep neural networks. With the same choice of hyper-parameters, we train and evaluate two distinct Recurrent Inference Machines (RIMs), one for each type of subsampling. The qualitative and quantitative results of our experiments indicate that the model trained on data with radial subsampling attains higher performance and learns to estimate reconstructions with higher fidelity paving the way for other DL approaches to involve radial subsampling.


title: Impact of virtual REU experiences on students' psychosocial gains during the COVID-19 pandemic

abstract: In the Summer of 2020, due to COVID-19, institutions either canceled or remotely hosted their Research Experience for Undergraduates (REU) programs. We carried out a 16-week longitudinal study examining the impact of these fully remote research experiences on mentees' psychosocial gains (e.g., identity). We studied the phenomenon of a remote research experience from the standpoint of the mentees ($N$=10) and their mentors ($N$=8), who were each interviewed seven and three times, respectively (94 total interviews). All mentees reported that this experience was highly beneficial through different factors and that they developed a sense of belonging, self-efficacy, and identity despite working remotely. Then, we synthesize these results with prior literature and develop a framework showing how different experiences and constructs affect the development of the physics and researcher identity. Gaining greater understanding regarding factors leading to the growth of psychosocial gains may help REU coordinators and REU mentors to re-design their undergraduate research program and provide the support that their mentees' needed to have a positive undergraduate research experience.


title: Traces of links and simply connected 4-manifolds

abstract: We study the set $\widehat{\mathcal S}_M$ of framed smoothly slice links which lie on the boundary of the complement of a 1-handlebody in a closed, simply connected, smooth 4-manifold $M$. We show that $\widehat{\mathcal S}_M$ is well-defined and describe how it relates to exotic phenomena in dimension four. In particular, in the case when $X$ is smooth, with a handle decompositions with no 1-handles and homeomorphic to but not smoothly embeddable in $D^4$, our results tell us that $X$ is exotic if and only if there is a link $L\hookrightarrow S^3$ which is smoothly slice in $X$, but not in $D^4$. Furthermore, we extend the notion of high genus 2-handle attachment, introduced by Hayden and Piccirillo, to prove that exotic 4-disks that are smoothly embeddable in $D^4$, and therefore possible counterexamples to the smooth 4-dimensional Sch\"onflies conjecture, cannot be distinguished from $D^4$ only by comparing the slice genus functions of links.


title: Two-Timescale Design for Reconfigurable Intelligent Surface-Aided Massive MIMO Systems with Imperfect CSI

abstract: This paper investigates the two-timescale transmission design for reconfigurable intelligent surface (RIS)-aided massive multiple-input multiple-output (MIMO) systems, where the beamforming at the base station (BS) is adapted to the rapidly-changing instantaneous channel state information (CSI), while the passive beamforming at the RIS is adapted to the slowly-changing statistical CSI. Specifically, we first propose a linear minimum mean square error (LMMSE) estimator to obtain the aggregated channel from the users to the BS in each channel coherence interval. Based on the estimated channel, we apply the low-complexity maximal ratio combining (MRC) beamforming at the BS, and then derive the ergodic achievable rate in a closed form expression. To draw design insights, we perform a detailed theoretical analysis departing from the derived ergodic achievable rate. If the BS-RIS channel is Rician distributed, we prove that the transmit power can be scaled proportionally to $1/M$, as the number of BS antennas, $M$, grows to infinity while maintaining a non-zero rate. If the BS-RIS channel is Rayleigh distributed, the transmit power can be scaled either proportionally to $1/\sqrt{M}$ as $M$ grows large, or proportionally to $1/N$ as the number of reflecting elements, $N$, grows large, while still maintaining a non-zero rate. By capitalizing on the derived expression of the data rate under the statistical knowledge of the CSI, we maximize the minimum user rate by designing the passive beamforming at the RIS. Numerical results confirm that, even in the presence of imperfect CSI, the integration of an RIS in massive MIMO systems results in promising performance gains. In addition, the obtained results reveal that it is favorable to place the RIS close to the users rather than close to the BS.


title: Pressure induced Lifshitz transition and anomalous crystal field splitting in AFeAs (A=Li/Na) Fe-based superconducting compounds: A first principles study

abstract: The effect of hydrostatic pressure on the electronic structures of iron pnictide superconducting compounds LiFeAs and NaFeAs through density functional theory based first principles studies are presented, using the predicted crystal structures at very high pressure by Zhang et al. [1]. The orbital selective pressure induced modifications in the partial density of states and electronic band structures reveal mixed multi-band multi-orbital nature of these compounds, with energetically degenerate dxz/dyz orbitals at ambient pressure. Due to larger hydrostatic pressures some of the electron/hole bands crosses the Fermi level, leading to significant topological modifications in Fermi surfaces known as Lifshitz transition. Interrelation between Lifshitz transition and superconductivity-an important subject matter of current research are described. Based on such interconnection the current study predicts the superconducting-Tc in 111 compounds can not be raised at such high pressures. Wannier functions based electronic structure investigation reveal a relatively larger hybridization between the Fe-3d and As-4p orbitals at higher pressures, as an effect of which the orbital degeneracy of dxz and dyz orbitals are lifted. Different hybridization contributions in the crystal-field splitting are separated using the Wannier functions based formalism, by incorporating different bands with a particular orbital character in the Wannier function construction. Pressure dependence of the intra/inter orbital hopping amplitudes between Fe-d orbitals has been discussed using low energy tight binding model.


title: Indirect light absorption model for highly strained silicon infrared sensors

abstract: The optical properties of silicon can be greatly tuned by applying strain and opening new perspectives, particularly in applications where infrared is key. In this work, we use a recent model for the indirect light absorption of silicon and include the effects of tensile and compressive uniaxial strains. The model is based on material properties such as the bandgap, the conduction and valence band density-of-states effective masses, and the phonon frequencies, which are obtained from first principles including strain up to +2% along the [110] and [111] directions. We show that the limit of absorption can increase from 1.14 (1.09) to 1.35 $\mu$m (0.92 eV) under 2% strain and that the absorption increases by a factor of 55 for the zero-strain cutoff wavelength of 1.14 $\mu$m when a 2% compressive strain is applied in the [110] direction. We demonstrate that this effect is mainly due to the impact of strain on the electronic bandgaps of silicon, directly followed by the valence band density-of-states effective mass.


title: Hybrid dynamical type theories for navigation

abstract: We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framework of Fu--Kishida--Selinger for constructing linear dependent type theories from state-parameter fibrations with previous work on categories of hybrid systems under sequential composition. We also define a conjectural embedding of a fragment of linear-time temporal logic within our type theory, with the goal of obtaining interoperability with existing state-of-the-art tools for automatic controller synthesis from formal task specifications. As a case study, we use the type theory to organize and prove safety properties for an obstacle-avoiding navigation algorithm of Arslan--Koditschek as implemented by Vasilopoulos. Finally, we speculate on extensions of the type theory to deal with conjugacies between model and physical spaces, as well as hierarchical template-anchor relationships.


title: Complete model of cosmological evolution of a classical scalar field with the Higgs potential. I. Analysis of the model

abstract: A complete model of cosmological evolution of a classical scalar field with the Higgs potential is studied and simulated on a computer without assumption that the Hubble constant is nonnegative. The corresponding dynamical system is qualitatively analyzed and the Einstein-Higgs hypersurfaces the topology of which determines the global properties of the phase trajectories of the cosmological model are classified.


title: Independent Ethical Assessment of Text Classification Models: A Hate Speech Detection Case Study

abstract: An independent ethical assessment of an artificial intelligence system is an impartial examination of the system's development, deployment, and use in alignment with ethical values. System-level qualitative frameworks that describe high-level requirements and component-level quantitative metrics that measure individual ethical dimensions have been developed over the past few years. However, there exists a gap between the two, which hinders the execution of independent ethical assessments in practice. This study bridges this gap and designs a holistic independent ethical assessment process for a text classification model with a special focus on the task of hate speech detection. The assessment is further augmented with protected attributes mining and counterfactual-based analysis to enhance bias assessment. It covers assessments of technical performance, data bias, embedding bias, classification bias, and interpretability. The proposed process is demonstrated through an assessment of a deep hate speech detection model.


title: Self-supervised Monocular Depth Estimation for All Day Images using Domain Separation

abstract: Remarkable results have been achieved by DCNN based self-supervised depth estimation approaches. However, most of these approaches can only handle either day-time or night-time images, while their performance degrades for all-day images due to large domain shift and the variation of illumination between day and night images. To relieve these limitations, we propose a domain-separated network for self-supervised depth estimation of all-day images. Specifically, to relieve the negative influence of disturbing terms (illumination, etc.), we partition the information of day and night image pairs into two complementary sub-spaces: private and invariant domains, where the former contains the unique information (illumination, etc.) of day and night images and the latter contains essential shared information (texture, etc.). Meanwhile, to guarantee that the day and night images contain the same information, the domain-separated network takes the day-time images and corresponding night-time images (generated by GAN) as input, and the private and invariant feature extractors are learned by orthogonality and similarity loss, where the domain gap can be alleviated, thus better depth maps can be expected. Meanwhile, the reconstruction and photometric losses are utilized to estimate complementary information and depth maps effectively. Experimental results demonstrate that our approach achieves state-of-the-art depth estimation results for all-day images on the challenging Oxford RobotCar dataset, proving the superiority of our proposed approach.


title: Optimizing the control of transition to turbulence using a Bayesian method

abstract: The nonlinear robustness of laminar plane Couette flow is considered under the action of in-phase spanwise wall oscillations by computing properties of the edge of chaos, i.e., the boundary of its basin of attraction. Three measures are used to quantify the chosen control strategy on laminar-to-turbulent transition: the kinetic energy of edge states (local attractors on the edge of chaos), the form of the minimal seed (least energetic perturbation on the edge of chaos), and the laminarization probability (the probability that a random perturbation from the laminar flow of given kinetic energy will laminarize). A novel Bayesian approach is introduced to enable the accurate computation of the laminarization probability at a fraction of the cost of previous methods. While the edge state and the minimal seed provide useful information about the dynamics of transition to turbulence, neither measure is particularly useful to judge the effectiveness of the control strategy since they are not representative of the global geometry of the edge. In contrast, the laminarization probability provides global information about the edge and can be used to evaluate the control effectiveness by computing a laminarization score (the expected laminarization probability) and the associated expected dissipation rate of the controlled flow. These two quantities allow for the determination of optimal control parameter values subject to desired constraints. The results discussed in the paper are expected to be applied to a wide range of transitional flows and control strategies aimed at suppressing or triggering transition to turbulence.


title: Non-Asymptotic Bounds for the $\ell_{\infty}$ Estimator in Linear Regression with Uniform Noise

abstract: The Chebyshev or $\ell_{\infty}$ estimator is an unconventional alternative to the ordinary least squares in solving linear regressions. It is defined as the minimizer of the $\ell_{\infty}$ objective function \begin{align*} \hat{\boldsymbol{\beta}} := \arg\min_{\boldsymbol{\beta}} \|\boldsymbol{Y} - \mathbf{X}\boldsymbol{\beta}\|_{\infty}. \end{align*} The asymptotic distribution of the Chebyshev estimator under fixed number of covariates was recently studied (Knight, 2020), yet finite sample guarantees and generalizations to high-dimensional settings remain open. In this paper, we develop non-asymptotic upper bounds on the estimation error $\|\hat{\boldsymbol{\beta}}-\boldsymbol{\beta}^*\|_2$ for a Chebyshev estimator $\hat{\boldsymbol{\beta}}$, in a regression setting with uniformly distributed noise $\varepsilon_i\sim U([-a,a])$ where $a$ is either known or unknown. With relatively mild assumptions on the (random) design matrix $\mathbf{X}$, we can bound the error rate by $\frac{C_p}{n}$ with high probability, for some constant $C_p$ depending on the dimension $p$ and the law of the design. Furthermore, we illustrate that there exist designs for which the Chebyshev estimator is (nearly) minimax optimal. On the other hand we also argue that there exist designs for which this estimator behaves sub-optimally in terms of the constant $C_p$'s dependence on $p$. In addition we show that "Chebyshev's LASSO" has advantages over the regular LASSO in high dimensional situations, provided that the noise is uniform. Specifically, we argue that it achieves a much faster rate of estimation under certain assumptions on the growth rate of the sparsity level and the ambient dimension with respect to the sample size.


title: Biologists need modern data infrastructure on campus

abstract: Modern tools for biological research, especially microscopy, have rapidly advanced in recent years, which has led to the generation of increasingly large amounts of data on a regular basis. The result is that scientists desperately need state-of-the-art technical infrastructure for raw data storage, transfer, and processing. These scientists currently rely on outdated ways to move and store data, costing valuable time and risking loss of valuable data. While the community is aware of modern approaches to data management and high-level principles (including FAIR), highly-trained and highly-paid scientists are forced to spend time dealing with technical problems, which can ultimately costs more than providing storage and a fast network on campus. Here we provide concise arguments for better infrastructure, blueprints of possible solutions, and advice in navigating the political process of solving this issue. We suggest, as a broad solution, separate NIH-managed fund for supporting universities and institutes in deployment of data storage and long-term data sharing for all funded projects. This position statement is open for more contributors from imaging, life sciences, and other disciplines. Please contact us with your experience and perspective.


title: Multidimensional Persistence: Invariants and Parameterization

abstract: This article grew out of the theoretical part of my Master's thesis at the Faculty of Mathematics and Information Science at Ruprecht-Karls-Universit\"at Heidelberg under the supervision of PD Dr. Andreas Ott. Following the work of G. Carlsson and A. Zomorodian on the theory of multidimensional persistence in 2007 and 2009, the main goal of this article is to give a complete classification and parameterization for the algebraic objects corresponding to the homology of a multifiltered simplicial complex. As in the work of G. Carlsson and A. Zomorodian, this classification and parameterization result is then used to show that it is only possible to obtain a discrete and complete invariant for these algebraic objects in the case of one-dimensional persistence, and that it is impossible to obtain the same in dimensions greater than one.


title: The first spectroscopically confirmed brown dwarfs in NGC 2264

abstract: We present spectroscopic follow-up observations of 68 red, faint candidates from our multi-epoch, multi-wavelength, previously published survey of NGC 2264. Using near-infrared spectra from VLT/KMOS, we measure spectral types and extinction for 32 young low-mass sources. We confirm 13 as brown dwarfs in NGC 2264, with spectral types between M6 and M8, corresponding to masses between 0.02 and 0.08$M_{\odot}$. These are the first spectroscopically confirmed brown dwarfs in this benchmark cluster. 19 more objects are found to be young M-type stars of NGC 2264 with masses of 0.08 to 0.3$\,M_{\odot}$. 7 of the confirmed brown dwarfs as well as 15 of the M-stars have IR excess caused by a disc. Comparing with isochrones, the typical age of the confirmed brown dwarfs is $<$0.5 to 5Myr. More than half of the newly identified brown dwarfs and very low mass stars have ages $<$0.5Myr, significantly younger than the bulk of the known cluster population. Based on the success rate of our spectroscopic follow-up, we estimate that NGC 2264 hosts 200-600 brown dwarfs in total (in the given mass range). This would correspond to a star-to-brown dwarf ratio between 2.5:1 and 7.5:1. We determine the slope of the substellar mass function as $\alpha = 0.43^{+0.41}_{-0.56}$, these values are consistent with those measured for other young clusters. This points to a uniform substellar mass function across all star forming environments.


title: A rolled-off passivity theorem

abstract: Given two nonlinear systems which only violate incremental passivity when their incremental gains are sufficiently small, we give a condition for their negative feedback interconnection to have finite incremental gain, which generalizes the incremental small gain and incremental passivity theorems. The property may be determined graphically by plotting the Scaled Relative Graphs (SRGs) of the systems, which provides engineering significance to the mathematical result.


title: Quantum nanofriction in trapped ion chains with a topological defect

abstract: Trapped ion systems constitute a well controllable scenario for the study and emulation of nanofriction, and in particular of Frenkel-Kontorova-like models. This is in particular the case when a topological defect is created in a zigzag ion Coulomb crystal, which results in an Aubry transition from free sliding to pinned phase as a function of the trap aspect ratio. We explore the quantum effects of the Aubry transition by means of an effective simplified model, in which the defect is treated like a single quantum particle that experiences an effective Peierls-Nabarro potential and a position-dependent mass. We demonstrate the relevance of quantum tunneling in a finite range of aspect ratios close the critical point, showing that the quantum effects may be observed in the kink dynamics for sufficiently low temperatures. Finally, we discuss the requirements to reveal quantum effects at the Aubry transition in future experiments on trapped ions.


title: Accounting for shared covariates in semi-parametric Bayesian additive regression trees

abstract: We propose some extensions to semi-parametric models based on Bayesian additive regression trees (BART). In the semi-parametric BART paradigm, the response variable is approximated by a linear predictor and a BART model, where the linear component is responsible for estimating the main effects and BART accounts for non-specified interactions and non-linearities. Previous semi-parametric models based on BART have assumed that the set of covariates in the linear predictor and the BART model are mutually exclusive in an attempt to avoid poor coverage properties and reduce bias in the estimates of the parameters in the linear predictor. The main novelty in our approach lies in the way we change the tree-generation moves in BART to deal with this bias and resolve non-identifiability issues between the parametric and non-parametric components, even when they have covariates in common. This allows us to model complex interactions involving the covariates of primary interest, both among themselves and with those in the BART component. Our novel method is developed with a view to analysing data from an international education assessment, where certain predictors of students' achievements in mathematics are of particular interpretational interest. Through additional simulation studies and another application to a well-known benchmark dataset, we also show competitive performance when compared to regression models, alternative formulations of semi-parametric BART, and other tree-based methods. The implementation of the proposed method is available at \url{https://github.com/ebprado/CSP-BART}.


title: Alternating sign matrices and Verma modules

abstract: We show that the poset of alternating sign matrices, with Bruhat order, is isomorphic to the poset of certain submodules of the dominant Verma module for the special linear Lie algebra $\frak{sl}_n$. The latter poset consists of the intersections of Verma submodules and can also be defined in terms of a Kazhdan-Lusztig cell.


title: A Weakly Supervised Dataset of Fine-Grained Emotions in Portuguese

abstract: Affective Computing is the study of how computers can recognize, interpret and simulate human affects. Sentiment Analysis is a common task inNLP related to this topic, but it focuses only on emotion valence (positive, negative, neutral). An emerging approach in NLP is Emotion Recognition, which relies on fined-grained classification. This research describes an approach to create a lexical-based weakly supervised corpus for fine-grained emotion in Portuguese. We evaluated our dataset by fine-tuning a transformer-based language model (BERT) and validating it on a Gold Standard annotated validation set. Our results (F1-score=.64) suggest lexical-based weak supervision as an appropriate strategy for initial work in low resourced environment.


title: Learning C to x86 Translation: An Experiment in Neural Compilation

abstract: Deep learning has had a significant impact on many fields. Recently, code-to-code neural models have been used in code translation, code refinement and decompilation. However, the question of whether these models can automate compilation has yet to be investigated. In this work, we explore neural compilation, building and evaluating Transformer models that learn how to produce x86 assembler from C code. Although preliminary results are relatively weak, we make our data, models and code publicly available to encourage further research in this area.


title: Look Who's Talking: Active Speaker Detection in the Wild

abstract: In this work, we present a novel audio-visual dataset for active speaker detection in the wild. A speaker is considered active when his or her face is visible and the voice is audible simultaneously. Although active speaker detection is a crucial pre-processing step for many audio-visual tasks, there is no existing dataset of natural human speech to evaluate the performance of active speaker detection. We therefore curate the Active Speakers in the Wild (ASW) dataset which contains videos and co-occurring speech segments with dense speech activity labels. Videos and timestamps of audible segments are parsed and adopted from VoxConverse, an existing speaker diarisation dataset that consists of videos in the wild. Face tracks are extracted from the videos and active segments are annotated based on the timestamps of VoxConverse in a semi-automatic way. Two reference systems, a self-supervised system and a fully supervised one, are evaluated on the dataset to provide the baseline performances of ASW. Cross-domain evaluation is conducted in order to show the negative effect of dubbed videos in the training data.