title: Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics

abstract: We study consistent query answering in relational databases. We consider an expressive class of schema constraints that generalizes both tuple-generating dependencies and equality-generating dependencies. We establish the complexity of consistent query answering and repair checking under tuple-deletion semantics for different fragments of the above constraint language. In particular, we identify new subclasses of constraints in which the above problems are tractable or even first-order rewritable.


title: Asymmetric cut and choose games

abstract: We investigate a variety of cut and choose games, their relationship with (generic) large cardinals, and show that they can be used to characterize a number of properties of ideals and of partial orders: certain notions of distributivity, strategic closure, and precipitousness.


title: Diversity of Sharp Restart

abstract: When applied to a stochastic process of interest, a restart protocol alters the overall statistical distribution of the process' completion time; thus, the completion-time's mean and randomness change. The explicit effect of restart on the mean is well understood, and it is known that: from a mean perspective, deterministic restart protocols -- termed sharp restart -- can out-perform any other restart protocol. However, little is known on the explicit effect of restart on randomness. This paper is the second in a duo exploring the effect of sharp restart on randomness: via a Boltzmann-Gibbs-Shannon entropy analysis in the first part, and via a diversity analysis in this part. Specifically, gauging randomness via diversity -- a measure that is intimately related to the Renyi entropy -- this paper establishes a set of universal criteria that determine: A) precisely when a sharp-restart protocol decreases/increases the diversity of completion times; B) the very existence of sharp-restart protocols that decrease/increase the diversity of completion times. Moreover, addressing jointly mean-behavior and randomness, this paper asserts and demonstrates when sharp restart has an aligned effect on the two (decreasing/increasing both), and when the effect is antithetical (decreasing one while increasing the other). The joint mean-diversity results require remarkably little information regarding the (original) statistical distributions of completion times, and are remarkably practical and easy to implement.


title: Subsequences in Bounded Ranges: Matching and Analysis Problems

abstract: In this paper, we consider a variant of the classical algorithmic problem of checking whether a given word $v$ is a subsequence of another word $w$. More precisely, we consider the problem of deciding, given a number $p$ (defining a range-bound) and two words $v$ and $w$, whether there exists a factor $w[i:i+p-1]$ (or, in other words, a range of length $p$) of $w$ having $v$ as subsequence (i.\,e., $v$ occurs as a subsequence in the bounded range $w[i:i+p-1]$). We give matching upper and lower quadratic bounds for the time complexity of this problem. Further, we consider a series of algorithmic problems in this setting, in which, for given integers $k$, $p$ and a word $w$, we analyse the set $p$-Subseq$_{k}(w)$ of all words of length $k$ which occur as subsequence of some factor of length $p$ of $w$. Among these, we consider the $k$-universality problem, the $k$-equivalence problem, as well as problems related to absent subsequences. Surprisingly, unlike the case of the classical model of subsequences in words where such problems have efficient solutions in general, we show that most of these problems become intractable in the new setting when subsequences in bounded ranges are considered. Finally, we provide an example of how some of our results can be applied to subsequence matching problems for circular words.


title: Exploring Disentangled Content Information for Face Forgery Detection

abstract: Convolutional neural network based face forgery detection methods have achieved remarkable results during training, but struggled to maintain comparable performance during testing. We observe that the detector is prone to focus more on content information than artifact traces, suggesting that the detector is sensitive to the intrinsic bias of the dataset, which leads to severe overfitting. Motivated by this key observation, we design an easily embeddable disentanglement framework for content information removal, and further propose a Content Consistency Constraint (C2C) and a Global Representation Contrastive Constraint (GRCC) to enhance the independence of disentangled features. Furthermore, we cleverly construct two unbalanced datasets to investigate the impact of the content bias. Extensive visualizations and experiments demonstrate that our framework can not only ignore the interference of content information, but also guide the detector to mine suspicious artifact traces and achieve competitive performance.


title: Some Results on Matricial Field C-Algebras

abstract: In this paper, we consider Blackadar and Kirchberg's MF algebras. We show that any inner quasidiagonal C-algebra is MF algebra and we generalize Voiculescu's Representation Theorem for a special version of MF algebras. Moreover, we define a weak version of MF algebras namely matrical amenable (AM) algebras, and prove some results related to this new notion. Finally, we consider real C-algebras and we show that a real C-algebra is MF if and only if its complexification is MF.


title: VoloGAN: Adversarial Domain Adaptation for Synthetic Depth Data

abstract: We present VoloGAN, an adversarial domain adaptation network that translates synthetic RGB-D images of a high-quality 3D model of a person, into RGB-D images that could be generated with a consumer depth sensor. This system is especially useful to generate high amount training data for single-view 3D reconstruction algorithms replicating the real-world capture conditions, being able to imitate the style of different sensor types, for the same high-end 3D model database. The network uses a CycleGAN framework with a U-Net architecture for the generator and a discriminator inspired by SIV-GAN. We use different optimizers and learning rate schedules to train the generator and the discriminator. We further construct a loss function that considers image channels individually and, among other metrics, evaluates the structural similarity. We demonstrate that CycleGANs can be used to apply adversarial domain adaptation of synthetic 3D data to train a volumetric video generator model having only few training samples.


title: Wreath products and projective system of non Schurian association schemes

abstract: A wreath product is a method to construct an association scheme from two association schemes. We determine the automorphism group of a wreath product. We show a known result that a wreath product is Schurian if and only if both components are Schurian, which yields large families of non-Schurian association schemes and non-Schurian $S$-rings. We also study iterated wreath products. Kernel schemes by Martin and Stinson are shown to be iterated wreath products of class-one association schemes. The iterated wreath products give examples of projective systems of non-Schurian association schemes, with an explicit description of primitive idempotents.


title: Radial velocities from far red spectra of Carina Arm O and early B stars

abstract: Massive O and early B stars are important markers of recent star formation and exert a significant influence on their environments during their short lives via photoionization and winds and when they explode as supernovae. In the Milky Way they can be detected at great distances but often lie behind large dust columns, making detection at short wavelengths difficult. In this study the use of the less extinguished far-red spectrum (8400 -- 8800 \AA ) for radial velocity measurement is examined. Results are reported for a sample of 164 confirmed OB stars within a 2-degree field positioned on the Carina Arm. Most stars are at distances between 3 and 6 kpc, and Westerlund 2 is at the field edge. The measured radial velocities have errors concentrated in the 3--10 km s$^{-1}$ range, with a systematic uncertainty of 2--3 km s$^{-1}$. These are combined with Gaia-mission astrometry to allow full space motions to be constructed. Up to 22 stars are likely to be runaways although 8 of them are as likely to be interloping (so far undetected) binaries. The mean azimuthal motion of the sample fits in with recent measurements of Galactic disk rotation. In the Galactocentric radial direction the mean motion indicates modest infall at a speed of $\sim$ 10 km s$^{-1}$. This experiment shows that weak Paschen lines in the far-red can yield credible radial velocity determination, offering the prospect of exploring OB-star kinematics over much more of the Galactic disk than has hitherto been possible.


title: Optical control of in-plane domain configuration and domain wall motion in ferroelectric and ferroelastic

abstract: The sensitivity of ferroelectric domain walls to external stimuli makes them functional entities in nanoelectronic devices. Specifically, optically driven domain reconfiguration with in-plane polarization is advantageous and thus highly sought. Here, we show the existence of in-plane polarized sub-domains imitating a single domain state and reversible optical control of its domain wall movement in a single-crystal of ferroelectric BaTiO3. Similar optical control in the domain configuration of non-polar ferroelastic material indicates long-range ferroelectric polarization is not essential for the optical control of domain wall movement. Instead, flexoelectricity is found to be an essential ingredient for the optical control of the domain configuration and hence, ferroelastic materials would be another possible candidate for nanoelectronic device applications.


title: Leveraging second-order information for tuning of inverse optimal controllers

abstract: We leverage second-order information for tuning of inverse optimal controllers for a class of discrete-time nonlinear input-affine systems. For this, we select the input penalty matrix, representing a tuning knob, to yield the Hessian of the Lyapunov function of the closed-loop dynamics. This draws a link between second-order methods known for their high speed of convergence and the tuning of inverse optimal stabilizing controllers to achieve a fast decay of the closed-loop trajectories towards a steady state. In particular, we ensure quadratic convergence, a feat that is otherwise not achieved with a constant input penalty matrix. To balance trade-offs, we suggest a practical implementation of the Hessian and validate this numerically on a network of phase-coupled oscillators that represent voltage source controlled power inverters.


title: FLDetector: Defending Federated Learning Against Model Poisoning Attacks via Detecting Malicious Clients

abstract: Federated learning (FL) is vulnerable to model poisoning attacks, in which malicious clients corrupt the global model via sending manipulated model updates to the server. Existing defenses mainly rely on Byzantine-robust FL methods, which aim to learn an accurate global model even if some clients are malicious. However, they can only resist a small number of malicious clients in practice. It is still an open challenge how to defend against model poisoning attacks with a large number of malicious clients. Our FLDetector addresses this challenge via detecting malicious clients. FLDetector aims to detect and remove the majority of the malicious clients such that a Byzantine-robust FL method can learn an accurate global model using the remaining clients. Our key observation is that, in model poisoning attacks, the model updates from a client in multiple iterations are inconsistent. Therefore, FLDetector detects malicious clients via checking their model-updates consistency. Roughly speaking, the server predicts a client's model update in each iteration based on its historical model updates using the Cauchy mean value theorem and L-BFGS, and flags a client as malicious if the received model update from the client and the predicted model update are inconsistent in multiple iterations. Our extensive experiments on three benchmark datasets show that FLDetector can accurately detect malicious clients in multiple state-of-the-art model poisoning attacks. After removing the detected malicious clients, existing Byzantine-robust FL methods can learn accurate global models.Our code is available at https://github.com/zaixizhang/FLDetector.


