title: On the Identifiability and Estimation of Causal Location-Scale Noise Models

abstract: We study the class of location-scale or heteroscedastic noise models (LSNMs), in which the effect $Y$ can be written as a function of the cause $X$ and a noise source $N$ independent of $X$, which may be scaled by a positive function $g$ over the cause, i.e., $Y = f(X) + g(X)N$. Despite the generality of the model class, we show the causal direction is identifiable up to some pathological cases. To empirically validate these theoretical findings, we propose two estimators for LSNMs: an estimator based on (non-linear) feature maps, and one based on neural networks. Both model the conditional distribution of $Y$ given $X$ as a Gaussian parameterized by its natural parameters. When the feature maps are correctly specified, we prove that our estimator is jointly concave, and a consistent estimator for the cause-effect identification task. Although the the neural network does not inherit those guarantees, it can fit functions of arbitrary complexity, and reaches state-of-the-art performance across benchmarks.


title: Data-driven multi-scale modeling and robust optimization of composite structure with uncertainty quantification

abstract: It is important to accurately model materials' properties at lower length scales (micro-level) while translating the effects to the components and/or system level (macro-level) can significantly reduce the amount of experimentation required to develop new technologies. Robustness analysis of fuel and structural performance for harsh environments (such as power uprated reactor systems or aerospace applications) using machine learning-based multi-scale modeling and robust optimization under uncertainties are required. The fiber and matrix material characteristics are potential sources of uncertainty at the microscale. The stacking sequence (angles of stacking and thickness of layers) of composite layers causes meso-scale uncertainties. It is also possible for macro-scale uncertainties to arise from system properties, like the load or the initial conditions. This chapter demonstrates advanced data-driven methods and outlines the specific capability that must be developed/added for the multi-scale modeling of advanced composite materials. This chapter proposes a multi-scale modeling method for composite structures based on a finite element method (FEM) simulation driven by surrogate models/emulators based on microstructurally informed meso-scale materials models to study the impact of operational parameters/uncertainties using machine learning approaches. To ensure optimal composite materials, composite properties are optimized with respect to initial materials volume fraction using data-driven numerical algorithms.


title: Monopole topological resonators

abstract: Among the many far-reaching consequences of the potential existence of a magnetic monopole, it induces topological zero modes in the Dirac equation, which were derived by Jackiw and Rebbi 46 years ago and have been elusive ever since. Here, we show that the monopole and multi-monopole solutions can be constructed in the band theory by coupling the three-dimensional Dirac points in hedgehog spatial configurations through Dirac-mass engineering. We then experimentally demonstrate such a monopole bound state in a structurally-modulated acoustic crystal as a cavity device. These monopole resonators not only support an arbitrary number of degenerate mid-gap modes, but also offer the optimal single-mode behavior possible -- whose modal spacing is inversely proportional to the cubic root of the modal volume. Our work completes the kink-vortex-monopole trilogy of zero modes and provides the largest free spectral range for sizable resonators.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.class-ph physics.optics


title: Regularity Results for a free interface problem with H\"{o}lder coefficients

abstract: We study a class of variational problems involving both bulk and interface energies. The bulk energy is of Dirichlet type albeit of very general form allowing the dependence from the unknown variable $u$ and the position $x$. We employ the regularity theory of $\Lambda$-minimizers to study the regularity of the free interface. The hallmark of the paper is the mild regularity assumption concerning the dependence of the coefficients with respect to $x$ and $u$ that is of H\"{o}lder type.


title: Forward-Backward Latent State Inference for Hidden Continuous-Time semi-Markov Chains

