title: Preserving Node-level Privacy in Graph Neural Networks

abstract: Differential privacy (DP) has seen immense applications in learning on tabular, image, and sequential data where instance-level privacy is concerned. In learning on graphs, contrastingly, works on node-level privacy are highly sparse. Challenges arise as existing DP protocols hardly apply to the message-passing mechanism in Graph Neural Networks (GNNs). In this study, we propose a solution that specifically addresses the issue of node-level privacy. Our protocol consists of two main components: 1) a sampling routine called HeterPoisson, which employs a specialized node sampling strategy and a series of tailored operations to generate a batch of sub-graphs with desired properties, and 2) a randomization routine that utilizes symmetric multivariate Laplace (SML) noise instead of the commonly used Gaussian noise. Our privacy accounting shows this particular combination provides a non-trivial privacy guarantee. In addition, our protocol enables GNN learning with good performance, as demonstrated by experiments on five real-world datasets; compared with existing baselines, our method shows significant advantages, especially in the high privacy regime. Experimentally, we also 1) perform membership inference attacks against our protocol and 2) apply privacy audit techniques to confirm our protocol's privacy integrity. In the sequel, we present a study on a seemingly appealing approach \cite{sajadmanesh2023gap} (USENIX'23) that protects node-level privacy via differentially private node/instance embeddings. Unfortunately, such work has fundamental privacy flaws, which are identified through a thorough case study. More importantly, we prove an impossibility result of achieving both (strong) privacy and (acceptable) utility through private instance embedding. The implication is that such an approach has intrinsic utility barriers when enforcing differential privacy.


title: Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

abstract: We consider imperative programs that involve both randomization and pure nondeterminism. The central question is how to find a strategy resolving the pure nondeterminism such that the so-obtained determinized program satisfies a given quantitative specification, i.e., bounds on expected outcomes such as the expected final value of a program variable or the probability to terminate in a given set of states. We show how memoryless and deterministic (MD) strategies can be obtained in a semi-automatic fashion using deductive verification techniques. For loop-free programs, the MD strategies resulting from our weakest precondition-style framework are correct by construction. This extends to loopy programs, provided the loops are equipped with suitable loop invariants - just like in program verification. We show how our technique relates to the well-studied problem of obtaining strategies in countably infinite Markov decision processes with reachability-reward objectives. Finally, we apply our technique to several case studies.


title: Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic

abstract: We consider the synthesis problem of a multi-agent system under signal temporal logic (STL) specifications representing bounded-time tasks that need to be satisfied recurrently over an infinite horizon. Motivated by the limited approaches to handling recurring STL systematically, we tackle the infinite-horizon control problem with a receding horizon scheme equipped with additional STL constraints that introduce minimal complexity and a backward-reachability-based terminal condition that is straightforward to construct and ensures recursive feasibility. Subsequently, we decompose the global receding horizon optimization problem into agent-level programs the objectives of which are to minimize local cost functions subject to local and joint STL constraints. We propose a scheduling policy that allows individual agents to sequentially optimize their control actions while maintaining recursive feasibility. This results in a distributed strategy that can operate online as a model predictive controller. Last, we illustrate the effectiveness of our method via a multi-agent system example assigned a surveillance task.


title: Design-based Estimation Theory for Complex Experiments

abstract: This paper considers the estimation of treatment effects in randomized experiments with complex experimental designs, including cases with interference between units. We develop a design-based estimation theory for arbitrary experimental designs. Our theory facilitates the analysis of many design-estimator pairs that researchers commonly employ in practice and provide procedures to consistently estimate asymptotic variance bounds. We propose new classes of estimators with favorable asymptotic properties from a design-based point of view. In addition, we propose a scalar measure of experimental complexity which can be linked to the design-based variance of the estimators. We demonstrate the performance of our estimators using simulated datasets based on an actual network experiment studying the effect of social networks on insurance adoptions.


title: Setting a Baseline for long-shot real-time Player and Ball detection in Soccer Videos

abstract: Players and ball detection are among the first required steps on a football analytics platform. Until recently, the existing open datasets on which the evaluations of most models were based, were not sufficient. In this work, we point out their weaknesses, and with the advent of the SoccerNet v3, we propose and deliver to the community an edited part of its dataset, in YOLO normalized annotation format for training and evaluation. The code of the methods and metrics are provided so that they can be used as a benchmark in future comparisons. The recent YOLO8n model proves better than FootAndBall in long-shot real-time detection of the ball and players on football fields.


title: Methods of machine learning for the analysis of cosmic rays mass composition with the KASCADE experiment data

abstract: We study the problem of reconstruction of high-energy cosmic rays mass composition from the experimental data of extensive air showers. We develop several machine learning methods for the reconstruction of energy spectra of separate primary nuclei at energies 1-100 PeV, using the public data and Monte-Carlo simulations of the KASCADE experiment from the KCDC platform. We estimate the uncertainties of our methods, including the unfolding procedure, and show that the overall accuracy exceeds that of the method used in the original studies of the KASCADE experiment.


title: An Application of Vector Autoregressive Model for Analyzing the Impact of Weather And Nearby Traffic Flow On The Traffic Volume

abstract: This paper aims to predict the traffic flow at one road segment based on nearby traffic volume and weather conditions. Our team also discover the impact of weather conditions and nearby traffic volume on the traffic flow at a target point. The analysis results will help solve the problem of traffic flow prediction and develop an optimal transport network with efficient traffic movement and minimal traffic congestion. Hourly historical weather and traffic flow data are selected to solve this problem. This paper uses model VAR(36) with time trend and constant to train the dataset and forecast. With an RMSE of 565.0768111 on average, the model is considered appropriate although some statistical tests implies that the residuals are unstable and non-normal. Also, this paper points out some variables that are not useful in forecasting, which helps simplify the data-collecting process when building the forecasting system.


title: Asymmetric Design of Control Barrier Function for Multiagent Autonomous Robotic Systems

abstract: In this paper, we propose a method to avoid "no-solution" situations of the control barrier function (CBF) for distributed collision avoidance in a multiagent autonomous robotic system (MARS). MARS, which is composed of distributed autonomous mobile robots, is expected to effectively perform cooperative tasks such as searching in a certain area. Therefore, collision avoidance must be considered when implementing MARS in the real world. The CBF is effective for solving collision-avoidance problems. However, in extreme conditions where many robots congregate at one location, the CBF constraints that ensure a safe distance between robots may be violated. We theoretically demonstrate that this problem can occur in certain situations, and introduce an asymmetric design for the inequality constraints of CBF. We asymmetrically decentralized inequality constraints with weight functions using the absolute speed of the robot so that other robots can take over the constraints of the robot in severe condition. We demonstrate the effectiveness of the proposed method in a two-dimensional situation wherein multiple robots congregate at one location. We implement the proposed method on real robots and the confirmed the effectiveness of this theory.


title: Markov Decision Processes with Risk-Sensitive Criteria: An Overview

abstract: The paper provides an overview of the theory and applications of risk-sensitive Markov decision processes. The term 'risk-sensitive' refers here to the use of the Optimized Certainty Equivalent as a means to measure expectation and risk. This comprises the well-known entropic risk measure and Conditional Value-at-Risk. We restrict our considerations to stationary problems with an infinite time horizon. Conditions are given under which optimal policies exist and solution procedures are explained. We present both the theory when the Optimized Certainty Equivalent is applied recursively as well as the case where it is applied to the cumulated reward. Discounted as well as non-discounted models are reviewed


title: Three young planets around the K-dwarf K2-198: High-energy environment, evaporation history and expected future

abstract: Planets orbiting young stars are thought to experience atmospheric evaporation as a result of the host stars' high magnetic activity. We study the evaporation history and expected future of the three known transiting exoplanets in the young multiplanet system K2-198. Based on spectroscopic and photometric measurements, we estimate an age of the K-dwarf host star between 200 and 500 Myr, and calculate the high-energy environment of these planets using eROSITA X-ray measurements. We find that the innermost planet K2-198c has likely lost its primordial envelope within the first few tens of Myr regardless of the age at which the star drops out of the saturated X-ray regime. For the two outer planets, a range of initial envelope mass fractions is possible, depending on the not-yet-measured planetary mass and the stars' spin-down history. Regarding the future of the system, we find that the outermost planet K2-198b is stable against photoevaporation for a wide range of planetary masses, while the middle planet K2-198d is only able to retain an atmosphere for a mass range between ~7 and 18 Earth-masses. Lower-mass planets are too susceptible to mass loss, and a very thin present-day envelope for higher-mass planets is easily lost with the estimated mass-loss rates. Our results support the idea that all three planets started out above the radius valley in the (sub-)Neptune regime and were then transformed into their current states by atmospheric evaporation, but also stress the importance of measuring planetary masses for (young) multiplanet systems before conducting more detailed photoevaporation simulations.


title: Retrieval and Generative Approaches for a Pregnancy Chatbot in Nepali with Stemmed and Non-Stemmed Data : A Comparative Study

abstract: The field of Natural Language Processing which involves the use of artificial intelligence to support human languages has seen tremendous growth due to its high-quality features. Its applications such as language translation, chatbots, virtual assistants, search autocomplete, and autocorrect are widely used in various domains including healthcare, advertising, customer service, and target advertising. To provide pregnancy-related information a health domain chatbot has been proposed and this work explores two different NLP-based approaches for developing the chatbot. The first approach is a multiclass classification-based retrieval approach using BERTbased multilingual BERT and multilingual DistilBERT while the other approach employs a transformer-based generative chatbot for pregnancy-related information. The performance of both stemmed and non-stemmed datasets in Nepali language has been analyzed for each approach. The experimented results indicate that BERT-based pre-trained models perform well on non-stemmed data whereas scratch transformer models have better performance on stemmed data. Among the models tested the DistilBERT model achieved the highest training and validation accuracy and testing accuracy of 0.9165 on the retrieval-based model architecture implementation on the non-stemmed dataset. Similarly, in the generative approach architecture implementation with transformer 1 gram BLEU and 2 gram BLEU scores of 0.3570 and 0.1413 respectively were achieved.


