title: Hub-collision avoidance and leaf-node options algorithm for fractal dimension and renormalization of complex networks

abstract: The box-covering method plays a fundamental role in the fractal property recognition and renormalization analysis of complex networks. This study proposes the hub-collision avoidance and leaf-node options (HALO) algorithm. In the box sampling process, a forward sampling rule (for avoiding hub collisions) and a reverse sampling rule (for preferentially selecting leaf nodes) are determined for bidirectional network traversal to reduce the randomness of sampling. In the box selection process, the larger necessary boxes are preferentially selected to join the solution by continuously removing small boxes. The compact-box-burning (CBB) algorithm, the maximum-excluded-mass-burning (MEMB) algorithm, the overlapping-box-covering (OBCA) algorithm, and the algorithm for combining small-box-removal strategy and maximum box sampling with a sampling density of 30 (SM30) are compared with HALO in experiments. Results on nine real networks show that HALO achieves the highest performance score and obtains 11.40%, 7.67%, 2.18%, and 8.19% fewer boxes than the compared algorithms, respectively. The algorithm determinism is significantly improved. The fractal dimensions estimated by covering four standard networks are more accurate. Moreover, different from MEMB or OBCA, HALO is not affected by the tightness of the hubs and exhibits a stable performance in different networks. Finally, the time complexities of HALO and the compared algorithms are all O(N^2), which is reasonable and acceptable.


title: A general framework for providing interval representations of Pareto optimal outcomes for large-scale bi- and tri-criteria MIP problems

abstract: The Multi-Objective Mixed-Integer Programming (MOMIP) problem is one of the most challenging. To derive its Pareto optimal solutions one can use the well-known Chebyshev scalarization and Mixed-Integer Programming (MIP) solvers. However, for a large-scale instance of the MOMIP problem, its scalarization may not be solved to optimality, even by state-of-the-art optimization packages, within the time limit imposed on the optimization. If a MIP solver cannot derive the optimal solution within the assumed time limit, it provides the optimality gap, which gauges the quality of the approximate solution. However, for the MOMIP case, no information is provided on the lower and upper bounds of the components of the Pareto optimal outcome. For the MOMIP problem with two and three objective functions, an algorithm is proposed to provide the so-called interval representation of the Pareto optimal outcome designated by the weighting vector when there is a time limit on solving the Chebyshev scalarization. Such interval representations can be used to navigate on the Pareto front. The results of several numerical experiments on selected large-scale instances of the multi-objective, multidimensional 0-1 knapsack problem illustrate the proposed approach. The limitations and possible enhancements of the proposed method are also discussed.


title: Representation formulas for maximal monotone operators of type (D) in Banach spaces whose dual spaces are strictly convex

abstract: This work deals with a maximal monotone operator $A$ of type (D) in a Banach space whose dual space is strictly convex. We establish some representations for the value $Ax$ at a given point $x$ via its values at nearby points of $x$. We show that the faces of $Ax$ are contained in the set of all weak$^*$ convergent limits of bounded nets of the operator at nearby points of $x$, then we obtain a representation for $Ax$ by use of this set. In addition, representations for the support function of $Ax$ based on the minimal-norm selection of the operator in certain Banach spaces are given.


title: Robust Quantum Control in Closed and Open Systems: Theory and Practice

abstract: Robust control of quantum systems is an increasingly relevant field of study amidst the second quantum revolution, but there remains a gap between taming quantum physics and robust control in its modern analytical form that culminated in fundamental performance bounds. In general, quantum systems are not amenable to linear, time-invariant, measurement-based robust control techniques, and thus novel gap-bridging techniques must be developed. This survey is written for control theorists to highlight parallels between the current state of quantum control and classical robust control. We present issues that arise when applying classical robust control theory to quantum systems, typical methods used by quantum physicists to explore such systems and their robustness, as well as a discussion of open problems to be addressed in the field. We focus on general, practical applications and recent work to enable control researchers to contribute to advancing this burgeoning field.


title: Imperfect Entangling Power of Quantum Gates

abstract: Achieving perfect control over the parameters defining a quantum gate is, in general, a very challenging task, and at the same time, environmental interactions can introduce disturbances to the initial states as well. Here we address the problem of how the imperfections in unitaries and noise present in the input states affect the entanglement-generating power of a given quantum gate -- we refer to it as imperfect (noisy) entangling power. We observe that, when the parameters of a given unitary are chosen randomly from a Gaussian distribution centered around the desired mean, the quenched average entangling power -- averaged across multiple random samplings -- exhibits intriguing behavior like it may increase or show nonmonotonic behavior with the increase of disorder strength for certain classes of diagonal unitary operators. For arbitrary unitary operators, the quenched average power tends to stabilize, showing almost constant behavior with variation in the parameters instead of oscillating. Our observations also reveal that, in the presence of a local noise model, the input states that maximize the entangling power of a given unitary operator differ considerably from the noiseless scenario. Additionally, we report that the rankings among unitary operators according to their entangling power in the noiseless case change depending on the noise model and noise strength.


title: T-duality across non-extremal horizons

abstract: When applying T-duality to a generic, non-extreme Killing horizon, T-duality is spacelike on one side and timelike on the other. We show, using simple examples from four-dimensional Einstein-Maxwell theory, that the image of the horizon is a singularity which can be understood as an interface between two different T-dual theories and their solutions. Using an embedding into type-II string theory, we show that the singularity occurs when scalars reach the boundary of moduli space, resulting in a breakdown of the effective field theory due to the presence of tensionless strings.


title: A Novel Reinforcement Learning Routing Algorithm for Congestion Control in Complex Networks

abstract: Despite technological advancements, the significance of interdisciplinary subjects like complex networks has grown. Exploring communication within these networks is crucial, with traffic becoming a key concern due to the expanding population and increased need for connections. Congestion tends to originate in specific network areas but quickly proliferates throughout. Consequently, understanding the transition from a flow-free state to a congested state is vital. Numerous studies have delved into comprehending the emergence and control of congestion in complex networks, falling into three general categories: soft strategies, hard strategies, and resource allocation strategies. This article introduces a routing algorithm leveraging reinforcement learning to address two primary objectives: congestion control and optimizing path length based on the shortest path algorithm, ultimately enhancing network throughput compared to previous methods. Notably, the proposed method proves effective not only in Barab\'asi-Albert scale-free networks but also in other network models such as Watts-Strogatz (small-world) and Erd\"os-R\'enyi (random network). Simulation experiment results demonstrate that, across various traffic scenarios and network topologies, the proposed method can enhance efficiency criteria by up to 30% while reducing maximum node congestion by five times.


title: Principal-Agent Reward Shaping in MDPs

abstract: Principal-agent problems arise when one party acts on behalf of another, leading to conflicts of interest. The economic literature has extensively studied principal-agent problems, and recent work has extended this to more complex scenarios such as Markov Decision Processes (MDPs). In this paper, we further explore this line of research by investigating how reward shaping under budget constraints can improve the principal's utility. We study a two-player Stackelberg game where the principal and the agent have different reward functions, and the agent chooses an MDP policy for both players. The principal offers an additional reward to the agent, and the agent picks their policy selfishly to maximize their reward, which is the sum of the original and the offered reward. Our results establish the NP-hardness of the problem and offer polynomial approximation algorithms for two classes of instances: Stochastic trees and deterministic decision processes with a finite horizon.


title: Partitioning the hypercube into smaller hypercubes

abstract: Denote by Q_d the d-dimensional hypercube. Addressing a recent question we estimate the number of ways the vertex set of Q_d can be partitioned into vertex disjoint smaller cubes. Among other results, we prove that the asymptotic order of this function is not much larger than the number of perfect matchings of Q_d. We also describe several new (and old) questions.


title: Exponential and Prescribed-Time Extremum Seeking with Unbiased Convergence

abstract: We present multivariable extremum seeking (ES) designs that achieve unbiased convergence to the optimum. Two designs are introduced: one with exponential unbiased convergence (unbiased extremum seeker, uES) and the other with user-assignable prescribed-time unbiased convergence (unbiased PT extremum seeker, uPT-ES). In contrast to the conventional ES, which uses persistent sinusoids and results in steady-state oscillations around the optimum, the exponential uES employs an exponentially decaying amplitude in the perturbation signal (for achieving convergence) and an exponentially growing demodulation signal (for making the convergence unbiased). The achievement of unbiased convergence also entails employing an adaptation gain that is sufficiently large in relation to the decay rate of the perturbation amplitude. Stated concisely, the bias is eliminated by having the learning process outpace the waning of the perturbation. The other algorithm, uPT-ES, employs prescribed-time convergent/blow-up functions in place of constant amplitudes of sinusoids, and it also replaces constant-frequency sinusoids with chirp signals whose frequency grows over time. Among the convergence results in the ES literature, uPT-ES may be the strongest yet in terms of the convergence rate (prescribed-time) and accuracy (unbiased). To enhance the robustness of uES to a time-varying optimum, exponential functions are modified to keep oscillations at steady state. Stability analysis of the designs is based on a state transformation, averaging, local exponential/PT stability of the averaged system, local stability of the transformed system, and local exponential/PT stability of the original system. For numerical implementation of the developed ES schemes and comparison with previous ES designs, the problem of source seeking by a two-dimensional velocity-actuated point mass is considered.


title: Robustness of Dynamic Quantum Control: Differential Sensitivity Bound

abstract: Dynamic control via optimized, piecewise-constant pulses is a common paradigm for open-loop control to implement quantum gates. While numerous methods exist for the synthesis of such controls, there are many open questions regarding the robustness of the resulting control schemes in the presence of model uncertainty; unlike in classical control, there are generally no analytical guarantees on the control performance with respect to inexact modeling of the system. In this paper a new robustness measure based on the differential sensitivity of the gate fidelity error to parametric (structured) uncertainties is introduced, and bounds on the differential sensitivity to parametric uncertainties are used to establish performance guarantees for optimal controllers for a variety of quantum gate types, system sizes, and control implementations. Specifically, it is shown how a maximum allowable perturbation over a set of Hamiltonian uncertainties that guarantees a given fidelity error, can be reliably computed. This measure of robustness is inversely proportional to the upper bound on the differential sensitivity of the fidelity error evaluated under nominal operating conditions. Finally, the results show that the nominal fidelity error and differential sensitivity upper bound are positively correlated across a wide range of problems and control implementations, suggesting that in the high-fidelity control regime, rather than there being a trade-off between fidelity and robustness, higher nominal gate fidelities are positively correlated with increased robustness of the controls in the presence of parametric uncertainties.


