title: Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models

abstract: Large language models (LLMs), such as Codex, hold great promise in enhancing programming education by automatically generating feedback for students. We investigate using LLMs to generate feedback for fixing syntax errors in Python programs, a key scenario in introductory programming. More concretely, given a student's buggy program, our goal is to generate feedback comprising a fixed program along with a natural language explanation describing the errors/fixes, inspired by how a human tutor would give feedback. While using LLMs is promising, the critical challenge is to ensure high precision in the generated feedback, which is imperative before deploying such technology in classrooms. The main research question we study is: Can we develop LLMs-based feedback generation techniques with a tunable precision parameter, giving educators quality control over the feedback that students receive? To this end, we introduce PyFiXV, our technique to generate high-precision feedback powered by Codex. The key idea behind PyFiXV is to use a novel run-time validation mechanism to decide whether the generated feedback is suitable for sharing with the student; notably, this validation mechanism also provides a precision knob to educators. We perform an extensive evaluation using two real-world datasets of Python programs with syntax errors and show the efficacy of PyFiXV in generating high-precision feedback.


title: Airy process at a thin rough region between frozen and smooth

abstract: We show there is a last path at the rough smooth boundary of the two-periodic Aztec diamond with parameter $a\in (0,1)$ that, suitably rescaled, converges to the Airy process, under the condition that $a$ tends to zero as the size of the Aztec diamond tends to infinity at a certain rate. This condition causes the rough region to have a thin, mesoscopic width. We also show that the dimers are described by a discrete Bessel kernel when the width is only of microscopic size.


title: Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs

abstract: This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.


title: A Proof System for a Logic of Presuppositions

abstract: The paper proposes a derivation system for a logic of presuppositions as introduced by P. F. Strawson. It is based on truth-relevant logic described by M. Richard Diaz in 1981. In another paper I outlined a derivation system for t-relevant logic based on truth trees. The conclusion was that a tautology is truth-relevant iff all the variables in a tree are self-contradicted. It is possible that a tree terminates without all the variables self-contradicting themselves. In this case the pertaining formula is still a tautology, but not a truth-relevant tautology. This concept is extended to the predicate calculus, i.e. a logic of presuppositions or a variant thereof.


title: Understand Code Style: Efficient CNN-based Compiler Optimization Recognition System

abstract: Compiler optimization level recognition can be applied to vulnerability discovery and binary analysis. Due to the exists of many different compilation optimization options, the difference in the contents of the binary file is very complicated. There are thousands of compiler optimization algorithms and multiple different processor architectures, so it is very difficult to manually analyze binary files and recognize its compiler optimization level with rules. This paper first proposes a CNN-based compiler optimization level recognition model: BinEye. The system extracts semantic and structural differences and automatically recognize the compiler optimization levels. The model is designed to be very suitable for binary file processing and is easy to understand. We built a dataset containing 80,028 binary files for the model training and testing. Our proposed model achieves an accuracy of over 97%. At the same time, BinEye is a fully CNN-based system and it has a faster forward calculation speed, at least 8 times faster than the normal RNN-based model. Through our analysis of the model output, we successfully found the difference in assembly codes caused by the different compiler optimization level. This means that the model we proposed is interpretable. Based on our model, we propose a method to analyze the code differences caused by different compiler optimization levels, which has great guiding significance for analyzing closed source compilers and binary security analysis.


title: DFSZ-Type Axions and Where to Find Them

abstract: We systematically calculate the axion-photon coupling for non-minimal DFSZ models. Thereby we can classify every calculated model and study the resulting distributions, relevant for axion experiments like haloscopes, helioscopes or light-shining-through-a-wall experiments. By adding more than one additional Higgs doublet, these non-minimal DFSZ models extend the viable axion parameter space and lead to a large range of axion-photon couplings. We find couplings almost three orders of magnitude larger than the ones of the minimal models. Most of the possible axion-photon couplings, however, lie in the vicinity of the values dictated by the minimal models. We quantify this by introducing a theoretical prior probability distribution for DFSZ-type axions and giving $68\%$ and $95\%$ lower bounds as well as two-sided bands. We compare our results for the DFSZ axion-photon coupling distributions with the KSVZ case, for which a similar analysis has been conducted. Both display similar values as well as a very specific pattern. In order to identify preferred models, we discuss the role of flavour changing neutral currents and the domain wall problem as possible selection criteria. It is possible to construct a large number of non-minimal DFSZ models with a domain wall number of unity and thereby avoiding the domain wall problem. This subset also has a significantly enhanced axion-photon coupling compared to the minimal DFSZ models.


title: Deciding Equations in the Time Warp Algebra

abstract: Join-preserving maps on the discrete time scale $\omega^+$, referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in the course of program execution. The set of time warps forms a simple distributive involutive residuated lattice -- called the time warp algebra -- that is equipped with residual operations relevant to potential applications. In this paper, we show that although the time warp algebra generates a variety that lacks the finite model property, it nevertheless has a decidable equational theory. We also describe an implementation of a procedure for deciding equations in this algebra, written in the OCaml programming language, that makes use of the Z3 theorem prover.


title: 2D Ladder polyborane: an ideal Dirac semimetal with a multi-feld-tunable band gap

abstract: Hydrogen, a simple and magic element, has attracted increasing attention for its effective incorporation within solids and powerful manipulation of electronic states. Here, we show that hydrogenation tackles common problems in two-dimensional borophene, e.g., stability and applicability. As a prominent example, a ladder-like boron hydride sheet, named as 2D ladder polyborane, achieves the desired outcome, enjoying the cleanest scenario with an anisotropic and tilted Dirac cone, that can be fully depicted by a minimal two-band tight-binding model. Introducing external fields, such as an electric field or a circularly-polarized light field can effectively induce distinctive massive Dirac fermions, whereupon four types of multi-field-driven topological domain walls hosting tunable chirality and valley indexes are further established. Moreover, the 2D ladder polyborane is thermodynamically stable at room temperature and supports highly switchable Dirac fermions, providing an ideal platform for realizing and exploring the various multi-field-tunable electronic states.


title: Observation of the decay $D^+_s\to \omega\pi^+\eta$

abstract: Using 7.33 fb$^{-1}$ of $e^+e^-$ collision data collected by the BESIII detector at center-of-mass energies between 4.128 and 4.226~GeV, we observe for the first time the decay $D^{\pm}_s\to \omega\pi^{\pm}\eta$ with a statistical significance of 7.6$\sigma$. The measured branching fraction of this decay is $(0.54\pm0.12\pm0.04)\%$, where the first uncertainty is statistical and the second is systematic.


title: In-flight Calibration of the Magnetometer on the Mars Orbiter of Tianwen-1

abstract: Mars Orbiter Magnetometer (MOMAG) is one of seven science payloads onboard Tianwen-1's orbiter. Unlike most of the satellites, Tianwen-1's orbiter is not magnetically cleaned, and the boom where placed the magnetometer's sensors is not long enough. These pose many challenges to the magnetic field data processing. In this paper, we introduce the in-flight calibration process of the Tianwen-1/MOMAG. The magnetic interference from the spacecraft, including spacecraft generated dynamic field and slowly-changing offsets are cleaned in sequence. Then the calibrated magnetic field data are compared with the data from the Mars Atmosphere and Volatile EvolutioN (MAVEN). We find that some physical structures in the solar wind are consistent between the two data sets, and the distributions of the magnetic field strength in the solar wind are very similar. These results suggest that the in-flight calibration of the MOMAG is successful and the MOMAG provides reliable data for scientific research.


title: Nucleon relativistic polarization and magnetization distributions

abstract: As a follow up of our work on the electromagnetic four-current, we study for the first time the relativistic polarization and magnetization spatial distributions inside a spin-$\frac{1}{2}$ target within the quantum phase-space approach. While the polarization-magnetization tensor is usually defined in terms of the Gordon decomposition of the electromagnetic four-current, a Breit frame analysis reveals that a physically simpler and more natural picture of the system arises when the polarization-magnetization tensor is instead defined in terms of a Sachs decomposition. Relativistic polarization and magnetization distributions for a moving target are compared with their light-front counterparts. In particular, we show that the genuine light-front magnetization distributions are defined in terms of Fourier transforms of the Sachs magnetic form factor, rather than in terms of the Pauli form factor as suggested earlier in the literature. We finally illustrate our results in the case of a nucleon using the electromagnetic form factors extracted from experimental data.


title: Embedded $\mathbb{Q}$-desingularization of real Schubert varieties and application to the relative $\mathbb{Q}$-algebraicity problem

abstract: An algebraic set $V\subset\mathbb{R}^{n}$ of dimension $d$ is a $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic set if it can be described, both globally and locally, by polynomial equations with rational coefficients. Set $m:=\max\{n,2d+1\}$, if $V$ is compact, or $m:=n+2d+3$, otherwise. We prove that every nonsingular real algebraic set $V\subset\mathbb{R}^n$ with nonsingular algebraic subsets $\{V_i\}_{i=1}^\ell$ in general position is Nash diffeomorphic to a $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic set $V'\subset\mathbb{R}^m$ with $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic subsets $\{V'_i\}_{i=1}^\ell$ in general position and the Nash diffeomorphism $h:V\to V'$ sends each $V_i$ to $V_i'$. As a byproduct we obtain a $\mathbb{Q}$-algebraic relative version of Nash-Tognoli theorem for compact manifolds. A key result in the proof is the description of $\mathbb{Z}/2\mathbb{Z}$-homological cycles of real Grassmannian manifolds by $\mathbb{Q}$-nonsingular $\mathbb{Q}$-algebraic representatives via the Bott-Samelson resolution of real embedded Schubert varieties.


title: On some analytic properties of nabla tempered fractional calculus

