title: Precision Enhancement of Distribution System State Estimation via Tri-Objective Micro Phasor Measurement Unit Deployment

abstract: A tri-objective optimal Micro Phasor Measurement Units ({\mu}-PMUs) Placement method is presented, with a focus on minimizing the following three parameters: i) the total number of {\mu}-PMU channels, (ii) the maximum state estimation uncertainty, and (iii) the sensitivity of state estimation to line parameter tolerances. The suggested formulation takes single-line and {\mu}-PMU failures into consideration while guaranteeing the complete observability of the system in the presence and absence of contingencies. It also takes into account the impact of zero injection nodes and the quantity of {\mu}-PMU channels carried out at every node. The suggested placement issue is addressed using a customized version of the nondominated sorting genetic algorithm II (NSGA-II). According to the results achieved utilizing three test systems of varying sizes, {\mu}-PMU channels beyond predetermined thresholds only result in higher costs and negligible further decreases in state estimation uncertainty and sensitivity to line parameter tolerances. Additionally, we may omit to instrument between 30 and 40% of buses if {\mu}-PMUs with only two three-phase channels are utilized, with only a modest negative effect on state estimate performance even in the event of contingencies.


title: Enumerative invariants in self-dual categories. II. Homological invariants

abstract: This is the second paper in a series on enumerative invariants counting self-dual objects in self-dual categories, and is a sequal to (arXiv:2302.00038). Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL} (n)$, and our theory is an extension of this to structure groups $\mathrm{O} (n)$ and $\mathrm{Sp} (2n)$. Examples of our theory include counting principal orthogonal or symplectic bundles, and counting self-dual quiver representations. In the present paper, we propose a conjectural picture on homological enumerative invariants counting self-dual objects in self-dual categories, which are homology classes lying in the ordinary homology of moduli stacks. This is a self-dual analogue of the conjectures of Gross-Joyce-Tanaka (arXiv:2005.05637). We study algebraic structures arising from the homology of these moduli stacks, including vertex algebras and twisted modules, and we formulate wall-crossing formulae for the invariants using these algebraic structures. We also provide a partial proof of our conjecture in the case of self-dual quiver representations.


title: Aspects of Machian Gravity (II): Testing Theory against Rotation Curves of 175 SPARC Galaxies

abstract: Machian Gravity (MG) presents a mathematical framework that captures the essence of Mach's principle. It was formulated to address the limitations of general relativity and provide a gravity theory founded on robust logical principles. Unlike the approach of modifying existing theories by introducing extra scalar and vector degrees of freedom to account for observational data, MG offers a more coherent alternative. Previous investigations have revealed MG's potential to explain diverse phenomena, such as galactic velocity patterns, galaxy cluster mass distribution, and cosmic expansion, without requiring additional dark components in the universe. This study applies the MG acceleration law to a wide array of galaxies sourced from the SPARC galactic database. Through meticulous analysis, we have determined the optimal parameters of the Machian gravity model for each individual SPARC galaxy, consequently fitting their distinctive rotational profiles. Similar to the Modified Newtonian Dynamics (MOND), our results suggest the presence of an acceleration scale linked to galaxies, governing their rotational behavior near the outer regions. Importantly, this acceleration scale exhibits variability across different galaxies, albeit typically remaining around the order of $10^{-8} {\rm cm/s^2}$.


title: Bellybutton: Accessible and Customizable Deep-Learning Image Segmentation

abstract: The conversion of raw images into quantifiable data can be a major hurdle in experimental research, and typically involves identifying region(s) of interest, a process known as segmentation. Machine learning tools for image segmentation are often specific to a set of tasks, such as tracking cells, or require substantial compute or coding knowledge to train and use. Here we introduce an easy-to-use (no coding required), image segmentation method, using a 15-layer convolutional neural network that can be trained on a laptop: Bellybutton. The algorithm trains on user-provided segmentation of example images, but, as we show, just one or even a portion of one training image can be sufficient in some cases. We detail the machine learning method and give three use cases where Bellybutton correctly segments images despite substantial lighting, shape, size, focus, and/or structure variation across the regions(s) of interest. Instructions for easy download and use, with further details and the datasets used in this paper are available at pypi.org/project/Bellybuttonseg.


title: STint: Self-supervised Temporal Interpolation for Geospatial Data

abstract: Supervised and unsupervised techniques have demonstrated the potential for temporal interpolation of video data. Nevertheless, most prevailing temporal interpolation techniques hinge on optical flow, which encodes the motion of pixels between video frames. On the other hand, geospatial data exhibits lower temporal resolution while encompassing a spectrum of movements and deformations that challenge several assumptions inherent to optical flow. In this work, we propose an unsupervised temporal interpolation technique, which does not rely on ground truth data or require any motion information like optical flow, thus offering a promising alternative for better generalization across geospatial domains. Specifically, we introduce a self-supervised technique of dual cycle consistency. Our proposed technique incorporates multiple cycle consistency losses, which result from interpolating two frames between consecutive input frames through a series of stages. This dual cycle consistent constraint causes the model to produce intermediate frames in a self-supervised manner. To the best of our knowledge, this is the first attempt at unsupervised temporal interpolation without the explicit use of optical flow. Our experimental evaluations across diverse geospatial datasets show that STint significantly outperforms existing state-of-the-art methods for unsupervised temporal interpolation.


title: On the Performance of Large Loss Systems with Adaptive Multiserver Jobs

abstract: In this paper, we study systems where each job or request can be split into a flexible number of sub-jobs up to a maximum limit. The number of sub-jobs a job is split into depends on the number of available servers found upon its arrival. All sub-jobs of a job are then processed in parallel at different servers leading to a linear speed-up of the job. We refer to such jobs as {\em adaptive multi-server jobs}. We study the problem of optimal assignment of such jobs when each server can process at most one sub-job at any given instant and there is no waiting room in the system. We assume that, upon arrival, a job can only access a randomly sampled subset of $k(n)$ servers from a total of $n$ servers, and the number of sub-jobs is determined based on the number of idle servers within the sampled subset. We analyze the steady-state performance of the system when system load varies according to $\lambda(n) =1 - \beta n^{-\alpha}$ for $\alpha \in [0,1)$, and $\beta \geq 0$. Our interest is to find how large the subset $k(n)$ should be in order to have zero blocking and maximum speed-up in the limit as $n \to \infty$. We first characterize the system's performance when the jobs have access to the full system, i.e., $k(n)=n$. In this setting, we show that the blocking probability approaches to zero at the rate $O(1/\sqrt{n})$ and the mean response time of accepted jobs approaches to its minimum achievable value at rate $O(1/n)$. We then consider the case where the jobs only have access to subset of servers, i.e., $k(n) < n$. We show that as long as $k(n)=\omega(n^\alpha)$, the same asymptotic performance can be achieved as in the case with full system access. In particular, for $k(n)=\Theta(n^\alpha \log n)$, we show that both the blocking probability and the mean response time approach to their desired limits at rate $O(n^{-(1-\alpha)/2})$.


title: GeneFEAST: the pivotal, gene-centric step in functional enrichment analysis interpretation

abstract: Summary: GeneFEAST, implemented in Python, is a gene-centric functional enrichment analysis summarisation and visualisation tool that can be applied to large functional enrichment analysis (FEA) results arising from upstream FEA pipelines. It produces a systematic, navigable HTML report, making it easy to identify sets of genes putatively driving multiple enrichments and to explore gene-level quantitative data first used to identify input genes. Further, GeneFEAST can compare FEA results from multiple studies, making it possible, for example, to highlight patterns of gene expression amongst genes commonly differentially expressed in two sets of conditions, and giving rise to shared enrichments under those conditions. GeneFEAST offers a novel, effective way to address the complexities of linking up many overlapping FEA results to their underlying genes and data, advancing gene-centric hypotheses, and providing pivotal information for downstream validation experiments. Availability: GeneFEAST is available at https://github.com/avigailtaylor/GeneFEAST Contact: avigail.taylor@well.ox.ac.uk


title: Very Massive Star Models: I. Impact of Rotation and Metallicity and Comparisons with Observations

abstract: In addition to being spectacular objects, Very Massive Stars (VMS) are suspected to have a tremendous impact on their environment and on the whole cosmic evolution. The nucleosynthesis both during their advanced stages and their final explosion may contribute greatly to the overall enrichment of the Universe. Their resulting supernovae are candidates for the most superluminous events and their extreme conditions also lead to very important radiative and mechanical feedback effects, from local to cosmic scale. We explore the impact of rotation and metallicity on the evolution of very massive stars across cosmic times. With the recent implementation of an equation of state in the GENEC stellar evolution code, appropriate for describing the conditions in the central regions of very massive stars in the advanced phases, we present new results on VMS evolution from Population III to solar metallicity. Low metallicity VMS models are highly sensitive to rotation, while the evolution of higher metallicity models is dominated by mass loss effects. The mass loss affects strongly their surface velocity evolution, breaking quickly at high metallicity while reaching the critical velocity for low metallicity models. The comparison to observed VMS in the LMC shows that the mass loss prescriptions used for these models are compatible with observed mass loss rates. In our framework for modelling rotation, our models of VMS need a high initial velocity to reproduce the observed surface velocities. The surface enrichment of these VMS is difficult to explain with only one initial composition, and could suggest multiple populations in the R136 cluster. At a metallicity typical of R136, only our non- or slowly rotating VMS models may produce Pair Instability supernovae. The most massive black holes that can be formed are less massive than about 60 M$_\odot$.


title: A compact cryogenic configurable slit unit for a multi-object infrared spectrograph:Design and Development of a prototype at TIFR

abstract: We present a cryogenic configurable slit unit (CSU) for a multi object infrared spectrograph with an effective field of view of 9.1 arcmin x 9.1 arcmin that was completely conceived and designed in the laboratory at TIFR. Several components of the CSU including the controller for the commercially procured piezo-walkers, controlled loop position sensing mechanism using digital slide callipers and a cryogenic test facility for the assembled prototype were also developed in-house. The principle of the CSU involves division of the field of view of the spectrometer into contiguous and parallel spatial bands, each one associated with two opposite sliding metal bars that can be positioned to create a slit needed to make spectroscopic observations of one astronomical object. A three-slit prototype of the newly designed CSU was built and tested extensively at ambient and cryogenic temperatures. The performance of the CSU was found to be as per specifications.


