title: Frequency-domain multiplexing of SNSPDs with tunable superconducting resonators

abstract: This work culminates in a demonstration of an alternative Frequency Domain Multiplexing (FDM) scheme for Superconducting Nanowire Single-Photon Detectors (SNSPDs) using the Kinetic inductance Parametric UP-converter (KPUP) made out of NbTiN. There are multiple multiplexing architectures for SNSPDs that are already in use, but FDM could prove superior in applications where the operational bias currents are very low, especially for mid- and far-infrared SNSPDs. Previous FDM schemes integrated the SNSPD within the resonator, while in this work we use an external resonator, which gives more flexibility to optimize the SNSPD architecture. The KPUP is a DC-biased superconducting resonator in which a nanowire is used as its inductive element to enable sensitivity to current perturbations. When coupled to an SNSPD, the KPUP can be used to read out current pulses on the few $\mu$A scale. The KPUP is made out of NbTiN, which has high non-linear kinetic inductance for increased sensitivity at higher current bias and high operating temperature. Meanwhile, the SNSPD is made from WSi, which is a popular material for broadband SNSPDs. To read out the KPUP and SNSPD array, a software-defined radio platform and a graphics processing unit are used. Frequency Domain Multiplexed SNSPDs have applications in astronomy, remote sensing, exoplanet science, dark matter detection, and quantum sensing.


title: Multiscale Parallel Tempering for Fast Sampling on Redistricting Plans

abstract: When auditing a redistricting plan, a persuasive method is to compare the plan with an ensemble of neutrally drawn redistricting plans. Ensembles are generated via algorithms that sample distributions on balanced graph partitions. To audit the partisan difference between the ensemble and a given plan, one must ensure that the non-partisan criteria are matched so that we may conclude that partisan differences come from bias rather than, for example, levels of compactness or differences in community preservation. Certain sampling algorithms allow one to explicitly state the policy-based probability distribution on plans, however, these algorithms have shown poor mixing times for large graphs (i.e. redistricting spaces) for all but a few specialized measures. In this work, we generate a multiscale parallel tempering approach that makes local moves at each scale. The local moves allow us to adopt a wide variety of policy-based measures. We examine our method in the state of Connecticut and succeed at achieving fast mixing on a policy-based distribution that has never before been sampled at this scale. Our algorithm shows promise to expand to a significantly wider class of measures that will (i) allow for more principled and situation-based comparisons and (ii) probe for the typical partisan impact that policy can have on redistricting.


title: Understanding Electric Vehicle Ownership Using Data Fusion and Spatial Modeling

abstract: The global shift toward electric vehicles (EVs) for climate sustainability lacks comprehensive insights into the impact of the built environment on EV ownership, especially in varying spatial contexts. This study, focusing on New York State, integrates data fusion techniques across diverse datasets to examine the influence of socioeconomic and built environmental factors on EV ownership. The utilization of spatial regression models reveals consistent coefficient values, highlighting the robustness of the results, with the Spatial Lag model better at capturing spatial autocorrelation. Results underscore the significance of charging stations within a 10-mile radius, indicative of a preference for convenient charging options influencing EV ownership decisions. Factors like higher education levels, lower rental populations, and concentrations of older population align with increased EV ownership. Utilizing publicly available data offers a more accessible avenue for understanding EV ownership across regions, complementing traditional survey approaches.


title: Socially Aware V2X Localized QoS

abstract: Vehicle-to-everything (V2X) is a core 5G technology. V2X and its enabler, Device-to-Device (D2D), are essential for the Internet of Things (IoT) and the Internet of Vehicles (IoV). V2X enables vehicles to communicate with other vehicles (V2V), networks (V2N), and infrastructure (V2I). While V2X enables ubiquitous vehicular connectivity, the impact of bursty data on the network's overall Quality of Service (QoS), such as when a vehicle accident occurs, is often ignored. In this work, we study both 4G and 5G V2X utilizing Evolved Universal Terrestrial Radio Access New Radio (E-UTRA-NR) and propose the use of socially aware 5G NR Dual Connectivity (en-DC) for traffic differentiation. We also propose localized QoS, wherein high-priority QoS flows traverse 5G road side units (RSUs) and normal-priority QoS flows traverse 4G Base Station (BS). We formulate a max-min fair QoS-aware Non-Orthogonal Multiple Access (NOMA) resource allocation scheme, QoS reclassify. QoS reclassify enables localized QoS and traffic steering to mitigate bursty network traffic's impact on the network's overall QoS. We then solve QoS reclassify via Integer Linear Programming (ILP) and derive its approximation. We demonstrate that both optimal and approximation QoS reclassify resource allocation schemes in our socially aware QoS management methodology outperform socially unaware legacy 4G V2X algorithms (no localized QoS support, no traffic steering) and socially aware 5G V2X (no localized QoS support, yet utilizes traffic steering). Our proposed QoS reclassify scheme's QoS flow end-to-end latency requires only $\approx~15\%$ of the time legacy 4G V2X requires.


title: Lorentzian holographic gravity and the time-energy uncertainty principle

abstract: In this article, we present a heuristic derivation of the on-shell equation of the Lorentzian classicalized holographic tensor network in the presence of a non-zero mass in the bulk spacetime. This derivation of the on-shell equation is based on two physical assumptions. First, the Lorentzian bulk theory is in the ground state. Second, the law of Lorentzian holographic gravity is identified with the time-energy uncertainty principle. The arguments in this derivation could lead to a novel picture of Lorentzian gravity as a quantum mechanical time uncertainty based on the holographic principle and classicalization.


title: A Preliminary Study on Using Large Language Models in Software Pentesting

abstract: Large language models (LLM) are perceived to offer promising potentials for automating security tasks, such as those found in security operation centers (SOCs). As a first step towards evaluating this perceived potential, we investigate the use of LLMs in software pentesting, where the main task is to automatically identify software security vulnerabilities in source code. We hypothesize that an LLM-based AI agent can be improved over time for a specific security task as human operators interact with it. Such improvement can be made, as a first step, by engineering prompts fed to the LLM based on the responses produced, to include relevant contexts and structures so that the model provides more accurate results. Such engineering efforts become sustainable if the prompts that are engineered to produce better results on current tasks, also produce better results on future unknown tasks. To examine this hypothesis, we utilize the OWASP Benchmark Project 1.2 which contains 2,740 hand-crafted source code test cases containing various types of vulnerabilities. We divide the test cases into training and testing data, where we engineer the prompts based on the training data (only), and evaluate the final system on the testing data. We compare the AI agent's performance on the testing data against the performance of the agent without the prompt engineering. We also compare the AI agent's results against those from SonarQube, a widely used static code analyzer for security testing. We built and tested multiple versions of the AI agent using different off-the-shelf LLMs -- Google's Gemini-pro, as well as OpenAI's GPT-3.5-Turbo and GPT-4-Turbo (with both chat completion and assistant APIs). The results show that using LLMs is a viable approach to build an AI agent for software pentesting that can improve through repeated use and prompt engineering.


title: Rendering Wireless Environments Useful for Gradient Estimators: A Zero-Order Stochastic Federated Learning Method

abstract: Federated learning (FL) is a novel approach to machine learning that allows multiple edge devices to collaboratively train a model without disclosing their raw data. However, several challenges hinder the practical implementation of this approach, especially when devices and the server communicate over wireless channels, as it suffers from communication and computation bottlenecks in this case. By utilizing a communication-efficient framework, we propose a novel zero-order (ZO) method with a one-point gradient estimator that harnesses the nature of the wireless communication channel without requiring the knowledge of the channel state coefficient. It is the first method that includes the wireless channel in the learning algorithm itself instead of wasting resources to analyze it and remove its impact. The two main difficulties of this work are that in FL, the objective function is usually not convex, which makes the extension of FL to ZO methods challenging, and that including the impact of wireless channels requires extra attention. However, we overcome these difficulties and comprehensively analyze the proposed zero-order federated learning (ZOFL) framework. We establish its convergence theoretically, and we prove a convergence rate of $O(\frac{1}{\sqrt[3]{K}})$ in the nonconvex setting. We further demonstrate the potential of our algorithm with experimental results, taking into account independent and identically distributed (IID) and non-IID device data distributions.


title: Synthetic Dialogue Dataset Generation using LLM Agents

abstract: Linear programming (LP) problems are pervasive in real-life applications. However, despite their apparent simplicity, an untrained user may find it difficult to determine the linear model of their specific problem. We envisage the creation of a goal-oriented conversational agent that will engage in conversation with the user to elicit all information required so that a subsequent agent can generate the linear model. In this paper, we present an approach for the generation of sample dialogues that can be used to develop and train such a conversational agent. Using prompt engineering, we develop two agents that "talk" to each other, one acting as the conversational agent, and the other acting as the user. Using a set of text descriptions of linear problems from NL4Opt available to the user only, the agent and the user engage in conversation until the agent has retrieved all key information from the original problem description. We also propose an extrinsic evaluation of the dialogues by assessing how well the summaries generated by the dialogues match the original problem descriptions. We conduct human and automatic evaluations, including an evaluation approach that uses GPT-4 to mimic the human evaluation metrics. The evaluation results show an overall good quality of the dialogues, though research is still needed to improve the quality of the GPT-4 evaluation metrics. The resulting dialogues, including the human annotations of a subset, are available to the research community. The conversational agent used for the generation of the dialogues can be used as a baseline.


title: Hysteresis and effective reciprocity breaking due to current-induced forces

