title: Galerkin spectral estimation of vortex-dominated wake flows

abstract: We propose a technique for performing spectral (in time) analysis of spatially-resolved flowfield data, without needing any temporal resolution or information. This is achieved by combining projection-based reduced-order modeling with spectral proper orthogonal decomposition. In this method, space-only proper orthogonal decomposition is first performed on velocity data to identify a subspace onto which the known equations of motion are projected, following standard Galerkin projection techniques. The resulting reduced-order model is then utilized to generate time-resolved trajectories of data. Spectral proper orthogonal decomposition (SPOD) is then applied to this model-generated data to obtain a prediction of the spectral content of the system, while predicted SPOD modes can be obtained by lifting back to the original velocity field domain. This method is first demonstrated on a forced, randomly generated linear system, before being applied to study and reconstruct the spectral content of two-dimensional flow over two collinear flat plates perpendicular to an oncoming flow. At the range of Reynolds numbers considered, this configuration features an unsteady wake characterized by the formation and interaction of vortical structures in the wake. Depending on the Reynolds number, the wake can be periodic or feature broadband behavior, making it an insightful test case to assess the performance of the proposed method. In particular, we show that this method can accurately recover the spectral content of periodic, quasi-periodic, and broadband flows without utilizing any temporal information in the original data. To emphasize that temporal resolution is not required, we show that the predictive accuracy of the proposed method is robust to using temporally-subsampled data.


title: How Accurate Does It Feel? -- Human Perception of Different Types of Classification Mistakes

abstract: Supervised machine learning utilizes large datasets, often with ground truth labels annotated by humans. While some data points are easy to classify, others are hard to classify, which reduces the inter-annotator agreement. This causes noise for the classifier and might affect the user's perception of the classifier's performance. In our research, we investigated whether the classification difficulty of a data point influences how strongly a prediction mistake reduces the "perceived accuracy". In an experimental online study, 225 participants interacted with three fictive classifiers with equal accuracy (73%). The classifiers made prediction mistakes on three different types of data points (easy, difficult, impossible). After the interaction, participants judged the classifier's accuracy. We found that not all prediction mistakes reduced the perceived accuracy equally. Furthermore, the perceived accuracy differed significantly from the calculated accuracy. To conclude, accuracy and related measures seem unsuitable to represent how users perceive the performance of classifiers.


title: LAPTNet-FPN: Multi-scale LiDAR-aided Projective Transform Network for Real Time Semantic Grid Prediction

abstract: Semantic grids can be useful representations of the scene around an autonomous system. By having information about the layout of the space around itself, a robot can leverage this type of representation for crucial tasks such as navigation or tracking. By fusing information from multiple sensors, robustness can be increased and the computational load for the task can be lowered, achieving real time performance. Our multi-scale LiDAR-Aided Perspective Transform network uses information available in point clouds to guide the projection of image features to a top-view representation, resulting in a relative improvement in the state of the art for semantic grid generation for human (+8.67%) and movable object (+49.07%) classes in the nuScenes dataset, as well as achieving results close to the state of the art for the vehicle, drivable area and walkway classes, while performing inference at 25 FPS.


title: AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

abstract: Logic synthesis is one of the most important steps in design and implementation of digital chips with a big impact on final Quality of Results (QoR). For a most general input circuit modeled by a Directed Acyclic Graph (DAG), many logic synthesis problems such as delay or area minimization are NP-Complete, hence, no optimal solution is available. This is why many classical logic optimization functions tend to follow greedy approaches that are easily trapped in local minima that does not allow improving QoR as much as needed. We believe that Artificial Intelligence (AI) and more specifically Reinforcement Learning (RL) algorithms can help in solving this problem. This is because AI and RL can help minimizing QoR further by exiting from local minima. Our experiments on both open source and industrial benchmark circuits show that significant improvements on important metrics such as area, delay, and power can be achieved by making logic synthesis optimization functions AI-driven. For example, our RL-based rewriting algorithm could improve total cell area post-synthesis by up to 69.3% when compared to a classical rewriting algorithm with no AI awareness.


title: Low frequency electrical waves in ensembles of proteinoid microspheres

abstract: Proteinoids (thermal proteins) are produced by heating amino acids to their melting point and initiation of polymerisation to produce polymeric chains. Amino acid-like molecules, or proteinoids, can condense at high temperatures to create aggregation structures called proteinoid microspheres, which have been reported to exhibit strong electrical oscillations. When the amino acids L-Glutamic acid (L-Glu) and L-Aspartic acid (L-Asp) were combined with electric fields of varying frequencies and intensities, electrical activity resulted. We recorded electrical activity of the proteinoid microspheres' ensembles via a pair of differential electrodes. This is analogous to extracellular recording in physiology or EEG in neuroscience but at micro-level. We discovered that the ensembles produce spikes of electrical potential, an average duration of each spike is 26 min and average amplitude is 1 mV. The spikes are typically grouped in trains of two spikes. The electrical activity of the ensembles can be tuned by external stimulation because ensembles of proteinoid microspheres can generate and propagate electrical activity when exposed to electric fields.


title: Analog, In-memory Compute Architectures for Artificial Intelligence

abstract: This paper presents an analysis of the fundamental limits on energy efficiency in both digital and analog in-memory computing architectures, and compares their performance to single instruction, single data (scalar) machines specifically in the context of machine inference. The focus of the analysis is on how efficiency scales with the size, arithmetic intensity, and bit precision of the computation to be performed. It is shown that analog, in-memory computing architectures can approach arbitrarily high energy efficiency as both the problem size and processor size scales.


title: PADLL: Taming Metadata-intensive HPC Jobs Through Dynamic, Application-agnostic QoS Control

abstract: Modern I/O applications that run on HPC infrastructures are increasingly becoming read and metadata intensive. However, having multiple concurrent applications submitting large amounts of metadata operations can easily saturate the shared parallel file system's metadata resources, leading to overall performance degradation and I/O unfairness. We present PADLL, an application and file system agnostic storage middleware that enables QoS control of data and metadata workflows in HPC storage systems. It adopts ideas from Software-Defined Storage, building data plane stages that mediate and rate limit POSIX requests submitted to the shared file system, and a control plane that holistically coordinates how all I/O workflows are handled. We demonstrate its performance and feasibility under multiple QoS policies using synthetic benchmarks, real-world applications, and traces collected from a production file system. Results show that PADLL can enforce complex storage QoS policies over concurrent metadata-aggressive jobs, ensuring fairness and prioritization.


title: AV-data2vec: Self-supervised Learning of Audio-Visual Speech Representations with Contextualized Target Representations

abstract: Self-supervision has shown great potential for audio-visual speech recognition by vastly reducing the amount of labeled data required to build good systems. However, existing methods are either not entirely end-to-end or do not train joint representations of both modalities. In this paper, we introduce AV-data2vec which addresses these challenges and builds audio-visual representations based on predicting contextualized representations which has been successful in the uni-modal case. The model uses a shared transformer encoder for both audio and video and can combine both modalities to improve speech recognition. Results on LRS3 show that AV-data2vec consistently outperforms existing methods under all settings with the same amount of data and model size.


title: Closure Properties of General Grammars -- Formally Verified

abstract: We formalized general (i.e., type-0) grammars using the Lean 3 proof assistant. We defined basic notions of rewrite rules and of words derived by a grammar, and used grammars to show closure of the class of type-0 languages under four operations: union, reversal, concatenation, and the Kleene star. The literature mostly focuses on Turing machine arguments, which are possibly more difficult to formalize. For the Kleene star, we could not follow the literature and came up with our own grammar-based construction.


title: Non-equilibrium VLS-grown stable ST12-Ge thin film on Si substrate: A study on strain-induced band-engineering

abstract: The current work describes a novel method of growing thin films of stable crystalline ST12-Ge, a high pressure polymorph of Ge, on Si substrate by a non-equilibrium VLS-technique. The study explores the scheme of band engineering of ST12-Ge by inducing process-stress into it as a function of the growth temperature and film thickness. In the present work, ST12-Ge films are grown at 180 C - 250 C to obtain thicknesses of ~4.5-7.5 nm, which possess extremely good thermal stability up to a temperature of ~350 C. Micro-Raman study shows the stress induced in such ST12-Ge films to be compressive in nature and vary in the range of ~0.5-7.5 GPa. The measured direct band gap is observed to vary within 0.688 eV to 0.711 eV for such stresses, and four indirect band gaps are obtained to be 0.583 eV, 0.614-0.628 eV, 0.622-0.63 eV and 0.623-0.632 eV, accordingly. The corresponding band structures for unstrained and strained ST12-Ge are calculated by performing DFT simulation, which shows that a compressive stress transforms the fundamental band gap at M-G valley from indirect to direct one. Henceforth, the possible route of strain induced band engineering in ST12-Ge is explored by analyzing all the transitions in strained and unstrained band structures along with substantiation of the experimental results and theoretical calculations. The investigation shows that unstrained ST12-Ge is a natural n-type semiconductor which transforms into p-type upon incorporation of a compressive stress of ~5 GPa, with the in-plane electron effective mass components at M-G band edge to be ~0.09 me. Therefore, such band engineered ST12-Ge exhibits superior mobility along with its thermal stability and compatibility with Si, which can have potential applications to develop high-speed MOS devices for advanced CMOS technology.


title: On the pointwise regularity of the Multifractional Brownian Motion and some extensions

abstract: We study the pointwise regularity of the Multifractional Brownian Motion and in particular, we get the existence of slow points. It shows that a non self-similar process can still enjoy this property. We also consider various extensions of our results in the aim of requesting a weaker regularity assumption for the Hurst function without altering the regularity of the process.


title: Inference of multiple high-dimensional networks with the Graphical Horseshoe prior

