Search

J.-P. Serre, in his paper [1], established a sufficient condition on $n$ for the $n$-th coefficient of the series $\eta^{26}$ to vanish. However, the question that whether this is a necessary condition remained unanswered. In this paper, using the theory of Hecke eigenforms explored by Serre, we prove some partial cases for the converse part., Comment: arXiv admin note: text overlap with arXiv:2006.15511 by other authors

In this paper, we establish the existence of positive density collection of $d\in\mathbb{N}$ such that class numbers of $\mathbb{Q}(\sqrt{d}), \ \mathbb{Q}(\sqrt{d+1})\dots\mathbb{Q}(\sqrt{d+n})$ are not divisible by $3^k$ for $n=3^{k+1}-5$ for any $k\in\mathbb{N}$. This result constitutes the indivisibility counterpart of Iizuka's conjecture. For the same choice of $n$, we prove the existence of positive density collection of $d$, in the set of negative integers, such that the class numbers of $\mathbb{Q}(\sqrt{d}), \ \mathbb{Q}(\sqrt{d+1}),\dots,\mathbb{Q}(\sqrt{d+n})$ are not divisible by $3^{k+1}$. Further, we write the set of all square-free natural numbers as an increasing sequence $(d_n)$ and prove the existence of positive density collection of $i$ in the set of natural numbers such that the class numbers of the number fields $\mathbb{Q}(\sqrt{d_i}), \ \mathbb{Q}(\sqrt{d_{i+1}}),\ \mathbb{Q}(\sqrt{d_{i+2}}),$ $ \mathbb{Q}(\sqrt{d_{i+3}}),\dots, \mathbb{Q}(\sqrt{d_{i+n}})$ are not divisible by $3^k$ for $n=3^{k+1}-5$. For higher degree, we show that certain limit of the collection of imaginary bi-quadratic fields whose class number is not divisible by $3$ over all the imaginary biquadratic fields is positive.

This paper details a significant milestone towards maturing a buoyant aerial robotic platform, or aerobot, for flight in the Venus clouds. We describe two flights of our subscale altitude-controlled aerobot, fabricated from the materials necessary to survive Venus conditions. During these flights over the Nevada Black Rock desert, the prototype flew at the identical atmospheric densities as 54 to 55 km cloud layer altitudes on Venus. We further describe a first-principle aerobot dynamics model which we validate against the Nevada flight data and subsequently employ to predict the performance of future aerobots on Venus. The aerobot discussed in this paper is under JPL development for an in-situ mission flying multiple circumnavigations of Venus, sampling the chemical and physical properties of the planet's atmosphere and also remotely sensing surface properties., Comment: Preprint submitted to AIAA Journal of Aircraft

This paper considers the problem of steady-state real-time optimization (RTO) of interconnected systems with a common constraint that couples several units, for example, a shared resource. Such problems are often studied under the context of distributed optimization, where decisions are made locally in each subsystem, and are coordinated to optimize the overall performance. Here, we use distributed feedback-optimizing control framework, where the local systems and the coordinator problems are converted into feedback control problems. This is a powerful scheme that allows us to design feedback control loops, and estimate parameters locally, as well as provide local fast response, allowing different closed-loop time constants for each local subsystem. This paper provides a comparative study of different distributed feedback optimizing control architectures using two case studies. The first case study considers the problem of demand response in a residential energy hub powered by a common renewable energy source, and compares the different feedback optimizing control approaches using simulations. The second case study experimentally validates and compares the different approaches using a lab-scale experimental rig that emulates a subsea oil production network, where the common resource is the gas lift that must be optimally allocated among the wells. %The pros and cons of the different approaches are discussed., Comment: Accepted to IEEE Transactions on Control Systems Technology

The Artificial intelligence in critical sectors-healthcare, finance, and public safety-has made system integrity paramount for maintaining societal trust. Current verification methods for AI systems lack comprehensive lifecycle assurance, creating significant vulnerabilities in deployment of both powerful and trustworthy AI. This research introduces Meta-Sealing, a cryptographic framework that fundamentally changes integrity verification in AI systems throughout their operational lifetime. Meta-Sealing surpasses traditional integrity protocols through its implementation of cryptographic seal chains, establishing verifiable, immutable records for all system decisions and transformations. The framework combines advanced cryptography with distributed verification, delivering tamper-evident guarantees that achieve both mathematical rigor and computational efficiency. Our implementation addresses urgent regulatory requirements for AI system transparency and auditability. The framework integrates with current AI governance standards, specifically the EU's AI Act and FDA's healthcare AI guidelines, enabling organizations to maintain operational efficiency while meeting compliance requirements. Testing on financial institution data demonstrated Meta-Sealing's capability to reduce audit timeframes by 62% while enhancing stakeholder confidence by 47%. Results can establish a new benchmark for integrity assurance in enterprise AI deployments. This research presents Meta-Sealing not merely as a technical solution, but as a foundational framework ensuring AI system integrity aligns with human values and regulatory requirements. As AI continues to influence critical decisions, provides the necessary bridge between technological advancement and verifiable trust. Meta-Sealing serves as a guardian of trust, ensuring that the AI systems we depend on are as reliable and transparent as they are powerful., Comment: 24 pages, 3 figures and 10 Code blocks, to be presented in the conference