abstract: Directed transport is a key concept for many ongoing applications including nanoscale heat management, current rectification, source protection, and energy harvesting. Within the context of quantum transport, we here explore the use of nonlinear effects introduced by current-induced forces (CIFs) as a practical way to effectively break charge and heat transport reciprocities. In particular, we consider a simple model consisting of a mobile quantum dot (QD) coupled to two leads, where the charge (or heat) current develops an asymmetric behavior under inversion of voltage (or temperature) bias, thereby turning the system into a quantum diode (or quantum thermal diode). Furthermore, we find multiple stable positions for the QD and we show how the extraction of useful work is possible by modulating the nonequilibrium sources along well-established hysteresis loops. Finally, we explore a particular case where the nonlinearity of the CIFs can be exploited to pump heat or charge, even for systems that preserve inversion symmetry. This counterintuitive result is attributed to a spontaneous breaking of the inversion symmetry due to the intrinsic system's dynamics.


title: A Group Theoretic Metric for Robot State Estimation Leveraging Chebyshev Interpolation

abstract: We propose a new metric for robot state estimation based on the recently introduced $\text{SE}_2(3)$ Lie group definition. Our metric is related to prior metrics for SLAM but explicitly takes into account the linear velocity of the state estimate, improving over current pose-based trajectory analysis. This has the benefit of providing a single, quantitative metric to evaluate state estimation algorithms against, while being compatible with existing tools and libraries. Since ground truth data generally consists of pose data from motion capture systems, we also propose an approach to compute the ground truth linear velocity based on polynomial interpolation. Using Chebyshev interpolation and a pseudospectral parameterization, we can accurately estimate the ground truth linear velocity of the trajectory in an optimal fashion with best approximation error. We demonstrate how this approach performs on multiple robotic platforms where accurate state estimation is vital, and compare it to alternative approaches such as finite differences. The pseudospectral parameterization also provides a means of trajectory data compression as an additional benefit. Experimental results show our method provides a valid and accurate means of comparing state estimation systems, which is also easy to interpret and report.


title: Efficient Tool Use with Chain-of-Abstraction Reasoning

abstract: To achieve faithful reasoning that aligns with human expectations, large language models (LLMs) need to ground their reasoning to real-world knowledge (e.g., web facts, math and physical rules). Tools help LLMs access this external knowledge, but there remains challenges for fine-tuning LLM agents (e.g., Toolformer) to invoke tools in multi-step reasoning problems, where inter-connected tool calls require holistic and efficient tool usage planning. In this work, we propose a new method for LLMs to better leverage tools in multi-step reasoning. Our method, Chain-of-Abstraction (CoA), trains LLMs to first decode reasoning chains with abstract placeholders, and then call domain tools to reify each reasoning chain by filling in specific knowledge. This planning with abstract chains enables LLMs to learn more general reasoning strategies, which are robust to shifts of domain knowledge (e.g., math results) relevant to different reasoning questions. It also allows LLMs to perform decoding and calling of external tools in parallel, which avoids the inference delay caused by waiting for tool responses. In mathematical reasoning and Wiki QA domains, we show that our method consistently outperforms previous chain-of-thought and tool-augmented baselines on both in-distribution and out-of-distribution test sets, with an average ~6% absolute QA accuracy improvement. LLM agents trained with our method also show more efficient tool use, with inference speed being on average ~1.4x faster than baseline tool-augmented LLMs.


title: An asymptotic analog of a local-to-global phenomenon for uniformly convex renormings

abstract: In this note, we investigate the renorming theory of Banach spaces with property $(\beta)$ of Rolewicz. In particular, we give a "coordinate-free" proof of the fact that every Banach space with property $(\beta)$ admits an equivalent norm that is asymptotically uniformly smooth; a result originally due to Kutzarova for spaces with a Schauder basis. We also show that if a natural modulus associated with a Banach space $X$ with property $(\beta)$ is positive at some point in the interval $(0,1)$, then $X$ admits an equivalent norm with property $(\beta)$. This is an asymptotic analog of a profound result from the local geometry of Banach spaces that states that if the modulus of uniform convexity of a Banach space $X$ is positive at some point in the interval $(0,2)$, then $X$ admits an equivalent norm that is uniformly convex.


title: DC electric field-driven discretization of single-particle excitation spectra in the Mott insulator

abstract: We theoretically investigate the single-particle excitation spectra of a one-dimensional Hubbard model at half-filling using an infinite matrix-product state and elucidate the discretized energy spectra emerging under the influence of a dc electric field. In a weak electric-field regime, there are two kinds of discretized spectral structures, which affect the spectra of the dynamical current-current correlation function and the density of states. With increasing the electric-field strength, the discretized spectra, whose period is proportional to the strength, become dominant, and the density of states exhibits the Wannier-Stark ladder in their spectra. To demonstrate how our findings can be observed in experiments, we simulate time- and angle-resolved photoemission spectroscopy using an ultrashort THz pump pulse. Our results represent a significant step forward in understanding the states in strongly correlated electron systems driven by a static electric field.


title: An entropy-based measurement for understanding origin-destination trip distributions: a case study of New York City taxis

abstract: A comprehensive understanding of human mobility patterns in urban areas is essential for urban development and transportation planning. In this study, we create entropy-based measurements to capture the geographical distribution diversity of trip origins and destinations. Specifically, we develop origin-entropy and destination-entropy based on taxi and ride-sharing trip records. The origin-entropy for a given zone accounts for all the trips that originate from this zone and calculates the level of geographical distribution diversity of these trips destinations. Likewise, the destination-entropy for a given zone considers all the trips that end in this zone and calculates the level of geographical distribution diversity of these trips origins. Furthermore, we have created an interactive geovisualization that enables researchers to delve into and juxtapose the spatial and temporal dynamics of origin and destination entropy, in conjunction with trip counts for both origins and destinations. Results indicate that entropy-based measurements effectively capture shifts in the diversity of trips geographical origins and destinations, reflecting changes in travel decisions due to major events like the COVID-19 pandemic. These measurements, alongside trip counts, offer a more comprehensive understanding of urban human flows.


title: Studying wildfire fronts using advection-diffusion-reaction models

abstract: In this work, we study the propagation of wildfires using an advection--diffusion--reaction model which also includes convective and radiative heat loss. An existing model is discussed \cite{asensio_2002} and a physically consistent modification of the model is proposed. Using this, the existence of travelling waves (TWs) in the one-dimensional case is investigated. Prior numerical studies reveal the existence of TWs \cite{reisch_2023}. Under the travelling wave ansatz and certain approximation, the model is reduced to a semi-autonomous dynamical system with three unknowns which can be analyzed by a shooting algorithm. It is hypothesized that under mild wind speeds, TWs in both directions exist, and under strong tailwinds only TWs in the direction of wind are possible. The theoretical implications are investigated using both solvers for the PDE models and the shooting algorithm. The results match, and unveil the dependence of the fronts on the parameters consistent with the predictions.


title: Dicke superradiant enhancement of the heat current in circuit QED

abstract: Collective effects, such as Dicke superradiant emission, can enhance the performance of a quantum device. Here, we study the heat current flowing between a cold and a hot bath through an ensemble of $N$ qubits, which are collectively coupled to the thermal baths. We find a regime where the collective coupling leads to a quadratic scaling of the heat current with $N$ in a finite-size scenario. Conversely, when approaching the thermodynamic limit, we prove that the collective scenario exhibits a parametric enhancement over the non-collective case. We then consider the presence of a third uncontrolled {\it parasitic} bath, interacting locally with each qubit, that models unavoidable couplings to the external environment. Despite having a non-perturbative effect on the steady-state currents, we show that the collective enhancement is robust to such an addition. Finally, we discuss the feasibility of realizing such a Dicke heat valve with superconducting circuits. Our findings indicate that in a minimal realistic experimental setting with two superconducting qubits, the collective advantage offers an enhancement of approximately $10\%$ compared to the non-collective scenario.


title: The augmented external activity complex of a matroid

abstract: For a matroid, we define a new simplicial complex whose facets are indexed by its independent sets. This complex contains the external activity complex as a subcomplex. We call our complex the augmented external activity complex since its definition is motivated by the recently defined augmented tautological classes of matroids. We prove that our complex is shellable and show that our shelling satisfies the stronger property of being an $H$-shelling. This explicates our result that the $h$-vector of our complex is the $f$-vector of the independence complex. We also define an augmented no broken circuit complex, which contains the usual no broken circuit complex as a subcomplex. We prove its shellability and show that our shelling is also an $H$-shelling. The $h$-vector of this complex is the $f$-vector of the no broken circuit complex.


title: Optical Data Transmission ASICs for the High-Luminosity LHC (HL-LHC) Experiments

abstract: We present the design and test results of two optical data transmission ASICs for the High-Luminosity LHC (HL-LHC) experiments. These ASICs include a two-channel serializer (LOCs2) and a single-channel Vertical Cavity Surface Emitting Laser (VCSEL) driver (LOCld1V2). Both ASICs are fabricated in a commercial 0.25-um Silicon-on-Sapphire (SoS) CMOS technology and operate at a data rate up to 8 Gbps per channel. The power consumption of LOCs2 and LOCld1V2 are 1.25 W and 0.27 W at 8-Gbps data rate, respectively. LOCld1V2 has been verified meeting the radiation-tolerance requirements for HL-LHC experiments.


title: Convergence of the deep BSDE method for stochastic control problems formulated through the stochastic maximum principle

abstract: It is well-known that decision-making problems from stochastic control can be formulated by means of a forward-backward stochastic differential equation (FBSDE). Recently, the authors of Ji et al. 2022 proposed an efficient deep learning algorithm based on the stochastic maximum principle (SMP). In this paper, we provide a convergence result for this deep SMP-BSDE algorithm and compare its performance with other existing methods. In particular, by adopting a strategy as in Han and Long 2020, we derive a-posteriori estimate, and show that the total approximation error can be bounded by the value of the loss functional and the discretization error. We present numerical examples for high-dimensional stochastic control problems, both in case of drift- and diffusion control, which showcase superior performance compared to existing algorithms.


title: Adaptive Matrix Change Point Detection: Leveraging Structured Mean Shifts