abstract: Hidden semi-Markov Models (HSMM's) - while broadly in use - are restricted to a discrete and uniform time grid. They are thus not well suited to explain often irregularly spaced discrete event data from continuous-time phenomena. We show that non-sampling-based latent state inference used in HSMM's can be generalized to latent Continuous-Time semi-Markov Chains (CTSMC's). We formulate integro-differential forward and backward equations adjusted to the observation likelihood and introduce an exact integral equation for the Bayesian posterior marginals and a scalable Viterbi-type algorithm for posterior path estimates. The presented equations can be efficiently solved using well-known numerical methods. As a practical tool, variable-step HSMM's are introduced. We evaluate our approaches in latent state inference scenarios in comparison to classical HSMM's.


title: Space Trusted Autonomy Readiness Levels

abstract: Technology Readiness Levels are a mainstay for organizations that fund, develop, test, acquire, or use technologies. Technology Readiness Levels provide a standardized assessment of a technology's maturity and enable consistent comparison among technologies. They inform decisions throughout a technology's development life cycle, from concept, through development, to use. A variety of alternative Readiness Levels have been developed, including Algorithm Readiness Levels, Manufacturing Readiness Levels, Human Readiness Levels, Commercialization Readiness Levels, Machine Learning Readiness Levels, and Technology Commitment Levels. However, while Technology Readiness Levels have been increasingly applied to emerging disciplines, there are unique challenges to assessing the rapidly developing capabilities of autonomy. This paper adopts the moniker of Space Trusted Autonomy Readiness Levels to identify a two-dimensional scale of readiness and trust appropriate for the special challenges of assessing autonomy technologies that seek space use. It draws inspiration from other readiness levels' definitions, and from the rich field of trust and trustworthiness. The Space Trusted Autonomy Readiness Levels were developed by a collaborative Space Trusted Autonomy subgroup, which was created from The Space Science and Technology Partnership Forum between the United States Space Force, the National Aeronautics and Space Administration, and the National Reconnaissance Office.


title: An introduction to programming Physics-Informed Neural Network-based computational solid mechanics

abstract: Physics-informed neural network (PINN) has recently gained increasing interest in computational mechanics. In this work, we present a detailed introduction to programming PINN-based computational solid mechanics. Besides, two prevailingly used physics-informed loss functions for PINN-based computational solid mechanics are summarised. Moreover, numerical examples ranging from 1D to 3D solid problems are presented to show the performance of PINN-based computational solid mechanics. The programs are built via Python coding language and TensorFlow library with step-by-step explanations. It is worth highlighting that PINN-based computational mechanics is easy to implement and can be extended for more challenging applications. This work aims to help the researchers who are interested in the PINN-based solid mechanics solver to have a clear insight into this emerging area. The programs for all the numerical examples presented in this work are available on https://github.com/JinshuaiBai/PINN_Comp_Mech.


title: Sound Waveguiding by Spinning: An Avenue towards Unidirectional Acoustic Spinning Fibers

abstract: Waveguiding in general and acoustic waveguiding in particular are possible at the condition of having a transverse "discontinuity" or modulation of the refractive index. We propose here a radically different approach that relies on imposing spinning on a column of air, leading to high modified acoustic refractive indices for specific azimuthal modes. Such discovery may be leveraged to realize not only the airborne acoustic counterpart of the optical fiber, i.e., the acoustic spinning fiber (ASF), but also nonreciprocal unidirectional waveguiding mechanism, reminiscent of the ''acoustic Zeeman effect''. The concept is demonstrated in the realm of acoustics, yet it can be applicable to other wave systems, e.g., photonics or elastodynamics.


title: Calculating the Hawking Temperatures of Conventional Black Holes in the f(R) Gravity Models with the RVB Method

abstract: This paper attempted to apply the RVB method for calculating the Hawking temperatures of black holes under f(R) gravity. In calculating the Hawking temperature, we found a difference in the integration constant between the RVB and general methods.


title: First-class constraints generate gauge transformations in electromagnetism (reply to Pitts)

abstract: Brian Pitts has recently claimed to show via straightforward calculation that, at least in the case of Hamiltonian electromagnetism, an arbitrary first-class constraint ``generates not a gauge transformation, but a bad physical change'' (Annals of Physics 351 (2014) pp.382-406; arXiv:1310.2756). We show, via a straightforward calculation, that a transformation generated by an arbitrary first-class constraint relates gauge-equivalent phase space points, vindicating orthodoxy. Pitts, however, is primarily concerned with transformations of entire histories, rather than of instantaneous states. We show that, even in this context, a transformation generated by an arbitrary first-class constraint is also a gauge transformation, once the empirically observed electric field is correctly identified via its dynamical interactions with charge, and not simply given stipulatively as a certain combination of the potential and its derivatives.


title: Every diffeomorphism is a total renormalization of a close to identity map

abstract: For any $1\le r\le \infty$, we show that every diffeomorphism of a manifold of the form $\mathbb{R}/\mathbb{Z} \times M$ is a total renormalization of a $C^r$-close to identity map. In other words, for every diffeomorphism $f$ of $\mathbb{R}/\mathbb{Z} \times M$, there exists a map $g$ arbitrarily close to identity such that the first return map of $g$ to a domain is conjugate to $f$ and moreover the orbit of this domain is equal to $\mathbb{R}/\mathbb{Z} \times M$. This enables us to localize nearby the identity the existence of many properties in dynamical systems, such as being Bernoulli for a smooth volume form.


title: Two convergent NPA-like hierarchies for the quantum bilocal scenario

abstract: Characterising the correlations that arise from locally measuring a single part of a joint quantum system is one of the main problems of quantum information theory. The seminal work [M. Navascu\'es et al, NJP 10,7,073013 (2008)], known as the NPA hierarchy, reformulated this question as a polynomial optimisation problem over noncommutative variables and proposed a convergent hierarchy of necessary conditions, each testable using semidefinite programming. More recently, the problem of characterising the quantum network correlations, which arise when locally measuring several independent quantum systems distributed in a network, has received considerable interest. Several generalisations of the NPA hierarchy, such as the Scalar Extension [Pozas-Kerstjens et al, Phys. Rev. Lett. 123, 140503 (2019)], were introduced while their converging sets remain unknown. In this work, we introduce a new hierarchy, prove its equivalence to the Scalar Extension, and characterise its convergence in the case of the simplest network, the bilocal scenario, and explore its relations with the known generalisations.


title: Climate uncertainty, financial frictions and constrained efficient carbon taxation

abstract: In this paper, I consider a simple heterogeneous agents model of a production economy with uncertain climate change and examine constrained efficient carbon taxation. If there are frictionless, complete financial markets, the simple model predicts a unique Pareto-optimal level of carbon taxes and abatement. In the presence of financial frictions, however, the optimal level of abatement cannot be defined without taking a stand on how abatement costs are distributed among individuals. I propose a simple linear cost-sharing scheme that has several desirable normative properties. I use calibrated examples of economies with incomplete financial markets and/or limited market participation to demonstrate that different schemes to share abatement costs can have large effects on optimal abatement levels and that the presence of financial frictions can increase optimal abatement by a factor of three relative to the case of frictionless financial market.


title: A Closed-form Expression for the ISRS GN Model Supporting Distributed Raman Amplification

abstract: A closed-form model for the nonlinear interference in distributed Raman amplified links is presented, the formula accounts for both forward and backward pumping.


title: Moduli space with a boundary

abstract: We find that for various solitonic processes the corresponding canonical moduli space can have a boundary which is accessible in a finite time evolution. We show that such a boundary is not a failure of the moduli space approach but has a physical meaning. In our example, it corresponds to the complete annihilation of a colliding kink and antikink after a finite time. We further find that, close to the boundary, the solutions have an approximate self-similar form.


title: Transduction of single nanomechanical pillar resonators by scattering of surface acoustic waves

abstract: One of the challenges of nanoelectromechanical systems (NEMS) is the effective transduction of the tiny resonators. Vertical structures, such as nanomechanical pillar resonators, which are exploited in a wide range of fields, such as optomechanics, acoustic metamaterials, and nanomechanical sensing, are particularly challenging to transduce. Existing electromechanical transduction methods are ill-suited as they complicate the pillars' fabrication process, put constraints on the pillars' material, and do not enable a transduction of freestanding pillars. Here, we present an electromechanical transduction method for single nanomechanical pillar resonators based on surface acoustic waves (SAWs). We demonstrate the transduction of freestanding nanomechanical platinum-carbon pillars in the first-order bending and compression mode. Since the principle of the transduction method is based on resonant scattering of a SAW by a nanomechanical resonator, our transduction method is independent of the pillar's material and not limited to pillar-shaped geometries. It represents a general method to transduce vertical mechanical resonators with nanoscale lateral dimensions.


title: Homogenization of the two-dimensional evolutionary compressible Navier-Stokes equations

abstract: We consider the evolutionary compressible Navier-Stokes equations in a two-dimensional perforated domain, and show that in the subcritical case of very tiny holes, the density and velocity converge to a solution of the evolutionary compressible Navier-Stokes equations in the non-perforated domain.


title: Attention Attention Everywhere: Monocular Depth Prediction with Skip Attention

abstract: Monocular Depth Estimation (MDE) aims to predict pixel-wise depth given a single RGB image. For both, the convolutional as well as the recent attention-based models, encoder-decoder-based architectures have been found to be useful due to the simultaneous requirement of global context and pixel-level resolution. Typically, a skip connection module is used to fuse the encoder and decoder features, which comprises of feature map concatenation followed by a convolution operation. Inspired by the demonstrated benefits of attention in a multitude of computer vision problems, we propose an attention-based fusion of encoder and decoder features. We pose MDE as a pixel query refinement problem, where coarsest-level encoder features are used to initialize pixel-level queries, which are then refined to higher resolutions by the proposed Skip Attention Module (SAM). We formulate the prediction problem as ordinal regression over the bin centers that discretize the continuous depth range and introduce a Bin Center Predictor (BCP) module that predicts bins at the coarsest level using pixel queries. Apart from the benefit of image adaptive depth binning, the proposed design helps learn improved depth embedding in initial pixel queries via direct supervision from the ground truth. Extensive experiments on the two canonical datasets, NYUV2 and KITTI, show that our architecture outperforms the state-of-the-art by 5.3% and 3.9%, respectively, along with an improved generalization performance by 9.4% on the SUNRGBD dataset. Code is available at https://github.com/ashutosh1807/PixelFormer.git.


title: Long-term Study of the Sun and Its Implications to Solar Dynamo Models

abstract: The Sun shows a wide range of temporal variations, from a few seconds to decades and even centuries, broadly classified into two classes short-term and Long-term. The solar dynamo mechanism is believed to be responsible for these global changes happening in the Sun. Hence, many dynamo models have been proposed to explain the observed behaviour of the Sun. This thesis is primarily focused on studying the \lt\ variation of the Sun and provides various inputs to the solar dynamo models. With a renewed interest in the subject, several automatic techniques have been developed for extensive data analysis as applied to long-term datasets and presented in this thesis. This approach provides better consistency and eliminates human subjectivity, which has been a normal practice in the past. The variation of penumbra to umbra area ratio, q, observed here, will provide constraints in sunspot simulations. In addition, the absence of any difference in the behaviour of small and big spots does not support the idea of the global and local dynamo. Two classes of BMRs observed in the magnetograms further verify this behaviour. The importance of the NSSL is not studied so well in the context of solar dynamo models, but it will be worth waiting to see its significance for understanding solar dynamo. Finally, the indication of tilt quenching presented here needs to be further verified using the more comprehensive data set, including stronger cycles.


title: Probing and harnessing photonic Fermi arc surface states using light-matter interactions

abstract: Fermi arcs, i.e., surface states connecting topologically-distinct Weyl points, represent a paradigmatic manifestation of the topological aspects of Weyl physics. Here, we investigate a light-matter interface based on the photonic counterpart of these states and we prove that it can lead to phenomena with no analogue in other setups. First, we show how to image the Fermi arcs by studying the spontaneous decay of one or many emitters coupled to the system's border. Second, we demonstrate that the Fermi arc surface states can act as a robust quantum link. To do that we exploit the negative refraction experienced by these modes at the hinges of the system. Thanks to this mechanism a circulatory photonic current is created which, depending on the occurrence of revivals, yields two distinct regimes. In the absence of revivals, the surface states behave as a dissipative chiral quantum channel enabling, e.g., perfect quantum state transfer. In the presence of revivals, an effective off-resonant cavity is induced, which leads to coherent emitter couplings that can entangle them maximally. In addition to their fundamental interest, our findings evidence the potential offered by the photonic Fermi arc light-matter interfaces for the design of more robust quantum technologies.


title: Reversing Image Signal Processors by Reverse Style Transferring

abstract: RAW image datasets are more suitable than the standard RGB image datasets for the ill-posed inverse problems in low-level vision, but not common in the literature. There are also a few studies to focus on mapping sRGB images to RAW format. Mapping from sRGB to RAW format could be a relevant domain for reverse style transferring since the task is an ill-posed reversing problem. In this study, we seek an answer to the question: Can the ISP operations be modeled as the style factor in an end-to-end learning pipeline? To investigate this idea, we propose a novel architecture, namely RST-ISP-Net, for learning to reverse the ISP operations with the help of adaptive feature normalization. We formulate this problem as a reverse style transferring and mostly follow the practice used in the prior work. We have participated in the AIM Reversed ISP challenge with our proposed architecture. Results indicate that the idea of modeling disruptive or modifying factors as style is still valid, but further improvements are required to be competitive in such a challenge.


title: The "pure-shear" fracture test for viscoelastic elastomers and its revelation on Griffith fracture

abstract: Strikingly, "pure-shear" fracture tests have repeatedly shown that fracture nucleation in (common hydrocarbon and other types of) viscoelastic elastomers occurs at a critical stretch that is independent of the stretch rate at which the test is carried out. In this Letter, we demonstrate that this remarkable -- yet overlooked -- experimental finding implies that the Griffith criticality condition that governs nucleation of fracture from large pre-existing cracks in viscoelastic elastomers can be written in fact as an expression not in terms of an elusive loading-history-dependent critical tearing energy Tc, as ordinarily done, but as one exclusively in terms of the intrinsic fracture energy Gc of the elastomer.


title: An Assessment of Safety-Based Driver Behavior Modeling in Microscopic Simulation Utilizing Real-Time Vehicle Trajectories

abstract: Accurate representation of observed driving behavior is critical for effectively evaluating safety and performance interventions in simulation modeling. In this study, we implement and evaluate a safety-based Optimal Velocity Model (OVM) to provide a high-fidelity replication of safety-critical behavior in microscopic simulation and showcase its implications for safety-focused assessments of traffic control strategies. A comprehensive simulation model is created for the site of study in PTV VISSIM utilizing detailed vehicle trajectory information extracted from real-time video inference, which are also used to calibrate the parameters of the safety-based OVM to replicate the observed driving behavior in the site of study. The calibrated model is then incorporated as an external driver model that overtakes VISSIM's default Wiedemann 74 model during simulated car-following episodes. The results of the preliminary analysis show the significant improvements achieved by using our model in replicating the existing safety conflicts observed at the site of the study. We then utilize this improved representation of the status quo to assess the potential impact of different scenarios of signal control and speed limit enforcement in reducing those existing conflicts by up to 23%. The results of this study showcase the considerable improvements that can be achieved by utilizing data-driven car-following behavior modeling, and the workflow presented provides an end-to-end, scalable, automated, and generalizable approach for replicating the existing driving behavior observed at a site of interest in microscopic simulation by utilizing vehicle trajectories efficiently extracted via roadside video inference.


title: Constraining the equation of state of hybrid stars using recent information from multidisciplinary physics

abstract: At the ultra-high densities existing in the core of neutron stars, it is expected that a phase transition from baryonic to deconfined quark matter may occur. Such a phase transition would affect the underlying equation of state (EoS) as well as the observable astrophysical properties of neutron stars. Comparison of EoS model predictions with astronomical data from multi-messenger signals then provides us an opportunity to probe the behaviour of dense matter. In this work, we restrict the allowed parameter space of EoS models in neutron stars for both nucleonic (relativistic mean field model) and quark matter (bag model) sectors by imposing state-of-the-art constraints from nuclear calculations, multi-messenger astrophysical data and perturbative QCD (pQCD). We systematically investigate the effect of each constraint on the parameter space of uncertainties using a cut-off filter scheme, as well as the correlations among the parameters and with neutron star astrophysical observables. Using the constraints, we obtain limits for maximum NS mass, maximum central density, as well as for NS radii and tidal deformability. Although pQCD constraints are only effective at very high densities, they significantly reduce the parameter space of the quark model. We also conclude that astrophysical data supports high values of the bag parameter B and disfavors the existence of a pure quark matter core in hybrid stars.


title: Machine Learning Technique Predicting Video Streaming Views to Reduce Cost of Cloud Services

abstract: Video streams tremendously occupied the highest portion of online traffic. Multiple versions of a video are created to fit the user's device specifications. In cloud storage, Keeping all versions of frequently accessed video streams in the repository for the long term imposes a significant cost paid by video streaming providers. Generally, the popularity of a video changes each period of time, which means the number of views received by a video could be dropped, thus, the video must be deleted from the repository. Therefore, in this paper, we develop a method that predicts the popularity of each video stream in the repository in the next period. On the other hand, we propose an algorithm that utilizes the predicted popularity of a video to compute the storage cost, and then it decides whether the video will be kept or deleted from the cloud repository. The experiment results show a cost reduction of the cloud services by 15% compared to keeping all video streams.


title: The thermonuclear X-ray bursts of 4U 1730-22

abstract: We present observations of the historic transient 4U 1730-22 as observed with the Neutron Star Interior Composition Explorer (NICER). After remaining in quiescence since its 1972 discovery, this X-ray binary showed renewed outburst activity in 2021 and 2022. We observed 4U 1730-22 extensively with NICER, detecting a total of 17 thermonuclear X-ray bursts. From a spectroscopic analysis, we find that these X-ray bursts can be divided into a group of bright and weak bursts. All bright bursts showed $1\sim2$ second rise times and a photospheric radius expansion phase, while the weak bursts showed a slower $\sim5$ second rise with a tendency for concave shapes. From the photospheric radius expansion flux, we estimate the source distance at $6.9\pm0.2$ kpc. We consider various interpretations for our observations and suggest that they may be explained if accreted material is burning stably at the stellar equator, and unstable ignition occurs at a range of higher latitudes.


title: Statistics of High-Throughput Characterization of Microbial Interactions

abstract: An active area of research interest is the inference of ecological models of complex microbial communities. Inferring such ecological models entails understanding the interactions between microbes and how they affect each other's growth. This dissertation employs a statistical perspective to contribute further to the knowledge currently addressing this problem. Part I explains how high-throughput droplet-based microfluidics technology can be used to screen for microbial interactions. An explicit, statistical framework is motivated and developed that can guide the analysis of data from such experiments. Part II explains how it might be possible to predict, based on the experimental setup, how much data will be produced to infer given microbial interactions. Running the experiment once without incubating the droplets turns out to be necessary to make such predictions. Part III demonstrates the feasibility of inferring microbial interactions from the data produced by these experiments. Relevant ideas from the microbiological and ecological literature are recast into an explicit, statistical framework.

categories: stat.AP math.ST q-bio.QM stat.ME stat.TH


title: Asymptotic-Preserving Neural Networks for hyperbolic systems with diffusive scaling

abstract: With the rapid advance of Machine Learning techniques and the deep increase of availability of scientific data, data-driven approaches have started to become progressively popular across science, causing a fundamental shift in the scientific method after proving to be powerful tools with a direct impact in many areas of society. Nevertheless, when attempting to analyze dynamics of complex multiscale systems, the usage of standard Deep Neural Networks (DNNs) and even standard Physics-Informed Neural Networks (PINNs) may lead to incorrect inferences and predictions, due to the presence of small scales leading to reduced or simplified models in the system that have to be applied consistently during the learning process. In this Chapter, we will address these issues in light of recent results obtained in the development of Asymptotic-Preserving Neural Networks (APNNs) for hyperbolic models with diffusive scaling. Several numerical tests show how APNNs provide considerably better results with respect to the different scales of the problem when compared with standard DNNs and PINNs, especially when analyzing scenarios in which only little and scattered information is available.


title: A Solver-Free Framework for Scalable Learning in Neural ILP Architectures

abstract: There is a recent focus on designing architectures that have an Integer Linear Programming (ILP) layer within a neural model (referred to as Neural ILP in this paper). Neural ILP architectures are suitable for pure reasoning tasks that require data-driven constraint learning or for tasks requiring both perception (neural) and reasoning (ILP). A recent SOTA approach for end-to-end training of Neural ILP explicitly defines gradients through the ILP black box (Paulus et al. 2021) - this trains extremely slowly, owing to a call to the underlying ILP solver for every training data point in a minibatch. In response, we present an alternative training strategy that is solver-free, i.e., does not call the ILP solver at all at training time. Neural ILP has a set of trainable hyperplanes (for cost and constraints in ILP), together representing a polyhedron. Our key idea is that the training loss should impose that the final polyhedron separates the positives (all constraints satisfied) from the negatives (at least one violated constraint or a suboptimal cost value), via a soft-margin formulation. While positive example(s) are provided as part of the training data, we devise novel techniques for generating negative samples. Our solution is flexible enough to handle equality as well as inequality constraints. Experiments on several problems, both perceptual as well as symbolic, which require learning the constraints of an ILP, show that our approach has superior performance and scales much better compared to purely neural baselines and other state-of-the-art models that require solver-based training. In particular, we are able to obtain excellent performance in 9 x 9 symbolic and visual sudoku, to which the other Neural ILP solver is not able to scale.


title: Nish: A Novel Negative Stimulated Hybrid Activation Function

abstract: An activation function has a significant impact on the efficiency and robustness of the neural networks. As an alternative, we evolved a cutting-edge non-monotonic activation function, Negative Stimulated Hybrid Activation Function (Nish). It acts as a Rectified Linear Unit (ReLU) function for the positive region and a sinus-sigmoidal function for the negative region. In other words, it incorporates a sigmoid and a sine function and gaining new dynamics over classical ReLU. We analyzed the consistency of the Nish for different combinations of essential networks and most common activation functions using on several most popular benchmarks. From the experimental results, we reported that the accuracy rates achieved by the Nish is slightly better than compared to the Mish in classification.


title: Multi-Agent Automated Machine Learning

abstract: In this paper, we propose multi-agent automated machine learning (MA2ML) with the aim to effectively handle joint optimization of modules in automated machine learning (AutoML). MA2ML takes each machine learning module, such as data augmentation (AUG), neural architecture search (NAS), or hyper-parameters (HPO), as an agent and the final performance as the reward, to formulate a multi-agent reinforcement learning problem. MA2ML explicitly assigns credit to each agent according to its marginal contribution to enhance cooperation among modules, and incorporates off-policy learning to improve search efficiency. Theoretically, MA2ML guarantees monotonic improvement of joint optimization. Extensive experiments show that MA2ML yields the state-of-the-art top-1 accuracy on ImageNet under constraints of computational cost, e.g., $79.7\%/80.5\%$ with FLOPs fewer than 600M/800M. Extensive ablation studies verify the benefits of credit assignment and off-policy learning of MA2ML.


title: Perspectives for self-driving labs in synthetic biology

abstract: Self-driving labs (SDLs) combine fully automated experiments with artificial intelligence (AI) that decides the next set of experiments. Taken to their ultimate expression, SDLs could usher a new paradigm of scientific research, where the world is probed, interpreted, and explained by machines for human benefit. While there are functioning SDLs in the fields of chemistry and materials science, we contend that synthetic biology provides a unique opportunity since the genome provides a single target for affecting the incredibly wide repertoire of biological cell behavior. However, the level of investment required for the creation of biological SDLs is only warranted if directed towards solving difficult and enabling biological questions. Here, we discuss challenges and opportunities in creating SDLs for synthetic biology.


title: Artificial Intelligence Nomenclature Identified From Delphi Study on Key Issues Related to Trust and Barriers to Adoption for Autonomous Systems

abstract: The rapid integration of artificial intelligence across traditional research domains has generated an amalgamation of nomenclature. As cross-discipline teams work together on complex machine learning challenges, finding a consensus of basic definitions in the literature is a more fundamental problem. As a step in the Delphi process to define issues with trust and barriers to the adoption of autonomous systems, our study first collected and ranked the top concerns from a panel of international experts from the fields of engineering, computer science, medicine, aerospace, and defence, with experience working with artificial intelligence. This document presents a summary of the literature definitions for nomenclature derived from expert feedback.


title: Toward more accurate adiabatic connection approach for multireference wave functions

abstract: A multiconfigurational adiabatic connection (AC) formalism is an attractive approach to computing dynamic correlation within CASSCF and DMRG models. Practical realizations of AC have been based on two approximations: i) fixing one- and two-electron reduced density matrices (1- and 2-RDMs) at the zero-coupling constant limit and ii) extended random phase approximation (ERPA). This work investigates the the effect of removing the "fixed-RDM" approximation in AC. The analysis is carried out for two electronic Hamiltonian partitionings: the group product function- and the Dyall-Hamiltonians. Exact reference AC integrands are generated from the DMRG FCI solver. Two AC models are investigated, employing either exact 1- and 2-RDMs or their second-order expansions in the coupling constant in the ERPA equations. Calculations for model molecules indicate that lifting the fixed-RDM approximation is a viable way toward improving accuracy of the existing AC approximations.


title: Pion dynamics in a soft-wall AdS-QCD model

abstract: Pseudo-Goldstone modes appear in many physical systems and display robust universal features. First, their mass $m$ obeys the so-called Gell-Mann-Oakes-Renner (GMOR) relation $f^2\,m^2=H\,\bar{\sigma}$, with $f$ the Goldstone stiffness, $H$ the explicit breaking scale and $\bar{\sigma}$ the spontaneous condensate. More recently, it has been shown that their damping $\Omega$ is constrained to follow the relation $\Omega=m^2 D_\varphi$, where $D_\varphi$ is the Goldstone diffusivity in the purely spontaneous phase. Pions are the most paradigmatic example of pseudo-Goldstone modes and they are related to chiral symmetry breaking in QCD. In this work, we consider a bottom-up soft-wall AdS-QCD model with broken ${\rm{SU}}(2)_L \times {\rm{SU}}(2)_R$ symmetry and we study the nature of the associated pseudo-Goldstone modes -- the pions. In particular, we perform a detailed investigation of their dispersion relation in presence of dissipation, of the role of the explicit breaking induced by the quark masses and of the dynamics near the critical point. Taking advantage of the microscopic information provided by the holographic model, we give quantitative predictions for all the coefficients appearing in the effective description. In particular, we estimate the finite temperature behavior of the kinetic parameter $\mathfrak{r^2}$ defined as the ration between the Goldstone diffusivity $D_\varphi$ and the pion attenuation constant $D_A$. Interestingly, we observe important deviations from the value $\mathfrak{r^2}=3/4$ computed in chiral perturbation theory in the limit of zero temperature.


title: On uncertainty quantification of eigenvalues and eigenspaces with higher multiplicity

abstract: We consider generalized operator eigenvalue problems in variational form with random perturbations in the bilinear forms. This setting is motivated by variational forms of partial differential equations with random input data. The considered eigenpairs can be of higher but finite multiplicity. We investigate stochastic quantities of interest of the eigenpairs and discuss why, for multiplicity greater than 1, only the stochastic properties of the eigenspaces are meaningful, but not the ones of individual eigenpairs. To that end, we characterize the Fr\'echet derivatives of the eigenpairs with respect to the perturbation and provide a new linear characterization for eigenpairs of higher multiplicity. As a side result, we prove local analyticity of the eigenspaces. Based on the Fr\'echet derivatives of the eigenpairs we discuss a meaningful Monte Carlo sampling strategy for multiple eigenvalues and develop an uncertainty quantification perturbation approach. Numerical examples are presented to illustrate the theoretical results.


title: Modeling the Lighting in Scenes as Style for Auto White-Balance Correction

abstract: Style may refer to different concepts (e.g. painting style, hairstyle, texture, color, filter, etc.) depending on how the feature space is formed. In this work, we propose a novel idea of interpreting the lighting in the single- and multi-illuminant scenes as the concept of style. To verify this idea, we introduce an enhanced auto white-balance (AWB) method that models the lighting in single- and mixed-illuminant scenes as the style factor. Our AWB method does not require any illumination estimation step, yet contains a network learning to generate the weighting maps of the images with different WB settings. Proposed network utilizes the style information, extracted from the scene by a multi-head style extraction module. AWB correction is completed after blending these weighting maps and the scene. Experiments on single- and mixed-illuminant datasets demonstrate that our proposed method achieves promising correction results when compared to the recent works. This shows that the lighting in the scenes with multiple illuminations can be modeled by the concept of style. Source code and trained models are available on https://github.com/birdortyedi/lighting-as-style-awb-correction.


title: Upper critical dimension of the 3-state Potts model

abstract: We consider the 3-state Potts model in $d\geq2$ dimensions. For $d$ less than the upper critical dimension $d_\text{crit}$, the model has a critical and a tricritical fixed point. In $d=2$, these fixed points are described by minimal models, and so are exactly solvable. For $d>2$, however, strong coupling makes them difficult to study and there is no consensus on the value of $d_\text{crit}$. We use the numerical conformal bootstrap to compute critical exponents of both the critical and tricritical fixed points for general $d$. In $d=2$ our results match the expected values, and as we increase $d$ we find that the critical exponents of each fixed point get closer until they merge near $d_\text{crit}\lesssim 2.5$.


title: Dynamic Topological Data Analysis of Functional Human Brain Networks

abstract: Developing reliable methods to discriminate different transient brain states that change over time is a key neuroscientific challenge in brain imaging studies. Topological data analysis (TDA), a novel framework based on algebraic topology, can handle such a challenge. However, existing TDA has been somewhat limited to capturing the static summary of dynamically changing brain networks. We propose a novel dynamic-TDA framework that builds persistent homology over a time series of brain networks. We construct a Wasserstein distance based inference procedure to discriminate between time series of networks. The method is applied to the resting-state functional magnetic resonance images of human brain. We demonstrate that our proposed dynamic-TDA approach can distinctly discriminate between the topological patterns of male and female brain networks. MATLAB code for implementing this method is available at https://github.com/laplcebeltrami/PH-STAT.


title: A method for bounding oscillatory integrals in terms of non-oscillatory integrals

abstract: We describe an elementary method for bounding a one-dimensional oscillatory integral in terms of an associated non-oscillatory integral. The bounds obtained are efficient in an appropriate sense and behave well under perturbations of the phase. As a consequence, for an $n$-dimensional oscillatory integral with a critical point at the origin, we may apply the one-dimensional estimates in the radial direction and then integrate the result, thereby obtaining natural bounds for the $n$-dimensional oscillatory integral in terms of the measures of the sublevel sets associated with the phase. To illustrate, we provide several classes of examples, including situations where the phase function has a critical point at which it vanishes to infinite order.


title: Large gender and age differences in hand disinfection behavior during the COVID-19 pandemic: Field data from Swiss retail stores

abstract: Hand hygiene is one of the key low-cost measures proposed by the World Health Organization (WHO) to contain the spread of COVID-19. In a field study conducted during the pandemic in June and July 2020 in Switzerland, we captured the hand disinfection behavior of customers in five stores of a large retail chain (n = 8,245). The study reveals considerable differences with respect to gender and age: Women were 8.3 percentage points more likely to disinfect their hands compared to men. With respect to age, we identified a steep increase across age groups, with people age 60 years and older disinfecting their hands significantly more often than younger adults (>+16.7 percentage points) and youth (>+ 31.7 percentage points). A validation study conducted in December 2020 (n = 1,918) confirmed the gender and age differences at a later point in the pandemic. In sum, the differences between gender and age groups are substantial and should be considered in the design of protective measures to ensure clean and safe hands.


title: Qualitative reasoning in a two-layered framework

abstract: The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value to these events. The paper is divided into two parts. In the first part, we formalise reasoning with the qualitative counterparts of capacities, belief functions, and probabilities, within the framework of two-layered logics. Namely, we provide two-layered logics built over the classical propositional logic using a unary belief modality $\Be$ that connects the inner layer to the outer one where the reasoning is formalised by means of G\"{o}del logic. We design their Hilbert-style axiomatisations and prove their completeness. In the second part, we discuss the paraconsistent generalisations of the logics for qualitative uncertainty that take into account the case of the available information being contradictory or inconclusive.


title: CHARA/SPICA: a 6-telescope visible instrument for the CHARA Array

abstract: With a possible angular resolution down to 0.1-0.2 millisecond of arc using the 330 m baselines and the access to the 600-900 nm spectral domain, the CHARA Array is ideally configured for focusing on precise and accurate fundamental parameters of stars. CHARA/SPICA (Stellar Parameters and Images with a Cophased Array) aims at performing a large survey of stars all over the Hertzsprung-Russell diagram. This survey will also study the effects of the different kinds of variability and surface structure on the reliability of the extracted fundamental parameters. New surface-brightness-colour relations will be extracted from this survey, for general purposes on distance determination and the characterization of faint stars. SPICA is made of a visible 6T fibered instrument and of a near-infrared fringe sensor. In this paper, we detail the science program and the main characteristics of SPICA-VIS. We present finally the initial performance obtained during the commissioning.


title: From Marx's fundamental equalities to the solving of the transformation problem -- Coherence of the model

abstract: Recently, V. Laure van Bambeke used an original approach to solve the famous problem of transformation of values into production prices by considering that capital reallocation to each department (branch) was part of the problem. Here, we confirm the validity of this consideration in relation with the satisfaction of demand (social need which is able to pay for the given product). In contrast to V. Laure van Bambeke's method of solving an overdetermined system of equations (implying that compliance with Marx's fundamental equalities could only be approached), we show that the transformation problem is solvable from a determined (two-branch models) or an underdetermined system of equations enabling to obtain exact solutions through an algorithm we provide, with no approximation needed. For systems with three branches or more, the solution of the transformation problem belongs to an infinite ensemble, accounting for the observed high competition-driven market fluidity. Furthermore, we show that the transformation problem is solvable in the absence of fixed capital, supporting that dealing with the latter is not essential and cannot be seen as a potential flaw of the approach. Our algorithm enables simulations illustrating how the transient rise in the rate of profit predicted by the Okishio theorem is consistent with the tendency of the rate of profit to fall (TRPF) subsequent to capital reallocation, and how the TRPF is governed by the increase of organic composition, in value. We establish that the long-standing transformation problem is not such a problem since it is easily solved through our algorithm, whatever the number of branches considered. This emphasizes the high coherence of Marx's conception, and its impressive relevance regarding issues such as the TRPF, which have remained intensely debated.