title: Ethical Framework for Harnessing the Power of AI in Healthcare and Beyond

abstract: In the past decade, the deployment of deep learning (Artificial Intelligence (AI)) methods has become pervasive across a spectrum of real-world applications, often in safety-critical contexts. This comprehensive research article rigorously investigates the ethical dimensions intricately linked to the rapid evolution of AI technologies, with a particular focus on the healthcare domain. Delving deeply, it explores a multitude of facets including transparency, adept data management, human oversight, educational imperatives, and international collaboration within the realm of AI advancement. Central to this article is the proposition of a conscientious AI framework, meticulously crafted to accentuate values of transparency, equity, answerability, and a human-centric orientation. The second contribution of the article is the in-depth and thorough discussion of the limitations inherent to AI systems. It astutely identifies potential biases and the intricate challenges of navigating multifaceted contexts. Lastly, the article unequivocally accentuates the pressing need for globally standardized AI ethics principles and frameworks. Simultaneously, it aptly illustrates the adaptability of the ethical framework proposed herein, positioned skillfully to surmount emergent challenges.


title: Tumor growth with a necrotic core as an obstacle problem in pressure

abstract: Motivated by the incompressible limit of a cell density model, we propose a free boundary tumor growth model where the pressure satisfies an obstacle problem on an evolving domain $\Omega(t)$, and the coincidence set $\Lambda(t)$ captures the emerging necrotic core. We contribute to the analytical characterization of the solution structure in the following two aspects. By deriving a semi-analytical solution and studying its dynamical behavior, we obtain quantitative transitional properties of the solution separating phases in the development of necrotic cores and establish its long time limit with the traveling wave solutions. Also, we prove the existence of traveling wave solutions incorporating non-zero outer densities outside the tumor bulk, provided that the size of the outer density is below a threshold.


title: SoDaCam: Software-defined Cameras via Single-Photon Imaging

abstract: Reinterpretable cameras are defined by their post-processing capabilities that exceed traditional imaging. We present "SoDaCam" that provides reinterpretable cameras at the granularity of photons, from photon-cubes acquired by single-photon devices. Photon-cubes represent the spatio-temporal detections of photons as a sequence of binary frames, at frame-rates as high as 100 kHz. We show that simple transformations of the photon-cube, or photon-cube projections, provide the functionality of numerous imaging systems including: exposure bracketing, flutter shutter cameras, video compressive systems, event cameras, and even cameras that move during exposure. Our photon-cube projections offer the flexibility of being software-defined constructs that are only limited by what is computable, and shot-noise. We exploit this flexibility to provide new capabilities for the emulated cameras. As an added benefit, our projections provide camera-dependent compression of photon-cubes, which we demonstrate using an implementation of our projections on a novel compute architecture that is designed for single-photon imaging.


title: The low-LET radiation contribution to the tumor dose in diffusing alpha-emitters radiation therapy

abstract: Diffusing alpha-emitters Radiation Therapy (Alpha DaRT) enables the use of alpha particles for the treatment of solid tumors. It employs interstitial sources carrying a few uCi of Ra-224, designed to release its short-lived progeny, which emit alpha particles, beta, Auger, and conversion electrons, x- and gamma rays. These atoms diffuse around the source and create a lethal high-dose region, measuring a few mm in diameter. Previous studies focused on the alpha dose alone. This work addresses the electron and photon contributed by the diffusing atoms and by the atoms on the source surface, for both a single source and multi-source lattices. This allows to evaluate the low-LET contribution to the dose and demonstrate the sparing of surrounding healthy tissue. The dose is calculated using Monte Carlo codes. We compare the results of a simple line-source to those of a full simulation, which implements a realistic source geometry and the spread of the diffusing atoms. We consider two extreme scenarios: low diffusion and high Pb-212 leakage, and high diffusion and low leakage. The low-LET dose in source lattices is calculated by superposition of single-source contributions. We found that for sources carrying 3 uCi/cm Ra-224 arranged in a hexagonal lattice with 4 mm spacing, the minimal low-LET dose between sources is 18-30 Gy for the two scenarios and is dominated by the beta contribution. The low-LET dose drops below 5 Gy 3 mm away from the lattice. The accuracy of the line-source approximation is 15% for the total low-LET dose over clinically relevant distances (2-4 mm). For 3 uCi/cm Ra-224 sources, the contribution of the low-LET dose can reduce cell survival by up to 2-3 orders of magnitude. Increasing source activities by a factor of 5 can bring the low-LET dose to therapeutic levels leading to a self-boosted configuration, and potentially allowing to increase the lattice spacing.


title: The critical weighted inequalities of the spherical maximal function

abstract: Weighted inequality on the Hardy-Littlewood maximal function is completely understood while it is not well understood for the spherical maximal function. For the power weight $|x|^{\alpha}$, it is known that the spherical maximal operator on $\mathbb{R}^d$ is bounded on $L^p(|x|^{\alpha})$ only if $1-d\leq \alpha<(d-1)(p-1)-d$ and under this condition, it is known to be bounded except $\alpha=1-d$. In this paper, we prove the case of the critical order, $\alpha=1-d$.


title: Multistage DPG time-marching scheme for nonlinear problems

abstract: In this article, we employ the construction of the time-marching Discontinuous Petrov-Galerkin (DPG) scheme we developed for linear problems to derive high-order multistage DPG methods for non-linear systems of ordinary differential equations. The methodology extends to abstract evolution equations in Banach spaces, including a class of nonlinear partial differential equations. We present three nested multistage methods: the hybrid Euler method and the two- and three-stage DPG methods. We employ a linearization of the problem as in exponential Rosenbrock methods, so we need to compute exponential actions of the Jacobian that change from time steps. The key point of our construction is that one of the stages can be post-processed from another without an extra exponential step. Therefore, the class of methods we introduce is computationally cheaper than the classical exponential Rosenbrock methods. We provide a full convergence proof to show that the methods are second, third, and fourth-order accurate, respectively. We test the convergence in time of our methods on a 2D + time semi-linear partial differential equation after a semidiscretization in space.


title: A variational approach to a cumulative distribution function estimation problem under stochastic ambiguity

abstract: We propose a method for finding a cumulative distribution function (cdf) that minimizes the (regularized) distance to a given cdf, while belonging to an ambiguity set constructed relative to another cdf and, possibly, incorporating soft information. Our method embeds the family of cdfs onto the space of upper semicontinuous functions endowed with the hypo-distance. In this setting, we present an approximation scheme based on epi-splines, defined as piecewise polynomial functions, and use bounds for estimating the hypo-distance. Under appropriate hypotheses, we guarantee that the cluster points corresponding to the sequence of minimizers of the resulting approximating problems are solutions to a limiting problem. In addition, we describe a large class of functions that satisfy these hypotheses. The approximating method produces a linear-programming-based approximation scheme, enabling us to develop an algorithm from off-the-shelf solvers. The convergence of our proposed approximation is illustrated by numerical examples for the bivariate case, one of which entails a Lipschitz condition.


title: YaRN: Efficient Context Window Extension of Large Language Models

abstract: Rotary Position Embeddings (RoPE) have been shown to effectively encode positional information in transformer-based language models. However, these models fail to generalize past the sequence length they were trained on. We present YaRN (Yet another RoPE extensioN method), a compute-efficient method to extend the context window of such models, requiring 10x less tokens and 2.5x less training steps than previous methods. Using YaRN, we show that LLaMA models can effectively utilize and extrapolate to context lengths much longer than their original pre-training would allow, while also surpassing previous the state-of-the-art at context window extension. In addition, we demonstrate that YaRN exhibits the capability to extrapolate beyond the limited context of a fine-tuning dataset. The models fine-tuned using YaRN has been made available and reproduced online up to 128k context length at https://github.com/jquesnelle/yarn


title: Naturalness-motivated composite Higgs model for generating the top Yukawa coupling

abstract: The large top Yukawa coupling results in the top quark contributing significantly to the quantum correction of the Higgs mass term. Traditionally, this effect is canceled by the presence of top partners in symmetry-based models. However, the absence of light top partners poses a challenge to the Naturalness of these models. In this paper, we study a model based on composite Higgs with the top Yukawa coupling originating from dimension-six four-fermion operators. The low cutoff scale of the top quark loop required by the Naturalness principle can be realized with a light gauge boson $E_\mu$ which connects the hyperfermions and top quarks. A scalar-less dynamical model with weakly coupled extended $SU(4)_{EC}$ gauge group is presented. The model features an $E_\mu$ boson and a $Z'_E$ boson both at the sub-TeV scale, which lead to a rich phenomenology, especially in the top physics.


title: Diffusion Variational Autoencoder for Tackling Stochasticity in Multi-Step Regression Stock Price Prediction

abstract: Multi-step stock price prediction over a long-term horizon is crucial for forecasting its volatility, allowing financial institutions to price and hedge derivatives, and banks to quantify the risk in their trading books. Additionally, most financial regulators also require a liquidity horizon of several days for institutional investors to exit their risky assets, in order to not materially affect market prices. However, the task of multi-step stock price prediction is challenging, given the highly stochastic nature of stock data. Current solutions to tackle this problem are mostly designed for single-step, classification-based predictions, and are limited to low representation expressiveness. The problem also gets progressively harder with the introduction of the target price sequence, which also contains stochastic noise and reduces generalizability at test-time. To tackle these issues, we combine a deep hierarchical variational-autoencoder (VAE) and diffusion probabilistic techniques to do seq2seq stock prediction through a stochastic generative process. The hierarchical VAE allows us to learn the complex and low-level latent variables for stock prediction, while the diffusion probabilistic model trains the predictor to handle stock price stochasticity by progressively adding random noise to the stock data. Our Diffusion-VAE (D-Va) model is shown to outperform state-of-the-art solutions in terms of its prediction accuracy and variance. More importantly, the multi-step outputs can also allow us to form a stock portfolio over the prediction length. We demonstrate the effectiveness of our model outputs in the portfolio investment task through the Sharpe ratio metric and highlight the importance of dealing with different types of prediction uncertainties.


