title: Probing the Supersymmetry-Mass Scale With F-term Hybrid Inflation

abstract: We consider F-term hybrid inflation and supersymmetry breaking in the context of a model which largely respects a global U(1) R symmetry. The Kaehler potential parameterizes the Kaehler manifold with an enhanced U(1)x(SU(1,1)/U(1)) symmetry, where the scalar curvature of the second factor is determined by the achievement of a supersymmetry-breaking de Sitter vacuum without ugly tuning. The magnitude of the emergent soft tadpole term for the inflaton can be adjusted in the range (1.2-460) TeV -- increasing with the dimensionality of the representation of the waterfall fields -- so that the inflationary observables are in agreement with the observational requirements. The mass scale of the supersymmetric partners turns out to lie in the region (0.09-253) PeV which is compatible with high-scale supersymmetry and the results of LHC on the Higgs boson mass. The mu parameter can be generated by conveniently applying the Giudice-Masiero mechanism and assures the out-of-equilibrium decay of the R saxion at a low reheat temperature Trh<~163 GeV.


title: Speech Emotion Recognition with Distilled Prosodic and Linguistic Affect Representations

abstract: We propose EmoDistill, a novel speech emotion recognition (SER) framework that leverages cross-modal knowledge distillation during training to learn strong linguistic and prosodic representations of emotion from speech. During inference, our method only uses a stream of speech signals to perform unimodal SER thus reducing computation overhead and avoiding run-time transcription and prosodic feature extraction errors. During training, our method distills information at both embedding and logit levels from a pair of pre-trained Prosodic and Linguistic teachers that are fine-tuned for SER. Experiments on the IEMOCAP benchmark demonstrate that our method outperforms other unimodal and multimodal techniques by a considerable margin, and achieves state-of-the-art performance of 77.49% unweighted accuracy and 78.91% weighted accuracy. Detailed ablation studies demonstrate the impact of each component of our method.


title: A Stiff Pre-CMB Era with a Mildly Blue-tilted Tensor Inflationary Era can Explain the 2023 NANOGrav Signal

abstract: We examine the effects of a stiff pre-recombination era on the present day's energy spectrum of the primordial gravitational waves. If the background total equation of state parameter at the pre-recombination era is described by a kination era one, this directly affects the modes with characteristic wavenumbers which reenter the Hubble horizon during this stiff era. The stiff era causes a broken-power-law effect on the energy spectrum of the gravitational waves. We use two approaches, one model agnostic and a specific model that can realize this scenario. In all cases, the inflationary era can be realized either by some theory leading to a standard red-tilted tensor spectral index or by some theory which has a mild tensor spectral index $n_{\mathcal{T}}=0.17-0.37$ like an Einstein-Gauss-Bonnet theory. For the model agnostic scenario case, the NANOGrav signal can be explained by the stiff pre-recombination era combined with an inflationary era with a mild blue-tilted tensor spectral index $n_{\mathcal{T}}=0.37$ and a low-reheating temperature $T_R\sim 0.1$GeV. In the same case, the red-tilted inflationary theory signal can be detectable by the future LISA, BBO and DECIGO experiments. The model dependent approach is based on a Higgs-axion model which can yield multiple deformations of the background total equation of state parameter, causing multiple broken-power-law behaviors occurring in various eras before and after the recombination era. In this case, the NANOGrav signal is explained by this model in conjunction with an inflationary era with a really mild blue-tilted tensor spectral index $n_{\mathcal{T}}=0.17$ and a low-reheating temperature $T_R\sim 20\,$GeV. In this case, the signal can be detectable by the future Litebird experiment, which is a very characteristic pattern in the tail of the primordial gravitational wave energy spectrum.


title: Leaf: Modularity for Temporary Sharing in Separation Logic (Extended Version)

abstract: In concurrent verification, separation logic provides a strong story for handling both resources that are owned exclusively and resources that are shared persistently (i.e., forever). However, the situation is more complicated for temporarily shared state, where state might be shared and then later reclaimed as exclusive. We believe that a framework for temporarily-shared state should meet two key goals not adequately met by existing techniques. One, it should allow and encourage users to verify new sharing strategies. Two, it should provide an abstraction where users manipulate shared state in a way agnostic to the means with which it is shared. We present Leaf, a library in the Iris separation logic which accomplishes both of these goals by introducing a novel operator, which we call guarding, that allows one proposition to represent a shared version of another. We demonstrate that Leaf meets these two goals through a modular case study: we verify a reader-writer lock that supports shared state, and a hash table built on top of it that uses shared state.


title: Inverse problem for fractional order subdiffusion equation

abstract: The study examines the inverse problem of finding the appropriate right-hand side for the subdiffusion equation with the Caputo fractional derivative in a Hilbert space represented by $H$. The right-hand side of the equation has the form $g(t)f$ and an element $f\in H$ is unknown. If the sign of $g(t)$ is a constant, then the existence and uniqueness of the solution is proved. When $g(t)$ changes sign, then in some cases, the existence and uniqueness of the solution is proved, in other cases, we found the necessary and sufficient condition for a solution to exist. Obviously, we need an extra condition to solve this inverse problem. We take the additional condition in the form $\int\limits_0^Tu(t)dt=\psi$. Here $\psi $ is a given element, of $H$.


title: Level-crossings reveal organized coherent structures in a turbulent time series

abstract: In turbulent flows, energy production is associated with highly organized structures, known as coherent structures. Since these structures are three-dimensional, their detection remains challenging in the most common situation, when single-point temporal measurements are considered. While previous research on coherent structure detection from time series employs a thresholding approach, the thresholds are ad-hoc and vary significantly from one study to another. To eliminate this subjective bias, we introduce the level-crossing method and show how specific features of a turbulent time series associated with coherent structures can be objectively identified, without assigning a prior any arbitrary threshold. By using two wall-bounded turbulence time series datasets, we successfully extract through level-crossing analysis the impacts of coherent structures on turbulent dynamics, and therefore, open an alternative avenue in experimental turbulence research. By utilizing this framework further we identify a new metric, characterized by a statistical asymmetry between peaks and troughs of a turbulent signal, to quantify inner-outer interaction in wall turbulence. Moreover, a connection is established between extreme value statistics and level-crossing analysis, thereby allowing additional possibilities to study extreme events in other dynamical systems.


title: HI Rich but Low Star Formation galaxies in MaNGA: Physical Properties and Comparison to Control Samples

abstract: Gas rich galaxies are typically star-forming. We make use of HI-MaNGA, a program of HI follow-up for the Mapping Nearby Galaxies at Apache Point Observatory (MaNGA) survey of the Sloan Digital Sky Surveys to construct a sample of unusual neutral hydrogen (HI, 21cm) rich galaxies which have low Star Formation Rates (SFRs); using infra-red color from the Wide-field Infrared Survey Explorer (WISE) as a proxy for specific SFR. Out of a set of 1575 MaNGA galaxies with HI-MaNGA detections, we find 83 (5%) meet our selection criteria to be HI rich with low SFR. We construct two stellar mass-matched control samples: HI rich galaxies with typical SFR (High SF Control) and HI poor galaxies with low SFR (Low HI Control). We investigate the properties of each of these samples, comparing physical parameters such as ionization state maps, stellar and ionized gas velocity and dispersion, environment measures, metallicity, and morphology to search for the reasons why these unusual HI rich galaxies are not forming stars. We find evidence for recent external accretion of gas in some galaxies (via high counter-rotating fractions), along with some evidence for AGN feedback (from a high cLIER and/or red geyser fraction), and bar quenching (via an enhanced strong bar fraction). Some galaxies in the sample are consistent with simply having their HI in a high angular momentum, large radius, low density disc. We conclude that no single physical process can explain all HI rich, low SFR galaxies.


title: Anisotropic neutron star crust, solar system mountains, and gravitational waves

abstract: Mountains or non-axisymmetric deformations of rotating neutron stars (NS) efficiently radiate gravitational waves (GW). We consider analogies between NS mountains and surface features of solar system bodies. Both NS and moons such as Europa or Enceladus have thin crusts over deep oceans while Mercury has a thin crust over a large metallic core. Thin sheets may wrinkle in universal ways. Europa has linear features, Enceladus has ``Tiger" stripes, and Mercury has lobate scarps. NS may have analogous features. The innermost inner core of the Earth is anisotropic with a shear modulus that depends on direction. If NS crust material is also anisotropic this will produce an ellipticity, when the crust is stressed, that grows with spin frequency. This yields a breaking index (log derivative of spin down rate) very different from $n=5$ and could explain the maximum spin observed for neutron stars and a possible minimum ellipticity of millisecond pulsars.


title: AmbientFlow: Invertible generative models from incomplete, noisy measurements

abstract: Generative models have gained popularity for their potential applications in imaging science, such as image reconstruction, posterior sampling and data sharing. Flow-based generative models are particularly attractive due to their ability to tractably provide exact density estimates along with fast, inexpensive and diverse samples. Training such models, however, requires a large, high quality dataset of objects. In applications such as computed imaging, it is often difficult to acquire such data due to requirements such as long acquisition time or high radiation dose, while acquiring noisy or partially observed measurements of these objects is more feasible. In this work, we propose AmbientFlow, a framework for learning flow-based generative models directly from noisy and incomplete data. Using variational Bayesian methods, a novel framework for establishing flow-based generative models from noisy, incomplete data is proposed. Extensive numerical studies demonstrate the effectiveness of AmbientFlow in learning the object distribution. The utility of AmbientFlow in a downstream inference task of image reconstruction is demonstrated.


title: Semilinear degenerate elliptic equation in the presence of singular nonlinearity

abstract: Given $\Omega(\subseteq\;R^{1+m})$, a smooth bounded domain and a nonnegative measurable function $f$ defined on $\Omega$ with suitable summability. In this paper, we will study the existence and regularity of solutions to the quasilinear degenerate elliptic equation with a singular nonlinearity given by: \begin{align} -\Delta_\lambda u&=\frac{f}{u^{\nu}} \text{ in }\Omega\nonumber &u>0 \text{ in } \Omega\nonumber &u=0 \text{ on } \partial\Omega\nonumber \end{align} where the operator $\Delta_\lambda$ is given by $$\Delta_\lambda{u}=u_{xx}+|x|^{2\lambda}\Delta_y{u};\,(x,y)\in \;R\times\;R^m $$ is known as the Grushin operator.