abstract: Despite many applications regarding fractional calculus have been reported in literature, it is still unknown how to model some practical process. One major challenge in solving such a problem is that, the nonlocal property is needed while the infinite memory is undesired. Under this context, a new kind nabla fractional calculus accompanied by a tempered function is formulated. However, many properties of such fractional calculus needed to be discovered. From this, this paper gives particular emphasis to the topic. Some remarkable properties like the equivalence relation, the nabla Taylor formula, and the nabla Laplace transform for such nabla fractional calculus are developed and analyzed. It is believed that this work greatly enriches the mathematical theory of nabla tempered fractional calculus and provides high value and huge potential for further applications.


title: Vulnerability Detection with Graph Simplification and Enhanced Graph Representation Learning

abstract: Prior studies have demonstrated the effectiveness of Deep Learning (DL) in automated software vulnerability detection. Graph Neural Networks (GNNs) have proven effective in learning the graph representations of source code and are commonly adopted by existing DL-based vulnerability detection methods. However, the existing methods are still limited by the fact that GNNs are essentially difficult to handle the connections between long-distance nodes in a code structure graph. Besides, they do not well exploit the multiple types of edges in a code structure graph (such as edges representing data flow and control flow). Consequently, despite achieving state-of-the-art performance, the existing GNN-based methods tend to fail to capture global information (i.e., long-range dependencies among nodes) of code graphs. To mitigate these issues, in this paper, we propose a novel vulnerability detection framework with grAph siMplification and enhanced graph rePresentation LEarning, named AMPLE. AMPLE mainly contains two parts: 1) graph simplification, which aims at reducing the distances between nodes by shrinking the node sizes of code structure graphs; 2) enhanced graph representation learning, which involves one edge-aware graph convolutional network module for fusing heterogeneous edge information into node representations and one kernel-scaled representation module for well capturing the relations between distant graph nodes. Experiments on three public benchmark datasets show that AMPLE outperforms the state-of-the-art methods by 0.39%-35.32% and 7.64%-199.81% with respect to the accuracy and F1 score metrics, respectively. The results demonstrate the effectiveness of AMPLE in learning global information of code graphs for vulnerability detection.


title: Stacked Cross-modal Feature Consolidation Attention Networks for Image Captioning

abstract: Recently, the attention-enriched encoder-decoder framework has aroused great interest in image captioning due to its overwhelming progress. Many visual attention models directly leverage meaningful regions to generate image descriptions. However, seeking a direct transition from visual space to text is not enough to generate fine-grained captions. This paper exploits a feature-compounding approach to bring together high-level semantic concepts and visual information regarding the contextual environment fully end-to-end. Thus, we propose a stacked cross-modal feature consolidation (SCFC) attention network for image captioning in which we simultaneously consolidate cross-modal features through a novel compounding function in a multi-step reasoning fashion. Besides, we jointly employ spatial information and context-aware attributes (CAA) as the principal components in our proposed compounding function, where our CAA provides a concise context-sensitive semantic representation. To make better use of consolidated features potential, we further propose an SCFC-LSTM as the caption generator, which can leverage discriminative semantic information through the caption generation process. The experimental results indicate that our proposed SCFC can outperform various state-of-the-art image captioning benchmarks in terms of popular metrics on the MSCOCO and Flickr30K datasets.


title: Mixed-order self-paced curriculum learning for universal lesion detection