abstract: In high-dimensional time series, the component processes are often assembled into a matrix to display their interrelationship. We focus on detecting mean shifts with unknown change point locations in these matrix time series. Series that are activated by a change may cluster along certain rows (columns), which forms mode-specific change point alignment. Leveraging mode-specific change point alignments may substantially enhance the power for change point detection. Yet, there may be no mode-specific alignments in the change point structure. We propose a powerful test to detect mode-specific change points, yet robust to non-mode-specific changes. We show the validity of using the multiplier bootstrap to compute the p-value of the proposed methods, and derive non-asymptotic bounds on the size and power of the tests. We also propose a parallel bootstrap, a computationally efficient approach for computing the p-value of the proposed adaptive test. In particular, we show the consistency of the proposed test, under mild regularity conditions. To obtain the theoretical results, we derive new, sharp bounds on Gaussian approximation and multiplier bootstrap approximation, which are of independent interest for high dimensional problems with diverging sparsity.


title: Parallelization Strategies for the Randomized Kaczmarz Algorithm on Large-Scale Dense Systems

abstract: The Kaczmarz algorithm is an iterative technique designed to solve consistent linear systems of equations. It falls within the category of row-action methods, focusing on handling one equation per iteration. This characteristic makes it especially useful in solving very large systems. The recent introduction of a randomized version, the Randomized Kaczmarz method, renewed interest in the algorithm, leading to the development of numerous variations. Subsequently, parallel implementations for both the original and Randomized Kaczmarz method have since then been proposed. However, previous work has addressed sparse linear systems, whereas we focus on solving dense systems. In this paper, we explore in detail approaches to parallelizing the Kaczmarz method for both shared and distributed memory for large dense systems. In particular, we implemented the Randomized Kaczmarz with Averaging (RKA) method that, for inconsistent systems, unlike the standard Randomized Kaczmarz algorithm, reduces the final error of the solution. While efficient parallelization of this algorithm is not achievable, we introduce a block version of the averaging method that can outperform the RKA method.


title: A Dirac-type theorem for arbitrary Hamiltonian $H$-linked digraphs

abstract: Given any digraph $D$, let $\mathcal{P}(D)$ be the family of all directed paths in $D$, and let $H$ be a digraph with the arc set $A(H)=\{a_1, \ldots, a_k\}$. The digraph $D$ is called arbitrary Hamiltonian $H$-linked if for any injective mapping $f: V(H)\rightarrow V(D)$ and any integer set $\mathcal{N}=\{n_1, \ldots, n_k\}$ with $n_i\geq4$ for each $i\in\{1, \ldots, k\}$, there exists a mapping $g: A(H)\rightarrow \mathcal{P}(D)$ such that for every arc $a_i=uv$, $g(a_i)$ is a directed path from $f(u)$ to $f(v)$ of length $n_i$, and different arcs are mapped into internally vertex-disjoint directed paths in $D$, and $\bigcup_{i\in[k]}V(g(a_i))=V(D)$. In this paper, we prove that for any digraph $H$ with $k$ arcs and $\delta(H)\geq1$, every digraph of sufficiently large order $n$ with minimum in- and out-degree at least $n/2+k$ is arbitrary Hamiltonian $H$-linked. Furthermore, we show that the lower bound is best possible. Our main result extends some work of K\"{u}hn and Osthus et al. \cite{20081,20082} and Ferrara, Jacobson and Pfender \cite{Jacobson}. Besides, as a corollary of our main theorem, we solve a conjecture of Wang \cite{Wang} for sufficiently large graphs.


title: Maurer-Cartan methods in perturbative quantum mechanics

abstract: We reformulate the time-independent Schr\"odinger equation as a Maurer-Cartan equation on the superspace of eigensystems of the former equation. We then twist the differential so that its cohomology becomes the space of solutions with a set energy. A perturbation of the Hamiltonian corresponds to a deformation of the twisted differential, leading to a simple recursive relation for the eigenvalue and eigenfunction corrections.


title: Detecting mental disorder on social media: a ChatGPT-augmented explainable approach

abstract: In the digital era, the prevalence of depressive symptoms expressed on social media has raised serious concerns, necessitating advanced methodologies for timely detection. This paper addresses the challenge of interpretable depression detection by proposing a novel methodology that effectively combines Large Language Models (LLMs) with eXplainable Artificial Intelligence (XAI) and conversational agents like ChatGPT. In our methodology, explanations are achieved by integrating BERTweet, a Twitter-specific variant of BERT, into a novel self-explanatory model, namely BERT-XDD, capable of providing both classification and explanations via masked attention. The interpretability is further enhanced using ChatGPT to transform technical explanations into human-readable commentaries. By introducing an effective and modular approach for interpretable depression detection, our methodology can contribute to the development of socially responsible digital platforms, fostering early intervention and support for mental health challenges under the guidance of qualified healthcare professionals.


title: Integrated Information Decomposition Unveils Major Structural Traits of $In$ $Silico$ and $In$ $Vitro$ Neuronal Networks

abstract: The properties of complex networked systems arise from the interplay between the dynamics of their elements and the underlying topology. Thus, to understand their behaviour, it is crucial to convene as much information as possible about their topological organization. However, in a large systems such as neuronal networks, the reconstruction of such topology is usually carried out from the information encoded in the dynamics on the network, such as spike train time series, and by measuring the Transfer Entropy between system elements. The topological information recovered by these methods does not necessarily capture the connectivity layout, but rather the causal flow of information between elements. New theoretical frameworks, such as Integrated Information Decomposition ($\Phi$-ID), allow to explore the modes in which information can flow between parts of a system, opening a rich landscape of interactions between network topology, dynamics and information. Here, we apply $\Phi$-ID on $in$ $silico$ and $in$ $vitro$ data to decompose the usual Transfer Entropy measure into different modes of information transfer, namely synergistic, redundant or unique. We demonstrate that the unique information transfer is the most relevant measure to uncover structural topological details from network activity data, while redundant information only introduces residual information for this application. Although the retrieved network connectivity is still functional, it captures more details of the underlying structural topology by avoiding to take into account emergent high-order interactions and information redundancy between elements, which are important for the functional behavior, but mask the detection of direct simple interactions between elements constituted by the structural network topology.


title: Characterization of Green's function of discrete Schr\"odinger operator on a finite graph by its spanning subgraphs

abstract: The Green's function of the discrete Sch\"odinger operator on a finite graph is considered. This setting reproduces Laplacian and signless Laplacian by adjusting appropriate potentials. We show two ways of the expression for the Green's function by using graph structures. The first way is based on the factor of the graph by subtrees which have uni-self-loops; the second way is based on that by odd unicycle graphs.


title: Colony-Enhanced Recurrent Neural Architecture Search: Collaborative Ant-Based Optimization

abstract: Crafting neural network architectures manually is a formidable challenge often leading to suboptimal and inefficient structures. The pursuit of the perfect neural configuration is a complex task, prompting the need for a metaheuristic approach such as Neural Architecture Search (NAS). Drawing inspiration from the ingenious mechanisms of nature, this paper introduces Collaborative Ant-based Neural Topology Search (CANTS-N), pushing the boundaries of NAS and Neural Evolution (NE). In this innovative approach, ant-inspired agents meticulously construct neural network structures, dynamically adapting within a dynamic environment, much like their natural counterparts. Guided by Particle Swarm Optimization (PSO), CANTS-N's colonies optimize architecture searches, achieving remarkable improvements in mean squared error (MSE) over established methods, including BP-free CANTS, BP CANTS, and ANTS. Scalable, adaptable, and forward-looking, CANTS-N has the potential to reshape the landscape of NAS and NE. This paper provides detailed insights into its methodology, results, and far-reaching implications.


title: Navigating the Unknown: Uncertainty-Aware Compute-in-Memory Autonomy of Edge Robotics

abstract: This paper addresses the challenging problem of energy-efficient and uncertainty-aware pose estimation in insect-scale drones, which is crucial for tasks such as surveillance in constricted spaces and for enabling non-intrusive spatial intelligence in smart homes. Since tiny drones operate in highly dynamic environments, where factors like lighting and human movement impact their predictive accuracy, it is crucial to deploy uncertainty-aware prediction algorithms that can account for environmental variations and express not only the prediction but also confidence in the prediction. We address both of these challenges with Compute-in-Memory (CIM) which has become a pivotal technology for deep learning acceleration at the edge. While traditional CIM techniques are promising for energy-efficient deep learning, to bring in the robustness of uncertainty-aware predictions at the edge, we introduce a suite of novel techniques: First, we discuss CIM-based acceleration of Bayesian filtering methods uniquely by leveraging the Gaussian-like switching current of CMOS inverters along with co-design of kernel functions to operate with extreme parallelism and with extreme energy efficiency. Secondly, we discuss the CIM-based acceleration of variational inference of deep learning models through probabilistic processing while unfolding iterative computations of the method with a compute reuse strategy to significantly minimize the workload. Overall, our co-design methodologies demonstrate the potential of CIM to improve the processing efficiency of uncertainty-aware algorithms by orders of magnitude, thereby enabling edge robotics to access the robustness of sophisticated prediction frameworks within their extremely stringent area/power resources.


title: Performance Comparison Analysis of ArangoDB, MySQL, and Neo4j: An Experimental Study of Querying Connected Data

abstract: Choosing and developing performant database solutions helps organizations optimize their operational practices and decision-making. Since graph data is becoming more common, it is crucial to develop and use them in big data with complex relationships with high and consistent performance. However, legacy database technologies such as MySQL are tailored to store relational databases and need to perform more complex queries to retrieve graph data. Previous research has dealt with performance aspects such as CPU and memory usage. In contrast, energy usage and temperature of the servers are lacking. Thus, this paper evaluates and compares state-of-the-art graphs and relational databases from the performance aspects to allow a more informed selection of technologies. Graph-based big data applications benefit from informed selection database technologies for data retrieval and analytics problems. The results show that Neo4j performs faster in querying connected data than MySQL and ArangoDB, and energy, CPU, and memory usage performances are reported in this paper.