As AI systems increasingly integrate into critical societal sectors, the demand for robust privacy-preserving methods has escalated. This paper introduces Data Obfuscation through Latent Space Projection (LSP), a novel technique aimed at enhancing AI governance and ensuring Responsible AI compliance. LSP uses machine learning to project sensitive data into a latent space, effectively obfuscating it while preserving essential features for model training and inference. Unlike traditional privacy methods like differential privacy or homomorphic encryption, LSP transforms data into an abstract, lower-dimensional form, achieving a delicate balance between data utility and privacy. Leveraging autoencoders and adversarial training, LSP separates sensitive from non-sensitive information, allowing for precise control over privacy-utility trade-offs. We validate LSP's effectiveness through experiments on benchmark datasets and two real-world case studies: healthcare cancer diagnosis and financial fraud analysis. Our results show LSP achieves high performance (98.7% accuracy in image classification) while providing strong privacy (97.3% protection against sensitive attribute inference), outperforming traditional anonymization and privacy-preserving methods. The paper also examines LSP's alignment with global AI governance frameworks, such as GDPR, CCPA, and HIPAA, highlighting its contribution to fairness, transparency, and accountability. By embedding privacy within the machine learning pipeline, LSP offers a promising approach to developing AI systems that respect privacy while delivering valuable insights. We conclude by discussing future research directions, including theoretical privacy guarantees, integration with federated learning, and enhancing latent space interpretability, positioning LSP as a critical tool for ethical AI advancement., Comment: 19 pages, 6 figures, submitted to Conference ICADCML2025

This work reports the fabrication and characterization of a NiOx/\b{eta}-Ga2O3 heterojunction diode (HJD) that uses a metallic nickel (Ni) target to deposit NiOx layers via reactive RF magnetron sputtering and lift-off processing with >3 kV breakdown voltage, record-low reverse current leakage under high reverse bias, and high junction electric fields (>3.34 MV/cm). The heterojunction diodes are fabricated via bilayer NiOx sputtering followed by self-aligned mesa-etching for field-termination on both large (1-mm2) and small area (100-{\mu}m diameter) devices. The HJD exhibits a ~135 A/cm2 forward current density at 5 V with a rectifying ratio of ~1010. The minimum differential specific on-resistance is measured to be 17.26 m{\Omega} cm2. The breakdown voltage on 100-{\mu}m diameter pads was measured to be greater than 3 kV with a noise floor-level reverse leakage current density (10-8~10-6 A/cm2) until 3 kV, accomplishing a parallel-plane junction electric field to be at least 3.34 MV/cm at 3 kV with a power figure of merit (PFOM) >0.52 GW/cm2. Temperature-dependent forward current density-voltage (J-V) measurements are performed from room temperature (25 C) to 200 C which showed a temperature coefficient of resistance ({\alpha}) equaling 1.56, higher than that of \b{eta}-Ga2O3 Schottky barrier diodes (SBDs), indicating potential conductivity degradation within NiOx at elevated temperatures., Comment: 6 pages, 5 figures, APL Journal

Aerosol effects on climate, weather, and air quality depend on characteristics of individual particles, which are tremendously diverse and change in time. Particle-resolved models are the only models able to capture this diversity in particle physiochemical properties, and these models are computationally expensive. As a strategy for accelerating particle-resolved microphysics models, we introduce Graph-based Learning of Aerosol Dynamics (GLAD) and use this model to train a surrogate of the particle-resolved model PartMC-MOSAIC. GLAD implements a Graph Network-based Simulator (GNS), a machine learning framework that has been used to simulate particle-based fluid dynamics models. In GLAD, each particle is represented as a node in a graph, and the evolution of the particle population over time is simulated through learned message passing. We demonstrate our GNS approach on a simple aerosol system that includes condensation of sulfuric acid onto particles composed of sulfate, black carbon, organic carbon, and water. A graph with particles as nodes is constructed, and a graph neural network (GNN) is then trained using the model output from PartMC-MOSAIC. The trained GNN can then be used for simulating and predicting aerosol dynamics over time. Results demonstrate the framework's ability to accurately learn chemical dynamics and generalize across different scenarios, achieving efficient training and prediction times. We evaluate the performance across three scenarios, highlighting the framework's robustness and adaptability in modeling aerosol microphysics and chemistry.