title: Dominant superconducting correlations in a Luttinger liquid induced by spin fluctuations

abstract: We study spin-fluctuation mediated divergent superconducting fluctuations in a Luttinger liquid proximity-coupled to a spin chain. Our study provides insight into how spin fluctuations can induce superconductivity in a strongly correlated non-Fermi liquid with repulsive electronic interactions only. The electrons in the system are governed by the Extended Hubbard Hamiltonian and are coupled to a chain of localized spins modeled by the spin-$\frac{1}{2}$ $XX$ Hamiltonian. Using a multichannel Luttinger liquid approach, we determine the phase diagram of the metal chain. We find that spin-polarized triplet superconducting correlations persist for repulsive electronic interactions for sufficiently large interchain couplings.


title: Cutting-Splicing data augmentation: A novel technology for medical image segmentation

abstract: Background: Medical images are more difficult to acquire and annotate than natural images, which results in data augmentation technologies often being used in medical image segmentation tasks. Most data augmentation technologies used in medical segmentation were originally developed on natural images and do not take into account the characteristic that the overall layout of medical images is standard and fixed. Methods: Based on the characteristics of medical images, we developed the cutting-splicing data augmentation (CS-DA) method, a novel data augmentation technology for medical image segmentation. CS-DA augments the dataset by splicing different position components cut from different original medical images into a new image. The characteristics of the medical image result in the new image having the same layout as and similar appearance to the original image. Compared with classical data augmentation technologies, CS-DA is simpler and more robust. Moreover, CS-DA does not introduce any noise or fake information into the newly created image. Results: To explore the properties of CS-DA, many experiments are conducted on eight diverse datasets. On the training dataset with the small sample size, CS-DA can effectively increase the performance of the segmentation model. When CS-DA is used together with classical data augmentation technologies, the performance of the segmentation model can be further improved and is much better than that of CS-DA and classical data augmentation separately. We also explored the influence of the number of components, the position of the cutting line, and the splicing method on the CS-DA performance. Conclusions: The excellent performance of CS-DA in the experiment has confirmed the effectiveness of CS-DA, and provides a new data augmentation idea for the small sample segmentation task.