title: Forcing With Copies of Uncountable Ordinals

abstract: For a relational structure ${\mathbb X}$ we investigate the partial order $\langle {\mathbb P} ({\mathbb X}) ,\subset \rangle$, where ${\mathbb P} ({\mathbb X}):=\{ f[X]: f\in \mathop{\rm Emb}\nolimits ({\mathbb X})\}$. Here we consider uncountable ordinals. Since $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is isomorphic to the direct product $\prod _{i=1}^n (\mathop{\rm sq}\nolimits {\mathbb P} (\omega ^{\delta _i}))^{s_i}$, where $\alpha = \omega ^{\delta _n}s_n+\dots +\omega ^{\delta _1}s_1+ m$ is the Cantor normal form for $\alpha $, the analysis is reduced to the investigation of the posets of the form ${\mathbb P} (\omega ^{\delta })$. It turns out that, in ZFC, either the poset $\mathop{\rm sq}\nolimits {\mathbb P} (\alpha )$ is $\sigma$-closed and completely embeds $P(\omega )/\mathop{\rm Fin}$ and, hence, preserves $\omega _1$ and forces $|{\mathfrak c}|=|{\mathfrak h}|$, or, otherwise, completely embeds the algebra $P(\lambda )/[\lambda ]^{<\lambda }$, for some regular $\omega <\lambda \leq \mathop{\rm cf}\nolimits (\delta )$, and collapses $\omega _2$ to $\omega $. Regarding the Cantor normal form, the first case appears iff for each $i\leq n$ we have $\mathop{\rm cf}\nolimits (\delta _i)\leq \omega $, or $\delta _i = \theta _i + \mathop{\rm cf}\nolimits (\delta _i )$, where $\mathop{\mathrm{Ord}}\nolimits \ni\theta _i \geq \mathop{\rm cf}\nolimits (\delta _i ) >\mathop{\rm cf}\nolimits (\theta _i )=\omega $ and $\theta _i =\lim _{n\rightarrow \omega }\delta _n$, where $\mathop{\rm cf}\nolimits (\delta _n)=\mathop{\rm cf}\nolimits (\delta _i)$, for all $n\in \omega $.


title: Synthetic spectra for Lyman-$\alpha$ forest analysis in the Dark Energy Spectroscopic Instrument

abstract: Synthetic data sets are used in cosmology to test analysis procedures, to verify that systematic errors are well understood and to demonstrate that measurements are unbiased. In this work we describe the methods used to generate synthetic datasets of Lyman-$\alpha$ quasar spectra aimed for studies with the Dark Energy Spectroscopic Instrument (DESI). In particular, we focus on demonstrating that our simulations reproduces important features of real samples, making them suitable to test the analysis methods to be used in DESI and to place limits on systematic effects on measurements of Baryon Acoustic Oscillations (BAO). We present a set of mocks that reproduce the statistical properties of the DESI early data set with good agreement. Additionally, we use full survey synthetic data to forecast the BAO scale constraining power with DESI.


title: Tunneling estimates for two-dimensional perturbed magnetic Dirac systems

abstract: We prove tunneling estimates for two-dimensional Dirac systems which are localized in space due to the presence of a magnetic field. The Hamiltonian driving the motion admits the decomposition $H = H_0 + W$, where $H_0 $ is a rotationally symmetric magnetic Dirac operator and $W$ is a position-dependent matrix-valued potential satisfying certain smoothness condition in the angular variable. A consequence of our results are upper bounds for the growth in time of the expected size of the system and its total angular momentum.


title: Reciprocity of nonlinear systems

abstract: One of the key contributions of the 1972 seminal paper by Willems was the analysis of symmetry (also called reciprocity) of input-state-output systems, both from an external (input-output) and internal (state) point of view. The developed theory also included the combination of reciprocity with passivity, and the consideration of relaxation systems, which are passive reciprocal systems without any oscillatory behavior. The paper was motivated from a fundamental system-theoretic point of view (how is external structure reflected into internal structure), as well as by a wide range of application areas, including electrical network synthesis, thermodynamics, and viscoelastic materials. On the other hand, the obtained results are for linear systems, and the extension to the nonlinear case, even for subclasses of nonlinear systems, is far from trivial. The present paper aims at taking some steps into this direction.


title: Fast decisions reflect biases, slow decisions do not

abstract: Decisions are often made by heterogeneous groups of individuals, each with distinct initial biases and access to information of different quality. We show that in large groups of independent agents who accumulate evidence the first to decide are those with the strongest initial biases. Their decisions align with their initial bias, regardless of the underlying truth. In contrast, agents who decide last make decisions as if they were initially unbiased, and hence make better choices. We obtain asymptotic expressions in the large population limit that quantify how agents' initial inclinations shape early decisions. Our analysis shows how bias, information quality, and decision order interact in non-trivial ways to determine the reliability of decisions in a group.


title: Minimalist Market Design: A Framework for Economists with Policy Aspirations

abstract: Earlier in my career, prevalent approaches in the emerging field of market design largely represented the experiences and perspectives of leaders who were commissioned to design or reform various institutions. Since being commissioned for a similar task seemed unlikely for me as an aspiring design economist, I developed my own minimalist approach to market design. Using the policy objectives of stakeholders, my approach creates a new institution from the existing one with minimal interference with its elements that compromise the objectives. Minimalist market design initially evolved through my integrated research and policy efforts in school choice from 1997 to 2005 and in kidney exchange from 2003 to 2007. Given its success in school choice and kidney exchange, I systematically followed this approach in many other, often unusual real-world settings. In recent years, my efforts in minimalist market design led to the 2021 reform of the US Army's branching system for its cadets to military specialties, the adoption of reserve systems during the Covid-19 pandemic for vaccine allocation in 15 states and therapies in 2 states, and the deployment of a highly efficient liver exchange system in T\"urkiye. This same methodology also predicted the rescission of a 1995 Supreme Court judgment in India, resulting in countless litigations and interruptions of public recruitment for 25 years, as well as the mandates of its replacement. In this monograph, I describe the philosophy, evolution, and successful applications of minimalist market design, contrasting it with the mainstream paradigm for the field. In doing so, I also provide a paradigm for economists who want to influence policy and change institutions through their research.


title: On Sparse Canonical Correlation Analysis

abstract: The classical Canonical Correlation Analysis (CCA) identifies the correlations between two sets of multivariate variables based on their covariance, which has been widely applied in diverse fields such as computer vision, natural language processing, and speech analysis. Despite its popularity, CCA can encounter challenges in explaining correlations between two variable sets within high-dimensional data contexts. Thus, this paper studies Sparse Canonical Correlation Analysis (SCCA) that enhances the interpretability of CCA. We first show that SCCA generalizes three well-known sparse optimization problems, sparse PCA, sparse SVD, and sparse regression, which are all classified as NP-hard problems. This result motivates us to develop strong formulations and efficient algorithms. Our main contributions include (i) the introduction of a combinatorial formulation that captures the essence of SCCA and allows the development of approximation algorithms; (ii) the derivation of an equivalent mixed-integer semidefinite programming model that facilitates a specialized branch-and-cut algorithm with analytical cuts; and (iii) the establishment of the complexity results for two low-rank special cases of SCCA. The effectiveness of our proposed formulations and algorithms is validated through numerical experiments.


title: High-statistics measurement of Collins and Sivers asymmetries for transversely polarised deuterons

abstract: New results are presented on a high-statistics measurement of Collins and Sivers asymmetries of charged hadrons produced in deep inelastic scattering of muons on a transversely polarised $^6$LiD target. The data were taken in 2022 with the COMPASS spectrometer using the 160 \gevv\ muon beam at CERN, balancing the existing data on transversely polarised proton targets. The first results from about two-thirds of the new data have total uncertainties smaller by up to a factor of three compared to the previous deuteron measurements. Using all the COMPASS proton and deuteron results, both the transversity and the Sivers distribution functions of the $u$ and $d$ quark, as well as the tensor charge in the measured $x$-range are extracted. In particular, the accuracy of the $d$ quark results is significantly improved.


title: Iterative approximations of periodic trajectories for nonlinear systems with discontinuous inputs

abstract: Nonlinear control-affine systems described by ordinary differential equations with bounded measurable input functions are considered. The problem of the existence of periodic trajectories to these systems is formulated in the sense of Carath\'eodory solutions. It is shown that, under the dominant linearization assumption, the periodic boundary value problem admits a unique solution for any admissible control. This solution can be obtained as the limit of the proposed simple iterative scheme and Newton-type method. Under additional technical assumptions, sufficient contraction conditions of the corresponding generating operators are derived analytically. The proposed iterative approach is applied for the computation of periodic solutions of a realistic chemical reaction model with discontinuous control inputs.


title: What Grassmann Knew: Incidence Theorems on Cubics

abstract: Traves and Wehlau recently gave a straightedge construction that checks whether 10 points lie on a plane cubic curve. They also highlighted several open problems in the synthetic geometry of cubics. Hermann Grassmann investigated incidence relations among points on cubic curves in three papers appearing in Crelle's Journal from 1846 to 1856. Grassmann's methods give an alternative way to check whether 10 points lie on a cubic. Using Grassmann's techniques, we solve the synthetic geometry problems introduced by Traves and Wehlau. In particular, we give straightedge constructions that find the intersection of a line with a cubic, find the tangent line to a cubic at a given point, and find the third point of intersection of this tangent line with the cubic. As well, given 5 points on a conic and a cubic and 4 additional points on the cubic, a straightedge construction is given that finds the sixth intersection point of the conic and the cubic. The paper ends with two open problems.