title: Reverse-Engineering Decoding Strategies Given Blackbox Access to a Language Generation System

abstract: Neural language models are increasingly deployed into APIs and websites that allow a user to pass in a prompt and receive generated text. Many of these systems do not reveal generation parameters. In this paper, we present methods to reverse-engineer the decoding method used to generate text (i.e., top-$k$ or nucleus sampling). Our ability to discover which decoding strategy was used has implications for detecting generated text. Additionally, the process of discovering the decoding strategy can reveal biases caused by selecting decoding settings which severely truncate a model's predicted distributions. We perform our attack on several families of open-source language models, as well as on production systems (e.g., ChatGPT).


title: PyHGL: A Python-based Hardware Generation Language Framework

abstract: Hardware generation languages (HGLs) increase hardware design productivity by creating parameterized modules and test benches. Unfortunately, existing tools are not widely adopted due to several demerits, including limited support for asynchronous circuits and unknown states, lack of concise and efficient language features, and low integration of simulation and verification functions. This paper introduces PyHGL, an open-source Python framework that aims to provide a simple and unified environment for hardware generation, simulation, and verification. PyHGL language is a syntactical superset of Python, which greatly reduces the lines of code (LOC) and improves productivity by providing unique features such as dynamic typing, vectorized operations, and automatic port deduction. In addition, PyHGL integrates an event-driven simulator that simulates the asynchronous behaviors of digital circuits using three-state logic. We also propose an algorithm that eliminates the calculation and transmission overhead of unknown state propagation for binary stimuli. The results suggest that PyHGL code is up to 6.1x denser than traditional RTL and generates high-quality synthesizable RTL code. Moreover, the optimized simulator achieves 2.9x speed up and matches the performance of a commonly used open-source logic simulator.


title: Approximation Results for Gradient Descent trained Neural Networks

abstract: The paper contains approximation guarantees for neural networks that are trained with gradient flow, with error measured in the continuous $L_2(\mathbb{S}^{d-1})$-norm on the $d$-dimensional unit sphere and targets that are Sobolev smooth. The networks are fully connected of constant depth and increasing width. Although all layers are trained, the gradient flow convergence is based on a neural tangent kernel (NTK) argument for the non-convex second but last layer. Unlike standard NTK analysis, the continuous error norm implies an under-parametrized regime, possible by the natural smoothness assumption required for approximation. The typical over-parametrization re-enters the results in form of a loss in approximation rate relative to established approximation methods for Sobolev smooth functions.


title: Exploring Music Genre Classification: Algorithm Analysis and Deployment Architecture

abstract: Music genre classification has become increasingly critical with the advent of various streaming applications. Nowadays, we find it impossible to imagine using the artist's name and song title to search for music in a sophisticated music app. It is always difficult to classify music correctly because the information linked to music, such as region, artist, album, or non-album, is so variable. This paper presents a study on music genre classification using a combination of Digital Signal Processing (DSP) and Deep Learning (DL) techniques. A novel algorithm is proposed that utilizes both DSP and DL methods to extract relevant features from audio signals and classify them into various genres. The algorithm was tested on the GTZAN dataset and achieved high accuracy. An end-to-end deployment architecture is also proposed for integration into music-related applications. The performance of the algorithm is analyzed and future directions for improvement are discussed. The proposed DSP and DL-based music genre classification algorithm and deployment architecture demonstrate a promising approach for music genre classification.


title: Distributional Data Augmentation Methods for Low Resource Language

abstract: Text augmentation is a technique for constructing synthetic data from an under-resourced corpus to improve predictive performance. Synthetic data generation is common in numerous domains. However, recently text augmentation has emerged in natural language processing (NLP) to improve downstream tasks. One of the current state-of-the-art text augmentation techniques is easy data augmentation (EDA), which augments the training data by injecting and replacing synonyms and randomly permuting sentences. One major obstacle with EDA is the need for versatile and complete synonym dictionaries, which cannot be easily found in low-resource languages. To improve the utility of EDA, we propose two extensions, easy distributional data augmentation (EDDA) and type specific similar word replacement (TSSR), which uses semantic word context information and part-of-speech tags for word replacement and augmentation. In an extensive empirical evaluation, we show the utility of the proposed methods, measured by F1 score, on two representative datasets in Swedish as an example of a low-resource language. With the proposed methods, we show that augmented data improve classification performances in low-resource settings.


title: Design of a Low-Power High-Gain Bio-Medical Operational Amplifier in 65nm Technology using gm/ID Methodology

abstract: Operational Amplifiers (Op-Amps) play a crucial role in the field of biomedical engineering, as they enable signal amplification and processing in various medical devices. With the increasing demand for portable and low-power biomedical devices, designing Op-Amps specifically tailored for such applications is essential. In response to this need, a low-power high-gain Op-Amp designed for biomedical applications using TSMC 65nm technology has been proposed. This Op-Amp incorporates a two-stage miller compensated topology, which is well-known for its superior performance in gain, gain bandwidth product and power consumption. The proposed Op-Amp contributes to the field of biomedical engineering by offering a tailored solution that enhances signal processing capabilities, enables accurate data acquisition, and improves overall efficiency in healthcare systems. The design methodology and simulation results presented in this paper provide insights into the performance and potential impact of the Op-Amp in advancing biomedical devices and systems.


title: On the Poisson Follower Model

abstract: We introduce a stochastic geometry dynamics inspired by opinion dynamics, which captures the essence of modern asymmetric social networks, with leaders and followers. Opinions are represented by points in the Euclidean space and the leader of an agent is the agent with the closest opinion. In this dynamics, each follower updates its opinion by halving the distance to its leader. We show that this simple dynamics and its iterates exhibit several interesting purely geometric phenomena pertaining to the evolution of leadership and of opinion clusters, which are reminiscent of those observed in social network. We also show that when the initial opinions are randomly distributed as a stationary Poisson point process, the probability of occurrence of each of these phenomena can be represented by an integral geometry formula involving semi-agebraic domains. We finally analyze numerically the limiting behavior of this follower dynamics. In the Poisson case, the agents fall into two categories, that of ultimate followers, which never stop updating their opinions, and that of ultimate leaders, which adopt a fixed opinion in a finite time. All our findings are complemented by spatial discrete event simulations.


title: Observation of flat and weakly dispersing bands in a van der Waals semiconductor Nb3Br8 with breathing kagome lattice

abstract: Niobium halides, Nb3X8 (X = Cl,Br,I), which are predicted two-dimensional magnets, have recently gotten attention due to their breathing kagome geometry. Here, we have studied the electronic structure of Nb3Br8 by using angle-resolved photoemission spectroscopy (ARPES) and first-principles calculations. ARPES results depict the presence of multiple flat and weakly dispersing bands. These bands are well explained by the theoretical calculations, which show they have Nb d character indicating their origination from the Nb atoms forming the breathing kagome plane. This van der Waals material can be easily thinned down via mechanical exfoliation to the ultrathin limit and such ultrathin samples are stable as depicted from the time-dependent Raman spectroscopy measurements at room temperature. These results demonstrate that Nb3Br8 is an excellent material not only for studying breathing kagome induced flat band physics and its connection with magnetism, but also for heterostructure fabrication for application purposes.


title: Algebraic geometry of the multilayer model of the fractional quantum Hall effect on a torus

abstract: In 1993 Keski-Vakkuri and Wen introduced a model for the fractional quantum Hall effect based on multilayer two-dimensional electron systems satisfying quasi-periodic boundary conditions. Such a model is essentially specified by a choice of a complex torus $E$ and a symmetric positively definite matrix $K$ of size $g$ with positive integral coefficients. The space of the corresponding wave functions turns out to be $\delta$-dimensional, where $\delta$ is the determinant of $K$. We construct a hermitian holomorphic bundle of rank $\delta$ on the abelian variety $A$ (which is the $g$-fold product of the torus $E$ with itself), whose fibres can be identified with the space of wave function of Keski-Vakkuri and Wen. A rigorous construction of this "magnetic bundle" involves the technique of Fourier-Mukai transforms on abelian varieties. This bundle turns out to be simple and semi-homogeneous. This bundle can be equipped with two different (and natural) hermitian metrics: the one coming from the center-of-mass dynamics and the one coming from the Hilbert space of the underlying many-body system. We prove that the canonical Bott-Chern connection of the first hermitian metric is always projectively flat and give sufficient conditions for this property for the second hermitian metric.


title: Finite-sample analysis of rotation operator under $l_2$ norm and $l_\infty$ norm

abstract: In this article, we consider a special operator called the two-dimensional rotation operator and analyze its convergence and finite-sample bounds under the $l_2$ norm and $l_\infty$ norm with constant step size. We then consider the same problem with stochastic noise with affine variance. Furthermore, simulations are provided to illustrate our results. Finally, we conclude this article by proposing some possible future extensions.


title: MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory

abstract: Existing logic-in-memory (LiM) research is limited to generating mappings and micro-operations. In this paper, we present~\emph{MemSPICE}, a novel framework that addresses this gap by automatically generating both the netlist and testbench needed to evaluate the LiM on a memristive crossbar. MemSPICE goes beyond conventional approaches by providing energy estimation scripts to calculate the precise energy consumption of the testbench at the SPICE level. We propose an automated framework that utilizes the mapping obtained from the SIMPLER tool to perform accurate energy estimation through SPICE simulations. To the best of our knowledge, no existing framework is capable of generating a SPICE netlist from a hardware description language. By offering a comprehensive solution for SPICE-based netlist generation, testbench creation, and accurate energy estimation, MemSPICE empowers researchers and engineers working on memristor-based LiM to enhance their understanding and optimization of energy usage in these systems. Finally, we tested the circuits from the ISCAS'85 benchmark on MemSPICE and conducted a detailed energy analysis.


