title: Using Instruments for Selection to Adjust for Selection Bias in Mendelian Randomization

abstract: Selection bias is a common concern in epidemiologic studies. In the literature, selection bias is often viewed as a missing data problem. Popular approaches to adjust for bias due to missing data, such as inverse probability weighting, rely on the assumption that data are missing at random and can yield biased results if this assumption is violated. In observational studies with outcome data missing not at random, Heckman's sample selection model can be used to adjust for bias due to missing data. In this paper, we review Heckman's method and a similar approach proposed by Tchetgen Tchetgen and Wirth (2017). We then discuss how to apply these methods to Mendelian randomization analyses using individual-level data, with missing data for either the exposure or outcome or both. We explore whether genetic variants associated with participation can be used as instruments for selection. We then describe how to obtain missingness-adjusted Wald ratio, two-stage least squares and inverse variance weighted estimates. The two methods are evaluated and compared in simulations, with results suggesting that they can both mitigate selection bias but may yield parameter estimates with large standard errors in some settings. In an illustrative real-data application, we investigate the effects of body mass index on smoking using data from the Avon Longitudinal Study of Parents and Children.


title: Discontinuous normals in non-Euclidean geometries and two-dimensional gravity

abstract: This paper builds two detailed examples of generalized normal in non-Euclidean spaces, i.e. the hyperbolic and elliptic geometries. In the hyperbolic plane we define a n-sided hyperbolic polygon P, which is the Euclidean closure of the hyperbolic plane H, bounded by n hyperbolic geodesic segments. The polygon P is built by considering the unique geodesic that connects the n+2 vertices (tilde z),z0,z1,...,z(n-1),z(n). The geodesics that link the vertices are Euclidean semicircles centred on the real axis. The vector normal to the geodesic linking two consecutive vertices is evaluated and turns out to be discontinuous. Within the framework of elliptic geometry, we solve the geodesic equation and construct a geodesic triangle. Also in this case, we obtain a discontinuous normal vector field. Last, the possible application to two-dimensional Euclidean quantum gravity is outlined.


title: A Hawkes model with CARMA(p,q) intensity

abstract: In this paper we introduce a new model named CARMA(p,q)-Hawkes process as the Hawkes model with exponential kernel implies a strictly decreasing behaviour of the autocorrelation function and empirically evidences reject the monotonicity assumption on the autocorrelation function. The proposed model is a Hawkes process where the intensity follows a Continuous Time Autoregressive Moving Average (CARMA) process and specifically is able to reproduce more realistic dependence structures. We also study the conditions of stationarity and positivity for the intensity and the strong mixing property for the increments. Furthermore we compute the likelihood, present a simulation method and discuss an estimation method based on the autocorrelation function. A simulation and estimation exercise highlights the main features of the CARMA(p,q)-Hawkes.


title: A Benchmark and Empirical Analysis for Replay Strategies in Continual Learning

abstract: With the capacity of continual learning, humans can continuously acquire knowledge throughout their lifespan. However, computational systems are not, in general, capable of learning tasks sequentially. This long-standing challenge for deep neural networks (DNNs) is called catastrophic forgetting. Multiple solutions have been proposed to overcome this limitation. This paper makes an in-depth evaluation of the memory replay methods, exploring the efficiency, performance, and scalability of various sampling strategies when selecting replay data. All experiments are conducted on multiple datasets under various domains. Finally, a practical solution for selecting replay methods for various data distributions is provided.


title: MAORY/MORFEO and rolling shutter induced aberrations in laser guide star wavefront sensing

abstract: Laser Guide Star (LGS) Shack-Hartmann (SH) wavefront sensors for next generation Extremely Large Telescopes (ELTs) require low-noise, large format (about 1Mpx), fast detectors to match the need for a large number of subapertures and a good sampling of the very elongated spots. One path envisaged to fulfill this need has been the adoption of CMOS detectors with a rolling shutter read-out scheme, that allows low read-out noise and fast readout time at the cost of image distortion due to the detector rows exposed in different moments. In this work we analyze the impact of the rolling shutter read-out scheme when used for LGS SH wavefront sensing of the Multiconjugate adaptive Optic Relay For ELT Observations (MORFEO, formerly known as MAORY) for ESO ELT; in particular, we focus on the impact on the adaptive optics correction of the distortion-induced aberrations created by the rolling exposure in the case of fast varying aberrations, like the ones coming from the LGS tilt jitter due to the up-link propagation of laser beams. We show that the LGS jitter-induced aberration for MORFEO can be as large as 100nm rms and we discuss possible mitigation strategies.


title: MAORY/MORFEO and LIFT: can the low order wavefront sensors become phasing sensors?

abstract: The Multiconjugate adaptive Optic Relay For ELT Observations (MORFEO, formerly known as MAORY) is the adaptive optics (AO) module for the Extremely Large Telescope (ELT) aimed at providing a 1 arcmin corrected field to the Multi-AO Imaging CamerA for Deep Observations (MICADO) and to a future client instrument. It should provide resolution close to the diffraction limit on a large portion of the sky and in a wide range of atmospheric conditions. Its ability to provide a flat wavefront must face the known aspect of the atmospheric turbulence and telescope environment, but also the final characteristic of a telescope still to be fully developed and built. In this work we focused on issues related to the segmentation of the telescope pupil (like low wind effect, residual phasing error at handover and control related issues), that could limit the system performance. MORFEO currently does not foresee a dedicated sensor to measure the phase step between adjacent mirror segments: in this work we study the possibility to use the low order wavefront sensors designed to sense and correct tip-tilt and focus as phasing sensors thanks to the linearized focal-plane technique (LIFT).


title: MAVIS: performance estimation of the adaptive optics module

abstract: The MCAO Assisted Visible Imager and Spectrograph (MAVIS) is a new visible instrument for ESO Very Large Telescope (VLT). Its Adaptive Optics Module (AOM) must provide extreme adaptive optics correction level at low galactic latitude and high sky coverage at the galactic pole on the FoV of 30arcsec of its 4k x 4k optical imager and on its monolithic Integral Field Unit, thanks to 3 deformable mirrors (DM), 8 Laser Guide Stars (LGS), up to 3 Natural Guide Stars (NGS) and 11 Wave Front Sensors (WFS). A careful performance estimation is required to drive the design of this module and to assess the fulfillment of the system and subsystems requirements. Here we present the work done on this topic during the last year: we updated the system parameters to account for the phase B design and for more realistic conditions, and we produced a set of results from analytical and end-to-end simulations that should give a as complete as possible view on the performance of the system.


title: Makespan Scheduling of Unit Jobs with Precedence Constraints in $O(1.995^n)$ time

abstract: In a classical scheduling problem, we are given a set of $n$ jobs of unit length along with precedence constraints and the goal is to find a schedule of these jobs on $m$ identical machines that minimizes the makespan. This problem is well-known to be NP-hard for an unbounded number of machines. Using standard 3-field notation, it is known as $P|\text{prec}, p_j=1|C_{\max}$. We present an algorithm for this problem that runs in $O(1.995^n)$ time. Before our work, even for $m=3$ machines the best known algorithms ran in $O^\ast(2^n)$ time. In contrast, our algorithm works when the number of machines $m$ is unbounded. A crucial ingredient of our approach is an algorithm with a runtime that is only single-exponential in the vertex cover of the comparability graph of the precedence constraint graph. This heavily relies on insights from a classical result by Dolev and Warmuth (Journal of Algorithms 1984) for precedence graphs without long chains.


title: Revisiting the Persson theory of elastoplastic contact: A simpler closed-form solution and a rigorous proof of boundary conditions

abstract: Persson's theory of contact is extensively used in the study of the purely normal interaction between a nominally flat rough surface and a rigid flat. In the literature, Persson's theory was successfully applied to the elastoplastic contact problem with a scale-independent hardness $H$. However, it yields a closed-form solution, $P(p, \xi)$, in terms of an infinite sum of sines. In this study, $P(p, \xi)$ is found to have a simpler form which is a superposition of three Gaussian functions. A rigorous proof of the boundary condition $P(p=0, \xi)=P(p=H, \xi) = 0$ is given based on the new solution.


title: Localized energy absorbers in Hertzian chains

abstract: Energy absorbers and energy-harvesting devices have been under the scope of scientists and engineers for decades to fulfill specific technological needs, mainly concerned with sound and vibration absorbers, and efficient mechanical energy converters. In this paper, as a proof of concept, we build a mass-in-mass device to study the response of a linear absorber immersed in one of the spheres composing a linear array of equal elastic spheres. Spheres barely touch one another and can thus sustain nonlinear solitary wave propagation only. The linear intruder absorbs a given amount of energy depending on the frequency content of the incident solitary wave. A numerical simulation is developed to account for the experimental finding. The validation of the numerical model allows for the theoretical study of the energy absorbed by any number of intruders, and to demonstrate that the former increases exponentially with the latter, indicating that only ten of the intruders is enough to absorb the system energy. A detailed study of the transmitted energy from an external source into the chain reveals that, due to nonlinearity, the array of spheres is able to convert almost any mechanical shock to a well defined solitary or trains of solitary waves, whose frequency content is nearly independent on the excitation amplitude. This property leads to the design of a device, which is optimized to absorb energy over a broad frequency range.


title: On associated graded modules of maximal Cohen-Macaulay modules over hypersurface rings

abstract: Let $A=Q/(f)$ where $(Q,\mathfrak{n})$ be a complete regular local ring of dimension $d+1$, $f\in \mathfrak{n}^i\setminus\mathfrak{n}^{i+1}$ for some $i\geq 2$ and $M$ an MCM $A-$module with $e(M)=\mu(M)i(M)+1$ then we prove that depth $G(M)\geq d-1$. If $(A,\mathfrak{m})$ is a complete hypersurface ring of dimension $d$ with infinite residue field and $e(A)=3$, let $M$ be an MCM $A$-module with $\mu(M)=2$ or $3$ then we prove that depth $G(M)\geq d-\mu(M)+1$. Our paper is the first systematic study of depth of associated graded modules of MCM modules over hypersurface rings.