title: On the Safety of Connected Cruise Control: Analysis and Synthesis with Control Barrier Functions

abstract: Connected automated vehicles have shown great potential to improve the efficiency of transportation systems in terms of passenger comfort, fuel economy, stability of driving behavior and mitigation of traffic congestions. Yet, to deploy these vehicles and leverage their benefits, the underlying algorithms must ensure their safe operation. In this paper, we address the safety of connected cruise control strategies for longitudinal car following using control barrier function (CBF) theory. In particular, we consider various safety measures such as minimum distance, time headway and time to conflict, and provide a formal analysis of these measures through the lens of CBFs. Additionally, motivated by how stability charts facilitate stable controller design, we derive safety charts for existing connected cruise controllers to identify safe choices of controller parameters. Finally, we combine the analysis of safety measures and the corresponding stability charts to synthesize safety-critical connected cruise controllers using CBFs. We verify our theoretical results by numerical simulations.


title: Implications of an enhanced $B \to K \nu \bar \nu$ branching ratio

abstract: Rare decays mediated by $b \to s \nu \bar \nu$ transitions have been reported by the Belle II experiment. The branching ratio of the decay $B^+ \to K^+ \nu \bar \nu$ is found to be enhanced with respect to the standard model value. If taken at face value, the implications are profound: either lepton flavor universality is violated at the (multi)-TeV-scale, or light new physics is involved. This holds in general if $\mathcal{B}(B^+ \to K^+ \nu \bar \nu)$ exceeds $1.2 \cdot 10^{-5} \, (1.3 \cdot 10^{-5})$ at $1 \sigma$ ($2 \sigma$), which tightens with a decreasing upper limit on $\mathcal{B}(B \to K^*\nu \bar \nu)$, that is in reach of the Belle II experiment. In view of the strong constraints on electron-muon universality violation in $|\Delta b|=|\Delta s|=1$ processes, viable explanations are heavy, $(5-10)$-TeV tree-level new physics mediators that couple only to tau-flavors, or lepton flavor violating ones. In addition, couplings of similar size to both left- and right-handed quarks are generically required, implying non-minimal BSM sectors which are carefully balanced against flavor constraints. The decay $B_s^0 \to \text{invisibles}$ can shed light on whether new physics is light or heavy. In the former case, branching ratios can be as large as $10^{-5}$.


title: Thermodynamic optimization equalities in weak processes

abstract: Equalities are always a better option to be verified in an experiment than inequalities. In this work, for classical and isothermal processes, I provide thermodynamic equalities valid when the optimizations of macroscopic thermodynamic quantities are achieved in weak drivings. I illustrate their applicability by using them as a convergence criterion in the global optimization technique of genetic programming.


title: Governing accelerating Universe via newly reconstructed Hubble parameter by employing empirical data simulations

abstract: A new parametrization of the Hubble parameter is proposed to explore the issue of the cosmological landscape. The constraints on model parameters are derived through the Markov Chain Monte Carlo (MCMC) method by employing a comprehensive union of datasets such as 34 data points from cosmic chronometers (CC), 42 points from baryonic acoustic oscillations (BAO), a recently updated set of 1701 Pantheon$^+$ (P22) data points derived from Type Ia supernovae (SNeIa), and 162 data points from gamma-ray bursts (GRBs). Furthermore, the models are compared by using the Akaike Information Criterion (AIC) and Bayesian Information Criterion (BIC), so that a comparative assessment of model performance can be available. Additionally, we compare the Dainotti relation via Gaussian likelihood analysis versus new likelihoods and Calibration of the Dainotti relation through a model-independent method. The kinematic behavior of the models is also investigated by encompassing the transition from deceleration to acceleration and the evolution of the jerk parameter. From the analysis of the parametric models, it is strongly indicated that the Universe is currently undergoing an accelerated phase with diagnostics of the model validating the quintessence phase.


title: A New Division Algebra Representation of $E_6$

abstract: We construct the well-known decomposition of the Lie algebra $\mathfrak{e}_8$ into representations of $\mathfrak{e}_6\oplus\mathfrak{su}(3)$ using explicit matrix representations over pairs of division algebras. The minimal representation of $\mathfrak{e}_6$, namely the Albert algebra, is thus realized explicitly within $\mathfrak{e}_8$, with the action given by the matrix commutator in $\mathfrak{e}_8$, and with a natural parameterization using division algebras. Each resulting copy of the Albert algebra consists of anti-Hermitian matrices in $\mathfrak{e}_8$, labeled by imaginary (split) octonions. Our formalism naturally extends from the Lie algebra to the Lie group $E_6\subset E_8$.


title: On the Implicit Bias of Adam

abstract: In previous literature, backward error analysis was used to find ordinary differential equations (ODEs) approximating the gradient descent trajectory. It was found that finite step sizes implicitly regularize solutions because terms appearing in the ODEs penalize the two-norm of the loss gradients. We prove that the existence of similar implicit regularization in RMSProp and Adam depends on their hyperparameters and the training stage, but with a different "norm" involved: the corresponding ODE terms either penalize the (perturbed) one-norm of the loss gradients or, conversely, impede its reduction (the latter case being typical). We also conduct numerical experiments and discuss how the proven facts can influence generalization.


title: Locally Adaptive Shrinkage Priors for Trends and Breaks in Count Time Series

abstract: Non-stationary count time series characterized by features such as abrupt changes and fluctuations about the trend arise in many scientific domains including biophysics, ecology, energy, epidemiology, and social science domains. Current approaches for integer-valued time series lack the flexibility to capture local transient features while more flexible models for continuous data types are inadequate for universal applications to integer-valued responses such as settings with small counts. We present a modeling framework, the negative binomial Bayesian trend filter (NB-BTF), that offers an adaptive model-based solution to capturing multiscale features with valid integer-valued inference for trend filtering. The framework is a hierarchical Bayesian model with a dynamic global-local shrinkage process. The flexibility of the global-local process allows for the necessary local regularization while the temporal dependence induces a locally smooth trend. In simulation, the NB-BTF outperforms a number of alternative trend filtering methods. Then, we demonstrate the method on weekly power outage frequency in Massachusetts townships. Power outage frequency is characterized by a nominal low level with occasional spikes. These illustrations show the estimation of a smooth, non-stationary trend with adequate uncertainty quantification.


title: Few-shot Diagnosis of Chest x-rays Using an Ensemble of Random Discriminative Subspaces

abstract: Due to the scarcity of annotated data in the medical domain, few-shot learning may be useful for medical image analysis tasks. We design a few-shot learning method using an ensemble of random subspaces for the diagnosis of chest x-rays (CXRs). Our design is computationally efficient and almost 1.8 times faster than method that uses the popular truncated singular value decomposition (t-SVD) for subspace decomposition. The proposed method is trained by minimizing a novel loss function that helps create well-separated clusters of training data in discriminative subspaces. As a result, minimizing the loss maximizes the distance between the subspaces, making them discriminative and assisting in better classification. Experiments on large-scale publicly available CXR datasets yield promising results. Code for the project will be available at https://github.com/Few-shot-Learning-on-chest-x-ray/fsl_subspace.


title: RePo: Resilient Model-Based Reinforcement Learning by Regularizing Posterior Predictability

abstract: Visual model-based RL methods typically encode image observations into low-dimensional representations in a manner that does not eliminate redundant information. This leaves them susceptible to spurious variations -- changes in task-irrelevant components such as background distractors or lighting conditions. In this paper, we propose a visual model-based RL method that learns a latent representation resilient to such spurious variations. Our training objective encourages the representation to be maximally predictive of dynamics and reward, while constraining the information flow from the observation to the latent representation. We demonstrate that this objective significantly bolsters the resilience of visual model-based RL methods to visual distractors, allowing them to operate in dynamic environments. We then show that while the learned encoder is resilient to spirious variations, it is not invariant under significant distribution shift. To address this, we propose a simple reward-free alignment procedure that enables test time adaptation of the encoder. This allows for quick adaptation to widely differing environments without having to relearn the dynamics and policy. Our effort is a step towards making model-based RL a practical and useful tool for dynamic, diverse domains. We show its effectiveness in simulation benchmarks with significant spurious variations as well as a real-world egocentric navigation task with noisy TVs in the background. Videos and code at https://zchuning.github.io/repo-website/.


title: Learning the Effective Adhesive Properties of Heterogeneous Substrates

abstract: Adhesion is a fundamental phenomenon that plays a role in many engineering and biological applications. This paper concerns the use of machine learning to characterize the effective adhesive properties when a thin film is peeled from a heterogeneous substrate. There has been recent interest in the use of machine learning in multiscale modeling where macroscale constitutive relations are learnt from data gathered from repeated solution of the microscale problem. We extend this approach to peeling; this is challenging because peeling from heterogenous substrates is characterized by pinning where the peel front gets stuck at a heterogeneity followed by an abrupt depinning. This results in a heterogeneity dependent critical force and a singular peel force vs. overall peel rate relationship. We propose a neural architecture that is able to accurately predict both the critical peel force and the singular nature of the peel force vs. overall peel rate relationship from the heterogeneous adhesive pattern. Similar issues arise in other free boundary and free discontinuity problems, and the methods we develop are applicable in those contexts.


title: $p$-Skwarczy\'nski distance