abstract: We develop a novel full-Bayesian approach for multiple correlated precision matrices, called multiple Graphical Horseshoe (mGHS). The proposed approach relies on a novel multivariate shrinkage prior based on the Horseshoe prior that borrows strength and shares sparsity patterns across groups, improving posterior edge selection when the precision matrices are similar. On the other hand, there is no loss of performance when the groups are independent. Moreover, mGHS provides a similarity matrix estimate, useful for understanding network similarities across groups. We implement an efficient Metropolis-within-Gibbs for posterior inference; specifically, local variance parameters are updated via a novel and efficient modified rejection sampling algorithm that samples from a three-parameter Gamma distribution. The method scales well with respect to the number of variables and provides one of the fastest full-Bayesian approaches for the estimation of multiple precision matrices. Finally, edge selection is performed with a novel approach based on model cuts. We empirically demonstrate that mGHS outperforms competing approaches through both simulation studies and an application to a bike-sharing dataset.


title: Bipartite Dielectric Huygens' Metasurface for Anomalous Refraction

abstract: Huygens' metasurfaces - fundamentally based on Schelkunoff's equivalence principle, Huygens' metasurfaces consist of a two-dimensional array of Huygens' sources formed by co-located orthogonal electric and magnetic dipoles. Such metasurfaces provide electric and magnetic responses to an incoming electromagnetic (EM) wave, leading to unidirectional scattering and 2$\pi$ phase coverage. We herein report a near-reflectionless coarsely discretized dielectric Huygens' metasurface that performs anomalous refraction, offering a low-loss platform for wave manipulation at high frequencies as compared to their lossy metallic analogue. The coarse discretization dramatically simplifies the design, resulting in a metasurface that is highly efficient, cost-effective, and robust. In this paper, the proposed metasurface comprises two meta-atoms per period and is hence named the bipartite dielectric Huygens' metasurface. Through full-wave simulations at 28 GHz, we show that the proposed metasurface can reroute an incident EM wave from $\theta_i=15^{\circ}$ to $\theta_t=-44.5^{\circ}$ with very high efficiency: 87% of the scattered power is anomalously transmitted to $\theta_t$. Based on our observations, a coarsely discretized dielectric Huygens' metasurface platform can be efficacious to design meta-devices with multifaceted functionalities in different frequency regimes.


title: The Upper Bound on Antenna Gain and Its Feasibility as a Sum of Characteristic Gains

abstract: The upper bound on antenna gain is expressed as a sum of lossy characteristic modes, specifically, as a sum of characteristic far fields squared. The procedure combines the favorable properties of Harrington's classical approach to maximum directivity and current-density-based approaches. The upper bound is valid for any antenna or array designed in a given design region for which optimal performance is determined. The decomposition into modes makes it possible to study the degrees of freedom of an obstacle, classify its radiation into normal or super-directive currents, and determine their compatibility with a given excitation. The bound considers an arbitrary shape of the design region and specific material distribution. The cost in Q-factor and radiation efficiency is studied. The extra constraint of a self-resonance current is imposed for an electrically small antenna. The examples verify the developed theory, demonstrate the procedure's utility, and provide helpful insight to antenna designers. The feasibility of the optimal gain is studied in detail on an example of end-fire arrays using the aforementioned decomposition of optimal current density into lossy characteristic modes.


title: Linguistic ambiguity analysis in ChatGPT

abstract: Linguistic ambiguity is and has always been one of the main challenges in Natural Language Processing (NLP) systems. Modern Transformer architectures like BERT, T5 or more recently InstructGPT have achieved some impressive improvements in many NLP fields, but there is still plenty of work to do. Motivated by the uproar caused by ChatGPT, in this paper we provide an introduction to linguistic ambiguity, its varieties and their relevance in modern NLP, and perform an extensive empiric analysis. ChatGPT strengths and weaknesses are revealed, as well as strategies to get the most of this model.


title: HERMES: qualification of High pErformance pRogrammable Microprocessor and dEvelopment of Software ecosystem

abstract: European efforts to boost competitiveness in the sector of space services promote the research and development of advanced software and hardware solutions. The EU-funded HERMES project contributes to the effort by qualifying radiation-hardened, high-performance programmable microprocessors, and by developing a software ecosystem that facilitates the deployment of complex applications on such platforms. The main objectives of the project include reaching a technology readiness level of 6 (i.e., validated and demonstrated in relevant environment) for the rad-hard NG-ULTRA FPGA with its ceramic hermetic package CGA 1752, developed within projects of the European Space Agency, French National Centre for Space Studies and the European Union. An equally important share of the project is dedicated to the development and validation of tools that support multicore software programming and FPGA acceleration, including Bambu for High-Level Synthesis and the XtratuM hypervisor with a level one boot loader for virtualization.


title: A diagrammatic presentation of the category 3Cob

abstract: A category equivalent to the category of 3-dimensional cobordisms is defined in terms of planar diagrams. The operation of composition in this category is completely described via these diagrams.


title: Thermalization and dephasing in collisional reservoirs

abstract: We introduce a wide class of quantum maps that arise in collisional reservoirs and are able to thermalize a system if they operate in conjunction with an additional dephasing mechanism. These maps describe the effect of collisions and induce transitions between populations that obey detailed balance, but also create coherences that prevent the system from thermalizing. We combine these maps with a unitary evolution acting during random Poissonian times between collisions and causing dephasing. We find that, at a low collision rate, the nontrivial combination of these two effects causes thermalization in the system. This scenario is suitable for modeling collisional reservoirs at equilibrium. We justify this claim by identifying the conditions for such maps to arise within a scattering theory approach and provide a thorough characterization of the resulting thermalization process.


title: Deep Orthogonal Hypersphere Compression for Anomaly Detection

abstract: Many well-known and effective anomaly detection methods assume that a reasonable decision boundary has a hypersphere shape, which however is difficult to obtain in practice and is not sufficiently compact, especially when the data are in high-dimensional spaces. In this paper, we first propose a novel deep anomaly detection model that improves the original hypersphere learning through an orthogonal projection layer, which ensures that the training data distribution is consistent with the hypersphere hypothesis, thereby increasing the true positive rate and decreasing the false negative rate. Moreover, we propose a bi-hypersphere compression method to obtain a hyperspherical shell that yields a more compact decision region than a hyperball, which is demonstrated theoretically and numerically. The proposed methods are not confined to common datasets such as image and tabular data, but are also extended to a more challenging but promising scenario, graph-level anomaly detection, which learns graph representation with maximum mutual information between the substructure and global structure features while exploring orthogonal single- or bi-hypersphere anomaly decision boundaries. The numerical and visualization results on benchmark datasets demonstrate the superiority of our methods in comparison to many baselines and state-of-the-art methods.


title: Learning Tri-mode Grasping for Ambidextrous Robot Picking

abstract: Object picking in cluttered scenes is a widely investigated field of robot manipulation, however, ambidextrous robot picking is still an important and challenging issue. We found the fusion of different prehensile actions (grasp and suction) can expand the range of objects that can be picked by robot, and the fusion of prehensile action and nonprehensile action (push) can expand the picking space of ambidextrous robot. In this paper, we propose a Push-Grasp-Suction (PGS) tri-mode grasping learning network for ambidextrous robot picking through the fusion of different prehensile actions and the fusion of prehensile action and nonprehensile aciton. The prehensile branch of PGS takes point clouds as input, and the 6-DoF picking configuration of grasp and suction in cluttered scenes are generated by multi-task point cloud learning. The nonprehensile branch with depth image input generates instance segmentation map and push configuration, cooperating with the prehensile actions to complete the picking of objects out of single-arm space. PGS generalizes well in real scene and achieves state-of-the-art picking performance.


title: A Deep Learning-based Global and Segmentation-based Semantic Feature Fusion Approach for Indoor Scene Classification

abstract: This work proposes a novel approach that uses a semantic segmentation mask to obtain a 2D spatial layout of the segmentation-categories across the scene, designated by segmentation-based semantic features (SSFs). These features represent, per segmentation-category, the pixel count, as well as the 2D average position and respective standard deviation values. Moreover, a two-branch network, GS2F2App, that exploits CNN-based global features extracted from RGB images and the segmentation-based features extracted from the proposed SSFs, is also proposed. GS2F2App was evaluated in two indoor scene benchmark datasets: the SUN RGB-D and the NYU Depth V2, achieving state-of-the-art results on both datasets.


title: Label-efficient Time Series Representation Learning: A Review

abstract: The scarcity of labeled data is one of the main challenges of applying deep learning models on time series data in the real world. Therefore, several approaches, e.g., transfer learning, self-supervised learning, and semi-supervised learning, have been recently developed to promote the learning capability of deep learning models from the limited time series labels. In this survey, for the first time, we provide a novel taxonomy to categorize existing approaches that address the scarcity of labeled data problem in time series data based on their dependency on external data sources. Moreover, we present a review of the recent advances in each approach and conclude the limitations of the current works and provide future directions that could yield better progress in the field.


title: Efficient Graph Laplacian Estimation by Proximal Newton

abstract: The Laplacian-constrained Gaussian Markov Random Field (LGMRF) is a common multivariate statistical model for learning a weighted sparse dependency graph from given data. This graph learning problem can be formulated as a maximum likelihood estimation (MLE) of the precision matrix, subject to Laplacian structural constraints, with a sparsity-inducing penalty term. This paper aims to solve this learning problem accurately and efficiently. First, since the commonly used $\ell_1$-norm penalty is inappropriate in this setting and may lead to a complete graph, we employ the nonconvex minimax concave penalty (MCP), which promotes sparse solutions with lower estimation bias. Second, as opposed to existing first-order methods for this problem, we develop a second-order proximal Newton approach to obtain an efficient solver, utilizing several algorithmic features, such as using Conjugate Gradients, preconditioning, and splitting to active/free sets. Numerical experiments demonstrate the advantages of the proposed method in terms of both computational complexity and graph learning accuracy compared to existing methods.