abstract: Self-paced curriculum learning (SCL) has demonstrated its great potential in computer vision, natural language processing, etc. During training, it implements easy-to-hard sampling based on online estimation of data difficulty. Most SCL methods commonly adopt a loss-based strategy of estimating data difficulty and deweighting the `hard' samples in the early training stage. While achieving success in a variety of applications, SCL stills confront two challenges in a medical image analysis task, such as universal lesion detection, featuring insufficient and highly class-imbalanced data: (i) the loss-based difficulty measurer is inaccurate; ii) the hard samples are under-utilized from a deweighting mechanism. To overcome these challenges, in this paper we propose a novel mixed-order self-paced curriculum learning (Mo-SCL) method. We integrate both uncertainty and loss to better estimate difficulty online and mix both hard and easy samples in the same mini-batch to appropriately alleviate the problem of under-utilization of hard samples. We provide a theoretical investigation of our method in the context of stochastic gradient descent optimization and extensive experiments based on the DeepLesion benchmark dataset for universal lesion detection (ULD). When applied to two state-of-the-art ULD methods, the proposed mixed-order SCL method can provide a free boost to lesion detection accuracy without extra special network designs.


title: Spin-dependent recombination mechanisms for quintet bi-excitons generated through singlet fission

abstract: We investigate the physical mechanisms for spin-dependent recombination of a strongly bound pair of triplet excitons generated by singlet fission and forming a spin quintet (total spin of two) bi-exciton. For triplet excitons the spin-dependent recombination pathways can involve intersystem crossing or triplet-triplet annihilation back to the singlet ground state. However the modeling of spin-dependent recombination for quintets is still an open question. Here we introduce two theoretical models and compare their predictions with the broadband optically detected magnetic resonance spectrum of a long lived quintet bi-exciton with known molecular structure. This spectrum measures the change in the fluorescence signal induced by microwave excitation of each of the ten possible spin transitions within the quintet manifold as function of the magnetic field. While most of the experimental features can be reproduced for both models, the behavior of some of the transitions is only consistent with the quintet spin-recombination model inspired by triplet intersystem crossing which can reproduce accurately the experimental two-dimensional spectrum with a small number of kinetic parameters. Thus quantitative analysis of the broadband optically detected magnetic resonance signal enables quantitative understanding of the dominant spin-recombination processes and estimation of the out-of equilibrium spin populations.


title: Comment on "A fractal LTB model cannot explain Dark Energy''

abstract: We reply to the criticisms moved in [1] against our results presented in [2]. In particular, we show that our fractal model has none of the problems claimed in [1]. The latters can be addressed to the overlooked nonlinear behaviour of the Einstein's equations.


title: Learning Mixtures of Markov Chains with Quality Guarantees

abstract: A large number of modern applications ranging from listening songs online and browsing the Web to using a navigation app on a smartphone generate a plethora of user trails. Clustering such trails into groups with a common sequence pattern can reveal significant structure in human behavior that can lead to improving user experience through better recommendations, and even prevent suicides [LMCR14]. One approach to modeling this problem mathematically is as a mixture of Markov chains. Recently, Gupta, Kumar and Vassilvitski [GKV16] introduced an algorithm (GKV-SVD) based on the singular value decomposition (SVD) that under certain conditions can perfectly recover a mixture of L chains on n states, given only the distribution of trails of length 3 (3-trail). In this work we contribute to the problem of unmixing Markov chains by highlighting and addressing two important constraints of the GKV-SVD algorithm [GKV16]: some chains in the mixture may not even be weakly connected, and secondly in practice one does not know beforehand the true number of chains. We resolve these issues in the Gupta et al. paper [GKV16]. Specifically, we propose an algebraic criterion that enables us to choose a value of L efficiently that avoids overfitting. Furthermore, we design a reconstruction algorithm that outputs the true mixture in the presence of disconnected chains and is robust to noise. We complement our theoretical results with experiments on both synthetic and real data, where we observe that our method outperforms the GKV-SVD algorithm. Finally, we empirically observe that combining an EM-algorithm with our method performs best in practice, both in terms of reconstruction error with respect to the distribution of 3-trails and the mixture of Markov Chains.


title: Unitarization of Pseudo-Unitary Quantum Circuits in the S-matrix Framework

abstract: Pseudo-unitary circuits are recurring in both S-matrix theory and analysis of No-Go theorems. We propose a matrix and diagrammatic representation for the operation that maps S-matrices to T-matrices and, consequently, a unitary group to a pseudo-unitary one. We call this operation ``partial inversion'' and show its diagrammatic representation in terms of permutations. We find the expressions for the deformed metrics and deformed dot products that preserve physical constraints after partial inversion. Subsequently, we define a special set that allows for the simplification of expressions containing infinities in matrix inversion. Finally, we propose a renormalized-growth algorithm for the T-matrix as a possible application. The outcomes of our study expand the methodological toolbox needed to build a family of pseudo-unitary and inter-pseudo-unitary circuits with full diagrammatic representation in three dimensions, so that they can be used to exploit pseudo-unitary flexibilization of unitary No-Go Theorems and renormalized circuits of large scattering lattices.


title: Relativistic binary systems in scale-independent energy-momentum squared gravity

abstract: In this paper, we study the gravitational-wave (GW) radiation and radiative behavior of relativistic binary systems in the scale-independent energy-momentum squared gravity (EMSG). Using the post-Minkowskian gravity based on the Landau-Lifshitz formulation of the theory, the field equations of the scale-independent EMSG are solved approximately. The gravitational potential in the wave zone of a gravitational source is then obtained. Doing so, we derive the GW signals emitted from a binary system. The results are different from those obtained in general relativity (GR). It is shown that the relevant non-GR corrections modify the wave amplitude and leave the GW polarizations unchanged. In this case, the system loses energy to modified GWs. This leads to a change in the secular variation of the Keplerian parameters of the binary system. In this work, we investigate the non-GR effects on the radiative parameter, i.e., the first time derivative of the orbital period. Next, applying these results together with GW observations from the relativistic binary systems, we constrain/test the scale-independent EMSG theory in the strong-field regime. After assuming that GR is the valid gravity theory, as a priori expectation, we find that the free parameter of the theory is of the order $10^{-5}$ from the direct GW observation, the GW events GW190425 and GW170817, as well as the indirect GW observation, the double pulsar PSR J0737$-$3039A/B experiment.


title: Nanomotion of micro-objects driven by light-induced elastic waves on solid interfaces

abstract: It has been recently reported that elastic waves induced by nanosecond light pulses can be used to drive nano-motion of micro-objects on frictional solid interfaces, a challenging task for traditional techniques using tiny optical force. In this technique, the main physical quantities/parameters involved are: temporal width and energy of light pulses, thermal heating and cooling time, friction force and elastic waves. Despite a few experimental observations based on micro-fiber systems, a microscopic theory, which reveals how these quantities collaboratively enable motion of the micro-objects and derives what the underlying manipulation principles emerge, is absent. In this article, a comprehensive theoretical analysis--centralized around the above listed physical quantities, and illuminated by a single-friction-point model in conjunction with numerical simulations--is established to pedagogically clarify the physics. Our results reveal the two essential factors in this technique: (1) the use of short light pulses for rapid thermal expansion overwhelming friction resistance and (2) the timescale asymmetry in thermal heating and cooling for accumulating a net sliding distance. Moreover, we examine the effects of spatially distributed friction beyond the single-friction-point consideration, and show "tug-of-war"-like friction stretching in the driving process. Given these insights, we positively predict that this elastic-wave-based manipulation principle could be directly translated to micro/nano-scale optical waveguides on optical chips, and propose a practical design. We wish that these results offer theoretical guidelines for ongoing efforts of optical manipulation on solid interfaces with light-induced elastic waves.


title: Interplay of Mechanochemistry and Material Processes in the Graphite to Diamond Phase Transformation

abstract: he manifestation of intra-molecular strains in covalent systems is widely known to accelerate chemical reactions and open alternative reaction paths. This process is moderately understood for isolated molecules and uni-molecular processes. However, in condensed matter processes such as phase transformations, material properties and structure may influence typical mechanochemical effects. Therefore, we utilize steered molecular dynamics to induce out of plane strains in graphite and compress the system under a constant strain rate to induce phase transformation. We show that the out of plane strain allows for phase transformations to initiate at lower amounts of compressive strain. Yet, in contrast to typical mechanochemical results, the sum of compressive and out of plane work needed to form diamond has a local minimum due to altered defect formation processes during phase transformation. Additionally, these altered processes slow the kinetics of the phase transformation, taking longer from initiation to total material transformation.


title: Strategies as Resource Terms, and their Categorical Semantics

abstract: As shown by Tsukada and Ong, simply-typed, normal and eta-long resource terms correspond to plays in Hyland-Ong games, quotiented by Melli\`es' homotopy equivalence. The original proof of this inspiring result is indirect, relying on the injectivity of the relational model w.r.t. both sides of the correspondence -- in particular, the dynamics of the resource calculus is taken into account only via the compatibility of the relational model with the composition of normal terms defined by normalization. In the present paper, we revisit and extend these results. Our first contribution is to restate the correspondence by considering causal structures we call augmentations, which are canonical representatives of Hyland-Ong plays up to homotopy. This allows us to give a direct and explicit account of the connection with normal resource terms. As a second contribution, we extend this account to the reduction of resource terms: building on a notion of strategies as weighted sums of augmentations, we provide a denotational model of the resource calculus, invariant under reduction. A key step -- and our third contribution -- is a categorical model we call a resource category, which is to the resource calculus what differential categories are to the differential lambda-calculus.


title: Global and Preference-based Optimization with Mixed Variables using Piecewise Affine Surrogates

abstract: Optimization problems involving mixed variables, i.e., variables of numerical and categorical nature, can be challenging to solve, especially in the presence of complex constraints. Moreover, when the objective function is the result of a complicated simulation or experiment, it may be expensive to evaluate. This paper proposes a novel surrogate-based global optimization algorithm to solve linearly constrained mixed-variable problems up to medium-large size (around 100 variables after encoding and 20 constraints) based on constructing a piecewise affine surrogate of the objective function over feasible samples. We introduce two types of exploration functions to efficiently search the feasible domain via mixed-integer linear programming solvers. We also provide a preference-based version of the algorithm, which can be used when only pairwise comparisons between samples can be acquired while the underlying objective function to minimize remains unquantified. The two algorithms are tested on mixed-variable benchmark problems with and without constraints. The results show that, within a small number of acquisitions, the proposed algorithms can often achieve better or comparable results than other existing methods.


title: Decision Diagrams for Quantum Computing

abstract: Quantum computing promises to solve some important problems faster than conventional computations ever could. Currently available NISQ devices on which first practical applications are already executed demonstrate the potential -- with future fault-tolerant quantum hardware for more demanding applications on the horizon. Nonetheless, the advantages in computing power come with challenges to be addressed in the design automation and software development community. In particular, non-quantum representations of states and operations, which provide the basis, e.g., for quantum circuit simulation or verification, require an exponential amount of memory. We propose to use decision diagrams as data structure to conquer the exponential memory requirements in many cases. In this chapter, we review the fundamentals on decision diagrams and highlight their applicability in the tasks of quantum circuit simulation with and without errors as well as in verification of quantum circuits. The tools presented here are all available online as open source projects.


title: A Method for Evaluation of Aerodynamic Lift and Drag Based on Statistical Mechanics

abstract: Despite intensive applications of Navier-Stokes equations in computational-fluid-dynamics (CFD) to understand aerodynamics, fundamental questions remain open since the statistical nature of discrete air molecules with random thermal motion is not considered in CFD. Here we introduce an approach based on Statistical Mechanics, termed as "Volume-Element" method, for numerical evaluation of aerodynamic lift and drag. Pressure and friction as a function of angle of attack have been obtained for canonical flat-plate airfoils, and the method is applicable to convex-shape airfoils directly and viable for concave-shape airfoils if combined with Monte Carlo simulations. This approach opens a door not only for aerodynamic applications, but also for further applications in Boson or Fermi gases.


title: The Venus' Cloud Discontinuity in 2022

abstract: First identified in 2016 by JAXA's Akatsuki mission, the discontinuity/disruption is a recurrent wave observed to propagate during decades at the deeper clouds of Venus (47--56 km above the surface), while its absence at the clouds' top ($\sim$70 km) suggests that it dissipates at the upper clouds and contributes in the maintenance of the puzzling atmospheric superrotation of Venus through wave-mean flow interaction. Taking advantage of the campaign of ground-based observations undertaken in coordination with the Akatsuki mission since December 2021 until July 2022, we aimed to undertake the longest uninterrupted monitoring of the cloud discontinuity up to date to obtain a pioneering long-term characterization of its main properties and better constrain its recurrence and lifetime. The dayside upper, middle and nightside lower clouds were studied with images with suitable filters acquired by Akatsuki/UVI, amateur observers and NASA's IRTF/SpeX, respectively. Hundreds of images were inspected in search of manifestations of the discontinuity events and to measure key properties like its dimensions, orientation or rotation period. We succeeded in tracking the discontinuity at the middle clouds during 109 days without interruption. The discontinuity exhibited properties nearly identical to measurements in 2016 and 2020, with an orientation of $91^{\circ}\pm 8^{\circ}$, length/width of $4100\pm 800$ / $500\pm 100$ km and a rotation period of $5.11\pm 0.09$ days. Ultraviolet images during 13-14 June 2022 suggest that the discontinuity may have manifested at the top of the clouds during $\sim$21 hours as a result of an altitude change in the critical level for this wave due to slower zonal winds.


title: Copositive matrices, sums of squares and the stability number of a graph

abstract: This chapter investigates the cone of copositive matrices, with a focus on the design and analysis of conic inner approximations for it. These approximations are based on various sufficient conditions for matrix copositivity, relying on positivity certificates in terms of sums of squares of polynomials. Their application to the discrete optimization problem asking for a maximum stable set in a graph is also discussed. A central theme in this chapter is understanding when the conic approximations suffice for describing the full copositive cone, and when the corresponding bounds for the stable set problem admit finite convergence.


title: Power Line Inspection Tasks with Multi-Aerial Robot Systems via Signal Temporal Logic Specifications

abstract: A framework for computing feasible and constrained trajectories for a fleet of quad-rotors leveraging on Signal Temporal Logic (STL) specifications for power line inspection tasks is proposed in this paper. The planner allows the formulation of complex missions that avoid obstacles and maintain a safe distance between drones while performing the planned mission. An optimization problem is set to generate optimal strategies that satisfy these specifications and also take vehicle constraints into account. Further, an event-triggered replanner is proposed to reply to unforeseen events and external disturbances. An energy minimization term is also considered to implicitly save quad-rotors battery life while carrying out the mission. Numerical simulations in MATLAB and experimental results show the validity and the effectiveness of the proposed approach, and demonstrate its applicability in real-world scenarios.


title: Strong laser physics, non-classical light states and quantum information science

abstract: Strong laser physics is a research direction that relies on the use of high-power lasers and has led to fascinating achievements ranging from relativistic particle acceleration to attosecond science. On the other hand, quantum optics has been built on the use of low photon number sources and has opened the way for groundbreaking discoveries in quantum technology, advancing investigations ranging from fundamental tests of quantum theory to quantum information processing. Despite the tremendous progress, until recently these directions have remained disconnected. This is because, the majority of the interactions in the strong-field limit have been successfully described by semi-classical approximations treating the electromagnetic field classically, as there was no need to include the quantum properties of the field to explain the observations. The link between strong laser physics, quantum optics, and quantum information science has been developed in the recent past. Studies based on fully quantized and conditioning approaches have shown that intense laser--matter interactions can be used for the generation of controllable entangled and non-classical light states. This achievement opens the way for a vast number of investigations stemming from the symbiosis of strong laser physics, quantum optics, and quantum information science. Here, after an introduction to the fundamentals of these research directions, we report on the recent progress in the fully quantized description of intense laser--matter interaction and the methods that have been developed for the generation of non-classical light states and entangled states. Also, we discuss the future directions of non-classical light engineering using strong laser fields, and the potential applications in ultrafast and quantum information science.


title: Scaling Goal-based Exploration via Pruning Proto-goals

abstract: One of the gnarliest challenges in reinforcement learning (RL) is exploration that scales to vast domains, where novelty-, or coverage-seeking behaviour falls short. Goal-directed, purposeful behaviours are able to overcome this, but rely on a good goal space. The core challenge in goal discovery is finding the right balance between generality (not hand-crafted) and tractability (useful, not too many). Our approach explicitly seeks the middle ground, enabling the human designer to specify a vast but meaningful proto-goal space, and an autonomous discovery process to refine this to a narrower space of controllable, reachable, novel, and relevant goals. The effectiveness of goal-conditioned exploration with the latter is then demonstrated in three challenging environments.


title: Partial Optimality in Cubic Correlation Clustering

abstract: The higher-order correlation clustering problem is an expressive model, and recently, local search heuristics have been proposed for several applications. Certifying optimality, however, is NP-hard and practically hampered already by the complexity of the problem statement. Here, we focus on establishing partial optimality conditions for the special case of complete graphs and cubic objective functions. In addition, we define and implement algorithms for testing these conditions and examine their effect numerically, on two datasets.


title: Spectral extrema of graphs with bounded clique number and matching number

abstract: For a set of graphs $\mathcal{F}$, let $\ex(n,\mathcal{F})$ and $\spex(n,\mathcal{F})$ denote the maximum number of edges and the maximum spectral radius of an $n$-vertex $\mathcal{F}$-free graph, respectively. Nikiforov ({\em LAA}, 2007) gave the spectral version of the Tur\'an Theorem by showing that $\spex(n, K_{k+1})=\lambda (T_{k}(n))$, where $T_k(n)$ is the $k$-partite Tur\'an graph on $n$ vertices. In the same year, Feng, Yu and Zhang ({\em LAA}) determined the exact value of $\spex(n, M_{s+1})$, where $M_{s+1}$ is a matching with $s+1$ edges. Recently, Alon and Frankl~(arXiv2210.15076) gave the exact value of $\ex(n,\{K_{k+1},M_{s+1}\})$. In this article, we give the spectral version of the result of Alon and Frankl by determining the exact value of $\spex(n,\{K_{k+1},M_{s+1}\})$ when $n$ is large.


title: Phase diagram of disordered Bose-Hubbard model based on mean-field and percolation analysis in two dimensions and at fixed $n=1$ filling

abstract: We present a phase diagram of Bose-Hubbard model with on-site chemical potential disorder at two dimensions within the scope of mean-field theory. The phase diagram in the disorder strength ($\Delta$) and the on-site repulsion ($U$) for disordered BHM at fixed filling $\langle{n\rangle}=1$, show interesting re-entrance of superfluid phase, sandwiched between Bose-glass phases, as observed by the previous QMC results. We probe the Bose-glass to superfluid transition, as a percolation transition, based on the mean-field results at various parts of the phase diagram using both $\Delta$ and $U$ as the tuning parameter. We argue the robustness of the re-entrant superfluid.


title: Schur-like index of the Klebanov-Witten theory via the AdS/CFT correspondence

abstract: We calculate an unrefined limit of the superconformal index (the Schur-like index) of the Klebanov-Witten theory from the dual AdS side by using the recently developed giant graviton expansion method. Our formula includes multiple sums of the contribution of the D3-branes wrapped on three-cycles in the internal space. We numerically confirm the validity of our formula by comparing indices obtained by the formula with the gauge theory results.


title: Quantum simulation costs for Suzuki-Trotter decomposition of quantum many-body lattice models

abstract: Quantum computers offer the potential to efficiently simulate the dynamics of quantum systems, a task whose difficulty scales exponentially with system size on classical devices. To assess the potential for near-term quantum computers to simulate many-body systems we develop a formalism to straightforwardly compute bounds on the number of Trotter steps needed to accurately simulate the time evolution of fermionic lattice models based on the first-order commutator scaling. We apply this formalism to two closely related many-body models prominent in condensed matter physics, the Hubbard and t-J models. We find that, while a naive comparison of the Trotter depth first seems to favor the Hubbard model, careful consideration of the model parameters and the allowable error for accurate simulation leads to a substantial advantage in favor of the t-J model. These results and formalism set the stage for significant improvements in quantum simulation costs.


title: LUXE: A new experiment to study non-perturbative QED in electron-laser and photon-laser collisions

abstract: The LUXE experiment (Laser Und XFEL Experiment) is an experiment in planning at DESY Hamburg using the electron beam of the European XFEL. LUXE is intended to study collisions between a high-intensity optical laser pulse and 16.5 GeV electrons, as well as collisions between the laser pulse and high-energy secondary photons. This will elucidate quantum electrodynamics (QED) at the strong-field frontier, where the electromagnetic field of the laser is above the Schwinger limit. In this regime, QED is non-perturbative. This manifests itself in the creation of physical electron-positron pairs from the QED vacuum, similar to Hawking radiation from black holes. LUXE intends to measure the positron production rate in an unprecedented laser intensity regime. An overview of the LUXE experimental setup and its challenges and progress is given in this article, along with a discussion of the expected physics reach in the context of testing QED in the non-perturbative regime.


title: Augmenting NLP data to counter Annotation Artifacts for NLI Tasks

abstract: In this paper, we explore Annotation Artifacts - the phenomena wherein large pre-trained NLP models achieve high performance on benchmark datasets but do not actually "solve" the underlying task and instead rely on some dataset artifacts (same across train, validation, and test sets) to figure out the right answer. We explore this phenomenon on the well-known Natural Language Inference task by first using contrast and adversarial examples to understand limitations to the model's performance and show one of the biases arising from annotation artifacts (the way training data was constructed by the annotators). We then propose a data augmentation technique to fix this bias and measure its effectiveness.


title: Identifying the body force from partial observations of a 2D incompressible velocity field

abstract: Using limited observations of the velocity field of the two-dimensional Navier-Stokes equations, we successfully reconstruct the steady body force that drives the flow. The number of observed data points is less than 10\% of the number of modes that describes the full flow field, indicating that the method introduced here is capable of identifying complicated forcing mechanisms from a relatively small collection of observations. In addition to demonstrating the efficacy of this method on turbulent flow data generated by simulations of the two-dimensional Navier-Stokes equations, we also rigorously justify convergence of the derived algorithm. Beyond the practical applicability of such an algorithm, the reliance of this method on the dynamical evolution of the system yields physical insight into the turbulent cascade.


title: REIN: A Comprehensive Benchmark Framework for Data Cleaning Methods in ML Pipelines

abstract: Nowadays, machine learning (ML) plays a vital role in many aspects of our daily life. In essence, building well-performing ML applications requires the provision of high-quality data throughout the entire life-cycle of such applications. Nevertheless, most of the real-world tabular data suffer from different types of discrepancies, such as missing values, outliers, duplicates, pattern violation, and inconsistencies. Such discrepancies typically emerge while collecting, transferring, storing, and/or integrating the data. To deal with these discrepancies, numerous data cleaning methods have been introduced. However, the majority of such methods broadly overlook the requirements imposed by downstream ML models. As a result, the potential of utilizing these data cleaning methods in ML pipelines is predominantly unrevealed. In this work, we introduce a comprehensive benchmark, called REIN1, to thoroughly investigate the impact of data cleaning methods on various ML models. Through the benchmark, we provide answers to important research questions, e.g., where and whether data cleaning is a necessary step in ML pipelines. To this end, the benchmark examines 38 simple and advanced error detection and repair methods. To evaluate these methods, we utilized a wide collection of ML models trained on 14 publicly-available datasets covering different domains and encompassing realistic as well as synthetic error profiles.


title: Practical Guidance for Bayesian Inference in Astronomy

abstract: In the last two decades, Bayesian inference has become commonplace in astronomy. At the same time, the choice of algorithms, terminology, notation, and interpretation of Bayesian inference varies from one sub-field of astronomy to the next, which can lead to confusion to both those learning and those familiar with Bayesian statistics. Moreover, the choice varies between the astronomy and statistics literature, too. In this paper, our goal is two-fold: (1) provide a reference that consolidates and clarifies terminology and notation across disciplines, and (2) outline practical guidance for Bayesian inference in astronomy. Highlighting both the astronomy and statistics literature, we cover topics such as notation, specification of the likelihood and prior distributions, inference using the posterior distribution, and posterior predictive checking. It is not our intention to introduce the entire field of Bayesian data analysis -- rather, we present a series of useful practices for astronomers who already have an understanding of the Bayesian "nuts and bolts" and wish to increase their expertise and extend their knowledge. Moreover, as the field of astrostatistics and astroinformatics continues to grow, we hope this paper will serve as both a helpful reference and as a jumping off point for deeper dives into the statistics and astrostatistics literature.


title: Submodular setfunctions on sigma-algebras, version 2

abstract: Submodular setfunctions play an important role in potential theory, and a perhaps even more important role in combinatorial optimization. The analytic line of research goes back to the work of Choquet; the combinatorial, to the work of Rado and Edmonds. The two research lines have not had much interaction though. Recently, with the development of graph limit theory, the question of a limit theory for matroids has been considered by several people; such a theory will, most likely, involve submodular setfunctions both on finite and infinite sets. The goal of this paper is to describe several connections between the analytic and combinatorial theory, to show parallels between them, and to propose problems arising by trying the generalize the rich theory of submodular setfunctions on finite sets to the analytic setting. It is aimed more at combinatorialists, and it spends more time on developing the analytic theory, often referring to results in combinatorial optimization by name or sketch only.


title: An Application of Stereo Thermal Vision for Preliminary Inspection of Electrical Power Lines by MAVs

abstract: An application of stereo thermal vision to perform preliminary inspection operations of electrical power lines by a particular class of small Unmanned Aerial Vehicles (UAVs), aka Micro Unmanned Aerial Vehicles (MAVs), is presented in this paper. The proposed hardware and software setup allows the detection of overheated power equipment, one of the major causes of power outages. The stereo vision complements the GPS information by finely detecting the potential source of damage while also providing a measure of the harm extension. The reduced sizes and the light weight of the vehicle enable to survey areas otherwise difficult to access with standard UAVs. Gazebo simulations and real flight experiments demonstrate the feasibility and effectiveness of the proposed setup.


title: Non-Hermitian fermions with effective mass

abstract: In this work, we readdress the Dirac equation in the position-dependent mass (PDM) scenario. Here, one investigates the quantum dynamics of non-Hermitian fermionic particles with effective mass assuming a $(1+1)$-dimension flat spacetime. In seeking a Schr\"{o}dinger-like theory with PT symmetry is appropriate to assume a complex potential. This imaginary interaction produces an effective potential purely dependent on mass distribution. Furthermore, we study the non-relativistic limit by adopting the Foldy-Wouthuysen transformation. As a result, that limit leads to an ordering equivalent to the ordering that describes abrupt heterojunctions. Posteriorly, particular cases of mass distribution also were analyzed. Thus, interesting results arise for the case of a linear PDM, which produces an effective harmonic oscillator and induces the emergence of bound states. For a hyperbolic PDM, an effective potential barrier emerges. However, in this case, the fermions behave as free particles with positive-defined energy.


title: Simulating Rayleigh-Taylor induced magnetohydrodynamic turbulence in prominences

abstract: Solar prominences represent large-scale condensations suspended against gravity within the solar atmosphere. The Rayleigh-Taylor (RT) instability is proposed to be one of the important fundamental processes leading to the generation of dynamics at many spatial and temporal scales within these long-lived, cool, and dense structures amongst the solar corona. We run 2.5D ideal magnetohydrodynamic (MHD) simulations with the open-source MPI-AMRVAC code far into the nonlinear evolution of an RT instability perturbed at the prominence-corona interface. Our simulation achieves a resolution down to $\sim 23$ km on a 2D $(x,y)$ domain of size 30 Mm $\times$ 30 Mm. We follow the instability transitioning from a multi-mode linear perturbation to its nonlinear, fully turbulent state. Over the succeeding $\sim 25$ minute period, we perform a statistical analysis of the prominence at a cadence of $\sim 0.858$ s. We find the dominant guiding $B_z$ component induces coherent structure formation predominantly in the vertical velocity $V_y$ component, consistent with observations, demonstrating an anisotropic turbulence state within our prominence. We find power-law scalings in the inertial range for the velocity, magnetic, and temperature fields. The presence of intermittency is evident from the probability density functions of the field fluctuations, which depart from Gaussianity as we consider smaller and smaller scales. In exact agreement, the higher-order structure functions quantify the multifractality, in addition to different scale characteristics and behavior between the longitudinal and transverse directions. Thus, the statistics remain consistent with the conclusions from previous observational studies, enabling us to directly relate the RT instability to the turbulent characteristics found within quiescent prominence.


title: A Perception-Aware NMPC for Vision-Based Target Tracking and Collision Avoidance with a Multi-Rotor UAV

abstract: A perception-aware Nonlinear Model Predictive Control (NMPC) strategy aimed at performing vision-based target tracking and collision avoidance with a multi-rotor aerial vehicle is presented in this paper. The proposed control strategy considers both realistic actuation limits at the torque level and visual perception constraints to enforce the visibility coverage of a target while complying with the mission objectives. Furthermore, the approach allows to safely navigate in a workspace area populated by dynamic obstacles with a ballistic motion. The formulation is meant to be generic and set upon a large class of multi-rotor vehicles that covers both coplanar designs like quadrotors as well as fully-actuated platforms with tilted propellers. The feasibility and effectiveness of the control strategy are demonstrated via closed-loop simulations achieved in MATLAB.


title: One-loop inelastic amplitudes from tree-level elasticity in 2d

abstract: We investigate the perturbative integrability of different quantum field theories in 1+1 dimensions at one loop. Starting from massive bosonic Lagrangians with polynomial-like potentials and absence of inelastic processes at the tree level, we derive a formula reproducing one-loop inelastic amplitudes for arbitrary numbers of external legs. We show that any one-loop inelastic amplitude is equal to its tree-level version, in which the masses of particles and propagators are corrected by one-loop bubble diagrams. These amplitudes are nonzero in general and counterterms need to be added to the Lagrangian to restore the integrability at one loop. For the class of simply-laced affine Toda theories, we show that the necessary counterterms are obtained by scaling the potential with an overall multiplicative factor, proving in this way the one-loop integrability of these models. Even though we focus on bosonic theories with polynomial-like interactions, we expect that the on-shell techniques used in this paper to compute amplitudes can be applied to several other models.

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


title: Meissner effect induced Majorana zero modes at small magnetic field

abstract: One fundamental difficulty in realizing Majorana zero modes (MZMs) is the required high magnetic field, which causes serious issues, e.g., shrinks the superconducting gap, reduces topological region, and weakens their robustness against disorder. In this work, we propose that the Meissner effect can bring the topological superconducting phase to a superconductor/topological-insulator/superconductor (SC/TI/SC) hybrid system. Remarkably, the required magnetic field strength ($<$10 mT) to support MZMs has been reduced by several orders of magnitude compared to that ($>$0.5 T) in the previous schemes. Tuning the phase difference between the top and bottom superconductors can control the number and position of the MZMs. In addition, we account for the electrostatic potential in the superconductor/topological-insulator (SC/TI) interface through the self-consistent Schr\"odinger-Poisson calculation, which shows the experimental accessibility of our proposal. Our proposal only needs a small magnetic eld of less than 10 mT and is robust against the chemical potential fluctuation, which makes SC/TI/SC hybrid an ideal Majorana platform.


title: Revisiting collisional dust growth in Class 0/I protostellar disks: Sweep-up can convert a few $10 M_\oplus$ of dust into kg pebbles in 0.1 Myr

abstract: Recent observations suggest that the first stages of planet formation likely take place in the Class 0/I phase of Young Stellar Object evolution, when the star and the disk are still embedded in an infalling envelope. In this study we perform grain coagulation calculations to investigate the very first stage of planet formation, the collisional growth of dust grains, in Class 0/I disks. We find that the slow increase in grain mass by high-velocity collision with much smaller grains ("sweep-up") allows $\sim 50 M_\oplus$ of grains to grow well beyond the fragmentation barrier into $\sim$kg pebbles by the end of Class 0/I (0.1 Myr). We analyze the linear growth and saturation of sweep-up to understand our results quantitatively, and test whether the sweep-up outcome is sensitive to disk parameters and details of the grain coagulation model. The sweep-up pebble population could be important for planet formation, because they are less well-coupled to the gas (compared to the main population below the fragmentation barrier) and therefore more favorable to known mechanisms of dust clump formation (which initiate planetesimal formation). It also contains enough mass to form all planet cores, based on observational estimates of the planet mass budget. Our findings motivate future studies of grain growth and planetesimal formation in Class 0/I disks, including the subsequent evolution of this sweep-up population.


title: DeepCAM: A Fully CAM-based Inference Accelerator with Variable Hash Lengths for Energy-efficient Deep Neural Networks

abstract: With ever increasing depth and width in deep neural networks to achieve state-of-the-art performance, deep learning computation has significantly grown, and dot-products remain dominant in overall computation time. Most prior works are built on conventional dot-product where weighted input summation is used to represent the neuron operation. However, another implementation of dot-product based on the notion of angles and magnitudes in the Euclidean space has attracted limited attention. This paper proposes DeepCAM, an inference accelerator built on two critical innovations to alleviate the computation time bottleneck of convolutional neural networks. The first innovation is an approximate dot-product built on computations in the Euclidean space that can replace addition and multiplication with simple bit-wise operations. The second innovation is a dynamic size content addressable memory-based (CAM-based) accelerator to perform bit-wise operations and accelerate the CNNs with a lower computation time. Our experiments on benchmark image recognition datasets demonstrate that DeepCAM is up to 523x and 3498x faster than Eyeriss and traditional CPUs like Intel Skylake, respectively. Furthermore, the energy consumed by our DeepCAM approach is 2.16x to 109x less compared to Eyeriss.


title: Platform Trials: the Impact of common Controls on Type One Error and Power

abstract: Platform trials offer a framework to study multiple interventions in a single trial with the opportunity of opening and closing arms. The use of a common control in platform trials can increase efficiency as compared to individual control arms or separate trials per treatment. However, the need for multiplicity adjustment as a consequence of common controls is currently a controversial debate among researchers, pharmaceutical companies, as well as regulators. We investigate the impact of a common control arm in platform trials on the type one error and power in comparison to what would have been obtained with a platform trial with individual control arms in a simulation study. Furthermore, we evaluate the impact on power in case multiplicity adjustment is required in a platform trial. In both study designs, the family-wise error rate (FWER) is inflated compared to a standard, two-armed randomized controlled trial when no multiplicity adjustment is applied. In case of a common control, the FWER inflation is smaller. In most circumstances, a platform trial with a common control is still beneficial in terms of sample size and power after multiplicity adjustment, whereas in some cases, the platform trial with a common control loses the efficiency gain. Therefore, we further discuss the need for adjustment in terms of a family definition or hypotheses dependencies.


title: Period relations between the Betti-Whittaker periods for ${\rm GL}_n$ under duality

abstract: In this paper, under some regularity conditions, we prove a period relation between the Betti--Whittaker periods associated to a regular algebraic cuspidal automorphic representation of ${\rm GL}_n(\mathbb{A})$ and its contragredient. As a consequence, we obtain the trivialness of the relative period associated to a regular algebraic cuspidal automorphic representation of ${\rm GL}_{2n}(\mathbb{A})$ of orthogonal type, which implies the algebraicity of the ratios of successive critical $L$-values for ${\rm GSpin}_{2n}^* \times {\rm GL}_{n'}$ by the result of Harder and Raghuram.


title: Consistent Group selection using Global-local prior in High dimensional setup

abstract: We consider the problem of model selection when grouping structure is inherent within the regressors. Using a Bayesian approach, we model the mean vector by a one-group global-local shrinkage prior belonging to a broad class of such priors that includes the horseshoe prior. In the context of variable selection, this class of priors was studied by Tang et al. (2018). A modified form of the usual class of global-local shrinkage priors with polynomial tail on the group regression coefficients is proposed. The resulting threshold rule selects the active group if within a group, the ratio of the $L_2$ norm of the posterior mean of its group coefficient to that of the corresponding ordinary least square group estimate is greater than a half. In the theoretical part of this article, we have used the global shrinkage parameter either as a tuning one or an empirical Bayes estimate of it depending on the knowledge regarding the underlying sparsity of the model. When the proportion of active groups is known, using $\tau$ as a tuning parameter, we have proved that our method is oracle. In case this proportion is unknown, we propose an empirical Bayes estimate of $\tau$. Even if this empirical Bayes estimate is used, then also our half-thresholding rule captures the truly important groups and obtains optimal estimation rate of the group coefficients simultaneously. Though our theoretical works rely on a special form of the design matrix, for general design matrices also, our simulation results show that the half-thresholding rule yields results similar to that of Yang and Narisetty (2020). As a consequence of this, in a high dimensional sparse group selection problem, instead of using the so-called `gold standard' spike and slab prior, one can use the one-group global-local shrinkage priors with polynomial tail to obtain similar results.