abstract: We introduce a new distance on a domain $\Omega \subset \mathbb{C}^n$ using the `minimizer' functions on $A^p(\Omega)$. We discuss its invariance, completeness, and other aspects related to it.


title: A matching pursuit approach to the geophysical inverse problem of seismic travel time tomography under the ray theory approximation

abstract: Seismic travel time tomography is a geophysical imaging method to infer the 3-D interior structure of the solid Earth. Most commonly formulated as a linear(ized) inverse problem, it maps differences between observed and expected wave travel times to interior regions where waves propagate faster or slower than the expected average. The Earth's interior is typically parametrized by a single kind of localized basis function. Here we present an alternative approach that uses matching pursuits on large dictionaries of basis functions. Within the past decade the (Learning) Inverse Problem Matching Pursuits ((L)IPMPs) have been developed. They combine global and local trial functions. An approximation is built in a so-called best basis, chosen iteratively from an intentionally overcomplete set or dictionary. In each iteration, the choice for the next best basis element reduces the Tikhonov-Phillips functional. This is in contrast to classical methods that use either global or local basis functions. The LIPMPs have proven its applicability in inverse problems like the downward continuation of the gravitational potential as well as the MEG-/EEG-problem from medical imaging. Here, we remodel the Learning Regularized Functional Matching Pursuit (LRFMP), which is one of the LIPMPs, for travel time tomography in a ray theoretical setting. In particular, we introduce the operator, some possible trial functions and the regularization. We show a numerical proof of concept for artificial travel time delays obtained from a contrived model for velocity differences. The corresponding code is available at https://doi.org/10.5281/zenodo.8227888 under the licence CC-BY-NC-SA 3.0 DE.


title: Anomalous interactions between mesons with nonzero spin and glueballs

abstract: Topologically nontrivial fluctuations control the anomalous interactions for the $\eta$ and and $\eta \prime$ pseudoscalar mesons. We consider the anomalous interactions for mesons with higher spin, the heterochiral nonets with $J^{P C} = 1^{+ -}$ and $2^{- +}$. Under the approximation of a dilute gas of instantons, the mixing angle between non-strange and strange mesons decreases strongly as $J$ increases, and oscillates in sign. Anomalous interactions also open up new, rare decay channels. For glueballs, anomalous interactions indicate that the $X(2600)$ state is primarily gluonic.


title: Large language models in medicine: the potentials and pitfalls

abstract: Large language models (LLMs) have been applied to tasks in healthcare, ranging from medical exam questions to responding to patient questions. With increasing institutional partnerships between companies producing LLMs and healthcare systems, real world clinical application is coming closer to reality. As these models gain traction, it is essential for healthcare practitioners to understand what LLMs are, their development, their current and potential applications, and the associated pitfalls when utilized in medicine. This review and accompanying tutorial aim to give an overview of these topics to aid healthcare practitioners in understanding the rapidly changing landscape of LLMs as applied to medicine.


title: Deep Semi-Supervised Anomaly Detection for Finding Fraud in the Futures Market

abstract: Modern financial electronic exchanges are an exciting and fast-paced marketplace where billions of dollars change hands every day. They are also rife with manipulation and fraud. Detecting such activity is a major undertaking, which has historically been a job reserved exclusively for humans. Recently, more research and resources have been focused on automating these processes via machine learning and artificial intelligence. Fraud detection is overwhelmingly associated with the greater field of anomaly detection, which is usually performed via unsupervised learning techniques because of the lack of labeled data needed for supervised learning. However, a small quantity of labeled data does often exist. This research article aims to evaluate the efficacy of a deep semi-supervised anomaly detection technique, called Deep SAD, for detecting fraud in high-frequency financial data. We use exclusive proprietary limit order book data from the TMX exchange in Montr\'eal, with a small set of true labeled instances of fraud, to evaluate Deep SAD against its unsupervised predecessor. We show that incorporating a small amount of labeled data into an unsupervised anomaly detection framework can greatly improve its accuracy.


title: VERITAS and HAWC observations of unidentified source LHAASO J2108+5157

abstract: Understanding the complete nature of Galactic sources that accelerate cosmic rays up to $10^{15}$ eV energy (Galactic PeVatrons) is still an unsolved problem in high-energy astrophysics. Although supernova remnants have long been considered as the best candidates for Galactic PeVatrons, a clear association of SNRs with PeVatrons needs further exploration. Recently, the LHAASO collaboration published its first catalog of 90 very high energy (VHE) gamma-ray sources, and a few of them have no obvious counterparts at other wavelengths. Here, we will present morphology and spectral analysis of one such unassociated source LHAASO J2108+5157 using VERITAS and HAWC data.


title: Benford's Law under Zeckendorf expansion

abstract: In the literature, Benford's Law is considered for base-b expansions where b>1 is an integer. In this paper, we investigate the distribution of leading "digits" of a sequence of positive integers under other expansions such as Zeckendorf expansion, and declare what Benford's Law should be under generalized Zeckendorf expansion.


title: On the local aspect of valleytronics

abstract: Valley magnetic moments play a crucial role in valleytronics in 2D hexagonal materials. Traditionally, based on studies of quantum states in homogeneous bulks, it is widely believed that only materials with broken structural inversion symmetry can exhibit nonvanishing valley magnetic moments. Such constraint excludes from relevant applications those with inversion symmetry, as specifically exemplified by gapless monolayer graphene despite its technological advantage in routine growth and production. This work revisits valley-derived magnetic moments in a broad context covering inhomogeneous structures as well. It generalizes the notion of valley magnetic moment for a state from an integrated total quantity to the local field called "local valley magnetic moment" with space-varying distribution. In suitable inversion-symmetric structures with inhomogeneity, e.g., zigzag nanoribbons of gapless monolayer graphene, it is shown that the local moment of a state can be nonvanishing with sizable magnitude, while the corresponding total moment is subject to the broken symmetry constraint. Moreover, it is demonstrated that such local moment can interact with space-dependent electric and magnetic fields manifesting pronounced field effects and making possible a local valley control with external fields. Overall, a path to "local valleytronics" is illustrated which exploits local valley magnetic moments for device applications, relaxes the broken symmetry constraint on materials, and expands flexibility in the implementation of valleytronics.


title: Irredundant bases for the symmetric group

abstract: An irredundant base of a group $G$ acting faithfully on a finite set $\Gamma$ is a sequence of points in $\Gamma$ that produces a strictly descending chain of pointwise stabiliser subgroups in $G$, terminating at the trivial subgroup. Suppose that $G$ is $\operatorname{S}_n$ or $\operatorname{A}_n$ acting primitively on $\Gamma$, and that the point stabiliser is primitive in its natural action on $n$ points. We prove that the maximum size of an irredundant base of $G$ is $O\left(\sqrt{n}\right)$, and in most cases $O\left((\log n)^2\right)$. We also show that these bounds are best possible.


title: Boundary Control and Observer Design Via Backstepping for a Coupled Parabolic-Elliptic System

abstract: Stabilization of a coupled system consisting of a parabolic partial differential equation and an elliptic partial differential equation is considered. Even in the situation when the parabolic equation is exponentially stable on its own, the coupling between the two equations can cause instability in the overall system. A backstepping approach is used to derive a boundary control input that stabilizes the coupled system. The result is an explicit expression for the stabilizing control law. The second part of the paper involves the design of exponentially convergent observers to estimate the state of the coupled system, given some partial boundary measurements. The observation error system is shown to be exponentially stable, again by employing a backstepping method. This leads to the design of observer gains in closed-form. Finally, we address the output-feedback problem by combining the observers with the state feedback boundary control. The theoretical results are demonstrated with numerical simulations.


title: Thermoacoustic Instability Suppression and Heat-Release Forcing of a Laminar Flame Using Ionic Wind

abstract: Advancements in combustion technologies are often impeded by complex combustion dynamics. Active control has proven effective at mitigating these dynamics in the lab, but mass adoption requires more affordable, lightweight, and reliable actuators. Here, a new actuator concept is presented which utilizes sub-breakdown electric fields, the inherent plasma nature of flames, and the electrohydrodynamic effect to create flame stabilization points. These electrically controlled stabilization points allow variable distortion of a laminar flame and bidirectional forcing of the flame heat release. The electric field-based actuator is combined with a simple feedback controller to demonstrate suppression of a thermoacoustic instability. The instability sound pressure level was reduced by 27 dB and in less than 60 ms upon enabling the controller. The use of a sub breakdown electric field requires a mere 40 mW to stabilize a 3.4 kW thermal power flame. The absence of any moving parts and low electrical power required make this a promising actuator concept for many combustion applications.


title: Experimenting with ChatGPT for Spreadsheet Formula Generation: Evidence of Risk in AI Generated Spreadsheets

abstract: Large Language Models (LLM) have become sophisticated enough that complex computer programs can be created through interpretation of plain English sentences and implemented in a variety of modern languages such as Python, Java Script, C++ and Spreadsheets. These tools are powerful and relatively accurate and therefore provide broad access to computer programming regardless of the background or knowledge of the individual using them. This paper presents a series of experiments with ChatGPT to explore the tool's ability to produce valid spreadsheet formulae and related computational outputs in situations where ChatGPT has to deduce, infer and problem solve the answer. The results show that in certain circumstances, ChatGPT can produce correct spreadsheet formulae with correct reasoning, deduction and inference. However, when information is limited, uncertain or the problem is too complex, the accuracy of ChatGPT breaks down as does its ability to reason, infer and deduce. This can also result in false statements and "hallucinations" that all subvert the process of creating spreadsheet formulae.


title: AttrSeg: Open-Vocabulary Semantic Segmentation via Attribute Decomposition-Aggregation

abstract: Open-vocabulary semantic segmentation is a challenging task that requires segmenting novel object categories at inference time. Recent studies have explored vision-language pre-training to handle this task, but suffer from unrealistic assumptions in practical scenarios, i.e., low-quality textual category names. For example, this paradigm assumes that new textual categories will be accurately and completely provided, and exist in lexicons during pre-training. However, exceptions often happen when encountering ambiguity for brief or incomplete names, new words that are not present in the pre-trained lexicons, and difficult-to-describe categories for users. To address these issues, this work proposes a novel attribute decomposition-aggregation framework, AttrSeg, inspired by human cognition in understanding new concepts. Specifically, in the decomposition stage, we decouple class names into diverse attribute descriptions to complement semantic contexts from multiple perspectives. Two attribute construction strategies are designed: using large language models for common categories, and involving manually labeling for human-invented categories. In the aggregation stage, we group diverse attributes into an integrated global description, to form a discriminative classifier that distinguishes the target object from others. One hierarchical aggregation architecture is further proposed to achieve multi-level aggregations, leveraging the meticulously designed clustering module. The final results are obtained by computing the similarity between aggregated attributes and images embeddings. To evaluate the effectiveness, we annotate three types of datasets with attribute descriptions, and conduct extensive experiments and ablation studies. The results show the superior performance of attribute decomposition-aggregation.


title: Erd\H os--Ko--Rado type results for partitions via spread approximations

abstract: In this paper, we address several Erd\H os--Ko--Rado type questions for families of partitions. Two partitions of $[n]$ are $t$-intersecting if they share at least $t$ parts, and are partially $t$-intersecting if some of their parts intersect in at least $t$ elements. The question of what is the largest family of pairwise $t$-intersecting partitions was studied for several classes of partitions: Peter Erd\H os and Sz\'ekely studied partitions of $[n]$ into $\ell$ parts of unrestricted size; Ku and Renshaw studied unrestricted partitions of $[n]$; Meagher and Moura, and then Godsil and Meagher studied partitions into $\ell$ parts of equal size. We improve and generalize the results proved by these authors. Meagher and Moura, following the work of Erd\H os and Sz\'ekely, introduced the notion of partially $t$-intersecting partitions, and conjectured, what should be the largest partially $t$-intersecting family of partitions into $\ell$ parts of equal size $k$. In this paper, we prove their conjecture for all $t, k$ and $\ell$ sufficiently large. All our results are applications of the spread approximation technique, introduced by Zakharov and the author. In order to use it, we need to refine some of the theorems from their paper. As a byproduct, this makes the present paper a self-contained presentation of the spread approximation technique for $t$-intersecting problems.


title: Conformal Hypergraphs: Duality and Implications for the Upper Clique Transversal Problem

abstract: Given a hypergraph $\mathcal{H}$, the dual hypergraph of $\mathcal{H}$ is the hypergraph of all minimal transversals of $\mathcal{H}$. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner hypergraphs are the conformal Sperner hypergraphs, which correspond to the families of maximal cliques of graphs. All these notions play an important role in many fields of mathematics and computer science, including combinatorics, algebra, database theory, etc. In this paper we study conformality of dual hypergraphs and prove several results related to the problem of recognizing this property. In particular, we show that the problem is in co-NP and can be solved in polynomial time for hypergraphs of bounded dimension. In the special case of dimension $3$, we reduce the problem to $2$-Satisfiability. Our approach has an implication in algorithmic graph theory: we obtain a polynomial-time algorithm for recognizing graphs in which all minimal transversals of maximal cliques have size at most $k$, for any fixed $k$.


title: New insights into the laser-assisted photoelectric effect from solid-state surfaces

abstract: Photoemission from a solid surface provides a wealth of information about the electronic structure of the surface and its dynamic evolution. Ultrafast pump-probe experiments are particularly useful to study the dynamic interactions of photons with surfaces as well as the ensuing electron dynamics induced by these interactions. Time-resolved laser-assisted photoemission (tr-LAPE) from surfaces is a novel technique to gain deeper understanding of the fundamentals underlying the photoemission process. Here, we present the results of a femtosecond time-resolved soft X-ray photoelectron spectroscopy experiment on two different metal surfaces conducted at the X-ray Free-Electron Laser FLASH in Hamburg. We study photoemission from the W 4f and Pt 4f core levels using ultrashort soft X-ray pulses in combination with synchronized infrared (IR) laser pulses. When both pulses overlap in time and space, laser-assisted photoemission results in the formation of a series of sidebands that reflect the dynamics of the laser-surface interaction. We demonstrate a qualitatively new level of sideband generation up to the sixth order and a surprising material dependence of the number of sidebands that has so far not been predicted by theory. We provide a semi-quantitative explanation of this phenomenon based on the different dynamic dielectric responses of the two materials. Our results advance the understanding of the LAPE process and reveal new details of the IR field present in the surface region, which is determined by the dynamic interplay between the IR laser field and the dielectric response of the metal surfaces.


title: The maximum number of cycles in a triangular-grid billiards system with a given perimeter

abstract: Given a (simple) grid polygon $P$ in a grid of equilateral triangles, Defant and Jiradilok considered a billiards system where beams of light bounce around inside of $P$. We study the relationship between the perimeter $\operatorname{perim}(P)$ of $P$ and the number of different trajectories $\operatorname{cyc}(P)$ that the billiards system has. Resolving a conjecture of Defant and Jiradilok, we prove the sharp inequality $\operatorname{cyc}(P) \leq (\operatorname{perim}(P) + 2)/4$ and characterize the equality cases.


title: Manganese Dissolution in alkaline medium with and without concurrent oxygen evolution in LiMn$_2$O$_4$

abstract: Manganese dissolution during the oxygen evolution reaction (OER) has been a persistent challenge that impedes the practical implementation of Mn-based electrocatalysts including the LiMn$_x$O$_4$ system in aqueous alkaline electrolyte. The investigated LiMn$_2$O$_4$ particles exhibit two distinct Mn dissolution processes; one independent of OER and the other associated to OER. Combining the bulk sensitive X-ray absorption spectroscopy, surface sensitive X-ray photoelectron spectroscopy and electrochemical detection of Mn dissolution using rotating ring-disk electrode, we explore the less understood Mn dissolution mechanism during OER. We correlate near-surface oxidation with the charge attributed to dissolved Mn, which demonstrates increasing Mn dissolution with the formation of surface Mn4+ species under anodic potential. The observed stronger dissolution during the OER is attributed to the formation of additional Mn$^{4+}$ from Mn$^{3+}$ during OER. We show that control over the amount of Mn4+ in Li$_x$Mn2O$_4$ before the onset of the OER can partially mitigate the OER-triggered dissolution. Overall, our atomistic insights into the Mn dissolution processes are crucial for knowledge-guided mitigation of electrocatalyst degradation, which can be broadly extended to manganese-based oxide systems.


title: The LOFAR Two-Metre Sky Survey (LoTSS): VI. Optical identifications for the second data release

abstract: The second data release of the LOFAR Two-Metre Sky Survey (LoTSS) covers 27% of the northern sky, with a total area of $\sim 5,700$ deg$^2$. The high angular resolution of LOFAR with Dutch baselines (6 arcsec) allows us to carry out optical identifications of a large fraction of the detected radio sources without further radio followup; however, the process is made more challenging by the many extended radio sources found in LOFAR images as a result of its excellent sensitivity to extended structure. In this paper we present source associations and identifications for sources in the second data release based on optical and near-infrared data, using a combination of a likelihood-ratio cross-match method developed for our first data release, our citizen science project Radio Galaxy Zoo: LOFAR, and new approaches to algorithmic optical identification, together with extensive visual inspection by astronomers. We also present spectroscopic or photometric redshifts for a large fraction of the optical identifications. In total 4,116,934 radio sources lie in the area with good optical data, of which 85% have an optical or infrared identification and 58% have a good redshift estimate. We demonstrate the quality of the dataset by comparing it with earlier optically identified radio surveys. This is by far the largest ever optically identified radio catalogue, and will permit robust statistical studies of star-forming and radio-loud active galaxies.


title: Random Translates in Minkowski Sums

abstract: Suppose that $A$ and $B$ are sets in $\mathbb{R}^d$, and we form the sumset of $A$ with $n$ random points of $B$. Given the volumes of $A$ and $B$, how should we choose them to minimize the expected volume of this sumset? Our aim in this paper is to show that we should take $A$ and $B$ to be Euclidean balls. We also consider the analogous question in the torus $\mathbb{T}^d$, and we show that in this case the optimal choices of $A$ and $B$ are bands, in other words, sets of the form $[x,y]\times\mathbb{T}^{d-1}$. We also give stability versions of our results.


title: A Use Case-Engineering Resources Taxonomy for Analytical Spreadsheet Models

abstract: This paper presents a taxonomy for analytical spreadsheet models. It considers both the use case that a spreadsheet is meant to serve, and the engineering resources devoted to its development. We extend a previous three-type taxonomy, to identify nine types of spreadsheet models, that encompass the many analytical spreadsheet models seen in the literature. We connect disparate research literature to distinguish between an "analytical solution" and an "industrial-quality analytical spreadsheet model". We explore the nature of each of the nine types, propose definitions for some, relate them to the literature, and hypothesize on how they might arise. The taxonomy aids in identifying where various spreadsheet development guidelines are most useful, provides a lens for viewing spreadsheet errors and risk, and offers a structure for understanding how spreadsheets change over time. This taxonomy opens the door to many interesting research questions, including refinements to itself.


title: Enhanced weak superconductivity in trigonal $\gamma$-PtBi$_2$

abstract: Electrical resistivity experiments show superconductivity at $T_c = 1.1\,$K in a high-quality single crystal of trigonal $\gamma$-PtBi$_2$, with an enhanced critical magnetic field $\mu_0H_{c2}(0) \gtrsim 1.5\,$Tesla and a low critical current-density $J_c(0)\approx 40\,\mathrm{A}/\mathrm{cm}^2$ at $H=0$. Both $T_c$ and $H_{c2}(0)$ are the highest reported values for stoichiometric bulk samples at ambient pressure. We found a weak $H_{c2}$ anisotropy with $\Gamma=H_{c2}^{ab}/H_{c2}^{c} < 1$, which is unusual among superconductors. Under a magnetic field, the superconducting transition becomes broader and asymmetric. Along with the low critical currents, this observation suggests an inhomogeneous superconducting state. In fact, no trace of superconductivity is observed through field-cooling--zero-field-cooling magnetization experiments.


title: In-situ Thermophysical Measurement of Flowing Molten Chloride Salt Using Modulated Photothermal Radiometry

abstract: Molten salts are a leading candidate for high-temperature heat transfer fluids (HTFs) for thermal energy storage and conversion systems in concentrated solar power (CSP) and nuclear energy power plants. The ability to probe molten salt thermal transport properties in both stationary and flowing status is important for the evaluation of their heat transfer performance under realistic operational conditions, including the temperature range and potential degradation due to corrosion and contamination. However, accurate thermal transport properties are usually challenging to obtain even for stagnant molten salts due to different sources of errors from convection, radiation, and corrosion, let alone flowing ones. To the best of authors' knowledge, there is no available in-situ technique for measuring flowing molten salt thermal conductivity. Here, we report the first in-situ flowing molten salt thermal conductivity measurement using modulated photothermal radiometry (MPR). We could successfully perform the first in-situ thermal conductivity measurement of flowing molten $NaCl-KCl-MgCl_2$ in the typical operating temperature (520 and 580 $^oC$) with flow velocities ranging from around 0.3 to 1.0 $m$$s^-1$. The relative change of the molten salt thermal conductivity was measured. Gnielinski's correlation was also used to estimate the heat transfer coefficient h of the flowing $NaCl-KCl-MgCl_2$ in the given experimental condition. The work showed the potential of the MPR technique serving as an in-situ diagnostics tool to evaluate the heat transfer performance of flowing molten salts and other high-temperature HTFs.


title: Unsupervised evaluation of GAN sample quality: Introducing the TTJac Score

abstract: Evaluation metrics are essential for assessing the performance of generative models in image synthesis. However, existing metrics often involve high memory and time consumption as they compute the distance between generated samples and real data points. In our study, the new evaluation metric called the "TTJac score" is proposed to measure the fidelity of individual synthesized images in a data-free manner. The study first establishes a theoretical approach to directly evaluate the generated sample density. Then, a method incorporating feature extractors and discrete function approximation through tensor train is introduced to effectively assess the quality of generated samples. Furthermore, the study demonstrates that this new metric can be used to improve the fidelity-variability trade-off when applying the truncation trick. The experimental results of applying the proposed metric to StyleGAN 2 and StyleGAN 2 ADA models on FFHQ, AFHQ-Wild, LSUN-Cars, and LSUN-Horse datasets are presented. The code used in this research will be made publicly available online for the research community to access and utilize.


title: Laplacian-Former: Overcoming the Limitations of Vision Transformers in Local Texture Detection

abstract: Vision Transformer (ViT) models have demonstrated a breakthrough in a wide range of computer vision tasks. However, compared to the Convolutional Neural Network (CNN) models, it has been observed that the ViT models struggle to capture high-frequency components of images, which can limit their ability to detect local textures and edge information. As abnormalities in human tissue, such as tumors and lesions, may greatly vary in structure, texture, and shape, high-frequency information such as texture is crucial for effective semantic segmentation tasks. To address this limitation in ViT models, we propose a new technique, Laplacian-Former, that enhances the self-attention map by adaptively re-calibrating the frequency information in a Laplacian pyramid. More specifically, our proposed method utilizes a dual attention mechanism via efficient attention and frequency attention while the efficient attention mechanism reduces the complexity of self-attention to linear while producing the same output, selectively intensifying the contribution of shape and texture features. Furthermore, we introduce a novel efficient enhancement multi-scale bridge that effectively transfers spatial information from the encoder to the decoder while preserving the fundamental features. We demonstrate the efficacy of Laplacian-former on multi-organ and skin lesion segmentation tasks with +1.87\% and +0.76\% dice scores compared to SOTA approaches, respectively. Our implementation is publically available at https://github.com/mindflow-institue/Laplacian-Former


title: An extension of Lucas Theorem

abstract: We give elementary proofs of some congruence criteria to compute binomial coefficients in modulo a prime. These criteria are analogues to the symmetry property of binomial coefficients. We give extended version of Lucas Theorem by using those criteria. We give applications of these criteria by describing a method to derive identities and congruences involving sums of binomial coefficients.


title: Optical- & UV-Continuum Morphologies of Compact Radio Source Hosts

abstract: We present the first systematic search for UV signatures from radio source-driven AGN feedback in Compact Steep Spectrum (CSS) radio galaxies. Owing to their characteristic sub-galactic jets (1-20 kpc projected linear sizes), CSS hosts are excellent laboratories for probing galaxy scale feedback via jet-triggered star formation. The sample consists of 7 powerful CSS galaxies, and 2 galaxies host to radio sources >20 kpc as control, at low to intermediate redshifts (z<0.6). Our new HST images show extended UV continuum emission in 6/7 CSS galaxies; with 5 CSS hosts exhibiting UV knots co-spatial and aligned along the radio-jet axis. Young (<10 Myr), massive (>5 M$_\odot$) stellar populations are likely to be the dominant source of the blue excess emission in radio galaxies at these redshifts. Hence, the radio-aligned UV regions could be attributed to jet-induced starbursts. Lower near-UV SFRs compared to other indicators suggests low scattered AGN light contribution to the observed UV. Dust attenuation of UV emission appears unlikely from high internal extinction correction estimates in most sources. Comparison with evolutionary synthesis models shows that our observations are consistent with recent (~1-8 Myr old) star forming activity likely triggered by current or an earlier episode of radio emission, or by a confined radio source that has frustrated growth due to a dense environment. While follow-up spectroscopic and polarized light observations are needed to constrain the activity-related components in the observed UV, the detection of jet-induced star formation is a confirmation of an important prediction of the jet feedback paradigm.


title: Topological phase transition between composite-fermion and Pfaffian daughter states near {\nu} = 1/2 FQHS

abstract: $\nu$=1/2 is among the most enigmatic many-body phases in two-dimensional electron systems as it appears in the ground-state rather than an excited Landau level. It is observed in wide quantum wells where the electrons have a bilayer charge distribution with finite tunneling. Whether this 1/2 FQHS is two-component (Abelian) or one-component (non-Abelian) has been debated since its experimental discovery over 30 years ago. Here, we report strong 1/2 FQHSs in ultrahigh-quality, wide, GaAs quantum wells, with transport energy gaps up to $\simeq$4K, among the largest gaps reported for any even-denominator FQHS. The 1/2 FQHS is flanked by numerous, Jain-sequence FQHSs at $\nu$=$p$/(2$p$$\pm$1) up to $\nu$=8/17 and 9/17. Remarkably, as we raise the density and strengthen the 1/2 FQHS, the 8/17 and 7/13 FQHSs suddenly become strong, much stronger than their neighboring high-order FQHSs. Insofar as FQHSs at $\nu$=8/17 and 7/13 are precisely the theoretically-predicted, simplest, daughter states of the one-component Pfaffian 1/2 FQHS, our data suggest a topological phase-transition of 8/17 and 7/13 FQHSs from the Jain-states to the daughter states of the Pfaffian, and that the parent 1/2 FQHS we observe is the Pfaffian state.


title: DFT+DMFT study of the magnetic susceptibility and the correlated electronic structure in transition-metal intercalated NbS$_2$

abstract: The Co-intercalated NbS$_2$ (Co$_{1/3}$NbS$_2$) compound exhibits large anomalous Hall conductance, likely due to the non-coplanar magnetic ordering of Co spins. In this work, we study the relation between this novel magnetism and the correlated electronic structure of Co$_{1/3}$NbS$_2$ by adopting dynamical mean field theory (DMFT) to treat the correlation effect of Co $d$ orbitals. We find that the hole doping of Co$_{1/3}$NbS$_2$ can tune the size of the Nb hole pocket at the DMFT Fermi surface, producing features consistent with those observed in angle resolved photoemission spectra [Phys. Rev. B 105, L121102 (2022)]. We also compute the momentum-resolved spin susceptibility, and correlate it with the Fermi surface shape. We find that the magnetic ordering wavevector of Co$_{1/3}$NbS$_2$ obtained from the peak in spin susceptibility agrees with the one observed experimentally by neutron scattering; it is compatible with commensurate non-coplanar $3q$ spin structure. We also discuss how results change if some other than Co transition metal intercalations are used.


title: Geometric Endomorphisms of the Hesse moduli space of elliptic curves

abstract: We consider the geometric map $ \mathfrak C$, called Cayleyan, associating to a plane cubic $E$ the adjoint of its dual curve. We show that $ \mathfrak C$ and the classical Hessian map $ \mathfrak H$ generate a free semigroup. We begin the investigation of the geometry and dynamics of these maps, and of the geometrically special elliptic curves: these are the elliptic curves isomorphic to cubics in the Hesse pencil which are fixed by some endomorphism belonging to the semigroup $\mathcal W(\frak H, \frak C)$ generated by $ \frak H, \frak C$. We point out then how the dynamic behaviours of $ \mathfrak H$ and $ \mathfrak C$ differ drastically. Firstly, concerning the number of real periodic points: for $ \mathfrak H$ these are infinitely many, for $ \mathfrak C$ they are just $4$. Secondly, the Julia set of $ \mathfrak H$ is the whole projective line, unlike what happens for all elements of $\mathcal W (\frak H, \frak C)$ which are not iterates of $ \mathfrak H$.


title: Accurate Quality Elicitation in a Multi-Attribute Choice Setting

abstract: This paper studies how to accurately elicit quality for alternatives with multiple attributes. Two multiple price lists (MPLs) are considered: (i) m-MPL which asks subjects to compare an alternative to money, and (ii) p-MPL where subjects are endowed with money and asked whether they would like to buy an alternative or not. Theoretical results show that m-MPL requires fewer assumptions for accurate quality elicitation compared to p-MPL. Experimental evidence from a within-subject experiment using consumer products shows that switch points between the two MPLs are different, which suggests that quality measures are sensitive to the elicitation method.


title: Excel as a Turing-complete Functional Programming Environment

abstract: Since the calculation engine of Excel was the subject of a major upgrade to accommodate Dynamic Arrays in 2018 there has been a series of seismic changes to the art of building spreadsheet solutions. This paper will show the ad-hoc end user practices of traditional spreadsheets can be replaced by radically different approaches that have far more in common with formal programming. It is too early to guess the extent to which the new functionality will be adopted by the business and engineering communities and the impact that may have upon risk. Nevertheless, some trends are emerging from pioneering work within the Excel community which we will discuss here.


title: Testing the non-unitarity of the leptonic mixing matrix at FASER{\nu} and FASER{\nu}2

abstract: The FASER{\nu} experiment has detected the first neutrino events coming from LHC. Near future high-statistic neutrino samples will allow us to search for new physics within the neutrino sector. Motivated by the forthcoming promising FASER{\nu} neutrino data, and its succesor, FASER{\nu}2, we study its potential for testing the unitarity of the neutrino lepton mixing matrix. Although it would be challenging for FASER{\nu} and FASER{\nu}2 to have strong constraints on this kind of new physics, we discuss its role in contributing to a future improved global analysis.


title: Branch-and-bound for integer D-Optimality with fast local search and variable-bound tightening

abstract: We develop a branch-and-bound algorithm for the integer D-optimality problem, a central problem in statistical design theory, based on two convex relaxations, employing variable-bound tightening and fast local-search procedures, testing our ideas on randomly-generated test problems.


title: Signatures of Majorana Zero-Modes in an isolated one-dimensional superconductor

abstract: We examine properties of the mean-field wave function of the one-dimensional Kitaev model supporting Majorana Zero Modes (MZMs) \emph{when restricted} to a fixed number of particles. Such wave functions can in fact be realized as exact ground states of interacting number-conserving Hamiltonians and amount to a more realistic description of the finite isolated superconductors. Akin to their mean-field parent, the fixed-number wave functions encode a single electron spectral function at zero energy that decays exponentially away from the edges, with a localization length that agrees with the mean-field value. Based purely on the structure of the number-projected ground states, we construct the fixed particle number generalization of the MZM operators. They can be used to compute the edge tunneling conductance; however, notably the value of the zero-bias conductance remains the same as in the mean-field case, quantized to $2e^2/h$. We also compute the topological entanglement entropy for the number-projected wave functions and find that it contains a `robust' $\log(2)$ component as well as a logarithmic correction to the mean field result, which depends on the precise partitioning used to compute it. The presence of the logarithmic term in the entanglement entropy indicates the absence of a spectral gap above the ground state; as one introduces fluctuations in the number of particles, the correction vanishes smoothly.