title: SoftIGA: soft isogeometric analysis

abstract: We extend the softFEM idea to isogeometric analysis (IGA) to reduce the stiffness (consequently, the condition numbers) of the IGA discretized problem. We refer to the resulting approximation technique as softIGA. We obtain the resulting discretization by first removing the IGA spectral outliers to reduce the system's stiffness. We then add high-order derivative-jump penalization terms (with negative penalty parameters) to the standard IGA bilinear forms. The penalty parameter seeks to minimize spectral/dispersion errors while maintaining the coercivity of the bilinear form. We establish dispersion errors for both outlier-free IGA (OF-IGA) and softIGA elements. We also derive analytical eigenpairs for the resulting matrix eigenvalue problems and show that the stiffness and condition numbers of the IGA systems significantly improve (reduce). We prove a superconvergent result of order $h^{2p+4}$ for eigenvalues where $h$ characterizes the mesh size and $p$ specifies the order of the B-spline basis functions. To illustrate the main idea and derive the analytical results, we focus on uniform meshes in 1D and tensor-product meshes in multiple dimensions. For the eigenfunctions, softIGA delivers the same optimal convergence rates as the standard IGA approximation. Various numerical examples demonstrate the advantages of softIGA over IGA.


title: NNLO Photon Production with Realistic Photon Isolation

abstract: Isolated photon production at hadron colliders proceeds via direct production and fragmentation processes. Theory predictions for the isolated photon and photon-plus-jet cross section often impose idealised photon isolation criteria, eliminating the fragmentation contribution and introducing a systematic uncertainty in the comparison to data. We present NNLO predictions for the photon-plus-jet cross section with the experimental isolation including both, direct and fragmentation contributions. Predictions with two different parton-to-photon fragmentation functions are compared, allowing for an estimation of the uncertainty stemming from the only loosely constrained photon fragmentation functions.


title: Development and Validation of ML-DQA -- a Machine Learning Data Quality Assurance Framework for Healthcare

abstract: The approaches by which the machine learning and clinical research communities utilize real world data (RWD), including data captured in the electronic health record (EHR), vary dramatically. While clinical researchers cautiously use RWD for clinical investigations, ML for healthcare teams consume public datasets with minimal scrutiny to develop new algorithms. This study bridges this gap by developing and validating ML-DQA, a data quality assurance framework grounded in RWD best practices. The ML-DQA framework is applied to five ML projects across two geographies, different medical conditions, and different cohorts. A total of 2,999 quality checks and 24 quality reports were generated on RWD gathered on 247,536 patients across the five projects. Five generalizable practices emerge: all projects used a similar method to group redundant data element representations; all projects used automated utilities to build diagnosis and medication data elements; all projects used a common library of rules-based transformations; all projects used a unified approach to assign data quality checks to data elements; and all projects used a similar approach to clinical adjudication. An average of 5.8 individuals, including clinicians, data scientists, and trainees, were involved in implementing ML-DQA for each project and an average of 23.4 data elements per project were either transformed or removed in response to ML-DQA. This study demonstrates the importance role of ML-DQA in healthcare projects and provides teams a framework to conduct these essential activities.


title: A home-lab experiment: resonance and sound speed using telescopic vacuum cleaner pipes

abstract: We propose a home laboratory in which a telescopic vacuum cleaner pipe and a smartphone are used to investigate sound speed and acoustic resonance. When the pipe is hit or the hands clapped near one end the sound produced is registered by a smartphone. By means of an appropriate application the resonant frequency is obtained. Varying the pipe's length and registering the corresponding resonant frequency allows to obtain the sound speed. This home-lab, first proposed during covid19 pandemic, has been incorporated as a home challenge to experiment with acoustic resonance in new normal times.


title: Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers

abstract: In security-critical software applications, confidential information must be prevented from leaking to unauthorized sinks. Static analysis techniques are widespread to enforce a secure information flow by checking a program after construction. A drawback of these systems is that incomplete programs during construction cannot be checked properly. The user is not guided to a secure program by most systems. We introduce IFbCOO, an approach that guides users incrementally to a secure implementation by using refinement rules. In each refinement step, confidentiality or integrity (or both) is guaranteed alongside the functional correctness of the program, such that insecure programs are declined by construction. In this work, we formalize IFbCOO and prove soundness of the refinement rules. We implement IFbCOO in the tool CorC and conduct a feasibility study by successfully implementing case studies.


title: Monte-Carlo Robot Path Planning

abstract: Path planning is a crucial algorithmic approach for designing robot behaviors. Sampling-based approaches, like rapidly exploring random trees (RRTs) or probabilistic roadmaps, are prominent algorithmic solutions for path planning problems. Despite its exponential convergence rate, RRT can only find suboptimal paths. On the other hand, $\textrm{RRT}^*$, a widely-used extension to RRT, guarantees probabilistic completeness for finding optimal paths but suffers in practice from slow convergence in complex environments. Furthermore, real-world robotic environments are often partially observable or with poorly described dynamics, casting the application of $\textrm{RRT}^*$ in complex tasks suboptimal. This paper studies a novel algorithmic formulation of the popular Monte-Carlo tree search (MCTS) algorithm for robot path planning. Notably, we study Monte-Carlo Path Planning (MCPP) by analyzing and proving, on the one part, its exponential convergence rate to the optimal path in fully observable Markov decision processes (MDPs), and on the other part, its probabilistic completeness for finding feasible paths in partially observable MDPs (POMDPs) assuming limited distance observability (proof sketch). Our algorithmic contribution allows us to employ recently proposed variants of MCTS with different exploration strategies for robot path planning. Our experimental evaluations in simulated 2D and 3D environments with a 7 degrees of freedom (DOF) manipulator, as well as in a real-world robot path planning task, demonstrate the superiority of MCPP in POMDP tasks.


title: Non-destructive one-shot device testing under step-stress model with Weibull lifetime distributions

abstract: One-shot devices are product or equipment that can be used only once, so they get destroyed when tested. However, the destructiveness assumption may not be necessary in many practical applications such as assessing the effect of temperature on some electronic components, yielding to the so called non-destructive one-shot devices. Further, one-shot devices generally have large mean lifetime to failure, and so accelerated life tests (ALTs) must be performed for inference. The step-stress ALT shorten the lifetime of the products by increasing the stress level at which units are subjected to progressively at pre-specified times. Then, the non-destructive devices are tested at certain inspection times and surviving units can continue within the experiment providing extra information. Classical estimation methods based on the maximum likelihood estimator (MLE) enjoy suitable asymptotic properties but they lack of robustness. In this paper, we develop robust inferential methods for non-destructive one-shot devices based on the popular density power divergence (DPD) for estimating and testing under the step-stress model with Weibull lifetime distributions. We theoretically and empirically examine the asymptotic and robustness properties of the minimum DPD estimators and Wald-type test statistics based on them. Moreover, we develop robust estimators and confidence intervals for some important lifetime characteristics, namely reliability at certain mission times, distribution quantiles and mean lifetime of a device. Finally, we analyze the effect of temperature in three electronic components, solar lights, medium power silicon bipolar transistors and LED lights using real data arising from an step-stress ALT.


title: Development of fully intuitionistic fuzzy data envelopment analysis model with missing data: an application to Indian police sector

abstract: Data Envelopment Analysis (DEA) is a technique used to measure the efficiency of decision-making units (DMUs). In order to measure the efficiency of DMUs, the essential requirement is input-output data. Data is usually collected by humans, machines, or both. Due to human/machine errors, there are chances of having some missing values or inaccuracy, such as vagueness/uncertainty/hesitation in the collected data. In this situation, it will be difficult to measure the efficiencies of DMUs accurately. To overcome these shortcomings, a method is presented that can deal with missing values and inaccuracy in the data. To measure the performance efficiencies of DMUs, an input minimization BCC (IMBCC) model in a fully intuitionistic fuzzy (IF) environment is proposed. To validate the efficacy of the proposed fully intuitionistic fuzzy input minimization BCC (FIFIMBCC) model and the technique to deal with missing values in the data, a real-life application to measure the performance efficiencies of Indian police stations is presented.


title: Single-view 3D Mesh Reconstruction for Seen and Unseen Categories

abstract: Single-view 3D object reconstruction is a fundamental and challenging computer vision task that aims at recovering 3D shapes from single-view RGB images. Most existing deep learning based reconstruction methods are trained and evaluated on the same categories, and they cannot work well when handling objects from novel categories that are not seen during training. Focusing on this issue, this paper tackles Single-view 3D Mesh Reconstruction, to study the model generalization on unseen categories and encourage models to reconstruct objects literally. Specifically, we propose an end-to-end two-stage network, GenMesh, to break the category boundaries in reconstruction. Firstly, we factorize the complicated image-to-mesh mapping into two simpler mappings, i.e., image-to-point mapping and point-to-mesh mapping, while the latter is mainly a geometric problem and less dependent on object categories. Secondly, we devise a local feature sampling strategy in 2D and 3D feature spaces to capture the local geometry shared across objects to enhance model generalization. Thirdly, apart from the traditional point-to-point supervision, we introduce a multi-view silhouette loss to supervise the surface generation process, which provides additional regularization and further relieves the overfitting problem. The experimental results show that our method significantly outperforms the existing works on the ShapeNet and Pix3D under different scenarios and various metrics, especially for novel objects. The project link is https://github.com/Wi-sc/GenMesh.


title: Late-time constraints on modified Gauss-Bonnet cosmology