title: Improving the Generalizability of Collaborative Dialogue Analysis with Multi-Feature Embeddings

abstract: Conflict prediction in communication is integral to the design of virtual agents that support successful teamwork by providing timely assistance. The aim of our research is to analyze discourse to predict collaboration success. Unfortunately, resource scarcity is a problem that teamwork researchers commonly face since it is hard to gather a large number of training examples. To alleviate this problem, this paper introduces a multi-feature embedding (MFeEmb) that improves the generalizability of conflict prediction models trained on dialogue sequences. MFeEmb leverages textual, structural, and semantic information from the dialogues by incorporating lexical, dialogue acts, and sentiment features. The use of dialogue acts and sentiment features reduces performance loss from natural distribution shifts caused mainly by changes in vocabulary. This paper demonstrates the performance of MFeEmb on domain adaptation problems in which the model is trained on discourse from one task domain and applied to predict team performance in a different domain. The generalizability of MFeEmb is quantified using the similarity measure proposed by Bontonou et al. (2021). Our results show that MFeEmb serves as an excellent domain-agnostic representation for meta-pretraining a few-shot model on collaborative multiparty dialogues.


title: Superconductivity and magnetic and transport properties of single-crystalline CaK(Fe$_{1-x}$Cr$_{x}$)$_{4}$As$_{4}$