title: CMS results for the $\gamma \gamma$ production at the LHC: do they give a hint for a Higgs boson of the maximally CP symmetric two-Higgs-doublet model?

abstract: Recent measurements of the CMS experiment at the LHC show possibly, with about $3\sigma$ significance, a resonance in di-photon events with an invariant mass of 95.4 GeV. If this resonance can be confirmed, this could be a hint for a new elementary particle beyond the Standard Model. An additional Standard-model-like Higgs boson with this mass could be excluded by the CMS experiment. We investigate whether this resonance could fit into a two-Higgs-doublet model highly constrained by CP symmetry, the so-called maximally-CP-symmetric model (MCPM). Our finding shows that indeed the enhancement measured by CMS could originate from the pseudoscalar Higgs boson $h''$ of this model. According to the model the boson $h''$ would mainly be produced in the Drell-Yan reaction by charm-anticharm-quark fusion. The main decay mode of $h''$ is predicted to be $h'' \to c\bar{c}$. We then consider the so called oblique parameters $S$, $T$, $U$ which give us an allowed region for the mass of the scalar Higgs boson $h'$ versus that of the charged ones $H^\pm$ of the MCPM. We calculate the effect of these charged bosons $H^\pm$ in the leptonic decay of the charm-strange mesons $D_s^\pm$. Our results indicate that the mass $m_H$ of the charged Higgs bosons $H^\pm$ of the MCPM should be around 300 GeV.


title: Defect tolerance of lead-halide perovskite (100) surface relative to bulk: band bending, surface states, and characteristics of vacancies

abstract: We characterized the formation of vacancies at a surface slab model and contrasted the results with the bulk of lead-halide perovskites using cubic and tetragonal CsPbI$_3$ as representative structures. The defect-free CsI-terminated (100) surface does not trap charge carriers. In the presence of defects (vacancies), the surface is expected to exhibit $p$-type behavior. The formation energy of cesium vacancies $V_\text{Cs}^{-}$ is lower at the surface than in the bulk, while iodine vacancies $V_\text{I}^{+}$ have a similar energy (around 0.25$-$0.4 eV) within the range of chemical potentials compatible with solution processing synthesis conditions. Lead-iodine divacancies ($V_\text{PbI}^{-}$) are expected to dominate over lead-only vacancies at the surfaces. Major surface vacancies create shallow host-like energy states with a small Franck-Condon shift, making them electronically harmless (same as in bulk). The spin-orbit coupling contributes to the defect tolerance of lead-halide perovskite surfaces by causing delocalization of electronic states associated with $n$-type defects and retraction of lowest unoccupied states from the surface due to a mixing of Pb-$p_{x,y,z}$ orbitals. These results explain a high optoelectronic performance of two-dimensional structures, nanoparticles, and polycrystalline thin films of lead-halide perovskites despite the abundance of interfaces in these materials.


title: A study about black hole solutions with nonconstant transversal curvature and its conserved charges in Lovelock gravity

abstract: In this work, the analysis of some new static black hole solutions of Lovelock gravity with nonconstant curvature transverse section is presented. It will be shown that the finiteness of the charges and the action principle rely on the existence of constraints on the geometry of the transverse sections. Finally, in this context, some new sound solutions with nonconstant curvature transverse sections that deviate from the previously known geometries are discussed.


title: Lattice Boltzmann method for warm fluid simulations of plasma wakefield acceleration

abstract: A comprehensive characterization of lattice Boltzmann (LB) schemes to perform warm fluid numerical simulations of particle wakefield acceleration (PWFA) processes is discussed in this paper. The LB schemes we develop hinge on the moment matching procedure, allowing the fluid description of a warm relativistic plasma wake generated by a driver pulse propagating in a neutral plasma. We focus on fluid models equations resulting from two popular closure assumptions of the relativistic kinetic equations, i.e., the local equilibrium and the warm plasma closure assumptions. The developed LB schemes can thus be used to disclose insights on the quantitative differences between the two closure approaches in the dynamics of PWFA processes. Comparisons between the proposed schemes and available analytical results are extensively addressed.


title: From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs

abstract: The reliability of concurrent and distributed systems often depends on some well-known techniques for fault tolerance. One such technique is based on checkpointing and rollback recovery. Checkpointing involves processes to take snapshots of their current states regularly, so that a rollback recovery strategy is able to bring the system back to a previous consistent state whenever a failure occurs. In this paper, we consider a message-passing concurrent programming language and propose a novel rollback recovery strategy that is based on some explicit checkpointing operators and the use of a (partially) reversible semantics for rolling back the system.


title: Bellman function method for general operators on martingales: arbitrary regular filtrations

abstract: It has been recently shown that the Bellman function method can be applied in the general context of Gundy's extrapolation theorem for vector-valued martingales. But the additional assumption has been made that martingales are adapted to a certain special filtration. Here it is shown that those results can be extended to any regular filtration.


title: Approximating ReLU on a Reduced Ring for Efficient MPC-based Private Inference

abstract: Secure multi-party computation (MPC) allows users to offload machine learning inference on untrusted servers without having to share their privacy-sensitive data. Despite their strong security properties, MPC-based private inference has not been widely adopted in the real world due to their high communication overhead. When evaluating ReLU layers, MPC protocols incur a significant amount of communication between the parties, making the end-to-end execution time multiple orders slower than its non-private counterpart. This paper presents HummingBird, an MPC framework that reduces the ReLU communication overhead significantly by using only a subset of the bits to evaluate ReLU on a smaller ring. Based on theoretical analyses, HummingBird identifies bits in the secret share that are not crucial for accuracy and excludes them during ReLU evaluation to reduce communication. With its efficient search engine, HummingBird discards 87--91% of the bits during ReLU and still maintains high accuracy. On a real MPC setup involving multiple servers, HummingBird achieves on average 2.03--2.67x end-to-end speedup without introducing any errors, and up to 8.64x average speedup when some amount of accuracy degradation can be tolerated, due to its up to 8.76x communication reduction.


title: News-driven Expectations and Volatility Clustering

abstract: Financial volatility obeys two fascinating empirical regularities that apply to various assets, on various markets, and on various time scales: it is fat-tailed (more precisely power-law distributed) and it tends to be clustered in time. Many interesting models have been proposed to account for these regularities, notably agent-based models, which mimic the two empirical laws through a complex mix of nonlinear mechanisms such as traders' switching between trading strategies in highly nonlinear way. This paper explains the two regularities simply in terms of traders' attitudes towards news, an explanation that follows almost by definition of the traditional dichotomy of financial market participants, investors versus speculators, whose behaviors are reduced to their simplest forms. Long-run investors' valuations of an asset are assumed to follow a news-driven random walk, thus capturing the investors' persistent, long memory of fundamental news. Short-term speculators' anticipated returns, on the other hand, are assumed to follow a news-driven autoregressive process, capturing their shorter memory of fundamental news, and, by the same token, the feedback intrinsic to the short-sighted, trend-following (or herding) mindset of speculators. These simple, linear, models of traders' expectations, it is shown, explain the two financial regularities in a generic and robust way. Rational expectations, the dominant model of traders' expectations, is not assumed here, owing to the famous no-speculation, no-trade results


title: A Gentle Introduction to Gradient-Based Optimization and Variational Inequalities for Machine Learning

abstract: The rapid progress in machine learning in recent years has been based on a highly productive connection to gradient-based optimization. Further progress hinges in part on a shift in focus from pattern recognition to decision-making and multi-agent problems. In these broader settings, new mathematical challenges emerge that involve equilibria and game theory instead of optima. Gradient-based methods remain essential -- given the high dimensionality and large scale of machine-learning problems -- but simple gradient descent is no longer the point of departure for algorithm design. We provide a gentle introduction to a broader framework for gradient-based algorithms in machine learning, beginning with saddle points and monotone games, and proceeding to general variational inequalities. While we provide convergence proofs for several of the algorithms that we present, our main focus is that of providing motivation and intuition.


title: Characterizing Cyber Attacks against Space Systems with Missing Data: Framework and Case Study

abstract: Cybersecurity of space systems is an emerging topic, but there is no single dataset that documents cyber attacks against space systems that have occurred in the past. These incidents are often scattered in media reports while missing many details, which we dub the missing-data problem. Nevertheless, even "low-quality" datasets containing such reports would be extremely valuable because of the dearth of space cybersecurity data and the sensitivity of space systems which are often restricted from disclosure by governments. This prompts a research question: How can we characterize real-world cyber attacks against space systems? In this paper, we address the problem by proposing a framework, including metrics, while also addressing the missing-data problem, by "extrapolating" the missing data in a principled fashion. To show the usefulness of the framework, we extract data for 72 cyber attacks against space systems and show how to extrapolate this "low-quality" dataset to derive 4,076 attack technique kill chains. Our findings include: cyber attacks against space systems are getting increasingly sophisticated; and, successful protection against on-path and social engineering attacks could have prevented 80% of the attacks.


title: A new class of multiple nonlocal problems with two parameters and variable-order fractional $p(\cdot)$-Laplacian