abstract: In this paper, we consider a gravitational action containing a combination of the Ricci scalar, $R$, and the topological Gauss--Bonnet term, $G$. Specifically, we study the cosmological features of a particular class of modified gravity theories selected by symmetry considerations, namely the $f(R,G)= R^n G^{1-n}$ model. In the context of a spatially flat, homogeneous and isotropic background, we show that the currently observed acceleration of the Universe can be addressed through geometry, hence avoiding \emph{de facto} the shortcomings of the cosmological constant. We thus present a strategy to numerically solve the Friedmann equations in presence of pressureless matter and obtain the redshift behavior of the Hubble expansion rate. Then, to check the viability of the model, we place constraints on the free parameters of the theory by means of a Bayesian Monte Carlo method applied to late-time cosmic observations. Our results show that the $f(R,G)$ model is capable of mimicking the low-redshift behavior of the standard $\Lambda$CDM model, though substantial differences emerge when going toward high redshifts, leading to the absence of a standard matter-dominated epoch. Finally, we investigate the energy conditions and show that, under suitable choices for the values of the cosmographic parameters, they are all violated when considering the mean value of $n$ obtained from our analysis, as occurs in the case of a dark fluid.


title: Ultrafast all-optical switching using doped chromoprotein films

abstract: Next-generation communication networks require > Tbit/s single-channel data transfer and processing with sub-picosecond switches and routers at network nodes. Materials enabling ultrafast all-optical switching have high potential to solve the speed limitations of current optoelectronic circuits. Chromoproteins have been shown to exhibit a fast light-controlled refractive index change much larger than that induced by the optical Kerr effect due to a purely electronic nonlinearity, alleviating the driving energy requirements for optical switching. Here, we report femtosecond transient grating experiments demonstrating the feasibility of < 200-fs all-optical switching by hydrated thin films of photoactive yellow protein, for the first time, and compare the results with those obtained using bacteriorhodopsin. Possibilities for the practical utilization of the scheme in extremely high-speed optical modulation and switching/routing with nominally infinite extinction contrast are discussed.


title: Two-term spectral asymptotics in linear elasticity on a Riemannian manifold

abstract: In this note, by explaining two key methods that were employed in \cite{Liu-21} and by giving some remarks, we show that the proof of Theorem 1.1 in \cite{Liu-21} is a rigorous proof based on theory of strongly continuous semigroups and pseudodifferential operators. All remarks and comments to paper \cite{Liu-21}, which were given by Matteo Capoferri, Leonid Friedlander, Michael Levitin and Dmitri Vassiliev in \cite{CaFrLeVa-22}, are incorrect. The so-called "numerical counter-examples" in \cite{CaFrLeVa-22} are useless examples for the two-term asymptotics of the counting functions of the elastic eigenvalues. Clearly, the conclusion and the proof of \cite{Liu-21} are completely correct.


title: Impact Makes a Sound and Sound Makes an Impact: Sound Guides Representations and Explorations

abstract: Sound is one of the most informative and abundant modalities in the real world while being robust to sense without contacts by small and cheap sensors that can be placed on mobile devices. Although deep learning is capable of extracting information from multiple sensory inputs, there has been little use of sound for the control and learning of robotic actions. For unsupervised reinforcement learning, an agent is expected to actively collect experiences and jointly learn representations and policies in a self-supervised way. We build realistic robotic manipulation scenarios with physics-based sound simulation and propose the Intrinsic Sound Curiosity Module (ISCM). The ISCM provides feedback to a reinforcement learner to learn robust representations and to reward a more efficient exploration behavior. We perform experiments with sound enabled during pre-training and disabled during adaptation, and show that representations learned by ISCM outperform the ones by vision-only baselines and pre-trained policies can accelerate the learning process when applied to downstream tasks.


title: Interfacial Mixing Effect in a Promising Skyrmionic Material: Ferrimagnetic Mn$_4$N

abstract: Interfacial mixing of elements is a well-known phenomenon found in thin film deposition. For thin-film magnetic heterostructures, interfacial compositional inhomogeneities can have drastic effects on the resulting functionalities. As such, care must be taken to characterize the compositional and magnetic properties of thin films intended for device use. Recently, ferrimagnetic Mn$_4$N thin films have drawn considerable interest due to exhibiting perpendicular magnetic anisotropy, high domain-wall mobility, and good thermal stability. In this study, we employed X-ray photoelectron spectroscopy (XPS) and polarized neutron reflectometry (PNR) measurements to investigate the interfaces of an epitaxially-grown MgO/Mn$_4$N/Pt trilayer deposited at 450 $^{\circ}$C. XPS revealed the thickness of elemental mixing regions of near 5 nm at both interfaces. Using PNR, we found that these interfaces exhibit essentially zero net magnetization at room temperature. Despite the high-temperature deposition at 450 $^{\circ}$C, the thickness of mixing regions is comparable to those observed in magnetic films deposited at room temperature. Micromagnetic simulations show that this interfacial mixing should not deter the robust formation of small skyrmions, consistent with a recent experiment. The results obtained are encouraging in terms of the potential of integrating thermally stable Mn$_4$N into future spintronic devices.


title: Computing Lagrangian means

abstract: Lagrangian averaging plays an important role in the analysis of wave--mean-flow interactions and other multiscale fluid phenomena. The numerical computation of Lagrangian means, e.g. from simulation data, is however challenging. Typical implementations require tracking a large number of particles to construct Lagrangian time series which are then averaged using a low-pass filter. This has drawbacks that include large memory demands, particle clustering and complications of parallelisation. We develop a novel approach in which the Lagrangian means of various fields (including particle positions) are computed by solving partial differential equations (PDEs) that are integrated over successive averaging time intervals. We propose two strategies, distinguished by their spatial independent variables. The first, which generalises the algorithm of Kafiabad (2022, J. Fluid Mech. 940, A2), uses end-of-interval particle positions; the second directly uses the Lagrangian mean positions. The PDEs can be discretised in a variety of ways, e.g. using the same discretisation as that employed for the governing dynamical equations, and solved on-the-fly to minimise the memory footprint. We illustrate the new approach with a pseudospectral implementation for the rotating shallow-water model. Two applications to flows that combine vortical turbulence and Poincare waves demonstrate the superiority of Lagrangian averaging over Eulerian averaging for wave--vortex separation.


title: UAV Communications in Integrated Terrestrial and Non-terrestrial Networks

abstract: With growing interest in integrating terrestrial networks (TNs) and non-terrestrial networks (NTNs) to connect the unconnected, a key question is whether this new paradigm could also be opportunistically exploited to augment service in urban areas. We assess this possibility in the context of an integrated TN-NTN, comprising a ground cellular deployment paired with a Low Earth Orbit (LEO) satellite constellation, providing sub-6 GHz connectivity to an urban area populated by ground users (GUEs) and uncrewed aerial vehicles (UAVs). Our study reveals that offloading UAV traffic to the NTN segment drastically reduces the downlink outage of UAVs from 70% to nearly zero, also boosting their uplink signal quality as long as the LEO satellite constellation is sufficiently dense to guarantee a minimum elevation angle. Offloading UAVs to the NTN also benefits coexisting GUEs, preventing uplink outages of around 12% that GUEs would otherwise incur. Despite the limited bandwidth available below 6 GHz, NTN-offloaded UAVs meet command and control rate requirements even across an area the size of Barcelona with as many as one active UAV per cell. Smaller UAV populations yield proportionally higher rates, potentially enabling aerial broadband applications.


title: Indestructibility of some compactness principles over models of PFA

abstract: We show that $\mathsf{PFA}$ (Proper Forcing Axiom) implies that adding any number of Cohen subsets of $\omega$ will not add an $\omega_2$-Aronszajn tree or a weak $\omega_1$-Kurepa tree, and moreover no $\sigma$-centered forcing can add a weak $\omega_1$-Kurepa tree (a tree of height and size $\omega_1$ with at least $\omega_2$ cofinal branches). This partially answers an open problem whether ccc forcings can add $\omega_2$-Aronszajn or $\omega_1$-Kurepa trees. We actually prove more: We show that a consequence of $\mathsf{PFA}$, namely the guessing model principle, $\mathsf{GMP}$, which is equivalent to the ineffable slender tree property, $\mathsf{ISP}$, is preserved by adding any number of Cohen subsets of $\omega$. And moreover, $\mathsf{GMP}$ implies that no $\sigma$-centered forcing can add a weak $\omega_1$-Kurepa tree. For more generality, we study the principle $\mathsf{GMP}$ at an arbitrary regular cardinal $\kappa = \kappa^{<\kappa}$ (we denote this principle $\mathsf{GMP}_{\kappa^{++}}$), and as an application we show that there is a model in which there are no weak $\aleph_{\omega+1}$-Kurepa trees and no $\aleph_{\omega+2}$-Aronszajn trees.


title: Proceedings 38th International Conference on Logic Programming

abstract: ICLP is the premier international event for presenting research in logic programming. Contributions to ICLP 2022 were sought in all areas of logic programming, including but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Compilation, Virtual machines, Memory management, Parallel and Distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cyber-security, Robotics, Education.


title: Search for $CP$ violation in ttH and tH production in multilepton channels in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The charge-parity ($CP$) structure of the Yukawa interaction between the Higgs (H) boson and the top quark is measured in a data sample enriched in the $\mathrm{t\bar{t}}$ and tH associated production, using 138 fb$^{-1}$ of data collected in proton-proton collisions at $\sqrt{s}$ = 13 TeV by the CMS experiment at the CERN LHC. The study targets events where the H boson decays via H $\to$ WW or H $\to$ $\tau\tau$ and the top quarks decay via t $\to$ Wb: the W bosons decay either leptonically or hadronically, and final states characterized by the presence of at least two leptons are studied. Machine learning techniques are applied to these final states to enhance the separation of $CP$-even from $CP$-odd scenarios. Two-dimensional confidence regions are set on $\kappa_\mathrm{t}$ and $\tilde{\kappa}_\mathrm{t}$, which are respectively defined as the $CP$-even and $CP$-odd top-Higgs Yukawa coupling modifiers. No significant fractional $CP$-odd contributions, parameterized by the quantity $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ are observed; the parameter is determined to be $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ = 0.59 with an interval of (0.24, 0.81) at 68% confidence level. The results are combined with previous results covering the H $\to$ ZZ and H $\to$ $\gamma\gamma$ decay modes, yielding two- and one-dimensional confidence regions on $\kappa_\mathrm{t}$ and $\tilde{\kappa}_\mathrm{t}$, while $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ is determined to be $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ = 0.28 with an interval of $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ $\lt$ 0.55 at 68% confidence level, in agreement with the standard model $CP$-even prediction of $\lvert{f_{CP}^{\mathrm{Htt}}}\rvert$ = 0.