abstract: Members of the CaK(Fe$_{1-x}$Cr$_{x}$)$_{4}$As$_{4}$ series have been synthesized by high-temperature solution growth in single crystalline form and characterized by X-ray diffraction, elemental analysis, magnetic and transport measurements. The effects of Cr substitution on the superconducting and magnetic ground states of CaKFe$_4$As$_4$ ($T_c$ = 35 K) have been studied. These measurements show that the superconducting transition temperature decreases monotonically and is finally suppressed below 1.8 K as $x$ is increased from 0 to 0.038. The magnetic transition temperature increases in a roughly linear manner as Cr substitution increases. A temperature-composition (\textit{T}-\textit{x}) phase diagram is constructed, revealing a half-dome of superconductivity with the magnetic transition temperature, $T^*$, appearing near 22~K for $x$ $\sim$ 0.017 and rising slowly up to 60~K for $x$ $\sim$ 0.077. The $T$-$x$ phase diagrams for CaK(Fe$_{1-x}$$T$$_{x}$)$_4$As$_4$ for $T$ = Cr and Mn are essentially the same despite the nominally different band filling; this is in marked contrast to $T$ = Co and Ni series for which the $T$-$x$ diagrams scale by a factor of two, consistent with the different changes in band filling Co and Ni would produce when replacing Fe. Superconductivity of CaK(Fe$_{1-x}$Cr$_{x}$)$_{4}$As$_{4}$ is also studied as a function of magnetic field. A clear change in $H^\prime_{c2}$($T$)/$T_c$, where $H^\prime_{c2}$($T$) is d$H_{c2}$($T$)/d$T$, at $x$ $\sim$ 0.012 is observed and probably is related to change of the Fermi surface due to magnetic order. Coherence length and the London penetration depths are also calculated based on $H_{c1}$ and $H_{c2}$ data. Coherence lengths as the function of $x$ also shows changes near $x$ = 0.012, again consistent with Fermi surfaces changes associated with the magnetic ordering seen for higher $x$-values.