title: An Analysis of Symmetry in Quantitative Semantics

abstract: In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmetry into two sub-groupoids of polarized -- positive and negative -- symmetries. We first construct a variation of the original exponential of thin spans, based on sequences rather than families. Then we give a syntactic characterisation of the interpretation of simply-typed lambda-terms in thin spans, in terms of rigid intersection types and rigid resource terms. Finally, we formally relate thin spans with the weighted relational model and generalized species of structure. This allows us to show how some quantities in those models reflect polarized symmetries: in particular we show that the weighted relational model counts witnesses from generalized species of structure, divided by the cardinal of a group of positive symmetries.


title: Pixel to Elevation: Learning to Predict Elevation Maps at Long Range using Images for Autonomous Offroad Navigation

abstract: Understanding terrain topology at long-range is crucial for the success of off-road robotic missions, especially when navigating at high-speeds. LiDAR sensors, which are currently heavily relied upon for geometric mapping, provide sparse measurements when mapping at greater distances. To address this challenge, we present a novel learning-based approach capable of predicting terrain elevation maps at long-range using only onboard egocentric images in real-time. Our proposed method is comprised of three main elements. First, a transformer-based encoder is introduced that learns cross-view associations between the egocentric views and prior bird-eye-view elevation map predictions. Second, an orientation-aware positional encoding is proposed to incorporate the 3D vehicle pose information over complex unstructured terrain with multi-view visual image features. Lastly, a history-augmented learn-able map embedding is proposed to achieve better temporal consistency between elevation map predictions to facilitate the downstream navigational tasks. We experimentally validate the applicability of our proposed approach for autonomous offroad robotic navigation in complex and unstructured terrain using real-world offroad driving data. Furthermore, the method is qualitatively and quantitatively compared against the current state-of-the-art methods. Extensive field experiments demonstrate that our method surpasses baseline models in accurately predicting terrain elevation while effectively capturing the overall terrain topology at long-ranges. Finally, ablation studies are conducted to highlight and understand the effect of key components of the proposed approach and validate their suitability to improve offroad robotic navigation capabilities.


title: Progress in coupling MPGD-based Photon Detectors with Nanodiamond Photocathodes

abstract: The next generation of gaseous photon detectors is requested to overcome the limitations of the available technology, in terms of resolution and robustness. The quest for a novel photocathode, sensitive in the far vacuum ultra violet wavelength range and more robust than present ones, motivated an R&D programme to explore nanodiamond based photoconverters, which represent the most promising alternative to cesium iodine. A procedure for producing the novel photocathodes has been defined and applied on THGEMs samples. Systematic measurements of the photo emission in different Ar/CH4 and Ar/CO2 gas mixtures with various types of nanodiamond powders have been performed. A comparative study of the response of THGEMs before and after coating demonstrated their full compatibility with the novel photocathodes.


title: A Scoping Study of Evaluation Practices for Responsible AI Tools: Steps Towards Effectiveness Evaluations

abstract: Responsible design of AI systems is a shared goal across HCI and AI communities. Responsible AI (RAI) tools have been developed to support practitioners to identify, assess, and mitigate ethical issues during AI development. These tools take many forms (e.g., design playbooks, software toolkits, documentation protocols). However, research suggests that use of RAI tools is shaped by organizational contexts, raising questions about how effective such tools are in practice. To better understand how RAI tools are -- and might be -- evaluated, we conducted a qualitative analysis of 37 publications that discuss evaluations of RAI tools. We find that most evaluations focus on usability, while questions of tools' effectiveness in changing AI development are sidelined. While usability evaluations are an important approach to evaluate RAI tools, we draw on evaluation approaches from other fields to highlight developer- and community-level steps to support evaluations of RAI tools' effectiveness in shaping AI development practices and outcomes.


title: The 120Gbps VCSEL Array Based Optical Transmitter (ATx) Development for the High-Luminosity LHC (HL-LHC) Experiments

abstract: The integration of a Verticle Cavity Surface-Emitting Laser (VCSEL) array and a driving Application-Specific Integrated Circuit (ASIC) in a custom optical array transmitter module (ATx) for operation in the detector front-end is constructed, assembled and tested. The ATx provides 12 parallel channels with each channel operating at 10 Gbps. The optical transmitter eye diagram passes the eye mask and the bit-error rate (BER) less than 1E-12 transmission is achieved at 10 Gbps/ch. The overall insertion loss including the radiation induced attenuation is sufficiently low to meet the proposed link budget requirement.


title: A universal pairing gap measurement proposal by dynamical excitations in 2D doped attractive Fermi-Hubbard model with spin-orbit coupling

abstract: By calculating dynamical structure factor of two-dimensional doped attractive Fermi-Hubbard model with Rashba spin-orbit coupling, we not only investigate collective modes and single-particle excitations of the system during the phase transition between Bardeen-Cooper-Schrieffer superfluid and topological superfluid, but also propose a universal method to measure pairing gap measurement in an optical lattice system. Our numerical results show that the area of the molecular excitation peak at the transferred momentum ${\bf q}=\left[\pi,\pi\right]$ is proportional to the square of the pairing gap in the system with Rashba SOC. In particular, this method is very sensitive to the pairing gap. This goes on verifying that this method is universal to measure the pairing gap in a doped optical lattice with Rashba SOC. These theoretical results are important for experimentally measuring the pairing gap and studying the topological superfluid in an optical lattice.


title: Line operators, vortex statistics, and Higgs versus confinement dynamics

abstract: We study a $2{+}1$D lattice gauge theory with fundamental representation scalar fields which has both Higgs and confining regimes with a spontaneously-broken $U(1)$ $0$-form symmetry. We show that the Higgs and confining regimes may be distinguished by a natural gauge invariant observable: the phase $\Omega$ of a correlation function of a vortex line operator linking with an electric Wilson line. We employ dualities and strong coupling expansions to analytically explore parameter regimes which were inaccessible in previous continuum calculations, and discuss possible implications for the phase diagram.


title: The Leray transform: distinguished measures, symmetries and polygamma inequalities

abstract: New symmetries, norm computations and spectral information are obtained for the Leray transform on a class of unbounded hypersurfaces in $\mathbb{C}^2$. Emphasis is placed on certain distinguished measures, with results on operator norm monotonicity established by proving new polygamma inequalities. Classical techniques of Bernstein-Widder and Euler-Maclaurin play crucial roles in our analysis. Underpinning this work is a projective geometric theory of duality, which manifests here in the form of H\"older invariance.


title: Quantum geometry of the null cone

abstract: We present a non-perturbative quantization of gravitational null initial data. Our starting point is the characteristic null initial problem for tetradic gravity with a parity-odd Holst term in the bulk. After a basic review about the resulting Carrollian boundary field theory, we introduce a specific class of impulsive radiative data. This class is defined for a specific choice of relational clock. The clock is chosen in such a way that the shear of the null boundary follows the profile of a step function. The angular dependence is arbitrary. Next, we solve the residual constraints, which are the Raychaudhuri equation and a Carrollian transport equation for an $SL(2,\mathbb{R})$ holonomy. We show that the resulting submanifold in phase space is symplectic. Along each null generator, we end up with a simple mechanical system. The quantization of this system is straightforward. Our basic strategy is to start from an auxiliary Hilbert space with constraints. The physical Hilbert space is the kernel of a constraint, which is a combination of ladder operators. The constraint and its hermitian conjugate are second-class. Solving the constraint amounts to imposing a simple recursion relation for physical states. On the resulting physical Hilbert space, the $SL(2,\mathbb{R})$ Casimir is a Dirac observable. This observable determines the spectrum of the two radiative modes. The area at the initial and final cross sections are Dirac observables as well. They have a discrete spectrum, which agrees with earlier results on this topic.


title: Cavitation in Electron Fluids and the Puzzles of Photoemission Spectra in Alkali Metals

abstract: Angle-resolved photoemission spectra of alkali metals exhibit a puzzling, non-dispersing peak in the apparent density of states near the Fermi energy. We argue that the holes left behind a significant fraction of photoejected electrons are not wavepacket-like objects used to describe excitations of an equilibrium Fermi liquid but, instead, are relatively localized entities resulting from a photon-induced cavitation in the electron fluid. At the same time, these special localized holes can be thought of as vacancies in a transient Wigner solid. The corresponding contribution to the photoemission current is non-dispersive and is tied to the Fermi level; it exhibits certain similarities to photoemission from localized core orbitals such as the presence of recoil currents. Calculated spectra are consistent with experiment. We briefly discuss the present findings in the context of quantum measurement.


title: CLAIRE: Scalable GPU-Accelerated Algorithms for Diffeomorphic Image Registration in 3D

abstract: We present our work on scalable, GPU-accelerated algorithms for diffeomorphic image registration. The associated software package is termed CLAIRE. Image registration is a non-linear inverse problem. It is about computing a spatial mapping from one image of the same object or scene to another. In diffeomorphic image registration, the set of admissible spatial transformations is restricted to maps that are smooth, one-to-one, and have a smooth inverse. We formulate diffeomorphic image registration as a variational problem governed by transport equations. We use an inexact, globalized (Gauss--)Newton--Krylov method for numerical optimization. We consider semi-Lagrangian methods for numerical time integration. Our solver features mixed-precision, hardware-accelerated computational kernels for optimal computational throughput. We use the message-passing interface for distributed-memory parallelism and deploy our code on modern high-performance computing architectures. Our solver allows us to solve clinically relevant problems in under four seconds on a single GPU. It can also be applied to large-scale 3D imaging applications with data that is discretized on meshes with billions of voxels. We demonstrate that our numerical framework yields high-fidelity results in only a few seconds, even if we search for an optimal regularization parameter.


title: Premonoidal and Kleisli double categories

