title: Efficient backcasting search for optical quantum state synthesis

abstract: Non-Gaussian states are essential for many optical quantum technologies. The so-called optical quantum state synthesizer (OQSS), consisting of Gaussian input states, linear optics, and photon-number resolving detectors, is a promising method for non-Gaussian state preparation. However, an inevitable and crucial problem is the complexity of the numerical simulation of the state preparation on a classical computer. This problem makes it very challenging to generate important non-Gaussian states required for advanced quantum information processing. Thus, an efficient method to design OQSS circuits is highly desirable. To circumvent the problem, we offer a scheme employing a backcasting approach, where the circuit of OQSS is divided into some sublayers, and we simulate the OQSS backwards from final to first layers. Moreover, our results show that the detected photon number by each detector is at most 2, which can significantly reduce the requirements for the photon-number resolving detector. By virtue of the potential for the preparation of a wide variety of non-Gaussian states, the proposed OQSS can be a key ingredient in general optical quantum information processing.


title: Is Machine Learning Ready for Traffic Engineering Optimization?

abstract: Traffic Engineering (TE) is a basic building block of the Internet. In this paper, we analyze whether modern Machine Learning (ML) methods are ready to be used for TE optimization. We address this open question through a comparative analysis between the state of the art in ML and the state of the art in TE. To this end, we first present a novel distributed system for TE that leverages the latest advancements in ML. Our system implements a novel architecture that combines Multi-Agent Reinforcement Learning (MARL) and Graph Neural Networks (GNN) to minimize network congestion. In our evaluation, we compare our MARL+GNN system with DEFO, a network optimizer based on Constraint Programming that represents the state of the art in TE. Our experimental results show that the proposed MARL+GNN solution achieves equivalent performance to DEFO in a wide variety of network scenarios including three real-world network topologies. At the same time, we show that MARL+GNN can achieve significant reductions in execution time (from the scale of minutes with DEFO to a few seconds with our solution).


title: Optimizing charge-balanced pulse stimulation for desynchronization

abstract: Collective synchronization in a large population of self-sustained units appears both in natural and engineered systems. Sometimes this effect is in demand, while in some cases, it is undesirable, which calls for control techniques. In this paper, we concentrate on pulsatile control, with the goal to either increase or decrease the level of synchrony. We quantify this level by the entropy of the phase distribution. Motivated by possible applications in neuroscience, we consider pulses of a realistic shape. Exploiting the noisy Kuramoto-Winfree model, we search for the optimal pulse profile and the optimal stimulation phase. For this purpose, we derive an expression for the change of the phase distribution entropy due to the stimulus. We relate this change to the properties of individual units characterized by generally different natural frequencies and phase response curves and the population's state. We verify the general result by analyzing a two-frequency population model and demonstrating a good agreement of the theory and numerical simulations.


title: Coordinating drones with mothership vehicles: The mothership and multiple drones routing problem with Graphs

abstract: This paper considers the optimization problems that arise to coordinate a tandem between a mothership vehicle and a fleet of drones. %more than one drone. Each drone can be launched from the mothership to perform an operation. After completing the operations the drones return to the mothership to recharge batteries and to be ready for a new operation. Operations consist on (partially) visiting graphs with given lengths to deliver some service or to perform some surveillance/inspection activity. The goal is to minimize the overall weighted distance traveled by the mothership while satisfying some requirements in terms of percentages of visits to the target graphs. In all cases, we develop exact formulations resorting to mixed integer second order cone programs that are compared on a testbed of instances to assess their performance. We also develop a matheuristic algorithm that provides reasonable solutions. Computational experiments show the usefulness of our methods in different scenarios.


title: Symmetric Divergence-free tensors in the calculus of variations

abstract: Divergence-free symmetric tensors seem ubiquitous in Mathematical Physics. We show that this structure occurs in models that are described by the so-called "second" variational principle, where the argument of the Lagrangian is a closed differential form. Divergence-free tensors are nothing but the second form of the Euler--Lagrange equations. The symmetry is associated with the invariance of the Lagrangian density upon the action of some orthogonal group.

categories: math.AP math-ph math.MP physics.class-ph


title: Widely distributed exogenic materials of varying compositions and morphologies on asteroid (101955) Bennu

abstract: Using the multi-band imager MapCam onboard the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer) spacecraft, we identified 77 instances of proposed exogenic materials distributed globally on the surface of the B-type asteroid (101955) Bennu. We identified materials as exogenic on the basis of an absorption near 1 um that is indicative of anhydrous silicates. The exogenic materials are spatially resolved by the telescopic camera PolyCam. All such materials are brighter than their surroundings, and they are expressed in a variety of morphologies: homogeneous, breccia-like, inclusion-like, and others. Inclusion-like features are the most common. Visible spectrophotometry was obtained for 46 of the 77 locations from MapCam images. Principal component analysis indicates at least two trends: (i) mixing of Bennu's average spectrum with a strong 1-um band absorption, possibly from pyroxene-rich material, and (ii) mixing with a weak 1-um band absorption. The endmember with a strong 1-um feature is consistent with Howardite-Eucrite-Diogenite (HED) meteorites, whereas the one showing a weak 1-um feature may be consistent with HEDs, ordinary chondrites, or carbonaceous chondrites. The variation in the few available near-infrared reflectance spectra strongly suggests varying compositions among the exogenic materials. Thus, Bennu might record the remnants of multiple impacts with different compositions to its parent body, which could have happened in the very early history of the Solar System. Moreover, at least one of the exogenic objects is compositionally different from the exogenic materials found on the similar asteroid (162173) Ryugu, and they suggest different impact tracks.


title: Epidemic Models for COVID-19 during the First Wave from February to May 2020: a Methodological Review

abstract: We review epidemiological models for the propagation of the COVID-19 pandemic during the early months of the outbreak: from February to May 2020. The aim is to propose a methodological review that highlights the following characteristics: (i) the epidemic propagation models, (ii) the modeling of intervention strategies, (iii) the models and estimation procedures of the epidemic parameters and (iv) the characteristics of the data used. We finally selected 80 articles from open access databases based on criteria such as the theoretical background, the reproducibility, the incorporation of interventions strategies, etc. It mainly resulted to phenomenological, compartmental and individual-level models. A digital companion including an online sheet, a Kibana interface and a markdown document is proposed. Finally, this work provides an opportunity to witness how the scientific community reacted to this unique situation.


title: Impact of GPU uncertainty on the training of predictive deep neural networks

abstract: [retracted] We found out that the difference was dependent on the Chainer library, and does not replicate with another library (pytorch) which indicates that the results are probably due to a bug in Chainer, rather than being hardware-dependent. -- old abstract Deep neural networks often present uncertainties such as hardware- and software-derived noise and randomness. We studied the effects of such uncertainty on learning outcomes, with a particular focus on the function of graphics processing units (GPUs), and found that GPU-induced uncertainty increased learning accuracy of a certain deep neural network. When training a predictive deep neural network using only the CPU without the GPU, the learning error is higher than when training the same number of epochs using the GPU, suggesting that the GPU plays a different role in the learning process than just increasing the computational speed. Because this effect cannot be observed in learning by a simple autoencoder, it could be a phenomenon specific to certain types of neural networks. GPU-specific computational processing is more indeterminate than that by CPUs, and hardware-derived uncertainties, which are often considered obstacles that need to be eliminated, might, in some cases, be successfully incorporated into the training of deep neural networks. Moreover, such uncertainties might be interesting phenomena to consider in brain-related computational processing, which comprises a large mass of uncertain signals.


title: Odd and even $q$-type Lidstone polynomial sequences

abstract: In this paper, we introduce two types of general classes of even and odd $q$-Lidstone polynomial sequences. We prove essential properties related to them like the matrix and determinate form representation, the generating function, recurrence relation, and conjugate sequences. Some illustrative examples are included.


title: Magnetization Plateaus of a Double Fullerene Core/Shell Like-Nanostructure in an External Magnetic Field: Monte Carlo Study

abstract: This paper concerns the investigation of the critical (HC) and the saturation (HS) magnetic fields behavior of the studied system as a function of different physical parameters. The Monte Carlo method has been used to study the magnetic properties of a ferrimagnetic behavior of a double fullerene X60 core/shell like-nanostructure, where the symbol X can be assigned to any magnetic atom. Based on the Ising model, we focus our study on a system formed by a double sphere core/shell. The two spheres are containing the spins: $\sigma=\pm 1/2$ in the core are surrounded by the spin $S=\pm 1, 0$ in the shell. Many types of magnetization curves have been found, depending on the competitions among the exchange couplings, the crystal fields and the temperature.


title: Multiferroic properties of oxygen functionalized magnetic i-MXene

abstract: Two dimensional multiferroics inherit prominent physical properties from both low dimensional materials and magnetoelectric materials, and can go beyond their three dimensional counterparts for their unique structures. Here, based on density functional theory calculations, a MXene derivative, i.e., i-MXene (Ta$_{2/3}$Fe$_{1/3}$)$_2$CO$_2$, is predicted to be a type-I multiferroic material. Originated from the reliable $5d^0$ rule, its ferroelectricity is robust, with a moderate polarization up to $\sim12.33$ $\mu$C/cm$^2$ along the a-axis, which can be easily switched and may persist above room temperature. Its magnetic ground state is layered antiferromagnetism. Although it is a type-I multiferroic material, its N\'eel temperature can be significantly tuned by the paraelectric-ferroelectric transition, manifesting a kind of intrinsic magnetoelectric coupling. Such magnetoelectric effect is originated from the conventional magnetostriction, but unexpectedly magnified by the exchange frustration. Our work not only reveals a nontrivial magnetoelectric mechanism, but also provides a strategy to search for more multiferroics in the two dimensional limit.


title: Existence of an optimal domain for minimizing the fundamental tone of a clamped plate of prescribed volume in arbitrary dimension