title: Languages given by Finite Automata over the Unary Alphabet

abstract: This paper studies the complexity of operations with finite automata and the complexity of their decision problems when the alphabet is unary. (1) This paper improves the upper bound of the equality problem of unary nondeterministic automata from an exponential in the second root to an exponential in the third root of the number of states. This almost matches a known lower bound based on the exponential time hypothesis by Fernau and Krebs. (2) It is established that the standard regular operations of union, intersection, complementation and Kleene star cause either only a polynomial or a quasipolynomial blow-up. Concatenation of two $n$-state ufas, in worst case, causes a blow-up from $n$ to a function with an exponent of sixth root of $n$ or worse. Decision problems of finite formulas using regular operations and comparing languages given by $n$-state unambiguous automata, in worst case, require an exponential-type of time under the Exponential Time hypothesis and this complexity goes down to quasipolynomial time in the case that the concatenation of languages is not used in the formula. Merely comparing two languages given by $n$-state ufas in Chrobak Normal Form is in LOGSPACE. (3) Starting from this research, membership of the infinite word given by a unary alphabet language in a fixed regular language of infinite words is shown to be as difficult as constructing the dfa of that language from the given automaton.


title: Geometric Constraints Enable Self-Supervised Sinogram Inpainting in Sparse-View Tomography

abstract: The diagnostic quality of computed tomography (CT) scans is usually restricted by the induced patient dose, scan speed, and image quality. Sparse-angle tomographic scans reduce radiation exposure and accelerate data acquisition, but suffer from image artifacts and noise. Existing image processing algorithms can restore CT reconstruction quality but often require large training data sets or can not be used for truncated objects. This work presents a self-supervised projection inpainting method that allows optimizing missing projective views via gradient-based optimization. By reconstructing independent stacks of projection data, a self-supervised loss is calculated in the CT image domain and used to directly optimize projection image intensities to match the missing tomographic views constrained by the projection geometry. Our experiments on real X-ray microscope (XRM) tomographic mouse tibia bone scans show that our method improves reconstructions by 3.1-7.4%/7.7-17.6% in terms of PSNR/SSIM with respect to the interpolation baseline. Our approach is applicable as a flexible self-supervised projection inpainting tool for tomographic applications.


title: Frechet-Urysohn property of quasicontinuous functions

abstract: The aim of this paper is to study the Frechet-Urysohn property of the space $Q_p(X,\mathbb{R})$ of real-valued quasicontinuous functions, defined on a Hausdorff space $X$, endowed with the pointwise convergence topology. It is proved that under Suslin's Hypothesis, for an open Whyburn space $X$, the space $Q_p(X,\mathbb{R})$ is Frechet-Urysohn if and only if $X$ is countable. In particular, it is true in the class of first-countable regular spaces $X$. In ZFC, it is proved that for a metrizable space $X$, the space $Q_p(X,\mathbb{R})$ is Frechet-Urysohn if and only if $X$ is countable.


title: Analysis of the Effects of Curvature on the Solutions of Shallow Water Equations

abstract: The most used form of the Shallow Water Equations doesn't take into account the variation of the curvature of the base flow surface. In this paper, we compare the theoretical and numerical solutions of the standard model and with the solutions of an extended model and for a large class of base flow surfaces. We find that the solution of the standard model is still a good approximation for the extended model for many real life applications.


title: $Z$ boson radiative decays to a $S$-wave quarkonium at NNLO and NLL accuracy

abstract: Within the framework of nonrelativistic QCD (NRQCD) factorization formalism, we compute QCD next-to-next-to-leading order (NNLO) corrections to the helicity amplitudes as well as the decay width of $Z\to H+\gamma$, where $H$ can be $\eta_Q (Q=c,b), J/\psi$, or $\Upsilon$. In addition, we resum the next-to-leading logarithms (NLL) of ${m_Z^2}/{m_Q^2}$ to all orders of $\alpha_s$ for the leading-twist helicity amplitude by employing the light-cone factorization approach. It is worth mentioning that we obtain the analytic expressions of the truncated NLL at $\alpha_s^2$. We find that the $\mathcal{O}(\alpha_s)$ corrections are around 10\% for $\eta_c$ and $\Upsilon$ productions, however insignificant for $J/\psi$ and $\eta_b$ productions. The $\mathcal{O}(\alpha_s^2)$ corrections are moderate for charmonium production, while very small for bottomonium production. Moreover, it is found that the NLL resummation can considerably alter the NRQCD prediction, especially for $J/\psi$ production. Combining the NRQCD and light-cone computation, we make phenomenological predictions on the decay widths and branching fractions. In addition, we investigate the dependence of the theoretical results on the heavy quark mass, and find the branching fraction of $Z\to H+\gamma$ monotonically decreases as $m_Q$ increases.


title: Evaluation of a Search Interface for Preference-Based Ranking -- Measuring User Satisfaction and System Performance

abstract: Finding a product online can be a challenging task for users. Faceted search interfaces, often in combination with recommenders, can support users in finding a product that fits their preferences. However, those preferences are not always equally weighted: some might be more important to a user than others (e.g. red is the favorite color, but blue is also fine) and sometimes preferences are even contradictory (e.g. the lowest price vs. the highest performance). Often, there is even no product that meets all preferences. In those cases, faceted search interfaces reach their limits. In our research, we investigate the potential of a search interface, which allows a preference-based ranking based on weighted search and facet terms. We performed a user study with 24 participants and measured user satisfaction and system performance. The results show that with the preference-based search interface the users were given more alternatives that best meet their preferences and that they are more satisfied with the selected product than with a search interface using standard facets. Furthermore, in this work we study the relationship between user satisfaction and search precision within the whole search session and found first indications that there might be a relation between them.


title: ContrasInver: Ultra-Sparse Label Semi-supervised Regression for Multi-dimensional Seismic Inversion

abstract: The automated interpretation and inversion of seismic data have advanced significantly with the development of Deep Learning (DL) methods. However, these methods often require numerous costly well logs, limiting their application only to mature or synthetic data. This paper presents ContrasInver, a method that achieves seismic inversion using as few as two or three well logs, significantly reducing current requirements. In ContrasInver, we propose three key innovations to address the challenges of applying semi-supervised learning to regression tasks with ultra-sparse labels. The Multi-dimensional Sample Generation (MSG) technique pioneers a paradigm for sample generation in multi-dimensional inversion. It produces a large number of diverse samples from a single well, while establishing lateral continuity in seismic data. MSG yields substantial improvements over current techniques, even without the use of semi-supervised learning. The Region-Growing Training (RGT) strategy leverages the inherent continuity of seismic data, effectively propagating accuracy from closer to more distant regions based on the proximity of well logs. The Impedance Vectorization Projection (IVP) vectorizes impedance values and performs semi-supervised learning in a compressed space. We demonstrated that the Jacobian matrix derived from this space can filter out some outlier components in pseudo-label vectors, thereby solving the value confusion issue in semi-supervised regression learning. In the experiments, ContrasInver achieved state-of-the-art performance in the synthetic data SEAM I. In the field data with two or three well logs, only the methods based on the components proposed in this paper were able to achieve reasonable results. It's the first data-driven approach yielding reliable results on the Netherlands F3 and Delft, using only three and two well logs respectively.


title: Superconducting cavity qubit with tens of milliseconds single-photon coherence time

abstract: Storing quantum information for an extended period of time is essential for running quantum algorithms with low errors. Currently, superconducting quantum memories have coherence times of a few milliseconds, and surpassing this performance has remained an outstanding challenge. In this work, we report a qubit encoded in a novel superconducting cavity with a coherence time of 34 ms, an improvement of over an order of magnitude compared to previous demonstrations. We use this long-lived quantum memory to store a Schr\"odinger cat state with a record size of 1024 photons, indicating the cavity's potential for bosonic quantum error correction.


title: The multiple fibration problem for Seifert 3-orbifolds

abstract: We conclude the multiple fibration problem for closed orientable Seifert three-orbifolds, namely the determination of all the inequivalent fibrations that such an orbifold may admit. We treat here geometric orbifolds with geometries $\mathbb R^3$ and $\mathbb S^2\times\mathbb R$ and bad orbifolds (hence non-geometric), since the only other geometry for which the multiple fibration phenomenon occurs, namely $\mathbb S^3$, has been treated before by the second and third author. For the geometry $\mathbb R^3$ we recover, by direct and geometric arguments, the computer-assisted results obtained by Conway, Delgado-Friedrichs, Huson and Thurston.


title: Symmetry for transfinite computability

abstract: Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space. Standard models of transfinite computational break this symmetry; we consider ways to recover it and study the resulting model of computation. This model exhibits the same symmetry as finite Turing computation in universes constructible from a set of ordinals, but that statement is independent of von Neumann-G\"odel-Bernays class theory.


title: Technical Note: PDE-constrained Optimization Formulation for Tumor Growth Model Calibration

abstract: We discuss solution algorithms for calibrating a tumor growth model using imaging data posed as a deterministic inverse problem. The forward model consists of a nonlinear and time-dependent reaction-diffusion partial differential equation (PDE) with unknown parameters (diffusivity and proliferation rate) being spatial fields. We use a dimension-independent globalized, inexact Newton Conjugate Gradient algorithm to solve the PDE-constrained optimization. The required gradient and Hessian actions are also presented using the adjoint method and Lagrangian formalism.


title: The Search for Extraterrestrial Civilizations: A Scientific, Technical, Political, Social, and Cultural Adventure

abstract: I review the scientific and technical history of the Search for Extraterrestrial Intelligence (SETI), discuss the impact of the political involvement, and speculate on the nature of a successful detection and its potential social and cultural impact. Emphasis is on the development of SETI in the United States and the complementary progress in the Former Soviet Union.


title: A Kurdyka-Lojasiewicz property for stochastic optimization algorithms in a non-convex setting