title: Sequences of operators, monotone in the sense of contractive domination

abstract: A sequence of operators $T_n$ from a Hilbert space ${\mathfrak H}$ to Hilbert spaces ${\mathfrak K}_n$ which is nondecreasing in the sense of contractive domination is shown to have a limit which is still a linear operator $T$ from ${\mathfrak H}$ to a Hilbert space ${\mathfrak K}$. Moreover, the closability or closedness of $T_n$ is preserved in the limit. The closures converge likewise and the connection between the limits is investigated. There is no similar way of dealing directly with linear relations. However, the sequence of closures is still nondecreasing and then the convergence is governed by the monotonicity principle. There are some related results for nonincreasing sequences.


title: Matching of Users and Creators in Two-Sided Markets with Departures

abstract: Many online platforms of today, including social media sites, are two-sided markets bridging content creators and users. Most of the existing literature on platform recommendation algorithms largely focuses on user preferences and decisions, and does not simultaneously address creator incentives. We propose a model of content recommendation that explicitly focuses on the dynamics of user-content matching, with the novel property that both users and creators may leave the platform permanently if they do not experience sufficient engagement. In our model, each player decides to participate at each time step based on utilities derived from the current match: users based on alignment of the recommended content with their preferences, and creators based on their audience size. We show that a user-centric greedy algorithm that does not consider creator departures can result in arbitrarily poor total engagement, relative to an algorithm that maximizes total engagement while accounting for two-sided departures. Moreover, in stark contrast to the case where only users or only creators leave the platform, we prove that with two-sided departures, approximating maximum total engagement within any constant factor is NP-hard. We present two practical algorithms, one with performance guarantees under mild assumptions on user preferences, and another that tends to outperform algorithms that ignore two-sided departures in practice.


title: GAN-GA: A Generative Model based on Genetic Algorithm for Medical Image Generation

abstract: Medical imaging is an essential tool for diagnosing and treating diseases. However, lacking medical images can lead to inaccurate diagnoses and ineffective treatments. Generative models offer a promising solution for addressing medical image shortage problems due to their ability to generate new data from existing datasets and detect anomalies in this data. Data augmentation with position augmentation methods like scaling, cropping, flipping, padding, rotation, and translation could lead to more overfitting in domains with little data, such as medical image data. This paper proposes the GAN-GA, a generative model optimized by embedding a genetic algorithm. The proposed model enhances image fidelity and diversity while preserving distinctive features. The proposed medical image synthesis approach improves the quality and fidelity of medical images, an essential aspect of image interpretation. To evaluate synthesized images: Frechet Inception Distance (FID) is used. The proposed GAN-GA model is tested by generating Acute lymphoblastic leukemia (ALL) medical images, an image dataset, and is the first time to be used in generative models. Our results were compared to those of InfoGAN as a baseline model. The experimental results show that the proposed optimized GAN-GA enhances FID scores by about 6.8\%, especially in earlier training epochs. The source code and dataset will be available at: https://github.com/Mustafa-AbdulRazek/InfoGAN-GA.


title: Bidirectional Temporal Plan Graph: Enabling Switchable Passing Orders for More Efficient Multi-Agent Path Finding Plan Execution

abstract: The Multi-Agent Path Finding (MAPF) problem involves planning collision-free paths for multiple agents in a shared environment. The majority of MAPF solvers rely on the assumption that an agent can arrive at a specific location at a specific timestep. However, real-world execution uncertainties can cause agents to deviate from this assumption, leading to collisions and deadlocks. Prior research solves this problem by having agents follow a Temporal Plan Graph (TPG), enforcing a consistent passing order at every location as defined in the MAPF plan. However, we show that TPGs are overly strict because, in some circumstances, satisfying the passing order requires agents to wait unnecessarily, leading to longer execution time. To overcome this issue, we introduce a new graphical representation called a Bidirectional Temporal Plan Graph (BTPG), which allows switching passing orders during execution to avoid unnecessary waiting time. We design two anytime algorithms for constructing a BTPG: BTPG-na\"ive and BTPG-optimized. Experimental results show that following BTPGs consistently outperforms following TPGs, reducing unnecessary waits by 8-20%.


title: RASP for LSASS: Preventing Mimikatz-Related Attacks

abstract: The Windows authentication infrastructure relies on the Local Security Authority (LSA) system, with its integral component being lsass.exe. Regrettably, this framework is not impervious, presenting vulnerabilities that attract threat actors with malicious intent. By exploiting documented vulnerabilities sourced from the CVE database or leveraging sophisticated tools such as mimikatz, adversaries can successfully compromise user password-address information. In this comprehensive analysis, we delve into proactive measures aimed at fortifying the local authentication subsystem against potential threats. Moreover, we present empirical evidence derived from practical assessments of various defensive methodologies, including those articulated previously. This examination not only underscores the importance of proactive security measures but also assesses the practical efficacy of these strategies in real-world contexts.


title: Search for the Chiral Magnetic and Vortical Effects Using Event Shape Approaches in Au+Au Collisions at STAR

abstract: The chiral magnetic/vortical effect (CME/CVE) in heavy-ion collisions probe the topological sector of Quantum Chromodynamics, where P and CP symmetries are violated locally in strong interactions. However, the experimental observables for the CME/CVE are dominated by backgrounds related to elliptic flow and nonflow. We employ event shape variables to mitigate the flow background and event planes based on spectators to minimize the nonflow background. We report on the CME search in Au+Au collisions at $\sqrt{s_{\rm NN}}$ = 7.7, 14.6, 19.6, 27, and 200 GeV, as well as the CVE search at 19.6 and 27 GeV.


title: A self-assembled periodic nanoporous framework in aqueous solutions of the DNA tetramer GCCG

abstract: The collective behavior of the shortest DNA oligomers in high concentration aqueous solutions is an unexplored frontier of DNA science and technology. Here we broaden the realm of DNA nanoscience by demonstrating that single-component aqueous solutions of the DNA 4-base oligomer GCCG can spontaneously organize into three-dimensional (3D) periodic mesoscale frameworks. This oligomer can form B-type double helices by Watson-Crick (WC) pairing, into tiled brickwork-like duplex strands, which arrange into mutually parallel arrays and form the nematic and columnar liquid crystal phases, as is typical for long WC chains. However, at DNA concentrations above 400mg/mL, these solutions nucleate and grow an additional mesoscale framework phase, comprising a periodic network on a three dimensional body-centered cubic (BCC) lattice. This lattice is an array of nodes (valence-8, each formed by a pair of quadruplexes of GCCG terminal Gs), connected with a separation of 6.6 nm by struts (6-GCCG-long WC duplexes). This 3D-ordered DNA framework is of low density (DNA volume fraction ~0.2), but, due to its 3D crystal structure, is osmotically incompressible over its phase range. Atomistic simulations confirm the stability of such structures, which promise to form the basis of novel families of simply and inexpensively made nanoscale frameworks for templating and selection applications.


title: Measurements of $p-\Lambda$ and $d-\Lambda$ correlations in 3 GeV Au+Au collisions at STAR

abstract: Heavy-ion collisions provide a unique opportunity to explore nucleon-hyperon (N-Y) interactions through two-particle correlations. The $p-\Lambda$ and $d-\Lambda$ correlations shed light on both N-Y two-body and N-N-Y three-body interactions, which is crucial for understanding neutron star properties. We present the high precision measurement of $p-\Lambda$ and the first measurement of $d-\Lambda$ correlation with $\sqrt{s_{_{\rm NN}}}=$ 3 GeV Au+Au collisions at STAR. Using the Lednicky-Lyuboshitz formalism, we characterized emission source size, the scattering length ($f_0$), and the effective range ($d_0$) of $p-\Lambda$ and $d-\Lambda$ interactions. Using the $f_0$ and $d_0$ extracted from two spin states in $d-\Lambda$ correlation, the parameters from the doublet state indicate the hypertriton binding energy is consistent with the current average of world measurements.


title: DXAI: Explaining Classification by Image Decomposition

abstract: We propose a new way to explain and to visualize neural network classification through a decomposition-based explainable AI (DXAI). Instead of providing an explanation heatmap, our method yields a decomposition of the image into class-agnostic and class-distinct parts, with respect to the data and chosen classifier. Following a fundamental signal processing paradigm of analysis and synthesis, the original image is the sum of the decomposed parts. We thus obtain a radically different way of explaining classification. The class-agnostic part ideally is composed of all image features which do not posses class information, where the class-distinct part is its complementary. This new visualization can be more helpful and informative in certain scenarios, especially when the attributes are dense, global and additive in nature, for instance, when colors or textures are essential for class distinction. Code is available at https://github.com/dxai2024/dxai.


title: Pairing Symmetry and Fermion Projective Symmetry Groups

abstract: The Ginzburg-Landau (GL) theory is very successful in describing the pairing symmetry, a fundamental characterization of the broken symmetries in a paired superfluid or superconductor. However, GL theory does not describe fermionic excitations such as Bogoliubov quasiparticles or Andreev bound states that are directly related to topological properties of the superconductor. In this work, we show that the symmetries of the fermionic excitations are captured by a Projective Symmetry Group (PSG), which is a group extension of the bosonic symmetry group in the superconducting state. We further establish a correspondence between the pairing symmetry and the fermion PSG. When the normal and superconducting states share the same spin rotational symmetry, there is a simpler correspondence between the pairing symmetry and the fermion PSG, which we enumerate for all 32 crystalline point groups. We also discuss the general framework for computing PSGs when the spin rotational symmetry is spontaneously broken in the superconducting state. This PSG formalism leads to experimental consequences, and as an example, we show how a given pairing symmetry dictates the classification of topological superconductivity.


title: Ergodic properties of Kantorovich operators