title: Flames: Benchmarking Value Alignment of LLMs in Chinese

abstract: The widespread adoption of large language models (LLMs) across various regions underscores the urgent need to evaluate their alignment with human values. Current benchmarks, however, fall short of effectively uncovering safety vulnerabilities in LLMs. Despite numerous models achieving high scores and 'topping the chart' in these evaluations, there is still a significant gap in LLMs' deeper alignment with human values and achieving genuine harmlessness. To this end, this paper proposes a value alignment benchmark named Flames, which encompasses both common harmlessness principles and a unique morality dimension that integrates specific Chinese values such as harmony. Accordingly, we carefully design adversarial prompts that incorporate complex scenarios and jailbreaking methods, mostly with implicit malice. By prompting 17 mainstream LLMs, we obtain model responses and rigorously annotate them for detailed evaluation. Our findings indicate that all the evaluated LLMs demonstrate relatively poor performance on Flames, particularly in the safety and fairness dimensions. We also develop a lightweight specified scorer capable of scoring LLMs across multiple dimensions to efficiently evaluate new models on the benchmark. The complexity of Flames has far exceeded existing benchmarks, setting a new challenge for contemporary LLMs and highlighting the need for further alignment of LLMs. Our benchmark is publicly available at https://github.com/AIFlames/Flames.


title: Symbol-Error Probability Constrained Power Minimization for Reconfigurable Intelligent Surfaces-based Passive Transmitter

abstract: This study considers a virtual multiuser multiple-input multiple-output system with PSK modulation realized via the reconfigurable intelligent surface-based passive transmitter setup. Under this framework, the study derives the formulation for the union-bound symbol-error probability, which is an upper bound on the actual symbol-error probability. Based on this, a symbol-level precoding power minimization problem under the condition that the union-bound symbol-error probability is below a given requirement is proposed. The problem is formulated as a constrained optimization on an oblique manifold, and solved via a bisection method. The method consists of successively optimizing transmit power while evaluating the feasibility of the union-bound symbol-error probability requisite by solving, via the Riemannian conjugate gradient algorithm, an auxiliary problem dependent only on the reflection coefficients of the reconfigurable intelligent surface elements. Numerical results demonstrate the effectiveness of the proposed approach in minimizing the transmit power for different symbol-error probability requirements.


title: Ideal extensions of free commutative monoids

abstract: We introduce a new family of monoids, which we call gap absorbing monoids. Every gap absorbing monoid is an ideal extension of a free commutative monoid. For a gap absorbing monoid $S$ we study its set of atoms and Betti elements, which allows us to show that the catenary degree of $S$ is at most four and that the set of lengths of any element in $S$ is an interval. We also give bounds for the $\omega$-primality of any ideal extension of a free commutative monoid. For ideal extensions $S$ of $\mathbb{N}^d$, with $d$ a positive integer, we show that $\omega(S)$ is finite if and only if $S$ has finitely many gaps.


title: Notes on Smooth and Singular Volumetric Growth

abstract: The material structure of bodies undergoing growth is considered. In the geometric framework of a general differential manifold modeling the physical space and a fiber bundle modeling spacetime, body points may be defined for any extensive property for which a smooth flux field exists, even if the property is not conserved. Singular flux fields are considered using the notion of a de Rham current. Writing a generalized balance law using the boundary of the current corresponding to a singular flux field, surface growth is unified with volumetric growth.


title: Spotting Fake Profiles in Social Networks via Keystroke Dynamics

abstract: Spotting and removing fake profiles could curb the menace of fake news in society. This paper, thus, investigates fake profile detection in social networks via users' typing patterns. We created a novel dataset of 468 posts from 26 users on three social networks: Facebook, Instagram, and X (previously Twitter) over six sessions. Then, we extract a series of features from keystroke timings and use them to predict whether two posts originated from the same users using three prominent statistical methods and their score-level fusion. The models' performance is evaluated under same, cross, and combined-cross-platform scenarios. We report the performance using k-rank accuracy for k varying from 1 to 5. The best-performing model obtained accuracies between 91.6-100% on Facebook (Fusion), 70.8-87.5% on Instagram (Fusion), and 75-87.5% on X (Fusion) for k from 1 to 5. Under a cross-platform scenario, the fusion model achieved mean accuracies of 79.1-91.6%, 87.5-91.6%, and 83.3-87.5% when trained on Facebook, Instagram, and Twitter posts, respectively. In combined cross-platform, which involved mixing two platforms' data for model training while testing happened on the third platform's data, the best model achieved accuracy ranges of 75-95.8% across different scenarios. The results highlight the potential of the presented method in uncovering fake profiles across social network platforms.


title: A Critical, But Hopefully Cordial, QBist Reply to Ballentine

abstract: L. E. Ballentine's remarks in Physics Today about the QBist interpretation of quantum mechanics are generally wide of the mark.


title: Vertices of the polytope of polystochastic matrices and product constructions

abstract: A multidimensional nonnegative matrix is called polystochastic if the sum of its entries at each line is equal to $1$. The set of all polystochastic matrices of order $n$ and dimension $d$ is a convex polytope $\Omega_n^d$. In the present paper, we compare known bounds on the number $V(n,d)$ of vertices of the polytope $\Omega_n^d$, propose two constructions of vertices of $\Omega_n^d$ based on multidimensional matrix multiplication, and list all vertices of the polytope $\Omega_3^4$.


title: Particle-based algorithm for stochastic optimal control

abstract: The solution to a stochastic optimal control problem can be determined by computing the value function from a discretization of the associated Hamilton-Jacobi-Bellman equation. Alternatively, the problem can be reformulated in terms of a pair of forward-backward SDEs, which makes Monte-Carlo techniques applicable. More recently, the problem has also been viewed from the perspective of forward and reverse time SDEs and their associated Fokker-Planck equations. This approach is closely related to techniques used in diffusion-based generative models. Forward and reverse time formulations express the value function as the ratio of two probability density functions; one stemming from a forward McKean-Vlasov SDE and another one from a reverse McKean-Vlasov SDE. In this paper, we extend this approach to a more general class of stochastic optimal control problems and combine it with ensemble Kalman filter type and diffusion map approximation techniques in order to obtain efficient and robust particle-based algorithms.


title: Renormalon cancellation and linear power correction to threshold-like asymptotics of space-like parton correlators

abstract: In this paper, we show that the common hard kernel of double-log-type or threshold-type factorization for certain space-like parton correlators that arise in the context of lattice parton distributions, the heavy-light Sudakov hard kernel, has linear infrared (IR) renormalon. We explicitly demonstrate how this IR renormalon correlates with ultraviolet (UV) renormalons of next-to-leading power operators in two explicit examples: threshold asymptotics of space-like quark-bilinear coefficient functions and transverse momentum dependent (TMD) factorization of quasi wave function amplitude. Theoretically, the pattern of renormalon cancellation complies with general expectations to marginal asymptotics in the UV limit. Practically, this linear renormalon explains the slow convergence of imaginary parts observed in lattice extraction of the Collins-Soper kernel and signals the relevance of next-to-leading power contributions. Fully factorized, fully controlled threshold asymptotic expansion for space-like quark-bilinear coefficient functions in coordinate and moment space has also been proposed.


title: Computing the F-pure Threshold of Flag Varieties

abstract: We compute the $F$-pure threshold of the natural cone over flag varieties in characteristic $p>0$. Our calculations are mainly focused on flag varieties that are arithmetically Gorenstein, but we offer some results in the non-Gorenstein case. Our goal is to determine the $a$-invariant of the cone. As a result, the $F$-pure thresholds we find are independent of the characteristic $p$, hence one immediately gets the value of the log canonical threshold of flags in characteristic 0 as well.


title: A Quantum Mechanical Example for Hodge Theory

abstract: On the basis of (i) the discrete and continuous symmetries (and corresponding conserved charges), (ii) the ensuing algebraic structures of the symmetry operators and conserved charges, and (iii) a few basic concepts behind the subject of differential geometry, we show that the celebrated Friedberg-Lee-Pang-Ren (FLPR) quantum mechanical model (describing the motion of a single non-relativistic particle of unit mass under the influence of the general spatial 2D rotationally invariant potential) provides a tractable physical example for the Hodge theory within the framework of Becchi-Rouet-Stora-Tyutin (BRST) formalism where the symmetry operators and conserved charges lead to the physical realizations of the de Rham cohomological operators of differential geometry at the algebraic level. We concisely mention the Hodge decomposition theorem in the quantum Hilbert space of states and choose the harmonic states as the real physical states of our theory. We discuss the physicality criteria w.r.t. the conserved and nilpotent versions of the (anti-)BRST and (anti-)co-BRST charges and the physical consequences that ensue from them.


title: Zooming in on the Universe: In Search of Quantum Spacetime

abstract: This thesis investigates low-dimensional models of nonperturbative quantum gravity, with a special focus on Causal Dynamical Triangulations (CDT). We define the so-called curvature profile, a new quantum gravitational observable based on the quantum Ricci curvature. We subsequently study its coarse-graining capabilities on a class of regular, two-dimensional polygons with isolated curvature singularities, and we determine the curvature profile of (1+1)-dimensional CDT with toroidal topology. Next, we focus on CDT in 2+1 dimensions, intvestigating the behavior of the two-dimensional spatial slice geometries. We then turn our attention to matrix models, exploring a differential reformulation of the integrals over one- and two-matrix ensembles. Finally, we provide a hands-on introduction to computer simulations of CDT quantum gravity.


title: A Quantitative Study of SMS Phishing Detection