abstract: Stochastic differentiable approximation schemes are widely used for solving high dimensional problems. Most of existing methods satisfy some desirable properties, including conditional descent inequalities, and almost sure (a.s.) convergence guarantees on the objective function, or on the involved gradient. However, for non-convex objective functions, a.s. convergence of the iterates, i.e., the stochastic process, to a critical point is usually not guaranteed, and remains an important challenge. In this article, we develop a framework to bridge the gap between descent-type inequalities and a.s. convergence of the associated stochastic process. Leveraging a novel Kurdyka-Lojasiewicz property, we show convergence guarantees of stochastic processes under mild assumptions on the objective function. We also provide examples of stochastic algorithms benefiting from the proposed framework and derive a.s. convergence guarantees on the iterates.


title: Joint Span Segmentation and Rhetorical Role Labeling with Data Augmentation for Legal Documents

abstract: Segmentation and Rhetorical Role Labeling of legal judgements play a crucial role in retrieval and adjacent tasks, including case summarization, semantic search, argument mining etc. Previous approaches have formulated this task either as independent classification or sequence labeling of sentences. In this work, we reformulate the task at span level as identifying spans of multiple consecutive sentences that share the same rhetorical role label to be assigned via classification. We employ semi-Markov Conditional Random Fields (CRF) to jointly learn span segmentation and span label assignment. We further explore three data augmentation strategies to mitigate the data scarcity in the specialized domain of law where individual documents tend to be very long and annotation cost is high. Our experiments demonstrate improvement of span-level prediction metrics with a semi-Markov CRF model over a CRF baseline. This benefit is contingent on the presence of multi sentence spans in the document.


title: XOR and XNOR gates in instantaneous noise based logic

abstract: In this paper, we propose a new method of applying the XOR and XNOR gates on exponentially large superpositions in Instantaneous Noise-Based Logic. These new gates are repeatable, and they can achieve an exponential speed up in computation with a polynomial requirement in hardware complexity.


title: Half-metallicity in $Ni_2XMn$ Heusler alloys ($X=Fe,Co,Cr$): ab-initio calculations

abstract: Lattice parameter, bulk modulus, formation energy and magnetism equilibrium structure in all-d transition metals $Ni_2XMn$ (X=Co,Cr,Fe) for Full and Inverse Heusler structure are studied by first-principles calculations. Tetragonal distortion is calculated for the equilibrium volume of each alloy and possible new equilibrium structures are reported. Density of electronic states are analyzed and the results lead to half-metallicity for this type of alloys.


title: Ordered Memory Baselines

abstract: Natural language semantics can be modeled using the phrase-structured model, which can be represented using a tree-type architecture. As a result, recent advances in natural language processing have been made utilising recursive neural networks using memory models that allow them to infer tree-type representations of the input sentence sequence. These new tree models have allowed for improvements in sentiment analysis and semantic recognition. Here we review the Ordered Memory model proposed by Shen et al. (2019) at the NeurIPS 2019 conference, and try to either create baselines that can perform better or create simpler models that can perform equally as well. We found that the Ordered Memory model performs on par with the state-of-the-art models used in tree-type modelling, and performs better than simplified baselines that require fewer parameters.


title: Mixed Multi-Model Semantic Interaction for Graph-based Narrative Visualizations

abstract: Narrative sensemaking is an essential part of understanding sequential data. Narrative maps are a visual representation model that can assist analysts to understand narratives. In this work, we present a semantic interaction (SI) framework for narrative maps that can support analysts through their sensemaking process. In contrast to traditional SI systems which rely on dimensionality reduction and work on a projection space, our approach has an additional abstraction layer -- the structure space -- that builds upon the projection space and encodes the narrative in a discrete structure. This extra layer introduces additional challenges that must be addressed when integrating SI with the narrative extraction pipeline. We address these challenges by presenting the general concept of Mixed Multi-Model Semantic Interaction (3MSI) -- an SI pipeline, where the highest-level model corresponds to an abstract discrete structure and the lower-level models are continuous. To evaluate the performance of our 3MSI models for narrative maps, we present a quantitative simulation-based evaluation and a qualitative evaluation with case studies and expert feedback. We find that our SI system can model the analysts' intent and support incremental formalism for narrative maps.


title: Boundary controllability for a degenerate beam equation

abstract: The paper deals with the controllability of a degenerate beam equation. In particular, we assume that the left end of the beam is fixed, while a suitable control $f$ acts on the right end of it. As a first step we prove the existence of a solution for the homogeneous problem, then we prove some estimates on its energy. Thanks to them we prove an observability inequality and, using the notion of solution by transposition, we prove that the initial problem is null controllable.


title: Outlier-Based Domain of Applicability Identification for Materials Property Prediction Models

abstract: Machine learning models have been widely applied for material property prediction. However, practical application of these models can be hindered by a lack of information about how well they will perform on previously unseen types of materials. Because machine learning model predictions depend on the quality of the available training data, different domains of the material feature space are predicted with different accuracy levels by such models. The ability to identify such domains enables the ability to find the confidence level of each prediction, to determine when and how the model should be employed depending on the prediction accuracy requirements of different tasks, and to improve the model for domains with high errors. In this work, we propose a method to find domains of applicability using a large feature space and also introduce analysis techniques to gain more insight into the detected domains and subdomains.


title: Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks

abstract: Constraint solving is an elementary way for verification of deep neural networks (DNN). In the domain of AI safety, a DNN might be modified in its structure and parameters for its repair or attack. For such situations, we propose the incremental DNN verification problem, which asks whether a safety property still holds after the DNN is modified. To solve the problem, we present an incremental satisfiability modulo theory (SMT) algorithm based on the Reluplex framework. We simulate the most important features of the configurations that infers the verification result of the searching branches in the old solving procedure (with respect to the original network), and heuristically check whether the proofs are still valid for the modified DNN. We implement our algorithm as an incremental solver called DeepInc, and exerimental results show that DeepInc is more efficient in most cases. For the cases that the property holds both before and after modification, the acceleration can be faster by several orders of magnitude, showing that DeepInc is outstanding in incrementally searching for counterexamples. Moreover, based on the framework, we propose the multi-objective DNN repair problem and give an algorithm based on our incremental SMT solving algorithm. Our repair method preserves more potential safety properties on the repaired DNNs compared with state-of-the-art.


title: Soft Continuum Actuator Tip Position and Contact Force Prediction, Using Electrical Impedance Tomography and Recurrent Neural Networks

abstract: Enabling dexterous manipulation and safe human-robot interaction, soft robots are widely used in numerous surgical applications. One of the complications associated with using soft robots in surgical applications is reconstructing their shape and the external force exerted on them. Several sensor-based and model-based approaches have been proposed to address the issue. In this paper, a shape sensing technique based on Electrical Impedance Tomography (EIT) is proposed. The performance of this sensing technique in predicting the tip position and contact force of a soft bending actuator is highlighted by conducting a series of empirical tests. The predictions were performed based on a data-driven approach using a Long Short-Term Memory (LSTM) recurrent neural network. The tip position predictions indicate the importance of using EIT data along with pressure inputs. Changing the number of EIT channels, we evaluated the effect of the number of EIT inputs on the accuracy of the predictions. The least RMSE values for the tip position are 3.6 and 4.6 mm in Y and Z coordinates, respectively, which are 7.36% and 6.07% of the actuator's total range of motion. Contact force predictions were conducted in three different bending angles and by varying the number of EIT channels. The results of the predictions illustrated that increasing the number of channels contributes to higher accuracy of the force estimation. The mean errors of using 8 channels are 7.69%, 2.13%, and 2.96% of the total force range in three different bending angles.


title: A full-stack view of probabilistic computing with p-bits: devices, architectures and algorithms

abstract: The transistor celebrated its 75${}^\text{th}$ birthday in 2022. The continued scaling of the transistor defined by Moore's Law continues, albeit at a slower pace. Meanwhile, computing demands and energy consumption required by modern artificial intelligence (AI) algorithms have skyrocketed. As an alternative to scaling transistors for general-purpose computing, the integration of transistors with unconventional technologies has emerged as a promising path for domain-specific computing. In this article, we provide a full-stack review of probabilistic computing with p-bits as a representative example of the energy-efficient and domain-specific computing movement. We argue that p-bits could be used to build energy-efficient probabilistic systems, tailored for probabilistic algorithms and applications. From hardware, architecture, and algorithmic perspectives, we outline the main applications of probabilistic computers ranging from probabilistic machine learning and AI to combinatorial optimization and quantum simulation. Combining emerging nanodevices with the existing CMOS ecosystem will lead to probabilistic computers with orders of magnitude improvements in energy efficiency and probabilistic sampling, potentially unlocking previously unexplored regimes for powerful probabilistic algorithms.


title: Partial-wave analysis of the radiative decay of J/psi into p pbar

abstract: The Standard Model describes the smallest building blocks of our universe, so-called quarks and leptons, and the forces that act on them. The building blocks can bundle into larger and heavier particles. These composite particles are called hadrons. One of the best-known hadrons is the proton. The Higgs boson, which was first detected in 2012, explains how the smallest building blocks get their mass. However, the Higgs mechanism only explains 1% of the mass of the proton. The other 99% arises from internal strong forces that are not yet well-understood. To better understand the 99%, it is important to study the production of hadrons in different processes, and to obtain information from as many different decay reactions as possible. Hadrons of the charmonia group, such as J/psi and the ground state eta_c, are highly suitable particles for this, and result in a relatively easy-to-interpret spectrum of narrow peaks that do not overlap. In this thesis the radiative decay of J/psi into a proton (p) and antiproton (pbar) is studied. The aim of this study was to gain a better understanding of the full spectrum of the proton-antiproton invariant mass, and especially to gain more insight into the poorly-understood properties of the intermediate resonance eta_c. In this study, a special multidimensional analysis, a so-called partial-wave analysis, was applied for the first time to the radiative decay from J/psi to eta_c. This study is based on data taken by the Beijing Spectrometer (BES) III, which has collected world's largest dataset of J/psi reactions.