title: QuCAT: A Combinatorial Testing Tool for Quantum Software

abstract: With the increased developments in quantum computing, the availability of systematic and automatic testing approaches for quantum programs is becoming increasingly essential. To this end, we present the quantum software testing tool QuCAT for combinatorial testing of quantum programs. QuCAT provides two functionalities of use. With the first functionality, the tool generates a test suite of a given strength (e.g., pair-wise). With the second functionality, it generates test suites with increasing strength until a failure is triggered or a maximum strength is reached. QuCAT uses two test oracles to check the correctness of test outputs. We assess the cost and effectiveness of QuCAT with 3 faulty versions of 5 quantum programs. Results show that combinatorial test suites with a low strength can find faults with limited cost, while a higher strength performs better to trigger some difficult faults with relatively higher cost. Repository: https://github.com/Simula-COMPLEX/qucat-tool Video: https://youtu.be/UsqgOudKLio


title: ChatGPT and Excel -- trust, but verify

abstract: This paper adopts a critical approach to ChatGPT, showing how its huge reach makes it a useful tool for people with simple requirements but a bad, even misleading guide to those with more complex problems which are more rarely present in the training data and even more rarely have straightforward solutions. It works through four exercises in creating lookup formulas using chatbots, showing the need to test the offered solutions. They are a simple lookup, a lookup to the left, a match of two values at the same time, and intentionally confusing the models by using common language with technical meaning in Excel. It concludes with a practical guide for how to add an Excelscript button, with system and user prompts, to the ChatGPT API into the Excel desktop environment, supported by a blog post giving the technical details for those interested.