title: Estimating the Cost of Executing Link Traversal based SPARQL Queries

abstract: An increasing number of organisations in almost all fields have started adopting semantic web technologies for publishing their data as open, linked and interoperable (RDF) datasets, queryable through the SPARQL language and protocol. Link traversal has emerged as a SPARQL query processing method that exploits the Linked Data principles and the dynamic nature of the Web to dynamically discover data relevant for answering a query by resolving online resources (URIs) during query evaluation. However, the execution time of link traversal queries can become prohibitively high for certain query types due to the high number of resources that need to be accessed during query execution. In this paper we propose and evaluate baseline methods for estimating the evaluation cost of link traversal queries. Such methods can be very useful for deciding on-the-fly the query execution strategy to follow for a given query, thereby reducing the load of a SPARQL endpoint and increasing the overall reliability of the query service. To evaluate the performance of the proposed methods, we have created (and make publicly available) a ground truth dataset consisting of 2,425 queries.


title: Some results about Colored Tverberg Theorem

abstract: In this paper, we present some results related to Barany-Larman colored problem and The Zivaljevic and Vrecica colored Tverberg problem. We give an alternative proof for the Barany-Larman Conjecture for primes -1 and the optimal colored Tverberg theorem. Also, we prove generalizations of the Colored Tverberg theorem of Zivaljevic and Vrecica.