abstract: We generalize to double categories the recently introduced notion of premonoidal bicategories of Paquet and Saville. We investigate the relation of a premonoidal double category to quasi-functors of two variables and show that a double category possesses a quasi-functor if and only if it is binoidal and purely central. We introduce the notion of cubical double functors of three and more variables and their vertical transformations. We use them to show, using our recent Bifunctor Theorem for double functors, that a double category $\Dd$ has a premonoidal structure induced by a quasi-functor if and only if $\Dd$ is monoidal. This is further equivalent to $\Dd$ being premonoidal and purely central, in which case the pure center double category is monoidal. Exploiting the lifting properties of vertical structures in a double category into their horizontal counterparts, under the assumption of the existence of certain companions, we prove a series of further results. We use the notions of double monads and the Kleisli double category of Gambino, Garner and Vasilakopoulou. We firstly introduce a vertical strength on a pseudomonoidal vertical double monad on a monoidal double category, and also a horizontal strength on a monoidal horizontal double monad on a monoidal double category. We prove that vertical strengths on vertical double monads induce horizontal strengths on the induced horizontal double monads. We show that vertical strengths induce actions of the monoidal double category on the corresponding horizontal Kleisli double category of the induced horizontal double monad. Morever, we prove that for a bistrong pseudomonoidal vertical double monad the mentioned Kleisli double category is premonoidal. The latter two results recover bicategorical results of Paquet and Saville, at the same time providing simpler proofs, thanks to the double categorical approach.


title: Identifying noise transients in gravitational-wave data arising from nonlinear couplings

abstract: Noise in various interferometer systems can sometimes couple non-linearly to create excess noise in the gravitational wave (GW) strain data. Third-order statistics, such as bicoherence and biphase, can identify these couplings and help discriminate those occurrences from astrophysical GW signals. However, the conventional analysis can yield large bicoherence values even when no phase-coupling is present, thereby, resulting in false identifications. Introducing artificial phase randomization in computing the bicoherence reduces such occurrences with negligible impact on its effectiveness for detecting true phase-coupled disturbances. We demonstrate this property with simulated disturbances in this work. Statistical hypothesis testing is used for distinguishing phase-coupled disturbances from non-phase coupled ones when employing the phase-randomized bicoherence. We also obtain an expression for the bicoherence value that minimizes the sum of the probabilities of false positives and false negatives. This can be chosen as a threshold for shortlisting bicoherence triggers for further scrutiny for the presence of non-linear coupling. Finally, the utility of the phase-randomized bicoherence analysis in GW time-series data is demonstrated for the following three scenarios: (1) Finding third-order statistical similarities within categories of noise transients, such as blips and koi fish. If these non-Gaussian noise transients, or glitches, have a common source, their bicoherence maps can have similarities arising from common bifrequencies related to that source. (2) Differentiating linear or non-linear phase-coupled glitches from compact binary coalescence signals through their bicoherence maps. This is explained with a simulated signal. (3) Identifying repeated bifrequencies in the second and third observation runs (i.e., O2 and O3) of LIGO and Virgo.


title: Tensor invariants for classical groups revisited

abstract: We reconsider an old problem, namely the dimension of the $G$-invariant subspace in $V^{\otimes p} \otimes V^{*\otimes q}$, where $G$ is one of the classical groups ${\rm GL}(V)$, ${\rm SL}(V)$, ${\rm O}(V)$, ${\rm SO}(V)$, or ${\rm Sp}(V)$. Spanning sets for the invariant subspace have long been well known, but linear bases are more delicate. Beginning in the broader setting of polynomial invariants, we write down multigraded linear bases which we realize as certain arc diagrams (which may include hyperedges); then the bases for tensor invariants are obtained by restricting our attention to the diagrams that are 1-regular. We survey the many equivalent ways -- some old, some new -- to enumerate these diagrams.


title: Towards Visual Syntactical Understanding

abstract: Syntax is usually studied in the realm of linguistics and refers to the arrangement of words in a sentence. Similarly, an image can be considered as a visual 'sentence', with the semantic parts of the image acting as 'words'. While visual syntactic understanding occurs naturally to humans, it is interesting to explore whether deep neural networks (DNNs) are equipped with such reasoning. To that end, we alter the syntax of natural images (e.g. swapping the eye and nose of a face), referred to as 'incorrect' images, to investigate the sensitivity of DNNs to such syntactic anomaly. Through our experiments, we discover an intriguing property of DNNs where we observe that state-of-the-art convolutional neural networks, as well as vision transformers, fail to discriminate between syntactically correct and incorrect images when trained on only correct ones. To counter this issue and enable visual syntactic understanding with DNNs, we propose a three-stage framework- (i) the 'words' (or the sub-features) in the image are detected, (ii) the detected words are sequentially masked and reconstructed using an autoencoder, (iii) the original and reconstructed parts are compared at each location to determine syntactic correctness. The reconstruction module is trained with BERT-like masked autoencoding for images, with the motivation to leverage language model inspired training to better capture the syntax. Note, our proposed approach is unsupervised in the sense that the incorrect images are only used during testing and the correct versus incorrect labels are never used for training. We perform experiments on CelebA, and AFHQ datasets and obtain classification accuracy of 92.10%, and 90.89%, respectively. Notably, the approach generalizes well to ImageNet samples which share common classes with CelebA and AFHQ without explicitly training on them.


title: Improving QA Model Performance with Cartographic Inoculation

abstract: QA models are faced with complex and open-ended contextual reasoning problems, but can often learn well-performing solution heuristics by exploiting dataset-specific patterns in their training data. These patterns, or "dataset artifacts", reduce the model's ability to generalize to real-world QA problems. Utilizing an ElectraSmallDiscriminator model trained for QA, we analyze the impacts and incidence of dataset artifacts using an adversarial challenge set designed to confuse models reliant on artifacts for prediction. Extending existing work on methods for mitigating artifact impacts, we propose cartographic inoculation, a novel method that fine-tunes models on an optimized subset of the challenge data to reduce model reliance on dataset artifacts. We show that by selectively fine-tuning a model on ambiguous adversarial examples from a challenge set, significant performance improvements can be made on the full challenge dataset with minimal loss of model generalizability to other challenging environments and QA datasets.


title: AdvGPS: Adversarial GPS for Multi-Agent Perception Attack

abstract: The multi-agent perception system collects visual data from sensors located on various agents and leverages their relative poses determined by GPS signals to effectively fuse information, mitigating the limitations of single-agent sensing, such as occlusion. However, the precision of GPS signals can be influenced by a range of factors, including wireless transmission and obstructions like buildings. Given the pivotal role of GPS signals in perception fusion and the potential for various interference, it becomes imperative to investigate whether specific GPS signals can easily mislead the multi-agent perception system. To address this concern, we frame the task as an adversarial attack challenge and introduce \textsc{AdvGPS}, a method capable of generating adversarial GPS signals which are also stealthy for individual agents within the system, significantly reducing object detection accuracy. To enhance the success rates of these attacks in a black-box scenario, we introduce three types of statistically sensitive natural discrepancies: appearance-based discrepancy, distribution-based discrepancy, and task-aware discrepancy. Our extensive experiments on the OPV2V dataset demonstrate that these attacks substantially undermine the performance of state-of-the-art methods, showcasing remarkable transferability across different point cloud based 3D detection systems. This alarming revelation underscores the pressing need to address security implications within multi-agent perception systems, thereby underscoring a critical area of research.


title: LeTO: Learning Constrained Visuomotor Policy with Differentiable Trajectory Optimization

abstract: This paper introduces LeTO, a method for learning constrained visuomotor policy via differentiable trajectory optimization. Our approach uniquely integrates a differentiable optimization layer into the neural network. By formulating the optimization layer as a trajectory optimization problem, we enable the model to end-to-end generate actions in a safe and controlled fashion without extra modules. Our method allows for the introduction of constraints information during the training process, thereby balancing the training objectives of satisfying constraints, smoothing the trajectories, and minimizing errors with demonstrations. This "gray box" method marries the optimization-based safety and interpretability with the powerful representational abilities of neural networks. We quantitatively evaluate LeTO in simulation and on the real robot. In simulation, LeTO achieves a success rate comparable to state-of-the-art imitation learning methods, but the generated trajectories are of less uncertainty, higher quality, and smoother. In real-world experiments, we deployed LeTO to handle constraints-critical tasks. The results show the effectiveness of LeTO comparing with state-of-the-art imitation learning approaches. We release our code at https://github.com/ZhengtongXu/LeTO.


title: Unveiling the Journey of a Highly Inclined CME: Insights from the March 13, 2012 Event with 110$^\circ$ Longitudinal Separation

abstract: A fast and wide Coronal Mass Ejection (CME) erupted from the Sun on 2012-03-13. Its interplanetary counterpart was detected in situ two days later by STEREO-A and near-Earth spacecraft. We suggest that at 1 au the CME extended at least 110$^\circ$ in longitude, with Earth crossing its east flank and STEREO-A crossing its west flank. Despite their separation, measurements from both positions showed very similar in situ CME signatures. The solar source region where the CME erupted was surrounded by three coronal holes (CHs). Their locations with respect to the CME launch site were east (negative polarity), southwest (positive polarity) and west (positive polarity). The solar magnetic field polarity of the area covered by each CH matches that observed at 1 au in situ. Suprathermal electrons at each location showed mixed signatures with only some intervals presenting clear counterstreaming flows as the CME transits both locations. The strahl population coming from the shortest magnetic connection of the structure to the Sun showed more intensity. The study presents important findings regarding the in situ measured CME on 2012-03-15, detected at a longitudinal separation of 110$^\circ$ in the ecliptic plane despite its initial inclination being around 45$^\circ$ when erupted. This suggests that the CME may have deformed and/or rotated, allowing it to be observed near its legs with spacecraft at a separation angle greater than 100$^\circ$. The CME structure interacted with high-speed streams generated by the surrounding CHs. The piled-up plasma in the sheath region exhibited an unexpected correlation in magnetic field strength despite the large separation in longitude. In situ observations reveal that at both locations there was a flank encounter, where the spacecraft crossed the first part of the CME, then encountered ambient solar wind, and finally passed near the legs of the structure.