title: Beyond Self-Attention: Deformable Large Kernel Attention for Medical Image Segmentation

abstract: Medical image segmentation has seen significant improvements with transformer models, which excel in grasping far-reaching contexts and global contextual information. However, the increasing computational demands of these models, proportional to the squared token count, limit their depth and resolution capabilities. Most current methods process D volumetric image data slice-by-slice (called pseudo 3D), missing crucial inter-slice information and thus reducing the model's overall performance. To address these challenges, we introduce the concept of \textbf{Deformable Large Kernel Attention (D-LKA Attention)}, a streamlined attention mechanism employing large convolution kernels to fully appreciate volumetric context. This mechanism operates within a receptive field akin to self-attention while sidestepping the computational overhead. Additionally, our proposed attention mechanism benefits from deformable convolutions to flexibly warp the sampling grid, enabling the model to adapt appropriately to diverse data patterns. We designed both 2D and 3D adaptations of the D-LKA Attention, with the latter excelling in cross-depth data understanding. Together, these components shape our novel hierarchical Vision Transformer architecture, the \textit{D-LKA Net}. Evaluations of our model against leading methods on popular medical segmentation datasets (Synapse, NIH Pancreas, and Skin lesion) demonstrate its superior performance. Our code implementation is publicly available at the: https://github.com/mindflow-institue/deformableLKA