title: Tori over number fields and special values at s=1

abstract: We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic scheme flat over $\mathrm{Spec}(\mathbb{Z})$. This complex can be thought of as computing Weil-\'etale homology. For those $\mathbb{Z}$-constructible sheaves that are moreover tamely ramified, we define an "additive" complex which we think of as the Lie algebra of the dual of the $\mathbb{Z}$-constructible sheaf. The product of the determinants of the additive and Weil-\'etale complex is called the fundamental line. We prove a duality theorem which implies that the fundamental line has a natural trivialization, giving a multiplicative Euler characteristic. We attach a natural $L$-function to the dual of a $\mathbb{Z}$-constructible sheaf; up to a finite number of factors, this $L$-function is an Artin $L$-function at $s+1$. Our main theorem contains a vanishing order formula at $s=0$ for the $L$-function and states that, in the tamely ramified case, the special value at $s=0$ is given up to sign by the Euler characteristic. This generalizes the analytic class number formula for the special value at $s=1$ of the Dedekind zeta function. In the function field case, this a theorem of arXiv:2009.14504.


title: Effect of Matter Density in T2HK and DUNE

abstract: CP phase determination for the near future long baseline experiments, T2HK and DUNE, will require precise measurements of the oscillation probabilities. However, the uncertainty in the Earth's density must be considered in determining these oscillation probabilities. Therefore, in this study, we update the individual sensitivities of these experiments for determining the current unknowns in the standard three flavor scenario considering the latest configuration and also the complementarity between them while considering the uncertainty in the density. Our study showed that this uncertainty has a non-negligible impact on the precision of the CP phase determination particularly for DUNE.


title: Advanced Characterization-Informed Framework and Quantitative Insight to Irradiated Annular U-10Zr Metallic Fuels

abstract: U-10Zr-based metallic nuclear fuel is a promising fuel candidate for next-generation sodium-cooled fast reactors.The research experience of the Idaho National Laboratory for this type of fuel dates back to the 1960s. Idaho National Laboratory researchers have accumulated a considerable amount of experience and knowledge regarding fuel performance at the engineering scale. The limitation of advanced characterization and lack of proper data analysis tools prevented a mechanistic understanding of fuel microstructure evolution and properties degradation during irradiation. This paper proposed a new workflow, coupled with domain knowledge obtained by advanced post-irradiation examination methods, to provide unprecedented and quantified insights into the fission gas bubbles and pores, and lanthanide distribution in an annular fuel irradiated in the Advanced Test Reactor. In the study, researchers identify and confirm that the Zr-bearing secondary phases exist and generate the quantitative ratios of seven microstructures along the thermal gradient. Moreover, the distributions of fission gas bubbles on two samples of U-10Zr advanced fuels were quantitatively compared. Conclusive findings were obtained and allowed for evaluation of the lanthanide transportation through connected bubbles based on approximately 67,000 fission gas bubbles of the two advanced samples.


title: New Role of Null Lagrangians in Derivation of Equations of Motion for Dynamical Systems

abstract: The space of Null Lagrangians is the least investigated territory in dynamics since they are identically sent to zero by their Euler-Lagrange operator and thereby having no effects on equations of motion. A humble effort to discover the relevance of these Null Lagrangians in dynamics is made by introducing a generalized procedure (with respect to the recent procedure introduced by the authors of this paper) that takes advantage of the null-ness of these Lagrangians to construct non-standard Lagrangians that represent a range of interesting dynamical systems. By using the generalized procedure, derivation of equations of motion for a harmonic oscillator as well as for the Bateman and Duffing oscillators is presented. The obtained results demonstrate a new role played by the null Lagrangians and their corresponding non-standard Lagrangians in describing linear and nonlinear, and dissipative and non-dissipative dynamical systems.


title: Multinucleon transfer mechanism in ${}^{250}\text{Cf}+{}^{232}\text{Th}$

abstract: Production cross-sections of heavy neutron-rich isotopes are calculated by employing quantal transport description in ${}^{250}\text{Cf}+{}^{232}\text{Th}$ collisions. This quantal transport description is based on the stochastic mean-field (SMF) approach, and it provides a microscopic approach beyond time-dependent Hartree-Fock (TDHF) theory to include mean-field fluctuations. De-excitation of primary fragments is determined by employing the statistical GEMINI++ code. Calculations provide predictions for production cross-sections of neutron rich transfermium isotopes without any adjustable parameters.


title: ISEE.U: Distributed online active target localization with unpredictable targets

abstract: This paper addresses target localization with an online active learning algorithm defined by distributed, simple and fast computations at each node, with no parameters to tune and where the estimate of the target position at each agent is asymptotically equal in expectation to the centralized maximum-likelihood estimator. ISEE.U takes noisy distances at each agent and finds a control that maximizes localization accuracy. We do not assume specific target dynamics and, thus, our method is robust when facing unpredictable targets. Each agent computes the control that maximizes overall target position accuracy via a local estimate of the Fisher Information Matrix. We compared the proposed method with a state of the art algorithm outperforming it when the target movements do not follow a prescribed trajectory, with x100 less computation time, even when our method is running in one central CPU.


title: Detect and Classify IoT Camera Traffic

abstract: Deployment of IoT cameras in an organization threatens security and privacy policies, and the classification of network traffic without using IP addresses and port numbers has been challenging. In this paper, we have designed, implemented and deployed a system called iCamInspector to classify network traffic arising from IoT camera in a mixed networking environment. We have collected a total of about 36GB of network traffic containing video data from three different types of applications (four online audio/video conferencing applications, two video sharing applications and six IoT camera from different manufacturers) in our IoT laboratory. We show that with the help of a limited number of flow-based features, iCamInspector achieves an average accuracy of more than 98% in a 10-fold cross-validation with a false rate of about 1.5% in testing phase of the system. A real deployment of our system in an unseen environment achieves a commendable performance of detecting IoT camera with an average detection probability higher than 0.9.


title: A Catalogue of Solar-Like Oscillators Observed by TESS in 120-second and 20-second Cadence

abstract: The Transiting Exoplanet Survey Satellite (TESS) mission has provided photometric light curves for stars across nearly the entire sky. This allows for the application of asteroseismology to a pool of potential solar-like oscillators that is unprecedented in size. We aim to produce a catalogue of solar-like oscillators observed by TESS in the 120-second and 20-second cadence modes. The catalogue is intended to highlight stars oscillating at frequencies above the TESS 30-minute cadence Nyquist frequency with the purpose of encompassing the main sequence and subgiant evolutionary phases. We aim to provide estimates for the global asteroseismic parameters $\nu_{\mathrm{max}}$ and $\Delta\nu$. We apply a new probabilistic detection algorithm to the 120-second and 20-second light curves of over 250,000 stars. This algorithm flags targets that show characteristic signatures of solar-like oscillations. We manually vet the resulting list of targets to confirm the presence of solar-like oscillations. Using the probability densities computed by the algorithm, we measure the global asteroseismic parameters $\nu_{\mathrm{max}}$ and $\Delta\nu$. We produce a catalogue of 4,177 solar-like oscillators, reporting $\Delta\nu$ and $\nu_{\mathrm{max}}$ for $98\%$ of the total star count. The asteroseismic data reveals vast coverage of the HR diagram, populating the red giant branch, the subgiant regime and extending toward the main sequence. A crossmatch with external catalogs shows that 25 of the detected solar-like oscillators are a component of a spectroscopic binary, and 28 are confirmed planet host stars. These results provide the potential for precise, independent asteroseismic constraints on these and any additional TESS targets of interest.