title: The Period of Ducci Cycles on $\mathbb{Z}_{2^l}$ for Tuples of Length $2^k$

abstract: Let the Ducci function $D: \mathbb{Z}_m^n \to \mathbb{Z}_m^n$ be defined as $D(x_1, x_2, ..., x_n)=(x_1+x_2 \; \text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$. In this paper, we will prove that if $n,m$ are powers of $2$, then repeatedly applying $D$ will eventually result in $(0,0,...,0)$, as well as establish an upper bound for how many iterations it will take for this to happen.


title: Differentiated Service Entanglement Routing for Quantum Networks

abstract: The entanglement distribution networks with various topologies are mainly implemented by active wavelength multiplexing routing strategies. However, designing an entanglement routing scheme, which achieves the maximized network connections and the optimal overall network efficiency simultaneously, remains a huge challenge for quantum networks. In this article, we propose a differentiated service entanglement routing (DSER) scheme, which firstly finds out the lowest loss paths and supported wavelength channels with the tensor-based path searching algorithm, and then allocates the paired channels with the differentiated routing strategies. The evaluation results show that the proposed DSER scheme can be performed for constructing various large scale quantum networks.


title: CaMU: Disentangling Causal Effects in Deep Model Unlearning

abstract: Machine unlearning requires removing the information of forgetting data while keeping the necessary information of remaining data. Despite recent advancements in this area, existing methodologies mainly focus on the effect of removing forgetting data without considering the negative impact this can have on the information of the remaining data, resulting in significant performance degradation after data removal. Although some methods try to repair the performance of remaining data after removal, the forgotten information can also return after repair. Such an issue is due to the intricate intertwining of the forgetting and remaining data. Without adequately differentiating the influence of these two kinds of data on the model, existing algorithms take the risk of either inadequate removal of the forgetting data or unnecessary loss of valuable information from the remaining data. To address this shortcoming, the present study undertakes a causal analysis of the unlearning and introduces a novel framework termed Causal Machine Unlearning (CaMU). This framework adds intervention on the information of remaining data to disentangle the causal effects between forgetting data and remaining data. Then CaMU eliminates the causal impact associated with forgetting data while concurrently preserving the causal relevance of the remaining data. Comprehensive empirical results on various datasets and models suggest that CaMU enhances performance on the remaining data and effectively minimizes the influences of forgetting data. Notably, this work is the first to interpret deep model unlearning tasks from a new perspective of causality and provide a solution based on causal analysis, which opens up new possibilities for future research in deep model unlearning.


title: Arrows of Time for Large Language Models

abstract: We study the probabilistic modeling performed by Autoregressive Large Language Models (LLMs) through the angle of time directionality, addressing a question first raised in (Shannon, 1951). For large enough models, we empirically find a time asymmetry in their ability to learn natural language: a difference in the average log-perplexity when trying to predict the next token versus when trying to predict the previous one. This difference is at the same time subtle and very consistent across various modalities (language, model size, training time, ...). Theoretically, this is surprising: from an information-theoretic point of view, there should be no such difference. We provide a theoretical framework to explain how such an asymmetry can appear from sparsity and computational complexity considerations, and outline a number of perspectives opened by our results.


title: Laser beam focusing by layered superconductor tuned by DC magnetic field

abstract: We develop a theory of the propagation and focusing of the THz Gaussian laser beam through the layered superconductor slab of finite thickness in the presence of an external DC magnetic field in a nonlinear regime. We show that, in this case, focusing of radiation, which results from the specific nonlinearity of the medium, can be flexibly tuned by the external magnetic field providing a new way to control THz waves. We analytically study the main characteristics of the Gaussian beam, its waist, and the focusing distance as the functions of wave frequency, amplitude, and the external magnetic field. The results of analytic calculations are supported by the numerical simulation of the electromagnetic field distribution in the slab.


title: On skew corner-free sets

abstract: We construct skew corner-free sets in $[n]^2$ of size $n^{5/4}$, thereby disproving a conjecture of Kevin Pratt. We also show that any skew corner-free set in $\mathbb{F}_{q}^{n} \times \mathbb{F}_{q}^{n}$ must have size at most $q^{(2-c)n}$, for some positive constant $c$ which depends on $q$.


title: The Artin--Rees lemma and size of spaces over nonassociative complete filtered rings

abstract: This paper studies nonassociative filtered rings using associated gradations. We show that a complete filtered ring $R$ with affine associated graded ring generated in degree $1$ is a local ring, and prove that the Artin--Rees lemma holds for $R$. Assuming finiteness of the residue field, we derive asymptotics for abelian groups with an operation of $R$, and identify classes of torsion elements for spaces over a central extension of $R$.


title: Anything in Any Scene: Photorealistic Video Object Insertion

abstract: Realistic video simulation has shown significant potential across diverse applications, from virtual reality to film production. This is particularly true for scenarios where capturing videos in real-world settings is either impractical or expensive. Existing approaches in video simulation often fail to accurately model the lighting environment, represent the object geometry, or achieve high levels of photorealism. In this paper, we propose Anything in Any Scene, a novel and generic framework for realistic video simulation that seamlessly inserts any object into an existing dynamic video with a strong emphasis on physical realism. Our proposed general framework encompasses three key processes: 1) integrating a realistic object into a given scene video with proper placement to ensure geometric realism; 2) estimating the sky and environmental lighting distribution and simulating realistic shadows to enhance the light realism; 3) employing a style transfer network that refines the final video output to maximize photorealism. We experimentally demonstrate that Anything in Any Scene framework produces simulated videos of great geometric realism, lighting realism, and photorealism. By significantly mitigating the challenges associated with video data generation, our framework offers an efficient and cost-effective solution for acquiring high-quality videos. Furthermore, its applications extend well beyond video data augmentation, showing promising potential in virtual reality, video editing, and various other video-centric applications. Please check our project website https://anythinginanyscene.github.io for access to our project code and more high-resolution video results.


title: Formation of long-period post-common-envelope binaries II. Explaining the self-lensing binary KOI 3278

abstract: The vast majority of close binaries containing a compact object form through common-envelope (CE) evolution. Despite this importance, we struggle to even understand the energy budget of CE evolution. For decades, observed long-period post-CE binaries have been interpreted as evidence for additional energies to contribute during CE evolution. We have recently shown that this argument is based on simplified assumptions for all long-period post-CE binaries containing massive white dwarfs. The only remaining post-CE binary star that has been claimed to require contributions from additional energy sources to understand its formation is KOI 3278. Here we address in detail the potential evolutionary history of KOI 3278. In particular, we investigated whether extra energy sources, such as recombination energy, are indeed required to explain its existence. We used the 1D stellar evolution code MESA to carry out binary evolution simulations and searched for potential formation pathways for KOI 3278 that are able to explain its observed properties. We found that KOI 3278 can be explained if the white dwarf progenitor filled its Roche lobe during a helium shell flash. In this case, the orbital period of KOI 3278 can be reproduced if the CE binding energy is calculated taking into account gravitational energy and thermodynamic internal energy. While the CE evolution that led to the formation of KOI 3278 must have been efficient, that is, most of the available orbital energy must have been used to unbind the CE, recombination energy is not required. We conclude that currently not a single observed post-CE binary requires to assume energy sources other than gravitational and thermodynamic energy to contribute to CE evolution. KOI 3278, however, remains an intriguing post-CE binary as, unlike its siblings, understanding its existence requires highly efficient CE ejection.


title: Linguistically Communicating Uncertainty in Patient-Facing Risk Prediction Models

abstract: This paper addresses the unique challenges associated with uncertainty quantification in AI models when applied to patient-facing contexts within healthcare. Unlike traditional eXplainable Artificial Intelligence (XAI) methods tailored for model developers or domain experts, additional considerations of communicating in natural language, its presentation and evaluating understandability are necessary. We identify the challenges in communication model performance, confidence, reasoning and unknown knowns using natural language in the context of risk prediction. We propose a design aimed at addressing these challenges, focusing on the specific application of in-vitro fertilisation outcome prediction.


title: A Cradle-to-Gate Life Cycle Analysis of Bitcoin Mining Equipment Using Sphera LCA and ecoinvent Databases

abstract: Bitcoin mining is regularly pointed out for its massive energy consumption and associated greenhouse gas emissions, hence contributing significantly to climate change. However, most studies ignore the environmental impacts of producing mining equipment, which is problematic given the short lifespan of such highly specific hardware. In this study, we perform a cradle-to-gate life cycle assessment (LCA) of dedicated Bitcoin mining equipment, considering their specific architecture. Our results show that the application-specific integrated circuit designed for Bitcoin mining is the main contributor to production-related impacts. This observation applies to most impact categories, including the global warming potential. In addition, this finding stresses out the necessity to carefully consider the specificity of the hardware. By comparing these results with several usage scenarios, we also demonstrate that the impacts of producing this type of equipment can be significant (up to 80% of the total life cycle impacts), depending on the sources of electricity supply for the use phase. Therefore, we highlight the need to consider the production phase when assessing the environmental impacts of Bitcoin mining hardware. To test the validity of our results, we use the Sphera LCA and ecoinvent databases for the background modeling of our system. Surprisingly, it leads to results with variations of up to 4 orders of magnitude for toxicity-related indicators, despite using the same foreground modeling. This database mismatch phenomenon, already identified in previous studies, calls for better understanding, consideration and discussion of environmental impacts in the field of electronics, going well beyond climate change indicators.


title: A PNP ion channel deep learning solver with local neural network and finite element input data