Designing algorithms for space bounded models with restoration requirements on the space used by the algorithm is an important challenge posed about the catalytic computation model introduced by Buhrman et al. (2014). Motivated by the scenarios where we do not need to restore unless is useful, we define $ACL(A)$ to be the class of languages that can be accepted by almost-catalytic Turing machines with respect to $A$ (which we call the catalytic set), that uses at most $c\log n$ work space and $n^c$ catalytic space. We show that if there are almost-catalytic algorithms for a problem with catalytic set as $A \subseteq \Sigma^*$ and its complement respectively, then the problem can be solved by a ZPP algorithm. Using this, we derive that to design catalytic algorithms, it suffices to design almost-catalytic algorithms where the catalytic set is the set of strings of odd weight ($PARITY$). Towards this, we consider two complexity measures of the set $A$ which are maximized for $PARITY$ - random projection complexity (${\cal R}(A)$) and the subcube partition complexity (${\cal P}(A)$). By making use of error-correcting codes, we show that for all $k \ge 1$, there is a language $A_k \subseteq \Sigma^*$ such that $DSPACE(n^k) \subseteq ACL(A_k)$ where for every $m \ge 1$, $\mathcal{R}(A_k \cap \{0,1\}^m) \ge \frac{m}{4}$ and $\mathcal{P}(A_k \cap \{0,1\}^m)=2^{m/4}$. This contrasts the catalytic machine model where it is unclear if it can accept all languages in $DSPACE(\log^{1+\epsilon} n)$ for any $\epsilon > 0$. Improving the partition complexity of the catalytic set $A$ further, we show that for all $k \ge 1$, there is a $A_k \subseteq \{0,1\}^*$ such that $\mathsf{DSPACE}(\log^k n) \subseteq ACL(A_k)$ where for every $m \ge 1$, $\mathcal{R}(A_k \cap \{0,1\}^m) \ge \frac{m}{4}$ and $\mathcal{P}(A_k \cap \{0,1\}^m)=2^{m/4+\Omega(\log m)}$., Comment: 22 pages, A new lower bound on the subcube partition complexity of Hamming balls (Proposition 2.6 and Lemma 2.7), improving the bound and fixing an error in the previous version

In this article, we investigate the in-situ growth of Al$_2$O$_3$ on $\beta$-Ga$_2$O$_3$ using metal-organic chemical vapor deposition (MOCVD) at a high temperature of 800{\deg}C. The Al$_2$O$_3$ is grown within the same reactor as the $\beta$-Ga$_2$O$_3$, employing trimethylaluminum (TMAl) and O$_2$ as precursors without breaking the vacuum. We characterize the shallow and deep-level traps through stressed capacitance-voltage (C-V) and photo-assisted C-V methods. The high-temperature deposited dielectric demonstrates an impressive breakdown field of approximately 10 MV/cm. Furthermore, we evaluate the reliability and lifetime of the dielectrics using time-dependent dielectric breakdown (TDDB) measurements. By modifying the dielectric deposition process to include a high-temperature (800{\deg}C) thin interfacial layer and a low-temperature (600{\deg}C) bulk layer, we report a 10-year lifetime under a stress field of 3.5 MV/cm along a breakdown field of 7.8 MV/cm.

Watkins's conjecture suggests that for an elliptic curve $E/\mathbb{Q}$, the rank of the group $E(\mathbb{Q})$ of rational points is bounded above by $\nu_2 (m_E)$, where $m_E$ is the modular degree associated with $E$. It is known that Watkins's conjecture holds on average. This article investigates the conjecture over certain thin families of elliptic curves. For example, for prime $\ell$, we quantify the elliptic curves featuring a rational $\ell$-torsion that satisfies Watkins's conjecture. Additionally, the study extends to a broader context, investigating the inequality $\mathrm{rank}(E(\mathbb{Q}))+M\leq \nu_2(m_E)$ for any positive integer $M$., Comment: 26 pages; comments, and feedback are welcome