title: On coproducts of operator $\mathcal{A}$-systems

abstract: Given a unital $\boldsymbol{C}^{*}$-algebra $\mathcal{A}$, we prove the existence of the coproduct of two faithful operator $\mathcal{A}$-systems. We show that we can either consider it as a subsystem of an amalgamated free product of $\boldsymbol{C}^{*}$-algebras, or as a quotient by an operator system kernel. We introduce a universal $\boldsymbol{C}^{*}$-algebra for operator $\mathcal{A}$-systems and prove that in the case of the coproduct of two operator $\mathcal{A}$-systems, it is isomorphic to the amalgamated over $\mathcal{A}$, free product of their respective universal $\boldsymbol{C}^{*}$-algebras. Also, under the assumptions of hyperrigidity for operator systems, we can identify the $\boldsymbol{C}^{*}$-envelope of the coproduct with the amalgamated free product of the $\boldsymbol{C}^{*}$-envelopes. We consider graph operator systems as examples of operator $\mathcal{A}$-systems and prove that there exist graph operator systems whose coproduct is not a graph operator system, it is however a dual operator $\mathcal{A}$-system. More generally, the coproduct of dual operator $\mathcal{A}$-systems is always a dual operator $\mathcal{A}$-system. We show that the coproducts behave well with respect to inductive limits of operator systems.


title: Graphene decoupling through oxygen intercalation on Gr/Co and Gr/Co/Ir interfaces

abstract: We perform a density functional theory study of the effects of oxygen adsorption on the structural and electronic properties of Gr/Co(0001) and Gr/Co/Ir(111) interfaces. In both interfaces, the graphene-Co distance increases with increasing O concentration. The oxygen intercalation effectively decreases the electronic interaction, preventing the hybridization of graphene states with Co $d$-orbitals, hence (partly) restoring the typical Dirac cone of pristine graphene. In the case of graphene/Co 1ML/Ir(111), which presents a moir\'e pattern, the interplay between the O distribution and the continuous change of the graphene-Co registry can be used to tune graphene corrugation and electronic properties. The computed electronic properties are in very good agreement with previously reported angle resolved photoemission spectroscopy and photoemission electron microscopy measurements for Gr/Co(0001).


title: Analyzing social media with crowdsourcing in Crowd4SDG

abstract: Social media have the potential to provide timely information about emergency situations and sudden events. However, finding relevant information among millions of posts being posted every day can be difficult, and developing a data analysis project usually requires time and technical skills. This study presents an approach that provides flexible support for analyzing social media, particularly during emergencies. Different use cases in which social media analysis can be adopted are introduced, and the challenges of retrieving information from large sets of posts are discussed. The focus is on analyzing images and text contained in social media posts and a set of automatic data processing tools for filtering, classification, and geolocation of content with a human-in-the-loop approach to support the data analyst. Such support includes both feedback and suggestions to configure automated tools, and crowdsourcing to gather inputs from citizens. The results are validated by discussing three case studies developed within the Crowd4SDG H2020 European project.


title: The geometry of massive particle surfaces

abstract: We propose a generalization of Claudel, Virbhadra, and Ellis photon surfaces to the case of massive charged particles, considering a timelike hypersurface such that any worldline of a particle with mass $m$, electric charge $q$ and fixed total energy $\mathcal{E}$, initially touching it, will remain in this hypersurface forever. This definition does not directly appeal to the equations of motion, but instead make use of partially umbilic nature of the surface geometry. Such an approach should be especially useful in the case of non-integrable equations of motion. It may be applied in the theory of non-thin accretion discs, and also may serve a new tool for some general problems, such as uniqueness theorems, Penrose inequalities and hidden symmetries. The condition for the stability of the worldlines is derived, which reduces to differentiation along the flow of surfaces of a certain energy. We consider a number of examples of electrovacuum and dilaton solutions, find conditions for marginally stable orbits, regions of stable or unstable spherical orbits, stable and unstable photon surfaces, and solutions satisfying the no-force condition.


title: Infinite Separation between General and Chromatic Memory

abstract: In this paper, we construct a winning condition $W$ over a finite set of colors such that, first, every finite arena has a strategy with 2 states of general memory which is optimal w.r.t.~$W$, and second, there exists no $k$ such that every finite arena has a strategy with $k$ states of chromatic memory which is optimal w.r.t.~$W$.


title: Quantitative spectroscopy of B-type supergiants

abstract: Context. B-type supergiants are versatile tools to address various astrophysical topics, ranging from stellar atmospheres over stellar and galactic evolution to the cosmic distance scale. Aims. A hybrid non-LTE approach - line-blanketed model atmospheres computed under the assumption of local thermodynamic equilibrium (LTE) in combination with line formation calculations that account for deviations from LTE - is tested for quantitative analyses of B-type supergiants with masses $M<30 M_{\odot}$, characterising a sample of 14 Galactic objects. Methods. Hydrostatic plane-parallel atmospheric structures and synthetic spectra computed with Kurucz's Atlas12 code together with the non-LTE line-formation codes Detail/Surface are compared to results from full non-LTE calculations with Tlusty, and the effects of turbulent pressure on the models are investigated. High-resolution spectra are analysed for atmospheric parameters, using Stark-broadened hydrogen lines and multiple metal ionisation equilibria, and for elemental abundances. Fundamental stellar parameters are derived by considering stellar evolution tracks and Gaia EDR3 parallaxes. Interstellar reddening towards the target stars is determined by matching model spectral energy distributions to observed ones. Results. Our hybrid non-LTE approach turns out to be equivalent to hydrostatic full non-LTE modelling for the deeper photospheric layers of the B-type supergiants considered. Turbulent pressure can become relevant for microturbulent velocities larger than 10 km s$^{-1}$. High precision and accuracy is achieved for all derived parameters by bringing multiple indicators to agreement simultaneously. Abundances for chemical species (He, C, N, O, Ne, Mg, Al, Si, S, Ar, Fe) are derived with uncertainties of 0.05 to 0.10 dex. The derived ratios N/C vs. N/O tightly follow the predictions from Geneva stellar evolution models.


title: Relict landslide detection using Deep-Learning architectures for image segmentation in rainforest areas: A new framework

abstract: Landslides are destructive and recurrent natural disasters on steep slopes and represent a risk to lives and properties. Knowledge of relict landslides location is vital to understand their mechanisms, update inventory maps and improve risk assessment. However, relict landslide mapping is complex in tropical regions covered with rainforest vegetation. A new CNN framework is proposed for semi-automatic detection of relict landslides, which uses a dataset generated by a k-means clustering algorithm and has a pre-training step. The weights computed in the pre-training are used to fine-tune the CNN training process. A comparison between the proposed and the standard framework is performed using CBERS-04A WPM images. Three CNNs for semantic segmentation are used (Unet, FPN, Linknet) with two augmented datasets. A total of 42 combinations of CNNs are tested. Values of precision and recall were very similar between the combinations tested. Recall was higher than 75% for every combination, but precision values were usually smaller than 20%. False positives (FP) samples were addressed as the cause for these low precision values. Predictions of the proposed framework were more accurate and correctly detected more landslides. This work demonstrates that there are limitations for detecting relict landslides in areas covered with rainforest, mainly related to similarities between the spectral response of pastures and deforested areas with Gleichenella sp. ferns, commonly used as an indicator of landslide scars.


title: Explaining Classifiers Trained on Raw Hierarchical Multiple-Instance Data

abstract: Learning from raw data input, thus limiting the need for feature engineering, is a component of many successful applications of machine learning methods in various domains. While many problems naturally translate into a vector representation directly usable in standard classifiers, a number of data sources have the natural form of structured data interchange formats (e.g., security logs in JSON/XML format). Existing methods, such as in Hierarchical Multiple Instance Learning (HMIL), allow learning from such data in their raw form. However, the explanation of the classifiers trained on raw structured data remains largely unexplored. By treating these models as sub-set selections problems, we demonstrate how interpretable explanations, with favourable properties, can be generated using computationally efficient algorithms. We compare to an explanation technique adopted from graph neural networks showing an order of magnitude speed-up and higher-quality explanations.


title: Interaction of scales for a singularly perturbed degenerating nonlinear Robin problem

abstract: We study the asymptotic behavior of the solutions of a boundary value problem for the Laplace equation in a perforated domain in $\mathbb{R}^n$, $n\geq 3$, with a (nonlinear) Robin boundary condition on the boundary of the small hole. The problem we wish to consider degenerates under three aspects: in the limit case the Robin boundary condition may degenerate into a Neumann boundary condition, the Robin datum may tend to infinity, and the size $\epsilon$ of the small hole where we consider the Robin condition collapses to $0$. We study how these three singularities interact and affect the asymptotic behavior as $\epsilon$ tends to $0$, and we represent the solution and its energy integral in terms of real analytic maps and known functions of the singular perturbation parameters.


title: Axion-like particles from primordial black hole evaporation and their detection in neutrino experiments

abstract: The primordial black holes (PBHs) play as a novel source to radiate light elementary particles of energies in the region of a few hundred MeV. We explore the possibility that the axion-like particles (ALPs) with mass less than 1 MeV are produced from PBH evaporation. The absorption of light ALPs in the underground detector targets then induces energetic photoelectron signatures in current and future neutrino experiments. Utilizing the PBH ALP event rate, we place general exclusion limits on the axion couplings at Super-K and Hyper-K. We also translate these limits into the upper bound on the fraction of DM composed of PBHs $f_{\rm PBH}$.


title: WShEx: A language to describe and validate Wikibase entities