abstract: In this paper, a deep learning method for solving an improved one-dimensional Poisson-Nernst-Planck ion channel (PNPic) model, called the PNPic deep learning solver, is presented. In particular, it combines a novel local neural network scheme with an effective PNPic finite element solver. Since the input data of the neural network scheme only involves a small local patch of coarse grid solutions, which the finite element solver can quickly produce, the PNPic deep learning solver can be trained much faster than any corresponding conventional global neural network solvers. After properly trained, it can output a predicted PNPic solution in a much higher degree of accuracy than the low cost coarse grid solutions and can reflect different perturbation cases on the parameters, ion channel subregions, and interface and boundary values, etc. Consequently, the PNPic deep learning solver can generate a numerical solution with high accuracy for a family of PNPic models. As an initial study, two types of numerical tests were done by perturbing one and two parameters of the PNPic model, respectively, as well as the tests done by using a few perturbed interface positions of the model as training samples. These tests demonstrate that the PNPic deep learning solver can generate highly accurate PNPic numerical solutions.


title: How Useful is Continued Pre-Training for Generative Unsupervised Domain Adaptation?

abstract: Recent breakthroughs in scale have enabled the emergence of powerful generative language models, and the ability to fine-tune these models on various tasks by casting them into prompts or instructions. In this landscape, the problem of Unsupervised Domain Adaptation (UDA), or the problem of leveraging knowledge from a labeled source domain to an unlabeled target domain, has been left behind, with recent UDA methods still addressing discriminative classification. In particular, two popular UDA approaches, involving Continued Pre-Training (CPT) and learning domain invariant representations, have been under-explored in the generative setting, signaling a gap. In this work, we evaluate the utility of CPT for generative UDA. We first perform an empirical evaluation to measure the trade-offs between CPT and strong methods promoting domain invariance. We further evaluate how well the benefits of CPT extend to different architectures, tuning methods and data regimes. We then motivate the use of CPT by studying to what degree it benefits classification performance on the target domain. Finally, we attempt to understand the mechanism behind which CPT improves classification performance on the unlabeled target domain. Our findings suggest that a implicitly learns the downstream task while predicting masked words informative to that task. Our work connects the body of UDA research with that of instruction tuning, enabling an initial step towards a wider applicability of modern language models.


title: Towards Image Semantics and Syntax Sequence Learning

abstract: Convolutional neural networks and vision transformers have achieved outstanding performance in machine perception, particularly for image classification. Although these image classifiers excel at predicting image-level class labels, they may not discriminate missing or shifted parts within an object. As a result, they may fail to detect corrupted images that involve missing or disarrayed semantic information in the object composition. On the contrary, human perception easily distinguishes such corruptions. To mitigate this gap, we introduce the concept of "image grammar", consisting of "image semantics" and "image syntax", to denote the semantics of parts or patches of an image and the order in which these parts are arranged to create a meaningful object. To learn the image grammar relative to a class of visual objects/scenes, we propose a weakly supervised two-stage approach. In the first stage, we use a deep clustering framework that relies on iterative clustering and feature refinement to produce part-semantic segmentation. In the second stage, we incorporate a recurrent bi-LSTM module to process a sequence of semantic segmentation patches to capture the image syntax. Our framework is trained to reason over patch semantics and detect faulty syntax. We benchmark the performance of several grammar learning models in detecting patch corruptions. Finally, we verify the capabilities of our framework in Celeb and SUNRGBD datasets and demonstrate that it can achieve a grammar validation accuracy of 70 to 90% in a wide variety of semantic and syntactical corruption scenarios.


title: Reduction for $(n+2)$-rigid subcategories in extriangulated categories

abstract: In this work we study how to extend the concept of \emph{"reduction,"} given for rigid and functorially finite subcategories in an extriangulated category $\mathcal{C}$, to $(n+2)$-rigid ones. We define the reduction of such subcategories as the intersection of orthogonal complements when certain orthogonal condition is satisfied and we prove that this reduction depends mainly on the subcategory itself beyond the type of extriangulated category for which belongs to. Specifically, we show that some results proven for Frobenius extriangulated categories can be carried to extriangulated categories in general. We also study its properties among we can mention: weakly idempotent completeness, existence of enough $\mathbb{E}$-projectives and $\mathbb{E}$-injectives, and conditions to be Frobenius. That generalization covers the usual case and for the general case (for $n\geq 0$), we provide several examples. Finally, we extend a well-known result given for the reduction in stably $2$-Calabi Yau Frobenius extriangulated categories related with $2$-cluster tilting subcategories.


title: Force Push: Robust Single-Point Pushing with Force Feedback

abstract: We present a controller for quasistatic robotic planar pushing with single-point contact using only force feedback to sense the pushed object. We consider an omnidirectional mobile robot pushing an object (the "slider") along a given path, where the robot is equipped with a force-torque sensor to measure the force at the contact point with the slider. The geometric, inertial, and frictional parameters of the slider are not known to the controller, nor are measurements of the slider's pose. We assume that the robot can be localized so that the global position of the contact point is always known and that the approximate initial position of the slider is provided. Simulations and real-world experiments show that our controller yields pushes that are robust to a wide range of slider parameters and state perturbations along both straight and curved paths. Furthermore, we use an admittance controller to adjust the pushing velocity based on the measured force when the slider contacts obstacles like walls.


title: Model Uncertainty and Selection of Risk Models for Left-Truncated and Right-Censored Loss Data

abstract: Insurance loss data are usually in the form of left-truncation and right-censoring due to deductibles and policy limits respectively. This paper investigates the model uncertainty and selection procedure when various parametric models are constructed to accommodate such left-truncated and right-censored data. The joint asymptotic properties of the estimators have been established using the Delta method along with Maximum Likelihood Estimation when the model is specified. We conduct the simulation studies using Fisk, Lognormal, Lomax, Paralogistic, and Weibull distributions with various proportions of loss data below deductibles and above policy limits. A variety of graphic tools, hypothesis tests, and penalized likelihood criteria are employed to validate the models, and their performances on the model selection are evaluated through the probability of each parent distribution being correctly selected. The effectiveness of each tool on model selection is also illustrated using {well-studied} data that represent Wisconsin property losses in the United States from 2007 to 2010.


title: Modeling and analysis of a flexible spinning Euler-Bernoulli beam with centrifugal stiffening and softening: A Linear Fractional Representation approach with application to spinning spacecraft

abstract: The derivation of a linear fractional representation (LFR) model for a flexible, spinning and uniform Euler-Bernoulli beam is accomplished using the {Lagrange} technique, fully capturing the centrifugal force generated by the spinning motion and accounting for its dependence on the angular velocity. This six degrees of freedom (DOF) model accounts for the behavior of deflection in the moving body frame, encompassing the bending, traction and torsion dynamics. The model is also designed to be compliant with the Two-Input-Two-Output Port (TITOP) approach, which offers the possibility to model complex multibody mechanical systems, while keeping the uncertain nature of the plant and condensing all the possible mechanical configurations in a single LFR. To evaluate the effectiveness of the model, various scenarios are considered and their results are tabulated. These scenarios include uniform beams with fixed root boundary conditions for different values of tip mass, root offset and angular velocity. The results from the analysis of the uniform cantilever beam are compared with solutions found in the literature and obtained from a commercial finite element software. Ultimately, this paper presents a multibody model for a spinning spacecraft mission scenario. A comprehensive analysis of the system dynamics is conducted, providing insights into the behavior of the spacecraft under spinning conditions.


title: On the Fourier coefficients of powers of a finite Blaschke product

abstract: Given a finite Blaschke product $B$ we prove asymptotically sharp estimates on the $\ell^{\infty}$-norm of the sequence of the Fourier coefficients of $B^{n}$ as $n$ tends to $\infty$. We provide constructive examples which show that our estimates are sharp. As an application we construct a sequence of $n\times n$ invertible matrices $T$ with arbitrary spectrum in the unit disk and such that the quantity $|\det{T}|\cdot\|T^{-1}\|\cdot\|T\|^{1-n}$ grows as a power of $n$. This is motivated by Sch\"affer's question on norms of inverses.


title: Large densities in a competitive two-species chemotaxis system in the non-symmetric case

abstract: This paper deals with the two-species chemotaxis system with Lotka-Volterra competitive kinetics, \begin{align*} \begin{cases} u_t = d_1 \Delta u - \chi_1 \nabla \cdot (u \nabla w) + \mu_1 u (1 - u - a_1 v), & x\in\Omega,\ t>0,\\ v_t = d_2 \Delta v - \chi_2 \nabla \cdot (v \nabla w) + \mu_2 v (1 - a_2 u - v), & x\in\Omega,\ t>0,\\ 0 = d_3 \Delta w + \alpha u + \beta v - \gamma w, & x\in\Omega,\ t>0, \end{cases} \end{align*} under homogeneous Neumann boundary conditions and suitable initial conditions, where $\Omega \subset \mathbb{R}^n$ $(n \in \mathbb{N})$ is a bounded domain with smooth boundary, $d_1, d_2, d_3, \chi_1, \chi_2, \mu_1, \mu_2 > 0$, $a_1, a_2 \ge 0$ and $\alpha, \beta, \gamma > 0$. Under largeness conditions on $\chi_1$ and $\chi_2$, we show that for suitably regular initial data, any thresholds of the population density can be surpassed, which extends the previous results to the non-symmetric case. The paper contains a well-posedness result for the hyperbolic-elliptic limit system with $d_1=d_2=0$.


title: On the Sum Secrecy Rate Maximisation for Wireless Vehicular Networks

abstract: Wireless communications form the backbone of future vehicular networks, playing a critical role in applications ranging from traffic control to vehicular road safety. However, the dynamic structure of these networks creates security vulnerabilities, making security considerations an integral part of network design. We address these security concerns from a physical layer security aspect by investigating achievable secrecy rates in wireless vehicular networks. Specifically, we aim to maximize the sum secrecy rate from all vehicular pairs subject to bandwidth and power resource constraints. For the considered problem, we first propose a solution based on the successive convex approximation (SCA) method, which has not been applied in this context before. To further reduce the complexity of the SCA-based method, we also propose a low-complexity solution based on a fast iterative shrinkage-thresholding algorithm (FISTA). Our simulation results for SCA and FISTA show a trade-off between convergence and runtime. While the SCA method achieves better convergence, the FISTA-based approach is at least 300 times faster than the SCA method.