We report on metalorganic chemical vapor deposition (MOCVD) growth of controllably Si-doped 4.5 $\mu$m thick $\beta$-Ga$_2$O$_3$ films with electron concentrations in the 10$^{15}$ cm$^{-3}$ range and record-high room temperature Hall electron mobilities of up to 200 cm$^2$/V.s, reaching the predicted theoretical maximum room temperature mobility value for $\beta$-Ga$_2$O$_3$. Growth of the homoepitaxial films was performed on Fe-doped (010) $\beta$-Ga$_2$O$_3$ substrates at a growth rate of 1.9 $\mu$m/hr using TEGa as the Gallium precursor. To probe the background electron concentration, an unintentionally doped film was grown with a Hall concentration of 3.43 x 10$^{15}$ cm$^{-3}$ and Hall mobility of 196 cm$^2$/V.s. Growth of intentionally Si-Doped films was accomplished by fixing all growth conditions and varying only the silane flow, with controllable Hall electron concentrations ranging from 4.38 x 10$^{15}$ cm$^{-3}$ to 8.30 x 10$^{15}$ cm$^{-3}$ and exceptional Hall mobilities ranging from 194 - 200 cm$^2$/V.s demonstrated. C-V measurements showed a flat charge profile with the N$_D^+$ - N$_A^-$ values correlating well with the Hall-measured electron concentration in the films. SIMS measurements showed the silicon atomic concentration matched the Hall electron concentration with Carbon and Hydrogen below detection limit in the films. The Hall, C-V, and SIMS data indicate the growth of high-quality 4.5 $\mu$m thick $\beta$-Ga$_2$O$_3$ films and controllable doping into the mid 10$^{15}$ cm$^{-3}$ range. These results demonstrate MOCVD growth of electronics grade record-high mobility, low carrier density, and thick $\beta$-Ga$_2$O$_3$ drift layers for next generation vertical $\beta$-Ga$_2$O$_3$ power devices., Comment: 16 Pages, 10 Figures, 2 Tables

Sample Return Capsules (SRCs) entering Earth's atmosphere at hypervelocity from interplanetary space are a valuable resource for studying meteor phenomena. The 24 September 2023 arrival of the OSIRIS-REx (Origins, Spectral Interpretation, Resource Identification, and Security-Regolith Explorer) SRC provided an unprecedented chance for geophysical observations of a well-characterized source with known parameters, including timing and trajectory. A collaborative effort involving researchers from 16 institutions executed a carefully planned geophysical observational campaign at strategically chosen locations, deploying over 400 ground-based sensors encompassing infrasound, seismic, distributed acoustic sensing (DAS), and GPS technologies. Additionally, balloons equipped with infrasound sensors were launched to capture signals at higher altitudes. This campaign (the largest of its kind so far) yielded a wealth of invaluable data anticipated to fuel scientific inquiry for years to come. The success of the observational campaign is evidenced by the near-universal detection of signals across instruments, both proximal and distal. This paper presents a comprehensive overview of the collective scientific effort, field deployment, and preliminary findings. The early findings have the potential to inform future space missions and terrestrial campaigns, contributing to our understanding of meteoroid interactions with planetary atmospheres. Furthermore, the dataset collected during this campaign will improve entry and propagation models as well as augment the study of atmospheric dynamics and shock phenomena generated by meteoroids and similar sources., Comment: 87 pages, 14 figures

Magneto-optical properties of materials are utilized in numerous applications both in scientific research and industries. The novel properties of these materials can be further investigated by performing metrology in the infrared wavelength range, thereby enriching their potential applications. However, current infrared metrology techniques can be challenging and resource-intensive due to the unavailability of suitable components. To address these challenges, we propose and demonstrate a set of measurements based on nonlinear interferometry, which allows us investigating magneto-optical properties of materials at infrared wavelength range by performing optical detection at the visible range. For a proof-of-principle study, we measure the Verdet constant of a bismuth-iron-garnet, over a spectral bandwidth of 600 nm in the near-IR range., Comment: 10 pages, 12 fugures

In this paper, a hydrogen-based energy storage system (ESS) is proposed for DC microgrids, which can potentially be integrated with battery ESS to meet the needs of future grids with high renewable penetration. Hydrogen-based ESS can provide a stable energy supply for a long time but has a slower response than battery ESSs. However, a combination of battery and hydrogen storage provides stable energy for an extended period of time and can easily handle the sudden demands and surpluses of the microgrid. One of the main challenges in this system is the integration of power electronics with fuel cell technology to convert renewable energy into electricity seamlessly. This paper proposes a system that uses an isolated DC-DC converter to activate clean hydrogen production using an electrolyzer and then pressurize the hydrogen to store in a tank. The pressured hydrogen becomes an essential input to the fuel cell, which regulates and transforms it into electricity. The electricity produced is then transferred to the grid using a DC-DC boost converter. A Simulink model of the hybrid system with a 1 kV DC bus voltage is used to demonstrate the hydrogen production and fuel cell behavior based on the demand and surplus power of the loads. The proposed system simulates aspects of the power conversion, electrolyzer, storage tank, and fuel cell needed for the proposed hybrid ESS. Due to its economic feasibility, the polymer electrolyte membrane (PEM) is the primary technology considered for the electrolyzer and fuel cell., Comment: A 5-pages Digest paper summarizes in detail the work done