title: Symmetry of positive solutions for Lane-Emden systems involving the Logarithmic Laplacian

abstract: We study the Lane-Emden system involving the logarithmic Laplacian: $$ \begin{cases} \ \mathcal{L}_{\Delta}u(x)=v^{p}(x) ,& x\in\mathbb{R}^{n},\\ \ \mathcal{L}_{\Delta}v(x)=u^{q}(x) ,& x\in\mathbb{R}^{n}, \end{cases} $$ where $p,q>1$ and $\mathcal{L}_{\Delta}$ denotes the Logarithmic Laplacian arising as a formal derivative $\partial_s|_{s=0}(-\Delta)^s$ of fractional Laplacians at $s=0.$ By using a direct method of moving planes for the logarithmic Laplacian, we obtain the symmetry and monotonicity of the positive solutions to the Lane-Emden system. We also establish some key ingredients needed in order to apply the method of moving planes such as the maximum principle for anti-symmetric functions, the narrow region principle, and decay at infinity. Further, we discuss such results for a generalized system of the Lane-Emden type involving the logarithmic Laplacian.


title: A d'Alembert type functional equation on semigroups

abstract: We treat two related trigonometric functional equations on semigroups. First we solve the $\mu$-sine subtraction law \[\mu(y) k(x \sigma(y))=k(x) l(y)-k(y) l(x), \quad x, y \in S,\] for $k, l : S\rightarrow \mathbb{C}$, where $S$ is a semigroup and $\sigma$ an involutive automorphism, $\mu :S\rightarrow \mathbb{C}$ is a multiplicative function such that $\mu (x\sigma (x))=1$ for all $x\in S$, then we determine the complex-valued solutions of the following functional equation \[f(xy) - \mu (y)f(\sigma (y)x) = g(x)h(y),\quad x,y\in S,\] on a larger class of semigroups.


title: Reconstructing a space-dependent source term via the quasi-reversibility method

abstract: The aim of this paper is to solve an important inverse source problem which arises from the well-known inverse scattering problem. We propose to truncate the Fourier series of the solution to the governing equation with respect to a special basis of L2. By this, we obtain a system of linear elliptic equations. Solutions to this system are the Fourier coefficients of the solution to the governing equation. After computing these Fourier coefficients, we can directly find the desired source function. Numerical examples are presented.


title: Surface Acoustic Waves Equip Materials with Active Deicing Functionality: Unraveled Deicing Mechanisms and Application to Centimeter Scale Transparent Surfaces

abstract: Migrating active deicing capabilities to transparent materials with low thermal conductivity has a high potential to improve the operations of several seminal industries in the automotive, robotic, energy, and aerospace sectors. However, the development of efficient and environmentally friendly deicing methods is yet in its infancy regarding their compatibility with end-user surfaces at relevant scales and real-world operations. Herein, we approach deicing through nanoscale surface activation enabled by surface acoustic waves (SAWs), allowing efficient on-demand deicing of surface areas spanning several square centimeters covered with thick layers of glace ice. We contemplate SAW-based deicing from a twofold perspective: First, we demonstrate its functionality both with a bulk piezoelectric material (LiNbO3) and a piezo-electric film (ZnO), the latter proving its versatile applicability to a large variety of functional materials with practical importance; second, we gain fundamental knowledge of the mechanisms responsible for efficient deicing using SAWs. In particular, we show that SAW vibrational modes easily transport energy over greater distances outside the electrode areas and efficiently melt large ice aggregates covering the materials' surfaces. In addition, the essential physics of SAW-based deicing is inferred from a carefully designed experimental and numerical study. We support our findings by providing macroscopic camera snapshots captured in situ inside a climate chamber during deicing and highly resolved laser-doppler vibrometer scans of the undisturbed wavefields at room temperature. Great care was taken to deposit the interdigital transducers (IDTs) used for SAW excitation only on ice-free areas close to the chip edges, leaving most of the substrate used for deicing unaltered and, as a matter of fact, demonstrating transparent deicing solutions.


title: INSANE: Cross-Domain UAV Data Sets with Increased Number of Sensors for developing Advanced and Novel Estimators

abstract: For real-world applications, autonomous mobile robotic platforms must be capable of navigating safely in a multitude of different and dynamic environments with accurate and robust localization being a key prerequisite. To support further research in this domain, we present the INSANE data sets - a collection of versatile Micro Aerial Vehicle (MAV) data sets for cross-environment localization. The data sets provide various scenarios with multiple stages of difficulty for localization methods. These scenarios range from trajectories in the controlled environment of an indoor motion capture facility, to experiments where the vehicle performs an outdoor maneuver and transitions into a building, requiring changes of sensor modalities, up to purely outdoor flight maneuvers in a challenging Mars analog environment to simulate scenarios which current and future Mars helicopters would need to perform. The presented work aims to provide data that reflects real-world scenarios and sensor effects. The extensive sensor suite includes various sensor categories, including multiple Inertial Measurement Units (IMUs) and cameras. Sensor data is made available as raw measurements and each data set provides highly accurate ground truth, including the outdoor experiments where a dual Real-Time Kinematic (RTK) Global Navigation Satellite System (GNSS) setup provides sub-degree and centimeter accuracy (1-sigma). The sensor suite also includes a dedicated high-rate IMU to capture all the vibration dynamics of the vehicle during flight to support research on novel machine learning-based sensor signal enhancement methods for improved localization. The data sets and post-processing tools are available at: https://sst.aau.at/cns/datasets


title: Boundary complexity and surface entropy of 2-multiplicative integer systems on $\mathbb{N}^d$

abstract: In this article, we introduce the concept of the boundary complexity and prove that for a 2-multiplicative integer system (2-MIS) $X^{p}_{\Omega}$ on $\mathbb{N}$ (or $X^{\bf p}_{\Omega}$ on $\mathbb{N}^d,d\geq 2$), every point in $[h(X^p_\Omega), \log r]$ can be realized as a boundary complexity of a 2-MIS with a specific speed, where r stands for the number of the alphabets. The result is new and quite different from $\mathbb{N}^d$ subshifts of finite type (SFT) for $d\geq 1$. Furthermore, the rigorous formula of surface entropy for a $\mathbb{N}^d$ 2-MIS is also presented. This provides an efficient method to calculate the topological entropy for $\mathbb{N}^d$ 2-MIS and also provides an intrinsic differences between $\mathbb{N}^d$ $k$-MIS and SFTs for $d\geq 1$ and $k\geq 2$.


title: Planetary nebulae with Wolf-Rayet-type central stars -- IV. NGC 1501 and its mixing layer

abstract: Theory predicts that the temperature of the X-ray-emitting gas ($\sim$10$^{6}$ K) detected from planetary nebulae (PNe) is a consequence of mixing or thermal conduction when in contact with the ionized outer rim ($\sim$10$^{4}$ K). Gas at intermediate temperatures ($\sim$10$^{5}$ K) can be used to study the physics of the production of X-ray-emitting gas, via C IV, N V and O VI ions. Here we model the stellar atmosphere of the CSPN of NGC 1501 to demonstrate that even this hot H-deficient [WO4]-type star cannot produce these emission lines by photoionization. We use the detection of the C IV lines to assess the physical properties of the mixing region in this PNe in comparison with its X-ray-emitting gas, rendering NGC 1501 only the second PNe with such characterization. We extend our predictions to the hottest [WO1] and cooler [WC5] spectral types and demonstrate that most energetic photons are absorbed in the dense winds of [WR] CSPN and highly ionized species can be used to study the physics behind the production of hot bubbles in PNe. We found that the UV observations of NGC 2452, NGC 6751 and NGC 6905 are consistent with the presence mixing layers and hot bubbles, providing excellent candidates for future X-ray observations.


title: On Isomorphisms between Certain Yetter-Drinfel'd Hopf Algebras

abstract: For two families of Yetter-Drinfel'd Hopf algebras considered earlier by the authors, we determine which of them are isomorphic. We also determine which of their Radford biproducts are isomorphic.


title: Axionic and nonaxionic electrodynamics in plane and circular geometry

abstract: Various aspects of axion electrodynamics in the presence of a homogeneous and isotropic dielectric medium are discussed. 1. We consider first the "antenna-like" property of a planar dielectric surface in axion electrodynamics, elaborating on the treatment given earlier on this topic by Millar {\it et al.} (2017). We calculate the electromagnetic energy transmission coefficient for a dielectric plate, and compare with the conventional expression in ordinary electrodynamics. 2. We consider the situation where the medium exterior to the plate, assumed elastic, is "bent back" and glued together, so that we obtain a circular dielectric string in which the waves can propagate clockwise or counterclockwise. As will be shown, a stationary wave pattern is permitted by the formalism, and we show how the amplitudes for the two counterpropagating waves can be found. 3. As a special case, by omitting axions for a moment, we analyze the Casimir effect for the string, showing its similarity as well as its difference with the Casimir effect of a scalar field for a piecewise uniform string (Brevik and Nielsen 1990). 4. Finally, including axions again we analyze the enhancement of the surface-generated electromagnetic radiation near the center of a cylindrical haloscope, where the interior region is a vacuum and the exterior region a metal. This enhancement is caused by the curvature of the boundary, and is mathematically a consequence of the behavior of the Hankel function of the second kind for small arguments. A simple estimate shows that enhancement may be quite significant, and can therefore be of experimental interest. This proposal is suggested as an alternative to the reflector arrangement in a similar arrangement recently discussed by Liu {\it et al.} (2022).


title: Hasse norm principle for $M_{11}$ and $J_1$ extensions