title: Game-Theoretic Unlearnable Example Generator

abstract: Unlearnable example attacks are data poisoning attacks aiming to degrade the clean test accuracy of deep learning by adding imperceptible perturbations to the training samples, which can be formulated as a bi-level optimization problem. However, directly solving this optimization problem is intractable for deep neural networks. In this paper, we investigate unlearnable example attacks from a game-theoretic perspective, by formulating the attack as a nonzero sum Stackelberg game. First, the existence of game equilibria is proved under the normal setting and the adversarial training setting. It is shown that the game equilibrium gives the most powerful poison attack in that the victim has the lowest test accuracy among all networks within the same hypothesis space, when certain loss functions are used. Second, we propose a novel attack method, called the Game Unlearnable Example (GUE), which has three main gradients. (1) The poisons are obtained by directly solving the equilibrium of the Stackelberg game with a first-order algorithm. (2) We employ an autoencoder-like generative network model as the poison attacker. (3) A novel payoff function is introduced to evaluate the performance of the poison. Comprehensive experiments demonstrate that GUE can effectively poison the model in various scenarios. Furthermore, the GUE still works by using a relatively small percentage of the training data to train the generator, and the poison generator can generalize to unseen data well. Our implementation code can be found at https://github.com/hong-xian/gue.


title: The Morawetz Problem for Supersonic Flow with Cavitation

abstract: We are concerned with the existence and compactness of entropy solutions of the compressible Euler system for two-dimensional steady potential flow around an obstacle for a polytropic gas with supersonic far-field velocity. The existence problem, initially posed by Morawetz \cite{morawetz85} in 1985, has remained open since then. In this paper, we establish the first complete existence theorem for the Morawetz problem by developing a new entropy analysis, coupled with a vanishing viscosity method and compensated compactness ideas. The main challenge arises when the flow approaches cavitation, leading to a loss of strict hyperbolicity of the system and a singularity of the entropy equation, particularly for the case of adiabatic exponent $\gamma=3$. Our analysis provides a complete description of the entropy and entropy-flux pairs via the Loewner--Morawetz relations, which, in turn, leads to the establishment of a compensated compactness framework. As direct applications of our entropy analysis and the compensated compactness framework, we obtain the compactness of entropy solutions and the weak continuity of the compressible Euler system in the supersonic regime.


title: Molecular Bubble and Outflow in S Mon Revealed by Multiband Datasets

abstract: We identify a molecular bubble, and study the star formation and its feedback in the S Mon region, using multiple molecular lines, young stellar objects (YSOs), and infrared data. We revisit the distance to S Mon, ~722+/-9 pc, using Gaia Data Release 3 parallaxes of the associated Class II YSOs. The bubble may be mainly driven by a massive binary system (namely 15 Mon), the primary of which is an O7V-type star. An outflow is detected in the shell of the bubble, suggesting ongoing star formation activities in the vicinity of the bubble. The total wind energy of the massive binary star is three orders of magnitude higher than the sum of the observed turbulent energy in the molecular gas and the kinetic energy of the bubble, indicating that stellar winds help to maintain the turbulence in the S Mon region and drive the bubble. We conclude that the stellar winds of massive stars have an impact on their surrounding environment.


title: Power Characterization of Noisy Quantum Kernels

abstract: Quantum kernel methods have been widely recognized as one of promising quantum machine learning algorithms that have potential to achieve quantum advantages. In this paper, we theoretically characterize the power of noisy quantum kernels and demonstrate that under global depolarization noise, for different input data the predictions of the optimal hypothesis inferred by the noisy quantum kernel approximately concentrate towards some fixed value. In particular, we depict the convergence rate in terms of the strength of quantum noise, the size of training samples, the number of qubits, the number of layers affected by quantum noises, as well as the number of measurement shots. Our results show that noises may make quantum kernel methods to only have poor prediction capability, even when the generalization error is small. Thus, we provide a crucial warning to employ noisy quantum kernel methods for quantum computation and the theoretical results can also serve as guidelines when developing practical quantum kernel algorithms for achieving quantum advantages.


title: Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming

abstract: Cutting planes (cuts) play an important role in solving mixed-integer linear programs (MILPs), as they significantly tighten the dual bounds and improve the solving performance. A key problem for cuts is when to stop cuts generation, which is important for the efficiency of solving MILPs. However, many modern MILP solvers employ hard-coded heuristics to tackle this problem, which tends to neglect underlying patterns among MILPs from certain applications. To address this challenge, we formulate the cuts generation stopping problem as a reinforcement learning problem and propose a novel hybrid graph representation model (HYGRO) to learn effective stopping strategies. An appealing feature of HYGRO is that it can effectively capture both the dynamic and static features of MILPs, enabling dynamic decision-making for the stopping strategies. To the best of our knowledge, HYGRO is the first data-driven method to tackle the cuts generation stopping problem. By integrating our approach with modern solvers, experiments demonstrate that HYGRO significantly improves the efficiency of solving MILPs compared to competitive baselines, achieving up to 31% improvement.


title: What if PSR J1910-5959A is an observable self-lensing binary?

abstract: In a binary, when the orbital plane of the companion star is almost edge-on along the line-of-sight direction, this would produce an observable self-gravitational lensing effect, which would slightly increase the overall optical intensity of the binary. However, the probability of getting one observable self-lensing binary (SLB) is very low. There are only five observed SLBs so far and all of them are eclipsing binaries. In this article, we theoretically show that the neutron star-white dwarf (NS-WD) binary PSR J1910-5959A could be an observable non-eclipsing SLB. It might be the first binary showing both periodic optical amplification and Shapiro time delay of radio signals, which is useful to verify our understanding about gravitational lensing in relativistic binaries. Moreover, we show that the observed peak amplification limit of the PSR J1910-5959A can help constrain the radius of the WD, which is a crucial parameter to examine the mass-radius and temperature-radius relationship for helium WD.


title: Extended free-energy functionals for achiral and chiral ferroelectric nematic liquid crystals

abstract: Polar nematic liquid crystals are new classes of condensed-matter states where the inversion symmetry common to the traditional apolar nematics is broken. Establishing theoretical descriptions for the novel phase states is an urgent task. Here, we develop a Landau-type mean-field theory for both the achiral and chiral ferroelectric nematics. In the polar nematic states, the inversion symmetry breaking adds two new contributions: an additional odd elastic term (corresponding to the flexoelectricity in symmetry) to the standard Oseen-Frank free energy and an additional Landau term relating to the gradient of local polarisation. As a general necessity, the coupling between the scalar order parameter and polarisation order is further considered. In the chiral and polar nematic state, we reveal that the competition between the twist elasticity and polarity dictates effective compressive energy arising from the quasi-layer structure. The polarisation gradient is an essential term for describing the ferroelectric nature of the systems. The approaches provide theoretical foundations for testing and predicting polar structures in emerging polar liquid crystals.


title: On the optimal objective value of random linear programs

abstract: We consider the problem of maximizing $\langle c,x \rangle$ subject to the constraints $Ax \leq \mathbf{1}$, where $x\in{\mathbb R}^n$, $A$ is an $m\times n$ matrix with mutually independent centered subgaussian entries of unit variance, and $c$ is a cost vector of unit Euclidean length. In the asymptotic regime $n\to\infty$, $\frac{m}{n}\to\infty$, and under some additional assumptions on $c$, we prove that the optimal objective value $z^*$ of the linear program satisfies $$ \lim\limits_{n\to\infty}\sqrt{2\log(m/n)}\,z^*= 1\quad \mbox{almost surely}. $$ In the context of high-dimensional convex geometry, our findings imply sharp asymptotic bounds on the spherical mean width of the random convex polyhedron $P=\{x\in{\mathbb R}^n:\; Ax\leq \mathbf{1}\}$. We provide numerical experiments as supporting data for the theoretical predictions. Further, we carry out numerical studies of the limiting distribution and the standard deviation of $z^*$.


title: On-the-fly training of polynomial machine learning potentials in computing lattice thermal conductivity

abstract: The application of first-principles calculations for predicting lattice thermal conductivity (LTC) in crystalline materials, in conjunction with the linearized phonon Boltzmann equation, has gained increasing popularity. In this calculation, the determination of force constants through first-principles calculations is critical for accurate LTC predictions. For material exploration, performing first-principles LTC calculations in a high-throughput manner is now expected, although it requires significant computational resources. To reduce computational demands, we integrated polynomial machine learning potentials on-the-fly during the first-principles LTC calculations. This paper presents a systematic approach to first-principles LTC calculations. We designed and optimized an efficient workflow that integrates multiple modular software packages. We applied this approach to calculate LTCs for 103 compounds of the wurtzite, zincblende, and rocksalt types to evaluate the performance of the polynomial machine learning potentials in LTC calculations. We demonstrate a significant reduction in the computational resources required for the LTC predictions.


title: Multi-linear forms, structure of graphs and Lebesgue spaces

abstract: Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ \Lambda^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i.e $E(i,j)=1$ if and only if the $i$'th and $j$'th vertices are connected by an edge, $K$ is the aforementioned kernel, and $f_i: {\mathbb R}^d \to {\mathbb R}$, measurable. This paper establishes multi-linear inequalities of the form $$ \Lambda^K_G(f_1,f_2, \dots,f_n) \leq C {||f_1||}_{L^{p_1}({\mathbb R}^d)} {||f_2||}_{L^{p_2}({\mathbb R}^d)} \dots {||f_n||}_{L^{p_n}({\mathbb R}^d)}$$ and determines how the exponents depend on the structure of the kernel $K$ and the graph $G$.