title: Encoding Sentence Position in Context-Aware Neural Machine Translation with Concatenation

abstract: Context-aware translation can be achieved by processing a concatenation of consecutive sentences with the standard Transformer architecture. This paper investigates the intuitive idea of providing the model with explicit information about the position of the sentences contained in the concatenation window. We compare various methods to encode sentence positions into token representations, including novel methods. Our results show that the Transformer benefits from certain sentence position encoding methods on English to Russian translation if trained with a context-discounted loss (Lupo et al., 2022). However, the same benefits are not observed in English to German. Further empirical efforts are necessary to define the conditions under which the proposed approach is beneficial.


title: QCD equation of state at finite chemical potential from unbiased exponential resummation of the lattice QCD Taylor series

abstract: Exponential resummation of the QCD finite-density Taylor series has been recently introduced as an alternative way of resumming the finite-density lattice QCD Taylor series. Unfortunately the usual exponential resummation formula suffers from stochastic bias which must be subtracted before identifying genuine higher-order contributions. In this paper, we present a new way of subtracting the stochastic bias at the level of each individual gauge configuration, up to a certain order of either the Taylor series or the cumulant expansion, by modifying the argument of the exponential. Retaining the exponential form of the resummation allows us to also calculate the phase factor of the fermion determinant on each gauge configuration. We present our results for the excess pressure, number density, and the average phase factor and show that the new results contain less stochastic bias and are in better agreement with the QCD Taylor series compared to the previous exponential resummation.


title: A Study on ReLU and Softmax in Transformer

abstract: The Transformer architecture consists of self-attention and feed-forward networks (FFNs) which can be viewed as key-value memories according to previous works. However, FFN and traditional memory utilize different activation functions (i.e., ReLU and Softmax respectively), which makes them not equivalent. In this paper, we first rebuild the connections between FFN and key-value memory by conducting extensive studies on ReLU and Softmax, and find they are equivalent when adding an additional layer normalization module on Softmax. In addition, ReLU outperforms Softmax on both FFN and key-value memory when the number of value slots is large. We analyze the reasons and then explore this good property of ReLU on the self-attention network where the original Softmax activation performs poorly on long input sequences. We then propose a full ReLU architecture named ReLUFormer which performs better than the baseline Transformer on long sequence tasks such as document translation. This paper sheds light on the following points: 1) Softmax and ReLU use different normalization methods over elements which lead to different variances of results, and ReLU is good at dealing with a large number of key-value slots; 2) FFN and key-value memory are equivalent, and thus the Transformer can be viewed as a memory network where FFNs and self-attention networks are both key-value memories.


title: A continuum electro-chemo-mechanical gradient theory coupled with damage: Application to Li-metal filament growth in all-solid-state batteries

abstract: We formulate a continuum electro-chemo-mechanical gradient theory which couples electrochemical reactions with mechanical deformation and damage in solids. The framework models species transport across the host due to diffusion/migration and concurrent electrochemical reaction at damaged sites within the host, where ionic species are reduced to form a new compound. The theory is fully-coupled with electrodeposition impacting mechanical deformation, stress generation and damage of the host. Conversely, electrodeposition kinetics are affected by mechanical stresses via a thermodynamically-consistent, physically motivated driving force that distinguishes chemical, electrical and mechanical contributions. The theory also captures the interplay between growth-induced fracture of the host and deposition of a new material inside cracks by tracking damage and extent of electrodeposition via separate phase-field variables. While the framework is general in nature, we specialize it to model a Li-metal-Li7La3Zr2O12 (LLZO) system and demonstrate the ability to capture both intergranular and transgranular crack and Li-filament growth mechanisms, which have been experimentally observed. In addition, we elucidate how mechanical confinement in solid-state batteries plays a key role in the resulting crack/electrodeposition morphology. In modeling this system, we demonstrate the manner in which our framework can elucidate the critical coupling between mechanics and electrodeposition kinetics and its role in dictating Li-filament growth. Beyond this, the framework should serve useful in a number of engineering problems of relevance in which electrochemical reactions take place within a damage zone, depositing new material at these sites.


title: An 818-TOPS/W CSNR-31dB SQNR-45dB 10-bit Capacitor-Reconfiguring Computing-in-Memory Macro with Software-Analog Co-Design for Transformers

abstract: Transformer inference requires high compute accuracy; achieving this using analog CIMs has been difficult due to inherent computational errors. To overcome this challenge, we propose a Capacitor-Reconfiguring CIM (CR-CIM) to realize high compute accuracy analog CIM with a 10-bit ADC attaining high-area/power efficiency. CR-CIM reconfigures its capacitor array to serve dual purposes: for computation and ADC conversion, achieving significant area savings. Furthermore, CR-CIMs eliminate signal attenuation by keeping the signal charge stationary during operation, leading to a 4x improvement in comparator energy efficiency. We also propose a software-analog co-design technique integrating majority voting into the 10-bit ADC to dynamically optimize the CIM noise performance based on the running layer to further save inference power. Our CR-CIM achieves the highest compute-accuracy for analog CIMs, and the power efficiency of 818 TOPS/W is competitive with the state-of-the-art. Furthermore, the FoM considering SQNR and CSNR is 2.3x and 1.5x better than previous works, respectively. Vision Transformer (ViT) inference is achieved and realizes a highest CIFAR10 accuracy of 95.8% for analog CIMs.


title: Revisiting the Conceptualization of Multiple Linear Regression

abstract: The problem known as multicolinearity has long been recognized to fundamentally and negatively influence multiple regression. This paper does not intend to either propose a numerical assessment of the degree to which this problem exists within any data set or a solution to the problem itself. Rather, it is our intent to illustrate the potentially serious ramifications multicolinearity has on the traditional development of the multiple linear regression (MLR) model and its associated statistics using established equations, Venn diagrams, and real data.


title: Calculus of functional centrality

abstract: In this document, we present another perspective for the calculus of optimal geometrical primitives and functions according to the centrality requirements. The shortest paths expressed in spatial and temporal domains are studied. We show the effectiveness of this formulation by providing solutions that cannot be easily accessed by classical formulation when using the calculus of variations.


title: ChatGPT versus Traditional Question Answering for Knowledge Graphs: Current Status and Future Directions Towards Knowledge Graph Chatbots

abstract: Conversational AI and Question-Answering systems (QASs) for knowledge graphs (KGs) are both emerging research areas: they empower users with natural language interfaces for extracting information easily and effectively. Conversational AI simulates conversations with humans; however, it is limited by the data captured in the training datasets. In contrast, QASs retrieve the most recent information from a KG by understanding and translating the natural language question into a formal query supported by the database engine. In this paper, we present a comprehensive study of the characteristics of the existing alternatives towards combining both worlds into novel KG chatbots. Our framework compares two representative conversational models, ChatGPT and Galactica, against KGQAN, the current state-of-the-art QAS. We conduct a thorough evaluation using four real KGs across various application domains to identify the current limitations of each category of systems. Based on our findings, we propose open research opportunities to empower QASs with chatbot capabilities for KGs. All benchmarks and all raw results are available1 for further analysis.


title: Infinitesimal CR Symmetries of Accidental CR Structures

abstract: In this companion paper to our article {\em Accidental CR structures} (arxiv.org, January 2023), thought of as an appendix not submitted for publication, we provide complete explicit lists of infinitesimal CR automorphisms for the concerned CR models having respective Lie algebra structures: $${\bf E}_{II}, \qquad\ {\bf E}_{III}, \qquad\ \mathfrak{so}(\ell-1,\ell+1), \qquad\ \mathfrak{su}(p,q).$$ We start from our lists of {\em quadric} CR submanifolds $M^{2n+c} \subset \mathbb{C}^{n+c}$ of codimension $c >1$ which are shown to be {\em accidental}, in the sense that their CR symmetry groups are {\em equal to} (and not smaller than) the symmetry groups of the underlying real distribution structures -- after forgetting the complex structure. Thanks to intensive symbolic computer explorations, we then determine embedded vector field generators of these CR symmetries Lie algebras, and we express them in {\em extrinsic} holomorphic coordinates, because intrinsic formulas would be too extended to be shown.


title: Fast Real-Time Shading for Polygonal Hair

abstract: Though a lot of improvement has been made to hair rendering techniques in the recent years, realistic rendering of hair remains a challenge, especially in real time. In this paper, we propose a fast technique to approximate the shading of hair lighted by an environment map, direct lighting or a global illumination system, without having to render deep opacity maps or requiring additional artistic work.


title: Embedding Space Approach to Lorentzian CFT Amplitudes and Causal Spherical Functions