title: KinD-LCE Curve Estimation And Retinex Fusion On Low-Light Image

abstract: Low-light images often suffer from noise and color distortion. Object detection, semantic segmentation, instance segmentation, and other tasks are challenging when working with low-light images because of image noise and chromatic aberration. We also found that the conventional Retinex theory loses information in adjusting the image for low-light tasks. In response to the aforementioned problem, this paper proposes an algorithm for low illumination enhancement. The proposed method, KinD-LCE, uses a light curve estimation module to enhance the illumination map in the Retinex decomposed image, improving the overall image brightness. An illumination map and reflection map fusion module were also proposed to restore the image details and reduce detail loss. Additionally, a TV(total variation) loss function was applied to eliminate noise. Our method was trained on the GladNet dataset, known for its diverse collection of low-light images, tested against the Low-Light dataset, and evaluated using the ExDark dataset for downstream tasks, demonstrating competitive performance with a PSNR of 19.7216 and SSIM of 0.8213.


title: Microtearing turbulence saturation via electron temperature flattening at low-order rational surfaces

abstract: Microtearing instability is one of the major sources of turbulent transport in high-$\beta$ tokamaks. These modes lead to very localized transport at low-order rational magnetic field lines, and we show that flattening of the local electron temperature gradient at these rational surfaces plays an important role in setting the saturated flux level in microtearing turbulence. This process depends crucially on the density of rational surfaces, and thus the system-size, and gives rise to a worse-than-gyro-Bohm transport scaling for system-sizes typical of existing tokamaks and simulations.


title: Resonantly-driven nanopores can serve as nanopumps

abstract: Inducing transport in electrolyte-filled nanopores with dc fields has led to influential applications ranging from nanosensors to DNA sequencing. Here we use the Poisson-Nernst-Planck and Navier-Stokes equations to show that unbiased ac fields can induce comparable directional flows in gated conical nanopores. This flow exclusively occurs at intermediate driving frequencies and hinges on the resonance of two competing timescales, representing space charge development at the ends and in the interior of the pore. We summarize the physics of resonant nanopumping in an analytical model that reproduces the results of numerical simulations. Our findings provide a generic route towards real-time controllable flow patterns, which might find applications in controlling the translocation of particles such as small molecules or nanocolloids.


title: Algebraic classes in mixed characteristic and Andr\'e's p-adic periods

abstract: Motivated by the study of algebraic classes in mixed characteristic we define a countable subalgebra of $\bar{\mathbb{Q}}_p$ which we call the algebra of Andr\'e's $p$-adic periods. We construct a tannakian framework to study these periods. In particular, we bound their transcendence degree and formulate the analog of the Grothendieck period conjecture. We exhibit several examples where special values of classical $p$-adic functions appear as Andr\'e's $p$-adic periods and we relate these new conjectures to some classical problems on algebraic classes.


title: Conceptual design and science cases of a juggled interferometer for gravitational wave detection

abstract: The Juggled interferometer (JIFO) is an earth-based gravitational wave detector using repeatedly free-falling test masses. With no worries of seismic noise and suspension thermal noise, the JIFO can have much better sensitivity at lower frequencies than the current earth-based gravitational wave detectors. The data readout method of a JIFO could be challenging if one adopts the fringe-locking method. We present a phase reconstruction method in this paper by building up a complex function which has a fringe-independent signal-to-noise ratio. Considering the displacement noise budget of the Einstein Telescope (ET), we show that the juggled test masses significantly improve the sensitivity at 0.1-2.5$\,$Hz even with discontinuous data. The science cases brought with the improved sensitivity would include detecting quasi-normal modes of black holes with $10^4-10^5\,M_{\odot}$, testing Brans-Dicke theory with black-hole and neutron-star inspirals, and detecting primordial-black-hole-related gravitational waves.


title: Parametric FEM simulation of composite barrier FTJs under external bias at room temperature

abstract: A study on a parametrized model of a composite barrier FTJ (three-interface system, with a non-polar dielectric layer) under an external bias voltage and at room temperature, using FEM-based simulations, was performed. The approach involves the Thomas-Fermi model assuming incomplete screening of polarization charges for building the energy barrier profile, and numerically simulates the electron transport through the barrier by bias-voltage-dependent tunneling, using Tsu-Esaki formulation. That naturally include the temperature dependent contributions to the total current density. The TER coefficient and current densities are computed considering variation of a large set of parameters that describe the composite barrier FTJ system in realistic physical range of values with respect to a reference (prototypical) system. In this study, the parametric simulations were performed starting from selected data reported on the SRO/STO/BTO/SRO heterostructure. The most important results of our work can be stated as follows: i) The FEM simulations prove to be reliable approach when we are interested in the prediction of FTJ characteristics at temperatures close to 300 K, and ii) We show that several configurations with large TER values may be predicted, but at the expense of very low current densities in the ON state. We suggest that the results may be useful for assessing the FTJ performances at ambient temperature, as well as to design preoptimized FTJs by using different combinations of materials to comply with a set of properties of a specific model.


title: Online Computation of Terminal Ingredients in Distributed Model Predictive Control for Reference Tracking

abstract: A distributed model predictive control scheme is developed for tracking piecewise constant references where the terminal set is reconfigured online, whereas the terminal controller is computed offline. Unlike many standard existing schemes, this scheme yields large feasible regions without performing offline centralized computations. Although the resulting optimal control problem (OCP) is a semidefinite program (SDP), an SDP scalability method based on diagonal dominance is used to approximate the derived SDP by a second-order cone program. The OCPs of the proposed scheme and its approximation are amenable to distributed optimization. Both schemes are evaluated using a power network example and compared to a scheme where the terminal controller is reconfigured online as well. It is found that fixing the terminal controller results in better performance, noticeable reduction in computational cost and similar feasible region compared to the case in which this controller is reconfigured online.


title: Contextual Similarity is More Valuable than Character Similarity: An Empirical Study for Chinese Spell Checking

abstract: Chinese Spell Checking (CSC) task aims to detect and correct Chinese spelling errors. Recently, related researches focus on introducing character similarity from confusion set to enhance the CSC models, ignoring the context of characters that contain richer information. To make better use of contextual information, we propose a simple yet effective Curriculum Learning (CL) framework for the CSC task. With the help of our model-agnostic CL framework, existing CSC models will be trained from easy to difficult as humans learn Chinese characters and achieve further performance improvements. Extensive experiments and detailed analyses on widely used SIGHAN datasets show that our method outperforms previous state-of-the-art methods. More instructively, our study empirically suggests that contextual similarity is more valuable than character similarity for the CSC task.


title: Numerical analysis of a singularly perturbed convection diffusion problem with shift in space

abstract: We consider a singularly perturbed convection-diffusion problem that has in addition a shift term. We show a solution decomposition using asymptotic expansions and a stability result. Based upon this we provide a numerical analysis of high order finite element method on layer adapted meshes. We also apply a new idea of using a coarser mesh in places where weak layers appear. Numerical experiments confirm our theoretical results.


title: Pointwise convergence of sequential Schr\"odinger means

abstract: We study pointwise convergence of the fractional Schr\"odinger means along sequences $t_n$ which converge to zero. Our main result is that bounds on the maximal function $\sup_{n} |e^{it_n(-\Delta)^{\alpha/2}} f| $ can be deduced from those on $\sup_{0<t\le 1} |e^{it(-\Delta)^{\alpha/2}} f|$ when $\{t_n\}$ is contained in the Lorentz space $\ell^{r,\infty}$. Consequently, our results provide seemingly optimal results in higher dimensions, which extend the recent work of Dimou-Seeger, and Li-Wang-Yan to higher dimensions. Our approach based on a localization argument also works for other dispersive equations and provides alternative proofs of previous results on sequential convergence.


title: Grad's Distribution Function for 13 Moments based Moment Gas Kinetic Solver for Steady and Unsteady Rarefied flows: Discrete and Explicit Forms

abstract: Efficient modeling of rarefied flow has drawn widespread interest for practical engineering applications. In the present work, we proposed the Grad's distribution function for 13 moments-based moment gas kinetic solver (G13-MGKS) and the macroscopic governing equations are derived based on the moment integral of discrete Boltzmann equation in the finite volume framework. Numerical fluxes at the cell interface related to the macroscopic variables, stress and heat flux can be reconstructed from the Boltzmann integration equation at surrounding points of the cell interface directly, so the complicated partial differential equations with tedious implementation of boundary conditions in the moment method can be avoided. Meanwhile, the explicit expression of numerical fluxes is proposed, which could release the present solver the from the discretization and numerical summation in molecular velocity space. To evaluate the Grad's distribution function for 13 moments in the present framework, the G13-MGKS with the discrete and explicit form of numerical fluxes are examined by several test cases covering the steady and unsteady rarefied flows. Numerical results indicate that the G13-MGKS could simulate continuum flows accurately and present reasonable prediction for rarefied flows at moderate Knudsen number. Moreover, the tests of computations and memory costs demonstrate that the present framework could preserve the highly efficient feature.


title: Do uHear? Validation of uHear App for Preliminary Screening of Hearing Ability in Soundscape Studies

abstract: Studies involving soundscape perception often exclude participants with hearing loss to prevent impaired perception from affecting experimental results. Participants are typically screened with pure tone audiometry, the "gold standard" for identifying and quantifying hearing loss at specific frequencies, and excluded if a study-dependent threshold is not met. However, procuring professional audiometric equipment for soundscape studies may be cost-ineffective, and manually performing audiometric tests is labour-intensive. Moreover, testing requirements for soundscape studies may not require sensitivities and specificities as high as that in a medical diagnosis setting. Hence, in this study, we investigate the effectiveness of the uHear app, an iOS application, as an affordable and automatic alternative to a conventional audiometer in screening participants for hearing loss for the purpose of soundscape studies or listening tests in general. Based on audiometric comparisons with the audiometer of 163 participants, the uHear app was found to have high precision (98.04%) when using the World Health Organization (WHO) grading scheme for assessing normal hearing. Precision is further improved (98.69%) when all frequencies assessed with the uHear app is considered in the grading, which lends further support to this cost-effective, automated alternative to screen for normal hearing.