title: Conformation and dynamics of partially active linear polymers

abstract: We perform numerical simulations of isolated, partially active polymers, driven out-of-equilibrium by a fraction of their monomers. We show that, if the active beads are all gathered in a contiguous block, the position of the section along the chain determines the conformational and dynamical properties of the system. Notably, one can modulate the diffusion coefficient of the polymer from {active-like to passive-like} just by changing the position of the active block. Further, in special cases, enhancement of diffusion can be achieved by decreasing the overall polymer activity. Our findings may help in the modelization of active biophysical systems, such as filamentous bacteria or worms.


title: Segmenta\c{c}\~ao e contagem de troncos de madeira utilizando deep learning e processamento de imagens

abstract: Counting objects in images is a pattern recognition problem that focuses on identifying an element to determine its incidence and is approached in the literature as Visual Object Counting (VOC). In this work, we propose a methodology to count wood logs. First, wood logs are segmented from the image background. This first segmentation step is obtained using the Pix2Pix framework that implements Conditional Generative Adversarial Networks (CGANs). Second, the clusters are counted using Connected Components. The average accuracy of the segmentation exceeds 89% while the average amount of wood logs identified based on total accounted is over 97%.


title: Large-Scale Geometry of Pure Mapping Class Groups of Infinite-Type Surfaces

abstract: The work of Mann and Rafi gives a classification surfaces $\Sigma$ when $\textrm{Map}(\Sigma)$ is globally CB, locally CB, and CB generated under the technical assumption of tameness. In this article, we restrict our study to the pure mapping class group and give a complete classification without additional assumptions. In stark contrast with the rich class of examples of Mann--Rafi, we prove that $\textrm{PMap}(\Sigma)$ is globally CB if and only if $\Sigma$ is the Loch Ness monster surface, and locally CB or CB generated if and only if $\Sigma$ has finitely many ends and is not a Loch Ness monster surface with (nonzero) punctures.


title: Pure Differential Privacy for Functional Summaries via a Laplace-like Process

abstract: Many existing mechanisms to achieve differential privacy (DP) on infinite-dimensional functional summaries often involve embedding these summaries into finite-dimensional subspaces and applying traditional DP techniques. Such mechanisms generally treat each dimension uniformly and struggle with complex, structured summaries. This work introduces a novel mechanism for DP functional summary release: the Independent Component Laplace Process (ICLP) mechanism. This mechanism treats the summaries of interest as truly infinite-dimensional objects, thereby addressing several limitations of existing mechanisms. We establish the feasibility of the proposed mechanism in multiple function spaces. Several statistical estimation problems are considered, and we demonstrate one can enhance the utility of sanitized summaries by oversmoothing their non-private counterpart. Numerical experiments on synthetic and real datasets demonstrate the efficacy of the proposed mechanism.


title: QS-TTS: Towards Semi-Supervised Text-to-Speech Synthesis via Vector-Quantized Self-Supervised Speech Representation Learning

abstract: This paper proposes a novel semi-supervised TTS framework, QS-TTS, to improve TTS quality with lower supervised data requirements via Vector-Quantized Self-Supervised Speech Representation Learning (VQ-S3RL) utilizing more unlabeled speech audio. This framework comprises two VQ-S3R learners: first, the principal learner aims to provide a generative Multi-Stage Multi-Codebook (MSMC) VQ-S3R via the MSMC-VQ-GAN combined with the contrastive S3RL, while decoding it back to the high-quality audio; then, the associate learner further abstracts the MSMC representation into a highly-compact VQ representation through a VQ-VAE. These two generative VQ-S3R learners provide profitable speech representations and pre-trained models for TTS, significantly improving synthesis quality with the lower requirement for supervised data. QS-TTS is evaluated comprehensively under various scenarios via subjective and objective tests in experiments. The results powerfully demonstrate the superior performance of QS-TTS, winning the highest MOS over supervised or semi-supervised baseline TTS approaches, especially in low-resource scenarios. Moreover, comparing various speech representations and transfer learning methods in TTS further validates the notable improvement of the proposed VQ-S3RL to TTS, showing the best audio quality and intelligibility metrics. The trend of slower decay in the synthesis quality of QS-TTS with decreasing supervised data further highlights its lower requirements for supervised data, indicating its great potential in low-resource scenarios.


title: FTA: Stealthy and Adaptive Backdoor Attack with Flexible Triggers on Federated Learning

abstract: Current backdoor attacks against federated learning (FL) strongly rely on universal triggers or semantic patterns, which can be easily detected and filtered by certain defense mechanisms such as norm clipping, comparing parameter divergences among local updates. In this work, we propose a new stealthy and robust backdoor attack with flexible triggers against FL defenses. To achieve this, we build a generative trigger function that can learn to manipulate the benign samples with an imperceptible flexible trigger pattern and simultaneously make the trigger pattern include the most significant hidden features of the attacker-chosen label. Moreover, our trigger generator can keep learning and adapt across different rounds, allowing it to adjust to changes in the global model. By filling the distinguishable difference (the mapping between the trigger pattern and target label), we make our attack naturally stealthy. Extensive experiments on real-world datasets verify the effectiveness and stealthiness of our attack compared to prior attacks on decentralized learning framework with eight well-studied defenses.