abstract: Kantorovich operators are non-linear extensions of Markov operators and are omnipresent in several branches of mathematical analysis. The asymptotic behaviour of their iterates plays an important role even in classical ergodic, potential and probability theories, which are normally concerned with linear Markovian operators, semi-groups, and resolvents. The Kantorovich operators that appear implicitly in these cases, though non-linear, are all positively 1-homogenous. General Kantorovich operators amount to assigning "a cost" to most operations on measures and functions normally conducted "for free" in these classical settings. Motivated by extensions of the Monge-Kantorovich duality in mass transport, the stochastic counterpart of Aubry-Mather theory for Lagrangian systems, weak KAM theory \`a la Fathi-Mather, and ergodic optimization of dynamical systems, we study the asymptotic properties of general Kantorovich operators.


title: Eulerian 2-Complexes

abstract: It is shown that Euler's theorem for graphs can be generalized for 2-complexes. Two notions that generalize cycle and Eulerian tour are introduced (``circlet'' and ``Eulerian cover''), and we show that for a strongly-connected, pure 2-complex, the following are equivalent: (i) each edge meets a positive even number of 2-cells (faces), (ii) the complex can be decomposed as the face-disjoint union of circlets, and (iii) the complex has an Eulerian cover. A number of examples are provided.


title: Stratified distance space improves the efficiency of sequential samplers for approximate Bayesian computation

abstract: Approximate Bayesian computation (ABC) methods are standard tools for inferring parameters of complex models when the likelihood function is analytically intractable. A popular approach to improving the poor acceptance rate of the basic rejection sampling ABC algorithm is to use sequential Monte Carlo (ABC SMC) to produce a sequence of proposal distributions adapting towards the posterior, instead of generating values from the prior distribution of the model parameters. Proposal distribution for the subsequent iteration is typically obtained from a weighted set of samples, often called particles, of the current iteration of this sequence. Current methods for constructing these proposal distributions treat all the particles equivalently, regardless of the corresponding value generated by the sampler, which may lead to inefficiency when propagating the information across iterations of the algorithm. To improve sampler efficiency, we introduce a modified approach called stratified distance ABC SMC. Our algorithm stratifies particles based on their distance between the corresponding synthetic and observed data, and then constructs distinct proposal distributions for all the strata. Taking into account the distribution of distances across the particle space leads to substantially improved acceptance rate of the rejection sampling. We further show that efficiency can be gained by introducing a novel stopping rule for the sequential process based on the stratified posterior samples and demonstrate these advances by several examples.


title: Chaos expansion solutions of stochastic magnetic Schr\"odinger equations on curved spaces

abstract: We treat some classes of stochastic partial differential equations of Schr\"odinger type within the framework of white noise analysis, combined with Wiener-It\^o chaos expansions and pseudodifferential operator methods. The initial data and potential term of the Schr\"odinger operator are assumed to be generalized stochastic processes that have both temporal and spatial dependence. We prove that the equations under consideration have unique solutions in the appropriate (intersections of weighted) Sobolev-Kato-Kondratiev spaces.


title: Two quantum algorithms for solving the one-dimensional advection-diffusion equation

abstract: Two quantum algorithms are presented for the numerical solution of a linear one-dimensional advection-diffusion equation with periodic boundary conditions. Their accuracy and performance with increasing qubit number are compared point-by-point with each other. Specifically, we solve the linear partial differential equation with a Quantum Linear Systems Algorithms (QLSA) based on the Harrow--Hassidim--Lloyd method and a Variational Quantum Algorithm (VQA), for resolutions that can be encoded using up to 6 qubits, which corresponds to $N=64$ grid points on the unit interval. Both algorithms are of hybrid nature, i.e., they involve a combination of classical and quantum computing building blocks. The QLSA and VQA are solved as ideal statevector simulations using the in-house solver QFlowS and open-access Qiskit software, respectively. We discuss several aspects of both algorithms which are crucial for a successful performance in both cases. These are the sizes of an additional quantum register for the quantum phase estimation for the QLSA and the choice of the algorithm of the minimization of the cost function for the VQA. The latter algorithm is also implemented in the noisy Qiskit framework including measurement and decoherence circuit noise. We reflect the current limitations and suggest some possible routes of future research for the numerical simulation of classical fluid flows on a quantum computer.


title: Ellis groups in model theory and strongly generic sets

abstract: Assume $G$ is a group and $\mathcal{A}$ is an algebra of subsets of $G$ closed under left translation. We study various ways to understand the Ellis group of the $G$-flow $S(\mathcal{A})$ (the Stone space of $\mathcal{A}$), with particular interest in the model-theoretic setting where $G$ is definable in a first order structure $M$ and $\mathcal{A}$ consists of externally definable subsets of $G$. In one part of the thesis we explore strongly generic sets. Maximal algebras of such sets are shown to carry enough information to retrieve the Ellis group. A subset of $G$ is strongly generic if each non-empty Boolean combination of its translates is generic. Trivial examples include what we call *periodic* sets, which are unions of cosets of finite index subgroups of $G$. We give several characterizations of strongly generic sets, in particular, we relate them to almost periodic points of the flow $2^G$. For groups without a smallest finite index subgroup we show how to construct non-periodic strongly generic subsets in a systematic way. When $G$ is definable in a model $M$, a definable, strongly generic subset of $G$ will remain as such in any elementary extension of $M$ only if it is strongly generic in $G$ in an adequately uniform way. Sets satisfying this condition are called *uniformly strongly generic*. We analyse a few examples of these sets in different groups. In the second part we assume that $G$ is a topological group and consider a particular algebra of its subsets denoted $\mathcal{SBP}$. It consists of subsets of $G$ that have the *strong Baire property*, meaning nowhere dense boundary. We explicitly describe the Ellis group of $S(\mathcal{A})$ for an arbitrary subalgebra $\mathcal{A}$ of $\mathcal{SBP}$ under varying assumptions on the group $G$, including the case when $G$ is a compact topological group. [...] (Full abstract in the article)


title: LIPSS pattern induced by polymer surface instability for myoblast cell guidance

abstract: The presented study highlights the efficiency of employing a KrF excimer laser to create diverse types of periodic nanostructures (LIPSS - laser induced periodic surface structures) on polyether ether ketone (PEEK) and polyethylene naphthalate (PEN) substrates. By exposing the polymer films below their ablation threshold to laser fluence ranging from 4 to 16 mJcm-2 at 6,000 pulses, we studied both single-phase exposure at beam incidence angles of 0deg and 45deg, and two-phase exposure. Atomic force microscopy analysis revealed that the laser-treated samples contained distinctive periodic patterns such as waves, globules, and pod-like structures each exhibiting unique surface roughness. Moreover, using analytical methods like EDS and XPS shed light on the changes in the atomic composition, specifically focusing on the C and O elements, as a result of laser exposure. Notably, in almost all cases, we observed an increase in oxygen percentage on the sample surfaces. This increase not only led to a decrease in the contact angle with water but also lowered the zeta potential value, thus showing that the modified samples have enhanced hydrophilicity of the surface and altered electrostatic properties. Last but not least, the samples were assessed for biocompatibility; we studied the interaction of the prepared replicates with mouse myoblasts (C2C12). The impact of globular/dot structures on the cell growth in comparison to pristine or linear LIPSS-patterned surfaces was determined. The linear pattern (LIPSS) induced the myoblast cell alignment along the pattern direction, while dot/globular pattern even enhanced the cytocompatibility compared to LIPSS samples.


title: On the Burstiness of Distributed Machine Learning Traffic

abstract: Traffic from distributed training of machine learning (ML) models makes up a large and growing fraction of the traffic mix in enterprise data centers. While work on distributed ML abounds, the network traffic generated by distributed ML has received little attention. Using measurements on a testbed network, we investigate the traffic characteristics generated by the training of the ResNet-50 neural network with an emphasis on studying its short-term burstiness. For the latter we propose metrics that quantify traffic burstiness at different time scales. Our analysis reveals that distributed ML traffic exhibits a very high degree of burstiness on short time scales, exceeding a 60:1 peak-to-mean ratio on time intervals as long as 5~ms. We observe that training software orchestrates transmissions in such a way that burst transmissions from different sources within the same application do not result in congestion and packet losses. An extrapolation of the measurement data to multiple applications underscores the challenges of distributed ML traffic for congestion and flow control algorithms.


title: Efficient Two-Phase Offline Deep Reinforcement Learning from Preference Feedback

abstract: In this work, we consider the offline preference-based reinforcement learning problem. We focus on the two-phase learning approach that is prevalent in previous reinforcement learning from human preference works. We find a challenge in applying two-phase learning in the offline PBRL setting that the learned utility model can be too hard for the learning agent to optimize during the second learning phase. To overcome the challenge, we propose a two-phasing learning approach under behavior regularization through action clipping. The insight is that the state-actions which are poorly covered by the dataset can only provide limited information and increase the complexity of the problem in the second learning phase. Our method ignores such state-actions during the second learning phase to achieve higher learning efficiency. We empirically verify that our method has high learning efficiency on a variety of datasets in robotic control environments.


title: Asymptotically proved numerical coupling of a 2D flexural porous plate with the 3D Stokes fluid

abstract: This paper presents an efficient coupling of the 3D Stokes flow interacting with an effective perforated periodic heterogeneous anisotropic 2D plate. The effective model was obtained by the asymptotic analysis in earlier works and here an effective numerical algorithm is given. By $Q_3$ or bi-cubic spacial interpolation the time-dependent problem was reduced to an algebraic system of ordinary differential equation in time. Different examples were given, demonstrating the influence of the structural plate parameters on the solution.


title: Almost sure global well-posedness for 3D Euler equation and other fluid dynamics models

abstract: We construct various statistical ensembles associated to the 3D Euler equations and prove global regularity of these equations for data living on these sets. Similar results are also proven for generalized SQG equations and some shell models. Qualitative properties of the ensembles and the constructed flows are also given.


title: Further results on orbits and incidence matrices for the class $\mathcal{O}_6$ of lines external to the twisted cubic in $\mathrm{PG}(3,q)$

abstract: In the literature, lines of the projective space $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits under the stabilizer group of the twisted cubic. The least studied class is named $\mathcal{O}_6$. This class contains lines external to the twisted cubic which are not its chords or axes and do not lie in any of its osculating planes. For even and odd $q$, we propose a new family of orbits of $\mathcal{O}_6$ and investigate in detail their stabilizer groups and the corresponding submatrices of the point-line and plane-line incidence matrices. To obtain these submatrices, we explored the number of solutions of cubic and quartic equations connected with intersections of lines (including the tangents to the twisted cubic), points, and planes in $\mathrm{PG}(3,q)$.


title: Explainability-Driven Leaf Disease Classification Using Adversarial Training and Knowledge Distillation

abstract: This work focuses on plant leaf disease classification and explores three crucial aspects: adversarial training, model explainability, and model compression. The models' robustness against adversarial attacks is enhanced through adversarial training, ensuring accurate classification even in the presence of threats. Leveraging explainability techniques, we gain insights into the model's decision-making process, improving trust and transparency. Additionally, we explore model compression techniques to optimize computational efficiency while maintaining classification performance. Through our experiments, we determine that on a benchmark dataset, the robustness can be the price of the classification accuracy with performance reductions of 3%-20% for regular tests and gains of 50%-70% for adversarial attack tests. We also demonstrate that a student model can be 15-25 times more computationally efficient for a slight performance reduction, distilling the knowledge of more complex models.


title: Benchmarking Hebbian learning rules for associative memory

abstract: Associative memory or content addressable memory is an important component function in computer science and information processing and is a key concept in cognitive and computational brain science. Many different neural network architectures and learning rules have been proposed to model associative memory of the brain while investigating key functions like pattern completion and rivalry, noise reduction, and storage capacity. A less investigated but important function is prototype extraction where the training set comprises pattern instances generated by distorting prototype patterns and the task of the trained network is to recall the correct prototype pattern given a new instance. In this paper we characterize these different aspects of associative memory performance and benchmark six different learning rules on storage capacity and prototype extraction. We consider only models with Hebbian plasticity that operate on sparse distributed representations with unit activities in the interval [0,1]. We evaluate both non-modular and modular network architectures and compare performance when trained and tested on different kinds of sparse random binary pattern sets, including correlated ones. We show that covariance learning has a robust but low storage capacity under these conditions and that the Bayesian Confidence Propagation learning rule (BCPNN) is superior with a good margin in all cases except one, reaching a three times higher composite score than the second best learning rule tested.


title: Effective potential between static sources in quenched light-front Yukawa theory

abstract: We compute a nonperturbative effective potential between two static fermions in light-front Yukawa theory as a Hamiltonian eigenvalue problem. Fermion pair production is suppressed, to make possible an exact analytic solution in the form of a coherent state of bosons that form clouds around the sources. The effective potential is essentially an interference term between individual clouds. The model is regulated with Pauli-Villars bosons and fermions, to achieve consistent quantization and renormalization of masses and couplings. This extends earlier work on scalar Yukawa theory where Pauli-Villars regularization did not play a central role. The key result is that the nonperturbative solution restores rotational symmetry even though the light-front formulation of Yukawa theory, with its preferred axis, appears antithetical to such a symmetry.


title: Norm inequalities involving geometric means

abstract: Let $A_i$ and $B_i$ be positive definite matrices for every $i=1,\cdots,m.$ Let $Z=[Z_{ij}]$ be the block matrix, where $Z_{ij}=B_i^{^\frac{1}{_2}}\left(\displaystyle\sum_{k=1}^mA_k\right)B_j^{^\frac{1}{_2}}$ for every $ i,j=~1,\cdots,m$. It is shown that $$\left|\left|\left|\sum_{i=1}^m\left(A_i^{s}\sharp B_i^{s}\right)^r\right|\right|\right|\leq\left|\left|\left| Z^{^\frac{sr}{_2}} \right|\right|\right| \leq \left|\left|\left|\left(\left(\sum_{i=1}^mA_i\right)^\frac{srp}{_4}\left(\sum_{i=1}^mB_i\right)^\frac{srp}{_2}\left(\sum_{i=1}^mA_i\right)^\frac{srp}{_4}\right)^{\frac{1}{_p}}\right|\right|\right|,$$ for all $s\geq2$, for all $p>0$ and $r\geq1$ such that $rp\geq1$ and for all unitarily invariant norms. This result generalizes the results in \cite{ONIR} and gives an affirmative answer to a conjecture in \cite{OACRT} for all $s\geq2$ and for all $p>0$ and $r\geq1$ such that $rp\geq1$ and $t=\frac{1}{2}$. This result also leads directly to Dinh, Ahsani, and Tam's conjecture in \cite{GAI} and proves Audenaert's result in \cite{ANIFP}.


title: A Rapid Scoping Review and Conceptual Analysis of the Educational Metaverse in the Global South: Socio-Technical Perspectives

abstract: This paper presents a conceptual insight into the Design of the Metaverse to facilitate educational transformation in selected developing nations within the Global South regions, e.g., India. These regions are often afflicted with socio-economic challenges but rich in cultural diversity. By utilizing a socio-technical design approach, this study explores the specific needs and opportunities presented by these diverse settings. A rapid scoping review of the scant existing literature is conducted to provide fundamental insights. A novel design methodology was formulated that utilized ChatGPT for ideation, brainstorming, and literature survey query generation. This paper aims not only to shed light on the educational possibilities enabled by the Metaverse but also to highlight design considerations unique to the Global South.


title: Cylindrical Gravitational Waves in Einstein-Aether Theory

abstract: Along the lines of the Einstein-Rosen wave equation of General Relativity (GR), we derive a gravitational wave equation with cylindrical symmetry in the Einstein-aether (EA) theory. We show that the gravitational wave in the EA is periodic in time for both the metric functions $\Psi(r,t)$ and $H(r,t)$. However, in GR, $\Psi(r,t)$ is periodic in time, but $H(r,t)$ is semi-periodic in time, having a secular drifting in the wave frequency. The evolution of wave pulses of a given width is entirely different in both theories in the $H(r,t)$ metric function due to this frequency drifting. Another fundamental difference between the two theories is the gravitational wave velocity. While in GR, the waves propagate with the speed of light, in EA, there is no upper limit to the wave velocity, reaching infinity if $c_{13} \rightarrow 1$ and zero if $c_{13} \rightarrow -\infty$. We also show that energy-momentum pseudotensor and superpotential get contributions from aether in addition to the usual gravitational field part. All these characteristics are observational signatures that differentiate GR and EA.


title: Non-abelian descent types

abstract: We present the notion of non-abelian descent type, which classifies torsors up to twisting by a Galois cocycle. This relies on the previous construction of kernels and non-abelian Galois 2-cohomology due to Springer and Borovoi. The necessity of descent types arises in the context of the descent theory where no torsors are given a priori, for example, when we wish to study the arithmetic properties such as the Brauer--Manin obstruction to the Hasse principle on homogeneous spaces without rational points. This new definition also unifies the types by Colliot-Th\'el\`ene--Sansuc, the extended types by Harari--Skorobogatov, and the finite descent type by Harpaz--Wittenberg.


title: Homogeneous locally compact spaces

abstract: This is a survey of the recent results and unsolved problems about locally compact homogeneous metric spaces. Mostly, homogeneous finite-dimensional $ANR$-spaces are discussed.


title: Equilibrium existence in a discrete-time endogenous growth model with physical and human capital

abstract: This paper studies a discrete-time version of the Lucas-Uzawa endogenous growth model with physical and human capital. Equilibrium existence is proved applying tools of dynamic programming with unbounded returns. The proofs rely on properties of homogeneous functions and also apply well-known inequalities in real analysis, seldom used in the literature, which significantly simplifies the task of verifying certain assumptions that are rather technical in nature.


title: SHARE: Single-view Human Adversarial REconstruction

abstract: The accuracy of 3D Human Pose and Shape reconstruction (HPS) from an image is progressively improving. Yet, no known method is robust across all image distortion. To address issues due to variations of camera poses, we introduce SHARE, a novel fine-tuning method that utilizes adversarial data augmentation to enhance the robustness of existing HPS techniques. We perform a comprehensive analysis on the impact of camera poses on HPS reconstruction outcomes. We first generated large-scale image datasets captured systematically from diverse camera perspectives. We then established a mapping between camera poses and reconstruction errors as a continuous function that characterizes the relationship between camera poses and HPS quality. Leveraging this representation, we introduce RoME (Regions of Maximal Error), a novel sampling technique for our adversarial fine-tuning method. The SHARE framework is generalizable across various single-view HPS methods and we demonstrate its performance on HMR, SPIN, PARE, CLIFF and ExPose. Our results illustrate a reduction in mean joint errors across single-view HPS techniques, for images captured from multiple camera positions without compromising their baseline performance. In many challenging cases, our method surpasses the performance of existing models, highlighting its practical significance for diverse real-world applications.


title: Universality in block dependent linear models with applications to nonparametric regression

abstract: Over the past decade, characterizing the exact asymptotic risk of regularized estimators in high-dimensional regression has emerged as a popular line of work. This literature considers the proportional asymptotics framework, where the number of features and samples both diverge, at a rate proportional to each other. Substantial work in this area relies on Gaussianity assumptions on the observed covariates. Further, these studies often assume the design entries to be independent and identically distributed. Parallel research investigates the universality of these findings, revealing that results based on the i.i.d.~Gaussian assumption extend to a broad class of designs, such as i.i.d.~sub-Gaussians. However, universality results examining dependent covariates so far focused on correlation-based dependence or a highly structured form of dependence, as permitted by right rotationally invariant designs. In this paper, we break this barrier and study a dependence structure that in general falls outside the purview of these established classes. We seek to pin down the extent to which results based on i.i.d.~Gaussian assumptions persist. We identify a class of designs characterized by a block dependence structure that ensures the universality of i.i.d.~Gaussian-based results. We establish that the optimal values of the regularized empirical risk and the risk associated with convex regularized estimators, such as the Lasso and ridge, converge to the same limit under block dependent designs as they do for i.i.d.~Gaussian entry designs. Our dependence structure differs significantly from correlation-based dependence, and enables, for the first time, asymptotically exact risk characterization in prevalent nonparametric regression problems in high dimensions. Finally, we illustrate through experiments that this universality becomes evident quite early, even for relatively moderate sample sizes.


title: A 3-skeleton for a classifying space for the symmetric group

abstract: We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg--MacLane classifying space for the symmetric group $\mathfrak{S}_n$. Our complex starts with the presentation for $\mathfrak{S}_n$ with $n-1$ adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rewriting system and a combinatorial method of K. Brown to prove the correctness of our construction. Our main application is a computation of the second cohomology of $\mathfrak{S}_n$ in certain twisted coefficient modules; we use this computation in a companion paper to study splitting of extensions related to braid groups. As another application, we give a concrete description of the third homology of $\mathfrak{S}_n$ with untwisted coefficients in $\mathbb{Z}$.


title: Internet of Harvester Nano Things: A Future Prospects

abstract: The advancements in nanotechnology, material science, and electrical engineering have shrunk the sizes of electronic devices down to the micro/nanoscale. This brings the opportunity of developing the Internet of Nano Things (IoNT), an extension of the Internet of Things (IoT). With nanodevices, numerous new possibilities emerge in the biomedical, military fields, and industrial products. However, a continuous energy supply is needed for these devices to work. At the micro/nanoscale, batteries cannot supply this demand due to size limitations and the limited energy contained in the batteries. Internet of Harvester Nano Things (IoHNT), a concept of Energy Harvesting (EH), which converts the existing different energy sources, which otherwise would be dissipated to waste, into electrical energy via electrical generators. Sources for EH are abundant, from sunlight, sound, water, and airflow to living organisms. IoHNT methods are significant assets to ensure the proper operation of the IoNT; thus, in this review, we comprehensively investigate the most useful energy sources and IoHNT principles to power the nano/micro-scaled electronic devices with the scope of IoNT. We discuss the IoHNT principles, material selections, challenges, and state-of-the-art applications of each energy source for both in-vivo and in vitro applications. Finally, we present the latest challenges of EH along with future research directions to solve the problems regarding constructing continuous IoNT containing various self-powered nanodevices. Therefore, IoHNT represents a significant shift in nanodevice power supply, leading us towards a future where wireless technology is widespread. Hence, it will motivate researchers to envision and contribute to the advancement of the following power revolution in IoNT, providing unmatched simplicity and efficiency.


title: Structure of betweenness uniform graphs with low values of betweenness centrality

abstract: This work deals with undirected graphs that have the same betweenness centrality for each vertex, so-called betweenness uniform graphs (or BUGs). The class of these graphs is not trivial and its classification is still an open problem. Recently, Gago, Coroni\v{c}ov\'a-Hurajov\'a and Madaras conjectured that for every rational $\alpha\ge 3/4$ there exists a BUG having betweenness centrality~$\alpha$. We disprove this conjecture, and provide an alternative view of the structure of betweenness-uniform graphs from the point of view of their complement. This allows us to characterise all the BUGs with betweennes centrality at most 9/10, and show that their betweenness centrality is equal to $\frac{\ell}{\ell+1}$ for some integer $\ell\le 9$. We conjecture that this characterization extends to all the BUGs with betweenness centrality smaller than~1.


title: Direct observation of split-mode exciton-polaritons in a single MoS$_2$ nanotube

abstract: A single nanotube synthesized from a transition metal dichalcogenide (TMDC) exhibits strong exciton resonances and, in addition, can support optical whispering gallery modes. This combination is promising for observing exciton-polaritons without an external cavity. However, traditional energy-momentum-resolved detection methods are unsuitable for this tiny object. Instead, we propose to use split optical modes in a twisted nanotube with the flattened cross-section, where a gradually decreasing gap between the opposite walls leads to a change in mode energy, similar to the effect of the barrier width on the eigenenergies in the double-well potential. Using micro-reflectance spectroscopy, we investigated the rich pattern of polariton branches in single MoS$_2$ tubes with both variable and constant gaps. Observed Rabi splitting in the 40 - 60 meV range is comparable to that for a MoS$_2$ monolayer in a microcavity. Our results, based on the polariton dispersion measurements and polariton dynamics analysis, present a single TMDC nanotube as a perfect polaritonic structure for nanophotonics.


title: Quotients of the braid group that are extensions of the symmetric group

abstract: We consider normal subgroups $N$ of the braid group $B_n$ such that the quotient $B_n/N$ is an extension of the symmetric group by an abelian group. We show that, if $n\geq 4$, then there are exactly 8 commensurability classes of such subgroups. We define a Specht subgroup to be a subgroup of this form that is maximal in its commensurability class. We give descriptions of the Specht subgroups in terms of winding numbers and in terms of infinite generating sets. The quotient of the pure braid group by a Specht subgroup is a module over the symmetric group. We show that the modules arising this way are closely related to Specht modules for the partitions $(n-1,1)$ and $(n-2,2)$, working over the integers. We compute the second cohomology of the symmetric group with coefficients in both of these Specht modules, working over an arbitrary commutative ring. Finally, we determine which of the extensions of the symmetric group arising from Specht subgroups are split extensions.


title: Bootstrap Method in Theoretical Physics

abstract: In the realm of contemporary physics, the bootstrap method is typically associated with an optimization-based approach to problem-solving. This method leverages our understanding of a specific physical problem, which is used as the constraints for the optimization problem, to carve out the allowed region of our physical theory. Notably, this method often yields not only precise numerical bounds for physical quantities but also offers theoretical insights into the nature of the problem at hand. The modern numerical bootstrap method has seen its greatest success in the fields of conformal field theory (via the conformal bootstrap) and Scattering amplitude (through the S-matrix bootstrap). This dissertation presents the application of the bootstrap method to matrix models (random matrices), Yang-Mills theory, and conformal field theory. We will commence with a review of the fundamental elements of these theories. Following this, we will delve into the bootstrap studies of these models.


title: Marked random graphs with given degree sequence: large deviations on the local topology

abstract: We investigate the behavior of the empirical neighbourhood distribution of marked graphs in the framework of local weak convergence. We establish a large deviation principle for such families of empirical measures. The proof builds on Bordenave and Caputo's seminal 2015 paper, and Delgosha and Anantharam's 2019 introduction of BC entropy, relying on combinatorial lemmas that allow one to construct suitable approximations of measures supported on marked trees.


title: Constant-roll inflation with tachyon field in the holographic braneworld

abstract: We study inflation driven by the tachyon field in the holographic braneworld by assuming the second slow-roll parameter $\eta$ is constant. The parameter $\eta$ can be either defined by the tachyon scalar field and the Hubble parameter or by the Hubble parameter only. By assuming a constant $\eta$, we derive and numerically solve a differential equation for the Hubble expansion rate. We calculate numerically the scalar spectral index and the tensor-to-scalar ratio. We confront the results with the observational data and find some constraints on the free model parameters. The swampland conjectures are discussed in the context of the constant-roll inflation, with some accent on the holographic model.


title: EXPLORE -- Explainable Song Recommendation

abstract: This study explores the development of an explainable music recommendation system with enhanced user control. Leveraging a hybrid of collaborative filtering and content-based filtering, we address the challenges of opaque recommendation logic and lack of user influence on results. We present a novel approach combining advanced algorithms and an interactive user interface. Our methodology integrates Spotify data with user preference analytics to tailor music suggestions. Evaluation through RMSE and user studies underscores the efficacy and user satisfaction with our system. The paper concludes with potential directions for future enhancements in group recommendations and dynamic feedback integration.


title: Estimation of the Emax model

abstract: This study focuses on the estimation of the Emax dose-response model, a widely utilized framework in clinical trials, agriculture, and environmental experiments. Existing challenges in obtaining maximum likelihood estimates (MLE) for model parameters are often ascribed to computational issues but, in reality, stem from the absence of MLE. Our contribution provides a new understanding and control of all the experimental situations that pratictioners might face, guiding them in the estimation process. We derive the exact MLE for a three-point experimental design and we identify the two scenarios where the MLE fails. To address these challenges, we propose utilizing Firth's modified score, providing its analytical expression as a function of the experimental design. Through a simulation study, we demonstrate that, in one of the problematic cases, the Firth modification yields a finite estimate. For the remaining case, we introduce a design-correction strategy akin to a hypothesis test.


title: Understanding Heterogeneity of Automated Vehicles and Its Traffic-level Impact: A Stochastic Behavioral Perspective

abstract: This paper develops a stochastic and unifying framework to examine variability in car-following (CF) dynamics of commercial automated vehicles (AVs) and its direct relation to traffic-level dynamics. The asymmetric behavior (AB) model by Chen at al. (2012a) is extended to accommodate a range of CF behaviors by AVs and compare with the baseline of human-driven vehicles (HDVs). The parameters of the extended AB (EAB) model are calibrated using an adaptive sequential Monte Carlo method for Approximate Bayesian Computation (ABC-ASMC) to stochastically capture various uncertainties including model mismatch resulting from unknown AV CF logic. The estimated posterior distributions of the parameters reveal significant differences in CF behavior (1) between AVs and HDVs, and (2) across AV developers, engine modes, and speed ranges, albeit to a lesser degree. The estimated behavioral patterns and simulation experiments further reveal mixed platoon dynamics in terms of traffic throughout reduction and hysteresis.


title: Understanding Driver Agency in RideSharing

abstract: Agency is an important human characteristic that users of automated complex technologies are usually denied. This affects the user's experience leading to decreased satisfaction and productivity. In this paper, we consider the ridesharing context and interviewed 7 drivers to understand the controls that would improve the agency they feel. The results show that they desire transparency, community and an effective ability to seek redress.


title: Particle propagation and electron transport in gases

abstract: In this review, we detail the commonality of mathematical intuitions that underlie three numerical methods used for the quantitative description of electron swarms propagating in a gas under the effect of externally applied electric and/or magnetic fields. These methods can be linked to the integral transport equation, following a common thread much better known in the theory of neutron transport than in the theory of electron transport. First, we discuss the exact solution of the electron transport problem using Monte Carlo (MC) simulations. In reality we will progress much further, showing the interpretative role that the diagrams used in quantum theory and quantum field theory can play in the development of MC. Then, we present two methods, the Monte Carlo Flux and the Propagator method, which have been developed at this moment. The first one is based on a modified MC method, while the second shows the advantage of explicitly applying the mathematical idea of propagator to the transport problem.


title: Joint distribution in residue classes of families of polynomially-defined multiplicative functions

abstract: We study the distribution of families of multiplicative functions among the coprime residue classes to moduli varying uniformly in a wide range, obtaining analogues of the Siegel--Walfisz Theorem for large classes of multiplicative functions. We extend a criterion of Narkiewicz for families of multiplicative functions that can be controlled by values of polynomials at the first few prime powers, and establish results that are completely uniform in the modulus as well as optimal in most parameters and hypotheses. This also significantly generalizes and improves upon previous work done for a single such function in specialized settings. Our results have applications for most interesting multiplicative functions, such as the Euler totient function $\phi(n)$, the sum-of-divisors function $\sigma(n)$, the coefficients of the Eisenstein series, etc., and families of these functions. For instance, an application of our results shows that for any fixed $\epsilon>0$, the functions $\phi(n)$ and $\sigma(n)$ are jointly asymptotically equidistributed among the reduced residue classes to moduli $q$ coprime to $6$ varying uniformly up to $(\log x)^{(1-\epsilon)\alpha(q)}$, where $\alpha(q) = \prod_{\ell \mid q} (\ell-3)/(\ell-1)$; furthermore, the coprimality restriction is necessary and the range of $q$ is essentially optimal. One of the primary themes behind our arguments is the quantitative detection of a certain mixing (or ergodicity) phenomenon in multiplicative groups via methods belonging to the `anatomy of integers', but we also rely heavily on more pure analytic arguments (such as a suitable modification of the Landau-Selberg-Delange method), -- whilst using several tools from arithmetic and algebraic geometry, and from linear algebra over rings as well.