abstract: We give a necessary and sufficient condition for the Hasse norm principle for field extensions $K/k$ when the Galois groups ${\rm Gal}(L/k)$ of the Galois closure $L/k$ of $K/k$ are isomorphic to the Mathieu group $M_{11}$ of degree $11$ of order $7920$ or the Janko group $J_1$ of order $175560$ by determining $H^1(k,{\rm Pic}\, \overline{X})=0$ or $\mathbb{Z}/2\mathbb{Z}$ for norm one tori $T=R^{(1)}_{K/k}(\mathbb{G}_m)$ with a smooth $k$-compactification $X$ and $\overline{X}=X\times_k\overline{k}$. The result gives a first step towards understanding the all pictures of the Hasse norm principle for the $26$ sporadic simple groups.


title: Nonlinear Schr\"odinger equations with trapping potentials in higher dimensions

abstract: From the mathematical side, nonlinear Schr\"odinger equations are usually investigated via variational methods, that cease to work in higher dimensions. This thesis tries to overcome this problem by focusing on spherically symmetric solutions. Then, one can use classical methods coming from the fields of ordinary differential equations and dynamical systems. The results presented here include existence and uniqueness of the stationary solutions, their frequency, and stability. The dynamical properties of the resonant approximation are also explored. The main focus is given to the Schr\"odinger-Newton-Hooke equations that is shown to be a nonrelativistic limit of perturbations of the anti-de Sitter spacetime.


title: Realizing quantum gates with optically-addressable $^{171}$Yb$^{+}$ ion qudits

abstract: The use of multilevel information carriers, also known as qudits, is a promising path for exploring scalability of quantum computing devices. Here we present a proof-of-principle realization of a quantum processor register that uses optically-addressed $^{171}$Yb$^{+}$ ion qudits in a linear trap. The rich level structure of $^{171}$Yb$^{+}$ ions allows using the Zeeman sublevels of the quadrupole clock transition at 435.5 nm for efficient and robust qudit encoding. We demonstrate the realization of the universal set of gates consisting of single-qudit rotations and a two-qudit Molmer-Sorensen operation with a two-ququart system, which is formally equivalent to a universal gate-based four-qubit processor. Our results paves a way towards further studies of more efficient implementations of quantum algorithms with trapped-ion-based processors and, specifically, exploring properties of $^{171}$Yb$^{+}$ ion qudits.


title: Oblique scattering from non-Hermitian optical waveguides

abstract: A judicious design of gain and loss leads to counterintuitive wave phenomena that are inaccessible by conservative systems. Notably, such designs can give rise to laser-absorber modes and anisotropic transmission resonances. Here, we analyze the emergence of these phenomena in an optical scatterer with sinusoid gain-loss modulation that is subjected to monochromatic oblique waves. We derive an analytical solution to the problem, with which we show how the scatterer parameters, and specifically the modulation phase and incident angle, constitute a real design space to access these phenomena.


title: From Fourier series to infinite product representations of $\pi$ and infinite-series forms for its positive powers

abstract: In this article, we derive, using Fourier series and multiple derivative of the function $\pi/\sin(\pi x)$, series representations for positive powers of $\pi$. We also show that the Euler-Wallis product can be easily obtained from the same formalism and deduce infinite products representations of $\pi$.


title: A billion or more years of possible periglacial/glacial cycling in Protonilus Mensae, Mars

abstract: The long-term cyclicity and temporal succession of glacial-periglacial (or deglacial) periods or epochs are keynotes of Quaternary geology on Earth. Relatively recent work has begun to explore the histories of the mid- to higher-latitudinal terrain of Mars, especially in the northern hemisphere, for evidence of similar cyclicity and succession in the Mid to Late Amazonian Epoch. Here, we carry on with this work by focusing on Protonilus Mensae [PM] (43-490 N, 37-590 E). More specifically, we discuss, describe and evaluate an area within PM that straddles a geological contact between two ancient units: [HNt], a Noachian-Hesperian Epoch transition unit; and [eHT] an early Hesperian Epoch transition unit. Dark-toned terrain within the eHt unit (HiRISE image ESP_028457_2255) shows continuous coverage by structures akin to clastically-sorted circles [CSCs]. The latter are observed in permafrost regions on Earth where the freeze-thaw cycling of surface and/or near-surface water is commonplace and cryoturbation is not exceptional. The crater-size frequency distribution of the dark-toned terrain suggests a minimum age of ~100 Ma and a maximum age of ~1 Ga. The age estimates of the candidate CSCs fall within this dispersion. Geochronologically, this places the candidate CSCs amongst the oldest periglacial landforms identified on Mars so far.


title: Stable Discrete Minimization of Conformal Energy for Disk Conformal Parameterization

abstract: Conformal energy minimization is an efficient approach to compute conformal parameterization. In this paper, we develop a stable algorithm to compute conformal parameterization of simply connected open surface, termed Stable Discrete Minimization of Conformal Energy (SDMCE). The stability of SDMCE is reflected in the guarantee of one-to-one and on-to property of computed parameterization and the insensitivity on the initial value. On one hand, SDMCE can avoid degeneration and overlap of solution, also, SDMCE is folding free. On the other hand, even if given poor initial value, it can still correct it in very little computational time. The numerical experiments indicate SDMCE is stable and competitive with state-of-the-art algorithms in efficiency.


title: Verifiable and Provably Secure Machine Unlearning

abstract: Machine unlearning aims to remove points from the training dataset of a machine learning model after training; for example when a user requests their data to be deleted. While many machine unlearning methods have been proposed, none of them enable users to audit the procedure. Furthermore, recent work shows a user is unable to verify if their data was unlearnt from an inspection of the model alone. Rather than reasoning about model parameters, we propose to view verifiable unlearning as a security problem. To this end, we present the first cryptographic definition of verifiable unlearning to formally capture the guarantees of a machine unlearning system. In this framework, the server first computes a proof that the model was trained on a dataset $D$. Given a user data point $d$ requested to be deleted, the server updates the model using an unlearning algorithm. It then provides a proof of the correct execution of unlearning and that $d \notin D'$, where $D'$ is the new training dataset. Our framework is generally applicable to different unlearning techniques that we abstract as admissible functions. We instantiate the framework, based on cryptographic assumptions, using SNARKs and hash chains. Finally, we implement the protocol for three different unlearning techniques (retraining-based, amnesiac, and optimization-based) to validate its feasibility for linear regression, logistic regression, and neural networks.


title: Non-quadratic Euclidean complete affine maximal type hypersurfaces for $\theta\in(0,(N-1)/N]$

abstract: Bernstein problem for affine maximal type equation \begin{equation}\label{e0.1} u^{ij}D_{ij}w=0, \ \ w\equiv[\det D^2u]^{-\theta},\ \ \forall x\in\Omega\subset{\mathbb{R}}^N \end{equation} has been a core problem in affine geometry. A conjecture proposed firstly by Chern (Proc. Japan-United States Sem., Tokyo, 1977, 17-30) for entire graph and then extended by Trudinger-Wang (Invent. Math., {\bf140}, 2000, 399-422) to its full generality asserts that any Euclidean complete, affine maximal type, locally uniformly convex $C^4$-hypersurface in ${\mathbb{R}}^{N+1}$ must be an elliptic paraboloid. At the same time, this conjecture was solved completely by Trudinger-Wang for dimension $N=2$ and $\theta=3/4$, and later extended by Jia-Li (Results Math., {\bf56} 2009, 109-139) to $N=2, \theta\in(3/4,1]$ (see also Zhou (Calc. Var. PDEs., {\bf43} 2012, 25-44) for a different proof). On the past twenty years, much efforts were done toward higher dimensional issues but not really successful yet, even for the case of dimension $N=3$. Recently, counter examples were found in \cite{Du2} (J. Differential Equations, {\bf269} (2020), 7429-7469) for $N\geq3$ and $\theta\in(1/2,(N-1)/N)$ using a much more complicated argument. In this paper, we will construct explicitly various new Euclidean complete affine maximal type hypersurfaces which are not elliptic paraboloid for the improved range $$N\geq2, \ \ \theta\in(0,(N-1)/N].$$


title: Sparse Kronecker Product Decomposition: A General Framework of Signal Region Detection in Image Regression

abstract: This paper aims to present the first Frequentist framework on signal region detection in high-resolution and high-order image regression problems. Image data and scalar-on-image regression are intensively studied in recent years. However, most existing studies on such topics focused on outcome prediction, while the research on image region detection is rather limited, even though the latter is often more important. In this paper, we develop a general framework named Sparse Kronecker Product Decomposition (SKPD) to tackle this issue. The SKPD framework is general in the sense that it works for both matrices (e.g., 2D grayscale images) and (high-order) tensors (e.g., 2D colored images, brain MRI/fMRI data) represented image data. Moreover, unlike many Bayesian approaches, our framework is computationally scalable for high-resolution image problems. Specifically, our framework includes: 1) the one-term SKPD; 2) the multi-term SKPD; and 3) the nonlinear SKPD. We propose nonconvex optimization problems to estimate the one-term and multi-term SKPDs and develop path-following algorithms for the nonconvex optimization. The computed solutions of the path-following algorithm are guaranteed to converge to the truth with a particularly chosen initialization even though the optimization is nonconvex. Moreover, the region detection consistency could also be guaranteed by the one-term and multi-term SKPD. The nonlinear SKPD is highly connected to shallow convolutional neural networks (CNN), particular to CNN with one convolutional layer and one fully connected layer. Effectiveness of SKPDs is validated by real brain imaging data in the UK Biobank database.


title: A Statistical Comparison of EUV Brightenings Observed by SO/EUI with Simulated Brightenings in Non-potential Simulations