title: Multiple tubular excisions and large Steklov eigenvalues

abstract: Given a closed Riemannian manifold $M$ and $b\geq2$ closed connected submanifolds $N_j\subset M$ of codimension at least $2$, we prove that the first non-zero eigenvalue of the domain $\Omega_\varepsilon\subset M$ obtained by removing the tubular neighbourhood of size $\varepsilon$ around each $N_j$ tends to infinity as $\varepsilon$ tends to $0$. More precisely, we prove a lower bound in terms of $\varepsilon$, $b$, the geometry of $M$ and the codimensions and the volumes of the submanifolds and an upper bound in terms of $\varepsilon$ and the codimensions of the submanifolds. For eigenvalues of index $k=b\,,b+1\,,\ldots$, we have a stronger result: their order of divergence is $\varepsilon^{-1}$ and their rate of divergence is only depending on $m$ and on the codimensions of the submanifolds.


title: Sound in a Bubbly Hybrid Neutron Star

abstract: Increasingly precise astrophysical observations of the last decade in combination with intense theoretical studies allow for drawing a conclusion about potential Quark Matter presence in Neutron Stars interiors. Quark Matter may form the Neutron Star inner core or be immersed in the form of bubbles, or droplets. We consider the second scenario and demonstrate that even a small fraction of quark matter bubbles can lead to a high nonlinearity of the sound wave. Below the bubble resonant frequency the sound speed is lower than the ambient value. At the resonance it sharply grows. The peak is constrained by viscous dissipation. Above the resonance the speed exceeds the pure neutron star matter value. The dispersion equation for the bubbly neutron star compressibility is derived.


title: Missing digits points near manifolds

abstract: We consider a problem concerning the distribution of points with missing digits coordinates that are close to non-degenerate analytic submanifolds. We show that large enough (to be specified in the paper) sets of points with missing digits coordinates distribute 'equally' around non-degenerate submanifolds. As a consequence, we show that intersecting those missing digits sets with non-degenerate submanifolds always achieve the optimal dimension reduction. On the other hand, we also prove that there is no lack of points with missing digits that are contained in non-degenerate submanifolds. Among the other results, 1. we prove that the pinned distance sets of those missing digits sets contain non-trivial intervals regardless of where the pin is. 2. we prove that for each $\epsilon>0,$ for missing digits sets $K$ with large bases, simple digit sets (to be specified in the paper), and $\dim_{H} K>3/4+\epsilon,$ the arithmetic product sets $K\cdot K$ contains non-trivial intervals.


title: Effects of data distribution and granularity on color semantics for colormap data visualizations

abstract: To create effective data visualizations, it helps to represent data using visual features in intuitive ways. When visualization designs match observer expectations, visualizations are easier to interpret. Prior work suggests that several factors influence such expectations. For example, the dark-is-more bias leads observers to infer that darker colors map to larger quantities, and the opaque-is-more bias leads them to infer that regions appearing more opaque (given the background color) map to larger quantities. Previous work suggested that the background color only plays a role if visualizations appear to vary in opacity. The present study challenges this claim. We hypothesized that the background color modulate inferred mappings for colormaps that should not appear to vary in opacity (by previous measures) if the visualization appeared to have a "hole" that revealed the background behind the map (hole hypothesis). We found that spatial aspects of the map contributed to inferred mappings, though the effects were inconsistent with the hole hypothesis. Our work raises new questions about how spatial distributions of data influence color semantics in colormap data visualizations.


title: When a complementarity in the neutrino and the quark mixing meets a parameter symmetry and its implications to the unitarity

abstract: We present a self-complementarity that complements relationship among the parameters in the neutrino and the quark mixing matrix and address its implications to the unitarity of the quark mixing matrix and the mixing between the neutrino and the quark sector. First, we show how a complementarity with a phase being introduced as an extra parameter can be held in the nine independent schemes of parameterizing the matrix introducing a discrete parameter symmetry and a combination of sine functions, a part of Jarlskog invariant, with a certain size of uncertainty and use them. After that, for the first time, we show that we can use the uncertainty associated with the complementarity as an empirical constraint complementing that among the diagonal elements in the neutrino mixing matrix and our result shows one that is comparable to that was reported before. We do the same for the quark sector and then we discuss its implication in relation to the size of the uncertainty among the elements. Our study indicates that we may need to be more cautious when testing for the unitarity of the quark mixing matrix and opens up a possibility of estimating the size of mixing between the two sectors.


title: Distraction-free Embeddings for Robust VQA

abstract: The generation of effective latent representations and their subsequent refinement to incorporate precise information is an essential prerequisite for Vision-Language Understanding (VLU) tasks such as Video Question Answering (VQA). However, most existing methods for VLU focus on sparsely sampling or fine-graining the input information (e.g., sampling a sparse set of frames or text tokens), or adding external knowledge. We present a novel "DRAX: Distraction Removal and Attended Cross-Alignment" method to rid our cross-modal representations of distractors in the latent space. We do not exclusively confine the perception of any input information from various modalities but instead use an attention-guided distraction removal method to increase focus on task-relevant information in latent embeddings. DRAX also ensures semantic alignment of embeddings during cross-modal fusions. We evaluate our approach on a challenging benchmark (SUTD-TrafficQA dataset), testing the framework's abilities for feature and event queries, temporal relation understanding, forecasting, hypothesis, and causal analysis through extensive experiments.


title: Visual-Guided Mesh Repair

abstract: Mesh repair is a long-standing challenge in computer graphics and related fields. Converting defective meshes into watertight manifold meshes can greatly benefit downstream applications such as geometric processing, simulation, fabrication, learning, and synthesis. In this work, we first introduce three visual measures for visibility, orientation, and openness, based on ray-tracing. We then present a novel mesh repair framework that incorporates visual measures with several critical steps, i.e., open surface closing, face reorientation, and global optimization, to effectively repair defective meshes, including gaps, holes, self-intersections, degenerate elements, and inconsistent orientations. Our method reduces unnecessary mesh complexity without compromising geometric accuracy or visual quality while preserving input attributes such as UV coordinates for rendering. We evaluate our approach on hundreds of models randomly selected from ShapeNet and Thingi10K, demonstrating its effectiveness and robustness compared to existing approaches.


title: Construction Grammar and Artificial Intelligence

abstract: In this chapter, we argue that it is highly beneficial for the contemporary construction grammarian to have a thorough understanding of the strong relationship between the research fields of construction grammar and artificial intelligence. We start by unravelling the historical links between the two fields, showing that their relationship is rooted in a common attitude towards human communication and language. We then discuss the first direction of influence, focussing in particular on how insights and techniques from the field of artificial intelligence play an important role in operationalising, validating and scaling constructionist approaches to language. We then proceed to the second direction of influence, highlighting the relevance of construction grammar insights and analyses to the artificial intelligence endeavour of building truly intelligent agents. We support our case with a variety of illustrative examples and conclude that the further elaboration of this relationship will play a key role in shaping the future of the field of construction grammar.


title: Predicting Financial Market Trends using Time Series Analysis and Natural Language Processing

abstract: Forecasting financial market trends through time series analysis and natural language processing poses a complex and demanding undertaking, owing to the numerous variables that can influence stock prices. These variables encompass a spectrum of economic and political occurrences, as well as prevailing public attitudes. Recent research has indicated that the expression of public sentiments on social media platforms such as Twitter may have a noteworthy impact on the determination of stock prices. The objective of this study was to assess the viability of Twitter sentiments as a tool for predicting stock prices of major corporations such as Tesla, Apple. Our study has revealed a robust association between the emotions conveyed in tweets and fluctuations in stock prices. Our findings indicate that positivity, negativity, and subjectivity are the primary determinants of fluctuations in stock prices. The data was analyzed utilizing the Long-Short Term Memory neural network (LSTM) model, which is currently recognized as the leading methodology for predicting stock prices by incorporating Twitter sentiments and historical stock prices data. The models utilized in our study demonstrated a high degree of reliability and yielded precise outcomes for the designated corporations. In summary, this research emphasizes the significance of incorporating public opinions into the prediction of stock prices. The application of Time Series Analysis and Natural Language Processing methodologies can yield significant scientific findings regarding financial market patterns, thereby facilitating informed decision-making among investors. The results of our study indicate that the utilization of Twitter sentiments can serve as a potent instrument for forecasting stock prices, and ought to be factored in when formulating investment strategies.


title: Wall-bounded periodic snap-through and contact of a buckled sheet

abstract: Fluid flow passing a post-buckled sheet placed between two close confining walls induces periodic snap-through oscillations and contacts that can be employed for triboelectric energy harvesting. The responses of a two-dimensional sheet to a uniform flow and wall confinement in both equilibrium and post-equilibrium states are numerically investigated by varying the distance between the two ends of the sheet, gap distance between the confining walls, and flow velocity. Cases with strong interactions between the sheet and walls are of most interest for examining how contact with the walls affects the dynamics of the sheet and flow structure. At equilibrium, contact with the wall displaces the sheet to form a nadir on its front part, yielding a lower critical flow velocity for the transition to snap-through oscillations. However, reducing the gap distance between the walls below a certain threshold distinctly shifts the shape of the sheet, alters pressure distribution, and eventually leads to a notable delay in the instability. The contact between the oscillating sheet and the walls at post-equilibrium is divided into several distinct modes, changing from sliding/rolling contact to bouncing contact with increasing flow velocity. During this transition, the time-averaged contact force exerted on the sheet decreases with the flow velocity. The vortices generated at the extrema of the oscillating sheet are annihilated by direct contact with the walls and merging with the shear layers formed by the walls, resulting in a wake structure dominated by the unstable shear layers.