title: A note on small weight codewords of projective geometric codes and on the smallest sets of even type

abstract: In this paper, we study the codes $\mathcal C_k(n,q)$ arising from the incidence of points and $k$-spaces in $\text{PG}(n,q)$ over the field $\mathbb F_p$, with $q = p^h$, $p$ prime. We classify all codewords of minimum weight of the dual code $\mathcal C_k(n,q)^\perp$ in case $q \in \{4,8\}$. This is equivalent to classifying the smallest sets of even type in $\text{PG}(n,q)$ for $q \in \{4,8\}$. We also provide shorter proofs for some already known results, namely of the best known lower bound on the minimum weight of $\mathcal C_k(n,q)^\perp$ for general values of $q$, and of the classification of all codewords of $\mathcal C_{n-1}(n,q)$ of weight up to $2q^{n-1}$.


title: Enhanced Efficiency at Maximum Power in a Fock-Darwin Model Quantum Dot Engine

abstract: We study the performance of an endoreversible magnetic Otto cycle with a working substance composed of a single quantum dot described using the well-known Fock-Darwin model. We find that tuning the intensity of the parabolic trap (geometrical confinement) impacts the proposed cycle's performance, quantified by the power, work, efficiency, and parameter region where the cycle operates as an engine. We demonstrate that a parameter region exists where the efficiency at maximum output power exceeds the Curzon-Ahlborn efficiency, the efficiency at maximum power achieved by a classical working substance.


title: Computers as Bad Social Actors: Dark Patterns and Anti-Patterns in Interfaces that Act Socially