abstract: With the booming popularity of smartphones, threats related to these devices are increasingly on the rise. Smishing, a combination of SMS (Short Message Service) and phishing has emerged as a treacherous cyber threat used by malicious actors to deceive users, aiming to steal sensitive information, money or install malware on their mobile devices. Despite the increase in smishing attacks in recent years, there are very few studies aimed at understanding the factors that contribute to a user's ability to differentiate real from fake messages. To address this gap in knowledge, we have conducted an online survey on smishing detection with 187 participants. In this study, we presented them with 16 SMS screenshots and evaluated how different factors affect their decision making process in smishing detection. Next, we conducted a post-survey to garner information on the participants' security attitudes, behavior and knowledge. Our results highlighted that attention and security behavioral scores had a significant impact on participants' accuracy in identifying smishing messages. We found that participants had more difficulty identifying real messages from fake ones, with an accuracy of 67.1% with fake messages and 43.6% with real messages. Our study is crucial in developing proactive strategies to encounter and mitigate smishing attacks. By understanding what factors influence smishing detection, we aim to bolster users' resilience against such threats and create a safer digital environment for all.


title: Soft photon theorem in QCD with massless quarks

abstract: Working to all orders in dimensionally-regularized QCD, we study the radiation of a photon whose energy is much lower than that of external partons, but much larger than the masses of some quarks. We argue that the conventional soft photon theorem receives corrections at leading power in the photon energy, associated with soft virtual loops of massless fermions. These additive corrections give an overall factor times the non-radiative amplitude that is infrared finite and real to all orders in $\alpha_s$. Based on recent calculations of the three-loop soft gluon current, we identify the lowest-order three-loop correction.


title: Zero-Age Horizontal Branch Models for -2.5 <= [Fe/H] <= -0.5 and Their Implications for the Apparent Distance Moduli of Globular Clusters

abstract: Grids of zero-age horizontal branch (ZAHB) models are presented, along with a suitable interpolation code, for -2.5 <= [Fe/H] <= -0.5, in steps of 0.2 dex, assuming Y = 0.25 and 0.29, [O/Fe] = +0.4 and +0.6, and [m/Fe] = 0.4 for all of the other alpha elements. The HB populations of 37 globular clusters (GCs) are fitted to these ZAHBs to derive their apparent distance moduli, (m-M)_V. With few exceptions, the best estimates of their reddenings from dust maps are adopted. The distance moduli are constrained using the prediction that (M_F606W-M_F814W)_0 colours of metal-poor, main-sequence stars at M_F606W >~ 5.0 have very little sensitivity to [Fe/H]. Intrinsic (M_F336W-M_F606W)_0 colours of blue HB stars, which provide valuable connections between GCs with exclusively blue HBs and other clusters of similar metallicity that also have red HB components, limit the uncertainties of relative (m-M)_V values to within +/- 0.03-0.04 mag. The ZAHB-based distances agree quite well with the distances derived by Baumgardt & Vasiliev (2021, MNRAS, 505, 5957). Their implications for GC ages are briefly discussed. Stellar rotation and mass loss appear to be more important than helium abundance variations in explaining the colour-magnitude diagrams of second-parameter GCs (those with anomalously very blue HBs for their metallicities).


title: Model-assisted Reinforcement Learning of a Quadrotor

abstract: In recent times, reinforcement learning has produced baffling results when it comes to performing control tasks with highly non-linear systems. The impressive results always outweigh the potential vulnerabilities or uncertainties associated with the agents when deployed in the real-world. While the performance is remarkable compared to the classical control algorithms, the reinforcement learning-based methods suffer from two flaws, robustness and interpretability, which are vital for contemporary real-world applications. The paper attempts to alleviate such problems with reinforcement learning and proposes the concept of model-assisted reinforcement learning to induce a notion of conservativeness in the agents. The control task considered for the experiment involves navigating a CrazyFlie quadrotor. The paper also describes a way of reformulating the task to have the flexibility of tuning the level of conservativeness via multi-objective reinforcement learning. The results include a comparison of the vanilla reinforcement learning approaches and the proposed approach. The metrics are evaluated by systematically injecting disturbances to classify the inherent robustness and conservativeness of the agents. More concrete arguments are made by computing and comparing the backward reachability tubes of the RL policies by solving the Hamilton-Jacobi-Bellman partial differential equation (HJ PDE).


title: Search for new physics in semileptonic decays of K and B as implied by the g-2 anomaly in FSM