title: Ramsey and Tur\'an numbers of sparse hypergraphs

abstract: Degeneracy plays an important role in understanding Tur\'an- and Ramsey-type properties of graphs. Unfortunately, the usual hypergraphical generalization of degeneracy fails to capture these properties. We define the skeletal degeneracy of a $k$-uniform hypergraph as the degeneracy of its $1$-skeleton (i.e., the graph formed by replacing every $k$-edge by a $k$-clique). We prove that skeletal degeneracy controls hypergraph Tur\'an and Ramsey numbers in a similar manner to (graphical) degeneracy. Specifically, we show that $k$-uniform hypergraphs with bounded skeletal degeneracy have linear Ramsey number. This is the hypergraph analogue of the Burr-Erd\H{o}s conjecture (proved by Lee). In addition, we give upper and lower bounds of the same shape for the Tur\'an number of a $k$-uniform $k$-partite hypergraph in terms of its skeletal degeneracy. The proofs of both results use the technique of dependent random choice. In addition, the proof of our Ramsey result uses the `random greedy process' introduced by Lee in his resolution of the Burr-Erd\H{o}s conjecture.


title: Production of highly charged ions inside a cryogenic Penning trap by electron-impact ionisation

abstract: We have built and operated a cryogenic Penning trap arrangement that allows for the efficient production, selection, and long-term storage of highly charged atomic ions. In close similarity to an electron-beam ion trap (EBIT) it works by electron-impact ionisation of atoms inside a dedicated confinement region. The electrons are produced by field emission at liquid-helium temperature and are subsequently accelerated to the keV energy range. The electron beam is reflected through the trap multiple times to increase the ionisation efficiency. We show a characterisation of the system and measurements with argon and tungsten ions up to Ar$^{16+}$ and W$^{27+}$, respectively.