title: Sensitive dependence of the linewidth enhancement factor on electronic quantum effects in quantum cascade lasers

abstract: The linewidth enhancement factor (LEF) describes the coupling between amplitude and phase fluctuations in a semiconductor laser, and has recently been shown to be a crucial component for frequency comb formation in addition to linewidth broadening. It necessarily arises from causality, as famously formulated by the Kramers-Kronig relation, in media with non-trivial dependence of the susceptibility on intensity variations. While thermal contributions are typically slow, and thus can often be excluded by suitably designing the dynamics of an experiment, the many quantum contributions are harder to separate. In order to understand and, ultimately, design the LEF to suitable values for frequency comb formation, soliton generation, or narrow laser linewidth, it is therefore important to systematically model all these effects. In this comprehensive work, we introduce a general scheme for computing the LEF, which we employ with a non-equilibrium Green's function model. This direct method, based on simulating the system response under varying optical intensity, and extracting the dependence of the susceptibility to intensity fluctuations, can include all relevant electronic effects and predicts the LEF of an operating quantum cascade laser to be in the range of 0.1 - 1, depending on laser bias and frequency. We also confirm that many-body effects, off-resonant transitions, dispersive (Bloch) gain, counter-rotating terms, intensity-dependent transition energy, and precise subband distributions all significantly contribute and are important for accurate simulations of the LEF.


title: Molecular hints of two-step transition to convective flow via streamline percolation

abstract: Convection is a key transport phenomenon important in many different areas, from hydrodynamics and ocean circulation to planetary atmospheres or stellar physics. However its microscopic understanding still remains challenging. Here we numerically investigate the onset of convective flow in a compressible (non-Oberbeck-Boussinesq) hard disk fluid under a temperature gradient in a gravitational field. We uncover a surprising two-step transition scenario with two different critical temperatures. When the bottom plate temperature reaches a first threshold, convection kicks in (as shown by a structured velocity field) but gravity results in hindered heat transport as compared to the gravity-free case. It is at a second (higher) temperature that a percolation transition of advection zones connecting the hot and cold plates triggers efficient convective heat transport. Interestingly, this novel picture for the convection instability opens the door to unknown piecewise-continuous solutions to the Navier-Stokes equations.

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


title: Detection of Optical Flares on the Selected G-M Dwarfs from Long-term Photometric Series

abstract: We have carried out a search for flares from the analysis of light curves for 12 active G, K, and M dwarfs. As sources of data we used ground-based observations in 2000-2020 from the photometric databases ASAS, SuperWASP, KWS. Events of low-amplitude brightening (Delta V < 0.25 mag), which possibly could be flares, were revealed for 11 stars. A large number of such increases in brightness were found on K dwarfs. Events of increasing in V-magnitudes to 0.5 mag or more were detected on light curves of one G star, BE Cet, and two M dwarfs. For three flares we could follow their development with time. We have estimated the duration of these flares; they lasted more than an hour, but less than 3 hours. In most cases we could not determine a lifetime of the suggested flares, but we believe that most of the probable flares on the investigated cool dwarfs are short-lived, on the order of several minutes.


title: Similarity of Pre-trained and Fine-tuned Representations

abstract: In transfer learning, only the last part of the networks - the so-called head - is often fine-tuned. Representation similarity analysis shows that the most significant change still occurs in the head even if all weights are updatable. However, recent results from few-shot learning have shown that representation change in the early layers, which are mostly convolutional, is beneficial, especially in the case of cross-domain adaption. In our paper, we find out whether that also holds true for transfer learning. In addition, we analyze the change of representation in transfer learning, both during pre-training and fine-tuning, and find out that pre-trained structure is unlearned if not usable.


title: Capturing the polynomial hierarchy by second-order revised Krom logic

abstract: We study the expressive power and complexity of second-order revised Krom logic (SO-KROM$^{r}$). On ordered finite structures, we show that its existential fragment $\Sigma^1_1$-KROM$^r$ equals $\Sigma^1_1$-KROM, and captures NL. On all finite structures, for $k\geq 1$, we show that $\Sigma^1_{k}$ equals $\Sigma^1_{k+1}$-KROM$^r$ if $k$ is even, and $\Pi^1_{k}$ equals $\Pi^1_{k+1}$-KROM$^r$ if $k$ is odd. The result gives an alternative logic to capture the polynomial hierarchy. We also introduce an extended version of second-order Krom logic (SO-EKROM). On ordered finite structures, we prove that SO-EKROM collapses to $\Pi^{1}_{2}$-EKROM and equals $\Pi^1_1$. Both SO-EKROM and $\Pi^{1}_{2}$-EKROM capture co-NP on ordered finite structures.


title: A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation

abstract: EOSIO, as one of the most representative blockchain 3.0 platforms, involves lots of new features, e.g., delegated proof of stake consensus algorithm and updatable smart contracts, enabling a much higher transaction per second and the prosperous decentralized applications (DApps) ecosystem. According to the statistics, it has reached nearly 18 billion USD, taking the third place of the whole cryptocurrency market, following Bitcoin and Ethereum. Loopholes, however, are hiding in the shadows. EOSBet, a famous gambling DApp, was attacked twice within a month and lost more than 1 million USD. No existing work has surveyed the EOSIO from a security researcher perspective. To fill this gap, in this paper, we collected all occurred attack events against EOSIO, and systematically studied their root causes, i.e., vulnerabilities lurked in all relying components for EOSIO, as well as the corresponding attacks and mitigations. We also summarized some best practices for DApp developers, EOSIO official team, and security researchers for future directions.


title: Image Super-Resolution with Deep Dictionary

abstract: Since the first success of Dong et al., the deep-learning-based approach has become dominant in the field of single-image super-resolution. This replaces all the handcrafted image processing steps of traditional sparse-coding-based methods with a deep neural network. In contrast to sparse-coding-based methods, which explicitly create high/low-resolution dictionaries, the dictionaries in deep-learning-based methods are implicitly acquired as a nonlinear combination of multiple convolutions. One disadvantage of deep-learning-based methods is that their performance is degraded for images created differently from the training dataset (out-of-domain images). We propose an end-to-end super-resolution network with a deep dictionary (SRDD), where a high-resolution dictionary is explicitly learned without sacrificing the advantages of deep learning. Extensive experiments show that explicit learning of high-resolution dictionary makes the network more robust for out-of-domain test images while maintaining the performance of the in-domain test images.


title: On the additivity of Newton-Okounkov bodies

abstract: We study the additivity of Newton-Okounkov bodies. Our main result states that on two dimensional subcones of the ample cone the Newton-Okounkov body associated to an appropriate flag acts additively. We prove this by induction relying on the slice formula for Newton-Okounkov bodies. Moreover, we discuss a necessary condition for the additivity showing that our result is optimal in general situations. As an application, we deduce an inequality between intersection numbers of nef line bundles.


title: Double-diffusive transport in multicomponent vertical convection

abstract: Motivated by the ablation of vertical ice faces in salt water, we use three-dimensional direct numerical simulations to investigate the heat and salt fluxes in two-scalar vertical convection. For parameters relevant to ice-ocean interfaces in the convection-dominated regime, we observe that the salinity field drives the convection and that heat is essentially transported as a passive scalar. By varying the diffusivity ratio of heat and salt (i.e., the Lewis number $Le$), we identify how the different molecular diffusivities affect the scalar fluxes through the system. Away from the walls, we find that the heat transport is determined by a turbulent Prandtl number of $Pr_t\approx 1$ and that double-diffusive effects are practically negligible. However, the difference in molecular diffusivities plays an important role close to the boundaries. In the (unrealistic) case where salt diffused faster than heat, the ratio of salt-to-heat fluxes would scale as $Le^{1/3}$, consistent with classical nested scalar boundary layers. However, in the realistic case of faster heat diffusion (relative to salt), we observe a transition towards a $Le^{1/2}$ scaling of the ratio of the fluxes. This coincides with the thermal boundary layer width growing beyond the thickness of the viscous boundary layer. We find that this transition is not determined by a critical Lewis number, but rather by a critical Prandtl number $Pr\approx 10$, slightly below that for cold seawater where $Pr=14$. We compare our results to similar studies of sheared and double-diffusive flow under ice shelves, and discuss the implications for fluxes in large-scale ice-ocean models. By coupling our results to ice-ocean interface thermodynamics, we describe how the flux ratio impacts the interfacial salinity, and hence the strength of solutal convection and the ablation rate.


title: Submarine Navigation using Neutrinos

abstract: Neutrinos are among the most abundant particles in the universe, nearly massless, travel at speeds near the speed of light and are electrically neutral. Neutrinos can be generated through man-made sources like particle accelerators or by natural sources like the sun. Neutrinos only interact via the weak force and gravity. Since gravitational interaction is extremely weak and the weak force has a very short range, neutrinos can travel long distances unimpeded through matter, reaching places inaccessible to GNSS (Global Navigation Satellite System) signals such as underwater locations. The main objective of this work is to sketch an early high-level design of a Neutrino PNT (Position, Navigation and Timing) mission and analyze its feasibility for submarine navigation since there is a need to improve current navigation technologies for submarines. The high-level preliminary concept proposes Cyclotrons or Linear Accelerators based on the physical process Pion Decay at Rest as neutrino sources. For detecting such isotropic neutrino fluxes user equipment must be composed of a high-performance clock synchronized with the system, a detector and possibly additional sensors such as IMU (Inertial Measurement Unit). A feasibility analysis of the recommended system option is performed based on simulations for determining the neutrino detection rate and on a PNT tool to estimate the PNT performances. Although the submarine navigation application is in the limit of being feasible with current technology, it could be realized with some important but reasonable progress in source and neutrino detector technology.