abstract: The High Resolution Imager (HRI_EUV) telescope of the Extreme Ultraviolet Imager (EUI) instrument onboard Solar Orbiter has observed EUV brightenings, so-called campfires, as fine-scale structures at coronal temperatures. The goal of this paper is to compare the basic geometrical (size, orientation) and physical (intensity, lifetime) properties of the EUV brightenings with regions of energy dissipation in a non-potential coronal magnetic field simulation. In the simulation, HMI line-of-sight magnetograms are used as input to drive the evolution of solar coronal magnetic fields and energy dissipation. We applied an automatic EUV brightening detection method to EUV images obtained on 30 May 2020 by the HRI_EUV telescope. We applied the same detection method to the simulated energy dissipation maps from the non-potential simulation to detect simulated brightenings. We detected EUV brightenings with density of 1.41x10^{-3} brightenings/Mm^2 in the EUI observations and simulated brightenings between 2.76x10^{-2} - 4.14x10^{-2} brightenings/Mm^2 in the simulation, for the same time range. Although significantly more brightenings were produced in the simulations, the results show similar distributions of the key geometrical and physical properties of the observed and simulated brightenings. We conclude that the non-potential simulation can successfully reproduce statistically the characteristic properties of the EUV brightenings (typically with more than 85% similarity); only the duration of the events is significantly different between observations and simulation. Further investigations based on high-cadence and high-resolution magnetograms from Solar Orbiter are under consideration to improve the agreement between observation and simulation.


title: Exact controllability and stabilization for linear dispersive PDE's on the two-dimensional torus

abstract: The moment method is used to prove the exact controllability of a wide class of bidimensional linear dispersive PDE's posed on the two-dimensional torus $\mathbb{T}^{2}.$ The control function is considered to be acting on a small vertical and horizontal strip of the torus. Our results apply to several well-known models including some bidimesional extensions of the Benajamin-Ono and Korteweg-de Vries equations. As a by product, the exponential stabilizability with any given decay rate is also established in $H^{s}_{p}(\mathbb{T}^{2}),$ with $s\geq 0,$ by constructing an appropriated feedback control law.


title: Basic notions of Poisson and symplectic geometry in local coordinates, with applications to Hamiltonian systems

abstract: This work contains a brief and elementary exposition of the foundations of Poisson and symplectic geometries, with an emphasis on applications for Hamiltonian systems with second-class constraints. In particular, we clarify the geometric meaning of the Dirac bracket on a symplectic manifold and provide a proof of the Jacobi identity on a Poisson manifold. A number of applications of the Dirac bracket are described: applications for the proof of the compatibility of a system consisting of differential and algebraic equations, as well as applications for the problem of reduction of a Hamiltonian system with known integrals of motion.


title: Pseudo-OOD training for robust language models

abstract: While pre-trained large-scale deep models have garnered attention as an important topic for many downstream natural language processing (NLP) tasks, such models often make unreliable predictions on out-of-distribution (OOD) inputs. As such, OOD detection is a key component of a reliable machine-learning model for any industry-scale application. Common approaches often assume access to additional OOD samples during the training stage, however, outlier distribution is often unknown in advance. Instead, we propose a post hoc framework called POORE - POsthoc pseudo-Ood REgularization, that generates pseudo-OOD samples using in-distribution (IND) data. The model is fine-tuned by introducing a new regularization loss that separates the embeddings of IND and OOD data, which leads to significant gains on the OOD prediction task during testing. We extensively evaluate our framework on three real-world dialogue systems, achieving new state-of-the-art in OOD detection.


title: Lower semicontinuity of monotone functionals in the mixed topology on $C_b$

abstract: The main result of this paper characterizes the continuity from below of monotone functionals on the space $C_b$ of bounded continuous functions on an arbitrary Polish space as lower semicontinuity in the mixed topology. In this particular situation, the mixed topology coincides with the Mackey topology for the dual pair $(C_b,{\rm ca})$, where ${\rm ca}$ denotes the space of all countably additive signed Borel measures of finite variation. Hence, lower semicontinuity in the mixed topology of convex monotone maps $C_b\to \mathbb R$ is equivalent to a dual representation in terms of countably additive measures. Such representations are of fundamental importance in finance, e.g., in the context of risk measures and super hedging problems. Based on the main result, regularity properties of capacities and dual representations of Choquet integrals in terms of countably additive measures for $2$-alternating capacities are studied. In a second step, the paper provides a characterization of equicontinuity in the mixed topology for families of convex monotone maps. As a consequence, for every convex monotone map on $C_b$ taking values in a locally convex vector lattice, continuity in the mixed topology is equivalent to continuity on norm bounded sets.


title: Principled Pruning of Bayesian Neural Networks through Variational Free Energy Minimization

abstract: Bayesian model reduction provides an efficient approach for comparing the performance of all nested sub-models of a model, without re-evaluating any of these sub-models. Until now, Bayesian model reduction has been applied mainly in the computational neuroscience community on simple models. In this paper, we formulate and apply Bayesian model reduction to perform principled pruning of Bayesian neural networks, based on variational free energy minimization. Direct application of Bayesian model reduction, however, gives rise to approximation errors. Therefore, a novel iterative pruning algorithm is presented to alleviate the problems arising with naive Bayesian model reduction, as supported experimentally on the publicly available UCI datasets for different inference algorithms. This novel parameter pruning scheme solves the shortcomings of current state-of-the-art pruning methods that are used by the signal processing community. The proposed approach has a clear stopping criterion and minimizes the same objective that is used during training. Next to these benefits, our experiments indicate better model performance in comparison to state-of-the-art pruning schemes.


title: Gated Recurrent Unit for Video Denoising

abstract: Current video denoising methods perform temporal fusion by designing convolutional neural networks (CNN) or combine spatial denoising with temporal fusion into basic recurrent neural networks (RNNs). However, there have not yet been works which adapt gated recurrent unit (GRU) mechanisms for video denoising. In this letter, we propose a new video denoising model based on GRU, namely GRU-VD. First, the reset gate is employed to mark the content related to the current frame in the previous frame output. Then the hidden activation works as an initial spatial-temporal denoising with the help from the marked relevant content. Finally, the update gate recursively fuses the initial denoised result with previous frame output to further increase accuracy. To handle various light conditions adaptively, the noise standard deviation of the current frame is also fed to these three modules. A weighted loss is adopted to regulate initial denoising and final fusion at the same time. The experimental results show that the GRU-VD network not only can achieve better quality than state of the arts objectively and subjectively, but also can obtain satisfied subjective quality on real video.


title: SA4U: Practical Static Analysis for Unit Type Error Detection

abstract: Unit type errors, where values with physical unit types (e.g., meters, hours) are used incorrectly in a computation, are common in today's unmanned aerial system (UAS) firmware. Recent studies show that unit type errors represent over 10% of bugs in UAS firmware. Moreover, the consequences of unit type errors are severe. Over 30% of unit type errors cause UAS crashes. This paper proposes SA4U: a practical system for detecting unit type errors in real-world UAS firmware. SA4U requires no modifications to firmware or developer annotations. It deduces the unit types of program variables by analyzing simulation traces and protocol definitions. SA4U uses the deduced unit types to identify when unit type errors occur. SA4U is effective: it identified 14 previously undetected bugs in two popular open-source firmware (ArduPilot & PX4.)


title: A note on the reduction of the slicing problem to centrally symmetric convex bodies

abstract: In this paper, we obtain the best possible value of the absolute constant $C$ such that for every isotropic convex body $K \subseteq \mathbb{R}^n$ the following inequality (which was proved by Klartag and reduces the hyperplane conjecture to centrally symmetric convex bodies) is satisfied: $$ L_K\leq CL_{K_{n+2}(g_K)}. $$ Here $L_K$ denotes the isotropic constant of $K$, $g_K$ its covariogram function, which is log-concave, and, for any log-concave function $g$, $K_{n+2}(g)$ is a convex body associated to the log-concave function $g$, which belongs to a uniparametric family introduced by Ball. In order to obtain this inequality, sharp inclusion results between the convex bodies in this family are obtained whenever $g$ satisfies a better type of concavity than the log-concavity, as $g_K$ is, indeed $\frac{1}{n}$-concave.


title: An Open-source Benchmark of Deep Learning Models for Audio-visual Apparent and Self-reported Personality Recognition

abstract: Personality determines a wide variety of human daily and working behaviours, and is crucial for understanding human internal and external states. In recent years, a large number of automatic personality computing approaches have been developed to predict either the apparent personality or self-reported personality of the subject based on non-verbal audio-visual behaviours. However, the majority of them suffer from complex and dataset-specific pre-processing steps and model training tricks. In the absence of a standardized benchmark with consistent experimental settings, it is not only impossible to fairly compare the real performances of these personality computing models but also makes them difficult to be reproduced. In this paper, we present the first reproducible audio-visual benchmarking framework to provide a fair and consistent evaluation of eight existing personality computing models (e.g., audio, visual and audio-visual) and seven standard deep learning models on both self-reported and apparent personality recognition tasks. Building upon a set of benchmarked models, we also investigate the impact of two previously-used long-term modelling strategies for summarising short-term/frame-level predictions on personality computing results. The results conclude: (i) apparent personality traits, inferred from facial behaviours by most benchmarked deep learning models, show more reliability than self-reported ones; (ii) visual models frequently achieved superior performances than audio models on personality recognition; (iii) non-verbal behaviours contribute differently in predicting different personality traits; and (iv) our reproduced personality computing models generally achieved worse performances than their original reported results. Our benchmark is publicly available at \url{https://github.com/liaorongfan/DeepPersonality}.


title: Burstiness and information spreading in the active particles systems

abstract: We construct the temporal network using the two-dimensional active particle systems which are described by the Vicsek model. The bursts of the interevent times for a specific pair of particles are investigated numerically. We find that for different noise strength, the distribution of the interevent times of a target edge follows by a heavy-tail, revealing a strong burstiness of the signals. To further characterize the nature of the burstiness, the burstiness parameter and the memory coefficient are calculated. The results show that near the critical points of the Vicsek model, the burstiness parameters reach the minimum values for each density, indicating a relation between the phase transition of the Vicsek model and the bursty nature of the signals. Besides, the memory plays a negligible role in the burstiness. Further, we investigate the spreading dynamics on our temporal network with the susceptible-infected model, and observe a positive correlation between the burstiness and the information spreading dynamics.