abstract: Conformal Field Theory in a Minkowski setting is discussed in an embedding space approach, paying special attention to causality constraints for four-point amplitudes. The physics of dilatation and Lorentz boost is emphasized in specifying the non-compact Maximal Abelian subgroup (MASG) of $SO(d,2)$. Reduction of a Conformal Field Theory (CFT) four-point amplitudes as functions of cross ratios is shown to be equivalent to enforcing $H$ bi-invariance, i.e., $F(hgh')=F(g)$, with $g\in SO(d,2)$ and $H$ an appropriate subgroup. Causality is imposed by introducing appropriate semigroups. Causal zonal spherical functions are constructed, making contact with Minkowski conformal blocks introduced previously.


title: POSGen: Personalized Opening Sentence Generation for Online Insurance Sales

abstract: The insurance industry is shifting their sales mode from offline to online, in expectation to reach massive potential customers in the digitization era. Due to the complexity and the nature of insurance products, a cost-effective online sales solution is to exploit chatbot AI to raise customers' attention and pass those with interests to human agents for further sales. For high response and conversion rates of customers, it is crucial for the chatbot to initiate a conversation with personalized opening sentences, which are generated with user-specific topic selection and ordering. Such personalized opening sentence generation is challenging because (i) there are limited historical samples for conversation topic recommendation in online insurance sales and (ii) existing text generation schemes often fail to support customized topic ordering based on user preferences. We design POSGen, a personalized opening sentence generation scheme dedicated for online insurance sales. It transfers user embeddings learned from auxiliary online user behaviours to enhance conversation topic recommendation, and exploits a context management unit to arrange the recommended topics in user-specific ordering for opening sentence generation. POSGen is deployed on a real-world online insurance platform. It achieves 2.33x total insurance premium improvement through a two-month global test.


title: Temperature dependence of fast relaxation processes in amorphous materials

abstract: We examine the structural relaxation of glassy materials at finite temperatures, considering the effect of activated rearrangements and long-range elastic interactions. Our three-dimensional mesoscopic relaxation model shows how the displacements induced by localized relaxation events can result in faster-than-exponential relaxation. Thermal activation allows for local rearrangements, which generate elastic responses and possibly cascades of new relaxation events. To study the interplay between this elastically-dominated and thermally-dominated dynamics, we introduce tracer particles that follow the displacement field induced by the local relaxation events and also incorporate Brownian motion. Our results reveal that the dynamic exponents and shape parameter of the dynamical structure factor depend on this competition and display a crossover from faster-than-exponential to exponential relaxation as temperature increases, consistent with recent observations in metallic glasses. Additionally, we find the distribution of waiting times between activations to be broadly distributed at low temperatures, providing a measure of dynamical heterogeneities characteristic for to glassy dynamics.


title: Structural, magnetic and elastic properties on stoichometric $Ni-Mn-Cu$ Heusler alloys

abstract: Heusler alloys with $Ni-Mn-Cu$ (all d-transition metal) composition have been studied; equilibrium structures for different magnetic configurations are found. Elastic constants and tetragonal distortion are analyzed. Distortion effect on densities of electronic state peaks are characterized. For this ternary family of alloys, we find that the one with the most interesting properties and mechanical stability is $Ni_2MnCu$.


title: A Graph-based Framework for Complex System Simulating and Diagnosis with Automatic Reconfiguration

abstract: Fault detection has a long tradition: the necessity to provide the most accurate diagnosis possible for a process plant criticality is somehow intrinsic in its functioning. Continuous monitoring is a possible way for early detection. However, it is somehow fundamental to be able to actually simulate failures. Reproducing the issues remotely allows to quantify in advance their consequences, causing literally no real damage. Within this context, signed directed graphs have played an essential role within the years, managing to model with a relatively simple theory diverse elements of an industrial network, as well as the logic relations between them.\\ In this work we present a quantitative approach, employing directed graphs to the simulation and automatic reconfiguration of a fault in a network. To model the typical operation of industrial plants, we propose several additions with respect to the standard graphs: 1. a quantitative measure to control the overall residual capacity, 2. nodes of different categories - and then different behaviors - and 3. a fault propagation procedure based on the predecessors and the redundancy of the system. The obtained graph is able to mimic the behaviour of the real target plant when one or more faults occur. Additionally, we also implement a generative approach capable to activate a particular category of nodes in order to contain the issue propagation, equipping the network with the capability of reconfigure itself and resulting then in a mathematical tool useful not only for simulating and monitoring, but also to design and optimize complex plants. The final asset of the system is provided in output with its complete diagnostics, and a detailed description of the steps that have been carried out to obtain the final realization.


title: Applying BERT and ChatGPT for Sentiment Analysis of Lyme Disease in Scientific Literature

abstract: This chapter presents a practical guide for conducting Sentiment Analysis using Natural Language Processing (NLP) techniques in the domain of tick-borne disease text. The aim is to demonstrate the process of how the presence of bias in the discourse surrounding chronic manifestations of the disease can be evaluated. The goal is to use a dataset of 5643 abstracts collected from scientific journals on the topic of chronic Lyme disease to demonstrate using Python, the steps for conducting sentiment analysis using pre-trained language models and the process of validating the preliminary results using both interpretable machine learning tools, as well as a novel methodology of using emerging state-of-the-art large language models like ChatGPT. This serves as a useful resource for researchers and practitioners interested in using NLP techniques for sentiment analysis in the medical domain.


title: Introduction of Machine Learning for Astronomy (Hands-on Workshop)

abstract: This article is based on the tutorial we gave at the hands-on workshop of the ICRANet-ISFAHAN Astronomy Meeting. We first introduce the basic theory of machine learning and sort out the whole process of training a neural network. We then demonstrate this process with an example of inferring redshifts from SDSS spectra. To emphasize that machine learning for astronomy is easy to get started, we demonstrate that the most basic CNN network can be used to obtain high accuracy, we also show that with simple modifications, the network can be converted for classification problems and also to processing gravitational wave data.

categories: astro-ph.IM astro-ph.CO astro-ph.HE gr-qc


title: Is ChatGPT a General-Purpose Natural Language Processing Task Solver?

abstract: Spurred by advancements in scale, large language models (LLMs) have demonstrated the ability to perform a variety of natural language processing (NLP) tasks zero-shot -- i.e., without adaptation on downstream data. Recently, the debut of ChatGPT has drawn a great deal of attention from the natural language processing (NLP) community due to the fact that it can generate high-quality responses to human input and self-correct previous mistakes based on subsequent conversations. However, it is not yet known whether ChatGPT can serve as a generalist model that can perform many NLP tasks zero-shot. In this work, we empirically analyze the zero-shot learning ability of ChatGPT by evaluating it on 20 popular NLP datasets covering 7 representative task categories. With extensive empirical studies, we demonstrate both the effectiveness and limitations of the current version of ChatGPT. We find that ChatGPT performs well on many tasks favoring reasoning capabilities (e.g., arithmetic reasoning) while it still faces challenges when solving specific tasks such as sequence tagging. We additionally provide in-depth analysis through qualitative case studies.


title: Multipartite Entanglement in the Measurement-Induced Phase Transition of the Quantum Ising Chain

abstract: External monitoring of quantum many-body systems can give rise to a measurement-induced phase transition characterized by a change in behavior of the entanglement entropy from an area law to an unbounded growth. In this Letter, we show that this transition extends beyond bipartite correlations to multipartite entanglement. Using the quantum Fisher information, we investigate the entanglement dynamics of a continuously monitored quantum Ising chain. Multipartite entanglement exhibits the same phase boundaries observed for the entropy in the post-selected no-click trajectory. Instead, quantum jumps give rise to a more complex behavior that still features the transition, but adds the possibility of having a third phase with logarithmic entropy but bounded multipartiteness.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: Divide and Save: Splitting Workload Among Containers in an Edge Device to Save Energy and Time

abstract: The increasing demand for edge computing is leading to a rise in energy consumption from edge devices, which can have significant environmental and financial implications. To address this, in this paper we present a novel method to enhance the energy efficiency while speeding up computations by distributing the workload among multiple containers in an edge device. Experiments are conducted on two Nvidia Jetson edge boards, the TX2 and the AGX Orin, exploring how using a different number of containers can affect the energy consumption and the computational time for an inference task. To demonstrate the effectiveness of our splitting approach, a video object detection task is conducted using an embedded version of the state-of-the-art YOLO algorithm, quantifying the energy and the time savings achieved compared to doing the computations on a single container. The proposed method can help mitigate the environmental and economic consequences of high energy consumption in edge computing, by providing a more sustainable approach to managing the workload of edge devices.


title: Structure-Preserving Model Reduction for Port-Hamiltonian Systems Based on a Special Class of Nonlinear Approximation Ansatzes

abstract: We discuss structure-preserving model order reduction for port-Hamiltonian systems based on an approximation of the full-order state by a linear combination of ansatz functions which depend themselves on the state of the reduced-order model. In recent years, such nonlinear approximation ansatzes have gained more and more attention especially due to their effectiveness in the context of model reduction for transport-dominated systems which are challenging for classical linear model reduction techniques. We demonstrate that port-Hamiltonian reduced-order models can often be obtained by a residual minimization approach where a special weighted norm is used for the residual. Moreover, we discuss sufficient conditions for the resulting reduced-order models to be stable. Finally, the methodology is illustrated by means of two transport-dominated numerical test cases, where the ansatz functions are determined based on snapshot data of the full-order state.


title: On the 3D turbulence regime in a Tokamak plasma edge

abstract: We derive a reduced model for the electrostatic turbulence in a Tokamak edge, when dealing with a resistive plasma and neglecting the spatial gradient of the background density which triggers the linear drift wave response. The obtained dynamics, de facto equivalent to a Hasegawa-Wakatani model, is characterized by a constitutive relation between the electric potential Laplacian and the density, which allows to deal with a single 3D equation governing the electric potential fluctuations. We study the evolution of the model, by separating the $n=0$ ($n$ indicating toroidal-like number) mode from all the other ones. Then, we linearize the dynamics of the $n\neq 0$ modes around the steady 2D spectrum, which describes the spectral features of the electrostatic 2D turbulence. We theoretically and numerically demonstrate the existence of decaying branch of the 3D turbulence, having such a 2D steady spectrum as a natural attractor. This result suggests that the basic constituent of the self-sustained non-linear drift response in the plasma edge has to be individualized in the non-linear 2D electrostatic turbulence.


title: Exploring High Tower Base Stations with Multi-User Massive MIMO for Rural Connectivity

abstract: The digital divide is a key issue worldwide. Almost 3 billion people, mainly in rural areas, are still not connected. In this paper, we explore the capability of high towers base station (HTBS) with massive multiple input multiple output (mMIMO) in offering low-cost rural connectivity. We previously showed the benefits of HTBS in the downlink. We focus in this work on the uplink (UL) where we compute the UL data rate per user for different values of transmit effective isotropic radiated power (EIRP). Our results show that the HTBS solution is viable as relatively good user UL rates are achieved with reasonable EIRPs. This is of high interest for covering rural areas, characterized by low population densities and a low number of active users, as the coverage is their main constraint, rather than the capacity as in urban areas. Techno-economical aspects such as the recommended frequency for HTBS, the number of covered persons, the average population density of covered rural areas, and potential low-cost locations for HTBS are provided. Non-technological challenges for the HTBS solution are also discussed.


title: Visualizing Topic Uncertainty in Topic Modelling

abstract: Word clouds became a standard tool for presenting results of natural language processing methods such as topic modelling. They exhibit most important words, where word size is often chosen proportional to the relevance of words within a topic. In the latent Dirichlet allocation (LDA) model, word clouds are graphical presentations of a vector of weights for words within a topic. These vectors are the result of a statistical procedure based on a specific corpus. Therefore, they are subject to uncertainty coming from different sources as sample selection, random components in the optimization algorithm, or parameter settings. A novel approach for presenting word clouds including information on such types of uncertainty is introduced and illustrated with an application of the LDA model to conference abstracts.


title: Signature Gr\"obner bases in free algebras over rings

abstract: We generalize signature Gr\"obner bases, previously studied in the free algebra over a field or polynomial rings over a ring, to ideals in the mixed algebra $R[x_1,...,x_k]\langle y_1,\dots,y_n \rangle$ where $R$ is a principal ideal domain. We give an algorithm for computing them, combining elements from the theory of commutative and noncommutative (signature) Gr\"obner bases, and prove its correctness. Applications include extensions of the free algebra with commutative variables, e.g., for homogenization purposes or for performing ideal theoretic operations such as intersections, and computations over $\mathbb{Z}$ as universal proofs over fields of arbitrary characteristic. By extending the signature cover criterion to our setting, our algorithm also lifts some technical restrictions from previous noncommutative signature-based algorithms, now allowing, e.g., elimination orderings. We provide a prototype implementation for the case when $R$ is a field, and show that our algorithm for the mixed algebra is more efficient than classical approaches using existing algorithms.


title: Quantification of electronic and magnetoelastic mechanisms of first-order magnetic phase transitions from first principles: application to caloric effects in La(Fe$_x$Si$_{1-x}$)$_{13}$

abstract: La(Fe$_x$Si$_{1-x}$)$_{13}$ and derived quaternary compounds are well-known for their giant, tunable, magneto- and barocaloric responses around a first-order paramagnetic-ferromagnetic transition near room temperature with low hysteresis. Remarkably, such a transition shows a large spontaneous volume change together with itinerant electron metamagnetic features. While magnetovolume effects are well-established mechanisms driving first-order transitions, purely electronic sources have a long, subtle history and remain poorly understood. Here we apply a disordered local moment picture to quantify electronic and magnetoelastic effects at finite temperature in La(Fe$_x$Si$_{1-x}$)$_{13}$ from first-principles. We obtain results in very good agreement with experiment and demonstrate that the magnetoelastic coupling, rather than purely electronic mechanisms, drives the first-order character and causes at the same time a huge electronic entropy contribution to the caloric response.


title: Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization

abstract: For many computational problems involving randomness, intricate geometric features of the solution space have been used to rigorously rule out powerful classes of algorithms. This is often accomplished through the lens of the multi Overlap Gap Property ($m$-OGP), a rigorous barrier against algorithms exhibiting input stability. In this paper, we focus on the algorithmic tractability of two models: (i) discrepancy minimization, and (ii) the symmetric binary perceptron (\texttt{SBP}), a random constraint satisfaction problem as well as a toy model of a single-layer neural network. Our first focus is on the limits of online algorithms. By establishing and leveraging a novel geometrical barrier, we obtain sharp hardness guarantees against online algorithms for both the \texttt{SBP} and discrepancy minimization. Our results match the best known algorithmic guarantees, up to constant factors. Our second focus is on efficiently finding a constant discrepancy solution, given a random matrix $\mathcal{M}\in\mathbb{R}^{M\times n}$. In a smooth setting, where the entries of $\mathcal{M}$ are i.i.d. standard normal, we establish the presence of $m$-OGP for $n=\Theta(M\log M)$. Consequently, we rule out the class of stable algorithms at this value. These results give the first rigorous evidence towards a conjecture of Altschuler and Niles-Weed~\cite[Conjecture~1]{altschuler2021discrepancy}. Our methods use the intricate geometry of the solution space to prove tight hardness results for online algorithms. The barrier we establish is a novel variant of the $m$-OGP. Furthermore, it regards $m$-tuples of solutions with respect to correlated instances, with growing values of $m$, $m=\omega(1)$. Importantly, our results rule out online algorithms succeeding even with an exponentially small probability.


title: Global mapping of structures and properties of crystal materials

abstract: Understanding material composition-structure-function relationships is of critical importance for the design and discovery of novel functional materials. While most such studies focus on individual materials, we conducted a global mapping study of all known materials deposited in the Material Project database to investigate their distributions in the space of a set of seven compositional, structural, physical, and neural latent descriptors. These two-dimensional materials maps along with their density maps allow us to illustrate the distribution of the patterns and clusters of different shapes, which indicates the propensity of these materials and the tinkering history of existing materials. We then overlap the material properties such as composition prototypes and piezoelectric properties over the background materials maps to study the relationships of how material compositions and structures affect their physical properties. We also use these maps to study the spatial distributions of properties of known inorganic materials, in particular those of local vicinities in structural space such as structural density and functional diversity. These maps provide a uniquely comprehensive overview of materials and space and thus reveal previously undescribed fundamental properties. Our methodology can be easily extended by other researchers to generate their own global material maps with different background maps and overlap properties for both distribution understanding and cluster-based new material discovery. The source code for feature generation and generated maps are available at https://github.com/usccolumbia/matglobalmapping


title: Determinacy in the Chang model

abstract: Assuming the existence of a certain hod pair with a Woodin cardinal that is a limit of Woodin cardinals, we show that the Chang model satisfies $\mathsf{AD}^+$ in any set generic extensions.


title: Why Can't Discourse Parsing Generalize? A Thorough Investigation of the Impact of Data Diversity

abstract: Recent advances in discourse parsing performance create the impression that, as in other NLP tasks, performance for high-resource languages such as English is finally becoming reliable. In this paper we demonstrate that this is not the case, and thoroughly investigate the impact of data diversity on RST parsing stability. We show that state-of-the-art architectures trained on the standard English newswire benchmark do not generalize well, even within the news domain. Using the two largest RST corpora of English with text from multiple genres, we quantify the impact of genre diversity in training data for achieving generalization to text types unseen during training. Our results show that a heterogeneous training regime is critical for stable and generalizable models, across parser architectures. We also provide error analyses of model outputs and out-of-domain performance. To our knowledge, this study is the first to fully evaluate cross-corpus RST parsing generalizability on complete trees, examine between-genre degradation within an RST corpus, and investigate the impact of genre diversity in training data composition.


title: UHECR Echoes from the Council of Giants

abstract: Recent anisotropy studies of UHECR data at energies $\gtrsim$ 40 EeV, have disclosed a correlation of their angular distribution with the extragalactic local structure, specifically with either local starburst galaxies or AGN. Using Monte Carlo simulations taking into account photo-disintegration processes, we further explore a framework in which these UHECRs were accelerated by Centaurus A in a recent powerful outburst before being scattered by magnetic fields associated with local, Council of Giant, extragalactic structure. We find that the observed intermediate scale anisotropies can be accounted for by the Council of Giant structure imposing a response function on the initial outburst of UHECRs from a single source located at Centaurus A's position. The presence of these local structures creates `echoes' of UHECRs after the initial impulse, and focusing effects. The strongest echo wave has a lag of $\sim$ 20 Myr, comparable to the age of synchrotron-emitting electrons in the giant Centaurus A lobes. Through consideration of the composition of both the direct and echo wave components, we find that the distribution of the light (1$<\ln A<$1.5) component across the sky offers exciting prospects for testing the echo model using future facilities such as Auger prime. Our results demonstrate the potential that UHECR nuclei offer, as "composition clocks", for probing propagation scenarios from local sources.


title: X-ray nondetection of PSR J0250+5854

abstract: We conducted a deep XMM$\unicode{x2013}$Newton observing campaign on the 23.5-s radio pulsar PSR J0250+5854 in order to better understand the connection between long-period, radio-emitting neutron stars and their high-energy-emitting counterparts. No X-ray emission was detected resulting in an upper limit in the bolometric luminosity of PSR J0250+5854 of $<$10$^{31}$ erg s$^{-1}$ for an assumed blackbody with a temperature of 85 eV, typical of an X-ray Dim Isolated Neutron Star (XDINS). We compared the upper limit in the bolometric luminosity of PSR J0250+5854 with the known population of XDINSs and found that the upper limit is lower than the bolometric luminosity of all but one XDINS. We also compared PSR J0250+5854 with SGR 0418+5729, the magnetar with low dipole magnetic field strength, where the upper limit suggests that if PSR J0250+5854 has a thermal hot spot like SGR 0418+5729, it would have a blackbody temperature of $<$200 eV, compared to 320 eV of the magnetar.


title: Tunable Electron Transport in Defect-Engineered PdSe$_\mathrm{2}$

abstract: Tuning the ambipolar behavior in charge carrier transport via defect-engineering is crucial for achieving high mobility transistors for nonlinear logic circuits. Here, we present the electric-field tunable electron and hole transport in a microchannel device consisting of highly air-stable van der Waals (vdW) noble metal dichalcogenide (NMDC), PdSe$_\mathrm{2}$, as an active layer. Pristine bulk PdSe$_\mathrm{2}$ constitutes Se surface vacancy defects created during the growth or exfoliation process and offers an ambipolar transfer characteristics with a slight electron dominance recorded in field-effect transistor (FET) characteristics showing an ON/OFF ratio < 10 and electron mobility ~ 21 cm$^2$/V.s. However, transfer characteristics of PdSe$_\mathrm{2}$ can be tuned to a hole-dominated transport while using hydrochloric acid (HCl) as a $p$-type dopant. On the other hand, the chelating agent EDTA, being a strong electron donor, enhances the electron-dominance in PdSe$_\mathrm{2}$ channel. In addition, $p$-type behavior with a 100 times higher ON/OFF ratio is obtained while cooling the sample down to 10 K. Low-temperature angle-resolved photoemission spectroscopy resembles the $p$-type band structure of PdSe$_\mathrm{2}$ single crystal. Also, first principle density functional theory calculations justify the tunability observed in PdSe$_\mathrm{2}$ as a result of defect-engineering. Such a defect-sensitive ambipolar vdW architecture may open up new possibilities towards future CMOS (Complementary Metal-Oxide-Semiconductor) device fabrications and high performance integrated circuits.


title: Optical flow estimation from event-based cameras and spiking neural networks

abstract: Event-based cameras are raising interest within the computer vision community. These sensors operate with asynchronous pixels, emitting events, or "spikes", when the luminance change at a given pixel since the last event surpasses a certain threshold. Thanks to their inherent qualities, such as their low power consumption, low latency and high dynamic range, they seem particularly tailored to applications with challenging temporal constraints and safety requirements. Event-based sensors are an excellent fit for Spiking Neural Networks (SNNs), since the coupling of an asynchronous sensor with neuromorphic hardware can yield real-time systems with minimal power requirements. In this work, we seek to develop one such system, using both event sensor data from the DSEC dataset and spiking neural networks to estimate optical flow for driving scenarios. We propose a U-Net-like SNN which, after supervised training, is able to make dense optical flow estimations. To do so, we encourage both minimal norm for the error vector and minimal angle between ground-truth and predicted flow, training our model with back-propagation using a surrogate gradient. In addition, the use of 3d convolutions allows us to capture the dynamic nature of the data by increasing the temporal receptive fields. Upsampling after each decoding stage ensures that each decoder's output contributes to the final estimation. Thanks to separable convolutions, we have been able to develop a light model (when compared to competitors) that can nonetheless yield reasonably accurate optical flow estimates.


title: NIRwave: A wave-turbulence-driven solar wind model constrained by PSP observations

abstract: We generate a model description of the solar wind based on an explicit wave-turbulence-driven heating mechanism, and constrain our model with observational data. We included an explicit coronal heating source term in the general 3D magnetohydrodynamic code NIRVANA to simulate the properties of the solar wind. The adapted heating mechanism is based on the interaction and subsequent dissipation of counter-propagating Alfv\'en waves in the solar corona, accounting for a turbulent heating rate Q_p. The solar magnetic field is assumed to be an axisymmetric dipole with a field strength of 1 G. Our model results are validated against observational data taken by the Parker Solar Probe (PSP). Our NIRwave solar wind model reconstructs the bimodal structure of the solar wind with slow and fast wind speeds of 410 km/s and 650 km/s respectively. The global mass-loss rate of our solar wind model is 2.6e-14 solar masses per year. Despite implementing simplified conditions to represent the solar magnetic field, the solar wind parameters characterising our steady-state solution are in reasonable agreement with previously established results and empirical constraints. The number density from our wind solution is in good agreement with the derived empirical constraints, with larger deviations for the radial velocity and temperature. In a comparison to a polytropic wind model generated with NIRVANA, we find that our NIRwave model is in better agreement with the observational constraints that we derive.


title: Explicit3D: Graph Network with Spatial Inference for Single Image 3D Object Detection

abstract: Indoor 3D object detection is an essential task in single image scene understanding, impacting spatial cognition fundamentally in visual reasoning. Existing works on 3D object detection from a single image either pursue this goal through independent predictions of each object or implicitly reason over all possible objects, failing to harness relational geometric information between objects. To address this problem, we propose a dynamic sparse graph pipeline named Explicit3D based on object geometry and semantics features. Taking the efficiency into consideration, we further define a relatedness score and design a novel dynamic pruning algorithm followed by a cluster sampling method for sparse scene graph generation and updating. Furthermore, our Explicit3D introduces homogeneous matrices and defines new relative loss and corner loss to model the spatial difference between target pairs explicitly. Instead of using ground-truth labels as direct supervision, our relative and corner loss are derived from the homogeneous transformation, which renders the model to learn the geometric consistency between objects. The experimental results on the SUN RGB-D dataset demonstrate that our Explicit3D achieves better performance balance than the-state-of-the-art.


title: Density-Softmax: Efficient Test-time Model for Uncertainty Estimation and Robustness under Distribution Shifts

abstract: Sampling-based methods, e.g., Deep Ensembles and Bayesian Neural Nets have become promising approaches to improve the quality of uncertainty estimation and robust generalization. However, they suffer from a large model size and high latency at test-time, which limits the scalability needed for low-resource devices and real-time applications. To resolve these computational issues, we propose Density-Softmax, a sampling-free deterministic framework via combining a density function built on a Lipschitz-constrained feature extractor with the softmax layer. Theoretically, we show that our model is the solution of minimax uncertainty risk and is distance-aware on feature space, thus reducing the over-confidence of the standard softmax under distribution shifts. Empirically, our method enjoys competitive results with state-of-the-art techniques in terms of uncertainty and robustness, while having a lower number of model parameters and a lower latency at test-time.


title: Implications of Different Solar Photospheric Flux-Transport Models for Global Coronal and Heliospheric Modeling

abstract: The concept of surface-flux transport (SFT) is commonly used in evolving models of the large-scale solar surface magnetic field. These photospheric models are used to determine the large-scale structure of the overlying coronal magnetic field, as well as to make predictions about the fields and flows that structure the solar wind. We compare predictions from two SFT models for the solar wind, open magnetic field footpoints, and the presence of coronal magnetic null points throughout various phases of a solar activity cycle, focusing on the months of April in even-numbered years between 2012 and 2020, inclusive. We find that there is a solar cycle dependence to each of the metrics considered, but there is not a single phase of the cycle in which all the metrics indicate good agreement between the models. The metrics also reveal large, transient differences between the models when a new active region is rotating into the assimilation window. The evolution of the surface flux is governed by a combination of large scale flows and comparatively small scale motions associated with convection. Because the latter flows evolve rapidly, there are intervals during which their impact on the surface flux can only be characterized in a statistical sense, thus their impact is modeled by introducing a random evolution that reproduces the typical surface flux evolution. We find that the differences between the predicted properties are dominated by differences in the model assumptions and implementation, rather than selection of a particular realization of the random evolution.


title: A regularized variance-reduced modified extragradient method for stochastic hierarchical games

abstract: We consider an N-player hierarchical game in which the i-th player's objective comprises of an expectation-valued term, parametrized by rival decisions, and a hierarchical term. Such a framework allows for capturing a broad range of stochastic hierarchical optimization problems, Stackelberg equilibrium problems, and leader-follower games. We develop an iteratively regularized and smoothed variance-reduced modified extragradient framework for iteratively approaching hierarchical equilibria in a stochastic setting. We equip our analysis with rate statements, complexity guarantees, and almost-sure convergence results. We then extend these statements to settings where the lower-level problem is solved inexactly and provide the corresponding rate and complexity statements. Our model framework encompasses many game theoretic equilibrium problems studied in the context of power markets. We present a realistic application to the virtual power plants, emphasizing the role of hierarchical decision making and regularization.


title: Black Holes in 4D Einstein-Gauss-Bonnet gravity with exponential electrodynamics

abstract: We investigate $4D$ Einstein-Gauss-bonnet gravity coupled to exponential electrodynamics in AdS background and found a static, spherically symmetric exact black hole solution. The horizon structure of black hole is discussed. Treating the cosmological constant as pressure, we drive first law of black hole thermodynamics in extended phase space. We compute the electrostatic potential and vacuum polarization of the black hole. To study local thermodynamical stability specific heat of the black hole is computed. Finally, we study Helmholtz free energy to analyse the global stability of black holes.


title: Efficient $1$-Laplacian Solvers for Well-Shaped Simplicial Complexes: Beyond Betti Numbers and Collapsing Sequences

abstract: We present efficient algorithms for approximately solving systems of linear equations in $1$-Laplacians of well-shaped simplicial complexes up to high precision. $1$-Laplacians, or higher-dimensional Laplacians, generalize graph Laplacians to higher-dimensional simplicial complexes and play a key role in computational topology and topological data analysis. Previously, nearly-linear time approximate solvers were developed for simplicial complexes with known collapsing sequences and bounded Betti numbers, such as those triangulating a three-ball in $\mathbb{R}^3$ (Cohen, Fasy, Miller, Nayyeri, Peng, and Walkington [SODA'2014], Black, Maxwell, Nayyeri, and Winkelman [SODA'2022], Black and Nayyeri [ICALP'2022]). Furthermore, Nested Dissection provides quadratic time exact solvers for more general systems with nonzero structures representing well-shaped simplicial complexes embedded in $\mathbb{R}^3$. We generalize the specialized solvers for $1$-Laplacians to simplicial complexes with additional geometric structures but without collapsing sequences and bounded Betti numbers, and we improve the runtime of Nested Dissection. We focus on simplicial complexes that meet two conditions: (1) each individual simplex has a bounded aspect ratio, and (2) they can be divided into "disjoint" and balanced regions with well-shaped interiors and boundaries. Our solvers draw inspiration from the Incomplete Nested Dissection for stiffness matrices of well-shaped trusses (Kyng, Peng, Schwieterman, and Zhang [STOC'2018]).