This paper investigates the radio resource management (RRM) design for multiuser rate-splitting multiple access (RSMA), accounting for various characteristics of practical wireless systems, such as the use of discrete rates, the inability to serve all users, and the imperfect successive interference cancellation (SIC). Specifically, failure to consider these characteristics in RRM design may lead to inefficient use of radio resources. Therefore, we formulate the RRM of RSMA as optimization problems to maximize respectively the weighted sum rate (WSR) and weighted energy efficiency (WEE), and jointly optimize the beamforming, user admission, discrete/continuous rates, accounting for imperfect SIC, which result in nonconvex mixed-integer nonlinear programs that are challenging to solve. Despite the difficulty of the optimization problems, we develop algorithms that can find high-quality solutions. We show via simulations that carefully accounting for the aforementioned characteristics, can lead to significant gains. Precisely, by considering that transmission rates are discrete, the transmit power can be utilized more intelligently, allocating just enough power to guarantee a given discrete rate. Additionally, we reveal that user admission plays a crucial role in RSMA, enabling additional gains compared to random admission by facilitating the servicing of selected users with mutually beneficial channel characteristics. Furthermore, provisioning for possibly imperfect SIC makes RSMA more robust and reliable.

Electronic health records (EHR) even though a boon for healthcare practitioners, are growing convoluted and longer every day. Sifting around these lengthy EHRs is taxing and becomes a cumbersome part of physician-patient interaction. Several approaches have been proposed to help alleviate this prevalent issue either via summarization or sectioning, however, only a few approaches have truly been helpful in the past. With the rise of automated methods, machine learning (ML) has shown promise in solving the task of identifying relevant sections in EHR. However, most ML methods rely on labeled data which is difficult to get in healthcare. Large language models (LLMs) on the other hand, have performed impressive feats in natural language processing (NLP), that too in a zero-shot manner, i.e. without any labeled data. To that end, we propose using LLMs to identify relevant section headers. We find that GPT-4 can effectively solve the task on both zero and few-shot settings as well as segment dramatically better than state-of-the-art methods. Additionally, we also annotate a much harder real world dataset and find that GPT-4 struggles to perform well, alluding to further research and harder benchmarks., Comment: To appear in NAACL 2024 at the 6th Clinical Natural Language Processing Workshop

Monoclinic $\beta$-Ga$_2$O$_3$ films grown on $c$-plane sapphire have been shown to exhibit six $(\bar{2}01)$-plane oriented domains, which are equally-spaced-by-rotation around the surface normal and equally-sized-by-volume that render the film optical response effectively uniaxial. We derive and discuss an optical model suitable for ellipsometry data analysis of such films. We model mid- and far-infrared ellipsometry data from undoped and electrically insulating films with an effective uniaxial dielectric tensor based on projections of all phonon modes within the rotation domains parallel and perpendicular to the sample normal, i.e., to the reciprocal lattice vector $\mathbf{g}_{\bar{2}01}$. Two effective response functions are described by model, and found sufficient to calculate ellipsometry data that best-match measured ellipsometry data from a representative film. We propose to render either effective dielectric functions, or inverse effective dielectric functions, each separately for electric field directions parallel and perpendicular to $\mathbf{g}_{\bar{2}01}$, by sums of Lorentz oscillators, which permit to determine either sets of transverse optical phonon mode parameters, or sets of longitudinal optical phonon mode parameters, respectively. Transverse optical modes common to both dielectric functions can be traced back to single crystal modes with $B_{\mathrm{u}}$ character, while modes with $A_{\mathrm{u}}$ character only appear within the dielectric function for polarization perpendicular to the sample surface. The thereby obtained parameter sets reveal all phonon modes anticipated from averaging over the six-fold rotation domains of single crystal $\beta$-Ga$_2$O$_3$, but with slightly shifted transverse optical, and completely different longitudinal optical phonon modes., Comment: 14 pgaes, 8 figures