abstract: In the present manuscript, we focus on a novel tri-nonlocal Kirchhoff problem, which involves the $p(x)$-fractional Laplacian equations of variable order. The problem is stated as follows: \begin{eqnarray*} \left\{ \begin{array}{ll} M\Big(\sigma_{p(x,y)}(u)\Big)(-\Delta)^{s(\cdot)}_{p(\cdot)}u(x) =\lambda |u|^{q(x)-2}u\left(\int_\O\frac{1}{q(x)} |u|^{q(x)}dx \right)^{k_1}+\beta|u|^{r(x)-2}u\left(\int_\O\frac{1}{r(x)} |u|^{r(x)}dx \right)^{k_2} \quad \mbox{in }\Omega, \\ u=0 \quad \mbox{on }\partial\Omega, \end{array} \right. \end{eqnarray*} where the nonlocal term is defined as $$ \sigma_{p(x,y)}(u)=\int_{\Omega\times \Omega}\frac{1}{p(x,y)}\frac{|u(x)-u(y)|^{p(x,y)}}{|x-y|^{N+s(x,y)p(x,y)}} \,dx\,dy. $$ Here, $\Omega\subset\mathbb{R}^{N}$ represents a bounded smooth domain with at least $N\geq2$. The function $M(s)$ is given by $M(s) = a - bs^\gamma$, where $a\geq 0$, $b>0$, and $\gamma>0$. The parameters $k_1$, $k_2$, $\lambda$ and $\beta$ are real parameters, while the variables $p(x)$, $s(\cdot)$, $q(x)$, and $r(x)$ are continuous and can change with respect to $x$. To tackle this problem, we employ some new methods and variational approaches along with two specific methods, namely the Fountain theorem and the symmetric Mountain Pass theorem. By utilizing these techniques, we establish the existence and multiplicity of solutions for this problem separately in two distinct cases: when $a>0$ and when $a=0$. To the best of our knowledge, these results are the first contributions to research on the variable-order $p(x)$-fractional Laplacian operator.


title: Holographic CFTs on $AdS_d\times S^n$ and conformal defects

abstract: We consider ($d+n+1$)-dimensional solutions of Einstein gravity with constant negative curvature. Regular solutions of this type are expected to be dual to the ground states of ($d+n$)-dimensional holographic CFTs on $AdS_d\times S^n$. Their only dimensionless parameter is the ratio of radii of curvatures of $AdS_d$ and $S^n$. The same solutions may also be dual to $(d-1)$-dimensional conformal defects in holographic QFT$_{d+n}$. We solve the gravity equations with an associated conifold ansatz, and we classify all solutions both singular and regular by a combination of analytical and numerical techniques. There are no solutions, regular or singular, with two boundaries along the holographic direction. Out of the infinite class of regular solutions, only one is diffeomorphic to $AdS_{d+n+1}$ and another to $AdS_d\times AdS_{n+1}$. For the regular solutions, we compute the on-shell action as a function of the relevant parameters.


title: Cryo-Electron Ptychography: Applications and Potential in Biological Characterisation

abstract: There is a clear need for developments in characterisation techniques that provide detailed information about structure-function relationships in biology. Using electron microscopy to achieve high resolution while maintaining a broad field of view remains a challenge, particularly for radiation sensitive specimens where the signal-to-noise ratio required to maintain structural integrity is limited by low electron fluence. In this review, we explore the potential of cryogenic electron ptychography as an alternative method for characterisation of biological systems under low fluence conditions. Using this method with increased information content from multiple sampled regions of interest, potentially allows 3D reconstruction with far fewer particles than required in conventional cryo-electron microscopy. This is important for achieving higher resolution for systems where distributions of homogeneous single particles are difficult to obtain. We discuss the progress, limitations and potential areas for future development of this approach for both single particle analysis and in applications to heterogeneous large objects.


title: Ambiguity, Invisibility, and Negativity

abstract: Many widely different problems have a common mathematical structure wherein limited knowledge lead to ambiguity that can be captured conveniently using a concept of invisibility that requires the introduction of negative values for quantities that are inherently positive. Here I analyze three examples taken from perception theory, rigid body mechanics, and quantum measurement.


title: Vortex solitons in large-scale waveguide arrays with adjustable discrete rotational symmetry

abstract: We consider vortex solitons in large-scale arrays composed of N elliptical waveguides placed on a ring, which can be fabricated using fs-laser writing technique in transparent nonlinear dielectrics. By introducing variable twist angles between longer axes of neighboring elliptical waveguides on a ring, we create circular arrays with adjustable discrete rotational symmetry ranging from C_N to C_1, when the number of waveguides N on the ring remains fixed. This allows to consider the impact of discrete rotational symmetry on the properties of available vortex solitons without changing the number of guiding channels in the structure, and to predict how exactly splitting of higher-order phase singularities into sets of charge-1 singularities occurs in vortex states, when they are forbidden by the discrete rotational symmetry of the structure that imposes the restrictions on the maximal possible vortex charge. It is found that separation between split charge-1 phase singularities in such higher-order vortex states increases with increase of the order of solution. We also study linear spectra of such arrays and show how variation of their discrete rotational symmetry affects linear eigenmodes, whose combinations can give rise to vortex modes. We also show that variation of discrete rotational symmetry in arrays with fixed number of guiding channels N has strong impact on stability of vortex solitons. Thus, only higher-charge vortex solitons are stable in such large-scale arrays and the number of stable states typically decreases with decrease of the order of discrete rotational symmetry of the structure at fixed N.


title: RecAD: Towards A Unified Library for Recommender Attack and Defense

abstract: In recent years, recommender systems have become a ubiquitous part of our daily lives, while they suffer from a high risk of being attacked due to the growing commercial and social values. Despite significant research progress in recommender attack and defense, there is a lack of a widely-recognized benchmarking standard in the field, leading to unfair performance comparison and limited credibility of experiments. To address this, we propose RecAD, a unified library aiming at establishing an open benchmark for recommender attack and defense. RecAD takes an initial step to set up a unified benchmarking pipeline for reproducible research by integrating diverse datasets, standard source codes, hyper-parameter settings, running logs, attack knowledge, attack budget, and evaluation results. The benchmark is designed to be comprehensive and sustainable, covering both attack, defense, and evaluation tasks, enabling more researchers to easily follow and contribute to this promising field. RecAD will drive more solid and reproducible research on recommender systems attack and defense, reduce the redundant efforts of researchers, and ultimately increase the credibility and practical value of recommender attack and defense. The project is released at https://github.com/gusye1234/recad.


title: Symplectic Structure-Aware Hamiltonian (Graph) Embeddings

abstract: In traditional Graph Neural Networks (GNNs), the assumption of a fixed embedding manifold often limits their adaptability to diverse graph geometries. Recently, Hamiltonian system-inspired GNNs have been proposed to address the dynamic nature of such embeddings by incorporating physical laws into node feature updates. We present Symplectic Structure-Aware Hamiltonian GNN (SAH-GNN), a novel approach that generalizes Hamiltonian dynamics for more flexible node feature updates. Unlike existing Hamiltonian approaches, SAH-GNN employs Riemannian optimization on the symplectic Stiefel manifold to adaptively learn the underlying symplectic structure, circumventing the limitations of existing Hamiltonian GNNs that rely on a pre-defined form of standard symplectic structure. This innovation allows SAH-GNN to automatically adapt to various graph datasets without extensive hyperparameter tuning. Moreover, it conserves energy during training meaning the implicit Hamiltonian system is physically meaningful. Finally, we empirically validate SAH-GNN's superiority and adaptability in node classification tasks across multiple types of graph datasets.


title: Partially Dualized Quasi-Hopf Algebras Reconstructed from Dual Tensor Categories to Finite-Dimensional Hopf Algebras

abstract: Let $\mathsf{Rep}(H)$ be the category of finite-dimensional representations of a finite-dimensional Hopf algebra $H$. Andruskiewitsch and Mombelli proved in 2007 that each indecomposable exact $\mathsf{Rep}(H)$-module category has form $\mathsf{Rep}(B)$ for some indecomposable exact left $H$-comodule algebra $B$. This paper reconstructs and determines a quasi-Hopf algebra structure from the dual tensor category of $\mathsf{Rep}(H)$ with respect to $\mathsf{Rep}(B)$, when $B$ is a left coideal subalgebra of $H$. Consequently, it is categorically Morita equivalent to $H$, and some other elementary properties are also studied. As applications, our construction could be applied to imply some classical results on bismash products of matched pair of groups and bosonizations of dually paired Hopf algebras.


title: SortedAP: Rethinking evaluation metrics for instance segmentation

abstract: Designing metrics for evaluating instance segmentation revolves around comprehensively considering object detection and segmentation accuracy. However, other important properties, such as sensitivity, continuity, and equality, are overlooked in the current study. In this paper, we reveal that most existing metrics have a limited resolution of segmentation quality. They are only conditionally sensitive to the change of masks or false predictions. For certain metrics, the score can change drastically in a narrow range which could provide a misleading indication of the quality gap between results. Therefore, we propose a new metric called sortedAP, which strictly decreases with both object- and pixel-level imperfections and has an uninterrupted penalization scale over the entire domain. We provide the evaluation toolkit and experiment code at https://www.github.com/looooongChen/sortedAP.


title: Semi-supervised Instance Segmentation with a Learned Shape Prior

abstract: To date, most instance segmentation approaches are based on supervised learning that requires a considerable amount of annotated object contours as training ground truth. Here, we propose a framework that searches for the target object based on a shape prior. The shape prior model is learned with a variational autoencoder that requires only a very limited amount of training data: In our experiments, a few dozens of object shape patches from the target dataset, as well as purely synthetic shapes, were sufficient to achieve results en par with supervised methods with full access to training data on two out of three cell segmentation datasets. Our method with a synthetic shape prior was superior to pre-trained supervised models with access to limited domain-specific training data on all three datasets. Since the learning of prior models requires shape patches, whether real or synthetic data, we call this framework semi-supervised learning.


title: A subspace constrained randomized Kaczmarz method for structure or external knowledge exploitation

abstract: We study a version of the randomized Kaczmarz algorithm for solving systems of linear equations where the iterates are confined to the solution space of a selected subsystem. We show that the subspace constraint leads to an accelerated convergence rate, especially when the system has approximately low-rank structure. On Gaussian-like random data, we show that it results in a form of dimension reduction that effectively increases the aspect ratio of the system. Furthermore, this method serves as a building block for a second, quantile-based algorithm for solving linear systems with arbitrary sparse corruptions, which is able to efficiently utilize external knowledge about corruption-free equations and achieve convergence in difficult settings. Numerical experiments on synthetic and realistic data support our theoretical results and demonstrate the validity of the proposed methods for even more general data models than guaranteed by the theory.


title: Flattened photon beams, an obsolete feature in modern linear accelerators

abstract: Background: With the advent of Intensity Modulated Radiotherapy (IMRT) and recently, Volumetric Modulated Arc Therapy (VMAT), treatment planning using Flattening Filter Free (FFF) beams can meet all of the energy requirements in radiation therapy clinics. Manufacturers of linear accelerators no longer need to install a flattening filter (FF) in gantry head. This study aims to provide evidence of the superiority of FFF to FF through both dosimetric measurements and clinical treatment plans. Materials and Methods: A 50x50x50cm3 water phantom was created in the RayStation treatment planning system (TPS) for dosimetry comparisons. Flat beam profiles were generated using FFF beam through an optimization process for 10x10 to 30x30cm2 field sizes. Next, a comparison of treatment plans was made using 21 Head and Neck and 14 Lung/Mediastinum treatment sites using 6MV and 6MV-FFF beams. Results: Using FFF beams, profiles with flatness and symmetry identical to or better than those of the flattened beams were produced. At the very edge of the optimized plans for FFF beams, horns had the highest gamma index deviation <1.5% of the normalized dose. For clinical plans evaluated, most of the mean doses to organs_atrisk (OAR) volumes receiving 5% to 30% of the prescription dose were reduced with FFF beams. Conclusion: These results indicate the feasibility of delivering flat beams with FFF quality and producing treatment plans with equal or higher qualities in PTV coverage while achieving better sparing of OAR which will allow escalation of target dose if desired. Plus, removing FF will simplify the gantry head and reduces quality assurance and machine maintenance efforts.


title: How to Evaluate Semantic Communications for Images with ViTScore Metric?

abstract: Semantic communications (SC) have been expected to be a new paradigm shifting to catalyze the next generation communication, whose main concerns shift from accurate bit transmission to effective semantic information exchange in communications. However, the previous and widely-used metrics for images are not applicable to evaluate the image semantic similarity in SC. Classical metrics to measure the similarity between two images usually rely on the pixel level or the structural level, such as the PSNR and the MS-SSIM. Straightforwardly using some tailored metrics based on deep-learning methods in CV community, such as the LPIPS, is infeasible for SC. To tackle this, inspired by BERTScore in NLP community, we propose a novel metric for evaluating image semantic similarity, named Vision Transformer Score (ViTScore). We prove theoretically that ViTScore has 3 important properties, including symmetry, boundedness, and normalization, which make ViTScore convenient and intuitive for image measurement. To evaluate the performance of ViTScore, we compare ViTScore with 3 typical metrics (PSNR, MS-SSIM, and LPIPS) through 4 classes of experiments: (i) correlation with BERTScore through evaluation of image caption downstream CV task, (ii) evaluation in classical image communications, (iii) evaluation in image semantic communication systems, and (iv) evaluation in image semantic communication systems with semantic attack. Experimental results demonstrate that ViTScore is robust and efficient in evaluating the semantic similarity of images. Particularly, ViTScore outperforms the other 3 typical metrics in evaluating the image semantic changes by semantic attack, such as image inverse with Generative Adversarial Networks (GANs). This indicates that ViTScore is an effective performance metric when deployed in SC scenarios.


title: Descriptive complexity of controllable graphs

abstract: Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space $\mathbb{R}^n$. We characterize the isomorphism problem of controllable graphs in terms of other combinatorial, geometric and logical problems. We also describe a polynomial time algorithm for graph isomorphism that works for almost all graphs.


title: WZW in the lightlike directions

abstract: Dimensional reduction of the M5 brane on a Lorentzian manifold along a lightlike direction results in a five-dimensional gauge theory, which can be reformulated covariantly in six dimensions, where one puts the Lie derivatives along the lightlike direction of all fields to zero as constraints. Without imposing these constraints, we have a nonsupersymmetric six-dimensional gauge theory that we may expect shall have a six dimensional gauge symmetry. However this gauge symmetry has an anomaly for certain Lorentzian six-manifolds. We show that this gauge anomaly can be canceled by adding a WZW theory in the 2d space that is spanned by two lightlike directions.


title: Differentiating Radiation Necrosis and Metastatic Progression in Brain Tumors Using Radiomics and Machine Learning

abstract: Objectives: Distinguishing between radiation necrosis(RN) and metastatic progression is extremely challenging due to their similarity in conventional imaging. This is crucial from a therapeutic point of view as this determines the outcome of the treatment. This study aims to establish an automated technique to differentiate RN from brain metastasis progression using radiomics with machine learning. Methods: 86 patients with brain metastasis after they underwent stereotactic radiosurgery as primary treatment were selected. Discrete wavelets transform, Laplacian-of-Gaussian, Gradient, and Square were applied to magnetic resonance post-contrast T1-weighted images to extract radiomics features. After feature selection, dataset was randomly split into train/test (80%/20%) datasets. Random forest classification(RFC), logistic regression, and support vector classification(SVC) were trained and subsequently validated using test set. The classification performance was measured by area under the curve(AUC) value of receiver operating characteristic curve, accuracy, sensitivity, and specificity. Results: The best performance was achieved using RFC with a Gradient filter (AUC=0.910, std=0.047), (accuracy 0.8, std=0.071), (sensitivity=0.796 std=0.055), (specificity =0.922, std=0.059). For SVC the best result obtains using wavelet_HHH with a high AUC of 0.890 with std=0.89, accuracy of 0.777 with std=0.062, sensitivity=0.701, std=0.084, and specificity=0.85 with std=0.112. Logistic regression using wavelet_HHH provides a poor result with AUC=0.882 & std=0.051, accuracy of 0.753 & std=0.08, sensitivity=0.717 & std=0.208, and specificity=0.816 with std=0.123. Conclusion: This type of machine-learning approach can help accurately distinguish RN from recurrence in magnetic resonance imaging, without the need for biopsy. This has the potential to improve the therapeutic outcome.


title: Super-compact universal quantum logic gates with inversedesigned elements

abstract: Integrated quantum photonic circuit is a promising platform for the realization of quantum information processing in the future. To achieve the largescale quantum photonic circuits, the applied quantum logic gates should be as small as possible for the high-density integration on chips. Here, we report the implementation of super-compact universal quantum logic gates on silicon chips by the method of inverse design. In particular, the fabricated controlled-NOT gate and Hadamard gate are both nearly a vacuum wavelength, being the smallest optical quantum gates reported up to now. We further design the quantum circuit by cascading these fundamental gates to perform arbitrary quantum processing, where the corresponding size is about several orders smaller than that of previous quantum photonic circuits. Our study paves the way for the realization of largescale quantum photonic chips with integrated sources, and can possess important applications in the field of quantum information processes.


title: Experimental topological quantum computing with electric circuits

abstract: The key obstacle to the realization of a scalable quantum computer is overcoming environmental and control errors. Topological quantum computation has attracted great attention because it has emerged as one of the most promising approaches to solving these problems. Various theoretical schemes for building topological quantum computation have been proposed. However, experimental implementation has always been a great challenge because it has proved to be extremely difficult to create and manipulate topological qubits in real systems. Therefore, topological quantum computation has not been realized in experiments yet. Here, we report the first experimental realization of topological quantum computation with electric circuits. Based on our proposed new scheme with circuits, Majorana-like edge states are not only observed experimentally, but also T junctions are constructed for the braiding process. Furthermore, we demonstrate the feasibility of topological quantum computing through a set of one- and two-qubit unitary operations. Finally, our implementation of Grover's search algorithm demonstrates that topological quantum computation is ideally suited for such tasks.


title: Stationary measures for higher spin vertex models on a strip

abstract: We introduce a higher spin vertex model on a strip with fused vertex weights. This model can be regarded as a generalization of both the unfused six-vertex model on a strip [Yan22] and an 'integrable two-step Floquet dynamics' model introduced in [Van18]. We solve for the stationary measure using a fused version of the matrix product ansatz and then characterize it in terms of the Askey-Wilson process. Using this characterization, we obtain the limits of the mean density along an arbitrary down-right path. It turns out that all these models share a common phase diagram, which, after an appropriate mapping, matches the phase diagram of open ASEP, thereby establishing a universality result for this phase diagram.


title: Energy-Constrained Programmable Matter Under Unfair Adversaries

abstract: Individual modules of programmable matter participate in their system's collective behavior by expending energy to perform actions. However, not all modules may have access to the external energy source powering the system, necessitating a local and distributed strategy for supplying energy to modules. In this work, we present a general energy distribution framework for the canonical amoebot model of programmable matter that transforms energy-agnostic algorithms into energy-constrained ones with equivalent behavior and an $\mathcal{O}(n^2)$-round runtime overhead -- even under an unfair adversary -- provided the original algorithms satisfy certain conventions. We then prove that existing amoebot algorithms for leader election (ICDCN 2023) and shape formation (Distributed Computing, 2023) are compatible with this framework and show simulations of their energy-constrained counterparts, demonstrating how other unfair algorithms can be generalized to the energy-constrained setting with relatively little effort. Finally, we show that our energy distribution framework can be composed with the concurrency control framework for amoebot algorithms (Distributed Computing, 2023), allowing algorithm designers to focus on the simpler energy-agnostic, sequential setting but gain the general applicability of energy-constrained, asynchronous correctness.


title: Transient Attacks against the VMG-KLJN Secure Key Exchanger

abstract: The security vulnerability of the Vadai, Mingesz, and Gingl (VMG) Kirchhoff-Law-Johnson-Noise (KLJN) key exchanger, as presented in the publication "Nature, Science Report 5 (2015) 13653," has been exposed to transient attacks. Recently an effective defense protocol was introduced (Appl. Phys. Lett. 122 (2023) 143503) to counteract mean-square voltage-based (or mean-square current-based) transient attacks targeted at the ideal KLJN framework. In the present study, this same mitigation methodology has been employed to fortify the security of the VMG-KLJN key exchanger. It is worth noting that the protective measures need to be separately implemented for the HL and LH scenarios. This conceptual framework is corroborated through computer simulations, demonstrating that the application of this defensive technique substantially mitigates information leakage to a point of insignificance.


title: A step toward density benchmarking -- the energy-relevant "mean field error"

abstract: Since the development of generalized gradient approximations in the 1990s, approximations based on density functional theory have dominated electronic structure theory calculations. Modern approximations can yield energy differences that are precise enough to be predictive in many instances, as validated by large- and small-scale benchmarking efforts. However, assessing the quality of densities has been the subject of far less attention, in part because reliable error measures are difficult to define. To this end, this work introduces the mean-field error that directly assesses the quality of densities from approximations. The mean-field error is contextualised within existing frameworks of density functional error analysis and understanding, and shown to be part of the density-driven error. It is demonstrated on several illustrative examples. Its potential use in future benchmarking protocols is discussed, and some conclusions drawn.


title: One-Bit-Aided Modulo Sampling for DOA Estimation

abstract: Modulo sampling has recently drawn a great deal of attention for cutting-edge applications, due to overcoming the barrier of information loss through sensor saturation and clipping. This is a significant problem, especially when the range of signal amplitudes is unknown or in the near-far case. To overcome this fundamental bottleneck, we propose a one-bit-aided (1bit-aided) modulo sampling scheme for direction-of-arrival (DOA) estimation. On the one hand, one-bit quantization involving a simple comparator offers the advantages of low-cost and low-complexity implementation. On the other hand, one-bit quantization provides an estimate of the normalized covariance matrix of the unquantized measurements via the arcsin law. The estimate of the normalized covariance matrix is used to implement blind integer-forcing (BIF) decoder to unwrap the modulo samples to construct the covariance matrix, and subspace methods can be used to perform the DOA estimation. Our approach named as 1bit-aided-BIF addresses the near-far problem well and overcomes the intrinsic low dynamic range of one-bit quantization. Numerical experiments validate the excellent performance of the proposed algorithm.


title: Transformers in Small Object Detection: A Benchmark and Survey of State-of-the-Art

abstract: Transformers have rapidly gained popularity in computer vision, especially in the field of object recognition and detection. Upon examining the outcomes of state-of-the-art object detection methods, we noticed that transformers consistently outperformed well-established CNN-based detectors in almost every video or image dataset. While transformer-based approaches remain at the forefront of small object detection (SOD) techniques, this paper aims to explore the performance benefits offered by such extensive networks and identify potential reasons for their SOD superiority. Small objects have been identified as one of the most challenging object types in detection frameworks due to their low visibility. We aim to investigate potential strategies that could enhance transformers' performance in SOD. This survey presents a taxonomy of over 60 research studies on developed transformers for the task of SOD, spanning the years 2020 to 2023. These studies encompass a variety of detection applications, including small object detection in generic images, aerial images, medical images, active millimeter images, underwater images, and videos. We also compile and present a list of 12 large-scale datasets suitable for SOD that were overlooked in previous studies and compare the performance of the reviewed studies using popular metrics such as mean Average Precision (mAP), Frames Per Second (FPS), number of parameters, and more. Researchers can keep track of newer studies on our web page, which is available at \url{https://github.com/arekavandi/Transformer-SOD}.


title: Beyond the mixture of generalized Pauli dephasing channels

abstract: In recent times, there has been a growing scholarly focus on investigating the intricacies of quantum channel mixing. It has been commonly believed, based on intuition in the literature, that every generalized Pauli channel with dimensionality $d$ could be represented as a convex combination of $(d+1)$ generalized Pauli dephasing channels (see [Phys. Rev. A 103, 022605 (2021)] as a reference). To our surprise, our findings indicate the inaccuracy of this intuitive perspective. This has stimulated our interest in exploring the properties of convex combinations of generalized Pauli channels, beyond the restriction to just $(d+1)$ generalized Pauli dephasing channels. We demonstrate that many previously established properties still hold within this broader context. For instance, any mixture of invertible generalized Pauli channels retains its invertibility. It's worth noting that this property doesn't hold when considering the Weyl channels setting. Additionally, we demonstrate that every Pauli channel (for the case of $d=2$) can be represented as a mixture of $(d+1)$ Pauli dephasing channels, but this generalization doesn't apply to higher dimensions. This highlights a fundamental distinction between qubit and general qudit cases. In contrast to prior understanding, we show that non-invertibility of mixed channels is not a prerequisite for the resulting mapping to constitute a Markovian semigroup.


title: On real hyperelliptic solutions of focusing modified KdV equation

abstract: We study the real hyperelliptic solutions of the focusing modified KdV (MKdV) equation of the genus three. Since the complex hyperelliptic solutions of the focusing MKdV equation over $\mathbb{C}$ are associated with the real gauged MKdV equation, we present a novel construction of the real hyperelliptic solutions of the gauged MKdV equation. When the gauge field is constant, it can be regarded as the real solution of the focusing MKdV equation, and thus we also discuss the behavior of the gauge field numerically.


title: Most Rotational Variables Dominated by a Single Bright Feature are $\alpha^2$ CVn Stars

abstract: We previously reported a rare class of variable star light curves isolated from a sample of 4.7 million candidate variables from the ATLAS survey. Dubbed `UCBH' light curves, they have broad minima and narrow, symmetrical maxima, with typical periods of 1-10 days and amplitudes of 0.05--0.20 mag. They maintain constant amplitude, shape, and phase coherence over multiple years, but do not match any known class of pulsating variables. A localized bright spot near the equator of a rotating star will produce a UCBH-type light curve for most viewing geometries. Most stars that exhibit rotational variability caused primarily by a single bright feature should therefore appear as UCBH stars, although a rotating bright spot is not the only thing that could produce a UCBH-type lightcurve. We have spectroscopically investigated fourteen UCBH stars and found ten of them to be Ap/Bp stars: A-type or B-type stars with greatly enhanced photospheric abundances of specific heavy elements. Rotationally variable Ap/Bp stars are referred to as $\alpha^2$ CVn variables. Most ATLAS UCBH stars are therefore $\alpha^2$ CVn stars, although only a minority of $\alpha^2$ CVn stars in the literature have UCBH light curves. The fact that $\alpha^2$ CVn stars dominate the UCBH class suggests that lone bright spots with sufficient size and contrast develop more readily on Ap/Bp stars than on any other type. The $\alpha^2$ CVn UCBH stars may be characterized by a specific magnetic field topology, making them intriguing targets for future Zeeman-Doppler imaging.


title: Stability and Regularity for Double Wall Carbon Nanotubes Modeled as Timoshenko Beams with Thermoelastic Effects and Intermediate Damping

abstract: This research studies two systems composed by the Timoshenko beam model for double wall carbon nanotubes, coupled with the heat equation governed by Fourier's law. For the first system, the coupling is given by the speed the rotation of the vertical filament in the beam $\beta\psi_t$ from the first beam of Tymoshenko and the Laplacian of temperature $\delta\theta_{xx}$, where we also consider the damping terms fractionals $\gamma_1(-\partial_{xx})^{\tau_1}\phi_t$, $\gamma_2(-\partial_{xx})^{\tau_2} y_t$ and $\gamma_3(-\partial_{xx})^{\tau_3} z_t$, where $(\tau_1, \tau_2, \tau_3) \in [0,1]^3$. For this first system we proved that the semigroup $S_1(t)$ associated to system decays exponentially for all $(\tau_1 , \tau_2 , \tau_3 ) \in [0,1]^3$. The second system also has three fractional damping $\gamma_1(-\partial_{xx})^{\beta_1}\phi_t$, $\gamma_2(-\partial_{xx})^{\beta_2} y_t$ and $\gamma_3(-\partial_{xx})^{\beta_3} z_t$, with $(\beta_1, \beta_2, \beta_3) \in [0,1]^3$. Furthermore, the couplings between the heat equation and the Timoshenko beams of the double wall carbon nanotubes for the second system is given by the Laplacian of the rotation speed of the vertical filament in the beam $\beta\psi_{xxt}$ of the first beam of Timoshenko and the Lapacian of the temperature $\delta\theta_{xx}$. For the second system, we prove the exponential decay of $S_2(t)$ for $(\beta_1, \beta_2, \beta_3) \in [0,1]^3$ and also show that $S_2(t)$ admits Gevrey classes $s>(\phi+1)/(2\phi)$ for $\phi=\min\{\beta_1,\beta_2,\beta_3\}, \forall (\beta_1,\beta_2,\beta_3)\in (0,1)^3$, and proving that $S_2(t)$ is analytic when the parameters $(\beta_1, \beta_2, \beta_3) \in [1/2,1]^3$. One of the motivations for this research was the work; Ramos et al. \cite{Ramos2023CNTs}, whose partial results are part of our results obtained for the first system for $(\tau_1, \tau_2, \tau_3) = (0, 0, 0)$.


title: Effective Real Image Editing with Accelerated Iterative Diffusion Inversion

abstract: Despite all recent progress, it is still challenging to edit and manipulate natural images with modern generative models. When using Generative Adversarial Network (GAN), one major hurdle is in the inversion process mapping a real image to its corresponding noise vector in the latent space, since its necessary to be able to reconstruct an image to edit its contents. Likewise for Denoising Diffusion Implicit Models (DDIM), the linearization assumption in each inversion step makes the whole deterministic inversion process unreliable. Existing approaches that have tackled the problem of inversion stability often incur in significant trade-offs in computational efficiency. In this work we propose an Accelerated Iterative Diffusion Inversion method, dubbed AIDI, that significantly improves reconstruction accuracy with minimal additional overhead in space and time complexity. By using a novel blended guidance technique, we show that effective results can be obtained on a large range of image editing tasks without large classifier-free guidance in inversion. Furthermore, when compared with other diffusion inversion based works, our proposed process is shown to be more robust for fast image editing in the 10 and 20 diffusion steps' regimes.


title: On the finite factorial numbers

abstract: We introduce two families of transcendental numbers which we call finite factorial (FF) and partially finite factorial (PFF) numbers respectively, with the former one being subfamily of the latter one. These numbers arise naturally from some transcendental criterion for real numbers via their $b$-ary expansions. We show that rational numbers (eventually periodic words) can not be finite factorial. Then we consider the geometric (topological) properties of the collection of all the FF numbers, including its countability, density and Hausdorff dimension. Some numerical examples are given to illustrate certain results in the work.


title: Bicoptor 2.0: Addressing Challenges in Probabilistic Truncation for Enhanced Privacy-Preserving Machine Learning

abstract: This paper primarily focuses on analyzing the problems and proposing solutions for the probabilistic truncation protocol in existing PPML works from the perspectives of accuracy and efficiency. In terms of accuracy, we reveal that precision selections recommended in some of the existing works are incorrect. We conduct a thorough analysis of their open-source code and find that their errors were mainly due to simplified implementation, more specifically, fixed numbers are used instead of random numbers in probabilistic truncation protocols. Based on this, we provide a detailed theoretical analysis to validate our views. We propose a solution and a precision selection guideline for future works. Regarding efficiency, we identify limitations in the state-of-the-art comparison protocol, Bicoptor's (S\&P 2023) DReLU protocol, which relies on the probabilistic truncation protocol and is heavily constrained by the security parameter to avoid errors, significantly impacting the protocol's performance. To address these challenges, we introduce the first non-interactive deterministic truncation protocol, replacing the original probabilistic truncation protocol. Additionally, we design a non-interactive modulo switch protocol to enhance the protocol's security. Finally, we provide a guideline to reduce computational and communication overhead by using only a portion of the bits of the input, i.e., the key bits, for DReLU operations based on different model parameters. With the help of key bits, the performance of our DReLU protocol is further improved. We evaluate the performance of our protocols on three GPU servers, and achieve a 10x improvement in DReLU protocol, and a 6x improvement in the ReLU protocol over the state-of-the-art work Piranha-Falcon (USENIX Sec 22). Overall, the performance of our end-to-end (E2E) privacy-preserving machine learning (PPML) inference is improved by 3-4 times.


title: Commuting Local Hamiltonian Problem on 2D beyond qubits

abstract: We study the complexity of local Hamiltonians in which the terms pairwise commute. Commuting local Hamiltonians (CLHs) provide a way to study the role of non-commutativity in the complexity of quantum systems and touch on many fundamental aspects of quantum computing and many-body systems, such as the quantum PCP conjecture and the area law. Despite intense research activity since Bravyi and Vyalyi introduced the CLH problem two decades ago [BV03], its complexity remains largely unresolved; it is only known to lie in NP for a few special cases. Much of the recent research has focused on the physically motivated 2D case, where particles are located on vertices of a 2D grid and each term acts non-trivially only on the particles on a single square (or plaquette) in the lattice. In particular, Schuch [Sch11] showed that the CLH problem on 2D with qubits is in NP. Aharonov, Kenneth and Vigdorovich~[AKV18] then gave a constructive version of this result, showing an explicit algorithm to construct a ground state. Resolving the complexity of the 2D CLH problem with higher dimensional particles has been elusive. We prove two results for the CLH problem in 2D: (1) We give a non-constructive proof that the CLH problem in 2D with qutrits is in NP. As far as we know, this is the first result for the commuting local Hamiltonian problem on 2D beyond qubits. Our key lemma works for general qudits and might give new insights for tackling the general case. (2) We consider the factorized case, also studied in [BV03], where each term is a tensor product of single-particle Hermitian operators. We show that a factorized CLH in 2D, even on particles of arbitrary finite dimension, is equivalent to a direct sum of qubit stabilizer Hamiltonians. This implies that the factorized 2D CLH problem is in NP. This class of CLHs contains the Toric code as an example.


title: A Review of Machine Learning-based Security in Cloud Computing

abstract: Cloud Computing (CC) is revolutionizing the way IT resources are delivered to users, allowing them to access and manage their systems with increased cost-effectiveness and simplified infrastructure. However, with the growth of CC comes a host of security risks, including threats to availability, integrity, and confidentiality. To address these challenges, Machine Learning (ML) is increasingly being used by Cloud Service Providers (CSPs) to reduce the need for human intervention in identifying and resolving security issues. With the ability to analyze vast amounts of data, and make high-accuracy predictions, ML can transform the way CSPs approach security. In this paper, we will explore some of the most recent research in the field of ML-based security in Cloud Computing. We will examine the features and effectiveness of a range of ML algorithms, highlighting their unique strengths and potential limitations. Our goal is to provide a comprehensive overview of the current state of ML in cloud security and to shed light on the exciting possibilities that this emerging field has to offer.


title: Anisotropic Compactification of Nonrelativistic M-Theory

abstract: We study a decoupling limit of M-theory where the three-form gauge potential becomes critical. This limit leads to nonrelativistic M-theory coupled to a non-Lorentzian spacetime geometry. Nonrelativistic M-theory is U-dual to M-theory in the discrete light cone quantization, a non-perturbative approach related to the Matrix theory description of M-theory. We focus on the compactification of nonrelativistic M-theory over a two-torus that exhibits anisotropic behaviors due to the foliation structure of the spacetime geometry. We develop a frame covariant formalism of the toroidal geometry, which provides a geometrical interpretation of the recently discovered polynomial realization of SL(2,Z) duality in nonrelativistic type IIB superstring theory. We will show that the nonrelativistic IIB string background fields transform as polynomials of an effective Galilean "boost velocity" on the two-torus. As an application, we construct an action principle describing a single M5-brane in nonrelativistic M-theory and study its compactification over the anisotropic two-torus. This procedure leads to a D3-brane action in nonrelativistic IIB string theory that makes the SL(2,Z) invariance manifest in the polynomial realization.


title: Extending structures for perm algebras and perm bialgebras

abstract: We investigate the theory of extending structures by the unified product for perm algebras, and the factorization problem as well as the classifying complements problem in the setting of perm algebras. For a special extending structure, non-abelian extension, we study the inducibility of a pair of automorphisms associated to a non-abelian extension of perm algebras, and give the fundamental sequence of Wells in the context of perm algebras. For a special extending structure, bicrossed product, we introduce the concept of perm bialgebras, equivalently characterized by Manin triples of perm algebras and certain matched pairs of perm algebras. We introduce and study coboundary perm bialgebras, and our study leads to the ''$\mathcal{S}$-equation" in perm algebras, which is an analogue of the classical Yang-Baxter equation. A symmetric solution of $\mathcal{S}$-equation gives a perm bialgebra.


title: MFPNet: Multi-scale Feature Propagation Network For Lightweight Semantic Segmentation

abstract: In contrast to the abundant research focusing on large-scale models, the progress in lightweight semantic segmentation appears to be advancing at a comparatively slower pace. However, existing compact methods often suffer from limited feature representation capability due to the shallowness of their networks. In this paper, we propose a novel lightweight segmentation architecture, called Multi-scale Feature Propagation Network (MFPNet), to address the dilemma. Specifically, we design a robust Encoder-Decoder structure featuring symmetrical residual blocks that consist of flexible bottleneck residual modules (BRMs) to explore deep and rich muti-scale semantic context. Furthermore, taking benefit from their capacity to model latent long-range contextual relationships, we leverage Graph Convolutional Networks (GCNs) to facilitate multi-scale feature propagation between the BRM blocks. When evaluated on benchmark datasets, our proposed approach shows superior segmentation results.


title: Exact oscillations and chaos on a non-Abelian coil

abstract: We construct new exact solutions of the Georgi-Glashow model in $3+1$ dimensions. These configurations are periodic in time but lead to a stationary energy density and no energy flux. Nevertheless, they possess a characteristic frequency which manifests itself through non-trivial resonances on test fields. This allows us to interpret them as non-Abelian self sustained coils. We show that for larger energies a transition to chaotic behavior takes place, which we characterize by Poincar\'e sections, Fourier spectra and exponential growth of the geodesic deviation in an effective Jacobi metric, the latter triggered by parametric resonances.


title: Fusing Channel and Sensor Measurements for Enhancing Predictive Beamforming in UAV-Assisted Massive MIMO Communications

abstract: Cellular-connected unmanned aerial vehicles (UAVs) represent a promising technology for extending the coverage of 5G and 6G networks in a cost-effective manner. Additionally, Massive multiple-input multiple-output (MIMO) serves as an effective solution to interference mitigation in cellular-connected UAV communications. In this letter, we propose a fusion of wireless and sensor data to enhance beam alignment for cellular-connected UAV massive MIMO communications. We develop a predictive beamforming framework, including the frame structure and predictive beamformer. Moreover, we employ an extended Kalman filter (EKF) to integrate channel and sensor data and provide the corresponding state-space and observation models. Simulation results demonstrate that the proposed scheme can improve position/orientation estimation accuracy significantly, leading to higher spectral efficiency.


title: Editing 3D Scenes via Text Prompts without Retraining

abstract: Numerous diffusion models have recently been applied to image synthesis and editing. However, editing 3D scenes is still in its early stages. It poses various challenges, such as the requirement to design specific methods for different editing types, retraining new models for various 3D scenes, and the absence of convenient human interaction during editing. To tackle these issues, we introduce a text-driven editing method, termed DN2N, which allows for the direct acquisition of a NeRF model with universal editing capabilities, eliminating the requirement for retraining. Our method employs off-the-shelf text-based editing models of 2D images to modify the 3D scene images, followed by a filtering process to discard poorly edited images that disrupt 3D consistency. We then consider the remaining inconsistency as a problem of removing noise perturbation, which can be solved by generating training data with similar perturbation characteristics for training. We further propose cross-view regularization terms to help the generalized NeRF model mitigate these perturbations. Our text-driven method allows users to edit a 3D scene with their desired description, which is more friendly, intuitive, and practical than prior works. Empirical results show that our method achieves multiple editing types, including but not limited to appearance editing, weather transition, material changing, and style transfer. Most importantly, our method generalizes well with editing abilities shared among a set of model parameters without requiring a customized editing model for some specific scenes, thus inferring novel views with editing effects directly from user input. The project website is available at https://sk-fun.fun/DN2N


title: Global Message Ordering using Distributed Kafka Clusters

abstract: In contemporary distributed systems, logs are produced at an astounding rate, generating terabytes of data within mere seconds. These logs, containing pivotal details like system metrics, user actions, and diverse events, are foundational to the system's consistent and accurate operations. Precise log ordering becomes indispensable to avert potential ambiguities and discordances in system functionalities. Apache Kafka, a prevalent distributed message queue, offers significant solutions to various distributed log processing challenges. However, it presents an inherent limitation while Kafka ensures the in-order delivery of messages within a single partition to the consumer, it falls short in guaranteeing a global order for messages spanning multiple partitions. This research delves into innovative methodologies to achieve global ordering of messages within a Kafka topic, aiming to bolster the integrity and consistency of log processing in distributed systems. Our code is available on GitHub.


title: Unsupervised Chunking with Hierarchical RNN

abstract: In Natural Language Processing (NLP), predicting linguistic structures, such as parsing and chunking, has mostly relied on manual annotations of syntactic structures. This paper introduces an unsupervised approach to chunking, a syntactic task that involves grouping words in a non-hierarchical manner. We present a two-layer Hierarchical Recurrent Neural Network (HRNN) designed to model word-to-chunk and chunk-to-sentence compositions. Our approach involves a two-stage training process: pretraining with an unsupervised parser and finetuning on downstream NLP tasks. Experiments on the CoNLL-2000 dataset reveal a notable improvement over existing unsupervised methods, enhancing phrase F1 score by up to 6 percentage points. Further, finetuning with downstream tasks results in an additional performance improvement. Interestingly, we observe that the emergence of the chunking structure is transient during the neural model's downstream-task training. This study contributes to the advancement of unsupervised syntactic structure discovery and opens avenues for further research in linguistic theory.


title: Experimental comparison of model-free and model-based dark hole algorithms for future space telescopes

abstract: Coronagraphic instruments provide a great chance of enabling high contrast spectroscopy for the pursuit of finding a habitable world. Future space telescope coronagraph instruments require high performing focal plane masks in combination with precise wavefront sensing and control techniques to achieve dark holes for planet detection. Several wavefront control algorithms have been developed in recent years that might vary in performance depending on the coronagraph they are paired with. This study compares 3 model-free and model-based algorithms when coupled with either a Vector (VVC) or a Scalar (SVC) Vortex Coronagraph mask in the same laboratory conditions: Pairwise Probing with Electric Field Conjugation, the Self-Coherent Camera with Electric Field Conjugation, and Implicit Electric Field Conjugation. We present experimental results from the In-Air Coronagraph Testbed (IACT) at JPL in narrowband and broadband light, comparing the pros and cons of each of these wavefront sensing and control algorithms with respect to their potential for future space telescopes.


title: Compact Three Mirror Anastigmat Space Telescope Design using 6.5m Monolithic Primary Mirror

abstract: The utilization of a 6.5m monolithic primary mirror in a compact three-mirror anastigmat (TMA) telescope design offers unprecedented capabilities to accommodate various next generation science instruments. This design enables the rapid and efficient development of a large aperture telescope without segmented mirrors while maintaining a compact overall form factor. With its exceptional photon collection area and diffraction-limited resolving power, the TMA design is ideally suited for both the ground and space active/adaptive optics concepts, which require the capture of natural guide stars within the field of view for wavefront measurement to correct for misalignments and shape deformation caused by thermal gradients. The wide field of view requirement is based on a statistical analysis of bright natural guide stars available during observation. The primary mirror clear aperture, compactness requirement, and detector pixel sizes led to the choice of TMA over simpler two-mirror solutions like Ritchey-Chretien (RC) telescopes, and the TMA design offers superior diffraction-limited performance across the entire field of view. The standard conic surfaces applied to all three mirrors (M1, M2, and M3) simplify the optical fabrication, testing, and alignment process. Additionally, the TMA design is more tolerant than RC telescopes. Stray light control is critical for UV science instrumentation, and the field stop and Lyot stop are conveniently located in the TMA design for this purpose.


title: Quantification of Distributionally Robust Risk of Cascade of Failures in Platoon of Vehicles

abstract: Achieving safety is a critical aspect of attaining autonomy in a platoon of autonomous vehicles. In this paper, we propose a distributionally robust risk framework to investigate cascading failures in platoons. To examine the impact of network connectivity and system dynamics on the emergence of cascading failures, we consider a time-delayed network model of the platoon of vehicles as a benchmark. To study the cascading effects among pairs of vehicles in the platoon, we use the measure of conditional distributionally robust functional. We extend the risk framework to quantify cascading failures by utilizing a bi-variate normal distribution. Our work establishes closed-form risk formulas that illustrate the effects of time-delay, noise statistics, underlying communication graph, and sets of soft failures. The insights gained from our research can be applied to design safe platoons that are robust to the risk of cascading failures. We validate our results through extensive simulations.


title: On improvements of the Hardy, Copson and Rellich inequalities

abstract: Using a method of factorization and by introducing a generalized discrete Dirichlet's Laplacian matrix $(-\Delta_{\Lambda})$, we establish an extended improved discrete Hardy's inequality and Rellich inequality in one dimension. We prove that the discrete Copson inequality (E.T. Copson, \emph{Notes on a series of positive terms}, J. London Math. Soc., 2 (1927), 9-12.) in one-dimension admits an improvement. We also prove that the improved Copson's weights are optimal (in fact \emph{critical}). It is shown that improvement of the Knopp inequalities (Knopp in J. London Math. Soc. 3(1928), 205-211 and 5(1930), 13-21) lies on improvement of the Rellich inequalities. Further, an improvement of the generalized Hardy's inequality (Hardy in Messanger of Math. 54(1925), 150-156) in a special case is obtained.


title: MATLAB Plasmonic Nanoparticle Virion Counting and Interpretation System in Urban Populations

abstract: One of the biggest issues currently plaguing the field of medicine is the lack of an accurate and efficient form of disease diagnosis especially in urban settings such as major cities. For example, the two most commonly utilized test diagnosis systems, the PCR and rapid test, sacrifice either accuracy or speed to achieve the other, and this could slow down epidemiologists working to combat the spread. Another issue currently present is the issue of viral quantification or the counting of virions within a nasal sample. These can provide doctors with crucial information in treating infections; however, the current mediums are underdeveloped and unstandardized. This project's goals were to 1) create an accurate and rapid RSV diagnostic test that could be replicated and utilized efficiently in urban settings and 2) design a viral quantification mechanism that counts the number of virions to provide more information to healthcare workers. This diagnostic test involved a system that pumped RSV-aggregated Au-nanoparticles and unaggregated Au-nanoparticles through a microcapillary, whose cross-section was intersected by two laser beams generating and detecting the nanobubbles. The signals between the unaggregated and aggregated nanobubbles were calibrated, and the number of RSV virions was recorded. The results yielded an accuracy of 99.99% and an average time of 5.2 minutes, validating that this design is both faster and more accurate compared to current tests. When cross-validated with Poisson statistics, the virion counting system counted the number of virions with 98.52% accuracy. To verify the accuracy of our samples, the results were compared to clinical trials of nasal samples, and our diagnostic system predicted accurate diagnostics after statistical analysis. With further testing, this diagnostic method could replace current standards of testing, saving millions of lives every year.


title: Integrated photonic-based coronagraphic systems for future space telescopes

abstract: The detection and characterization of Earth-like exoplanets around Sun-like stars is a primary science motivation for the Habitable Worlds Observatory. However, the current best technology is not yet advanced enough to reach the 10^-10 contrasts at close angular separations and at the same time remain insensitive to low-order aberrations, as would be required to achieve high-contrast imaging of exo-Earths. Photonic technologies could fill this gap, potentially doubling exo-Earth yield. We review current work on photonic coronagraphs and investigate the potential of hybridized designs which combine both classical coronagraph designs and photonic technologies into a single optical system. We present two possible systems. First, a hybrid solution which splits the field of view spatially such that the photonics handle light within the inner working angle and a conventional coronagraph that suppresses starlight outside it. Second, a hybrid solution where the conventional coronagraph and photonics operate in series, complementing each other and thereby loosening requirements on each subsystem. As photonic technologies continue to advance, a hybrid or fully photonic coronagraph holds great potential for future exoplanet imaging from space.


title: Testing for Stationary or Persistent Coefficient Randomness in Predictive Regressions

abstract: This study considers tests for coefficient randomness in predictive regressions. Our focus is on how tests for coefficient randomness are influenced by the persistence of random coefficient. We show that when the random coefficient is stationary, or I(0), Nyblom's (1989) LM test loses its optimality (in terms of power), which is established against the alternative of integrated, or I(1), random coefficient. We demonstrate this by constructing a test that is more powerful than the LM test when the random coefficient is stationary, although the test is dominated in terms of power by the LM test when the random coefficient is integrated. The power comparison is made under the sequence of local alternatives that approaches the null hypothesis at different rates depending on the persistence of the random coefficient and which test is considered. We revisit an earlier empirical research and apply the tests considered in this study to the U.S. stock returns data. The result mostly reverses the earlier finding.


title: Representing topological full groups in Steinberg algebras and C*-algebras

abstract: We study the natural representation of the topological full group of an ample Hausdorff groupoid in the groupoid's complex Steinberg algebra and in its full and reduced C*-algebras. We characterise precisely when this representation is injective and show that it is rarely surjective. We then restrict our attention to discrete groupoids, which provide unexpected insight into the behaviour of the representation of the topological full group in the full and reduced groupoid C*-algebras. We show that the image of the representation is not dense in the full groupoid C*-algebra unless the groupoid is a group, and we provide an example showing that the image of the representation may still be dense in the reduced groupoid C*-algebra even when the groupoid is not a group.


title: On polynomial symmetry algebras underlying superintegrable systems in Darboux spaces

abstract: We review three different approaches to polynomial symmetry algebras underlying superintegrable systems in Darboux spaces. The first method consists of using deformed oscillator algebra to obtain finite-dimensional representations of quadratic algebras. This allow one to gain information on the spectrum of the superintegrable systems. The second method has similarities with the induced module construction approach in the context of Lie algebras and can be used to construct infinite dimensional representations of the symmetry algebras. Explicit construction of these representations is a non-trivial task due to the non-linearity of the polynomial algebras. This method allows the construction of states of the superintegrable systems beyond the reach of separation of variables. As a result, we are able to construct a large number of states in terms of Airy, Bessel and Whittaker functions which would be difficult to obtain in other ways. We also discuss the third approach which is based on the notion of commutants of subalgebras in the enveloping algebra of a Poisson algebra or a Lie algebra. This allows us to discover new superintegrable models in the Darboux spaces and to construct their integrals and symmetry algebras via polynomials in the enveloping algebras.