title: Over-the-Air Federated Edge Learning with Hierarchical Clustering

abstract: We examine federated learning (FL) with over-the-air (OTA) aggregation, where mobile users (MUs) aim to reach a consensus on a global model with the help of a parameter server (PS) that aggregates the local gradients. In OTA FL, MUs train their models using local data at every training round and transmit their gradients simultaneously using the same frequency band in an uncoded fashion. Based on the received signal of the superposed gradients, the PS performs a global model update. While the OTA FL has a significantly decreased communication cost, it is susceptible to adverse channel effects and noise. Employing multiple antennas at the receiver side can reduce these effects, yet the path-loss is still a limiting factor for users located far away from the PS. To ameliorate this issue, in this paper, we propose a wireless-based hierarchical FL scheme that uses intermediate servers (ISs) to form clusters at the areas where the MUs are more densely located. Our scheme utilizes OTA cluster aggregations for the communication of the MUs with their corresponding IS, and OTA global aggregations from the ISs to the PS. We present a convergence analysis for the proposed algorithm, and show through numerical evaluations of the derived analytical expressions and experimental results that utilizing ISs results in a faster convergence and a better performance than the OTA FL alone while using less transmit power. We also validate the results on the performance using different number of cluster iterations with different datasets and data distributions. We conclude that the best choice of cluster aggregations depends on the data distribution among the MUs and the clusters.


title: Reconfigurable Plug-and-play Distributed Model Predictive Control for Reference Tracking

abstract: A plug-and-play model predictive control (PnP MPC) scheme is proposed for varying-topology networks to track piecewise constant references. The proposed scheme allows subsystems to occasionally join and leave the network while preserving asymptotic stability and recursive feasibility and comprises two main phases. In the redesign phase, passivity-based control is used to ensure that asymptotic stability of the network is preserved. In the transition phase, reconfigurable terminal ingredients are used to ensure that the distributed MPC problem is initially feasible after the PnP operation. The efficacy of the proposed scheme is evaluated by applying it to a network of mass-spring-damper systems and comparing it to a benchmark scheme. It is found that the novel redesign phase results in faster PnP operations, whereas the novel transition phase increases flexibility by accepting more requests.


title: A photon counting reconstructive spectrometer combining metasurfaces and superconducting nanowire single-photon detectors

abstract: Faint light spectroscopy has many important applications such as fluorescence spectroscopy, lidar and astronomical observations. However, long measurement time limit its application on real-time measurement. In this work, a photon counting reconstructive spectrometer combining metasurfaces and superconducting nanowire single photon detectors (SNSPDs) was proposed. A prototype device was fabricated on a silicon on isolator (SOI) substrate, and its performance was characterized. Experiment results show that this device support spectral reconstruction of mono-color lights with a resolution of 2 nm in the wavelength region of 1500 nm ~ 1600 nm. The detection efficiency of this device is 1.4% ~ 3.2% in this wavelength region. The measurement time required by this photon counting reconstructive spectrometer was also investigated experimentally, showing its potential to be applied in the scenarios requiring real-time measurement.


title: Controlled quantum dot array segmentation via a highly tunable interdot tunnel coupling

abstract: Recent demonstrations using electron spins stored in quantum dots array as qubits are promising for developing a scalable quantum computing platform. An ongoing effort is therefore aiming at the precise control of the quantum dots parameters in larger and larger arrays which represents a complex challenge. Partitioning of the system with the help of the inter-dot tunnel barriers can lead to a simplification for tuning and offers a protection against unwanted charge displacement. In a triple quantum dot system, we demonstrate a nanosecond control of the inter-dot tunnel rate permitting to reach the two extreme regimes, large GHz tunnel coupling and sub-Hz isolation between adjacent dots. We use this novel development to isolate a sub part of the array while performing charge displacement and readout in the rest of the system. The degree of control over the tunnel coupling achieved in a unit cell should motivate future protocol development for tuning, manipulation and readout including this capability.


title: Stringy scaling of n-point hard string scattering amplitudes

abstract: Motivated by the recent calculation of the SL(K+3,C) symmetry of n-point Lauricella string scattering amplitudes (SSA) of open bosonic string theory, we calculate ratios of the solvable infinite linear relations of arbitrary n-point hard SSA (HSSA). We discover a general stringy scaling behavior for all n-point HSSA to all string loop orders. For the special case of n=4, the stringy scaling behavior reduces to the infinite linear relations and constant ratios among HSSA conjectured by Gross [8] and later corrected and calculated by the method of decoupling of zero-norm states [11].


title: Semi-supervised Predictive Clustering Trees for (Hierarchical) Multi-label Classification

abstract: Semi-supervised learning (SSL) is a common approach to learning predictive models using not only labeled examples, but also unlabeled examples. While SSL for the simple tasks of classification and regression has received a lot of attention from the research community, this is not properly investigated for complex prediction tasks with structurally dependent variables. This is the case of multi-label classification and hierarchical multi-label classification tasks, which may require additional information, possibly coming from the underlying distribution in the descriptive space provided by unlabeled examples, to better face the challenging task of predicting simultaneously multiple class labels. In this paper, we investigate this aspect and propose a (hierarchical) multi-label classification method based on semi-supervised learning of predictive clustering trees. We also extend the method towards ensemble learning and propose a method based on the random forest approach. Extensive experimental evaluation conducted on 23 datasets shows significant advantages of the proposed method and its extension with respect to their supervised counterparts. Moreover, the method preserves interpretability and reduces the time complexity of classical tree-based models.


title: Formal Algorithms for Transformers

abstract: This document aims to be a self-contained, mathematically precise overview of transformer architectures and algorithms (*not* results). It covers what transformers are, how they are trained, what they are used for, their key architectural components, and a preview of the most prominent models. The reader is assumed to be familiar with basic ML terminology and simpler neural network architectures such as MLPs.


title: Assaying Out-Of-Distribution Generalization in Transfer Learning

abstract: Since out-of-distribution generalization is a generally ill-posed problem, various proxy targets (e.g., calibration, adversarial robustness, algorithmic corruptions, invariance across shifts) were studied across different research programs resulting in different recommendations. While sharing the same aspirational goal, these approaches have never been tested under the same experimental conditions on real data. In this paper, we take a unified view of previous work, highlighting message discrepancies that we address empirically, and providing recommendations on how to measure the robustness of a model and how to improve it. To this end, we collect 172 publicly available dataset pairs for training and out-of-distribution evaluation of accuracy, calibration error, adversarial attacks, environment invariance, and synthetic corruptions. We fine-tune over 31k networks, from nine different architectures in the many- and few-shot setting. Our findings confirm that in- and out-of-distribution accuracies tend to increase jointly, but show that their relation is largely dataset-dependent, and in general more nuanced and more complex than posited by previous, smaller scale studies.


title: IDET: Iterative Difference-Enhanced Transformers for High-Quality Change Detection

abstract: Change detection (CD) aims to detect change regions within an image pair captured at different times, playing a significant role in diverse real-world applications. Nevertheless, most of the existing works focus on designing advanced network architectures to map the feature difference to the final change map while ignoring the influence of the quality of the feature difference. In this paper, we study the CD from a different perspective, i.e., how to optimize the feature difference to highlight changes and suppress unchanged regions, and propose a novel module denoted as iterative difference-enhanced transformers (IDET). IDET contains three transformers: two transformers for extracting the long-range information of the two images and one transformer for enhancing the feature difference. In contrast to the previous transformers, the third transformer takes the outputs of the first two transformers to guide the enhancement of the feature difference iteratively. To achieve more effective refinement, we further propose the multi-scale IDET-based change detection that uses multi-scale representations of the images for multiple feature difference refinements and proposes a coarse-to-fine fusion strategy to combine all refinements. Our final CD method outperforms seven state-of-the-art methods on six large-scale datasets under diverse application scenarios, which demonstrates the importance of feature difference enhancements and the effectiveness of IDET.


title: On the reducing projective dimension of the residue field

abstract: In this paper we are concerned with certain invariants of modules, called reducing invariants, which have been recently introduced and studied by Araya-Celikbas and Araya-Takahashi. We raise the question whether the residue field of each commutative Noetherian local ring has finite reducing projective dimension and obtain an affirmative answer for the question for a large class of local rings. Furthermore, we construct new examples of modules of infinite projective dimension that have finite reducing projective dimension, and study several fundamental properties of reducing dimensions, especially properties under local homomorphisms of local rings.


title: Detecting clusters of galaxies and active galactic nuclei in an eROSITA all-sky survey digital twin

abstract: The extended ROentgen Survey with an Imaging Telescope Array (eROSITA) onboard the Spectrum-Roentgen-Gamma (SRG) observatory is revolutionizing X-ray astronomy. It provides large samples of active galactic nuclei (AGN) and clusters of galaxies, with the potential of studying X-ray sources and measuring cosmological parameters using X-ray-selected samples with higher precision than ever before. We aim to study the detection, and the selection of AGN and clusters in the first eROSITA all-sky survey (eRASS1), and to characterize the properties of the source catalog. We produced a half-sky eRASS1 simulation, by combining models that truthfully represent the clusters and AGN. In total, we simulated 1 116 758 clusters and 225 583 320 AGN. We ran the standard eROSITA detection algorithm. We matched the input and source catalogs with a photon-based algorithm. We perfectly recovered the bright sources. We detected half of the AGN brighter than 2e-14 erg/s/cm2 as point sources and half of the clusters brighter than 3e-13 erg/s/cm2 as extended in the 0.5-2.0 keV band. We quantified the detection performance in terms of completeness, false detection rate, and contamination. We studied the source catalog according to multiple cuts of detection and extension likelihood. We find that the detection of clusters is mainly driven by flux and exposure. It depends on secondary effects, such as the size of the clusters and their dynamical state. The cool core bias mostly affects faint clusters classified as point sources, while its impact on the extent-selected sample is small. The measured X-ray luminosity of the detected clusters is compatible with the simulated values. We discuss how to best build samples of galaxy clusters for cosmological purposes, accounting for the nonuniform depth of eROSITA. This simulation provides a digital twin of the real eRASS1.