We define a new framework that unifies the filtration and mapper approaches from TDA, and present efficient algorithms to compute it. Termed the box filtration of a PCD, we grow boxes (hyperrectangles) that are not necessarily centered at each point (in place of balls centered at points). We grow the boxes non-uniformly and asymmetrically in different dimensions based on the distribution of points. We present two approaches to handle the boxes: a point cover where each point is assigned its own box at start, and a pixel cover that works with a pixelization of the space of the PCD. Any box cover in either setting automatically gives a mapper of the PCD. We show that the persistence diagrams generated by the box filtration using both point and pixel covers satisfy the classical stability based on the Gromov-Hausdorff distance. Using boxes also implies that the box filtration is identical for pairwise or higher order intersections whereas the VR and Cech filtration are not the same. Growth in each dimension is computed by solving a linear program (LP) that optimizes a cost functional balancing the cost of expansion and benefit of including more points in the box. The box filtration algorithm runs in $O(m|U(0)|\log(mn\pi)L(q))$ time, where $m$ is number of steps of increments considered for box growth, $|U(0)|$ is the number of boxes in the initial cover ($\leq$ number of points), $\pi$ is the step length for increasing each box dimension, each LP is solved in $O(L(q))$ time, $n$ is the PCD dimension, and $q = n \times |X|$. We demonstrate through multiple examples that the box filtration can produce more accurate results to summarize the topology of the PCD than VR and distance-to-measure (DTM) filtrations. Software for our implementation is available at https://github.com/pragup/Box-Filteration., Comment: 17 figures

Heliotropes are passive solar hot air balloons that are capable of achieving nearly level flight within the lower stratosphere for several hours. These inexpensive flight platforms enable stratospheric sensing with high-cadence enabled by the low cost to manufacture, but their performance has not yet been assessed systematically. During July to September of 2021, 29 heliotropes were successfully launched from Oklahoma and achieved float altitude as part of the Balloon-based Acoustic Seismology Study (BASS). All of the heliotrope envelopes were nearly identical with only minor variations to the flight line throughout the campaign. Flight data collected during this campaign comprise a large sample to characterize the typical heliotrope flight behavior during launch, ascent, float, and descent. Each flight stage is characterized, dependence on various parameters is quantified, and a discussion of nominal and anomalous flights is provided.

We explore the application of machine learning algorithms specifically to enhance the selection process of Russet potato clones in breeding trials by predicting their suitability for advancement. This study addresses the challenge of efficiently identifying high-yield, disease-resistant, and climate-resilient potato varieties that meet processing industry standards. Leveraging manually collected data from trials in the state of Oregon, we investigate the potential of a wide variety of state-of-the-art binary classification models. The dataset includes 1086 clones, with data on 38 attributes recorded for each clone, focusing on yield, size, appearance, and frying characteristics, with several control varieties planted consistently across four Oregon regions from 2013-2021. We conduct a comprehensive analysis of the dataset that includes preprocessing, feature engineering, and imputation to address missing values. We focus on several key metrics such as accuracy, F1-score, and Matthews correlation coefficient (MCC) for model evaluation. The top-performing models, namely a neural network classifier (Neural Net), histogram-based gradient boosting classifier (HGBC), and a support vector machine classifier (SVM), demonstrate consistent and significant results. To further validate our findings, we conduct a simulation study. By simulating different data-generating scenarios, we assess model robustness and performance through true positive, true negative, false positive, and false negative distributions, area under the receiver operating characteristic curve (AUC-ROC) and MCC. The simulation results highlight that non-linear models like SVM and HGBC consistently show higher AUC-ROC and MCC than logistic regression (LR), thus outperforming the traditional linear model across various distributions, and emphasizing the importance of model selection and tuning in agricultural trials., Comment: Minor revision; to appear in Crop Sciences

Let $U/K$ be a smooth affine curve over a number field and let $L$ be an irreducible rank 3 $\overline{\mathbb Q}_{\ell}$-local system on $U$ with trivial determinant and infinite geometric monodromy around a cusp. Suppose further that $L$ extends to an integral model such that the Frobenius traces are contained in a fixed totally real number field. Then, after potentially shrinking $U$, there exists an abelian scheme $f\colon B_U\rightarrow U$ such that $L$ is a summand of $R^2f_*\overline{\mathbb Q}_{\ell}(1)$. The key ingredients are: (1) the totally real assumption implies $L$ admits a square root $M$; (2) the trace field of $M$ is sufficiently bounded, allowing us to use recent work of Krishnamoorthy-Yang-Zuo to construct an abelian scheme over $U_{\bar K}$ geometrically realizing $L$; and (3) Deligne's weight-monodromy theorem and the Rapoport-Zink spectral sequence, which allow us to pin down the arithmetizations using the total degeneration., Comment: 3 pages, comments welcome!