title: Temperature fluctuations in a relativistic gas: Pressure corrections and possible consequences in the deconfinement transition

abstract: In this work, we study the effects of random temperature fluctuations on the equation of state of a non-interacting, relativistic fermion gas by means of the replica method. This picture provides a conceptual model for a non-equilibrium system, depicted as an ensemble of subsystems at different temperatures, randomly distributed with respect to a given mean value. We then assume the temperature displays stochastic fluctuations $T = T_0 + \delta T$ with respect to its ensemble average value $T_0$, with zero mean $\overline{\delta T} = 0$ and standard deviation $\overline{\delta T^2} = \Delta$. By means of the replica method, we obtain the average grand canonical potential, leading to the equation of state of the fermion gas expressed in terms of the excess pressure caused by these fluctuations with respect to the ideal gas at uniform temperature. We further extend our results for the ideal Bose gas as well. Our findings reveal an increase in pressure as the system's ensemble average temperature $T_0$ rises, consistently exceeding the pressure observed in an equilibrium state. Finally, we explore the implications for the deconfinement transition in the context of the simple Bag model, where we show that the critical temperature decreases.


title: New results in vertex sedentariness

abstract: A vertex in a graph is said to be sedentary if a quantum state assigned on that vertex tends to stay on that vertex. Under mild conditions, we show that the direct product and join operations preserve vertex sedentariness. We also completely characterize sedentariness in blow-up graphs. These results allow us to construct new infinite families of graphs with sedentary vertices. We prove that a vertex with a twin is either sedentary or admits pretty good state transfer. Moreover, we give a complete characterization of twin vertices that are sedentary, and provide sharp bounds on their sedentariness. As an application, we determine the conditions in which perfect state transfer, pretty good state transfer and sedentariness occur in complete bipartite graphs and threshold graphs of any order.