title: Abstract Demonstrations and Adaptive Exploration for Efficient and Stable Multi-step Sparse Reward Reinforcement Learning

abstract: Although Deep Reinforcement Learning (DRL) has been popular in many disciplines including robotics, state-of-the-art DRL algorithms still struggle to learn long-horizon, multi-step and sparse reward tasks, such as stacking several blocks given only a task-completion reward signal. To improve learning efficiency for such tasks, this paper proposes a DRL exploration technique, termed A^2, which integrates two components inspired by human experiences: Abstract demonstrations and Adaptive exploration. A^2 starts by decomposing a complex task into subtasks, and then provides the correct orders of subtasks to learn. During training, the agent explores the environment adaptively, acting more deterministically for well-mastered subtasks and more stochastically for ill-learnt subtasks. Ablation and comparative experiments are conducted on several grid-world tasks and three robotic manipulation tasks. We demonstrate that A^2 can aid popular DRL algorithms (DQN, DDPG, and SAC) to learn more efficiently and stably in these environments.


title: The $\infty$-Categorical Reflection Theorem and Applications

abstract: In this paper we prove an $\infty$-categorical version of the reflection theorem of Ad\'amek-Rosick\'y. Namely, that a full subcategory of a presentable $\infty$-category which is closed under limits and $\kappa$-filtered colimits is a presentable $\infty$-category. We then use this theorem in order to classify subcategories of a symmetric monoidal $\infty$-category which are equivalent to a category of modules over an idempotent algebra.


title: Tunable narrowband Excitonic Optical Tamm States enabled by a metal-free all-organic structure

abstract: Optical Tamm States (OTS) are confined optical modes that can occur at the interface between two highly reflective structures. However, due to the strong reflectance required, their implemen-tation with highly processable and metal-free flexible materials has proven challenging. Herein, we develop the first structure supporting OTS based only on organic polymeric materials, demon-strating a photonic platform based on non-critical, widely available, and easily processable mate-rials. The structures fabricated present large areas and consist of a narrowband multi-layered polymeric Distributed Bragg Reflector (DBR) followed by a thin film of J-aggregate molecular exci-tonic material that can act as a highly reflective surface within a narrowband range. We take ad-vantage of the narrowband spectral response of the DBR and of the reflective molecular layer to tune the OTS band by varying the periodicity of the multilayer, opening the door for the fabrica-tion of OTS structures based on lightweight integrable excitonic devices with cost-effective proce-dures.


title: Asymptotic Properties of Endogeneity Corrections Using Nonlinear Transformations

abstract: This paper considers a linear regression model with an endogenous regressor which arises from a nonlinear transformation of a latent variable. It is shown that the corresponding coefficient can be consistently estimated without external instruments by adding a rank-based transformation of the regressor to the model and performing standard OLS estimation. In contrast to other approaches, our nonparametric control function approach does not rely on a conformably specified copula. Furthermore, the approach allows for the presence of additional exogenous regressors which may be (linearly) correlated with the endogenous regressor(s). Consistency and asymptotic normality of the estimator are proved and the estimator is compared with copula based approaches by means of Monte Carlo simulations. An empirical application on wage data of the US current population survey demonstrates the usefulness of our method.


title: The Differential Structure of Generators of GNS-symmetric Quantum Markov Semigroups

abstract: We show that the generator of a GNS-symmetric quantum Markov semigroup can be written as the square of a derivation. This generalizes a result of Cipriani and Sauvageot for tracially symmetric semigroups. Compared to the tracially symmetric case, the derivations in the general case satisfy a twisted product rule, reflecting the non-triviality of their modular group. This twist is captured by the new concept of Tomita bimodules we introduce. If the quantum Markov semigroup satisfies a certain additional regularity condition, the associated Tomita bimodule can be realized inside the $L^2$ space of a bigger von Neumann algebra, whose construction is an operator-valued version of free Araki-Woods factors.

categories: math.OA math-ph math.FA math.MP quant-ph


title: Don't Stop Learning: Towards Continual Learning for the CLIP Model

abstract: The Contrastive Language-Image Pre-training (CLIP) Model is a recently proposed large-scale pre-train model which attracts increasing attention in the computer vision community. Benefiting from its gigantic image-text training set, the CLIP model has learned outstanding capabilities in zero-shot learning and image-text matching. To boost the recognition performance of CLIP on some target visual concepts, it is often desirable to further update the CLIP model by fine-tuning some classes-of-interest on extra training data. This operation, however, raises an important concern: will the update hurt the zero-shot learning or image-text matching capability of the CLIP, i.e., the catastrophic forgetting issue? If yes, could existing continual learning algorithms be adapted to alleviate the risk of catastrophic forgetting? To answer these questions, this work conducts a systemic study on the continual learning issue of the CLIP model. We construct evaluation protocols to measure the impact of fine-tuning updates and explore different ways to upgrade existing continual learning methods to mitigate the forgetting issue of the CLIP model. Our study reveals the particular challenges of CLIP continual learning problem and lays a foundation for further researches. Moreover, we propose a new algorithm, dubbed Learning without Forgetting via Replayed Vocabulary (VR-LwF), which shows exact effectiveness for alleviating the forgetting issue of the CLIP model.


title: Fabric-GC: A Blockchain-based Gantt Chart System for Cross-organizational Project Management

abstract: Large-scale production is always associated with more and more development and interaction among peers, and many fields achieve higher economic benefits through project cooperation. However, project managers in the traditional centralized approach cannot rearrange their activities to cross-organizational project management. Thanks to its characteristics, the Blockchain can represent a valid solution to the problems mentioned above. In this article, we propose Fabric-GC, a Blockchain-based Gantt chart system. Fabric-GC enables to realize secure and effective cross-organizational cooperation for project management, providing access control to multiple parties for project visualization. Compared with other solutions, the proposed system is versatile, as it can be applied to project management in different fields and achieve effective and agile scheduling. Experimental results show that Fabric-GC achieves stable performance in large-scale request and processing distributed environments, where the data synchronization speed of the consortium chain reached four times faster than a public chain, achieving faster data consistency.


title: Roughness of molecular property landscapes and its impact on modellability

abstract: In molecular discovery and drug design, structure-property relationships and activity landscapes are often qualitatively or quantitatively analyzed to guide the navigation of chemical space. The roughness (or smoothness) of these molecular property landscapes is one of their most studied geometric attributes, as it can characterize the presence of activity cliffs, with rougher landscapes generally expected to pose tougher optimization challenges. Here, we introduce a general, quantitative measure for describing the roughness of molecular property landscapes. The proposed roughness index (ROGI) is loosely inspired by the concept of fractal dimension and strongly correlates with the out-of-sample error achieved by machine learning models on numerous regression tasks.


title: Quantum vs classical genetic algorithms: A numerical comparison shows faster convergence

abstract: Genetic algorithms are heuristic optimization techniques inspired by Darwinian evolution. Quantum computation is a new computational paradigm which exploits quantum resources to speed up information processing tasks. Therefore, it is sensible to explore the potential enhancement in the performance of genetic algorithms by introducing quantum degrees of freedom. Along this line, a modular quantum genetic algorithm has recently been proposed, with individuals encoded in independent registers comprising exchangeable quantum subroutines [arXiv:2203.15039], which leads to different variants. Here, we address the numerical benchmarking of these algorithms against classical genetic algorithms, a comparison missing from previous literature. To overcome the severe limitations of simulating quantum algorithms, our approach focuses on measuring the effect of quantum resources on the performance. In order to isolate the effect of the quantum resources in the performance, the classical variants have been selected to resemble the fundamental characteristics of the quantum genetic algorithms. Under these conditions, we encode an optimization problem in a two-qubit Hamiltonian and face the problem of finding its ground state. A numerical analysis based on a sample of 200 random cases shows that some quantum variants outperform all classical ones in convergence speed towards a near-to-optimal result. Additionally, we have considered a diagonal Hamiltonian and the Hamiltonian of the hydrogen molecule to complete the analysis with two relevant use-cases. If this advantage holds for larger systems, quantum genetic algorithms would provide a new tool to address optimization problems with quantum computers.


title: Fluid Dynamics in Curvilinear Coordinates without Fictitious Forces

abstract: Use of curvilinear coordinates is sometimes indicated by the inherent geometry of a fluid dynamics problem, but this introduces fictitious forces into the momentum equations that spoil strict conservative form. If one is willing to work in three dimensions, these fictitious forces can be eliminated by solving for rectangular (Cartesian) momentum components on a curvilinear mesh. A thoroughly geometric approach to fluid dynamics on spacetime demonstrates this transparently, while also giving insight into a greater unity of the relativistic and nonrelativistic cases than is usually appreciated.


title: Symmetric reduced form voting

abstract: We study a model of voting with two alternatives in a symmetric environment. We characterize the interim allocation probabilities that can be implemented by a symmetric voting rule. We show that every such interim allocation probabilities can be implemented as a convex combination of two families of deterministic voting rules: qualified majority and qualified anti-majority. We also provide analogous results by requiring implementation by a symmetric monotone (strategy-proof) voting rule and by a symmetric unanimous voting rule. We apply our results to show that an ex-ante Rawlsian rule is a convex combination of a pair of qualified majority rules.


title: Harnessing thermal fluctuations for selectivity gain