Diffusion of native defects such as vacancies and their interactions with impurities are fundamental in semiconductor crystal growth, device processing, and long-term aging of equilibration and transient diffusion of vacancies are rarely investigated. We used aluminum-gallium oxide/gallium oxide superlattices (SLs) to detect and analyze transient diffusion of cation vacancies during annealing in O2 at 1000-1100 C. Using a novel finite difference scheme for the diffusion equation with time- and space-varying diffusion constant, we extract diffusion constants for Al, Fe, and cation vacancies under the given conditions, including the vacancy concentration dependence for Al. indicate that vacancies present in the substrate transiently diffuse through the SLs, interacting with Sn as it also diffuses. In the case of SLs grown on Sn-doped beta-gallium oxide substrates, gradients observed in the extent of Al diffusion indicate that vacancies present in the substrate transiently diffuse through the SLs, interacting with Sn as it also diffuses. In the case of SLs grown on (010) Fe-doped substrates, the Al diffusion is uniform through the SLs, indicating a depth-uniform concentration of vacancies. We find no evidence in either case for the introduction of gallium vacancies from the free surface at rates sufficient to affect Al diffusion down to ppm concentrations, which has important bearing on the validity of typically-made assumptions of vacancy equilibration. Additionally, we show that unintentional impurities in Sn-doped gallium oxide such as Fe, Ni, Mn, Cu, and Li also diffuse towards the surface and accumulate. Many of these likely have fast interstitial diffusion modes capable of destabilizing devices over time, thus highlighting the importance of controlling unintentional impurities in beta-gallium oxide wafers., Comment: 11 pages, 4 figures, references a supplimental which will be submitted seperately

Let $F$ (over $\mathbb{Q}$) be a totally real number field of narrow class number $1$. We generalize a result of Kohnen on the determination of half integral weight modular forms by their Fourier coefficients supported on squarefree (algebraic) integers. We also give a soft proof that infinitely many Fourier coefficients supported on squarefree integers are non-vanishing., Comment: Comments and suggestions welcome

We study the problem of comparing a pair of geometric networks that may not be similarly defined, i.e., when they do not have one-to-one correspondences between their nodes and edges. Our motivating application is to compare power distribution networks of a region. Due to the lack of openly available power network datasets, researchers synthesize realistic networks resembling their actual counterparts. But the synthetic digital twins may vary significantly from one another and from actual networks due to varying underlying assumptions and approaches. Hence the user wants to evaluate the quality of networks in terms of their structural similarity to actual power networks. But the lack of correspondence between the networks renders most standard approaches, e.g., subgraph isomorphism and edit distance, unsuitable. We propose an approach based on the multiscale flat norm, a notion of distance between objects defined in the field of geometric measure theory, to compute the distance between a pair of planar geometric networks. Using a triangulation of the domain containing the input networks, the flat norm distance between two networks at a given scale can be computed by solving a linear program. In addition, this computation automatically identifies the 2D regions (patches) that capture where the two networks are different. We demonstrate through 2D examples that the flat norm distance can capture the variations of inputs more accurately than the commonly used Hausdorff distance. As a notion of stability, we also derive upper bounds on the flat norm distance between a simple 1D curve and its perturbed version as a function of the radius of perturbation for a restricted class of perturbations. We demonstrate our approach on a set of actual power networks from a county in the USA., Comment: A shorter version (with subset of results) appeared in ICCS 2023

Given a bipartite graph $G(V= (A \cup B),E)$ with $n$ vertices and $m$ edges and a function $b \colon V \to \mathbb{Z}_+$, a $b$-matching is a subset of edges such that every vertex $v \in V$ is incident to at most $b(v)$ edges in the subset. When we are also given edge weights, the Max Weight $b$-Matching problem is to find a $b$-matching of maximum weight, which is a fundamental combinatorial optimization problem with many applications. Extending on the recent work of Zheng and Henzinger (IPCO, 2023) on standard bipartite matching problems, we develop a simple auction algorithm to approximately solve Max Weight $b$-Matching. Specifically, we present a multiplicative auction algorithm that gives a $(1 - \varepsilon)$-approximation in $O(m \varepsilon^{-1} \log \varepsilon^{-1} \log \beta)$ worst case time, where $\beta$ the maximum $b$-value. Although this is a $\log \beta$ factor greater than the current best approximation algorithm by Huang and Pettie (Algorithmica, 2022), it is considerably simpler to present, analyze, and implement., Comment: 14 pages; Accepted as a refereed paper in the 2024 INFORMS Optimization Society conference