abstract: Wikidata is one of the most successful Semantic Web projects. Its underlying Wikibase data model departs from RDF with the inclusion of several features like qualifiers and references, built-in datatypes, etc. Those features are serialized to RDF for content negotiation, RDF dumps and in the SPARQL endpoint. Wikidata adopted the entity schemas namespace using the ShEx language to describe and validate the RDF serialization of Wikidata entities. In this paper we propose WShEx, a language inspired by ShEx that directly supports the Wikibase data model and can be used to describe and validate Wikibase entities. The paper presents a the abstract syntax and semantic of the WShEx language.


title: Dark Matter and Neutrino Masses in a Portalino-like Model

abstract: We explore a Portalino-like model of dark matter and neutrino masses in which right-handed neutrino fields connect gauge neutral operators from the Standard Model and Hidden Sector. Neutrino masses are generated via a seesaw-like mechanism that can explain the light active neutrino masses. The model includes a ``Portalino'' state that connects the two sectors via the neutrino portal. Dark Matter in this model consists of a hidden sector Dirac fermion that dominantly freezes-out via resonant annihilations into other hidden sector states, which ultimately results in a population of Portalinos. Due to small mixing in the extended neutrino sector these Portalinos tend to be cosmologically long lived, decaying into Standard Model particles leading to constraints on the model from Big Bang Nucleosynthesis and measurements of the Cosmic Microwave Background radiation. Combining these limits with direct constraints on the size of the Portalino-neutrino mixing and the assumptions of the model the viable mass ranges for the Portalino states are found to be 0.02 eV $\lesssim m_n \lesssim$ 6.4 eV or 489 MeV $\lesssim m_n \lesssim$ TeV. Indirect dark matter signals in the form of highly boosted, mono-energetic Portalinos produced in Dark Matter annihilations provide a target for neutrino telescopes.


title: Ellipsis: Towards Efficient System Auditing for Real-Time Systems

abstract: System auditing is a powerful tool that provides insight into the nature of suspicious events in computing systems, allowing machine operators to detect and subsequently investigate security incidents. While auditing has proven invaluable to the security of traditional computers, existing audit frameworks are rarely designed with consideration for Real-Time Systems (RTS). The transparency provided by system auditing would be of tremendous benefit in a variety of security-critical RTS domains, (e.g., autonomous vehicles); however, if audit mechanisms are not carefully integrated into RTS, auditing can be rendered ineffectual and violate the real-world temporal requirements of the RTS. In this paper, we demonstrate how to adapt commodity audit frameworks to RTS. Using Linux Audit as a case study, we first demonstrate that the volume of audit events generated by commodity frameworks is unsustainable within the temporal and resource constraints of real-time (RT) applications. To address this, we present Ellipsis, a set of kernel-based reduction techniques that leverage the periodic repetitive nature of RT applications to aggressively reduce the costs of system-level auditing. Ellipsis generates succinct descriptions of RT applications' expected activity while retaining a detailed record of unexpected activities, enabling analysis of suspicious activity while meeting temporal constraints. Our evaluation of Ellipsis, using ArduPilot (an open-source autopilot application suite) demonstrates up to 93% reduction in audit log generation.


title: Classical and Almost Sure Local Limit Theorems

abstract: We present and discuss the many results obtained concerning a famous limit theorem, the local limit theorem, which has many interfaces, with Number Theory notably, and for which, in spite of considerable efforts, the question concerning conditions of validity of the local limit theorem, has up to now no satisfactory solution. These results mostly concern sufficient conditions for the validity of the local limit theorem and its interesting variant forms: strong local limit theorem, strong local limit theorem with convergence in variation. Quite importantly are necessary conditions, and the results obtained are sparse, essentially: Rozanov's necessary condition, Gamkrelidze's necessary condition, and Mukhin's necessary and sufficient condition. Extremely useful and instructive are the counter-examples due to Azlarov and Gamkrelidze, as well as necessary and sufficient conditions obtained for a class of random variables, such as Mitalauskas' characterization of the local limit theorem in the strong form for random variables having stable limit distributions. The method of characteristic functions and the Bernoulli part extraction method, are presented and compared. A second part of the survey is devoted to the more recent study of the almost sure local limit theorem, instilled by Denker and Koch. The almost sure local limit theorems established already cover the i.i.d. case, the stable case, Markov chains, the model of the Dickman function. Our aim in writing this monograph was notably to bring to knowledge many interesting results obtained by the Lithuanian and Russian Schools of Probability during the sixties and after, and which are essentially written in Russian, and moreover often published in Journals of difficult access.


title: Characterizing and Overcoming Surface Paramagnetism in Magnetoelectric Antiferromagnets

abstract: We use a combination of density functional theory and Monte Carlo calculations to calculate the surface magnetization in magnetoelectric $\mathrm{Cr_2O_3}$ at finite temperatures. Such antiferromagnets, lacking both inversion and time-reversal symmetries, are required by symmetry to posses an uncompensated magnetization density on particular surface terminations. Here, we first show that the uppermost layer of magnetic moments on the $(001)$ surface remain paramagnetic at the bulk N\'{e}el temperature, bringing the theoretical estimate of surface magnetization density in line with experiment. We demonstrate that the lower surface ordering temperature compared to bulk is a generic feature of surface magnetization when the termination reduces the effective Heisenberg coupling. We then propose two methods by which the surface magnetization in $\mathrm{Cr_2O_3}$ could be stabilised at higher temperatures. Specifically, we show that the effective coupling of surface magnetic ions can be drastically increased either by a different choice of surface Miller plane, or by $\mathrm{Fe}$ doping. Our findings provide an improved understanding of surface magnetization properties in AFMs.


title: Integral equation method for a Robin-type traction problem in a periodic domain

abstract: In this note, we consider a Robin-type traction problem for a linearly elastic body occupying an infinite periodically perforated domain. After proving the uniqueness of the solution we use periodic elastic layer potentials to show that the solution can be written as the sum of a single layer potential, a constant function and a linear function of the space variable. The density of the periodic single layer potential and the constant are identified as the unique solutions of a certain integral equation.


title: Static Hardware Partitioning on RISC-V -- Shortcomings, Limitations, and Prospects

abstract: On embedded processors that are increasingly equipped with multiple CPU cores, static hardware partitioning is an established means of consolidating and isolating workloads onto single chips. This architectural pattern is suitable for mixed-criticality workloads that need to satisfy both, real-time and safety requirements, given suitable hardware properties. In this work, we focus on exploiting contemporary virtualisation mechanisms to achieve freedom from interference respectively isolation between workloads. Possibilities to achieve temporal and spatial isolation-while maintaining real-time capabilities-include statically partitioning resources, avoiding the sharing of devices, and ascertaining zero interventions of superordinate control structures. This eliminates overhead due to hardware partitioning, but implies certain hardware capabilities that are not yet fully implemented in contemporary standard systems. To address such hardware limitations, the customisable and configurable RISC-V instruction set architecture offers the possibility of swift, unrestricted modifications. We present findings on the current RISC-V specification and its implementations that necessitate interventions of superordinate control structures. We identify numerous issues adverse to implementing our goal of achieving zero interventions respectively zero overhead: On the design level, and especially with regards to handling interrupts. Based on micro-benchmark measurements, we discuss the implications of our findings, and argue how they can provide a basis for future extensions and improvements of the RISC-V architecture.


title: Bayesian Optimization with Informative Covariance

abstract: Bayesian optimization is a methodology for global optimization of unknown and expensive objectives. It combines a surrogate Bayesian regression model with an acquisition function to decide where to evaluate the objective. Typical regression models are given by Gaussian processes with stationary covariance functions. However, these functions are unable to express prior input-dependent information, including possible locations of the optimum. The ubiquity of stationary models has led to the common practice of exploiting prior information via informative mean functions. In this paper, we highlight that these models can perform poorly, especially in high dimensions. We propose novel informative covariance functions for optimization, leveraging nonstationarity to encode preferences for certain regions of the search space and adaptively promote local exploration during optimization. We demonstrate that the proposed functions can increase the sample efficiency of Bayesian optimization in high dimensions, even under weak prior information.


title: 360Roam: Real-Time Indoor Roaming Using Geometry-Aware 360$^\circ$ Radiance Fields

abstract: Virtual tour among sparse 360$^\circ$ images is widely used while hindering smooth and immersive roaming experiences. The emergence of Neural Radiance Field (NeRF) has showcased significant progress in synthesizing novel views, unlocking the potential for immersive scene exploration. Nevertheless, previous NeRF works primarily focused on object-centric scenarios, resulting in noticeable performance degradation when applied to outward-facing and large-scale scenes due to limitations in scene parameterization. To achieve seamless and real-time indoor roaming, we propose a novel approach using geometry-aware radiance fields with adaptively assigned local radiance fields. Initially, we employ multiple 360$^\circ$ images of an indoor scene to progressively reconstruct explicit geometry in the form of a probabilistic occupancy map, derived from a global omnidirectional radiance field. Subsequently, we assign local radiance fields through an adaptive divide-and-conquer strategy based on the recovered geometry. By incorporating geometry-aware sampling and decomposition of the global radiance field, our system effectively utilizes positional encoding and compact neural networks to enhance rendering quality and speed. Additionally, the extracted floorplan of the scene aids in providing visual guidance, contributing to a realistic roaming experience. To demonstrate the effectiveness of our system, we curated a diverse dataset of 360$^\circ$ images encompassing various real-life scenes, on which we conducted extensive experiments. Quantitative and qualitative comparisons against baseline approaches illustrated the superior performance of our system in large-scale indoor scene roaming.


title: A new complete algorithm for Irreducible Diophantine Pythagorean Triangles (IDPTs)

abstract: It is well known that a triangle with side lengths 3, 4 and 5 is right-angled. Euclid was the first to give a formula for generating other right-angled triangles with integer side lengths. In this text, I present a novel algorithm to generate all possible right-angled triangles with integer side lengths, in which the three side lengths have no common divisor. The algorithm is based on the difference in length between the hypothenuse and the largest of the two other sides. I also prove the completeness of this algorithm: it generates all possible such triangles and nothing but such triangles.