abstract: Selectivity of olfactory receptor neuron (ORN) is compared with that of its receptor proteins (R) with fluctuations of odor binding-releasing process taken into account. The binding-releasing process is modeled as N Bernoulli trials, where N is the total number of R per ORN. Dimensionless selectivities for both R and ORN are introduced and compared with each other. It is found the ORN's selectivity can be much higher then that of its receptor proteins. This effect is concentration-dependent. Possible application for biosensors is discussed. URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9789678&isnumber=9789552


title: First results of a magnetic survey of classical Cepheids

abstract: We report recent ESPaDOnS and HARPSpol spectropolarimetric observations from our ongoing magnetic survey of the brightest twenty-five classical Cepheids. Stokes $V$ magnetic signatures are detected in eight of fifteen targets observed to date. The Stokes $V$ profiles show a diversity of morphologies with weak associated longitudinal field measurements of order 1 G. Many of the Stokes $V$ profiles are difficult to interpret in the context of the normal Zeeman effect. They consist of approximately unipolar single or double lobe(s) of positive or negative circular polarization. We hypothesize that these unusual signatures are due to the Zeeman effect modified by atmospheric velocity or magnetic field gradients. In contrast, the Stokes $V$ profiles of Polaris and MY Pup appear qualitatively similar to the complex magnetic signatures of non-pulsating cool supergiants, possibly due to the low pulsation amplitudes of these two stars.


title: Dirac geometry I: Commutative algebra

abstract: The homotopy groups of a commutative algebra in spectra form a commutative algebra in the symmetric monoidal category of graded abelian groups. The grading and the Koszul sign rule are remnants of the structure encoded by anima as opposed to sets. The purpose of this paper and its sequel is to develop the geometry built from such algebras. We name this geometry Dirac geometry, since the grading exhibits the hallmarks of spin. Indeed, it is a reflection of the internal structure encoded by anima, and it distinguishes symmetric and anti-symmetric behavior, as does spin. Moreover, the coherent cohomology, which we develop in the sequel admits half-integer Serre twists.


title: Enhancements of link colorings via idempotents of quandle rings

abstract: We show that quandle rings and their idempotents lead to proper enhancements of the well-known quandle coloring invariant of links in the 3-space. We give explicit examples to show that the new invariants are also stronger than the $\Hom$ quandle invariant when the coloring quandles are medial. We provide computer assisted computations of idempotents for all quandles of order less than six, and also determine the ones for which the set of all idempotents is itself a quandle. The data supports our conjecture about triviality of idempotents of integral quandle rings of finite latin quandles. We also determine Peirce spectra for complex quandle algebras of some small order quandles.


title: EVE: Environmental Adaptive Neural Network Models for Low-power Energy Harvesting System

abstract: IoT devices are increasingly being implemented with neural network models to enable smart applications. Energy harvesting (EH) technology that harvests energy from ambient environment is a promising alternative to batteries for powering those devices due to the low maintenance cost and wide availability of the energy sources. However, the power provided by the energy harvester is low and has an intrinsic drawback of instability since it varies with the ambient environment. This paper proposes EVE, an automated machine learning (autoML) co-exploration framework to search for desired multi-models with shared weights for energy harvesting IoT devices. Those shared models incur significantly reduced memory footprint with different levels of model sparsity, latency, and accuracy to adapt to the environmental changes. An efficient on-device implementation architecture is further developed to efficiently execute each model on device. A run-time model extraction algorithm is proposed that retrieves individual model with negligible overhead when a specific model mode is triggered.Experimental results show that the neural networks models generated by EVE is on average 2.5X times faster than the baseline models without pruning and shared weights.


title: Adaptive Testing for Connected and Automated Vehicles with Sparse Control Variates in Overtaking Scenarios

abstract: Testing and evaluation is a critical step in the development and deployment of connected and automated vehicles (CAVs). Due to the black-box property and various types of CAVs, how to test and evaluate CAVs adaptively remains a major challenge. Many approaches have been proposed to adaptively generate testing scenarios during the testing process. However, most existing approaches cannot be applied to complex scenarios, where the variables needed to define such scenarios are high dimensional. Towards filling this gap, the adaptive testing with sparse control variates method is proposed in this paper. Instead of adaptively generating testing scenarios, our approach evaluates CAVs' performances by adaptively utilizing the testing results. Specifically, each testing result is adjusted using multiple linear regression techniques based on control variates. As the regression coefficients can be adaptively optimized for the CAV under test, using the adjusted results can reduce the estimation variance, compared with using the testing results directly. To overcome the high dimensionality challenge, sparse control variates are utilized only for the critical variables of testing scenarios. To validate the proposed method, the high-dimensional overtaking scenarios are investigated, and the results demonstrate that our approach can further accelerate the evaluation process by about 30 times.


title: Elasto-capillary necking, bulging and Maxwell states in soft compressible cylinders

abstract: Localized pattern formations and "two-phase" deformations are studied theoretically in soft compressible cylinders subject to surface tension and axial loading through several force-controlled loading scenarios. By drawing upon known results for separate yet mathematically similar elastic localization problems, a concise family of analytical bifurcation conditions for localized bulging or necking are derived in terms of a general compressible strain energy function. The effect of material compressibility and strain-stiffening behaviour on the bifurcation point is analysed, and comparisons between our theoretical bifurcation conditions and the corresponding numerical simulation results of Dortdivanlioglu and Javili (Extreme Mech. Lett. 55, 2022) are made. It is then explained how the fully developed "two-phase" (Maxwell) state which evolves from the initial localized bifurcation solution can be comprehensively understood using the simple analytical expressions for the force parameters corresponding to the primary axial tension deformation. The power of this simple analytical approach in validating numerical simulation results for elastic localization and phase-separation-like problems of this nature is highlighted


title: Enhancing the sensitivity of nonlinearity sensors through homodyne detection in dissipatively coupled systems

abstract: In this manuscript, we propose a new sensing mechanism to enhance the sensitivity of a quantum system to nonlinearities by homodyning the amplitude quadrature of the cavity field. The system consists of two dissipatively coupled cavity modes, one of which is subject to single- and two-photon drives. In the regime of low two-photon driving strength, the spectrum of the system acquires a real spectral singularity. We find that this singularity is very sensitive to the two-photon drive and nonlinearity of the system, and compared to the previous nonlinearity sensor, the proposed sensor achieves an unprecedented sensitivity around the singularity point. Moreover, the scheme is robust against fabrication imperfections. This work would open a new avenue for quantum sensors, which could find applications in many fields, such as the precise measurement and quantum metrology.


title: Efficient Constructions for the Gy\H{o}ri-Lov\'{a}sz Theorem on Almost Chordal Graphs

abstract: In the 1970s, Gy\H{o}ri and Lov\'{a}sz showed that for a $k$-connected $n$-vertex graph, a given set of terminal vertices $t_1, \dots, t_k$ and natural numbers $n_1, \dots, n_k$ satisfying $\sum_{i=1}^{k} n_i = n$, a connected vertex partition $S_1, \dots, S_k$ satisfying $t_i \in S_i$ and $|S_i| = n_i$ exists. However, polynomial algorithms to actually compute such partitions are known so far only for $k \leq 4$. This motivates us to take a new approach and constrain this problem to particular graph classes instead of restricting the values of $k$. More precisely, we consider $k$-connected chordal graphs and a broader class of graphs related to them. For the first, we give an algorithm with $O(n^2)$ running time that solves the problem exactly, and for the second, an algorithm with $O(n^4)$ running time that deviates on at most one vertex from the given required vertex partition sizes.


title: A combined optimization-simulation approach for modified outside-in boarding under COVID-19 regulations including limited baggage compartment capacities

abstract: The timely handling of passengers is critical to efficient airport and airline operations. The pandemic requirements mandate adapted process designs and handling procedures to maintain and improve operational performance. Passenger activities in the confined aircraft cabin must be evaluated to potential virus transmission, and boarding procedures should be designed to minimize the negative impact on passengers and operations. In our approach, we generate an optimized seat allocation that considers passengers' physical activities when they store their hand luggage items in the overhead compartment. We proposed a mixed-integer programming formulation including the concept of shedding rates to determine and minimize the risk of virus transmission by solving the NP-hard seat assignment problem. We are improving the already efficient outside-in boarding, where passengers in the window seat board first and passengers in the aisle seat board last, taking into account COVID-19 regulations and the limited capacity of overhead compartments. To demonstrate and evaluate the improvements achieved in aircraft boarding, a stochastic agent-based model is used in which three operational scenarios with seat occupancy of 50\%, 66\%, and 80\% are implemented. With our optimization approach, the average boarding time and the transmission risk are significantly reduced already for the general case, i.e., when no specific boarding order is specified (random boarding). If the already efficient outside-in boarding is used as a reference, the boarding time can be reduced by more than 30\% by applying our approach, while keeping the transmission risk at the lowest level.


title: Flow Rate Independent Multiscale Liquid Biopsy for Precision Oncology

abstract: Immunoaffinity-based liquid biopsies of circulating tumor cells (CTCs) hold great promise for cancer management, but typically suffer from low throughput, relative complexity and post-processing limitations. Here we address these issues simultaneously by decoupling and independently optimizing the nano-, micro- and macro-scales of an enrichment device that is simple to fabricate and operate. Unlike other affinity-based devices, our scalable mesh approach enables optimum capture conditions at any flow rate, as demonstrated with constant capture efficiencies, above 75% between 50-200 uL/min. The device achieved 96% sensitivity and 100% specificity when used to detect CTCs in the blood of 79 cancer patients and 20 healthy controls. We demonstrate its post processing capacity with the identification of potential responders to immune checkpoint inhibition therapy and the detection of HER2 positive breast cancer. The results compare well with other assays, including clinical standards. This suggests that our approach, which overcomes major limitations associated with affinity-based liquid biopsies, could help improve cancer management.


title: Machine-learning applied to classify flow-induced sound parameters from simulated human voice