title: From Fractional Quantum Anomalous Hall Smectics to Polar Smectic Metals: Nontrivial Interplay Between Electronic Liquid Crystal Order and Topological Order in Correlated Topological Flat Bands

abstract: Integer or fractional quantum Hall crystals, states postulating the coexistence of charge order with integer or fractional quantum Hall effect, have long been proposed in theoretical studies in Landau levels. Inspired by recent experiments on integer or fractional quantum anomalous Hall (IQAH/FQAH) states in MoTe2 and rhombohedral multilayer graphene, this work examines the archetypal correlated flat band model on a checkerboard lattice at filling {\nu} = 2/3. Interestingly, at this filling level, we find that this topological flatband does not stabilize conventional FQAH states. Instead, the unique interplay between smectic charge order and topological order gives rise to two intriguing quantum states. As the interaction strength increases, the system first transitions from a Fermi liquid into FQAH smectic (FQAHS) states, where FQAH topological order coexists cooperatively with smectic charge order. With a further increase in interaction strength, the system undergoes another quantum phase transition and evolves into a polar smectic metal. Contrary to conventional smectic order and FQAHS states, this gapless state spontaneously breaks the two-fold rotational symmetry, resulting in a nonzero electric dipole moment and ferroelectric order. In addition to identifying the ground states, large-scale numerical simulations are also used to study low-energy excitations and thermodynamic characteristics. We find that FQAHS states exhibit two distinct temperature scales: the onset of charge order and the onset of the fractional Hall plateau, respectively. Interestingly, the latter is dictated by charge-neutral low-energy excitations with finite momenta, known as magnetorotons. Our studies suggest that these nontrivial phenomena could, in principle, be accessed in future experiments with moir\'e systems.


title: Tight Finite Time Bounds of Two-Time-Scale Linear Stochastic Approximation with Markovian Noise

abstract: Stochastic approximation (SA) is an iterative algorithm to find the fixed point of an operator given noisy samples of this operator. SA appears in many areas such as optimization and Reinforcement Learning (RL). When implemented in practice, the noise that appears in the update of RL algorithms is naturally Markovian. Furthermore, in some settings, such as gradient TD, SA is employed in a two-time-scale manner. The mix of Markovian noise along with the two-time-scale structure results in an algorithm which is complex to analyze theoretically. In this paper, we characterize a tight convergence bound for the iterations of linear two-time-scale SA with Markovian noise. Our results show the convergence behavior of this algorithm given various choices of step sizes. Applying our result to the well-known TDC algorithm, we show the first $O(1/\epsilon)$ sample complexity for the convergence of this algorithm, outperforming all the previous work. Similarly, our results can be applied to establish the convergence behavior of a variety of RL algorithms, such as TD-learning with Polyak averaging, GTD, and GTD2.


title: HQ-VAE: Hierarchical Discrete Representation Learning with Variational Bayes

abstract: Vector quantization (VQ) is a technique to deterministically learn features with discrete codebook representations. It is commonly performed with a variational autoencoding model, VQ-VAE, which can be further extended to hierarchical structures for making high-fidelity reconstructions. However, such hierarchical extensions of VQ-VAE often suffer from the codebook/layer collapse issue, where the codebook is not efficiently used to express the data, and hence degrades reconstruction accuracy. To mitigate this problem, we propose a novel unified framework to stochastically learn hierarchical discrete representation on the basis of the variational Bayes framework, called hierarchically quantized variational autoencoder (HQ-VAE). HQ-VAE naturally generalizes the hierarchical variants of VQ-VAE, such as VQ-VAE-2 and residual-quantized VAE (RQ-VAE), and provides them with a Bayesian training scheme. Our comprehensive experiments on image datasets show that HQ-VAE enhances codebook usage and improves reconstruction performance. We also validated HQ-VAE in terms of its applicability to a different modality with an audio dataset.


title: Argumentation in Waltz's "Emerging Structure of International Politics''

abstract: We present an annotation scheme for argumentative and domain-specific aspects of scholarly articles on the theory of International Relations. At argumentation level we identify Claims and Support/Attack relations. At domain level we model discourse content in terms of Theory and Data-related statements. We annotate Waltz's 1993 text on structural realism and show that our scheme can be reliably applied by domain experts enables insights on two research questions on justifications of claims.


title: Special Stable Matrices and Their Non-square Counterpart

abstract: In this note, we discuss the extension of several important stable square matrices, e.g., D-stable matrices, diagonal dominance matrices, Volterra-Lyapunov stable matrices, to their corresponding non-square matrices. The extension is motivated by some distributed control-related problems, such as decentralized unconditional stability and decentralized integral controllability for non-square processes. We will provide the connections of conditions between these special square matrices and their associated non-square counterparts. Some conjectures for these special matrices are proposed for future research.


title: Improving Text Embeddings with Large Language Models