title: Standardizing and Centralizing Datasets to Enable Efficient Training of Agricultural Deep Learning Models

abstract: In recent years, deep learning models have become the standard for agricultural computer vision. Such models are typically fine-tuned to agricultural tasks using model weights that were originally fit to more general, non-agricultural datasets. This lack of agriculture-specific fine-tuning potentially increases training time and resource use, and decreases model performance, leading an overall decrease in data efficiency. To overcome this limitation, we collect a wide range of existing public datasets for three distinct tasks, standardize them, and construct standard training and evaluation pipelines, providing us with a set of benchmarks and pretrained models. We then conduct a number of experiments using methods which are commonly used in deep learning tasks, but unexplored in their domain-specific applications for agriculture. Our experiments guide us in developing a number of approaches to improve data efficiency when training agricultural deep learning models, without large-scale modifications to existing pipelines. Our results demonstrate that even slight training modifications, such as using agricultural pretrained model weights, or adopting specific spatial augmentations into data processing pipelines, can significantly boost model performance and result in shorter convergence time, saving training resources. Furthermore, we find that even models trained on low-quality annotations can produce comparable levels of performance to their high-quality equivalents, suggesting that datasets with poor annotations can still be used for training, expanding the pool of currently available datasets. Our methods are broadly applicable throughout agricultural deep learning, and present high potential for significant data efficiency improvements.


title: Weighted K-stability of $\mathbb Q$-Fano spherical varieties

abstract: Let $G$ be a connected, complex reductive Lie group and $X$ a $\mathbb Q$-Fano $G$-spherical variety. In this paper we compute the weighed non-Archimedean functionals of a $G$-equivariant normal test configurations of $X$ via combinatory data. Also we define a modified Futaki invariant with respect to the weight $g$, and give an expression in terms of intersection numbers. Finally we show the equivalence of different notations of stability and gives a stability criterion on $\mathbb Q$-Fano spherical varieties, which is also a criterion of existence of K\"ahler-Ricci $g$-solitons.


title: Globally Consistent Video Depth and Pose Estimation with Efficient Test-Time Training

abstract: Dense depth and pose estimation is a vital prerequisite for various video applications. Traditional solutions suffer from the robustness of sparse feature tracking and insufficient camera baselines in videos. Therefore, recent methods utilize learning-based optical flow and depth prior to estimate dense depth. However, previous works require heavy computation time or yield sub-optimal depth results. We present GCVD, a globally consistent method for learning-based video structure from motion (SfM) in this paper. GCVD integrates a compact pose graph into the CNN-based optimization to achieve globally consistent estimation from an effective keyframe selection mechanism. It can improve the robustness of learning-based methods with flow-guided keyframes and well-established depth prior. Experimental results show that GCVD outperforms the state-of-the-art methods on both depth and pose estimation. Besides, the runtime experiments reveal that it provides strong efficiency in both short- and long-term videos with global consistency provided.


title: Artificial Image Tampering Distorts Spatial Distribution of Texture Landmarks and Quality Characteristics

abstract: Advances in AI based computer vision has led to a significant growth in synthetic image generation and artificial image tampering with serious implications for unethical exploitations that undermine person identification and could make render AI predictions less explainable.Morphing, Deepfake and other artificial generation of face photographs undermine the reliability of face biometrics authentication using different electronic ID documents.Morphed face photographs on e-passports can fool automated border control systems and human guards.This paper extends our previous work on using the persistent homology (PH) of texture landmarks to detect morphing attacks.We demonstrate that artificial image tampering distorts the spatial distribution of texture landmarks (i.e. their PH) as well as that of a set of image quality characteristics.We shall demonstrate that the tamper caused distortion of these two slim feature vectors provide significant potentials for building explainable (Handcrafted) tamper detectors with low error rates and suitable for implementation on constrained devices.


title: Agnostic Learning of General ReLU Activation Using Gradient Descent

abstract: We provide a convergence analysis of gradient descent for the problem of agnostically learning a single ReLU function under Gaussian distributions. Unlike prior work that studies the setting of zero bias, we consider the more challenging scenario when the bias of the ReLU function is non-zero. Our main result establishes that starting from random initialization, in a polynomial number of iterations gradient descent outputs, with high probability, a ReLU function that achieves a competitive error guarantee when compared to the error of the best ReLU function. We also provide finite sample guarantees, and these techniques generalize to a broader class of marginal distributions beyond Gaussians.


title: UTOPIC: Uncertainty-aware Overlap Prediction Network for Partial Point Cloud Registration

abstract: High-confidence overlap prediction and accurate correspondences are critical for cutting-edge models to align paired point clouds in a partial-to-partial manner. However, there inherently exists uncertainty between the overlapping and non-overlapping regions, which has always been neglected and significantly affects the registration performance. Beyond the current wisdom, we propose a novel uncertainty-aware overlap prediction network, dubbed UTOPIC, to tackle the ambiguous overlap prediction problem; to our knowledge, this is the first to explicitly introduce overlap uncertainty to point cloud registration. Moreover, we induce the feature extractor to implicitly perceive the shape knowledge through a completion decoder, and present a geometric relation embedding for Transformer to obtain transformation-invariant geometry-aware feature representations. With the merits of more reliable overlap scores and more precise dense correspondences, UTOPIC can achieve stable and accurate registration results, even for the inputs with limited overlapping areas. Extensive quantitative and qualitative experiments on synthetic and real benchmarks demonstrate the superiority of our approach over state-of-the-art methods.


title: NP Decision Procedure for Monomial and Linear Integer Constraints

abstract: Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex constraints of the form x_i >= x_j^n (x_i <= x_j^n). We show that the satisfiability of these constraints is NP-complete even if the solution to the linear part is given explicitly. As a consequence, we obtain NP completeness for an extension of certain quantifier-free constraints on sets with cardinalities (QFBAPA) with function images S = f[P^n].


title: Unsupervised Graph Spectral Feature Denoising for Crop Yield Prediction

abstract: Prediction of annual crop yields at a county granularity is important for national food production and price stability. In this paper, towards the goal of better crop yield prediction, leveraging recent graph signal processing (GSP) tools to exploit spatial correlation among neighboring counties, we denoise relevant features via graph spectral filtering that are inputs to a deep learning prediction model. Specifically, we first construct a combinatorial graph with edge weights that encode county-to-county similarities in soil and location features via metric learning. We then denoise features via a maximum a posteriori (MAP) formulation with a graph Laplacian regularizer (GLR). We focus on the challenge to estimate the crucial weight parameter $\mu$, trading off the fidelity term and GLR, that is a function of noise variance in an unsupervised manner. We first estimate noise variance directly from noise-corrupted graph signals using a graph clique detection (GCD) procedure that discovers locally constant regions. We then compute an optimal $\mu$ minimizing an approximate mean square error function via bias-variance analysis. Experimental results from collected USDA data show that using denoised features as input, performance of a crop yield prediction model can be improved noticeably.


title: Sharp Pointwise Contraction of Mappings with Integrable Distortion Which Are Quasiconformal in a Disk

abstract: We consider quasiconformal mappings of the unit disk that have a planar extension which have $p$-integrable distortion. In this paper, we establish a bound for the modulus of continuity for the inverse mapping and show sharpness of this bound. Furthermore, we also obtain bounds for the compression multifractal spectra of such mappings.


title: IT/IST/IPLeiria Response to the Call for Proposals on JPEG Pleno Point Cloud Coding

abstract: This document describes a deep learning-based point cloud geometry codec and a deep learning-based point cloud joint geometry and colour codec, submitted to the Call for Proposals on JPEG Pleno Point Cloud Coding issued in January 2022. The proposed codecs are based on recent developments in deep learning-based PC geometry coding and offer some of the key functionalities targeted by the Call for Proposals. The proposed geometry codec offers a compression efficiency that outperforms the MPEG G-PCC standard and outperforms or is competitive with the V-PCC Intra standard for the JPEG Call for Proposals test set; however, the same does not happen for the joint geometry and colour codec due to a quality saturation effect that needs to be overcome.


title: Searches for additional Higgs bosons and for vector leptoquarks in $\tau\tau$ final states in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: Three searches are presented for signatures of physics beyond the standard model (SM) in $\tau\tau$ final states in proton-proton collisions at the LHC, using a data sample collected with the CMS detector at $\sqrt{s}$ = 13 TeV, corresponding to an integrated luminosity of 138 fb$^{-1}$. Upper limits at 95% confidence level (CL) are set on the products of the branching fraction for the decay into $\tau$ leptons and the cross sections for the production of a new boson $\phi$, in addition to the H(125) boson, via gluon fusion (gg$\phi$) or in association with b quarks, ranging from $\mathcal{O}$(10 pb) for a mass of 60 GeV to 0.3 fb for a mass of 3.5 TeV each. The data reveal two excesses for gg$\phi$ production with local $p$-values equivalent to about three standard deviations at $m_\phi$ = 0.1 and 1.2 TeV. In a search for $t$-channel exchange of a vector leptoquark U$_1$, 95% CL upper limits are set on the dimensionless U$_1$ leptoquark coupling to quarks and $\tau$ leptons ranging from 1 for a mass of 1 TeV to 6 for a mass of 5 TeV, depending on the scenario. In the interpretations of the $M_\mathrm{h}^{125}$ and $M_\mathrm{h, EFT}^{125}$ minimal supersymmetric SM benchmark scenarios, additional Higgs bosons with masses below 350 GeV are excluded at 95% CL.


title: Wave-Front Reconstruction via Single-Pixel Homodyne Imaging

abstract: We combine single-pixel imaging and homodyne detection to perform full object recovery (phase and amplitude). Our method does not require any prior information about the object or the illuminating fields. As a demonstration, we reconstruct the optical properties of several semi-transparent objects and find that the reconstructed complex transmission has a phase precision of 0.02 radians and a relative amplitude precision of 0.01.


title: On diffusions with discontinuous scales