abstract: Disorders of voice production have severe effects on the quality of life of the affected individuals. A simulation approach is used to investigate the cause-effect chain in voice production showing typical characteristics of voice such as sub-glottal pressure and of functional voice disorders as glottal closure insufficiency and left-right asymmetry. Therewith, 24 different voice configurations are simulated in a parameter study using a previously published hybrid aeroacoustic simulation model. Based on these 24 simulation configurations, selected acoustic parameters (HNR, CPP, ...) at simulation evaluation points are correlated with these simulation configuration details to derive characteristic insight in the flow-induced sound generation of human phonation based on simulation results. Recently, several institutions studied experimental data, of flow and acoustic properties and correlated it with healthy and disordered voice signals. Upon this, the study is a next step towards a detailed dataset definition, the dataset is small, but the definition of relevant characteristics are precise based on the existing simulation methodology of simVoice. The small datasets are studied by correlation analysis, and a Support Vector Machine classifier with RBF kernel is used to classify the representations. With the use of Linear Discriminant Analysis the dimensions of the individual studies are visualized. This allows to draw correlations and determine the most important features evaluated from the acoustic signals in front of the mouth. The GC type can be best discriminated based on CPP and boxplot visualizations. Furthermore and using the LDA-dimensionality-reduced feature space, one can best classify subglottal pressure with 91.7\% accuracy, independent of healthy or disordered voice simulation parameters.


title: Weak error estimates of fully-discrete schemes for the stochastic Cahn-Hilliard equation

abstract: We study a class of fully-discrete schemes for the numerical approximation of solutions of stochastic Cahn--Hilliard equations with cubic nonlinearity and driven by additive noise. The spatial (resp. temporal) discretization is performed with a spectral Galerkin method (resp. a tamed exponential Euler method). We consider two situations: space-time white noise in dimension $d=1$ and trace-class noise in dimensions $d=1,2,3$. In both situations, we prove weak error estimates, where the weak order of convergence is twice the strong order of convergence with respect to the spatial and temporal discretization parameters. To prove these results, we show appropriate regularity estimates for solutions of the Kolmogorov equation associated with the stochastic Cahn--Hilliard equation, which have not been established previously and may be of interest in other contexts.


title: Blindly Factorizing 21 Quantumly

abstract: We develop a classically verifiable scheme for blindly factorizing the semiprime 21 quantumly for a classical client who does not trust the remote quantum servers. Our scheme advances state of the art, which achieves blind factorization of 15 quantumly, by increasing the problem to factorizing the next semiprime, choosing a harder base, executing a non-Clifford gate, and showing that the security check for 15 also works for 21. Our algorithmic approach to incorporating non-Clifford operations sets the stage for scaling blind quantum factorization, whereas our five-EPR-pair scheme motivates a photonic experiment that supplants current demonstrations of blind factorization.


title: On General-n Coefficients in Series Expansions for Row Spin-Spin Correlation Functions in the Two-Dimensional Ising Model

abstract: We consider spin-spin correlation functions for spins along a row, $R_n = \langle \sigma_{0,0}\sigma_{n,0}\rangle$, in the two-dimensional Ising model. We discuss a method for calculating general-$n$ expressions for coefficients in high-temperature and low-temperature series expansions of $R_n$ and apply it to obtain such expressions for several higher-order coefficients. In addition to their intrinsic interest, these results could be useful in the continuing quest for an ordinary differential equation whose solution would determine $R_n$, analogous to the known ordinary differential equation whose solution determines the diagonal correlation function $\langle \sigma_{0,0}\sigma_{n,n}\rangle$ in this model.


title: On the Slow Drift of Solstices: Milankovic Cycles and Mean Global Temperature

abstract: The Earth's revolution is modified by changes in inclination of its rotation axis. Despite the fact that the gravity field is central, the Earth's trajectory is not closed and the equinoxes drift. Milankovic (1920) argued that the shortest precession period of solstices is 20,7kyr: the Summer solstice in one hemisphere takes place alternately every 11kyr at perihelion and at aphelion. We have submitted the time series for the Earth's pole of rotation, global mean surface temperature and ephemeris to iterative Singular Spectrum Analysis. iSSA extracts from each a trend, a 1yr and a 60yr component. Both the apparent drift of solstices of Earth around the Sun and the global mean temperature exhibit a strong 60yr oscillation. The "fixed dates" of solstices actually drift. Comparing the time evolution of the Winter and Summer solstices positions of the rotation pole and the first iSSA component (trend) of the temperature allows one to recognize some common features. A basic equation from Milankovic links the derivative of heat received at a given location on Earth to solar insolation, known functions of the location coordinates, solar declination and hour angle, with an inverse square dependence on the Sun-Earth distance. We have translated the drift of solstices as a function of distance to the Sun into the geometrical insolation theory of Milankovic. Shifting the inverse square of the 60yr iSSA drift of solstices by 15 years with respect to the first derivative of the 60yr iSSA trend of temperature, that is exactly a quadrature in time, puts the two curves in quasi-exact superimposition. The probability of a chance coincidence appears very low. Correlation does not imply causality when there is no accompanying model. Here Milankovic's equation can be considered as a model that is widely accepted. This paper identifies a case of agreement between observations and a mathematical formulation.


title: Action Quality Assessment with Temporal Parsing Transformer

abstract: Action Quality Assessment(AQA) is important for action understanding and resolving the task poses unique challenges due to subtle visual differences. Existing state-of-the-art methods typically rely on the holistic video representations for score regression or ranking, which limits the generalization to capture fine-grained intra-class variation. To overcome the above limitation, we propose a temporal parsing transformer to decompose the holistic feature into temporal part-level representations. Specifically, we utilize a set of learnable queries to represent the atomic temporal patterns for a specific action. Our decoding process converts the frame representations to a fixed number of temporally ordered part representations. To obtain the quality score, we adopt the state-of-the-art contrastive regression based on the part representations. Since existing AQA datasets do not provide temporal part-level labels or partitions, we propose two novel loss functions on the cross attention responses of the decoder: a ranking loss to ensure the learnable queries to satisfy the temporal order in cross attention and a sparsity loss to encourage the part representations to be more discriminative. Extensive experiments show that our proposed method outperforms prior work on three public AQA benchmarks by a considerable margin.


title: How Barrow Entropy Modifies Gravity: With Comments on Tsallis Entropy

abstract: Barrow proposed that the area law of the horizon entropy might receive a "fractal correction" $S\propto A^{1+\Delta/2}$ due to quantum gravitational effects, with $0\leqslant \Delta \leqslant 1$ measures the deviation from the standard area law. While such a modification has been widely studied in the literature, its corresponding theory of gravity has not been discussed. We follow Jacobson's approach to derive the modified gravity theory (interpreted as an effective theory), and find that in the stationary case the resulting theory only differs from general relativity by a re-scaled cosmological constant. Consequently in asymptotically flat stationary spacetimes the theory is identical to general relativity. The theory is not applicable when there is no horizon; the multi-horizon case is complicated. We emphasize on the importance of identifying the correct thermodynamic mass in a theory with modified thermodynamics to avoid inconsistencies. We also comment on the Hawking evaporation rate beyond the effective theory. In addition, we show that the Bekenstein bound is satisfied if the thermodynamic mass is used as the energy, up to a constant prefactor. We briefly comment on the Tsallis entropy case as well. Interestingly, for the latter, the requirement that Bekenstein bound holds imposes a lower bound on the non-extensive parameter: $\delta > 1/2$, which unfortunately rules out the previously suggested possibility that the expansion of the universe can accelerate with normal matter field alone.


title: Power of a quasi-spin quantum Otto engine at negative effective temperature

abstract: Heat engines usually operate by exchanging heat with thermal baths at different (positive) temperatures. Nonthermal baths may, however, lead to a significant performance boost. We here experimentally analyze the power output of a single-atom quantum Otto engine realized in the quasi-spin states of individual Cesium atoms interacting with an atomic Rubidium bath. From measured time-resolved populations of the quasi-spin state, we determine the dynamics during the cycle of both the effective spin temperature and of the quantum fluctuations of the engine, which we quantify with the help of the Shannon entropy. We find that power is enhanced in the negative temperature regime, and that it reaches its maximum value at half the maximum entropy. Quantitatively, operating our engine at negative effective temperatures increases the power by up to 30% compared to operation at positive temperatures, including even the case of infinite temperature. At the same time, entering the negative temperature regime allows for reducing the entropy to values close to zero, offering highly stable operation at high power output. We furthermore numerically investigate the influence of the size of the Hilbert space on the performance of the quantum engine by varying the number of levels of the working medium. Our work thereby paves the way to fluctuation control in the operation of high-power and efficient single-atom quantum engines.


title: Synthetically Non-Hermitian Nonlinear Wave-like Behavior in a Topological Mechanical Metamaterial

abstract: Topological mechanical metamaterials have enabled new ways to control stress and deformation propagation. Exemplified by Maxwell lattices, they have been studied extensively using a linearized formalism. Herein, we study a two-dimensional topological Maxwell lattice by exploring its large deformation quasi-static response using geometric numerical simulations and experiments. We observe spatial nonlinear wave-like phenomena such as harmonic generation, localized domain switching, amplification-enhanced frequency conversion, and solitary waves. We further map our linearized, homogenized system to a non-Hermitian, non-reciprocal, one-dimensional wave equation, revealing an equivalence between the deformation fields of two-dimensional topological Maxwell lattices and nonlinear dynamical phenomena in one-dimensional active systems. Our study opens a new regime for topological mechanical metamaterials and expands their application potential in areas including adaptive and smart materials, and mechanical logic, wherein concepts from nonlinear dynamics may be used to create intricate, tailored spatial deformation and stress fields greatly exceeding conventional elasticity.


title: Static and dynamical signatures of Dzyaloshinskii-Moriya interactions in the Heisenberg model on the kagome lattice