abstract: Technologies increasingly mimic human-like social behaviours. Beyond prototypical conversational agents like chatbots, this also applies to basic automated systems like app notifications or self-checkout machines that address or 'talk to' users in everyday situations. Whilst early evidence suggests social cues may enhance user experience, we lack a good understanding of when, and why, their use may be inappropriate. Building on a survey of English-speaking smartphone users (n=80), we conducted experience sampling, interview, and workshop studies (n=11) to elicit people's attitudes and preferences regarding how automated systems talk to them. We thematically analysed examples of phrasings/conduct participants disliked, the reasons they gave, and what they would prefer instead. One category of inappropriate behaviour we identified regards the use of social cues as tools for manipulation. We describe four unwanted tactics interfaces use: agents playing on users' emotions (e.g., guilt-tripping or coaxing them), being pushy, `mothering' users, or being passive-aggressive. Another category regards pragmatics: personal or situational factors that can make a seemingly friendly or helpful utterance come across as rude, tactless, or invasive. These include failing to account for relevant contextual particulars (e.g., embarrassing users in public); expressing obviously false personalised care; or treating a user in ways that they find inappropriate for the system's role or the nature of their relationship. We discuss these behaviours in terms of an emerging 'social' class of dark and anti-patterns. Drawing from participant recommendations, we offer suggestions for improving how interfaces treat people in interactions, including broader normative reflections on treating users respectfully.


title: Improved local models and new Bell inequalities via Frank-Wolfe algorithms

abstract: In Bell scenarios with two outcomes per party, we algorithmically consider the two sides of the membership problem for the local polytope: constructing local models and deriving separating hyperplanes, that is, Bell inequalities. We take advantage of the recent developments in so-called Frank-Wolfe algorithms to significantly increase the convergence rate of existing methods. As an application, we study the threshold value for the nonlocality of two-qubit Werner states under projective measurements. Here, we improve on both the upper and lower bounds present in the literature. Importantly, our bounds are entirely analytical; moreover, they yield refined bounds on the value of the Grothendieck constant of order three: $1.4367\leqslant K_G(3)\leqslant1.4546$. We also demonstrate the efficiency of our approach in multipartite Bell scenarios, and present the first local models for all projective measurements with visibilities noticeably higher than the entanglement threshold. We make our entire code accessible as a Julia library called BellPolytopes.jl.


title: A Nonlinear Model Predictive Control Strategy for Autonomous Racing of Scale Vehicles

abstract: A Nonlinear Model Predictive Control (NMPC) strategy aimed at controlling a small-scale car model for autonomous racing competitions is presented in this paper. The proposed control strategy is concerned with minimizing the lap time while keeping the vehicle within track boundaries. The optimization problem considers both the vehicle's actuation limits and the lateral and longitudinal forces acting on the car modeled through the Pacejka's magic formula and a simple drivetrain model. Furthermore, the approach allows to safely race on a track populated by static obstacles generating collision-free trajectories and tracking them while enhancing the lap timing performance. Gazebo simulations using the F1/10 simulator showcase the feasibility and validity of the proposed control strategy. The code is released as open-source making it possible to replicate the obtained results.


title: Zero-Shot Learning for Requirements Classification: An Exploratory Study

abstract: Context: Requirements engineering researchers have been experimenting with machine learning and deep learning approaches for a range of RE tasks, such as requirements classification, requirements tracing, ambiguity detection, and modelling. However, most of today's ML/DL approaches are based on supervised learning techniques, meaning that they need to be trained using a large amount of task-specific labelled training data. This constraint poses an enormous challenge to RE researchers, as the lack of labelled data makes it difficult for them to fully exploit the benefit of advanced ML/DL technologies. Objective: This paper addresses this problem by showing how a zero-shot learning approach can be used for requirements classification without using any labelled training data. We focus on the classification task because many RE tasks can be framed as classification problems. Method: The ZSL approach used in our study employs contextual word-embeddings and transformer-based language models. We demonstrate this approach through a series of experiments to perform three classification tasks: (1)FR/NFR: classification functional requirements vs non-functional requirements; (2)NFR: identification of NFR classes; (3)Security: classification of security vs non-security requirements. Results: The study shows that the ZSL approach achieves an F1 score of 0.66 for the FR/NFR task. For the NFR task, the approach yields F1~0.72-0.80, considering the most frequent classes. For the Security task, F1~0.66. All of the aforementioned F1 scores are achieved with zero-training efforts. Conclusion: This study demonstrates the potential of ZSL for requirements classification. An important implication is that it is possible to have very little or no training data to perform classification tasks. The proposed approach thus contributes to the solution of the long-standing problem of data shortage in RE.


title: Domain Generalization by Functional Regression

abstract: The problem of domain generalization is to learn, given data from different source distributions, a model that can be expected to generalize well on new target distributions which are only seen through unlabeled samples. In this paper, we study domain generalization as a problem of functional regression. Our concept leads to a new algorithm for learning a linear operator from marginal distributions of inputs to the corresponding conditional distributions of outputs given inputs. Our algorithm allows a source distribution-dependent construction of reproducing kernel Hilbert spaces for prediction, and, satisfies finite sample error bounds for the idealized risk. Numerical implementations and source code are available.


title: Lightweight Transformers for Clinical Natural Language Processing

abstract: Specialised pre-trained language models are becoming more frequent in NLP since they can potentially outperform models trained on generic texts. BioBERT and BioClinicalBERT are two examples of such models that have shown promise in medical NLP tasks. Many of these models are overparametrised and resource-intensive, but thanks to techniques like Knowledge Distillation (KD), it is possible to create smaller versions that perform almost as well as their larger counterparts. In this work, we specifically focus on development of compact language models for processing clinical texts (i.e. progress notes, discharge summaries etc). We developed a number of efficient lightweight clinical transformers using knowledge distillation and continual learning, with the number of parameters ranging from 15 million to 65 million. These models performed comparably to larger models such as BioBERT and ClinicalBioBERT and significantly outperformed other compact models trained on general or biomedical data. Our extensive evaluation was done across several standard datasets and covered a wide range of clinical text-mining tasks, including Natural Language Inference, Relation Extraction, Named Entity Recognition, and Sequence Classification. To our knowledge, this is the first comprehensive study specifically focused on creating efficient and compact transformers for clinical NLP tasks. The models and code used in this study can be found on our Huggingface profile at https://huggingface.co/nlpie and Github page at https://github.com/nlpie-research/Lightweight-Clinical-Transformers, respectively, promoting reproducibility of our results.


title: RTClean: Context-aware Tabular Data Cleaning using Real-time OFDs

abstract: Nowadays, machine learning plays a key role in developing plenty of applications, e.g., smart homes, smart medical assistance, and autonomous driving. A major challenge of these applications is preserving high quality of the training and the serving data. Nevertheless, existing data cleaning methods cannot exploit context information. Thus, they usually fail to track shifts in the data distributions or the associated error profiles. To overcome these limitations, we introduce, in this paper, a novel method for automated tabular data cleaning powered by dynamic functional dependency rules extracted from a live context model. As a proof of concept, we create a smart home use case to collect data while preserving the context information. Using two different data sets, our evaluations show that the proposed cleaning method outperforms a set of baseline methods in terms of the detection and repair accuracy.


title: Large-scale geometry of Borel graphs of polynomial growth

abstract: We study graphs of polynomial growth from the perspective of asymptotic geometry and descriptive set theory. The starting point of our investigation is a theorem of Krauthgamer and Lee who showed that every connected graph of polynomial growth admits an injective contraction mapping to $(\mathbb Z^n, \|\cdot\|_\infty)$ for some $n\in\mathbb N$. We strengthen and generalize this result in a number of ways. In particular, answering a question of Papasoglu, we construct coarse embeddings from graphs of polynomial growth to $\mathbb Z^n$. Moreover, we only require $n$ to be linear in the asymptotic polynomial growth rate of the graph; this confirms a conjecture of Levin and Linial, London, and Rabinovich "in the asymptotic sense." (The exact form of the conjecture was refuted by Krauthgamer and Lee.) All our results are proved for Borel graphs, which allows us to settle a number of problems in descriptive combinatorics. Roughly, we prove that graphs generated by free Borel actions of $\mathbb Z^n$ are universal for the class of Borel graphs of polynomial growth. This provides a general method for extending results about $\mathbb Z^n$-actions to all Borel graphs of polynomial growth. For example, an immediate consequence of our main result is that all Borel graphs of polynomial growth are hyperfinite, which answers a well-known question in the area. As another illustration, we show that Borel graphs of polynomial growth support a certain combinatorial structure called toast. An important technical tool in our arguments is the notion of padded decomposition from computer science, which is closely related to the concept of asymptotic dimension due to Gromov. Along the way we find an alternative, probabilistic proof of a theorem of Papasoglu that graphs of asymptotic polynomial growth rate $\rho<\infty$ have asymptotic dimension at most $\rho$ and establish the same bound in the Borel setting.


title: Optimum Trajectory Planning for Multi-Rotor UAV Relays with Tilt and Antenna Orientation Variations

abstract: Multi-rotor Unmanned Aerial Vehicles (UAVs) need to tilt in order to move; this modifies the UAV's antenna orientation. We consider the scenario where a multi-rotor UAV serves as a communication relay between a Base Station (BS) and another UAV. We propose a framework to generate feasible trajectories for the multi-rotor UAV relay while considering its motion dynamics and the motion-induced changes of the antenna orientation. The UAV relay's trajectory is optimized to maximize the end-to-end number of bits transmitted. Numerical simulations in MATLAB and Gazebo show the benefits of accounting for the antenna orientation variations due to the UAV tilt.


title: Constrained Empirical Risk Minimization: Theory and Practice

abstract: Deep Neural Networks (DNNs) are widely used for their ability to effectively approximate large classes of functions. This flexibility, however, makes the strict enforcement of constraints on DNNs an open problem. Here we present a framework that, under mild assumptions, allows the exact enforcement of constraints on parameterized sets of functions such as DNNs. Instead of imposing "soft'' constraints via additional terms in the loss, we restrict (a subset of) the DNN parameters to a submanifold on which the constraints are satisfied exactly throughout the entire training procedure. We focus on constraints that are outside the scope of equivariant networks used in Geometric Deep Learning. As a major example of the framework, we restrict filters of a Convolutional Neural Network (CNN) to be wavelets, and apply these wavelet networks to the task of contour prediction in the medical domain.


title: A Benchmark on Uncertainty Quantification for Deep Learning Prognostics

abstract: Reliable uncertainty quantification on RUL prediction is crucial for informative decision-making in predictive maintenance. In this context, we assess some of the latest developments in the field of uncertainty quantification for prognostics deep learning. This includes the state-of-the-art variational inference algorithms for Bayesian neural networks (BNN) as well as popular alternatives such as Monte Carlo Dropout (MCD), deep ensembles (DE) and heteroscedastic neural networks (HNN). All the inference techniques share the same inception deep learning architecture as a functional model. We performed hyperparameter search to optimize the main variational and learning parameters of the algorithms. The performance of the methods is evaluated on a subset of the large NASA NCMAPSS dataset for aircraft engines. The assessment includes RUL prediction accuracy, the quality of predictive uncertainty, and the possibility to break down the total predictive uncertainty into its aleatoric and epistemic parts. The results show no method clearly outperforms the others in all the situations. Although all methods are close in terms of accuracy, we find differences in the way they estimate uncertainty. Thus, DE and MCD generally provide more conservative predictive uncertainty than BNN. Surprisingly, HNN can achieve strong results without the added training complexity and extra parameters of the BNN. For tasks like active learning where a separation of epistemic and aleatoric uncertainty is required, radial BNN and MCD seem the best options.


title: Find a witness or shatter: the landscape of computable PAC learning

abstract: This paper contributes to the study of CPAC learnability -- a computable version of PAC learning -- by solving three open questions from recent papers. Firstly, we prove that every improperly CPAC learnable class is contained in a class which is properly CPAC learnable with polynomial sample complexity. This confirms a conjecture by Agarwal et al (COLT 2021). Secondly, we show that there exists a decidable class of hypothesis which is properly CPAC learnable, but only with uncomputably fast growing sample complexity. This solves a question from Sterkenburg (COLT 2022). Finally, we construct a decidable class of finite Littlestone dimension which is not improperly CPAC learnable, strengthening a recent result of Sterkenburg (2022) and answering a question posed by Hasrati and Ben-David (ALT 2023). Together with previous work, our results provide a complete landscape for the learnability problem in the CPAC setting.


title: Zeno: An Interactive Framework for Behavioral Evaluation of Machine Learning

abstract: Machine learning models with high accuracy on test data can still produce systematic failures, such as harmful biases and safety issues, when deployed in the real world. To detect and mitigate such failures, practitioners run behavioral evaluation of their models, checking model outputs for specific types of inputs. Behavioral evaluation is important but challenging, requiring that practitioners discover real-world patterns and validate systematic failures. We conducted 18 semi-structured interviews with ML practitioners to better understand the challenges of behavioral evaluation and found that it is a collaborative, use-case-first process that is not adequately supported by existing task- and domain-specific tools. Using these findings, we designed Zeno, a general-purpose framework for visualizing and testing AI systems across diverse use cases. In four case studies with participants using Zeno on real-world models, we found that practitioners were able to reproduce previous manual analyses and discover new systematic failures.


title: Observation of new $\Omega_c^{0}$ states decaying to the $\Xi_c^+K^-$ final state

abstract: Two new excited states, $\Omega_c(3185)^0$ and $\Omega_c(3327)^0$, are observed in the $\Xi_c^{+}K^{-}$ invariant-mass spectrum using proton-proton collision data collected by the LHCb experiment, corresponding to an integrated luminosity of $9\,{\rm fb}^{-1}$. Five previously observed excited $\Omega_c^0$ states are confirmed, namely $\Omega_c(3000)^0$, $\Omega_c(3050)^0$, $\Omega_c(3065)^0$, $\Omega_c(3090)^0$, and $\Omega_c(3119)^0$. The masses and widths of these seven states are measured with the highest precision to date.


title: Pricing cyber-insurance for systems via maturity models

abstract: Pricing insurance for risks associated with information technology systems presents a complex modelling challenge, combining the disciplines of operations management, security, and economics. This work proposes a socioeconomic modelling framework for cyber-insurance decisions compromised of entity relationship diagrams, security maturity models, and economic models, addressing a long-standing research challenge of capturing organizational structure in the design and pricing of cyber-insurance policies. Insurance pricing is usually informed by the long experience insurance companies have of the magnitude and frequency of losses that arise in organizations based on their size, industry sector, and location. Consequently, their calculations of premia will start from a baseline determined by these considerations. A unique challenge of cyber-insurance is that data history is limited and not necessarily informative of future loss risk meaning that established actuarial methodology for other lines of insurance may not be the optimal pricing strategy. The modelling framework proposed in this paper provides a vehicle for agreement between practitioners in the cyber-insurance ecosystem on cyber-security risks and allows for the users to choose their desired level of abstraction in the description of a system.


title: A Multi-Layer Software Architecture for Aerial Cognitive Multi-Robot Systems in Power Line Inspection Tasks

abstract: This paper presents a multi-layer software architecture to perform cooperative missions with a fleet of quadrotors providing support in electrical power line inspection operations. The proposed software framework guarantees the compliance with safety requirements between drones and human workers while ensuring that the mission is carried out successfully. Besides, cognitive capabilities are integrated in the multi-vehicle system in order to reply to unforeseen events and external disturbances. The feasibility and effectiveness of the proposed architecture are demonstrated by means of realistic simulations.


title: Numerical RG-time integration of the effective potential: Analysis and Benchmark

abstract: We investigate the RG-time integration of the effective potential in the functional renormalization group in the presence of spontaneous symmetry breaking and its subsequent convexity restoration on the example of a scalar theory in $d=3$. The features of this setup are common to many physical models and our results are, therefore, directly applicable to a variety of situations. We provide exhaustive work-precision benchmarks and numerical stability analyses by considering the combination of different discrete formulations of the flow equation and a large collection of different algorithms. The results are explained by using the different components entering the RG-time integration process and the eigenvalue structure of the discrete system. Particularly, the combination of Rosenbrock methods, implicit multistep methods or certain (diagonally) implicit Runge-Kutta methods with exact or autodiff Jacobians proves to be very potent. Furthermore, a reformulation in a logarithmic variable circumvents issues related to the singularity bound in the flat regime of the potential.


title: A Biomedical Knowledge Graph for Biomarker Discovery in Cancer

abstract: Structured and unstructured data and facts about drugs, genes, protein, viruses, and their mechanism are spread across a huge number of scientific articles. These articles are a large-scale knowledge source and can have a huge impact on disseminating knowledge about the mechanisms of certain biological processes. A domain-specific knowledge graph~(KG) is an explicit conceptualization of a specific subject-matter domain represented w.r.t semantically interrelated entities and relations. A KG can be constructed by integrating such facts and data and be used for data integration, exploration, and federated queries. However, exploration and querying large-scale KGs is tedious for certain groups of users due to a lack of knowledge about underlying data assets or semantic technologies. Such a KG will not only allow deducing new knowledge and question answering(QA) but also allows domain experts to explore. Since cross-disciplinary explanations are important for accurate diagnosis, it is important to query the KG to provide interactive explanations about learned biomarkers. Inspired by these, we construct a domain-specific KG, particularly for cancer-specific biomarker discovery. The KG is constructed by integrating cancer-related knowledge and facts from multiple sources. First, we construct a domain-specific ontology, which we call OncoNet Ontology (ONO). The ONO ontology is developed to enable semantic reasoning for verification of the predictions for relations between diseases and genes. The KG is then developed and enriched by harmonizing the ONO, additional metadata schemas, ontologies, controlled vocabularies, and additional concepts from external sources using a BERT-based information extraction method. BioBERT and SciBERT are finetuned with the selected articles crawled from PubMed. We listed down some queries and some examples of QA and deducing knowledge based on the KG.


title: Strong Cosmic Censorship in accelerating spacetime

abstract: It has been established that Strong Cosmic Censorship Conjecture (SCCC) is respected by an asymptotically flat black hole with charge, but violated by a charged asymptotically de Sitter black hole. We studied the instability of the Cauchy horizon for an accelerating black hole in Einstein theory conformally coupled with a scalar field. The black hole is uncharged while having inner, outer, and acceleration horizons. In the limit of vanishing acceleration, denoted by $A \to 0$, it becomes asymptotically flat and extremal, with its acceleration horizon vanishing as well. By exploring the perturbation of the massless scalar field upon the accelerating black hole, whose decay rate is governed by the quasinormal mode spectra, we show that the SCCC is violated in the near-extremal regime and also in the $A\to 0^+$ limit. Our result is the first observation of a black hole violating the SCCC in an almost asymptotically Minkowskian flat regime, as well as the first example of a black hole violating the SCCC with neither charge nor rotation.


title: MetaExplorer: Facilitating Reasoning with Epistemic Uncertainty in Meta-analysis

abstract: Scientists often use meta-analysis to characterize the impact of an intervention on some outcome of interest across a body of literature. However, threats to the utility and validity of meta-analytic estimates arise when scientists average over potentially important variations in context like different research designs. Uncertainty about quality and commensurability of evidence casts doubt on results from meta-analysis, yet existing software tools for meta-analysis do not necessarily emphasize addressing these concerns in their workflows. We present MetaExplorer, a prototype system for meta-analysis that we developed using iterative design with meta-analysis experts to provide a guided process for eliciting assessments of uncertainty and reasoning about how to incorporate them during statistical inference. Our qualitative evaluation of MetaExplorer with experienced meta-analysts shows that imposing a structured workflow both elevates the perceived importance of epistemic concerns and presents opportunities for tools to engage users in dialogue around goals and standards for evidence aggregation.


title: Emergent States in Systems of Chiral Self-Propelled Rods

abstract: We study inherently chiral self-propelled particles, self-rotating at a fixed frequency, in two dimensions, subjected to nematic alignment interactions and rotational noise. By means of both, homogeneous and spatially resolved mean field kinetic theory, we identify various different flocking states. We confirm the presence of the predicted phases using agent-based simulations, in particular, an homogeneous nematic phase at low frequencies, followed by a microflock pattern phase at larger frequencies, characterized by finite-size nematic clusters. We emphasize that special care has to be taken within the simulations in order to avoid artifacts, and present a non-standard simulation technique in order to avoid them.


title: Body-force modelling in thermal compressible flows with lattice Boltzmann method

abstract: Body force modelling in lattice Boltzmann method (LBM) has been extensively studied in the incompressible limit but rarely discussed for thermal compressible flows. Here we present a systematic approach of incorporating body force in LBM which is valid for thermal compressible and non-equilibrium flows. In particular, a LBM forcing scheme accurate for the energy equation with second-order time accuracy is given. New and essential in this scheme is the third-moment contribution of the force term. It is shown via Chapman-Enskog analysis that the absence of this contribution causes an erroneous heat flux quadratic in Mach number and linear in temperature variation. The theoretical findings are verified and the necessity of the third-moment contribution demonstrated by numerical simulations.


title: A Vision-Based Algorithm for a Path Following Problem

abstract: A novel prize-winner algorithm designed for a path following problem within the Unmanned Aerial Vehicle (UAV) field is presented in this paper. The proposed approach exploits the advantages offered by the pure pursuing algorithm to set up an intuitive and simple control framework. A path fora quad-rotor UAV is obtained by using downward facing camera images implementing an Image-Based Visual Servoing (IBVS) approach. Numerical simulations in MATLAB together with the MathWorks Virtual Reality (VR) toolbox demonstrate the validity and the effectiveness of the proposed solution. The code is released as open-source making it possible to go through any part of the system and to replicate the obtained results.


title: A Constant-per-Iteration Likelihood Ratio Test for Online Changepoint Detection for Exponential Family Models

abstract: Online changepoint detection algorithms that are based on likelihood-ratio tests have been shown to have excellent statistical properties. However, a simple online implementation is computationally infeasible as, at time $T$, it involves considering $O(T)$ possible locations for the change. Recently, the FOCuS algorithm has been introduced for detecting changes in mean in Gaussian data that decreases the per-iteration cost to $O(\log T)$. This is possible by using pruning ideas, which reduce the set of changepoint locations that need to be considered at time $T$ to approximately $\log T$. We show that if one wishes to perform the likelihood ratio test for a different one-parameter exponential family model, then exactly the same pruning rule can be used, and again one need only consider approximately $\log T$ locations at iteration $T$. Furthermore, we show how we can adaptively perform the maximisation step of the algorithm so that we need only maximise the test statistic over a small subset of these possible locations. Empirical results show that the resulting online algorithm, which can detect changes under a wide range of models, has a constant-per-iteration cost on average.