abstract: In the 19th century, Lord Rayleigh conjectured that among all clamped plates with given area, the disk minimizes the fundamental tone. In the 1990s, N. S. Nadirashvili proved the conjecture in $\mathbb{R}^2$ and M. S. Ashbaugh und R. D. Benguria gave a proof in $\mathbb{R}^2$ and $\mathbb{R}^3$. In the present paper, we prove existence of an optimal domain for minimizing the fundamental tone among all open and bounded subsets of $\mathbb{R}^n$, $n\geq 4$, with given measure. We formulate the minimization of the fundamental tone of a clamped plate as a free boundary value problem with a penalization term for the volume constraint. As the penalization parameter becomes small we show that the optimal shape problem is solved.


title: Exploring the possibility of Peter Pan discs across stellar mass

abstract: Recently, several accreting M dwarf stars have been discovered with ages far exceeding the typical protoplanetary disc lifetime. These `Peter Pan discs' can be explained as primordial discs that evolve in a low-radiation environment. The persistently low masses of the host stars raise the question whether primordial discs can survive up to these ages around stars of higher mass. In this work we explore the way in which different mass loss processes in protoplanetary discs limit their maximum lifetimes, and how this depends on host star mass. We find that stars with masses $\lesssim$ 0.6 M$_\odot$ can retain primordial discs for $\sim$50 Myr. At stellar masses $\gtrsim$ 0.8 M$_\odot$, the maximum disc lifetime decreases strongly to below 50 Myr due to relatively more efficient accretion and photoevaporation by the host star. Lifetimes up to 15 Myr are still possible for all host star masses up to $\sim$2 M$_\odot$. For host star masses between 0.6 and 0.8 M$_\odot$, accretion ceases and an inner gap forms before 50 Myr in our models. Observations suggest that such a configuration is rapidly dispersed. We conclude that Peter Pan discs can only occur around M dwarf stars.


title: Optimal Control applied to SIRD model of COVID 19

abstract: In this study, we present an epidemic-controlled SIRD model with two types of control strategies: mask wear and screening. The aim of this study is to minimize the number of deceased keeping a minimal cost of mask advertising and screening. The model is proved to be well-posed and to have an invariant region. Also, a thorough study of the dynamics is effected and the basic reproduction number is used to study the stability of the steady states of the model. As for the optimal control analysis, the existence of an optimal control was checked. Then its characterization was carried out using Pontryagin's minimum principle. Numerical simulations are conducted after that with different values of maximal screening for comparison. The findings of the optimal control analysis and numerical simulations both reveal that the optimal pair of strategies contribute enormously in lowering the number of infected and dead individuals. Although zero infection is not achieved in the population, this study implies that carrying an optimal approach constitutes a major step in controlling the spread of the disease to the barest minimum that can buy time for middle and low-income countries to carry on with their vaccination strategies.


title: Security Enhancement of Drone Considering the Characteristics of Data Transmitted between Wireless Channels

abstract: With the development of the fourth industrial revolution technology, the type and scope of use of drones are rapidly increasing. As interest in drones increases, research on related security vulnerabilities is actively being conducted, and discussions on security measures have also been developed to prevent them. Military has established and applied various security measures for this, and in particular, drones equipped with KCMVP-certified cryptographic modules are required to be introduced as a way to protect data on the drone's wireless channels. However, despite being equipped with such a certified cryptographic module, the drone's operating environment and structural properties have the potential to expose it to several security vulnerabilities. In this paper, we present a theoretical model for these security vulnerabilities and measures to complement them.


title: Dynamics of a drop floating in vapor of the same fluid

abstract: Evaporation of a liquid drop surrounded by either vapor of the same fluid, or vapor and air, is usually attributed to vapor diffusion -- which, however, does not apply to the former setting, as pure fluids do not diffuse. The present paper puts forward an additional mechanism, one that applies to both settings. It is shown that disparities between the drop and vapor in terms of their pressure and chemical potential give rise to a flow. Its direction depends on the vapor density and the drop's size. In undersaturated or saturated vapor, all drops evaporate -- but in oversaturated (yet thermodynamically stable) vapor, there exists a critical radius: smaller drops evaporate, larger drops act as centers of condensation and grow. The developed model is used to estimate the evaporation time of a drop floating in saturated vapor. It is shown that, if the vapor-to-liquid density ratio is small, so is the evaporative flux -- as a result, millimeter-sized water drops at temperatures lower than $70^{\circ}\mathrm{C}$ survive for days. If, however, the temperature is comparable (but not necessarily close) to its critical value, such drops evaporate within minutes. Micron-sized drops, in turn, evaporate within seconds for all temperatures between the triple and critical points.


title: Topology of univoque sets in real base expansions

abstract: Given a positive integer $M$ and a real number $q \in (1,M+1]$, an expansion of a real number $x \in \left[0,M/(q-1)\right]$ over the alphabet $A=\{0,1,\ldots,M\}$ is a sequence $(c_i) \in A^{\mathbb N}$ such that $x=\sum_{i=1}^{\infty}c_iq^{-i}$. Generalizing many earlier results, we investigate in this paper the topological properties of the set $U_q$ consisting of numbers $x$ having a unique expansion of this form, and the combinatorial properties of the set $U_q'$ consisting of their corresponding expansions. We also provide shorter proofs of the main results of Baker in [B] by adapting the method given in [EJK] for the case $M=1$.


title: Dive into Layers: Neural Network Capacity Bounding using Algebraic Geometry

abstract: The empirical results suggest that the learnability of a neural network is directly related to its size. To mathematically prove this, we borrow a tool in topological algebra: Betti numbers to measure the topological geometric complexity of input data and the neural network. By characterizing the expressive capacity of a neural network with its topological complexity, we conduct a thorough analysis and show that the network's expressive capacity is limited by the scale of its layers. Further, we derive the upper bounds of the Betti numbers on each layer within the network. As a result, the problem of architecture selection of a neural network is transformed to determining the scale of the network that can represent the input data complexity. With the presented results, the architecture selection of a fully connected network boils down to choosing a suitable size of the network such that it equips the Betti numbers that are not smaller than the Betti numbers of the input data. We perform the experiments on a real-world dataset MNIST and the results verify our analysis and conclusion. The code is publicly available.


title: Learning the Hydrophilic, Hydrophobic and Aromatic Character of Amino Acids from their Interfacial Thermal Conductance in Water

abstract: In this study, the thermal relaxation of the 20 naturally occurring amino-acids in water is investigated using transient non-equilibrium molecular-dynamics simulations. By modeling the thermal relaxation process, the relaxation times of the amino-acids in water occurs over a timescale covering 2-5 ps. For the hydrophobic amino acids, the relaxation time is controlled by the size of the hydrocarbon side chain, while for hydrophilic amino acids, the number of hydrogen bonds do not significantly affect the timescales of the heat dissipation. Our results show that the interfacial thermal conductance at the amino-acid water interface is in the range of~40-80 MWm$^{-2}$K$^{-1}$. Hydrophobic and aromatic amino acids tend to have a lower interfacial thermal conductance. Notably, we reveal that amino acids can be classified, in terms of their thermal relaxation times and molar masses, into simply connected phases with the same hydrophilicity, hydrophibicity and aromaticity.


title: Quantum anomalous Hall edge channels survive up to the Curie temperature

abstract: Achieving metrological precision of quantum anomalous Hall resistance quantization at zero magnetic field so far remains limited to temperatures of the order of 20 mK, while the Curie temperature in the involved material is as high as 20 K. The reason for this discrepancy remains one of the biggest open questions surrounding the effect, and is the focus of this article. Here we show, through a careful analysis of the non-local voltages on a multi-terminal Corbino geometry, that the chiral edge channels continue to exist without applied magnetic field up to the Curie temperature of bulk ferromagnetism of the magnetic topological insulator, and that thermally activated bulk conductance is responsible for this quantization breakdown. Our results offer important insights on the nature of the topological protection of these edge channels, provide an encouraging sign for potential applications, and establish the multi-terminal Corbino geometry as a powerful tool for the study of edge channel transport in topological materials.


title: Limiting Spectral Distributions of Families of Block Matrix Ensembles

abstract: We introduce a new matrix operation on a pair of matrices, $\text{swirl}(A,X),$ and discuss its implications on the limiting spectral distribution. In a special case, the resultant ensemble converges almost surely to the Rayleigh distribution. In proving this, we provide a novel combinatorial proof that the random matrix ensemble of circulant Hankel matrices converges almost surely to the Rayleigh distribution, using the method of moments.


title: A Cost and Power Feasibility Analysis of Quantum Annealing for NextG Cellular Wireless Networks

abstract: In order to meet mobile cellular users' ever-increasing data demands, today's 4G and 5G networks are designed mainly with the goal of maximizing spectral efficiency. While they have made progress in this regard, controlling the carbon footprint and operational costs of such networks remains a long-standing problem among network designers. This paper takes a long view on this problem, envisioning a NextG scenario where the network leverages quantum annealing for cellular baseband processing. We gather and synthesize insights on power consumption, computational throughput and latency, spectral efficiency, operational cost, and feasibility timelines surrounding quantum technology. Armed with these data, we analyze and project the quantitative performance targets future quantum annealing hardware must meet in order to provide a computational and power advantage over CMOS hardware, while matching its whole-network spectral efficiency. Our quantitative analysis predicts that with quantum annealing hardware operating at a 102 $\mu$s problem latency and 3.1M qubits, quantum annealing will achieve a spectral efficiency equal to CMOS computation while reducing power consumption by 41 kW (45% lower) in a representative 5G base station scenario with 400 MHz bandwidth and 64 antennas, and an 8 kW power reduction (16% lower) using 1.5M qubits in a 200 MHz-bandwidth 5G scenario.


title: Problems in the Enumeration of Tilings

abstract: Enumeration of tilings is the mathematical study concerning the total number of coverings of regions by similar pieces without gaps or overlaps. Enumeration of tilings has become a vibrant subfield of combinatorics with connections and applications to diverse mathematical areas. In 1999, James Propp published his well-known list of 32 open problems in the field. The list has got much attention from experts around the world. After two decades, most of the problems on the list have been solved and generalized. In this paper, we propose a set of new tiling problems. This survey paper contributes to the Open Problems in Algebraic Combinatorics 2022 conference (OPAC 2022) at the University of Minnesota.


title: Semi-Implicit Neural Solver for Time-dependent Partial Differential Equations

abstract: Fast and accurate solutions of time-dependent partial differential equations (PDEs) are of pivotal interest to many research fields, including physics, engineering, and biology. Generally, implicit/semi-implicit schemes are preferred over explicit ones to improve stability and correctness. However, existing semi-implicit methods are usually iterative and employ a general-purpose solver, which may be sub-optimal for a specific class of PDEs. In this paper, we propose a neural solver to learn an optimal iterative scheme in a data-driven fashion for any class of PDEs. Specifically, we modify a single iteration of a semi-implicit solver using a deep neural network. We provide theoretical guarantees for the correctness and convergence of neural solvers analogous to conventional iterative solvers. In addition to the commonly used Dirichlet boundary condition, we adopt a diffuse domain approach to incorporate a diverse type of boundary conditions, e.g., Neumann. We show that the proposed neural solver can go beyond linear PDEs and applies to a class of non-linear PDEs, where the non-linear component is non-stiff. We demonstrate the efficacy of our method on 2D and 3D scenarios. To this end, we show how our model generalizes to parameter settings, which are different from training; and achieves faster convergence than semi-implicit schemes.


title: Detailed analysis and comparison of different activity metrics

abstract: Actigraphic measurements are an important part of research in different disciplines, yet the procedure of determining activity values is unexpectedly not standardized in the literature. Although the measured raw acceleration signal can be diversely processed, and then the activity values can be calculated by different activity calculation methods, the documentations of them are generally incomplete or vary by manufacturer. These numerous activity metrics may require different types of preprocessing of the acceleration signal. For example, digital filtering of the acceleration signals can have various parameters; moreover, both the filter and the activity metrics can also be applied per axis or on the magnitudes of the acceleration vector. Level crossing-based activity metrics also depend on unclearly determined threshold level values. Due to the serious inconsistency of determining activity values, we created a detailed and comprehensive comparison of the different available activity calculation procedures because, up to the present, it was lacking in the literature. We assessed the different methods by analysing the triaxial acceleration signals measured during a 10-day movement of 42 subjects. We calculated 148 different activity signals for each subject's movement using the combinations of various types of preprocessing and 7 different activity metrics applied on both axial and magnitude data. We determined the linear relationship between the metrics by correlation analysis, while we also examined the effects of the preprocessing steps. Moreover, we established that the standard deviation of the data series can be used as an appropriate, adaptive and generalized threshold level for the level intersection-based metrics. On the basis of these results, our work also serves as a general guide on how to proceed if one wants to determine activity from the raw acceleration data.


title: Speed limits for two-qubit gates with weakly anharmonic qubits

abstract: We consider the implementation of two-qubit gates when the physical systems used to realize the qubits possess additional quantum states in the accessible energy range. We use optimal control theory to determine the maximum achievable gate speed for two-qubit gates in the qubit subspace of the many-level Hilbert space, and we analyze the effect of the additional quantum states on the gate speed. We identify two competing mechanisms. On one hand, higher energy levels are generally more strongly coupled to each other. Under suitable conditions, this stronger coupling can be utilized to make two-qubit gates significantly faster than the reference value based on simple qubits. On the other hand, a weak anharmonicity constrains the speed at which the system can be adequately controlled: according to the intuitive picture, faster operations require stronger control fields, which are more likely to excite higher levels in a weakly anharmonic system, which in turn leads to faster decoherence and uncontrolled leakage outside the qubit space. In order to account for this constraint, we modify the pulse optimization algorithm to avoid pulses that lead to appreciable population of the higher levels. In this case we find that the presence of the higher levels can lead to a significant reduction in the maximum achievable gate speed. We also compare the optimal-control gate speeds with those obtained using the cross-resonance/selective-darkening gate protocol. We find that the latter, with some parameter optimization, can be used to achieve a relatively fast implementation of the CNOT gate. These results can help the search for optimized gate implementations in realistic quantum computing architectures, such as those based on superconducting circuits. They also provide guidelines for desirable conditions on anharmonicity that allow optimal utilization of the higher levels to achieve fast quantum gates.


title: Analytic cyclic homology in positive characteristic

abstract: Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete suitably. We show that this theory may be computed using any pro-dagger algebra lifting of an $\mathbb{F}$-algebra. We show that our theory is polynomially homotopy invariant, excisive, and matricially stable.


title: Orbital varieties in types $B$ and $C$

abstract: We correct the proof of the main result of an earlier paper, parametrizing orbital varieties in a complex simple Lie algebra of type $B$ or $C$ in terms of domino tableaux and showing how to compute the orbital variety attached to an element of the Weyl group in either of these types.


title: Orbital varieties in type $D$

abstract: We correct the proof of the main result in an earlier paper, showing how to parametrize orbital varieties in a complex simple Lie algebra of type $D$ in terms of domino tableaux and showing how to compute variety attached to any element of the Weyl group in this type.


title: On the Left Connected Subalgebra of the Descent Algebra of a Coxeter Group of Classical Type

abstract: A Coxeter group of classical type $A_n$, $B_n$ or $D_n$ contains a chain of subgroups of the same type. We show that intersections of conjugates of these subgroups are again of the same type, and make precise in which sense and to what extent this property is exclusive to the classical types of Coxeter groups. As the main tool for the proof we use Solomon's descent algebra. Using Stirling numbers, we express certain basis elements of the descent algebra as polynomials and derive explicit multiplication formulas for a commutative subalgebra of the descent algebra.


title: Real-Time Volumetric-Semantic Exploration and Mapping: An Uncertainty-Aware Approach

abstract: In this work we propose a holistic framework for autonomous aerial inspection tasks, using semantically-aware, yet, computationally efficient planning and mapping algorithms. The system leverages state-of-the-art receding horizon exploration techniques for next-best-view (NBV) planning with geometric and semantic segmentation information provided by state-of-the-art deep convolutional neural networks (DCNNs), with the goal of enriching environment representations. The contributions of this article are threefold, first we propose an efficient sensor observation model, and a reward function that encodes the expected information gains from the observations taken from specific view points. Second, we extend the reward function to incorporate not only geometric but also semantic probabilistic information, provided by a DCNN for semantic segmentation that operates in real-time. The incorporation of semantic information in the environment representation allows biasing exploration towards specific objects, while ignoring task-irrelevant ones during planning. Finally, we employ our approaches in an autonomous drone shipyard inspection task. A set of simulations in realistic scenarios demonstrate the efficacy and efficiency of the proposed framework when compared with the state-of-the-art.


title: The typical set and entropy in stochastic systems with arbitrary phase space growth

abstract: The existence of the {\em typical set} is key for data compression strategies and for the emergence of robust statistical observables in macroscopic physical systems. Standard approaches derive its existence from a restricted set of dynamical constraints. However, given the enormous consequences for the understanding of the system's dynamics, and its role underlying the presence of stable, almost deterministic statistical patterns, a question arises whether typical sets exist in much more general scenarios. We demonstrate here that the typical set can be defined and characterized from general forms of entropy for a much wider class of stochastic processes than it was previously thought. This includes processes showing arbitrary path dependence, long range correlations or dynamic sampling spaces; suggesting that typicality is a generic property of stochastic processes, regardless of their complexity. Our results impact directly in the understanding of the stability of complex systems, open the door to new data compression strategies and points to the existence of statistical mechanics-like approaches to systems arbitrarily away from equilibrium with dynamic phase spaces. We argue that the potential emergence of robust properties in complex stochastic systems provided by the existence of typical sets has special relevance to biological systems.


title: Extreme events in transitional turbulence

abstract: Transitional localised turbulence in shear flows is known to either decay to an absorbing laminar state or proliferate via splitting. The average passage times from one state to the other depend super-exponentially on the Reynolds number and lead to a crossing Reynolds number above which proliferation is more likely than decay. In this paper, we apply a rare event algorithm, Adaptative Multilevel Splitting (AMS), to the deterministic Navier-Stokes equations to study transition paths and estimate large passage times in channel flow more efficiently than direct simulations. We establish a connection with extreme value distributions and show that transition between states is mediated by a regime that is self-similar with the Reynolds number. The super-exponential variation of the passage times is linked to the Reynolds-number dependence of the parameters of the extreme value distribution. Finally, motivated by instantons from Large Deviation Theory, we show that decay or splitting events approach a most-probable pathway.


title: Mizuno-type result and Wallis' formula

abstract: Let $\tilde\Gamma(z)$ be the modified gamma function introduced by the authors in a recent preprint "arXiv2106.14674". In this note, we obtain the following Mizuno-type result: \begin{equation*} \prod_{m=0}^{\infty}\left\{\prod_{j=1}^{n}(m+z_{j})\right\}^{(-1)^{m}}=\frac{\left(\sqrt{\frac{\pi}{2}}\right)^n}{\prod_{j=1}^{n}\tilde\Gamma(z_{j})}, \end{equation*} which imply a Kurokawa--Wakayama type formula \begin{equation*} \prod_{m=0}^\infty\left((m+x)^{n}-y^n\right)^{(-1)^{m}} =\frac{\left(\sqrt{\frac{\pi}{2}}\right)^n}{\prod_{\zeta^{n}=1}\tilde\Gamma(x-\zeta y)} \end{equation*} and a Lerch-type formula \begin{equation*} \prod_{m=0}^\infty(m+x)^{(-1)^{m}}=\frac{\sqrt{\frac{\pi}{2}}}{\tilde\Gamma(x)}. \end{equation*} By setting $x=1$ in the above result, we recover Wallis' 1656 fomula \begin{equation*}\frac{2\cdot2}{1\cdot 3}\frac{4\cdot4}{3\cdot 5}\frac{6\cdot6}{5\cdot 7}\cdots=\frac{\pi}{2}. \end{equation*}


title: A random-supply Mean Field Game price model

abstract: We consider a market where a finite number of players trade an asset whose supply is a stochastic process. The price formation problem consists of finding a price process that ensures that when agents act optimally to minimize their trading costs, the market clears, and supply meets demand. This problem arises in market economies, including electricity generation from renewable sources in smart grids. Our model includes noise on the supply side, which is counterbalanced on the consumption side by storing energy or reducing the demand according to a dynamic price process. By solving a constrained minimization problem, we prove that the Lagrange multiplier corresponding to the market-clearing condition defines the solution of the price formation problem. For the linear-quadratic structure, we characterize the price process of a continuum population using optimal control techniques. We include numerical schemes for the price computation in the finite and infinite games, and we illustrate the model using real data.


title: LG4AV: Combining Language Models and Graph Neural Networks for Author Verification

abstract: The automatic verification of document authorships is important in various settings. Researchers are for example judged and compared by the amount and impact of their publications and public figures are confronted by their posts on social media platforms. Therefore, it is important that authorship information in frequently used web services and platforms is correct. The question whether a given document is written by a given author is commonly referred to as authorship verification (AV). While AV is a widely investigated problem in general, only few works consider settings where the documents are short and written in a rather uniform style. This makes most approaches unpractical for online databases and knowledge graphs in the scholarly domain. Here, authorships of scientific publications have to be verified, often with just abstracts and titles available. To this point, we present our novel approach LG4AV which combines language models and graph neural networks for authorship verification. By directly feeding the available texts in a pre-trained transformer architecture, our model does not need any hand-crafted stylometric features that are not meaningful in scenarios where the writing style is, at least to some extent, standardized. By the incorporation of a graph neural network structure, our model can benefit from relations between authors that are meaningful with respect to the verification process. For example, scientific authors are more likely to write about topics that are addressed by their co-authors and twitter users tend to post about the same subjects as people they follow. We experimentally evaluate our model and study to which extent the inclusion of co-authorships enhances verification decisions in bibliometric environments.


title: FedApp: a Research Sandbox for Application Orchestration in Federated Clouds using OpenStack

abstract: Multi-cluster federation is envisioned to be the next-generation cloud infrastructure, where it will play a vital part in the realization of concepts such as edge and fog computing. Orchestrating applications in federated environments poses new challenges to well-known research problems in various fields, such as load-balancing, auto-scaling, resource allocation and service migration. However, as access to real multi-cluster infrastructure is limited, a test-bed that provides similar characteristics to a real system is in demand. To enable researchers in associated fields to quickly setup experiments in a federated cloud environment, we have created the open-source sandbox FedApp that simplifies the process of deploying multiple virtual clusters in an OpenStack environment with the possibility of adding realistic network characteristics between sites. Each cluster comes deployed with the open-source and production-grade container orchestrator Kubernetes, complete with federation-wide monitoring using Prometheus/Grafana and simplified inter-cluster microservice communication using Istio.


title: Alternating Minimization for Computed Tomography with Unknown Geometry Parameters

abstract: Due to the COVID-19 pandemic, there is an increasing demand for portable CT machines worldwide in order to diagnose patients in a variety of settings. This has led to a need for CT image reconstruction algorithms that can produce high quality images in the case when multiple types of geometry parameters have been perturbed. In this paper we present an alternating minimization algorithm to address this issue, where one step minimizes a regularized linear least squares problem, and the other step minimizes a bounded non-linear least squares problem. Additionally, we survey existing methods to accelerate convergence of the algorithm and discuss implementation details. Finally, numerical experiments are conducted to illustrate the effectiveness of the algorithm.


title: Geoneutrinos and geoscience: an intriguing joint-venture

abstract: The review is conceived to help the reader to interpret present geoneutrino results in the framework of Earth's energetics and composition. Starting from the comprehension of antineutrino production, propagation, and detection, the status of the geoneutrino field is presented through the description of the experimental and technological features of the Borexino and KamLAND ongoing experiments. The current understanding of the energetical, geophysical and geochemical traits of our planet is examined in a critical analysis of the currently available models. By combining theoretical models and experimental results, the mantle geoneutrino signal extracted from the results of the two experiments demonstrates the effectiveness in investigating deep earth radioactivity through geoneutrinos from different sites. The obtained results are discussed and framed in the puzzle of the diverse classes of formulated Bulk Silicate Earth models, analyzing their implications on planetary heat budget and composition. As a final remark, we present the engaging technological challenges and the future experiments envisaged for the next decade in the geoneutrino field.


title: A Survey of the Proof-Theoretic Foundations of Logic Programming

abstract: Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using this foundation for the past 35 years to elevate logic programming from its roots in first-order classical logic into higher-order versions of intuitionistic and linear logic. These more expressive logic programming languages allow for capturing stateful computations and rich forms of abstractions, including higher-order programming, modularity, and abstract data types. Term-level bindings are another kind of abstraction, and these are given an elegant and direct treatment within both proof theory and these extended logic programming languages. Logic programming has also inspired new results in proof theory, such as those involving polarity and focused proofs. These recent results provide a high-level means for presenting the differences between forward-chaining and backward-chaining style inferences. Anchoring logic programming in proof theory has also helped identify its connections and differences with functional programming, deductive databases, and model checking.


title: Contrastive Representation Learning for Exemplar-Guided Paraphrase Generation

abstract: Exemplar-Guided Paraphrase Generation (EGPG) aims to generate a target sentence which conforms to the style of the given exemplar while encapsulating the content information of the source sentence. In this paper, we propose a new method with the goal of learning a better representation of the style andthe content. This method is mainly motivated by the recent success of contrastive learning which has demonstrated its power in unsupervised feature extraction tasks. The idea is to design two contrastive losses with respect to the content and the style by considering two problem characteristics during training. One characteristic is that the target sentence shares the same content with the source sentence, and the second characteristic is that the target sentence shares the same style with the exemplar. These two contrastive losses are incorporated into the general encoder-decoder paradigm. Experiments on two datasets, namely QQP-Pos and ParaNMT, demonstrate the effectiveness of our proposed constrastive losses.


title: MitoDet: Simple and robust mitosis detection

abstract: Mitotic figure detection is a challenging task in digital pathology that has a direct impact on therapeutic decisions. While automated methods often achieve acceptable results under laboratory conditions, they frequently fail in the clinical deployment phase. This problem can be mainly attributed to a phenomenon called domain shift. An important source of a domain shift is introduced by different microscopes and their camera systems, which noticeably change the color representation of digitized images. In this method description we present our submitted algorithm for the Mitosis Domain Generalization Challenge, which employs a RetinaNet trained with strong data augmentation and achieves an F1 score of 0.7138 on the preliminary test set.


title: Studying the Effects of Self-Attention for Medical Image Analysis

abstract: When the trained physician interprets medical images, they understand the clinical importance of visual features. By applying cognitive attention, they apply greater focus onto clinically relevant regions while disregarding unnecessary features. The use of computer vision to automate the classification of medical images is widely studied. However, the standard convolutional neural network (CNN) does not necessarily employ subconscious feature relevancy evaluation techniques similar to the trained medical specialist and evaluates features more generally. Self-attention mechanisms enable CNNs to focus more on semantically important regions or aggregated relevant context with long-range dependencies. By using attention, medical image analysis systems can potentially become more robust by focusing on more important clinical feature regions. In this paper, we provide a comprehensive comparison of various state-of-the-art self-attention mechanisms across multiple medical image analysis tasks. Through both quantitative and qualitative evaluations along with a clinical user-centric survey study, we aim to provide a deeper understanding of the effects of self-attention in medical computer vision tasks.


title: $\mathbb{Z}_2$ topological invariants for mixed states of fermions in time-reversal invariant band structures

abstract: The topological classification of fermion systems in mixed states is a long standing quest. For Gaussian states, reminiscent of non-interacting unitary fermions, some progress has been made. While the topological quantization of certain observables such as the Hall conductivity is lost for mixed states, directly observable many-body correlators exist which preserve the quantized nature and naturally connect to known topological invariants in the ground state. For systems which break time-reversal (TR) symmetry, the ensemble geometric phase was identified as such an observable which can be used to define a Chern number in $(1+1)$ and $2$ dimensions. Here we propose a corresponding $\mathbb{Z}_2$ topological invariant for systems with TR symmetry. We show that this mixed-state invariant is identical to well-known $\mathbb{Z}_2$ invariants for the ground state of the so-called fictitious Hamiltonian, which for thermal states is just the ground state of the system Hamiltonian itself. We illustrate our findings for finite-temperature states of a paradigmatic $\mathbb{Z}_2$ topological insulator, the Kane-Mele model.


title: Efficacy versus abundancy: Comparing vaccination schemes

abstract: We introduce a novel compartmental model accounting for the effects of vaccine efficacy, deployment rates and timing of initiation of deployment. We simulate different scenarios and initial conditions, and we find that higher abundancy and rate of deployment of low efficacy vaccines lowers the cumulative number of deaths in comparison to slower deployment of high efficacy vaccines. We also forecast that, at the same daily deployment rate, the earlier introduction of vaccination schemes with lower efficacy would also lower the number of deaths with respect to a delayed introduction of high efficacy vaccines, which can however, still achieve lower numbers of infections and better herd immunity.


title: The importance of black hole repositioning for galaxy formation simulations

abstract: Active galactic nucleus (AGN) feedback from accreting supermassive black holes (SMBHs) is an essential ingredient of galaxy formation simulations. The orbital evolution of SMBHs is affected by dynamical friction that cannot be predicted self-consistently by contemporary simulations of galaxy formation in representative volumes. Instead, such simulations typically use a simple "repositioning" of SMBHs, but the effects of this approach on SMBH and galaxy properties have not yet been investigated systematically. Based on a suite of smoothed particle hydrodynamics simulations with the SWIFT code and a Bondi-Hoyle-Lyttleton subgrid gas accretion model, we investigate the impact of repositioning on SMBH growth and on other baryonic components through AGN feedback. Across at least a factor ~1000 in mass resolution, SMBH repositioning (or an equivalent approach) is a necessary prerequisite for AGN feedback; without it, black hole growth is negligible. Limiting the effective repositioning speed to $\lesssim$ 10 km/s delays the onset of AGN feedback and severely limits its impact on stellar mass growth in the centre of massive galaxies. Repositioning has three direct physical consequences. It promotes SMBH mergers and thus accelerates their initial growth. In addition, it raises the peak density of the ambient gas and reduces the SMBH velocity relative to it, giving a combined boost to the accretion rate that can reach many orders of magnitude. Our results suggest that a more sophisticated and/or better calibrated treatment of SMBH repositioning is a critical step towards more predictive galaxy formation simulations.


title: A Scalable Track-Before-Detect Method With Poisson/Multi-Bernoulli Model

abstract: We propose a scalable track-before-detect (TBD) tracking method based on a Poisson/multi-Bernoulli model. To limit computational complexity, we approximate the exact multi-Bernoulli mixture posterior probability density function (pdf) by a multi-Bernoulli pdf. Data association based on the sum-product algorithm and recycling of Bernoulli components enable the detection and tracking of low-observable objects with limited computational resources. Our simulation results demonstrate a significantly improved tracking performance compared to a state-of-the-art TBD method.


title: A mixed method for 3D nonlinear elasticity using finite element exterior calculus

abstract: This article discusses a mixed FE technique for 3D nonlinear elasticity using a Hu-Washizu (HW) type variational principle. Here, the deformed configuration and sections from its cotangent bundle are taken as additional input arguments. The critical points of the HW functional enforce compatibility of these sections with the configuration, in addition to mechanical equilibrium and constitutive relations. The present FE approximation distinguishes a vector from a 1-from, a feature not commonly found in FE approximations. This point of view permits us to construct finite elements with vastly superior performance. Discrete approximations for the differential forms appearing in the variational principle are constructed with ideas borrowed from finite element exterior calculus. The discrete equations describing mechanical equilibrium, compatibility and constitutive rule, are obtained by extemizing the discrete functional with respect to appropriate DoF, which are then solved using the Newton's method. This mixed FE technique is then applied to benchmark problems wherein conventional displacement based approximations encounter locking and checker boarding.


title: Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds

abstract: Let $M$ be a complex manifold and $L$ be a line bundle over $M$ with a Hermitian metric $h$ whose Chern form is a K\"ahler form $\omega$. Let $X \subset M$ be a Lagrangian submanifold of $(M, \omega)$. When $X$ satisfies the Bohr-Sommerfeld condition, we give an asymptotic estimate of the norm $|f|_{h^k}$ on $X$ for $f \in H^0(M, L^k)$.


title: Generalized Slater-Jastrow trial functional: Application to high order correlations in the two and three dimensional electron gas

abstract: The Generalized Slater-Jastrow trial functional is a modification of the Slater-Jastrow functional where, effectively, the argument of the Jastrow factor can be momentum dependent. The associated Euler equations, which provide an alternative to the usual approach via perturbation theory, are solved to yield the firs three terms of the electron correlation energies for the two and three dimensional electron gas at high density. In two dimensions we find -0.4039 -0.50 r log r plus an estimated -0.87 r Ry. For three dimensions we find 0.0622 log r -0.082 + 0.059 r log r plus an estimated -0.015 r Ry, where r is the applicable Seitz radius in each case.


title: Computing Graph Descriptors on Edge Streams

abstract: Feature extraction is an essential task in graph analytics. These feature vectors, called graph descriptors, are used in downstream vector-space-based graph analysis models. This idea has proved fruitful in the past, with spectral-based graph descriptors providing state-of-the-art classification accuracy. However, known algorithms to compute meaningful descriptors do not scale to large graphs since: (1) they require storing the entire graph in memory, and (2) the end-user has no control over the algorithm's runtime. In this paper, we present streaming algorithms to approximately compute three different graph descriptors capturing the essential structure of graphs. Operating on edge streams allows us to avoid storing the entire graph in memory, and controlling the sample size enables us to keep the runtime of our algorithms within desired bounds. We demonstrate the efficacy of the proposed descriptors by analyzing the approximation error and classification accuracy. Our scalable algorithms compute descriptors of graphs with millions of edges within minutes. Moreover, these descriptors yield predictive accuracy comparable to the state-of-the-art methods but can be computed using only 25% as much memory.


title: Excited-state quantum phase transitions in spin-orbit coupled Bose gases

abstract: Excited-state quantum phase transitions depend on and reveal the structure of the whole spectrum of many-body systems. While they are theoretically well understood, finding suitable signatures and detect them in actual experiments remains challenging. For instance, in spinor gases, excited-state phases have been identified and characterized through a topological order parameter that is challenging to measure in experiments. Here, we propose the Raman-dressed spin-orbit coupled gas as a novel platform to explore excited-state quantum phase transitions. In a weakly-coupled regime, the dressed system is equivalent to a spinor gas with tunable spin-spin interactions. Through this equivalence we are able to define a new excited-state phase of the dressed gas. The phase is characterize by the the behavior of the spatial density modulations, or stripes, induced by spin-orbit coupling, and can in principle be measured in current state-of-the-art experiments with ultracold atoms. Conversely, we show that the properties of the excited phase can be exploited to prepare stripe states with large and stable density modulations.


title: Heat transport in a flowing complex plasma in microgravity conditions

abstract: Heat transport in a three-dimensional complex (dusty) plasma was experimentally studied in microgravity conditions using Plasmakristall-4 (PK-4) instrument on board the International Space Station (ISS). An extended suspension of microparticles was locally heated by a shear flow created by applying the radiation pressure force of the manipulation-laser beam. Individual particle trajectories in the flow were analysed and from these, using a fluid heat transport equation that takes viscous heating and neutral gas drag into account, the complex plasma's thermal diffusivity and kinematic viscosity were calculated. Their values are compared with previous results reported in ground-based experiments with complex plasmas.


title: Stability for the multi-dimensional Borg--Levinson theorem of the biharmonic operator

abstract: In this paper, we prove a conditional H\"older stability estimate for the inverse spectral problem of the biharmonic operator. The proof employs the resolvent estimate and a Weyl-type law for the biharmonic operator which were obtained by the authors in \cite{LYZ}. This work extends nontrivially the result in \cite{stefanov} from the second order Schr\"{o}dinger operator to the fourth order biharmonic operator.


title: Search for dark matter annihilation signals from UFOs with H.E.S.S

abstract: Cosmological N-body simulations show that Milky-Way-sized galaxies harbor a population of unmerged dark matter subhalos. These subhalos could shine in gamma rays and be eventually detected in gamma-ray surveys as unidentified sources. We search for very-high-energy (VHE, $E\geq 100$ GeV) gamma-ray emission using H.E.S.S. observations carried out from a thorough selection of unidentified Fermi-LAT Objects (UFOs) as dark matter subhalo candidates. Provided that the dark matter mass is higher than a few hundred GeV, the emission of the UFOs can be well described by dark matter annihilation models. No significant VHE gamma-ray emission is detected in any UFO dataset nor in their combination. We, therefore, derive constraints on the product of the velocity-weighted annihilation cross-section $\langle \sigma v\rangle$ by the $J$-factor on dark matter models describing the UFO emissions. Upper limits at 95% confidence level are derived on $\langle \sigma v\rangle J$ in $W^+W^-$ and $\tau^+\tau^-$ annihilation channels for the TeV dark matter particles. Focusing on thermal WIMPs, strong constraints on the $J$-factors are obtained from H.E.S.S. observations. Adopting model-dependent predictions from cosmological N-body simulations on the $J$-factor distribution function for Milky Way (MW)-sized galaxies, only $\lesssim 0.3$ TeV mass dark matter models marginally allow to explain observed UFO emission.


title: $b$-monotone Hurwitz numbers: Virasoro constraints, BKP hierarchy, and $O(N)$-BGW integral

abstract: We study a $b$-deformation of monotone Hurwitz numbers, obtained by deforming Schur functions into Jack symmetric functions. We give an evolution equation for this model and derive from it Virasoro constraints, thereby proving a conjecture of F\'eray on Jack characters. A combinatorial model of non-oriented monotone Hurwitz maps which generalizes monotone transposition factorizations is provided. In the case $b=1$ we obtain an explicit Schur expansion of the model and show that it obeys the BKP integrable hierarchy. This Schur expansion also proves a conjecture of Oliveira--Novaes relating zonal polynomials with irreducible representations of $O(N)$. We also relate the model to an $O(N)$ version of the Br\'ezin--Gross--Witten integral, which we solve explicitly in terms of Pfaffians in the case of even multiplicities.


title: Self-Pinning Transition of a Tonks-Girardeau Gas in a Bose-Einstein Condensate

abstract: We show that a Tonks-Girardeau (TG) gas that is immersed in a Bose-Einstein condensate can undergo a transition to a crystal-like Mott state with regular spacing between the atoms without any externally imposed lattice potential. We characterize this phase transition as a function of the interspecies interaction and temperature of the TG gas, and show how it can be measured via accessible observables in cold atom experiments. We also develop an effective model that accurately describes the system in the pinned insulator state and which allows us to derive the critical temperature of the transition.


title: Order-$N$ orbital-free density-functional calculations with machine learning of functional derivatives for semiconductors and metals

abstract: Orbital-free density functional theory (OFDFT) offers a challenging way of electronic-structure calculations scaled as $\mathcal{O}(N)$ computation for system size $N$. We here develop a scheme of the OFDFT calculations based on the accurate and transferrable kinetic-energy density functional (KEDF) which is created in an unprecedented way using appropriately constructed neural network (NN). We show that our OFDFT scheme reproduces the electron density obtained in the state-of-the-art DFT calculations and then provides accurate structural properties of 24 different systems, ranging from atoms, molecules, metals, semiconductors and an ionic material. The accuracy and the transferability of our KEDF is achieved by our NN training system in which the kinetic-energy functional derivative (KEFD) at each real-space grid point is used. The choice of the KEFD as a set of training data is essentially important, because first it appears directly in the Euler equation which one should solve and second, its learning assists in reproducing the physical quantity expressed as the first derivative of the total energy. More generally, the present development of KEDF $T[\rho]$ is in the line of systematic expansion in terms of the functional derivatives $\delta^{\ell_1} T/\delta \rho^{\ell_1}$ through progressive increase of $\ell_1$. The present numerical success demonstrates the validity of this approach. The computational cost of the present OFDFT scheme indeed shows the $\mathcal{O}(N)$ scaling, as is evidenced by the computations of the semiconductor SiC used in power electronics.


title: Determining the Dirac CP violation phase and neutrino mass hierarchy

abstract: There is still a problem in neutrino physics related to the configuration of neutrino masses: Are neutrinos arranged by masses following the Standard Model as three generations of fundamental particles, Gen III>Gen II>Gen I, thus forming a structural-normal hierarchy, or deviate from that principle? The biggest obstacle that is still present is the sign of the absolute value of the difference of the square of neutrino masses. It was avoided by applying the theory of neutrino oscillation probability for each structure of the neutrino mass hierarchy. With such a theoretical approach the equation of motion was derived for each structure in which the Dirac CP violation phase appeared as an unknown quantity. This enables direct calculation of the explicit value for the Dirac CP violation phase. Two examples were analyzed: The first example is devoted to the normal mass ordering and the second one is devoted to the inverted mass ordering. The data used for theoretical calculations presented in this paper are obtained on the basis of the latest reassessed data by processing the results of experimental measurements. On the basis of the performed calculations, normal mass ordering is unconditionally excluded as a potential option regarding the neutrino mass ordering in nature. On the basis of the derived equation of neutrino motion, a possible numerical value of the Dirac CP violation phase and Jarlskog invariant is found.


title: Multi-source Domain Adaptation Using Gradient Reversal Layer for Mitotic Cell Detection

abstract: This is a write-up of our method submitted to Mitosis Domain Generalization (MIDOG 2021) Challenge held in MICCAI2021 conference.


title: Ghost Loss to Question the Reliability of Training Data

abstract: Supervised image classification problems rely on training data assumed to have been correctly annotated; this assumption underpins most works in the field of deep learning. In consequence, during its training, a network is forced to match the label provided by the annotator and is not given the flexibility to choose an alternative to inconsistencies that it might be able to detect. Therefore, erroneously labeled training images may end up ``correctly'' classified in classes which they do not actually belong to. This may reduce the performances of the network and thus incite to build more complex networks without even checking the quality of the training data. In this work, we question the reliability of the annotated datasets. For that purpose, we introduce the notion of ghost loss, which can be seen as a regular loss that is zeroed out for some predicted values in a deterministic way and that allows the network to choose an alternative to the given label without being penalized. After a proof of concept experiment, we use the ghost loss principle to detect confusing images and erroneously labeled images in well-known training datasets (MNIST, Fashion-MNIST, SVHN, CIFAR10) and we provide a new tool, called sanity matrix, for summarizing these confusions.


title: Mechanisms of the in-plane magnetic anisotropy in superconducting NbSe2

abstract: We present a unifying picture of the magnetic in-plane anisotropies of two-dimensional superconductors based on transition metal dichalcogenides. The symmetry considerations are first applied to constrain the form of the conductivity tensor. We hence conclude that the two-fold periodicity of transport distinct from the planar Hall related contributions requires a tensor perturbation. At the same time, the six-fold periodic variation of the critical field results from the Rashba spin-orbit coupling on a hexagonal lattice. We have considered the effect of a weak tensor perturbation on the critical field, gap function, and magneto-conductivity. The latter is studied using the time-dependent Ginzburg-Landau phenomenology. The common origin of the two-fold anisotropy in transport and thermodynamics properties is identified. The scheme constructed here is applied to describe the existing theoretical scenarios from a unified point of view. This allows us to single out the differences and similarities between the suggested approaches.


title: Precessing ellipses as the building blocks of spiral arms

abstract: Stable periodic orbits in spiral galactic models that form families of precessing ellipses can create spiral density waves similar to those that are observed in real grand-design galaxies. We study the range in parameter space for which the amplitude of the spiral perturbation, the pattern speed, and the pitch angle collaborate so as to lead to the creation of density waves that are supported by precessing ellipses and their surrounding matter in ordered motion. Quantitative estimates lead to a correlation between the pitch angle and the amplitude of the spiral perturbation and also between the pitch angle and the pattern speed of the spiral arms. These correlations can be regarded as an orbital analog of a nonlinear dispersion relation in density wave theory.


title: GaAs quantum dots grown by droplet etching epitaxy as quantum light sources

abstract: This paper presents an overview and perspectives on the epitaxial growth and optical properties of GaAs quantum dots obtained with the droplet etching method as high-quality sources of quantum light. We illustrate the recent achievements regarding the generation of single photons and polarization entangled photon pairs and the use of these sources in applications of central importance in quantum communication, such as entanglement swapping and quantum key distribution.


title: Core-collapse supernova simulations and the formation of neutron stars, hybrid stars, and black holes

abstract: We investigate observable signatures of a first-order quantum chromodynamics (QCD) phase transition in the context of core collapse supernovae. To this end, we conduct axially symmetric numerical relativity simulations with multi-energy neutrino transport, using a hadron-quark hybrid equation of state (EOS). We consider four non-rotating progenitor models, whose masses range from $9.6$ to $70$ M$_\odot$. We find that the two less massive progenitor stars (9.6 and 11.2 M$_\odot$) show a successful explosion, which is driven by the neutrino heating. They do not undergo the QCD phase transition and leave behind a neutron star (NS). As for the more massive progenitor stars (50 and 70 M$_\odot$), the proto-neutron star (PNS) core enters the phase transition region and experiences the second collapse. Because of a sudden stiffening of the EOS entering to the pure quark matter regime, a strong shock wave is formed and blows off the PNS envelope in the 50 M$_\odot$ model. Consequently, the remnant becomes a quark core surrounded by hadronic matters, leading to the formation of the hybrid star. However for the 70 M$_\odot$ model, the shock wave cannot overcome the continuous mass accretion and it readily becomes a black hole. We find that the neutrino and gravitational wave (GW) signals from supernova explosions driven by the hadron-quark phase transition are detectable for the present generation of neutrino and GW detectors. Furthermore, the analysis of the GW detector response reveals unique kHz signatures, which will allow us to distinguish this class of supernova explosions from failed and neutrino-driven explosions.


title: Global Nature of Solar Coronal Shock Waves shown by Inconsistency between EUV Waves and Type II Radio Bursts

abstract: We re-examine the physical relationship between Extreme-UltraViolet (EUV) waves and type II radio bursts. It has been often thought that they are two observational aspects of a single coronal shock wave. However, a lack of their speed correlation hampers the understanding of their respective (or common) natures in a single phenomenon. Knowing the uncertainties in identifying true wave components from observations and measuring their speeds, we re-examine the speeds of EUV waves reported in previous literature and compare these with type II radio bursts and Coronal Mass Ejections (CMEs). This confirms the inconsistency between the speeds of EUV waves and their associated type II radio bursts. Second, CME speeds are found to have a better correlation with type II radio bursts than EUV waves. Finally, there exists a tendency for type II speeds and their range to be much greater than those of EUV waves. We demonstrate that the speed inconsistency is in fact an intrinsic tendency and elucidate the nature of a coronal shock wave consisting of both driven and non-driven parts. This suggests that the speed inconsistency would remain even if all other uncertainties were removed.


title: Safety-aware Motion Prediction with Unseen Vehicles for Autonomous Driving

abstract: Motion prediction of vehicles is critical but challenging due to the uncertainties in complex environments and the limited visibility caused by occlusions and limited sensor ranges. In this paper, we study a new task, safety-aware motion prediction with unseen vehicles for autonomous driving. Unlike the existing trajectory prediction task for seen vehicles, we aim at predicting an occupancy map that indicates the earliest time when each location can be occupied by either seen and unseen vehicles. The ability to predict unseen vehicles is critical for safety in autonomous driving. To tackle this challenging task, we propose a safety-aware deep learning model with three new loss functions to predict the earliest occupancy map. Experiments on the large-scale autonomous driving nuScenes dataset show that our proposed model significantly outperforms the state-of-the-art baselines on the safety-aware motion prediction task. To the best of our knowledge, our approach is the first one that can predict the existence of unseen vehicles in most cases. Project page at {\url{https://github.com/xrenaa/Safety-Aware-Motion-Prediction}}.


title: Identification of additional young nearby runaway stars based on Gaia data release 2 observations and the lithium test

abstract: Runaway stars are characterised by their remarkably high space velocities, and the study of their formation mechanisms has attracted considerable interest. Young, nearby runaway stars are the most favorable for identifying their place of origin, and for searching for possible associated objects such as neutron stars. Usually the research field of runaway stars focuses on O- and B-type stars, because these objects are better detectable at larger distances than late-type stars. Early-type runaway stars have the advantage, that they evolve faster and can therefore better be confirmed to be young. In contrast to this, the catalogue of young runaway stars within 3 kpc by Tetzlaff, Neuh\"auser, & Hohle (2011) contains also stars of spectral type A and later. The objects in this catalogue were originally classified as young ($\le 50$ Myr) runaway stars by using Hipparcos data to estimate the ages from their location in the Hertzsprung-Russell diagram and evolutionary models. In this article, we redetermine and/or constrain their ages not only by using the more precise second data release of the Gaia mission, but also by measuring the equivalent width of the lithium (6708 $\unicode{xC5}$) line, which is a youth indicator. Therefore, we searched for lithium absorption in the spectra of 51 target stars, taken at the University Observatory Jena between March and September 2020 with the \'Echelle spectrograph FLECHAS, and within additional TRES-spectra from the Fred L. Whipple Observatory. The main part of this campaign with its 308 reduced spectra, accessible at VizieR, was already published. In this work, which is the continuation and completion of the in 2015 initiated observing campaign, we found three additional young runaway star candidates.


title: The additivity of traces in stable $\infty$-categories

abstract: We prove a version of J.P. May's theorem on the additivity of traces, in symmetric monoidal stable $\infty$-categories. Our proof proceeds via a categorification, namely we use the additivity of topological Hochschild homology as an invariant of stable $\infty$-categories and construct a morphism of spectra $\mathrm{THH}(\mathbf C)\to \mathrm{End}(\mathbf 1_\mathbf C)$ for $\mathbf C$ a stably symmetric monoidal rigid $\infty$-category. We also explain how to get a more general statement involving traces of finite (homotopy) colimits.


title: A Type Theory for Strictly Associative Infinity Categories

abstract: Many definitions of weak and strict $\infty$-categories have been proposed. In this paper we present a definition for $\infty$-categories with strict associators, but which is otherwise fully weak. Our approach is based on the existing type theory Catt, whose models are known to correspond to weak $\infty$-categories. We add a definitional equality relation to this theory which identifies terms with the same associativity structure, yielding a new type theory Catt$_{sa}$, for strictly associative $\infty$-categories. We also provide a reduction relation which generates definitional equality, and show it is confluent and terminating, giving an algorithm for deciding equality of terms, and making typechecking decidable. Our key contribution, on which our reduction is based, is an operation on terms which we call insertion. This has a direct geometrical interpretation, allowing a subterm to be inserted into the head of the term, flatting its syntactic structure. We describe this operation combinatorially in terms of pasting diagrams, and also show can be characterized as a pushout of contexts. This allows reasoning about insertion using just its universal property.


title: Towards extraction of orthogonal and parsimonious non-linear modes from turbulent flows

abstract: We propose a deep probabilistic-neural-network architecture for learning a minimal and near-orthogonal set of non-linear modes from high-fidelity turbulent-flow-field data useful for flow analysis, reduced-order modeling, and flow control. Our approach is based on $\beta$-variational autoencoders ($\beta$-VAEs) and convolutional neural networks (CNNs), which allow us to extract non-linear modes from multi-scale turbulent flows while encouraging the learning of independent latent variables and penalizing the size of the latent vector. Moreover, we introduce an algorithm for ordering VAE-based modes with respect to their contribution to the reconstruction. We apply this method for non-linear mode decomposition of the turbulent flow through a simplified urban environment, where the flow-field data is obtained based on well-resolved large-eddy simulations (LESs). We demonstrate that by constraining the shape of the latent space, it is possible to motivate the orthogonality and extract a set of parsimonious modes sufficient for high-quality reconstruction. Our results show the excellent performance of the method in the reconstruction against linear-theory-based decompositions. Moreover, we compare our method with available AE-based models. We show the ability of our approach in the extraction of near-orthogonal modes that may lead to interpretability.


title: Generalizations of the Euler-Mascheroni constant associated with the hyperharmonic numbers

abstract: In this paper, we present two new generalizations of the Euler-Mascheroni constant arising from the Dirichlet series associated to the hyperharmonic numbers. We also give some inequalities related to upper and lower estimates, and evaluation formulas.


title: On a conjecture of Debs and Saint Raymond

abstract: Borel separation rank of an analytic ideal $\mathcal{I}$ on $\omega$ is the minimal ordinal $\alpha<\omega_{1}$ such that there is $\mathcal{S}\in\bf{\Sigma^0_{1+\alpha}}$ with $\mathcal{I}\subseteq \mathcal{S}$ and $\mathcal{I}^\star\cap \mathcal{S}=\emptyset$, where $\mathcal{I}^\star$ is the filter dual to the ideal $\mathcal{I}$. Answering in negative a question of G. Debs and J. Saint Raymond [Fund. Math. 204 (2009), no. 3], we construct a Borel ideal of rank $>2$ which does not contain an isomorphic copy of the ideal $\text{Fin}^3$.


title: A brief history of AI: how to prevent another winter (a critical review)

abstract: The field of artificial intelligence (AI), regarded as one of the most enigmatic areas of science, has witnessed exponential growth in the past decade including a remarkably wide array of applications, having already impacted our everyday lives. Advances in computing power and the design of sophisticated AI algorithms have enabled computers to outperform humans in a variety of tasks, especially in the areas of computer vision and speech recognition. Yet, AI's path has never been smooth, having essentially fallen apart twice in its lifetime ('winters' of AI), both after periods of popular success ('summers' of AI). We provide a brief rundown of AI's evolution over the course of decades, highlighting its crucial moments and major turning points from inception to the present. In doing so, we attempt to learn, anticipate the future, and discuss what steps may be taken to prevent another 'winter'.


title: Biomedical Data-to-Text Generation via Fine-Tuning Transformers

abstract: Data-to-text (D2T) generation in the biomedical domain is a promising - yet mostly unexplored - field of research. Here, we apply neural models for D2T generation to a real-world dataset consisting of package leaflets of European medicines. We show that fine-tuned transformers are able to generate realistic, multisentence text from data in the biomedical domain, yet have important limitations. We also release a new dataset (BioLeaflets) for benchmarking D2T generation models in the biomedical domain.


title: Characteristic scales of magnetic switchback patches near the Sun and their possible association with solar supergranulation and granulation

abstract: Parker Solar Probe (PSP) data recorded within a heliocentric radial distance of 0.3 AU have revealed a magnetic field dominated by Alfv\'enic structures that undergo large local variations or even reversals of the radial magnetic field. They are called magnetic switchbacks, they are consistent with folds in magnetic field lines within a same magnetic sector, and are associated with velocity spikes during an otherwise calmer background. They are thought to originate either in the low solar atmosphere through magnetic reconnection processes, or result from the evolution of turbulence or velocity shears in the expanding solar wind. In this work, we investigate the temporal and spatial characteristic scales of magnetic switchback patches. We define switchbacks as a deviation from the nominal Parker spiral direction and detect them automatically for PSP encounters 1, 2, 4 and 5. We focus in particular on a 5.1-day interval dominated by switchbacks during E5. We perform a wavelet transform of the solid angle between the magnetic field and the Parker spiral and find periodic spatial modulations with two distinct wavelengths, respectively consistent with solar granulation and supergranulation scales. In addition we find that switchback occurrence and spectral properties seem to depend on the source region of the solar wind rather than on the radial distance of PSP. These results suggest that switchbacks are formed in the low corona and modulated by the solar surface convection pattern.


title: Optimizing the Energy Efficiency of Unreliable Memories for Quantized Kalman Filtering

abstract: This paper presents a quantized Kalman filter implemented using unreliable memories. We consider that both the quantization and the unreliable memories introduce errors in the computations, and develop an error propagation model that takes into account these two sources of errors. In addition to providing updated Kalman filter equations, the proposed error model accurately predicts the covariance of the estimation error and gives a relation between the performance of the filter and its energy consumption, depending on the noise level in the memories. Then, since memories are responsible for a large part of the energy consumption of embedded systems, optimization methods are introduced so as to minimize the memory energy consumption under a desired estimation performance of the filter. The first method computes the optimal energy levels allocated to each memory bank individually, and the second one optimizes the energy allocation per groups of memory banks. Simulations show a close match between the theoretical analysis and experimental results. Furthermore, they demonstrate an important reduction in energy consumption of more than 50%.


title: Stabilization of the damped plate equation under general boundary conditions

abstract: We consider a damped plate equation on an open bounded subset of R^d, or a smooth manifold, with boundary, along with general boundary operators fulfilling the Lopatinskii-Sapiro condition. The damping term acts on a region without imposing a geometrical condition. We derive a resolvent estimate for the generator of the damped plate semigroup that yields a logarithmic decay of the energy of the solution to the plate equation. The resolvent estimate is a consequence of a Carleman inequality obtained for the bi-Laplace operator involving a spectral parameter under the considered boundary conditions. The derivation goes first though microlocal estimates, then local estimates, and finally a global estimate.


title: Nanoscale electronic transparency of wafer-scale hexagonal boron nitride

abstract: Monolayer hBN has attracted interest as a potentially weakly interacting 2D insulating layer in heterostructures. Recently, wafer-scale hBN growth on Cu(111) has been demonstrated for semiconductor chip fabrication processes and transistor action. For all these applications, the perturbation on the underlying electronically active layers is critical. For example, while hBN on Cu(111) has been shown to preserve the Cu(111) surface state 2D electron gas, it was previously unknown how this varies over the sample and how it is affected by local electronic corrugation. Here, we demonstrate that the Cu(111) surface state under wafer-scale hBN is robustly homogeneous in energy and spectral weight over nanometer length scales and over atomic terraces. We contrast this with a benchmark spectral feature associated with interaction between BN atoms and the Cu surface, which varies with the Moir\'e pattern of the hBN/Cu(111) sample and is dependent on atomic registry. This work demonstrates that fragile 2D electron systems and interface states are largely unperturbed by local variations created by the hBN due to atomic-scale interactions with the substrate, thus providing a remarkably transparent window on low-energy electronic structure below the hBN monolayer.


title: Track Coalescence and Repulsion: MHT, JPDA, and BP

abstract: Joint probabilistic data association (JPDA) and multiple hypothesis tracking (MHT) introduced in the 70s, are still widely used methods for multitarget tracking (MTT). Extensive studies over the last few decades have revealed undesirable behavior of JPDA and MHT type methods in tracking scenarios with targets in close proximity. In particular, JPDA suffers from the track coalescence effect, i.e., estimated tracks of targets in close proximity tend to merge and can become indistinguishable. Interestingly, in MHT, an opposite effect to track coalescence called track repulsion can be observed. In this paper, we review the estimation strategies of the MHT, JPDA, and the recently introduced belief propagation (BP) framework for MTT and we investigate if BP also suffers from these two detrimental effects. Our numerical results indicate that BP-based MTT can mostly avoid both track repulsion and coalescence.


title: First indication on self-similarity of strangeness production in $Au+Au$ collisions at RHIC: Search for signature of phase transition in nuclear matter

abstract: New results of analysis of $K^0_S-$meson spectra measured over a wide range of energy $\sqrt {s_{NN}}=7.7-200$ GeV and centrality in $Au+Au$ collisions by the STAR Collaboration at RHIC using the $z$-scaling approach are presented. Indication on self-similarity of fractal structure of nuclei and fragmentation processes with $K^0_S$ probe is demonstrated. The energy loss as a function of the collision energy, centrality and transverse momentum of the inclusive strange meson is estimated.


title: General covariant symmetric teleparallel cosmology

abstract: Symmetric teleparallel gravity theories, in which the gravitational interaction is attributed to the nonmetricity of a flat, symmetric, but not metric-compatible affine connection, have been a topic of growing interest in recent studies. Numerous works study the cosmology of symmetric teleparallel gravity assuming a flat Friedmann-Lema\^itre-Robertson-Walker metric, while working in the so-called "coincident gauge", further assuming that the connection coefficients vanish. However, little attention has been paid to the fact that both of these assumptions rely on the freedom to choose a particular coordinate system in order to simplify the metric or the connection, and that they may, in general, not be achieved simultaneously. Here we construct the most general symmetric teleparallel geometry obeying the conditions of homogeneity and isotropy, without making any assumptions on the properties of the coordinates, and present our results in both the usual cosmological coordinates and in the coincident gauge. We find that in general these coordinates do not agree, and that assuming both to hold simultaneously allows only for a very restricted class of geometries. For the general case, we derive the energy-momentum-hypermomentum conservation relations and the cosmological dynamics of selected symmetric teleparallel gravity theories. Our results show that the symmetric teleparallel connection in general contributes another scalar quantity into the cosmological dynamics, which decouples only for a specific class of theories from the dynamics of the metric, and only if the most simple geometry is chosen, in which both assumed coordinate systems agree. Most notably, the $f(Q)$ class of theories falls into this class.


title: Mitosis Detection for Breast Cancer Pathology Images Using UV-Net

abstract: The difficulty of detecting mitosis and its similarity to non-mitosis objects has remained a challenge in computational pathology. The lack of publicly available data has added more complexity. Deep learning algorithms have shown potentials in mitosis detection tasks. However, they face challenges when applied to pathology images with dense medium and diverse dataset. This paper introduces an optimized UV-Net architecture, developed to focus on mitosis details with high-resolution through feature preservation. Stain normalization methods are used to generalize the trained network. An F1 score of 0.6721 is achieved using this network.


title: Hide and seek in Slovakia: utilizing tracking code data to uncover untrustworthy website networks

abstract: The proliferation of misleading or false information spread by untrustworthy websites has emerged as a significant concern on the public agenda in many countries, including Slovakia. Despite the influence ascribed to such websites, their transparency and accountability remain an issue in most cases, with published work on mapping the administrators and connections of untrustworthy websites remaining limited. This article contributes to this body of knowledge (i) by providing an effective open-source tool to uncover untrustworthy website networks based on the utilization of the same Google Analytics/AdSense IDs, with the added ability to expose networks based on historical data, and (ii) by providing insight into the Slovak untrustworthy website landscape through delivering a first of its kind mapping of Slovak untrustworthy website networks. Our approach is based on a mix-method design employing a qualitative exploration of data collected in a two wave study conducted in 2019 and 2021, utilizing a custom-coded tool to uncover website connections. Overall, the study succeeds in exposing multiple novel website ties. Our findings indicate that while some untrustworthy website networks have been found to operate in the Slovak infosphere, most researched websites appear to be run by multiple mutually unconnected administrators. The resulting data also demonstrates that untrustworthy Slovak websites display a high content diversity in terms of connected websites, ranging from websites of local NGOs, an e-shop selling underwear to a matchmaking portal.


title: LightAutoML: AutoML Solution for a Large Financial Services Ecosystem

abstract: We present an AutoML system called LightAutoML developed for a large European financial services company and its ecosystem satisfying the set of idiosyncratic requirements that this ecosystem has for AutoML solutions. Our framework was piloted and deployed in numerous applications and performed at the level of the experienced data scientists while building high-quality ML models significantly faster than these data scientists. We also compare the performance of our system with various general-purpose open source AutoML solutions and show that it performs better for most of the ecosystem and OpenML problems. We also present the lessons that we learned while developing the AutoML system and moving it into production.


title: Anomalous magnetic exchange in a dimerized quantum-magnet composed of unlike spin species

abstract: We present here a study of the magnetic properties of the antiferromagnetic dimer material CuVOF$_4$(H$_2$O)$_6\cdot$H$_2$O, in which the dimer unit is composed of two different $S = 1/2$ species, Cu(II) and V(IV). An applied magnetic field of $\mu_0H_{\rm c1} = 13.1(1)~\rm T$ is found to close the singlet-triplet energy gap, the magnitude of which is governed by the antiferromagnetic intradimer, $J_0 \approx 21~\rm K$, and interdimer, $J' \approx 1~\rm K$, exchange energies, determined from magnetometry and electron-spin resonance measurements. The results of density functional theory (DFT) calculations are consistent with the experimental results and predicts antiferromagnetic coupling along all nearest-neighbor bonds, with the magnetic ground state comprising spins of different species aligning antiparallel to one another, while spins of the same species are aligned parallel. The magnetism in this system cannot be accurately described by the overlap between localized V orbitals and magnetic Cu orbitals lying in the Jahn-Teller (JT) plane, with a tight-binding model based on such a set of orbitals incorrectly predicting that interdimer exchange should be dominant. DFT calculations indicate significant spin density on the bridging oxide, suggesting instead an unusual mechanism in which intradimer exchange is mediated through the O atom on the Cu(II) JT axis.


title: Fun with Latin Squares

abstract: Do you want to know what an anti-chiece Latin square is? Or what a non-consecutive toroidal modular Latin square is? We invented a ton of new types of Latin squares, some inspired by existing Sudoku variations. We can't wait to introduce them to you and answer important questions, such as: do they even exist? If so, under what conditions? What are some of their interesting properties? And how do we generate them?


title: MACEst: The reliable and trustworthy Model Agnostic Confidence Estimator

abstract: Reliable Confidence Estimates are hugely important for any machine learning model to be truly useful. In this paper, we argue that any confidence estimates based upon standard machine learning point prediction algorithms are fundamentally flawed and under situations with a large amount of epistemic uncertainty are likely to be untrustworthy. To address these issues, we present MACEst, a Model Agnostic Confidence Estimator, which provides reliable and trustworthy confidence estimates. The algorithm differs from current methods by estimating confidence independently as a local quantity which explicitly accounts for both aleatoric and epistemic uncertainty. This approach differs from standard calibration methods that use a global point prediction model as a starting point for the confidence estimate.


title: Frequency dependence in GW made simple using a multi-pole approximation

abstract: In the $GW$ approximation, the screened interaction $W$ is a non-local and dynamical potential that usually has a complex frequency dependence. A full description of such dependence is possible but often computationally demanding. For this reason, it is still common practice to approximate $W(\omega)$ using a plasmon pole (PP) model. Such approach, however, may deliver an accuracy limited by its simplistic description of the frequency dependence of the polarizability, i.e. of $W$. In this work we explore a multi-pole approach (MPA) and develop an effective representation of the frequency dependence of $W$. We show that an appropriate sampling of the polarizability in the frequency complex plane and a multi-pole interpolation can lead to a level of accuracy comparable with full-frequency methods at much lower computational cost. Moreover, both accuracy and cost are controllable by the number of poles used in MPA. Eventually we validate the MPA approach in selected prototype systems, showing that full-frequency quality results can be obtained with a limited number of poles.


title: UnDeepLIO: Unsupervised Deep Lidar-Inertial Odometry

abstract: Extensive research efforts have been dedicated to deep learning based odometry. Nonetheless, few efforts are made on the unsupervised deep lidar odometry. In this paper, we design a novel framework for unsupervised lidar odometry with the IMU, which is never used in other deep methods. First, a pair of siamese LSTMs are used to obtain the initial pose from the linear acceleration and angular velocity of IMU. With the initial pose, we perform the rigid transform on the current frame and align it closer to the last frame. Then, we extract vertex and normal features from the transformed point clouds and its normals. Next a two-branches attention modules are proposed to estimate residual rotation and translation from the extracted vertex and normal features, respectively. Finally, our model outputs the sum of initial and residual poses as the final pose. For unsupervised training, we introduce an unsupervised loss function which is employed on the voxelized point clouds. The proposed approach is evaluated on the KITTI odometry estimation benchmark and achieves comparable performances against other state-of-the-art methods.


title: Proceedings 17th International Conference on Quantum Physics and Logic

abstract: This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. Quantum Physics and Logic is an annual conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behavior in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.