abstract: It is well known that a regular diffusion on an interval $I$ without killing inside is uniquely determined by a canonical scale function $s$ and a canonical speed measure $m$. Note that $s$ is a strictly increasing and continuous function and $m$ is a fully supported Radon measure on $I$. In this paper we will associate a general triple $(I,s,m)$, where $s$ is only assumed to be increasing and $m$ is not necessarily fully supported, to certain Markov processes by way of Dirichlet forms. Using two transformations, called scale completion and darning respectively, to rebuild the topology of $I$, we will successfully regularize the triple $(I,s,m)$ and obtain a regular Dirichlet form associated with it. The corresponding Markov process is called the regularized Markov process associated with $(I,s,m)$. In fact, it is the unique Markov process up to homeomorphism that can be associated with $(I,s,m)$ in the context of regular representations of Dirichlet forms. As a byproduct of regularized Markov process, a continuous simple Markov process, which does not satisfy the strong Markov property, will be also raised to be associated to $(I,s,m)$ without operating regularizing program. Furthermore, we will show that the regularized Markov process is identified with a skip-free Hunt process in one dimension as well as a quasidiffusion without killing inside. Note that the skip-free Hunt process generalizes the concept of regular diffusion and admits a scale function and a speed measure in an analogous manner.


title: The Visible Integral-field Spectrograph eXtreme (VIS-X): high-resolution spectroscopy with MagAO-X

abstract: MagAO-X system is a new adaptive optics for the Magellan Clay 6.5m telescope. MagAO-X has been designed to provide extreme adaptive optics (ExAO) performance in the visible. VIS-X is an integral-field spectrograph specifically designed for MagAO-X, and it will cover the optical spectral range (450 - 900 nm) at high-spectral (R=15.000) and high-spatial resolution (7 mas spaxels) over a 0.525 arsecond field of view. VIS-X will be used to observe accreting protoplanets such as PDS70 b and c. End-to-end simulations show that the combination of MagAO-X with VIS-X is 100 times more sensitive to accreting protoplanets than any other instrument to date. VIS-X can resolve the planetary accretion lines, and therefore constrain the accretion process. The instrument is scheduled to have its first light in Fall 2021. We will show the lab measurements to characterize the spectrograph and its post-processing performance.


title: Is There Causation in Fundamental Physics? New Insights from Process Matrices and Quantum Causal Modelling

abstract: In this article we set out to understand the significance of the process matrix formalism and the quantum causal modelling programme for ongoing disputes about the role of causation in fundamental physics. We argue that the process matrix programme has correctly identified a notion of 'causal order' which plays an important role in fundamental physics, but this notion is weaker than the common-sense conception of causation because it does not involve asymmetry. We argue that causal order plays an important role in grounding more familiar causal phenomena. Then we apply these conclusions to the causal modelling programme within quantum foundations, arguing that since no-signalling quantum correlations cannot exhibit causal order, they should not be analysed using classical causal models. This resolves an open question about how to interpret fine-tuning in classical causal models of no-signalling correlations. Finally we observe that a quantum generalization of causal modelling can play a similar functional role to standard causal reasoning, but we emphasize that this functional characterisation does not entail that quantum causal models offer novel explanations of quantum processes.


title: Hidden conformal symmetry for dyonic Kerr-Sen black hole and its gauged family

abstract: Motivated by advanced progress in the holographic theory between rotating black holes and CFT, we explore the conformal invariance on dyonic Kerr-Sen black hole and its gauged family. We consider a neutral massless scalar probe on the black holes' background within the low-frequency limit and exhibit that the solution space possesses $SL(2,R)\times SL(2,R)$ isometry. The periodic identification of the azimuthal angle corresponds to the spontaneous conformal symmetry breaking by temperatures $T_L,T_R$. Using the computation of the central charges on Ref. [25] that we recalculate by considering the contributions of all associated fields, we successfully derive the Bekenstein-Hawking entropy from Cardy entropy formula. Furthermore, we also calculate the absorption cross-section from gravity side for generic non-extremal dyonic Kerr-Sen black hole and near-extremal gauged dyonic Kerr-Sen black hole. Our calculations show that those quantities are in a perfect match with the calculation from CFT. Therefore, our findings further support the duality between rotating black holes and CFTs.


title: Experimental review of Lepton Flavor Violation searches

abstract: A review of the experimental status in searches for charged Lepton Flavor Violation (LFV) is presented. Searches for LFV in decays of leptons, heavy mesons, and bosons are explored, with an emphasis on the experiments providing the best constraints in each sector. In addition, prospects for upper limits by current and upcoming experiments in the next decade are discussed.


title: Disentangled Representation Learning for RF Fingerprint Extraction under Unknown Channel Statistics

abstract: Deep learning (DL) applied to a device's radio-frequency fingerprint~(RFF) has attracted significant attention in physical-layer authentication due to its extraordinary classification performance. Conventional DL-RFF techniques are trained by adopting maximum likelihood estimation~(MLE). Although their discriminability has recently been extended to unknown devices in open-set scenarios, they still tend to overfit the channel statistics embedded in the training dataset. This restricts their practical applications as it is challenging to collect sufficient training data capturing the characteristics of all possible wireless channel environments. To address this challenge, we propose a DL framework of disentangled representation~(DR) learning that first learns to factor the signals into a device-relevant component and a device-irrelevant component via adversarial learning. Then, it shuffles these two parts within a dataset for implicit data augmentation, which imposes a strong regularization on RFF extractor learning to avoid the possible overfitting of device-irrelevant channel statistics, without collecting additional data from unknown channels. Experiments validate that the proposed approach, referred to as DR-based RFF, outperforms conventional methods in terms of generalizability to unknown devices even under unknown complicated propagation environments, e.g., dispersive multipath fading channels, even though all the training data are collected in a simple environment with dominated direct line-of-sight~(LoS) propagation paths.


title: GRB 171205A: Hypernova and Newborn Neutron Star

abstract: GRB 171205A is a low-luminosity, long-duration gamma-ray burst (GRB) associated with SN 2017iuk, a broad-line type Ic supernova (SN). It is consistent with being formed in the core-collapse of a widely separated binary, which we have called the binary-driven hypernova (BdHN) of type III. The core-collapse of the CO star forms a newborn NS ($\nu$NS) and the SN explosion. Fallback accretion transfers mass and angular momentum to the $\nu$NS, here assumed to be born non-rotating. The accretion energy injected into the expanding stellar layers powers the prompt emission. The multiwavelength power-law afterglow is explained by the synchrotron radiation of electrons in the SN ejecta, powered by energy injected by the spinning $\nu$NS. We calculate the amount of mass and angular momentum gained by the $\nu$NS, as well as the $\nu$NS rotational evolution. The $\nu$NS spins up to a period of $47$ ms, then releases its rotational energy powering the synchrotron emission of the afterglow. The paucity of the $\nu$NS spin explains the low-luminosity characteristic and that the optical emission of the SN from the nickel radioactive decay outshines the optical emission from the synchrotron radiation. From the $\nu$NS evolution, we infer that the SN explosion had to occur at most $7.36$ h before the GRB trigger. Therefore, for the first time, the analysis of the GRB data leads to the time of occurrence of the CO core-collapse leading to the SN explosion and the electromagnetic emission of the GRB event.


title: Algebraic Experimental Design: Theory and Computation

abstract: Over the past several decades, algebraic geometry has provided innovative approaches to biological experimental design that resolved theoretical questions and improved computational efficiency. However, guaranteeing uniqueness and perfect recovery of models are still open problems. In this work we study the problem of uniqueness of wiring diagrams. We use as a modeling framework polynomial dynamical systems and utilize the correspondence between simplicial complexes and square-free monomial ideals from Stanley-Reisner theory to develop theory and construct an algorithm for identifying input data sets $V\subset \mathbb F_p^n$ that are guaranteed to correspond to a unique minimal wiring diagram regardless of the experimental output. We apply the results on a tumor-suppression network mediated by epidermal derived growth factor receptor and demonstrate how careful experimental design decisions can lead to a unique minimal wiring diagram identification. One of the insights of the theoretical work is the connection between the uniqueness of a wiring diagram for a given $V\subset \mathbb F_p^n$ and the uniqueness of the reduced Gr\"obner basis of the polynomial ideal $I(V)\subset \mathbb F_p[x_1,\ldots, x_n]$. We discuss existing results and introduce a new necessary condition on the points in $V$ for uniqueness of the reduced Gr\"obner basis of $I(V)$. These results also point to the importance of the relative proximity of the experimental input points on the number of minimal wiring diagrams, which we then study computationally. We find that there is a concrete heuristic way to generate data that tends to result in fewer minimal wiring diagrams.


title: Angular momentum of the asymptotic electromagnetic field in the classical scattering of charged particles

abstract: We compute the angular momentum of the electromagnetic field on a late time Cauchy surface with an arbitrary constant normal vector relevant for the classical scattering of charged particles. We find a time independent contribution to the angular momentum. This demonstrates that every charged particle scattering event is accompanied by a net shift in the angular momentum of the electromagnetic field. We speculate that this shift is related to a subleading electromagnetic memory effect. We argue that this asymptotic angular momentum should be included in the description of the asymptotic states in quantum theories containing infrared divergences. We demonstrate that the Lorentz covariance of the asymptotic electromagnetic angular momentum can only be exhibited upon making reference to the Cauchy slice's normal vector.


title: Neural-network preconditioners for solving the Dirac equation in lattice gauge theory

abstract: This work develops neural-network--based preconditioners to accelerate solution of the Wilson-Dirac normal equation in lattice quantum field theories. The approach is implemented for the two-flavor lattice Schwinger model near the critical point. In this system, neural-network preconditioners are found to accelerate the convergence of the conjugate gradient solver compared with the solution of unpreconditioned systems or those preconditioned with conventional approaches based on even-odd or incomplete Cholesky decompositions, as measured by reductions in the number of iterations and/or complex operations required for convergence. It is also shown that a preconditioner trained on ensembles with small lattice volumes can be used to construct preconditioners for ensembles with many times larger lattice volumes, with minimal degradation of performance. This volume-transferring technique amortizes the training cost and presents a pathway towards scaling such preconditioners to lattice field theory calculations with larger lattice volumes and in four dimensions.