This paper introduces a model-free real-time optimization (RTO) framework based on unconstrained Bayesian optimization with embedded constraint control. The main contribution lies in demonstrating how this approach simplifies the black-box optimization problem while ensuring "always-feasible" setpoints, addressing a critical challenge in real-time optimization with unknown cost and constraints. Noting that controlling the constraint does not require detailed process models, the key idea of this paper is to control the constraints to "some" setpoint using simple feedback controllers. Bayesian optimization then computes the optimum setpoint for the constraint controllers. By searching over the setpoints for the constraint controllers, as opposed to searching directly over the RTO degrees of freedom, this paper achieves an inherently safe and practical model-free RTO scheme. In particular, this paper shows that the proposed approach can achieve zero cumulative constraint violation without relying on assumptions about the Gaussian process model used in Bayesian optimization. The effectiveness of the proposed approach is demonstrated on a benchmark Williams-Otto reactor example., Comment: IFAC ADCHEM 2024

In this paper, we demonstrate the communication capabilities of light-fidelity (LiFi) systems based on highbrightness and high-bandwidth integrated laser-based sources in a surface mount device (SMD) packaging platform. The laserbased source is able to deliver 450 lumens of white light illumination and the resultant light brightness is over 1000 cd mm2. It is demonstrated that a wavelength division multiplexing (WDM) LiFi system with ten parallel channels is able to deliver over 100 Gbps data rate with the assistance of Volterra filter-based nonlinear equalisers. In addition, an aggregated transmission data rate of 4.8 Gbps has been achieved over a link distance of 500 m with the same type of SMD light source. This work demonstrates the scalability of LiFi systems that employ laserbased light sources, particularly in their capacity to enable highspeed short range, as well as long-range data transmission.

Application of nonlinear model predictive control (NMPC) to problems with hybrid dynamical systems, disjoint constraints, or discrete controls often results in mixed-integer formulations with both continuous and discrete decision variables. However, solving mixed-integer nonlinear programming problems (MINLP) in real-time is challenging, which can be a limiting factor in many applications. To address the computational complexity of solving mixed integer nonlinear model predictive control problem in real-time, this paper proposes an approximate mixed integer NMPC formulation based on value function approximation. Leveraging Bellman's principle of optimality, the key idea here is to divide the prediction horizon into two parts, where the optimal value function of the latter part of the prediction horizon is approximated offline using expert demonstrations. Doing so allows us to solve the MINMPC problem with a considerably shorter prediction horizon online, thereby reducing the online computation cost. The paper uses an inverted pendulum example with discrete controls to illustrate this approach.

The application of supervised learning techniques in combination with model predictive control (MPC) has recently generated significant interest, particularly in the area of approximate explicit MPC, where function approximators like deep neural networks are used to learn the MPC policy via optimal state-action pairs generated offline. While the aim of approximate explicit MPC is to closely replicate the MPC policy, substituting online optimization with a trained neural network, the performance guarantees that come with solving the online optimization problem are typically lost. This paper considers an alternative strategy, where supervised learning is used to learn the optimal value function offline instead of learning the optimal policy. This can then be used as the cost-to-go function in a myopic MPC with a very short prediction horizon, such that the online computation burden reduces significantly without affecting the controller performance. This approach differs from existing work on value function approximations in the sense that it learns the cost-to-go function by using offline-collected state-value pairs, rather than closed-loop performance data. The cost of generating the state-value pairs used for training is addressed using a sensitivity-based data augmentation scheme., Comment: IFAC NMPC 2024

With increasingly more powerful compute capabilities and resources in today's devices, traditionally compute-intensive automatic speech recognition (ASR) has been moving from the cloud to devices to better protect user privacy. However, it is still challenging to implement on-device ASR on resource-constrained devices, such as smartphones, smart wearables, and other smart home automation devices. In this paper, we propose a series of model architecture adaptions, neural network graph transformations, and numerical optimizations to fit an advanced Conformer based end-to-end streaming ASR system on resource-constrained devices without accuracy degradation. We achieve over 5.26 times faster than realtime (0.19 RTF) speech recognition on smart wearables while minimizing energy consumption and achieving state-of-the-art accuracy. The proposed methods are widely applicable to other transformer-based server-free AI applications. In addition, we provide a complete theory on optimal pre-normalizers that numerically stabilize layer normalization in any Lp-norm using any floating point precision.