abstract: The framed standard model (FSM), constructed to explain, with some success, why there should be 3 and apparently only 3 generations of quarks and leptons in nature falling into a hierarchical mass and mixing pattern, suggests also, among other things, a scalar boson U, with mass around 17 MeV and small couplings to quarks and leptons, which might explain the g-2 anomaly reported in experiment. The U arises in FSM initially as a state in the predicted `hidden sector' with mass around 17 MeV, which mixes with the standard model (SM) Higgs $h_W$, acquiring thereby a coupling to quarks and leptons and a mass just below 17 MeV. The initial purpose of the present paper is to check whether this proposal is compatible with experiment on semileptonic decays of Ks and Bs where the U can also appear. The answer to this we find is affirmative, in that the contribution of U to new physics as calculated in the FSM remains within the experimental bounds, but only if $m_U$ lies within a narrow range just below the unmixed mass. As a result from this, one has an estimate $m_U \sim 15 - 17$ MeV for the mass of $U$, and from some further considerations the estimate $\Gamma_U \sim 0.02$ eV for its width, both of which may be useful for an eventual search for it in experiment. And, if found, it will be, for the FSM, not just the discovery of a predicted new particle, but the opening of a window into a whole ``hidden sector" containing at least some, perhaps ven the bulk, of the dark matter in the universe.


title: TSViT: A Time Series Vision Transformer for Fault Diagnosis

abstract: Traditional fault diagnosis methods using Convolutional Neural Networks (CNNs) face limitations in capturing temporal features (i.e., the variation of vibration signals over time). To address this issue, this paper introduces a novel model, the Time Series Vision Transformer (TSViT), specifically designed for fault diagnosis. On one hand, TSViT model integrates a convolutional layer to segment vibration signals and capture local features. On the other hand, it employs a transformer encoder to learn long-term temporal information. The experimental results with other methods on two distinct datasets validate the effectiveness and generalizability of TSViT with a comparative analysis of its hyperparameters' impact on model performance, computational complexity, and overall parameter quantity. TSViT reaches average accuracies of 100% and 99.99% on two test sets, correspondingly.


title: FLASH-RL: Federated Learning Addressing System and Static Heterogeneity using Reinforcement Learning

abstract: Federated Learning (FL) has emerged as a promising Machine Learning paradigm, enabling multiple users to collaboratively train a shared model while preserving their local data. To minimize computing and communication costs associated with parameter transfer, it is common practice in FL to select a subset of clients in each training round. This selection must consider both system and static heterogeneity. Therefore, we propose FLASH-RL, a framework that utilizes Double Deep QLearning (DDQL) to address both system and static heterogeneity in FL. FLASH-RL introduces a new reputation-based utility function to evaluate client contributions based on their current and past performances. Additionally, an adapted DDQL algorithm is proposed to expedite the learning process. Experimental results on MNIST and CIFAR-10 datasets have shown FLASH-RL's effectiveness in achieving a balanced trade-off between model performance and end-to-end latency against existing solutions. Indeed, FLASH-RL reduces latency by up to 24.83% compared to FedAVG and 24.67% compared to FAVOR. It also reduces the training rounds by up to 60.44% compared to FedAVG and +76% compared to FAVOR. In fall detection using the MobiAct dataset, FLASH-RL outperforms FedAVG by up to 2.82% in model's performance and reduces latency by up to 34.75%. Additionally, FLASH-RL achieves the target performance faster, with up to a 45.32% reduction in training rounds compared to FedAVG.


title: Resource-Aware Hierarchical Federated Learning for Video Caching in Wireless Networks

abstract: Video caching can significantly improve backhaul traffic congestion by locally storing the popular content that users frequently request. A privacy-preserving method is desirable to learn how users' demands change over time. As such, this paper proposes a novel resource-aware hierarchical federated learning (RawHFL) solution to predict users' future content requests under the realistic assumptions that content requests are sporadic and users' datasets can only be updated based on the requested content's information. Considering a partial client participation case, we first derive the upper bound of the global gradient norm that depends on the clients' local training rounds and the successful reception of their accumulated gradients over the wireless links. Under delay, energy and radio resource constraints, we then optimize client selection and their local rounds and central processing unit (CPU) frequencies to minimize a weighted utility function that facilitates RawHFL's convergence in an energy-efficient way. Our simulation results show that the proposed solution significantly outperforms the considered baselines in terms of prediction accuracy and total energy expenditure.


title: Thermodynamics and Tachyon Condensation of the Dressed-Dynamical Unstable D$p$-branes

abstract: Using the boundary state formalism and thermo field dynamics approach, we study a D$p$-brane at finite temperature in which the background Kalb-Ramond field, a $U(1)$ gauge potential, and tachyon field are turned on together with a general tangential dynamics. The thermal entropy of the brane will be studied. In addition, the behavior of the entropy after the tachyon condensation process will be investigated and some thermodynamic interpretations will be extracted.


title: Quantumness and quantum to classical transition in the generalized Rabi model

abstract: The quantum to classical transition (QCT) is one of the central mysteries in quantum physics. This process is generally interpreted as state collapse from measurement or decoherence from interacting with the environment. Here we define the quantumness of a Hamiltonian by the free energy difference between its quantum and classical descriptions, which vanishes during QCT. We apply this criterion to the many-body Rabi model and study its scaling law across the phase transition, finding that not only the temperature and Planck constant, but also all the model parameters are important for this transition. We show that the Jaynes-Cummings and anti Jaynes-Cummings models exhibit greater quantumness than the Rabi model. Moreover, we show that the rotating wave and anti-rotating wave terms in this model have opposite quantumness in QCT. We demonstrate that the quantumness may be enhanced or suppressed at the critical point. Finally, we estimate the quantumness of the Rabi model in current trapped ion experiments. The quantumness provides an important tool to characterize the QCT in a vast number of many-body models.


title: Concept Matching: Clustering-based Federated Continual Learning

abstract: Federated Continual Learning (FCL) has emerged as a promising paradigm that combines Federated Learning (FL) and Continual Learning (CL). To achieve good model accuracy, FCL needs to tackle catastrophic forgetting due to concept drift over time in CL, and to overcome the potential interference among clients in FL. We propose Concept Matching (CM), a clustering-based framework for FCL to address these challenges. The CM framework groups the client models into concept model clusters, and then builds different global models to capture different concepts in FL over time. In each round, the server sends the global concept models to the clients. To avoid catastrophic forgetting, each client selects the concept model best-matching the concept of the current data for further fine-tuning. To avoid interference among client models with different concepts, the server clusters the models representing the same concept, aggregates the model weights in each cluster, and updates the global concept model with the cluster model of the same concept. Since the server does not know the concepts captured by the aggregated cluster models, we propose a novel server concept matching algorithm that effectively updates a global concept model with a matching cluster model. The CM framework provides flexibility to use different clustering, aggregation, and concept matching algorithms. The evaluation demonstrates that CM outperforms state-of-the-art systems and scales well with the number of clients and the model size.


title: A Survey on Socially Aware Robot Navigation: Taxonomy and Future Challenges

abstract: Socially aware robot navigation is gaining popularity with the increase in delivery and assistive robots. The research is further fueled by a need for socially aware navigation skills in autonomous vehicles to move safely and appropriately in spaces shared with humans. Although most of these are ground robots, drones are also entering the field. In this paper, we present a literature survey of the works on socially aware robot navigation in the past 10 years. We propose four different faceted taxonomies to navigate the literature and examine the field from four different perspectives. Through the taxonomic review, we discuss the current research directions and the extending scope of applications in various domains. Further, we put forward a list of current research opportunities and present a discussion on possible future challenges that are likely to emerge in the field.


title: Optimal mean first-passage time of a run-and-tumble particle in a class of one-dimensional confining potentials

abstract: We consider a run-and-tumble particle (RTP) in one dimension, subjected to a telegraphic noise with a constant rate $\gamma$, and in the presence of an external confining potential $V(x) = \alpha |x|^p$ with $p \geq 1$. We compute the mean first-passage time (MFPT) at the origin $\tau_\gamma(x_0)$ for an RTP starting at $x_0$. We obtain a closed form expression for $\tau_\gamma(x_0)$ for all $p \geq 1$, which becomes fully explicit in the case $p=1$, $p=2$ and in the limit $p \to \infty$. For generic $p>1$ we find that there exists an optimal rate $\gamma_{\rm opt}$ that minimizes the MFPT and we characterize in detail its dependence on $x_0$. We find that $\gamma_{\rm opt} \propto 1/x_0$ as $x_0 \to 0$, while $\gamma_{\rm opt}$ converges to a nontrivial constant as $x_0 \to \infty$. In contrast, for $p=1$, there is no finite optimum and $\gamma_{\rm opt} \to \infty$ in this case. These analytical results are confirmed by our numerical simulations.


title: Evolution from quartz (qtz) to diamond (dia) carbon allotropes: Crystal engineering and DFT investigations

abstract: Based on crystal engineering and density functional theory DFT calculations a transformational pathway is proposed from qtz (quartz-based) topology characterized by distorted tetrahedra to dia (diamond-like) regular tetrahedra topology. The protocol consists of carbon insertions into orthorhombic (space group P222, No. 16) within C5, C6, and C7, leading to ultimate C8 identified as diamond-like. The induced structural and physical changes are assessed with elastic properties pointing to ultra hardness, larger for qtz-C6 than dia-C8, whilst intermediate C7 is compressible due to its diamond-defective structure. The dynamic stability was shown from the phonons, and thermodynamic quantities as the specific heat CV was addressed in comparison with diamond experimental data. The electronic band structures reveal semi-conducting C6, metallic C7 characterized by diamond-defect structure, and insulating C8.


title: Microwave Quantum Memcapacitor Effect

abstract: Developing the field of neuromorphic quantum computing necessitates designing scalable quantum memory devices. Here, we propose a superconducting quantum memory device in the microwave regime, termed as a microwave quantum memcapacitor. It comprises two linked resonators, the primary one is coupled to a Superconducting Quantum Interference Device, which allows for the modulation of the resonator properties through external magnetic flux. The auxiliary resonator, operated through weak measurements, provides feedback to the primary resonator, ensuring stable memory behaviour. This device operates with a classical input in one cavity while reading the response in the other, serving as a fundamental building block toward arrays of microwave quantum memcapacitors. We observe that a bipartite setup can retain its memory behaviour and gains entanglement and quantum correlations. Our findings pave the way for the experimental implementation of memcapacitive superconducting quantum devices and memory device arrays for neuromorphic quantum computing.


title: Matrix-free polynomial preconditioning of saddle point systems using the hyper-power method

abstract: This study explores the integration of the hyper-power sequence, a method commonly employed for approximating the Moore-Penrose inverse, to enhance the effectiveness of an existing preconditioner. The approach is closely related to polynomial preconditioning based on Neumann series. We commence with a state-of-the-art matrix-free preconditioner designed for the saddle point system derived from isogeometric structure-preserving discretization of the Stokes equations. Our results demonstrate that incorporating multiple iterations of the hyper-power method enhances the effectiveness of the preconditioner, leading to a substantial reduction in both iteration counts and overall solution time for simulating Stokes flow within a 3D lid-driven cavity. Through a comprehensive analysis, we assess the stability, accuracy, and numerical cost associated with the proposed scheme.


title: Topologically modified Einstein equation: a solution with singularities on $\mathbb{S}^3$

abstract: In [arXiv:2204.13980], we recently proposed a modification of general relativity in which a non-dynamical term related to topology is introduced in the Einstein equation. The original motivation for this theory is to allow for the non-relativistic limit to exist in any physical spacetime topology. In the present paper, we derive an exact static vacuum spherically symmetric solution of this theory. The metric represents a black hole (with positive Komar mass) and a naked white hole (with negative and opposite Komar mass) at opposite poles of an $\mathbb{S}^3$ universe. The solution is similar to the Schwarzschild metric, but the spacelike infinity is cut, and replaced by a naked white hole at finite distance, implying that the spacelike hypersurfaces of the Penrose--Carter diagram are closed. This solution further confirms a result of [arXiv:2212.00675] suggesting that staticity of closed-space models in this theory requires a vanishing total mass. As a subcase of the solution, we also obtain a vacuum homogeneous 3-sphere, something not possible in general relativity. We also put in perspective the solution with other attempts at describing singularities on $\mathbb{S}^3$ and discuss how this theory could be used to study the behaviour of a black hole in an empty closed expanding universe.


title: Attention for Causal Relationship Discovery from Biological Neural Dynamics

abstract: This paper explores the potential of the transformer models for learning Granger causality in networks with complex nonlinear dynamics at every node, as in neurobiological and biophysical networks. Our study primarily focuses on a proof-of-concept investigation based on simulated neural dynamics, for which the ground-truth causality is known through the underlying connectivity matrix. For transformer models trained to forecast neuronal population dynamics, we show that the cross attention module effectively captures the causal relationship among neurons, with an accuracy equal or superior to that for the most popular Granger causality analysis method. While we acknowledge that real-world neurobiology data will bring further challenges, including dynamic connectivity and unobserved variability, this research offers an encouraging preliminary glimpse into the utility of the transformer model for causal representation learning in neuroscience.


title: The combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids

abstract: Ferroni and Larson gave a combinatorial interpretation of the braid Kazhdan-Lusztig polynomials in terms of series-parallel matroids. As a consequence, they confirmed an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with odd rank, as conjectured by Elias, Proudfoot, and Wakefield. Based on Ferroni and Larson's work, we further explore the combinatorics behind the leading Kazhdan-Lusztig coefficients of braid matroids. The main results of this paper include an explicit formula for the leading Kazhdan-Lusztig coefficients of braid matroids with even rank, a simple expression for the number of simple series-parallel matroids of rank k + 1 on 2k elements, and explicit formulas for the leading coefficients of inverse Kazhdan-Lusztig polynomials of braid matroids. The binomial identity for the Abel polynomials plays an important role in the proofs of these formulas.


title: Video-based sympathetic arousal assessment via peripheral blood flow estimation

abstract: Electrodermal activity (EDA) is considered a standard marker of sympathetic activity. However, traditional EDA measurement requires electrodes in steady contact with the skin. Can sympathetic arousal be measured using only an optical sensor, such as an RGB camera? This paper presents a novel approach to infer sympathetic arousal by measuring the peripheral blood flow on the face or hand optically. We contribute a self-recorded dataset of 21 participants, comprising synchronized videos of participants' faces and palms and gold-standard EDA and photoplethysmography (PPG) signals. Our results show that we can measure peripheral sympathetic responses that closely correlate with the ground truth EDA. We obtain median correlations of 0.57 to 0.63 between our inferred signals and the ground truth EDA using only videos of the participants' palms or foreheads or PPG signals from the foreheads or fingers. We also show that sympathetic arousal is best inferred from the forehead, finger, or palm.


title: On redundant Sylow subgroups

abstract: A Sylow p-subgroup P of a finite group G is called redundant if every p-element of G lies in a Sylow subgroup different from P. Generalizing a recent theorem of Mar\'oti--Mart\'inez--Moret\'o, we show that for every non-cyclic p-group P there exists a solvable group G such that P is redundant in G. Moreover, we answer several open questions raised by Mar\'oti--Mart\'inez--Moret\'o.


title: Propagation of Gravitational Waves in Einstein--Gauss-Bonnet Gravity for Cosmological and Spherically Symmetric Spacetimes

abstract: In this work, we examine the propagation of gravitational waves in cosmological and astrophysical spacetimes in the context of Einstein--Gauss-Bonnet gravity, in view of the GW170817 event. The perspective we approach the problem is to obtain a theory which can produce a gravitational wave speed that is equal to that of light in the vacuum, or at least the speed can be compatible with the constraints imposed by the GW170817 event. As we show, in the context of Einstein--Gauss-Bonnet gravity, the propagation speed of gravity waves in cosmological spacetimes can be compatible with the GW170817 event, and we reconstruct some viable models. However, the propagation of gravity waves in spherically symmetric spacetimes violates the GW170817 constraints, thus it is impossible for the gravitational wave that propagates in a spherically symmetric spacetime to have a propagating speed which is equal to that of light in the vacuum. The same conclusion applies to the Einstein--Gauss-Bonnet theory with two scalars. We discuss the possible implications of our results on spherically symmetric spacetimes.


title: Warm Affine Inflation

abstract: The warm inflationary scenario is investigated in the context of affine gravity formalism. A general framework is provided for studying different single-field potentials. Using the sphaleron mechanism we explain the continuous dissipation of the inflaton field into radiation, leading to the $\Gamma=\Gamma_0 T^3$ dissipation coefficient. The treatment is performed in the weak and strong dissipation limits. We consider the quartic potential as a case study to provide a detailed study. Moreover, in this study, we discuss various constraints on inflationary models in general. We compare the theoretical results of the quartic potential model within warm inflation with the observational constraints from Planck $2018$ and BICEP/Keck 2018, as presented by the tensor-to-scalar ratio, spectral index and the perturbation spectrum.


title: Are all Weakly Convex and Decomposable Polyhedral Surfaces Infinitesimally Rigid?

abstract: It is conjectured that all decomposable (i.e. interior can be triangulated without adding new vertices) polyhedra with vertices in convex position are infinitesimally rigid and only recently has it been shown that this is indeed true under an additional assumption of codecomposability (i.e. the interior of the difference between the convex hull and the polyhedron itself can be triangulated without adding new vertices). One major set of tools for studying infinitesimal rigidity happens to be throughout the (negative) Hessian $M_T$ of the discrete Hilbert-Einstein functional. Besides its theoretical importance, it provides the necessary machinery to tackle the problem experimentally. To search for potential counterexamples to the conjecture, one constructs an explicit family of so-called $T$-polyhedra, all of which are weakly convex and decomposable, while being non-codecomposable. Since infinitesimal rigidity is equivalent to a non-degenerate $M_T$, one can let Mathematica search for the eigenvalues of $M_T$ and gather experimental evidence that such a flexible, weakly convex and decomposable $T$-polyhedron may not exist.


title: A method to estimate the rectangular orthotropic plate elastic constants using least-squares and Chladni patterns

abstract: A method to retrieve the elastic constants of rectangular wooden plates is presented, relying on the measurement of a set of eigenfrequencies and the identification of the corresponding mode shapes, and belonging to the more general category of non-destructive inverse parameter estimation methods. Compared to previous works, the current method is effective with any choice of boundary conditions. Furthermore, the error function is linear in the elastic constants, which are computed via a matrix inversion. This framework lends itself naturally to a physical interpretation of the results in terms of linear combinations of eigenmodes, yielding new sets of modes and associated combined mode shapes in which the elastic constants are completely uncoupled. A number of numerical benchmark tests and experimental cases are treated in detail, highlighting the reliability of the proposed methodology in cases of interest in acoustics and musical acoustics.


title: A Generalized Framework for Pulse-Shaping on Delay-Doppler Plane

abstract: The primary objective of this paper is to establish a generalized framework for pulse-shaping on the delay-Doppler plane. To this end, we classify delay-Doppler pulse-shaping techniques into two types, namely, circular and linear pulse-shaping. This paves the way towards the development of a generalized pulse-shaping framework. Our generalized framework provides the opportunity to compare different pulse-shaping techniques under the same umbrella while bringing new insights into their properties. In particular, our derivations based on this framework reveal that the recently emerged waveform orthogonal delay-Doppler multiplexing modulation (ODDM) is a linear pulse-shaping technique. By presenting ODDM under our generalized framework, we clearly explain the observed staircase behavior of its spectrum which has not been previously reported in the literature. Another contribution of this paper is proposal of a simple out-of-band (OOB) emission reduction technique by inserting a small number of zero-guard (ZG) symbols along the delay dimension of the circularly pulse-shaped signals. Additionally, inserting the zero-guards improves the bit-error-rate (BER) performance of both circular and linear pulse-shaping techniques. Finally, our simulation results confirm the validity of our mathematical derivations, claims and the effectiveness of the ZGs in OOB reduction and BER performance improvement.


title: Kleene Algebra with Dynamic Tests: Completeness and Complexity

abstract: We study versions of Kleene algebra with dynamic tests, that is, extensions of Kleene algebra with domain and antidomain operators. We show that Kleene algebras with tests and Propositional dynamic logic correspond to special cases of the dynamic test framework. In particular, we establish completeness results with respect to relational models and guarded-language models, and we show that two prominent classes of Kleene algebras with dynamic tests have an EXPTIME-complete equational theory.


title: 5G Networks and IoT Devices: Mitigating DDoS Attacks with Deep Learning Techniques

abstract: The development and implementation of Internet of Things (IoT) devices have been accelerated dramatically in recent years. As a result, a super-network is required to handle the massive volumes of data collected and transmitted to these devices. Fifth generation (5G) technology is a new, comprehensive wireless technology that has the potential to be the primary enabling technology for the IoT. The rapid spread of IoT devices can encounter many security limits and concerns. As a result, new and serious security and privacy risks have emerged. Attackers use IoT devices to launch massive attacks; one of the most famous is the Distributed Denial of Service (DDoS) attack. Deep Learning techniques have proven their effectiveness in detecting and mitigating DDoS attacks. In this paper, we applied two Deep Learning algorithms Convolutional Neural Network (CNN) and Feed Forward Neural Network (FNN) in dataset was specifically designed for IoT devices within 5G networks. We constructed the 5G network infrastructure using OMNeT++ with the INET and Simu5G frameworks. The dataset encompasses both normal network traffic and DDoS attacks. The Deep Learning algorithms, CNN and FNN, showed impressive accuracy levels, both reaching 99%. These results underscore the potential of Deep Learning to enhance the security of IoT devices within 5G networks.


title: Luminescence in anion-deficient hafnia nanotubes

abstract: Hafnia-based nanostructures and other high-k dielectrics are promising wide-gap materials for developing new opto- and nanoelectronics devices. They possess a unique combination of physical and chemical properties such as insensitivity to electrical and optical degradation, radiation damage stability, a high specific surface area, and an increased concentration of the appropriate active electron-hole centers. The present paper aims to investigate the structural, optical, and luminescent properties of anodized non-stoichiometric $HfO_2$ nanotubes. As-grown amorphous hafnia nanotubes and nanotubes annealed at 700{\deg}C with a monoclinic crystal lattice served as samples. It has been shown that the bandgap $E_g$ for direct allowed transitions amounts to $5.65\pm0.05$ eV for amorphous and $5.51\pm0.05$ eV for monoclinic nanotubes. For the first time, we have studied the features of the intrinsic cathodoluminescence and photoluminescence of the obtained nanotubular $HfO_2$ structures with an atomic deficiency in the anion sublattice at temperatures of 10 and 300 K. A broad emission band with a maximum of 2.3-2.4 eV has been revealed. We have also conducted an analysis of the kinetic dependencies of the observed photoluminescence for synthesized $HfO_2$ samples in the millisecond range at room temperature. It showed that there are several types of optically active capture and emission centers based on vacancy states in the $O_{3f}$ and $O_{4f}$ positions with different coordination numbers and a varied number of localized charge carriers ($V^0$, $V^-$, and $V^{2-}$). The uncovered regularities can be used to optimize the functional characteristics of developed-surface luminescent media based on nanotubular and nanoporous modifications of hafnia.


title: On the Hawking mass for CMC surfaces in positive curved 3-manifolds

abstract: In this paper, we present two rigidity results for stable constant mean curvature (CMC) surfaces immersed in $3$-manifolds with positive scalar curvature, assuming that the Hawking mass is zero. In the first result, we assume the surface to be approximately round, while in the second result, we consider surfaces invariant under an even symmetry.


title: Kepler Multi-Transiting Systems Physical Properties and Impact Parameter Variations

abstract: We fit a dynamical model to Kepler systems that contain four or more transiting planets using the analytic method AnalyticLC, and obtain physical and orbital parameters for 101 planets in 23 systems, of which 95 are of mass significance better than 3 sigma, and 46 are without previously reported mass constraints nor upper limits. In addition, we compile a list of 71 KOIs that display significant Impact Parameter Variations (TbVs), complementing our previously published work on two- and three-transiting planet systems. Together, these works include the detection of significant TbV signals of 130 planets, which is, to our knowledge, the largest catalog of this type to date. The results indicate that the typical detectable TbV rate in the Kepler population is of order 10^{-2} yr^{-1}, and that rapid TbV rates (>~0.05 yr^{-1}) are observed only in systems that contain a transiting planet of an orbital period less than ~20 days. The observed TbV rates are only weakly correlated with orbital period within Kepler's <~100 days-period planets. If this extends to longer periods, it implies a limit on the utility of the transit technique for long-period planets. The TbVs we find may not be detectable in direct impact parameter measurements but rather are inferred from the full dynamics of the system, encoded in all types of transit variations. Finally, we find evidence that the mutual inclinations distribution is qualitatively consistent with the previously suggested AMD (angular momentum deficit) model using an independent approach.


title: Contractive Systems Improve Graph Neural Networks Against Adversarial Attacks

abstract: Graph Neural Networks (GNNs) have established themselves as a key component in addressing diverse graph-based tasks. Despite their notable successes, GNNs remain susceptible to input perturbations in the form of adversarial attacks. This paper introduces an innovative approach to fortify GNNs against adversarial perturbations through the lens of contractive dynamical systems. Our method introduces graph neural layers based on differential equations with contractive properties, which, as we show, improve the robustness of GNNs. A distinctive feature of the proposed approach is the simultaneous learned evolution of both the node features and the adjacency matrix, yielding an intrinsic enhancement of model robustness to perturbations in the input features and the connectivity of the graph. We mathematically derive the underpinnings of our novel architecture and provide theoretical insights to reason about its expected behavior. We demonstrate the efficacy of our method through numerous real-world benchmarks, reading on par or improved performance compared to existing methods.


title: Friction Tubes to Generate Nanobubble Ozone Water with an Increased Half-Life for Virucidal Activity

abstract: Nanobubbles and related technologies are expected to be highly utilized in water resource-based industries such as water purification, crops, horticulture, medicine, bio, and sterilization. Ozone, a chemical with high sterilizing power, is known as a natural substance that is reduced to oxygen and water after reacting with pollutants. Ozone water, which is generated by dissolving ozone in water, has been used in various industrial sectors such as medical care, food, and environment. Due to the unstable molecular state of ozone, however, it is difficult to produce, use, and supply ozone at industrial sites in a stable manner. This study proposed a method for constructing a system that can generate high-concentration ozone water in large quantities using low power in real time and maintaining the concentration of the generated ozone water over the long term. Friction tubes (called 'nanotube') played a key role to generate nanobubble ozone water with an increased half-life for virus killing activity. In addition, the safety of ozone water during its spray into the air was explained, and virucidal activity test cases for the influenza A (H1N1/A/PR8) and COVID-19 (SARS-CoV-2) virus using high-concentration ozone water as well as its technical efficacy were described.


title: D invariants obstruction to sliceness of a class of algebraically slice knots

abstract: We use d invariants of the 2-fold branched cover to show nonsliceness of a set of algebraically slice knots.


title: An Efficient Approach for Identifying Important Biomarkers for Biomedical Diagnosis

abstract: In this paper, we explore the challenges associated with biomarker identification for diagnosis purpose in biomedical experiments, and propose a novel approach to handle the above challenging scenario via the generalization of the Dantzig selector. To improve the efficiency of the regularization method, we introduce a transformation from an inherent nonlinear programming due to its nonlinear link function into a linear programming framework. We illustrate the use of of our method on an experiment with binary response, showing superior performance on biomarker identification studies when compared to their conventional analysis. Our proposed method does not merely serve as a variable/biomarker selection tool, its ranking of variable importance provides valuable reference information for practitioners to reach informed decisions regarding the prioritization of factors for further investigations.


title: Performance of ChatGPT on the Test of Understanding Graphs in Kinematics

abstract: The well-known artificial intelligence-based chatbot ChatGPT-4 has become able to process image data as input in October 2023. We investigated its performance on the Test of Understanding Graphs in Kinematics to inform the physics education community of the current potential of using ChatGPT in the education process, particularly on tasks that involve graphical interpretation. We found that ChatGPT, on average, performed similarly to students taking a high-school level physics course, but with important differences in the distribution of the correctness of its responses, as well as in terms of the displayed "reasoning" and "visual" abilities. While ChatGPT was very successful at proposing productive strategies for solving the tasks on the test and expressed correct "reasoning" in most of its responses, it had difficulties correctly "seeing" graphs. We suggest that, based on its performance, caution and a critical approach are needed if one intends to use it in the role of a tutor, a model of a student, or a tool for assisting vision-impaired persons in the context of kinematics graphs.


title: Uniform exponent bounds on the number of primitive extensions of number fields

abstract: A folklore conjecture asserts the existence of a constant $c_n > 0$ such that $\#\mathcal{F}_n(X) \sim c_n X$ as $X\to \infty$, where $\mathcal{F}_n(X)$ is the set of degree $n$ extensions $K/\mathbb{Q}$ with discriminant bounded by $X$. This conjecture is known if $n \leq 5$, but even the weaker conjecture that there exists an absolute constant $C\geq 1$ such that $\#\mathcal{F}_n(X) \ll_n X^C$ remains unknown and apparently out of reach. Here, we make progress on this weaker conjecture (which we term the "uniform exponent conjecture") in two ways. First, we reduce the general problem to that of studying relative extensions of number fields whose Galois group is an almost simple group in a natural primitive permutation representation. Second, for almost all such groups, we prove the strongest known upper bound on the number of such extensions. These bounds have the effect of resolving the uniform exponent conjecture for solvable groups, sporadic groups, exceptional groups, and classical groups of bounded rank.


title: The Advantages of Global Photometric Models in Fitting Transit Variations

abstract: Estimation of planetary orbital and physical parameters from light-curve data relies heavily on the accurate interpretation of Transit Timing Variations (TTV) measurements. In this letter, we review the process of TTV measurement and compare two fitting paradigms - one that relies on making transit-by-transit timing estimates and then fitting a TTV model to the observed timings and one that relies on fitting a global flux model to the entire light-curve data simultaneously. The latter method is achieved either by solving for the underlying planetary motion (often referred to as "photodynamics"), or by using an approximate or empirical shape of the TTV signal. We show that across a large range of the transit SNR regime, the probability distribution function (PDF) of the mid-transit time significantly deviates from a Gaussian, even if the flux errors do distribute normally. Treating the timing uncertainties as if they are distributed normally leads, in such a case, to a wrong interpretation of the TTV measurements. We illustrate these points using numerical experiments and conclude that a fitting process that relies on a global flux fitting rather than the derived TTVs, should be preferred.


title: Electroweak Baryogenesis and Higgs Physics

abstract: We discuss the constraints on the Higgs sector coming from the requirement of the generation of the matter-antimatter asymmetry at the electroweak phase transition. These relate to both a strongly first order first transition, necessary for the preservation of the generated baryon asymmetry, as well as CP-violation, necessary for its generation. This scenario may lead to exotic decays of the Standard Model like Higgs, a deviation of the di-Higgs production cross section, or CP-violation in the Higgs sector. All these aspects are expected to be probed by the LHC as well as by electric dipole moment experiments, among others. Further phenomenological implications are discussed in this short review.


title: Complete scalar-flat Kahler 4-manifolds with a continuous symmetry

abstract: We study complete scalar-flat Kahler manifolds with a Killing field and a mild asymptotic condition. We show that topological and geometric rigidities exist that powerfully restrict the manifold's behavior at infinity. We create a rough classification for scalar-flat Kahler manifolds with a Killing field.


title: Virtual Photons Shed Light on the Early Temperature of Dense QCD Matter

abstract: Dileptons produced during heavy-ion collisions represent a unique probe of the QCD phase diagram, and convey information about the state of the strongly interacting system at the moment their preceding off-shell photon is created. In this study, we compute thermal dilepton yields from Au+Au collisions performed at different beam energies, employing a (3+1)-dimensional dynamic framework combined with emission rates accurate at next-to-leading order in perturbation theory and which include baryon chemical potential dependencies. By comparing the effective temperature extracted from the thermal dilepton invariant mass spectrum with the average temperature of the fluid, we offer a robust quantitative validation of dileptons as effective probe of the early quark-gluon plasma stage.


title: A GPU-Accelerated Moving-Horizon Algorithm for Training Deep Classification Trees on Large Datasets

abstract: Decision trees are essential yet NP-complete to train, prompting the widespread use of heuristic methods such as CART, which suffers from sub-optimal performance due to its greedy nature. Recently, breakthroughs in finding optimal decision trees have emerged; however, these methods still face significant computational costs and struggle with continuous features in large-scale datasets and deep trees. To address these limitations, we introduce a moving-horizon differential evolution algorithm for classification trees with continuous features (MH-DEOCT). Our approach consists of a discrete tree decoding method that eliminates duplicated searches between adjacent samples, a GPU-accelerated implementation that significantly reduces running time, and a moving-horizon strategy that iteratively trains shallow subtrees at each node to balance the vision and optimizer capability. Comprehensive studies on 68 UCI datasets demonstrate that our approach outperforms the heuristic method CART on training and testing accuracy by an average of 3.44% and 1.71%, respectively. Moreover, these numerical studies empirically demonstrate that MH-DEOCT achieves near-optimal performance (only 0.38% and 0.06% worse than the global optimal method on training and testing, respectively), while it offers remarkable scalability for deep trees (e.g., depth=8) and large-scale datasets (e.g., ten million samples).


title: Bregman Proximal Method for Efficient Communications under Similarity

abstract: We propose a novel distributed method for monotone variational inequalities and convex-concave saddle point problems arising in various machine learning applications such as game theory and adversarial training. By exploiting \textit{similarity} our algorithm overcomes communication bottleneck which is a major issue in distributed optimization. The proposed algorithm enjoys optimal communication complexity of $\delta/\epsilon$, where $\epsilon$ measures the non-optimality gap function, and $\delta$ is a parameter of similarity. All the existing distributed algorithms achieving this bound essentially utilize the Euclidean setup. In contrast to them, our algorithm is built upon Bregman proximal maps and it is compatible with an arbitrary Bregman divergence. Thanks to this, it has more flexibility to fit the problem geometry than algorithms with the Euclidean setup. Thereby the proposed method bridges the gap between the Euclidean and non-Euclidean setting. By using the restart technique, we extend our algorithm to variational inequalities with $\mu$-strongly monotone operator, resulting in optimal communication complexity of $\delta/\mu$ (up to a logarithmic factor). Our theoretical results are confirmed by numerical experiments on a stochastic matrix game.


title: Multimodal Learning of Soft Robot Dynamics using Differentiable Filters

abstract: Differentiable Filters, as recursive Bayesian estimators, possess the ability to learn complex dynamics by deriving state transition and measurement models exclusively from data. This data-driven approach eliminates the reliance on explicit analytical models while maintaining the essential algorithmic components of the filtering process. However, the gain mechanism remains non-differentiable, limiting its adaptability to specific task requirements and contextual variations. To address this limitation, this paper introduces an innovative approach called {\alpha}-MDF (Attention-based Multimodal Differentiable Filter). {\alpha}-MDF leverages modern attention mechanisms to learn multimodal latent representations for accurate state estimation in soft robots. By incorporating attention mechanisms, {\alpha}-MDF offers the flexibility to tailor the gain mechanism to the unique nature of the task and context. The effectiveness of {\alpha}-MDF is validated through real-world state estimation tasks on soft robots. Our experimental results demonstrate significant reductions in state estimation errors, consistently surpassing differentiable filter baselines by up to 45% in the domain of soft robotics.


title: Synchronization of Morris-Lecar mathematical models of neural activity

abstract: This work is devoted to the problem of synchronization of two Morris-Lecar neuron models. The Morris-Lecar model is a second-order system of differential equations, which describes an uneasy relationship between the membrane potential and the activation of ion channels inside the membrane. Synchronization, which is a state of a network when models begin to act similarly in some sense, of such models is interesting not only from a mathematical point of view, but also from a biological one, because synchronous activity plays a very important role in brain functioning. The speed gradient algorithm, which is a continuous version of gradient algorithms, was applied to solve this problem. The algorithm of coupling strength control was obtained. It ensures the achievement of the control goal. The MATLAB modelling demonstrated the correctness of the obtained result and fast convergence rate of corresponding models' variables to each other.


title: SegReg: Segmenting OARs by Registering MR Images and CT Annotations

abstract: Organ at risk (OAR) segmentation is a critical process in radiotherapy treatment planning such as head and neck tumors. Nevertheless, in clinical practice, radiation oncologists predominantly perform OAR segmentations manually on CT scans. This manual process is highly time-consuming and expensive, limiting the number of patients who can receive timely radiotherapy. Additionally, CT scans offer lower soft-tissue contrast compared to MRI. Despite MRI providing superior soft-tissue visualization, its time-consuming nature makes it infeasible for real-time treatment planning. To address these challenges, we propose a method called SegReg, which utilizes Elastic Symmetric Normalization for registering MRI to perform OAR segmentation. SegReg outperforms the CT-only baseline by 16.78% in mDSC and 18.77% in mIoU, showing that it effectively combines the geometric accuracy of CT with the superior soft-tissue contrast of MRI, making accurate automated OAR segmentation for clinical practice become possible. See project website https://steve-zeyu-zhang.github.io/SegReg


title: Simulating Public Administration Crisis: A Novel Generative Agent-Based Simulation System to Lower Technology Barriers in Social Science Research

abstract: This article proposes a social simulation paradigm based on the GPT-3.5 large language model. It involves constructing Generative Agents that emulate human cognition, memory, and decision-making frameworks, along with establishing a virtual social system capable of stable operation and an insertion mechanism for standardized public events. The project focuses on simulating a township water pollution incident, enabling the comprehensive examination of a virtual government's response to a specific public administration event. Controlled variable experiments demonstrate that the stored memory in generative agents significantly influences both individual decision-making and social networks. The Generative Agent-Based Simulation System introduces a novel approach to social science and public administration research. Agents exhibit personalized customization, and public events are seamlessly incorporated through natural language processing. Its high flexibility and extensive social interaction render it highly applicable in social science investigations. The system effectively reduces the complexity associated with building intricate social simulations while enhancing its interpretability.


title: Towards Climate Variable Prediction with Conditioned Spatio-Temporal Normalizing Flows

abstract: This study investigates how conditional normalizing flows can be applied to remote sensing data products in climate science for spatio-temporal prediction. The method is chosen due to its desired properties such as exact likelihood computation, predictive uncertainty estimation and efficient inference and sampling which facilitates faster exploration of climate scenarios. Experimental findings reveal that the conditioned spatio-temporal flow surpasses both deterministic and stochastic baselines in prolonged rollout scenarios. It exhibits stable extrapolation beyond the training time horizon for extended rollout durations. These findings contribute valuable insights to the field of spatio-temporal modeling, with potential applications spanning diverse scientific disciplines.


title: UAV Formation Optimization for Communication-assisted InSAR Sensing

abstract: Interferometric synthetic aperture radar (InSAR) is an increasingly important remote sensing technique that enables three-dimensional (3D) sensing applications such as the generation of accurate digital elevation models (DEMs). In this paper, we investigate the joint formation and communication resource allocation optimization for a system comprising two unmanned aerial vehicles (UAVs) to perform InSAR sensing and to transfer the acquired data to the ground. To this end, we adopt as sensing performance metrics the interferometric coherence, i.e., the local correlation between the two co-registered UAV radar images, and the height of ambiguity (HoA), which together are a measure for the accuracy with which the InSAR system can estimate the height of ground objects. In addition, an analytical expression for the coverage of the considered InSAR sensing system is derived. Our objective is to maximize the InSAR coverage while satisfying all relevant InSAR-specific sensing and communication performance metrics. To tackle the non-convexity of the formulated optimization problem, we employ alternating optimization (AO) techniques combined with successive convex approximation (SCA). Our simulation results reveal that the resulting resource allocation algorithm outperforms two benchmark schemes in terms of InSAR coverage while satisfying all sensing and real-time communication requirements. Furthermore, we highlight the importance of efficient communication resource allocation in facilitating real-time sensing and unveil the trade-off between InSAR height estimation accuracy and coverage.


title: Robust Regression over Averaged Uncertainty

abstract: We propose a new formulation of robust regression by integrating all realizations of the uncertainty set and taking an averaged approach to obtain the optimal solution for the ordinary least-squared regression problem. We show that this formulation surprisingly recovers ridge regression and establishes the missing link between robust optimization and the mean squared error approaches for existing regression problems. We first prove the equivalence for four uncertainty sets: ellipsoidal, box, diamond, and budget, and provide closed-form formulations of the penalty term as a function of the sample size, feature size, as well as perturbation protection strength. We then show in synthetic datasets with different levels of perturbations, a consistent improvement of the averaged formulation over the existing worst-case formulation in out-of-sample performance. Importantly, as the perturbation level increases, the improvement increases, confirming our method's advantage in high-noise environments. We report similar improvements in the out-of-sample datasets in real-world regression problems obtained from UCI datasets.


title: Empowering Learning: Standalone, Browser-Only Courses for Seamless Education

abstract: Massive Open Online Courses (MOOCs) have transformed the educational landscape, offering scalable and flexible learning opportunities, particularly in data-centric fields like data science and artificial intelligence. Incorporating AI and data science into MOOCs is a potential means of enhancing the learning experience through adaptive learning approaches. In this context, we introduce PyGlide, a proof-of-concept open-source MOOC delivery system that underscores autonomy, transparency, and collaboration in maintaining course content. We provide a user-friendly, step-by-step guide for PyGlide, emphasizing its distinct advantage of not requiring any local software installation for students. Highlighting its potential to enhance accessibility, inclusivity, and the manageability of course materials, we showcase PyGlide's practical application in a continuous integration pipeline on GitHub. We believe that PyGlide charts a promising course for the future of open-source MOOCs, effectively addressing crucial challenges in online education.


title: Atlas: Hybrid Cloud Migration Advisor for Interactive Microservices

abstract: Hybrid cloud provides an attractive solution to microservices for better resource elasticity. A subset of application components can be offloaded from the on-premises cluster to the cloud, where they can readily access additional resources. However, the selection of this subset is challenging because of the large number of possible combinations. A poor choice degrades the application performance, disrupts the critical services, and increases the cost to the extent of making the use of hybrid cloud unviable. This paper presents Atlas, a hybrid cloud migration advisor. Atlas uses a data-driven approach to learn how each user-facing API utilizes different components and their network footprints to drive the migration decision. It learns to accelerate the discovery of high-quality migration plans from millions and offers recommendations with customizable trade-offs among three quality indicators: end-to-end latency of user-facing APIs representing application performance, service availability, and cloud hosting costs. Atlas continuously monitors the application even after the migration for proactive recommendations. Our evaluation shows that Atlas can achieve 21% better API performance (latency) and 11% cheaper cost with less service disruption than widely used solutions.


title: Decay of Time Correlations in Point Vortex Systems

abstract: The dynamics of a large point vortex system whose initial configuration consists in uniformly distributed independent positions is investigated. Time correlations of local observables of the vortex configuration are shown to be compatible with power law decay 1/t, providing additional insight on ergodicity and mixing properties of equilibrium dynamics in point vortex models.


title: Adaptive recurrent vision performs zero-shot computation scaling to unseen difficulty levels

abstract: Humans solving algorithmic (or) reasoning problems typically exhibit solution times that grow as a function of problem difficulty. Adaptive recurrent neural networks have been shown to exhibit this property for various language-processing tasks. However, little work has been performed to assess whether such adaptive computation can also enable vision models to extrapolate solutions beyond their training distribution's difficulty level, with prior work focusing on very simple tasks. In this study, we investigate a critical functional role of such adaptive processing using recurrent neural networks: to dynamically scale computational resources conditional on input requirements that allow for zero-shot generalization to novel difficulty levels not seen during training using two challenging visual reasoning tasks: PathFinder and Mazes. We combine convolutional recurrent neural networks (ConvRNNs) with a learnable halting mechanism based on Graves (2016). We explore various implementations of such adaptive ConvRNNs (AdRNNs) ranging from tying weights across layers to more sophisticated biologically inspired recurrent networks that possess lateral connections and gating. We show that 1) AdRNNs learn to dynamically halt processing early (or late) to solve easier (or harder) problems, 2) these RNNs zero-shot generalize to more difficult problem settings not shown during training by dynamically increasing the number of recurrent iterations at test time. Our study provides modeling evidence supporting the hypothesis that recurrent processing enables the functional advantage of adaptively allocating compute resources conditional on input requirements and hence allowing generalization to harder difficulty levels of a visual reasoning problem without training.


title: Anchor Data Augmentation

abstract: We propose a novel algorithm for data augmentation in nonlinear over-parametrized regression. Our data augmentation algorithm borrows from the literature on causality and extends the recently proposed Anchor regression (AR) method for data augmentation, which is in contrast to the current state-of-the-art domain-agnostic solutions that rely on the Mixup literature. Our Anchor Data Augmentation (ADA) uses several replicas of the modified samples in AR to provide more training examples, leading to more robust regression predictions. We apply ADA to linear and nonlinear regression problems using neural networks. ADA is competitive with state-of-the-art C-Mixup solutions.


title: Rings Additively Generated by Periodic Elements

abstract: In the present paper, as a generalization of the classical periodic rings, we explore those rings whose elements are additively generated by two (or more) periodic elements by calling them additively periodic. We prove that, in some major cases, additively periodic rings remain periodic too; this includes, for instance, algebraic algebras, group rings, and matrix rings over commutative rings. Moreover, we also obtain some independent results for the new class of rings; for example, the triangular matrix rings retain that property.


title: Dual-Polarized Reconfigurable Intelligent Surface Assisted Broad Beamforming

abstract: A reconfigurable intelligent surface (RIS) consists of a large number of low-cost elements that can control the propagation environment seen from a transmitter by intelligently applying phase shifts to impinging signals before reflection. This paper studies an RIS-assisted communication system where a transmitter wants to transmit a common signal to many users residing in a wide angular area. To cover this sector uniformly, the RIS needs to radiate a broad beam with a spatially flat array factor, instead of a narrow beam as normally considered. To achieve this, we propose to use a dual-polarized RIS consisting of elements with orthogonal polarizations and show that the RIS can produce a broad beam if the phase shift configuration vectors in the two polarizations form a so-called Golay complementary sequence pair. By utilizing their properties, we also present a method for constructing configuration for large RISs from smaller ones, while preserving the broad radiation pattern of the smaller RIS. The numerical results corroborate the mathematical analyses and highlight the greatly improved coverage properties.


title: Physics-Informed Data Denoising for Real-Life Sensing Systems

abstract: Sensors measuring real-life physical processes are ubiquitous in today's interconnected world. These sensors inherently bear noise that often adversely affects performance and reliability of the systems they support. Classic filtering-based approaches introduce strong assumptions on the time or frequency characteristics of sensory measurements, while learning-based denoising approaches typically rely on using ground truth clean data to train a denoising model, which is often challenging or prohibitive to obtain for many real-world applications. We observe that in many scenarios, the relationships between different sensor measurements (e.g., location and acceleration) are analytically described by laws of physics (e.g., second-order differential equation). By incorporating such physics constraints, we can guide the denoising process to improve even in the absence of ground truth data. In light of this, we design a physics-informed denoising model that leverages the inherent algebraic relationships between different measurements governed by the underlying physics. By obviating the need for ground truth clean data, our method offers a practical denoising solution for real-world applications. We conducted experiments in various domains, including inertial navigation, CO2 monitoring, and HVAC control, and achieved state-of-the-art performance compared with existing denoising methods. Our method can denoise data in real time (4ms for a sequence of 1s) for low-cost noisy sensors and produces results that closely align with those from high-precision, high-cost alternatives, leading to an efficient, cost-effective approach for more accurate sensor-based systems.


title: Proportional Consistency of Apportionment Methods

abstract: We analyze a little-known property of apportionment methods that captures how allocations scale with the size of the house: specifically, if, for a fixed population distribution, the house size and allocation can be scaled down within the set of integers, then the apportionment should be correspondingly scaled down. Balinski and Young (2001) include this property among the minimal requirements for a "reasonable" apportionment method. We argue that this property is better understood as a consistency requirement since quota-based apportionments that are "less proportional" meet this requirement while others that are "more proportional" do not. We also show that the family of quotatone methods based on stationary divisors (including the quota method) do not satisfy this property.


title: Hyperuniformity of Maximally Random Jammed Packings of Hyperspheres Across Spatial Dimensions

abstract: The maximally random jammed (MRJ) state is the most random configuration of strictly jammed (mechanically rigid) nonoverlapping objects. MRJ packings are hyperuniform, meaning their long-wavelength density fluctuations are anomalously suppressed compared to typical disordered systems, i.e., their structure factors $S(\mathbf{k})$ tend to zero as the wavenumber $|\mathbf{k}|$ tends to zero. Here, we show that generating high-quality strictly jammed states for space dimensions $d = 3,4,$ and $5$ is of paramount importance in ensuring hyperuniformity and extracting precise values of the hyperuniformity exponent $\alpha > 0$ for MRJ states, defined by the power-law behavior of $S(\mathbf{k})\sim|\mathbf{k}|^{\alpha}$ in the limit $|\mathbf{k}|\rightarrow0$. Moreover, we show that for fixed $d$ it is more difficult to ensure jamming as the particle number $N$ increases, which results in packings that are nonhyperuniform. Free-volume theory arguments suggest that the ideal MRJ state does not contain rattlers, which act as defects in numerically generated packings. As $d$ increases, we find that the fraction of rattlers decreases substantially. Our analysis of the largest truly jammed packings suggests that the ideal MRJ packings for all dimensions $d\geq3$ are hyperuniform with $\alpha = d - 2$, implying the packings become more hyperuniform as $d$ increases. The differences in $\alpha$ between MRJ packings and recently proposed Manna-class random close packed (RCP) states, which were reported to have $\alpha = 0.25$ in $d=3$ and be nonhyperuniform ($\alpha = 0$) for $d = 4$ and $d = 5$, demonstrate the vivid distinctions between the large-scale structure of RCP and MRJ states in these dimensions. Our work clarifies the importance of the link between true jamming and hyperuniformity and motivates the development of an algorithm to produce rattler-free three-dimensional MRJ packings.


title: Determining knot groups by finite quotients

abstract: We prove that hyperbolic 2-bridge knots are determined amongst all compact 3-manifolds by the profinite completions of their knot groups.


title: An Expandable Machine Learning-Optimization Framework to Sequential Decision-Making

abstract: We present an integrated prediction-optimization (PredOpt) framework to efficiently solve sequential decision-making problems by predicting the values of binary decision variables in an optimal solution. We address the key issues of sequential dependence, infeasibility, and generalization in machine learning (ML) to make predictions for optimal solutions to combinatorial problems. The sequential nature of the combinatorial optimization problems considered is captured with recurrent neural networks and a sliding-attention window. We integrate an attention-based encoder-decoder neural network architecture with an infeasibility-elimination and generalization framework to learn high-quality feasible solutions to time-dependent optimization problems. In this framework, the required level of predictions is optimized to eliminate the infeasibility of the ML predictions. These predictions are then fixed in mixed-integer programming (MIP) problems to solve them quickly with the aid of a commercial solver. We demonstrate our approach to tackling the two well-known dynamic NP-Hard optimization problems: multi-item capacitated lot-sizing (MCLSP) and multi-dimensional knapsack (MSMK). Our results show that models trained on shorter and smaller-dimensional instances can be successfully used to predict longer and larger-dimensional problems. The solution time can be reduced by three orders of magnitude with an average optimality gap below 0.1%. We compare PredOpt with various specially designed heuristics and show that our framework outperforms them. PredOpt can be advantageous for solving dynamic MIP problems that need to be solved instantly and repetitively.


title: Analytical Verification of Performance of Deep Neural Network Based Time-Synchronized Distribution System State Estimation

abstract: Recently, we demonstrated success of a time-synchronized state estimator using deep neural networks (DNNs) for real-time unobservable distribution systems. In this letter, we provide analytical bounds on the performance of that state estimator as a function of perturbations in the input measurements. It has already been shown that evaluating performance based on only the test dataset might not effectively indicate a trained DNN's ability to handle input perturbations. As such, we analytically verify robustness and trustworthiness of DNNs to input perturbations by treating them as mixed-integer linear programming (MILP) problems. The ability of batch normalization in addressing the scalability limitations of the MILP formulation is also highlighted. The framework is validated by performing time-synchronized distribution system state estimation for a modified IEEE 34-node system and a real-world large distribution system, both of which are incompletely observed by micro-phasor measurement units.


title: Generating Signed Permutations by Twisting Two-Sided Ribbons

abstract: We provide a simple and natural solution to the problem of generating all $2^n \cdot n!$ signed permutations of $[n] = \{1,2,\ldots,n\}$. Our solution provides a pleasing generalization of the most famous ordering of permutations: plain changes (Steinhaus-Johnson-Trotter algorithm). In plain changes, the $n!$ permutations of $[n]$ are ordered so that successive permutations differ by swapping a pair of adjacent symbols, and the order is often visualized as a weaving pattern involving $n$ ropes. Here we model a signed permutation using $n$ ribbons with two distinct sides, and each successive configuration is created by twisting (i.e., swapping and turning over) two neighboring ribbons or a single ribbon. By greedily prioritizing $2$-twists of the largest symbol before $1$-twists of the largest symbol, we create a signed version of plain change's memorable zig-zag pattern. We provide a loopless algorithm (i.e., worst-case $\mathcal{O}(1)$-time per object) by extending the well-known mixed-radix Gray code algorithm.


title: A QFT scalar toy model analogous to positronium and pion decays

abstract: In the framework of a scalar QFT, we evaluate the decay of an initial massive state into two massless particles through a triangle-shaped diagram in which virtual fields propagate. Under certain conditions, the decaying state can be seen as a bound state, thus it is analogous to the neutral pion (quark-antiquark pair) and to the positronium (electron-positron pair), which decay into two photons. While the pion is a relativistic composite object, the positronium is a non-relativistic compound close to threshold. We exam similarities and differences between these two types of bound states.