title: Anisotropic Magnetodielectric Coupling in Layered Antiferromagnetic FePS$_3$

abstract: We report anisotropic magnetodielectric (MD) coupling in layered van der Waals (vdW) antiferromagnetic (AFM) FePS$_3$ (N\'eel temperature $T_{\mathrm{N}}$ $\sim$ 120K) with perpendicular anisotropy. Above $T_N$, while dielectric response function along \textit{c}-axis shows frequency dependent relaxations, in-plane data is frequency independent and reveals a deviation from phonon-anharmonicity in the ordered state, thereby implying a connection to spin-phonon coupling known to be indicative of onset of magnetic ordering. At low temperature (below 40 K), atypical anomaly in the dielectric constant is corroborated with temperature dependent DC and AC susceptibility. The magnetodielectric response across this anomaly differs significantly for both, in-plane and out-of-plane cases. We have explained this in terms of preferential orientation of magnetic AFM-z alignment, implied by the in-plane structural anisotropy as confirmed by \textit{ab-initio} calculations. Controlling relative strength of magnetodielectric coupling with magnetic anisotropy opens up a strategy for tracking subtle modifications of structure, such as in-plane anisotropy, with potential application to spintronic technologies.


title: Doubly Heavy Tetraquarks in the Born-Oppenheimer approximation

abstract: Tetraquarks QQq*q* are found to be described remarkably well with the Quantum Chromodynamics version of the Hydrogen bond, as treated with the Born-Oppenheimer approximation. We show the robustness of the method by computing the mass of the observed Tcc tetraquark following two different paths. Relying on this, we provide a prediction for the mass of the expected Tbb particle. The average sizes of tetraquarks are estimated to be approximately 3 - 5 GeV**-1. As a consequence hyperfine separations are not expected to be sizeable. We discussed possible reasons why LHCb has observed only one state in the DD* spectrum.


title: Finite-size criticality in fully connected spin models on superconducting quantum hardware

abstract: The emergence of a collective behavior in a many-body system is responsible of the quantum criticality separating different phases of matter. Interacting spin systems in a magnetic field offer a tantalizing opportunity to test different approaches to study quantum phase transitions. In this work, we exploit the new resources offered by quantum algorithms to detect the quantum critical behaviour of fully connected spin$-1/2$ models. We define a suitable Hamiltonian depending on an internal anisotropy parameter $\gamma,$ that allows us to examine three paradigmatic examples of spin models, whose lattice is a fully connected graph. We propose a method based on variational algorithms run on superconducting transmon qubits to detect the critical behavior for systems of finite size. We evaluate the energy gap between the first excited state and the ground state, the magnetization along the easy-axis of the system, and the spin-spin correlations. We finally report a discussion about the feasibility of scaling such approach on a real quantum device for a system having a dimension such that classical simulations start requiring significant resources.


title: Almost Consistent Systems of Linear Equations

abstract: Checking whether a system of linear equations is consistent is a basic computational problem with ubiquitous applications. When dealing with inconsistent systems, one may seek an assignment that minimizes the number of unsatisfied equations. This problem is NP-hard and UGC-hard to approximate within any constant even for two-variable equations over the two-element field. We study this problem from the point of view of parameterized complexity, with the parameter being the number of unsatisfied equations. We consider equations defined over Euclidean domains - a family of commutative rings that generalize finite and infinite fields including the rationals, the ring of integers, and many other structures. We show that if every equation contains at most two variables, the problem is fixed-parameter tractable. This generalizes many eminent graph separation problems such as Bipartization, Multiway Cut and Multicut parameterized by the size of the cutset. To complement this, we show that the problem is W[1]-hard when three or more variables are allowed in an equation, as well as for many commutative rings that are not Euclidean domains. On the technical side, we introduce the notion of important balanced subgraphs, generalizing important separators of Marx [Theor. Comput. Sci. 2006] to the setting of biased graphs. Furthermore, we use recent results on parameterized MinCSP [Kim et al., SODA 2021] to efficiently solve a generalization of Multicut with disjunctive cut requests.


title: On False Data Injection Attack against Building Automation Systems

abstract: KNX is one popular communication protocol for a building automation system (BAS). However, its lack of security makes it subject to a variety of attacks. We are the first to study the false data injection attack against a KNX based BAS. We design a man-in-the-middle (MITM) attack to change the data from a temperature sensor and inject false data into the BAS. We model a BAS and analyze the impact of the false data injection attack on the system in terms of energy cost. Since the MITM attack may disturb the KNX traffic, we design a machine learning (ML) based detection strategy to detect the false data injection attack using a novel feature based on the Jensen Shannon Divergence (JSD), which measures the similarity of KNX telegram inter-arrival time distributions with attack and with no attack. We perform real-world experiments and validate the presented false data injection attack and the ML based detection strategy. We also simulate a BAS, and show that the false data injection attack has a huge impact on the BAS in terms of power consumption.


title: Unconventional application of k-means for distributed approximate similarity search

abstract: Similarity search based on a distance function in metric spaces is a fundamental problem for many applications. Queries for similar objects lead to the well-known machine learning task of nearest-neighbours identification. Many data indexing strategies, collectively known as Metric Access Methods (MAM), have been proposed to speed up queries for similar elements in this context. Moreover, since exact approaches to solve similarity queries can be complex and time-consuming, alternative options have appeared to reduce query execution time, such as returning approximate results or resorting to distributed computing platforms. In this paper, we introduce MASK (Multilevel Approximate Similarity search with $k$-means), an unconventional application of the $k$-means algorithm as the foundation of a multilevel index structure for approximate similarity search, suitable for metric spaces. We show that inherent properties of $k$-means, like representing high-density data areas with fewer prototypes, can be leveraged for this purpose. An implementation of this new indexing method is evaluated, using a synthetic dataset and a real-world dataset in a high-dimensional and high-sparsity space. Results are promising and underpin the applicability of this novel indexing method in multiple domains.


title: On the positivity of Coon amplitude in D=4

abstract: The Coon amplitude is the unique solution to duality constraints with logarithmic Regge trajectories. A striking feature of this solution is that it interpolates between the Veneziano amplitude and a scalar particle amplitude. However, an analytic proof of unitarity of the amplitude is not yet known. In this short note, we explicitly compute the partial wave coefficients on the leading Regge trajectory in D=4. We find that these coefficients always remain positive, even though their magnitude decreases with spin. Since the coefficients on the subleading trajectories are observed to be larger than those on the leading ones, our result indicates the positivity of the full Coon amplitude in D=4.


title: Uniqueness of some cylindrical tangent cones to special Lagrangians

abstract: We show that if an exact special Lagrangian $N\subset \mathbb{C}^n$ has a multiplicity one, cylindrical tangent cone of the form $\mathbb{R}^{k}\times \mathbf{C}$ where $\mathbf{C}$ is a special Lagrangian cone with smooth, connected link, then this tangent cone is unique provided $\mathbf{C}$ satisfies an integrability condition. This applies, for example, when $\mathbf{C}= \mathbf{C}_{HL}^{m}$ is the Harvey-Lawson $T^{m-1}$ cone for $m\ne 8,9$.


title: Differential-algebraic systems with dissipative Hamiltonian structure

abstract: Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different representations are presented. Characterizations are also derived when a general DAE system can be transformed into one of these structured representations. Approaches for computing the structural information and the described transformations are derived that can be directly implemented as numerical methods. The results are demonstrated with a large number of examples.


title: Surface energy of magnetized superconducting matter in the neutron star cores

abstract: In this paper, an effective field theory for proton superconductor (SC) interacting with neutron superfluid (SF), both with scalar order parameters, is developed and applied to the surface energy (SE) of a magnetized SC body in neutron stars (NS). Essentially, the SE studied here differs from the nuclear SE: here, the proton SF density decays to zero while the total proton density is constant across the surface. Interactions between the condensates are parameterized phenomenologically and their effects determined from calculations of a planar SE as the ranges of parameters are varied. The critical Ginzburg-Landau (GL) parameter $\kappa_c$ which renders the SE equal to zero is found analytically by noting that in a system with vanishing SE the thermodynamic critical MF is equivalent to the upper critical MF. In the case of weak coupling, $\kappa_c$ is shown to be a linear function of SF-SF density-density coupling, in agreement with the earlier results based on asymptotic intervortex interactions. Numerical simulations corroborate our analytical predictions. Coupling due to the mixed term arising from a scalar product of gradients of the SF densities, which had been considered in the earlier literature, is seen to have practically no effect on the superconductivity type. However, this coupling does produce a frozen wave packet of the SF neutron density localized at the surface. It is shown that the leading contribution from the gradient coupling arises from a novel mixed quantum pressure term, but still does not affect the planar SE. The present calculations provide an initial map of superconductivity types in the phenomenological effective field theory and will serve as a landmark for future studies, which require microscopic calculations of the coupling parameters introduced here phenomenologically.


title: Dissipative Dynamics of a Fermionic Superfluid with Two-Body Losses

abstract: We study the dissipative dynamics of a fermionic superfluid in presence of two-body losses. We use a variational approach for the Lindblad dynamics and obtain dynamical equations for Anderson's pseudo-spins where dissipation enters as a complex pairing interaction as well as effective, density-dependent, single particle losses which break the conservation of the pseudo-spin norm. We show that this latter has key consequences on the dynamical behavior of the system. In the case of a sudden switching of two-body losses we show that the superfluid order parameter decays much faster than then particle density at short times and eventually slows-down, setting into a power-law decay at longer time scales driven by the depletion of the system. We then consider a quench of pairing interaction, leading to coherent oscillations in the unitary case, followed by the switching of the dissipation. We show that losses wash away the dynamical BCS synchronization by introducing not only damping but also a renormalization of the frequency of coherent oscillations, which depends non-linearly from the rate of the two-body losses.