abstract: Motivated by recent experiments on Cs$_2$Cu$_3$SnF$_{12}$ and YCu$_{3}$(OH)$_{6}$Cl$_{3}$, we consider the ${S=1/2}$ Heisenberg model on the kagome lattice with nearest-neighbor super-exchange $J$ and (out-of-plane) Dzyaloshinskii-Moriya interaction $J_D$, which favors (in-plane) ${\bf Q}=(0,0)$ magnetic order. By using both variational Monte Carlo (based upon Gutzwiller-projected fermionic wave functions) and tensor-network approaches (built from infinite projected-entangled pair/simplex states), we show that the ground state develops a finite magnetization for $J_D/J \gtrsim 0.03 - 0.04$, while the gapless spin liquid remains stable for smaller values of the Dzyaloshinskii-Moriya interaction. The relatively small value of $J_D/J$ for which magnetic order sets in is particularly relevant for the interpretation of low-temperature behaviors of kagome antiferromagnets, including ZnCu$_{3}$(OH)$_{6}$Cl$_{2}$. In addition, we assess the spin dynamical structure factors and the corresponding low-energy spectrum, by using the variational Monte Carlo technique. The existence of a continuum of excitations above the magnon modes is reported within the magnetically ordered phase, similarly to what has been detected by inelastic neutron scattering on Cs$_{2}$Cu$_{3}$SnF$_{12}$.


title: IBP reduction via Gr\"obner bases in a rational double-shift algebra

abstract: We report on an approach to integration-by-parts reduction based on Gr\"obner bases. We establish the underlying noncommutative rational double-shift algebra wherein the integration-by-parts relations form a left ideal. We describe in detail the one-loop massless box as an example where we achieved the full reduction to master integrals by means of the Gr\"obner basis approach, and report on the performance of the implementation. We also identify potential bottlenecks in more complicated examples and elaborate on interesting further directions.


title: Extending MIEZE spectroscopy towards thermal wavelengths

abstract: We propose a Modulation of intensity with zero effort (MIEZE) set-up for high-resolution neutron spectroscopy at momentum transfers up to 3\r{A}$^{-1}$,energy transfers up to ~ 20 meV, and an energy resolution in the $\mu$eV-range using both thermal and cold neutrons. MIEZE has two prominent advantages compared to classical neutron spin-echo. The first one is the possibility to investigate spin-depolarizing samples or samples in strong magnetic fields without loss of signal amplitude and intensity. This allows for the study of spin fluctuations in ferromagnets, and facilitates the study of samples with strong spin-incoherent scattering. The second advantage is that multi-analyzer setups can be implemented with comparatively small effort. The use of thermal neutrons increases the range of validity of the spin-echo approximation towards shorter spin-echo times. In turn, the thermal MIEZE option for greater ranges (TIGER) closes the gap between classical neutron spin-echo spectroscopy and conventional high-resolution neutron spectroscopy techniques such as triple-axis, time-of-flight, and back-scattering. To illustrate the feasibility of TIGER we present the details of an implementation at the beamline RESEDA at FRM II by means of an additional velocity selector, polarizer and analyzer.


title: Covering Grassmannian Codes: Bounds and Constructions

abstract: Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n.$ Recently, Etzion and Zhang introduced a new notion called covering Grassmannian code which can be used in network coding solutions for generalized combination networks. An $\alpha$-$(n,k,\delta)_q^c$ covering Grassmannian code $\mathcal{C}$ is a subset of $\mathcal{G}_q(n,k)$ such that every set of $\alpha$ codewords of $\mathcal{C}$ spans a subspace of dimension at least $\delta +k$ in $\mathbb{F}_q^n.$ In this paper, we derive new upper and lower bounds on the size of covering Grassmannian codes. These bounds improve and extend the parameter range of known bounds.


title: Contractive projections in Paley-Wiener spaces

abstract: Let $S_1$ and $S_2$ be disjoint finite unions of parallelepipeds. We describe necessary and sufficient conditions on the sets $S_1,S_2$ and exponents $p$ such that the canonical projection $P$ from $PW_{S_1\cup S_2}^p$ to $PW_{S_1}^p$ is a contraction.


title: Spatially flat universes with isotropic tidal forces

abstract: We investigate the dynamics of the spatially flat universes submitted to isotropic tidal forces and adiabatic expansion under Einstein's equations. Surprisingly, the tendency to a high Hubble anisotropy at late times starts to appear as far as we assume the strong energy condition, a characteristic which becomes dominant in the radiation era and even more stringent under a stiff matter regime. We introduce the parameter b which measures the relative change in the magnitudes of the Hubble anisotropy and the scale factor and use it to show that the anisotropies must be kept small as long as we assume the Universe has passed through an inflationary period, in accordance with the cosmic no-hair theorem. Hence, we have a class of models that shows us a simple and straightforward way the instability of the FLRW universes, the furtiveness of the isotropy concept, and how they can still be consistent with the standard model of Cosmology as far as we assume the occurrence of an inflationary early period.


title: Exploiting Inter-Sample Affinity for Knowability-Aware Universal Domain Adaptation

abstract: Universal domain adaptation (UniDA) aims to transfer the knowledge of common classes from the source domain to the target domain without any prior knowledge on the label set, which requires distinguishing in the target domain the unknown samples from the known ones. Recent methods usually focused on categorizing a target sample into one of the source classes rather than distinguishing known and unknown samples, which ignores the inter-sample affinity between known and unknown samples and may lead to suboptimal performance. Aiming at this issue, we propose a novel UDA framework where such inter-sample affinity is exploited. Specifically, we introduce a knowability-based labeling scheme which can be divided into two steps: 1) Knowability-guided detection of known and unknown samples based on the intrinsic structure of the neighborhoods of samples, where we leverage the first singular vectors of the affinity matrices to obtain the knowability of every target sample. 2) Label refinement based on neighborhood consistency to relabel the target samples, where we refine the labels of each target sample based on its neighborhood consistency of predictions. Then, auxiliary losses based on the two steps are used to reduce the inter-sample affinity between the unknown and the known target samples. Finally, experiments on four public datasets demonstrate that our method significantly outperforms existing state-of-the-art methods.


title: Proposed Consistent Exception Handling for the BLAS and LAPACK

abstract: Numerical exceptions, which may be caused by overflow, operations like division by 0 or sqrt(-1), or convergence failures, are unavoidable in many cases, in particular when software is used on unforeseen and difficult inputs. As more aspects of society become automated, e.g., self-driving cars, health monitors, and cyber-physical systems more generally, it is becoming increasingly important to design software that is resilient to exceptions, and that responds to them in a consistent way. Consistency is needed to allow users to build higher-level software that is also resilient and consistent (and so on recursively). In this paper we explore the design space of consistent exception handling for the widely used BLAS and LAPACK linear algebra libraries, pointing out a variety of instances of inconsistent exception handling in the current versions, and propose a new design that balances consistency, complexity, ease of use, and performance. Some compromises are needed, because there are preexisting inconsistencies that are outside our control, including in or between existing vendor BLAS implementations, different programming languages, and even compilers for the same programming language. And user requests from our surveys are quite diverse. We also propose our design as a possible model for other numerical software, and welcome comments on our design choices.


title: Rules Of Engagement: Levelling Up To Combat Unethical CUI Design

abstract: While a central goal of HCI has always been to create and develop interfaces that are easy to use, a deeper focus has been set more recently on designing interfaces more ethically. However, the exact meaning and measurement of ethical design has yet to be established both within the CUI community and among HCI researchers more broadly. In this provocation paper we propose a simplified methodology to assess interfaces based on five dimensions taken from prior research on so-called dark patterns. As a result, our approach offers a numeric score to its users representing the manipulative nature of evaluated interfaces. It is hoped that the approach - which draws a distinction between persuasion and manipulative design, and focuses on how the latter functions rather than how it manifests - will provide a viable way for quantifying instances of unethical interface design that will prove useful to researchers, regulators and potentially even users.


title: Interior Dynamics and Thermal Evolution of Mars -- a Geodynamic Perspective

abstract: Over the past decades, global geodynamical models have been used to investigate the thermal evolution of terrestrial planets. With the increase of computational power and improvement of numerical techniques, these models have become more complex, and simulations are now able to use a high resolution 3D spherical shell geometry and to account for strongly varying viscosity, as appropriate for mantle materials. In this study we review global 3D geodynamic models that have been used to study the thermal evolution and interior dynamics of Mars. We discuss how these models can be combined with local and global observations to constrain the planet's thermal history. In particular, we use the recent InSight estimates of the crustal thickness, upper mantle structure, and core size to show how these constraints can be combined with 3D geodynamic models to improve our understanding of the interior dynamics, present-day thermal state and temperature variations in the interior of Mars.


title: Eyring-Kramers exit rates for the overdamped Langevin dynamics: the case with saddle points on the boundary

abstract: Let $(X_t)_{t\ge 0}$ be the stochastic process solution to the overdamped Langevin dynamics $$dX_t=-\nabla f(X_t) \, dt +\sqrt h \, dB_t$$ and let $\Omega \subset \mathbb R^d $ be the basin of attraction of a local minimum of $f: \mathbb R^d \to \mathbb R$. Up to a small perturbation of $\Omega$ to make it smooth, we prove that the exit rates of $(X_t)_{t\ge 0}$ from $\Omega$ through each of the saddle points of $f$ on $\partial \Omega$ can be parametrized by the celebrated Eyring-Kramers laws, in the limit $h \to 0$. This result provides firm mathematical grounds to jump Markov models which are used to model the evolution of molecular systems, as well as to some numerical methods which use these underlying jump Markov models to efficiently sample metastable trajectories of the overdamped Langevin dynamics.


title: Quantum Feature Extraction for THz Multi-Layer Imaging

abstract: A learning-based THz multi-layer imaging has been recently used for contactless three-dimensional (3D) positioning and encoding. We show a proof-of-concept demonstration of an emerging quantum machine learning (QML) framework to deal with depth variation, shadow effect, and double-sided content recognition, through an experimental validation.