abstract: In this paper, we introduce a novel and simple method for obtaining high-quality text embeddings using only synthetic data and less than 1k training steps. Unlike existing methods that often depend on multi-stage intermediate pre-training with billions of weakly-supervised text pairs, followed by fine-tuning with a few labeled datasets, our method does not require building complex training pipelines or relying on manually collected datasets that are often constrained by task diversity and language coverage. We leverage proprietary LLMs to generate diverse synthetic data for hundreds of thousands of text embedding tasks across 93 languages. We then fine-tune open-source decoder-only LLMs on the synthetic data using standard contrastive loss. Experiments demonstrate that our method achieves strong performance on highly competitive text embedding benchmarks without using any labeled data. Furthermore, when fine-tuned with a mixture of synthetic and labeled data, our model sets new state-of-the-art results on the BEIR and MTEB benchmarks.


title: Analysis of biologically plausible neuron models for regression with spiking neural networks

abstract: This paper explores the impact of biologically plausible neuron models on the performance of Spiking Neural Networks (SNNs) for regression tasks. While SNNs are widely recognized for classification tasks, their application to Scientific Machine Learning and regression remains underexplored. We focus on the membrane component of SNNs, comparing four neuron models: Leaky Integrate-and-Fire, FitzHugh-Nagumo, Izhikevich, and Hodgkin-Huxley. We investigate their effect on SNN accuracy and efficiency for function regression tasks, by using Euler and Runge-Kutta 4th-order approximation schemes. We show how more biologically plausible neuron models improve the accuracy of SNNs while reducing the number of spikes in the system. The latter represents an energetic gain on actual neuromorphic chips since it directly reflects the amount of energy required for the computations.


title: UGPNet: Universal Generative Prior for Image Restoration

abstract: Recent image restoration methods can be broadly categorized into two classes: (1) regression methods that recover the rough structure of the original image without synthesizing high-frequency details and (2) generative methods that synthesize perceptually-realistic high-frequency details even though the resulting image deviates from the original structure of the input. While both directions have been extensively studied in isolation, merging their benefits with a single framework has been rarely studied. In this paper, we propose UGPNet, a universal image restoration framework that can effectively achieve the benefits of both approaches by simply adopting a pair of an existing regression model and a generative model. UGPNet first restores the image structure of a degraded input using a regression model and synthesizes a perceptually-realistic image with a generative model on top of the regressed output. UGPNet then combines the regressed output and the synthesized output, resulting in a final result that faithfully reconstructs the structure of the original image in addition to perceptually-realistic textures. Our extensive experiments on deblurring, denoising, and super-resolution demonstrate that UGPNet can successfully exploit both regression and generative methods for high-fidelity image restoration.


title: Multi-Granularity Representation Learning for Sketch-based Dynamic Face Image Retrieval

abstract: In specific scenarios, face sketch can be used to identify a person. However, drawing a face sketch often requires exceptional skill and is time-consuming, limiting its widespread applications in actual scenarios. The new framework of sketch less face image retrieval (SLFIR)[1] attempts to overcome the barriers by providing a means for humans and machines to interact during the drawing process. Considering SLFIR problem, there is a large gap between a partial sketch with few strokes and any whole face photo, resulting in poor performance at the early stages. In this study, we propose a multigranularity (MG) representation learning (MGRL) method to address the SLFIR problem, in which we learn the representation of different granularity regions for a partial sketch, and then, by combining all MG regions of the sketches and images, the final distance was determined. In the experiments, our method outperformed state-of-the-art baselines in terms of early retrieval on two accessible datasets. Codes are available at https://github.com/ddw2AIGROUP2CQUPT/MGRL.


title: Quenched dynamics and pattern formation in clean and disordered Bogoliubov-de Gennes superconductors

abstract: We study the quench dynamics of a two dimensional superconductor in a lattice of size up to $200\times 200$ employing the self-consistent time dependent Bogoliubov-de Gennes (BdG) formalism. In the clean limit, the dynamics of the order parameter for short times, characterized by a fast exponential growth and an oscillatory pattern, agrees with the Bardeen-Cooper-Schrieffer (BCS) prediction. However, unlike BCS, we observe for longer times an universal exponential decay of these time oscillations that we show explicitly to be induced by the full emergence of spatial inhomogeneities of the order parameter, even in the clean limit, characterized by the exponential growth of its variance. The addition of a weak disorder does not alter these results qualitatively. In this region, the spatial inhomogeneities rapidly develops into an intricate spatial structure consisting of ordered fragmented stripes in perpendicular directions where the order parameter is heavily suppressed especially in the central region. As the disorder strength increases, the fragmented stripes gradually turn into a square lattice of approximately circular spatial regions where the condensate is heavily suppressed. A further increase of disorder leads to the deformation and ultimate destruction of this lattice. We explore suitable settings for the experimental confirmation of these findings.


title: Improvement on the Linearity Response of PandaX-4T with new Photomultiplier Tubes Bases

abstract: With the expanding reach of physics, xenon-based detectors such as PandaX-4T in the China Jinping Underground Laboratory aim to cover an energy range from sub-keV to multi-MeV. A linear response of the photomultiplier tubes (PMTs) is required for both scintillation and electroluminescence signals. Through a dedicated bench test, we investigated the cause of the non-linear response in the Hamamatsu R11410-23 PMTs used in PandaX-4T. The saturation and suppression of the PMT waveform observed during the commissioning of PandaX-4T were caused by the high-voltage divider base. The bench test data validated the de-saturation algorithm used in the PandaX-4T data analysis. We also confirmed the improvement in linearity of a new PMT base design, which will be used to upgrade the PMT readout system in PandaX-4T.


title: EMAGE: Towards Unified Holistic Co-Speech Gesture Generation via Expressive Masked Audio Gesture Modeling

abstract: We propose EMAGE, a framework to generate full-body human gestures from audio and masked gestures, encompassing facial, local body, hands, and global movements. To achieve this, we first introduce BEAT2 (BEAT-SMPLX-FLAME), a new mesh-level holistic co-speech dataset. BEAT2 combines a MoShed SMPL-X body with FLAME head parameters and further refines the modeling of head, neck, and finger movements, offering a community-standardized, high-quality 3D motion captured dataset. EMAGE leverages masked body gesture priors during training to boost inference performance. It involves a Masked Audio Gesture Transformer, facilitating joint training on audio-to-gesture generation and masked gesture reconstruction to effectively encode audio and body gesture hints. Encoded body hints from masked gestures are then separately employed to generate facial and body movements. Moreover, EMAGE adaptively merges speech features from the audio's rhythm and content and utilizes four compositional VQ-VAEs to enhance the results' fidelity and diversity. Experiments demonstrate that EMAGE generates holistic gestures with state-of-the-art performance and is flexible in accepting predefined spatial-temporal gesture inputs, generating complete, audio-synchronized results. Our code and dataset are available https://pantomatrix.github.io/EMAGE/


title: Shape-programmable Adaptive Multi-material Microrobots for Biomedical Applications

abstract: Flagellated microorganisms can swim at low Reynolds numbers and adapt to changes in their environment. Specifically, the flagella can switch their shapes or modes through gene expression. In the past decade, efforts have been made to fabricate and investigate rigid types of microrobots without any adaptation to the environments. More recently, obtaining adaptive microrobots mimicking real microorganisms is getting more attention. However, even though some adaptive microrobots achieved by hydrogels have emerged, the swimming behaviors of the microrobots before and after the environment-induced deformations are not predicted in a systematic standardized way. In this work, experiments, finite element analysis, and dynamic modeling are presented together to realize a complete understanding of these adaptive microrobots. The above three parts are cross-verified proving the success of using such methods, facilitating the bio-applications with shape-programmable and even swimming performance-programmable microrobots. Moreover, an application of targeted object delivery using the proposed microrobot has been successfully demonstrated. Finally, cytotoxicity tests are performed to prove the potential for using the proposed microrobot for biomedical applications.


title: Magnon, doublon and quarton excitations in 2D S=1/2 trimerized Heisenberg models

abstract: We investigate the magnetic excitations of the trimerized Heisenberg models with intra-trimer interaction $J_1$ and inter-trimer interaction $J_2$ on four different two-dimensional lattices using a combination of stochastic series expansion quantum Monte Carlo (SSE QMC) and stochastic analytic continuation methods (SAC), complemented by cluster perturbation theory (CPT). These models exhibit quasi-particle-like excitations when $g=J_2/J_1$ is small, characterized by low-energy magnons, intermediate-energy doublons, and high-energy quartons. The low-energy magnons are associated with the magnetic ground states. They can be described by the linear spin wave theory (LSWT) of the effective block spin model and the original spin model. Doublons and quartons emerge from the corresponding internal excitations of the trimers with distinct energy levels, which can be effectively analyzed using perturbation theory when the ratio of exchange interactions $g$ is small. In this small $g$ regime, we observe a clear separation between the magnon and higher-energy spectra. However, as $g$ increases, these three spectra gradually merge into the magnon modes or continua. Nevertheless, the LSWT fails to provide quantitative descriptions of the higher-energy excitation bands due to significant quantum fluctuations. Notably, in the Collinear II and trimerized hexagon lattice, a broad continuum emerges above the single-magnon spectrum, originating from the quasi-1D physics due to the dilute connections between chains. Our numerical analysis of these 2D trimers yields valuable theoretical predictions and explanations for the inelastic neutron scattering (INS) spectra of 2D magnetic materials featuring trimerized lattices.


title: A priori energy estimate with decay in weighted norms for the water-waves problem with contact points

abstract: We prove a weighted a priori energy estimate for the two dimensional water-waves problem with contact points in the absence of gravity and surface tension. When the surface graph function and its time derivative have some decay near the contact points, we show that there is corresponding decay for the velocity, the pressure and other quantities in a short time interval. As a result, we have fixed contact points and contact angles. To prove the energy estimate, a conformal mapping is used to transform the equation for the mean curvature into an equivalent equation in a flat strip with some weights. Moreover, the weighted limits at contact points for the velocity, the pressure etc. are tracked and discussed. Our formulation can be adapted to deal with more general cases.