title: Electromagnetic fields between moving mirrors: Singular waveforms inside Doppler cavities

abstract: Phenomena of wave propagation in dynamically varying structures have reemerged as the temporal variations of the medium's properties can extend the possibilities for electromagnetic wave manipulation. While the dynamical change of the electromagnetic medium's properties is a difficult task, the movement of scatterers is not. In this paper, we analyze the electromagnetic fields trapped inside two smoothly moving mirrors. We employ the method of characteristics and take into account the relativistic phenomena to show that the temporally and spatially local Doppler effects can filter and amplify the electromagnetic signal, tailoring the $k-$ and $\omega-$content of the transients. It is shown using the Doppler factor and the change of the distance between neighbor characteristics that the dynamical movement of the boundaries can lead to condensated characteristics resulting in field amplification or dilution of the characteristics resulting in the attenuation of the signal. In the case of periodically moving mirrors the field distribution is shown that asymptotically leads to exponentially growing delta-like wave packets at discrete points of space with a limiting number of peaks due to the fact that the velocity of the mechanical vibrations can not exceed that of light. The theoretical analysis is also verified by FDTD simulations and is connected with the theory of mode locking.


title: 3D Reconstruction using Structured Light from off-the-shelf components

abstract: The coordinate measuring machine(CMM) has been the benchmark of accuracy in measuring solid objects from nearly past 50 years or more. However with the advent of 3D scanning technology, the accuracy and the density of point cloud generated has taken over. In this project we not only compare the different algorithms that can be used in a 3D scanning software, but also create our own 3D scanner from off-the-shelf components like camera and projector. Our objective has been : 1. To develop a prototype for 3D scanner to achieve a system that performs at optimal accuracy over a wide typology of objects. 2. To minimise the cost using off-the-shelf components. 3. To reach very close to the accuracy of CMM.


title: Three-dimensional magnetic fields of molecular clouds

abstract: To investigate the role of magnetic fields in the evolution of the interstellar medium, formation and evolution of molecular clouds, and ultimately the formation of stars, their three-dimensional (3D) magnetic fields must be probed. Observing only one component of magnetic fields (along the line of sight or parallel to the plane of the sky) is insufficient to identify these 3D vectors. In recent years, novel techniques for probing each of these two components and integrating them with additional data (from observations or models), such as Galactic magnetic fields or magnetic field inclination angles, have been developed, in order to infer 3D magnetic fields. We review and discuss these advancements, their applications, and their future direction.


title: Tur\'{a}n problems in pseudorandom graphs

abstract: Given a graph $F$, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$. Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$-free graphs that are also triangle-free. Finally, we obtain the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer and Pepe in a novel way and give a different proof that they have no large clique.


title: Conversion Between CT and MRI Images Using Diffusion and Score-Matching Models

abstract: MRI and CT are most widely used medical imaging modalities. It is often necessary to acquire multi-modality images for diagnosis and treatment such as radiotherapy planning. However, multi-modality imaging is not only costly but also introduces misalignment between MRI and CT images. To address this challenge, computational conversion is a viable approach between MRI and CT images, especially from MRI to CT images. In this paper, we propose to use an emerging deep learning framework called diffusion and score-matching models in this context. Specifically, we adapt denoising diffusion probabilistic and score-matching models, use four different sampling strategies, and compare their performance metrics with that using a convolutional neural network and a generative adversarial network model. Our results show that the diffusion and score-matching models generate better synthetic CT images than the CNN and GAN models. Furthermore, we investigate the uncertainties associated with the diffusion and score-matching networks using the Monte-Carlo method, and improve the results by averaging their Monte-Carlo outputs. Our study suggests that diffusion and score-matching models are powerful to generate high quality images conditioned on an image obtained using a complementary imaging modality, analytically rigorous with clear explainability, and highly competitive with CNNs and GANs for image synthesis.


title: Secrecy Rate Analysis of STAR-RIS in Presence of Energy Harvesting Eavesdroppers

abstract: This work peruses a simultaneous transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) based wireless system wherein untrusted energy harvesting nodes wiretap the legitimate signal. The achievable secrecy rate and the harvested energy for multicast communication are computed as functions of STAR-RIS transmission and reflection coefficients (TARCs). Thus, to maximize the secrecy rate while satisfying the minimum required harvested energies, the non-convex optimization problem is investigated. By using the Dinkelbach transformation and semi-definite relaxation technique, the optimization problem is transformed into a convex problem. Eventually, the numerical results are reported to specify the effects of the size of the STAR-RIS and optimizing its TARCs elements on magnifying the secrecy rate-energy harvesting region.


title: Moral Mimicry: Large Language Models Produce Moral Rationalizations Tailored to Political Identity

abstract: Large Language Models (LLMs) have demonstrated impressive capabilities in generating fluent text, as well as tendencies to reproduce undesirable social biases. This study investigates whether LLMs reproduce the moral biases associated with political groups in the United States, an instance of a broader capability herein termed moral mimicry. This hypothesis is explored in the GPT-3/3.5 and OPT families of Transformer-based LLMs. Using tools from Moral Foundations Theory, it is shown that these LLMs are indeed moral mimics. When prompted with a liberal or conservative political identity, the models generate text reflecting corresponding moral biases. This study also explores the relationship between moral mimicry and model size, and similarity between human and LLM moral word use.


title: Valuation of Public Bus Electrification with Open Data

abstract: This research provides a novel framework to estimate the economic, environmental, and social values of electrifying public transit buses, for cities across the world, based on open-source data. Electric buses are a compelling candidate to replace diesel buses for the environmental and social benefits. However, the state-of-art models to evaluate the value of bus electrification are limited in applicability because they require granular and bespoke data on bus operation that can be difficult to procure. Our valuation tool uses General Transit Feed Specification, a standard data format used by transit agencies worldwide, to provide high-level guidance on developing a prioritization strategy for electrifying a bus fleet. We develop physics-informed machine learning models to evaluate the energy consumption, the carbon emissions, the health impacts, and the total cost of ownership for each transit route. We demonstrate the scalability of our tool with a case study of the bus lines in the Greater Boston and Milan metropolitan areas.


title: An Asymptotically Optimal Batched Algorithm for the Dueling Bandit Problem

abstract: We study the $K$-armed dueling bandit problem, a variation of the traditional multi-armed bandit problem in which feedback is obtained in the form of pairwise comparisons. Previous learning algorithms have focused on the $\textit{fully adaptive}$ setting, where the algorithm can make updates after every comparison. The "batched" dueling bandit problem is motivated by large-scale applications like web search ranking and recommendation systems, where performing sequential updates may be infeasible. In this work, we ask: $\textit{is there a solution using only a few adaptive rounds that matches the asymptotic regret bounds of the best sequential algorithms for $K$-armed dueling bandits?}$ We answer this in the affirmative $\textit{under the Condorcet condition}$, a standard setting of the $K$-armed dueling bandit problem. We obtain asymptotic regret of $O(K^2\log^2(K)) + O(K\log(T))$ in $O(\log(T))$ rounds, where $T$ is the time horizon. Our regret bounds nearly match the best regret bounds known in the fully sequential setting under the Condorcet condition. Finally, in computational experiments over a variety of real-world datasets, we observe that our algorithm using $O(\log(T))$ rounds achieves almost the same performance as fully sequential algorithms (that use $T$ rounds).


title: Electronic and magnetic properties of the topological semimetal SmMg$_2$Bi$_2$

abstract: Dirac semimetals show nontrivial physical properties and can host exotic quantum states like Weyl semimetals and topological insulators under suitable external conditions. Here, by combining angle-resolved photoemission spectroscopy measurements (ARPES) and first-principle calculations, we demonstrate that Zintl-phase compound SmMg$_2$Bi$_2$ belongs to the close proximity to a topological Dirac semimetallic state. ARPES results show a Dirac-like band crossing at the zone-center near the Fermi level ($E_\mathrm {F}$) which is further confirmed by first-principle calculations. Theoretical studies also reveal that SmMg$_2$Bi$_2$ belongs to a $Z_2$ topological class and hosts spin-polarized states around the $E_\mathrm {F}$. Zintl's theory predicts that the valence state of Sm in this material should be Sm$^{2+}$, however we detect many Sm-4$f$ multiplet states (flat-bands) whose energy positions suggest the presence of both Sm$^{2+}$ and Sm$^{3+}$. It is also evident that these flat-bands and other dispersive states are strongly hybridized when they cross each other. Due to the presence of Sm$^{3+}$ ions, the temperature dependence of magnetic susceptibility $\chi(T)$ shows Curie-Weiss-like contribution in the low temperature region, in addition to the Van Vleck-like behaviour expected for the Sm$^{2+}$ ions. The present study will help in better understanding of the electronic structure, magnetism and transport properties of related materials.


title: Answer-Set Programs for Repair Updates and Counterfactual Interventions

abstract: We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation with them; counterfactual interventions for causality in databases; and counterfactual-based explanations in machine learning.


title: Convergence and exponential stability of modified truncated Milstein method for stochastic differential equations

abstract: In this paper, we develop a new explicit scheme called modified truncated Milstein method which is motivated by truncated Milstein method proposed by Guo (2018) and modified truncated Euler-Maruyama method introduced by Lan (2018). We obtain the strong convergence of the scheme under local boundedness and Khasminskii-type conditions, which are relatively weaker than the existing results, and we prove that the convergence rate could be arbitrarily close to 1 under given conditions. Moreover, exponential stability of the scheme is also considered while it is impossible for truncated Milstein method introduced in Guo(2018). Three numerical experiments are offered to support our conclusions.


title: Online Allocation and Learning in the Presence of Strategic Agents

abstract: We study the problem of allocating $T$ sequentially arriving items among $n$ homogeneous agents under the constraint that each agent must receive a pre-specified fraction of all items, with the objective of maximizing the agents' total valuation of items allocated to them. The agents' valuations for the item in each round are assumed to be i.i.d. but their distribution is a priori unknown to the central planner. Therefore, the central planner needs to implicitly learn these distributions from the observed values in order to pick a good allocation policy. However, an added challenge here is that the agents are strategic with incentives to misreport their valuations in order to receive better allocations. This sets our work apart both from the online auction design settings which typically assume known valuation distributions and/or involve payments, and from the online learning settings that do not consider strategic agents. To that end, our main contribution is an online learning based allocation mechanism that is approximately Bayesian incentive compatible, and when all agents are truthful, guarantees a sublinear regret for individual agents' utility compared to that under the optimal offline allocation policy.


title: Longest and Shortest Factorizations in Embedding Dimension Three

abstract: For a numerical monoid $\langle n_1, \dots, n_k \rangle$ minimally generated by $n_1, \dots, n_k \in \mathbb{N}$ with $n_1 < \cdots < n_k$, the longest and shortest factorization lengths of an element $x$, denoted as $L(x)$ and $\ell(x)$, respectively, follow the identities $L(x+n_1) = L(x) + 1$ and $\ell(x+n_k) = \ell(x) + 1$ for sufficiently large elements $x$. We characterize when these identities hold for all elements of numerical monoids of embedding dimension three.


title: Monte Carlo Gradient in Optimization Constrained by Radiative Transport Equation

abstract: Can Monte Carlo (MC) solvers be directly used in gradient-based methods for PDE-constrained optimization problems? In these problems, a gradient of the loss function is typically presented as a product of two PDE solutions, one for the forward equation and the other for the adjoint. When MC solvers are used, the numerical solutions are Dirac measures. As such, one immediately faces the difficulty in explaining the multiplication of two measures. This suggests that MC solvers are naturally incompatible with gradient-based optimization under PDE constraints. In this paper, we study two different strategies to overcome the difficulty. One is to adopt the Discrete-Then-Optimize technique and conduct the full optimization on the algebraic system, avoiding the Dirac measures. The second strategy stays within the Optimize-Then-Discretize framework. We propose a correlated simulation where, instead of using MC solvers separately for both forward and adjoint problems, we recycle the samples in the forward simulation in the adjoint solver. This frames the adjoint solution as a test function, and hence allows a rigorous convergence analysis. The investigation is presented through the lens of the radiative transfer equation, either in the inverse setting from optical imaging or in the optimal control framework. We detail the algorithm development, convergence analysis, and complexity cost. Numerical evidence is also presented to demonstrate the claims.


title: Effects of scattering on the field-induced Tc enhancement in thin superconducting films in a parallel magnetic field

abstract: The problem of a thin superconducting film in a parallel magnetic field, first discussed in the classical paper by Ginzburg and Landau for temperatures close to the critical, is revisited with the help of the microscopic BCS theory for arbitrary temperatures taking pair-breaking and transport scattering into account. While confirming experimental findings of the $T_c$ enhancement by the magnetic field, we find that the transport scattering pushes the phase transition curve to higher fields and higher temperatures for nearly all practical scattering rates. Still, the $T_c$ enhancement disappears in the dirty limit. We also consider intriguing changes, such as re-entrant superconductivity, caused to the phase boundary by pair-breaking magnetic ions spread on one of the film faces. These features await experimental verification.


title: Ring-originated anisotropy of local structural ordering in amorphous and crystalline silicon dioxide

abstract: Rings comprising chemically bonded atoms are essential topological motifs for the structural ordering of network-forming materials. Quantification of such larger motifs beyond short-range pair correlation is essential for understanding the linkages between the orderings and macroscopic behaviors. Here, we propose two quantitative analysis methods based on rings. The first method quantifies rings by two geometric indicators: roundness and roughness. These indicators reveal the linkages between highly symmetric rings and crystal symmetry in silica and that the structure of amorphous silica mainly consists of distorted rings. The second method quantifies a spatial correlation function that describes three-dimensional atomic densities around rings. A comparative analysis among the functions for different degrees of ring symmetries reveals that symmetric rings contribute to the local structural order in amorphous silica. Another analysis of amorphous models with different orderings reveals anisotropy of the local structural ordering around rings; this contributes to building the intermediate-range ordering.


title: Dynamical descalarization in Einstein-Maxwell-scalar theory

abstract: For an asymptotically flat hairy black hole in the Einstein-Maxwell-scalar (EMS) theory, we study the possibility of shedding off its scalar hair via nonlinear scalar perturbation fully interacting with the background spacetime. We examine the effect of the perturbation strength on the descalarization. The results show that the effective charge to mass ratio of the black hole plays the key role in the dynamical descalarization. The descalarization at the threshold is continuous. This indicates a second order phase transition.


title: BURST: A Benchmark for Unifying Object Recognition, Segmentation and Tracking in Video

abstract: Multiple existing benchmarks involve tracking and segmenting objects in video e.g., Video Object Segmentation (VOS) and Multi-Object Tracking and Segmentation (MOTS), but there is little interaction between them due to the use of disparate benchmark datasets and metrics (e.g. J&F, mAP, sMOTSA). As a result, published works usually target a particular benchmark, and are not easily comparable to each another. We believe that the development of generalized methods that can tackle multiple tasks requires greater cohesion among these research sub-communities. In this paper, we aim to facilitate this by proposing BURST, a dataset which contains thousands of diverse videos with high-quality object masks, and an associated benchmark with six tasks involving object tracking and segmentation in video. All tasks are evaluated using the same data and comparable metrics, which enables researchers to consider them in unison, and hence, more effectively pool knowledge from different methods across different tasks. Additionally, we demonstrate several baselines for all tasks and show that approaches for one task can be applied to another with a quantifiable and explainable performance difference. Dataset annotations and evaluation code is available at: https://github.com/Ali2500/BURST-benchmark.


title: Machine learning-based analysis of experimental electron beams and gamma energy distributions

abstract: The photon flux resulting from high-energy electron beam interactions with high field systems, such as in the upcoming FACET-II experiments at SLAC National Accelerator Laboratory, may give deep insight into the electron beam's underlying dynamics at the interaction point. Extraction of this information is an intricate process, however. To demonstrate how to approach this challenge with modern methods, this paper utilizes data from simulated plasma wakefield acceleration-derived betatron radiation experiments and high-field laser-electron-based radiation production to determine reliable methods of reconstructing key beam and interaction properties. For these measurements, recovering the emitted 200 keV to 10 GeV photon energy spectra from two advanced spectrometers now being commissioned requires testing multiple methods to finalize a pipeline from their responses to incident electron beam information. In each case, we compare the performance of: neural networks, which detect patterns between data sets through repeated training; maximum likelihood estimation (MLE), a statistical technique used to determine unknown parameters from the distribution of observed data; and a hybrid approach combining the two. Further, in the case of photons with energies above 30 MeV, we also examine the efficacy of QR decomposition, a matrix decomposition method. The betatron radiation and the high-energy photon cases demonstrate the effectiveness of a hybrid ML-MLE approach, while the high-field electrodynamics interaction and the low-energy photon cases showcased the machine learning (ML) model's efficiency in the presence of noise. As such, while there is utility in all the methods, the ML-MLE hybrid approach proves to be the most generalizable.


title: Probing symmetric teleparallel gravity in the early universe

abstract: General theory of relativity can be equivalently formulated on a flat spacetime that associates with a torsion-free affine connection of non-vanishing non-metricity scalar $Q$. In this work, we present an extension of this, the $f(Q)$ theory of gravity, and explore the early evolution of the universe in the background of anisotropic Bianchi-I model. The f(Q) theory in the current setting through its geometric modification is quite successful in explaining the late time accelerated expansion. Here we notice that it also fits inflationary parameters with excellent precession, but fails to produce a decelerated expansion in the radiation dominated era.


title: On the $W$ mass anomaly in models with right-handed currents

abstract: We show that, in electroweak models with right-handed currents and gauge symmetry $SU(2)_L\otimes SU(2)_R\otimes U(1)_{B-L}$, it is possible to accomodate, at the tree level, the anomaly of the $W$ mass obtained by the CDF-II. The solution to that anomaly is possible independently if a generalized parity is broken explicitly or spontaneously. A change in the mass of Z is also predicted. This seems to be a characteristic of any of this type of models.


title: Proximity-induced diversified magnetic states and electrically-controllable spin polarization in bilayer graphene: Towards layered spintronics

abstract: Compared to monolayer graphene, electrons in Bernal-stacked bilayer graphene (BLG) have an additional layer degree of freedom, offering a platform for developing {\it layered spintronics} with the help of proximity-induced magnetism. Based on an effective phenomenological model, we systematically study the effect of this magnetism on the spin-dependent band structure near the Fermi energy and identify the magnetic phases induced in BLG by proximity with magnets. We show that spin polarization can develop in BLG due to this proximity effect. This spin polarization depends strongly on the layer distribution of magnetism, and can always be controlled by gate voltage which shifts spin-dependent band edges and modifies the total band gap. We further show that the band spin polarization can be modified by the proximity-induced staggered sublattice potential. By taking full advantage of layer-dependent magnetism in BLG, we propose that spintronic devices such as a spin filter, a giant magnetoresistence device, and a spin diode can operate under fully electric control, which is easier than the common magnetic field control.


title: Error analysis based on inverse modified differential equations for discovery of dynamics using linear multistep methods and deep learning

abstract: Along with the practical success of the discovery of dynamics using deep learning, the theoretical analysis of this approach has attracted increasing attention. Prior works have established the grid error estimation with auxiliary conditions for the discovery of dynamics using linear multistep methods and deep learning. And we extend the existing error analysis in this work. We first introduce the concept of inverse modified differential equations (IMDE) for linear multistep methods and show that the learned model returns a close approximation of the IMDE. Based on the IMDE, we prove that the error between the discovered system and the target system is bounded by the sum of the LMM discretization error and the learning loss. Furthermore, the learning loss is quantified by combining the approximation and generalization theories of neural networks, and thereby we obtain the priori error estimates for the discovery of dynamics using linear multistep methods. Several numerical experiments are performed to verify the theoretical analysis.


title: Negative eigenvalues of non-local Schr\"{o}dinger operators with sign-changing potentials

abstract: Simon's results on the negative spectrum of recurrent Schr\"{o}dinger operators ($d=1,2$) are extended to a wider class of potentials and to non-local operators. An example of $L^1-$potental is constructed for which the essential spectrum of two-dimensional Schr\"{o}dinger operator covers the whole axis. Some counterexamples are provided for transient operators ($d\geq3$) showing that the assumptions on the potential for the validity of the Cwikel-Lieb-Rozenblum estimate can't be improved significantly.


title: Surfactant Induced Catastrophic Collapse of Carbon Black Suspension used in Flow Battery Application

abstract: Carbon black particles act as electronically conductive additives in the slurry electrodes used in electrochemical redox flow batteries. Stability and dispersion of the carbon black particles in a slurry electrode are critical parameters for its storage and the efficient functioning of the battery. Modifying the carbon black slurry formulation with the addition of a nonionic surfactant could potentially impart desired properties such as good particle dispersion, gravitational stability and flowability imparting better performance of the flow battery. Matching the typical slurry electrode formulation, we dispersed carbon black particles in 1 M H$_2$SO$_4$ with volume fraction $\phi$ = 0.01 to 0.06 and c$_{surf.}$ = 0, 0.05 and 0.1 M. Rheological investigation reveals that the carbon black suspensions behave like colloidal gels. Sedimentation kinetics of the process was measured by tracking the height of the particle bed over time in a cuvette using a custom camera set-up. The sedimentation dynamics here clearly resembled that of a gel collapse. At short times we observe fast sedimentation associated with structural collapse of the gel and at long times very slow sedimentation associated with compaction of the sediment. Addition of a nonionic surfactant (Triton X-100) to the solvent above CMC at $\alpha$ (= c$_{surf.}$/c$_{CB}$) $<$ 0.7 improves particle dispersion and increases gel elasticity. However, for $\alpha >$ 0.7 leads to the formation of a weaker gel that exhibits 'catastrophic collapse' under gravity and has a lower viscosity.


title: Edge-fault-tolerance about the SM-{\lambda} property of hypercube-like networks

abstract: The edge-fault-tolerance of networks is of great significance to the design and maintenance of networks. For any pair of vertices $u$ and $v$ of the connected graph $G$, if they are connected by $\min \{ \deg_G(u),\deg_G(v)\}$ edge-disjoint paths, then $G$ is strong Menger edge connected (SM-$\lambda$ for short). The conditional edge-fault-tolerance about the SM-$ \lambda$ property of $G$, written $sm_\lambda^r(G)$, is the maximum value of $m$ such that $G-F$ is still SM-$\lambda$ for any edge subset $F$ with $|F|\leq m$ and $\delta(G-F)\geq r$, where $\delta(G-F)$ is the minimum degree of $G-F$. Previously, most of the exact value for $sm_\lambda^r(G)$ is aimed at some well-known networks when $r\leq 2$, and a few of the lower bounds on some well-known networks for $r\geq 3$. In this paper, we firstly determine the exact value of $sm_\lambda^r(G)$ on class of hypercube-like networks (HL-networks for short, including hypercubes, twisted cubes, crossed cubes etc.) for a general $r$, that is, $sm_\lambda^r(G_n)=2^r(n-r)-n$ for every $G_n\in HL_n$, where $n\geq 3$ and $1\leq r \leq n-2$.


title: SpeedLimit: Neural Architecture Search for Quantized Transformer Models

abstract: While research in the field of transformer models has primarily focused on enhancing performance metrics such as accuracy and perplexity, practical applications in industry often necessitate a rigorous consideration of inference latency constraints. Addressing this challenge, we introduce SpeedLimit, a novel Neural Architecture Search (NAS) technique that optimizes accuracy whilst adhering to an upper-bound latency constraint. Our method incorporates 8-bit integer quantization in the search process to outperform the current state-of-the-art technique. Our results underline the feasibility and efficacy of seeking an optimal balance between performance and latency, providing new avenues for deploying state-of-the-art transformer models in latency-sensitive environments.


title: A Deep Learning Approach to Analyzing Continuous-Time Systems

abstract: Scientists often use observational time series data to study complex natural processes, but regression analyses often assume simplistic dynamics. Recent advances in deep learning have yielded startling improvements to the performance of models of complex processes, but deep learning is generally not used for scientific analysis. Here we show that deep learning can be used to analyze complex processes, providing flexible function approximation while preserving interpretability. Our approach relaxes standard simplifying assumptions (e.g., linearity, stationarity, and homoscedasticity) that are implausible for many natural systems and may critically affect the interpretation of data. We evaluate our model on incremental human language processing, a domain with complex continuous dynamics. We demonstrate substantial improvements on behavioral and neuroimaging data, and we show that our model enables discovery of novel patterns in exploratory analyses, controls for diverse confounds in confirmatory analyses, and opens up research questions that are otherwise hard to study.


title: The Design of Observational Longitudinal Studies

abstract: This paper considers the design of observational longitudinal studies with a continuous response and a binary time-invariant exposure, where, typically, the exposure is unbalanced, the mean response in the two groups differs at baseline and the measurement times might not be the same for all participants. We consider group differences that are constant and those that increase linearly with time. We study power, number of study participants (N) and number of repeated measures (r), and provide formulas for each quantity when the other two are fixed, for compound symmetry, damped exponential and random intercepts and slopes covariances. When both N and r can be chosen by the investigator, we study the optimal combination for maximizing power subject to a cost constraint and minimizing cost for fixed power. Intuitive parameterizations are used for all quantities. All calculations are implemented in freely available software.


title: Scalable adaptive algorithms for next-generation multiphase flow simulations

abstract: High-fidelity flow simulations are indispensable when analyzing systems exhibiting multiphase flow phenomena. The accuracy of multiphase flow simulations is strongly contingent upon the finest mesh resolution used to represent the fluid-fluid interfaces. However, the increased resolution comes at a higher computational cost. In this work, we propose algorithmic advances that aim to reduce the computational cost without compromising on the physics by selectively detecting key regions of interest (droplets/filaments) that require significantly higher resolution. The framework uses an adaptive octree-based meshing framework that is integrated with PETSc's linear algebra solvers. We demonstrate scaling of the framework up to 114,688 processes on TACC's Frontera. Finally, we deploy the framework to simulate one of the most resolved simulations of primary jet atomization. This simulation -- equivalent to 35 trillion grid points on a uniform grid -- is 64 times larger than the current state-of-the-art simulations and provides unprecedented insights into an important flow physics problem with a diverse array of engineering applications.


title: Extremely Large-Scale MIMO: Fundamentals, Challenges, Solutions, and Future Directions

abstract: Extremely large-scale multiple-input-multiple-output (XL-MIMO) is a promising technology to empower the next-generation communications. However, XL-MIMO, which is still in its early stage of research, has been designed with a variety of hardware and performance analysis schemes. To illustrate the differences and similarities among these schemes, we comprehensively review existing XL-MIMO hardware designs and characteristics in this article. Then, we thoroughly discuss the research status of XL-MIMO from "channel modeling", "performance analysis", and "signal processing". Several existing challenges are introduced and respective solutions are provided. We then propose two case studies for the hybrid propagation channel modeling and the effective degrees of freedom (EDoF) computations for practical scenarios. Using our proposed solutions, we perform numerical results to investigate the EDoF performance for the scenarios with unparallel XL-MIMO surfaces and multiple user equipment, respectively. Finally, we discuss several future research directions.


title: A Efficient Algorithm For Computing k-Factor

abstract: This article will prove a theorem for the existence of k-factor for k>1 ,and present an efficient algorithm for computing k-factor for all values of k based on this theorem.


title: Deep Learning Technology-Based Exoskeleton Robot Controller Development

abstract: Model-based control is preferred for robotics applications due to its systematic approach to linearize and control the robot's nonlinear dynamics. The fundamental challenge involved in implementing a model-based controller for robotics applications is the time delay associated with the real-time computation of the robot dynamics. Due to the sequential structure of the robot's dynamic equation of motion, the multicore CPU cannot reduce the control algorithm execution time. A high-speed processor is required to maintain a higher sampling rate. Neural network-based modeling offers an excellent solution for developing a parallel structured equivalent model of the sequential model that is suitable for parallel processing. In this paper, a Deep neural network-based parallel structured 7 degrees of freedom human lower extremity exoskeleton robot controller is developed. Forty-nine densely connected neurons are arranged in four layers to estimate joint torque requirements for tracking trajectories. For training, the deep neural network, an analytical model-based data generation technique is presented. A trained deep neural network is used for real-time joint torque prediction and a PD controller is incorporated to mitigate the prediction errors. Simulation results show high trajectory tracking performances. The developed controller's stability analysis is proved. The robustness of the controller against the parameter variation is analyzed with the help of the analysis of variance (ANOVA). A comparative study between the developed controller and the Computed Torque Controller, Model Reference Computed Torque Controller, Sliding Mode Controller, Adaptive controller, and Linear Quadratic Regulator are presented while keeping the same robot dynamics.


title: Evaluating the effects of reducing voltage margins for energy-efficient operation of MPSoCs

abstract: Voltage margins, or guardbands, are imposed on DVFS systems to account for process, voltage, and temperature variability effects. While necessary to assure correctness, guardbands reduce energy efficiency, a crucial requirement for embedded systems. The literature shows that error detection techniques can be used to maintain the system's reliability while reducing or eliminating the guardbands. This letter assesses the practically available margins of a commercial RISC-V MPSoC while violating its guardband limits. The primary motivation of this work is to support the development of an efficient system leveraging the redundancy of multicore architectures for an error detection and correction scheme capable of mitigating the errors caused by aggressive voltage margin reduction. For an equivalent performance, we achieved up to 27\% energy reduction while violating the manufacturer's defined guardband, leaving reasonable energy margins for further development.


title: Origin of Immediate Damping of Coherent Oscillations in Photoinduced Charge Density Wave Transition

abstract: In stark contrast to the conventional charge density wave (CDW) materials, the one-dimensional CDW on the In/Si(111) surface exhibits immediate damping of the CDW oscillation during the photoinduced phase transition. Here, by successfully reproducing the experimentally observed photoinduced CDW transition on the In/Si(111) surface by performing real-time time-dependent density functional theory (rt-TDDFT) simulations, we demonstrate that photoexcitation promotes valence electrons from Si substrate to empty surface bands composed primarily of the covalent p-p bonding states of the long In-In bonds, generating interatomic forces to shorten the long bonds and in turn drives coherently the structural transition. We illustrate that after the structural transition, the component of these surface bands occurs a switch among different covalent In bonds, causing a rotation of the interatomic forces by about {\pi}/6 and thus quickly damping the oscillations in feature CDW modes. These findings provide a deeper understanding of photoinduced phase transitions.


title: Vision-based Perimeter Defense via Multiview Pose Estimation

abstract: Previous studies in the perimeter defense game have largely focused on the fully observable setting where the true player states are known to all players. However, this is unrealistic for practical implementation since defenders may have to perceive the intruders and estimate their states. In this work, we study the perimeter defense game in a photo-realistic simulator and the real world, requiring defenders to estimate intruder states from vision. We train a deep machine learning-based system for intruder pose detection with domain randomization that aggregates multiple views to reduce state estimation errors and adapt the defensive strategy to account for this. We newly introduce performance metrics to evaluate the vision-based perimeter defense. Through extensive experiments, we show that our approach improves state estimation, and eventually, perimeter defense performance in both 1-defender-vs-1-intruder games, and 2-defenders-vs-1-intruder games.


title: Burstein's permutation conjecture, Hong and Li's inversion sequence conjecture, and restricted Eulerian distributions

abstract: Recently, Hong and Li launched a systematic study of length-four pattern avoidance in inversion sequences, and in particular, they conjectured that the number of $0021$-avoiding inversion sequences can be enumerated by the OEIS entry A218225. Meanwhile, Burstein suggested that the same sequence might also count three sets of pattern restricted permutations. The objective of this paper is not only a confirmation of Hong and Li's conjecture and Burstein's first conjecture, but also two more delicate generating function identities with the $\mathsf{ides}$ statistic concerned in the restricted permutation case, and the $\mathsf{asc}$ statistic concerned in the restricted inversion sequence case, which yield a new equidistribution result.


title: Towards Stable Co-saliency Detection and Object Co-segmentation

abstract: In this paper, we present a novel model for simultaneous stable co-saliency detection (CoSOD) and object co-segmentation (CoSEG). To detect co-saliency (segmentation) accurately, the core problem is to well model inter-image relations between an image group. Some methods design sophisticated modules, such as recurrent neural network (RNN), to address this problem. However, order-sensitive problem is the major drawback of RNN, which heavily affects the stability of proposed CoSOD (CoSEG) model. In this paper, inspired by RNN-based model, we first propose a multi-path stable recurrent unit (MSRU), containing dummy orders mechanisms (DOM) and recurrent unit (RU). Our proposed MSRU not only helps CoSOD (CoSEG) model captures robust inter-image relations, but also reduces order-sensitivity, resulting in a more stable inference and training process. { Moreover, we design a cross-order contrastive loss (COCL) that can further address order-sensitive problem by pulling close the feature embedding generated from different input orders.} We validate our model on five widely used CoSOD datasets (CoCA, CoSOD3k, Cosal2015, iCoseg and MSRC), and three widely used datasets (Internet, iCoseg and PASCAL-VOC) for object co-segmentation, the performance demonstrates the superiority of the proposed approach as compared to the state-of-the-art (SOTA) methods.


title: Lightweight Image Codec via Multi-Grid Multi-Block-Size Vector Quantization (MGBVQ)

abstract: A multi-grid multi-block-size vector quantization (MGBVQ) method is proposed for image coding in this work. The fundamental idea of image coding is to remove correlations among pixels before quantization and entropy coding, e.g., the discrete cosine transform (DCT) and intra predictions, adopted by modern image coding standards. We present a new method to remove pixel correlations. First, by decomposing correlations into long- and short-range correlations, we represent long-range correlations in coarser grids due to their smoothness, thus leading to a multi-grid (MG) coding architecture. Second, we show that short-range correlations can be effectively coded by a suite of vector quantizers (VQs). Along this line, we argue the effectiveness of VQs of very large block sizes and present a convenient way to implement them. It is shown by experimental results that MGBVQ offers excellent rate-distortion (RD) performance, which is comparable with existing image coders, at much lower complexity. Besides, it provides a progressive coded bitstream.


title: Modie Viewer: Protein Beasts and How to View Them

abstract: Understanding chemical modifications on proteins opens up further possibilities for research on rare diseases. This work proposes visualization approaches using two-dimensional (2D) and three-dimensional (3D) visual representations to analyze and gain insights into protein modifications. In this work, we present the application of Modie Viewer as an attempt to address the Bio+MedVis Challenge at IEEE VIS 2022.


title: A dynamically discovered and characterized non-accreting neutron star -- M dwarf binary candidate

abstract: Optical time-domain surveys can unveil and characterize exciting but less-explored non-accreting and/or non-beaming neutron stars (NS) in binaries. Here we report the discovery of such a NS candidate using the LAMOST spectroscopic survey. The candidate, designated LAMOST J112306.9+400736 (hereafter J1123), is in a single-lined spectroscopic binary containing an optically visible M star. The star's large radial velocity variation and ellipsoidal variations indicate a relatively massive unseen companion. Utilizing follow-up spectroscopy from the Palomar 200-inch telescope and high-precision photometry from TESS, we measure a companion mass of $1.24_{-0.03}^{+0.03}~M_{\odot}$. Main-sequence stars with this mass are ruled out, leaving a NS or a massive white dwarf (WD). Although a massive WD cannot be ruled out, the lack of UV excess radiation from the companion supports the NS hypothesis. Deep radio observations with FAST yielded no detections of either pulsed or persistent emission. J1123 is not detected in numerous X-ray and gamma-ray surveys. These non-detections suggest that the NS candidate is not presently accreting and pulsing. Our work exemplifies the capability of discovering compact objects in non-accreting close binaries by synergizing the optical time-domain spectroscopy and high-cadence photometry.


title: The topology in the game controllability of multiagent systems

abstract: In this paper, the graph based condition for the controllability of game based control system is presented when the control of regulator is not zero. A control framework which can describe realism well expressed as the game based control system (GBCS), was obtained in 2019, which, unfortunately, is not graph theoretically verifiable, and the regulator control input is assumed to be zero. However, based on a new established notion, strategy matrix, we propose a graph theory condition to judge the controllability of GBCS, instead of using algebraic conditions for complex mathematical calculations. More specifically, to tackle these issues, one needs to study the expression of Nash equilibrium actions when regulators control is not zero first. Based on this expression, the general formula of game controllability matrix is obtained, which provides theoretical support for studying the essential influence of topology on game based control system. The general formula is always affected by the specific matrix strategy matrix, composed of Nash equilibrium actions, and the matrix can not only be obtained by matrix calculation, but also can be directly written through the topology, which is the specific influence of the topology on the GBCS. Finally, we obtain the result of judging the controllability of the system directly according to the topological structure, and put forward the conjecture that there is no limitation of equivalent partition in GBCS. Arguably, this is a surprising conjecture on the equivalent partition of graphs, because only the limitation of equivalent partition in fivenode graphs has been solved so far


title: Comparative analysis of carbon cycle models via kinetic representations

abstract: The pre-industrial state of the global carbon cycle is a significant aspect of studies related to climate change. In this paper, we recall the power law kinetic representations of the pre-industrial models of Schmitz (2002) and Anderies et al. (2013) from our earlier work. The power law kinetic representations, as uniform formalism, allow for a more extensive analysis and comparison of the different models for the same system. Using the mathematical theories of chemical reaction networks (with power-law kinetics), this work extends the analysis of the kinetic representations of the two models and assesses the similarities and differences in their structural and dynamic properties in relation to model construction assumptions. The analysis includes but is not limited to the coincidence of kinetic and stoichiometric spaces of the networks, capacity for equilibria multiplicity and co-multiplicity, and absolute concentration robustness in some species. Moreover, we bring together previously published results about the power law kinetic representations of the two models and consolidate them with new observations here. We also illustrate how the pre-industrial model of Anderies et al. may serve as a building block in the analysis of a kinetic representation of a global carbon cycle with carbon dioxide removal intervention.


title: Generically extendible cardinals

abstract: In this paper, we study generically extendible cardinal, which is a generic version of extendible cardinal. We prove that the generic extendibility of $\omega_1$ or $\omega_2$ has small consistency strength, but of a cardinal $>\omega_2$ is not. We also consider some results concerning with generic extendible cardinals, such as indestructibility, generic absoluteness of the reals, and Boolean valued second order logic.


title: Secure Decentralized IoT Service Platform using Consortium Blockchain

abstract: Blockchain technology has gained increasing popularity in the research of Internet of Things (IoT) systems in the past decade. As a distributed and immutable ledger secured by strong cryptography algorithms, the blockchain brings a new perspective to secure IoT systems. Many studies have been devoted to integrating blockchain into IoT device management, access control, data integrity, security, and privacy. In comparison, the blockchain-facilitated IoT communication is much less studied. Nonetheless, we see the potential of blockchain in decentralizing and securing IoT communications. This paper proposes an innovative IoT service platform powered by consortium blockchain technology. The presented solution abstracts machine-to-machine (M2M) and human-to-machine (H2M) communications into services provided by IoT devices. Then, it materializes data exchange of the IoT network through smart contracts and blockchain transactions. Additionally, we introduce the auxiliary storage layer to the proposed platform to address various data storage requirements. Our proof-of-concept implementation is tested against various workloads and connection sizes under different block configurations to evaluate the platform's transaction throughput, latency, and hardware utilization. The experiment results demonstrate that our solution can maintain high performance under most testing scenarios and provide valuable insights on optimizing the blockchain configuration to achieve the best performance.


title: Machine Learning and Artificial Intelligence-Driven Multi-Scale Modeling for High Burnup Accident-Tolerant Fuels for Light Water-Based SMR Applications

abstract: The concept of small modular reactor has changed the outlook for tackling future energy crises. This new reactor technology is very promising considering its lower investment requirements, modularity, design simplicity, and enhanced safety features. The application of artificial intelligence-driven multi-scale modeling (neutronics, thermal hydraulics, fuel performance, etc.) incorporating Digital Twin and associated uncertainties in the research of small modular reactors is a recent concept. In this work, a comprehensive study is conducted on the multiscale modeling of accident-tolerant fuels. The application of these fuels in the light water-based small modular reactors is explored. This chapter also focuses on the application of machine learning and artificial intelligence in the design optimization, control, and monitoring of small modular reactors. Finally, a brief assessment of the research gap on the application of artificial intelligence to the development of high burnup composite accident-tolerant fuels is provided. Necessary actions to fulfill these gaps are also discussed.


title: Factor analysis for a mixture of continuous and binary random variables

abstract: We propose a multivariate probability distribution that models a linear correlation between binary and continuous variables. The proposed distribution is a natural extension of the previously developed multivariate binary distribution. As an application of the proposed distribution, we develop a factor analysis for a mixture of continuous and binary variables. We also discuss improper solutions associated with factor analysis. As a prescription to avoid improper solutions, we propose a constraint that each row vector of factor loading matrix has the same norm. We numerically validated the proposed factor analysis and norm constraint prescription by analyzing real datasets.


title: Self-Supervised Masked Convolutional Transformer Block for Anomaly Detection

abstract: Anomaly detection has recently gained increasing attention in the field of computer vision, likely due to its broad set of applications ranging from product fault detection on industrial production lines and impending event detection in video surveillance to finding lesions in medical scans. Regardless of the domain, anomaly detection is typically framed as a one-class classification task, where the learning is conducted on normal examples only. An entire family of successful anomaly detection methods is based on learning to reconstruct masked normal inputs (e.g. patches, future frames, etc.) and exerting the magnitude of the reconstruction error as an indicator for the abnormality level. Unlike other reconstruction-based methods, we present a novel self-supervised masked convolutional transformer block (SSMCTB) that comprises the reconstruction-based functionality at a core architectural level. The proposed self-supervised block is extremely flexible, enabling information masking at any layer of a neural network and being compatible with a wide range of neural architectures. In this work, we extend our previous self-supervised predictive convolutional attentive block (SSPCAB) with a 3D masked convolutional layer, a transformer for channel-wise attention, as well as a novel self-supervised objective based on Huber loss. Furthermore, we show that our block is applicable to a wider variety of tasks, adding anomaly detection in medical images and thermal videos to the previously considered tasks based on RGB images and surveillance videos. We exhibit the generality and flexibility of SSMCTB by integrating it into multiple state-of-the-art neural models for anomaly detection, bringing forth empirical results that confirm considerable performance improvements on five benchmarks. We release our code and data as open source at: https://github.com/ristea/ssmctb.


title: Complex oscillatory patterns in a three-timescale model of a generalist predator and a specialist predator competing for a common prey

abstract: In this paper, we develop and analyze a model that studies the interaction between a specialist predator, a generalist predator, and their common prey in a two-trophic ecosystem featuring three timescales. We assume that the prey operates on a faster timescale, while the specialist and generalist predators operate on slow and superslow timescales respectively. Treating the predation efficiency of the generalist predator as the primary varying parameter and the proportion of its diet formed by the prey species under study as the secondary parameter, we obtain a host of rich and interesting dynamics, including relaxation oscillations, mixed-mode oscillations (MMOs), subcritical elliptic bursting patterns, torus canards, and mixed-type torus canards. By grouping the timescales into two classes and using the timescale separation between classes, we apply one-fast/two-slow and two-fast/one-slow analysis techniques to gain insights about the dynamics. Using the geometric properties and flows of the singular subsystems, in combination with bifurcation analysis and numerical continuation of the full system, we classify the oscillatory dynamics and discuss the transitions from one type of dynamics to the other. The types of oscillatory patterns observed in this model are novel in population models featuring three-timescales; some of which qualitatively resemble natural cycles in small mammals and insects. Furthermore, oscillatory dynamics displaying torus canards, mixed-type torus canards, and MMOs experiencing a delayed loss of stability near one of the invariant sheets of the self-intersecting critical manifold before getting attracted to the adjacent attracting sheet of the critical manifold have not been previously reported in three-timescale models.


title: Discovery of Year-Scale Time Variability from Thermal X-ray Emission in Tycho's Supernova Remnant

abstract: Mechanisms of particle heating are crucial to understanding the shock physics in supernova remnants (SNRs). However, there has been little information on time variabilities of thermalized particles so far. Here, we present a discovery of a gradually-brightening thermal X-ray emission found in Chandra data of Tycho's SNR obtained during 2000--2015. The emission exhibits a knot-like feature (Knot1) with a diameter of $\simeq0.04$~pc located in the northwestern limb, where we also find localized H$\alpha$ filaments in an optical image taken with the Hubble Space Telescope in 2008. The model with the solar abundance reproduces the spectra of Knot1, suggesting that Knot1 originates from interstellar medium; this is the first detection of thermal X-ray emission from swept-up gas found in Tycho's SNR. Our spectral analysis indicates that the electron temperature of Knot1 has increased from $\sim0.30$ keV to $\sim0.69$ keV within the period between 2000 and 2015. These results lead us to ascribe the time-variable emission to a small dense clump recently heated by the forward shock at the location of Knot1. The electron-to-proton temperature ratio immediately downstream the shock ($\beta_{0}\equiv T_e/T_p$) is constrained to be $m_e/m_p\leq\beta_{0}\leq0.15$ to reproduce the data, indicating the collisionless electron heating with efficiency consistent with previous H$\alpha$ observations of Tycho and other SNRs with high shock velocities.


title: Polynomial mixing of a stochastic wave equation with dissipative damping

abstract: We study the long time statistics of a class of semi--linear wave equations modeling the motions of a particle suspended in continuous media while being subjected to random perturbations via an additive Gaussian noise. By comparison with the nonlinear reaction settings, of which the solutions are known to possess geometric ergodicity, we find that, under the impact of nonlinear dissipative damping, the mixing rate is at least polynomial of any order. This relies on a combination of Lyapunov conditions, the contracting property of the Markov transition semigroup as well as the notion of $d$--small sets.


title: All are Worth Words: A ViT Backbone for Diffusion Models

abstract: Vision transformers (ViT) have shown promise in various vision tasks while the U-Net based on a convolutional neural network (CNN) remains dominant in diffusion models. We design a simple and general ViT-based architecture (named U-ViT) for image generation with diffusion models. U-ViT is characterized by treating all inputs including the time, condition and noisy image patches as tokens and employing long skip connections between shallow and deep layers. We evaluate U-ViT in unconditional and class-conditional image generation, as well as text-to-image generation tasks, where U-ViT is comparable if not superior to a CNN-based U-Net of a similar size. In particular, latent diffusion models with U-ViT achieve record-breaking FID scores of 2.29 in class-conditional image generation on ImageNet 256x256, and 5.48 in text-to-image generation on MS-COCO, among methods without accessing large external datasets during the training of generative models. Our results suggest that, for diffusion-based image modeling, the long skip connection is crucial while the down-sampling and up-sampling operators in CNN-based U-Net are not always necessary. We believe that U-ViT can provide insights for future research on backbones in diffusion models and benefit generative modeling on large scale cross-modality datasets.


title: WinoDict: Probing language models for in-context word acquisition

abstract: We introduce a new in-context learning paradigm to measure Large Language Models' (LLMs) ability to learn novel words during inference. In particular, we rewrite Winograd-style co-reference resolution problems by replacing the key concept word with a synthetic but plausible word that the model must understand to complete the task. Solving this task requires the model to make use of the dictionary definition of the new word given in the prompt. This benchmark addresses word acquisition, one important aspect of the diachronic degradation known to afflict LLMs. As LLMs are frozen in time at the moment they are trained, they are normally unable to reflect the way language changes over time. We show that the accuracy of LLMs compared to the original Winograd tasks decreases radically in our benchmark, thus identifying a limitation of current models and providing a benchmark to measure future improvements in LLMs ability to do in-context learning.


title: Commensurate and incommensurate double moir\'e interference in twisted trilayer graphene

abstract: Twisted graphene multi-layers have been recently demonstrated to share several correlation-driven behaviours with twisted bilayer graphene. In general, the van Hove singularities (VHSs) can be used as a proxy of the tendency for correlated behaviours. In this paper, we adopt an atomistic method by combining tight-binding method with the semi-classical molecular dynamics to investigate the electronic structures of twisted trilayer graphene (TTG) with two independent twist angles. The two independent twist angles can lead to the interference of the moir\'e patterns forming a variety of commensurate/incommensurate complex supermoir\'e patterns. In particular, the lattice relaxation, twist angle and angle disorder effects on the VHS are discussed. We find that the lattice relaxation significantly influence the position and magnitude of the VHSs. In the supermoir\'e TTG, the moir\'e interference provides constructive or destructive effects depending on the relative twist angle. By modulating the two independent twist angles, novel superstructures, for instance, the Kagome-like lattice, could constructed via the moir\'e pattern. Moreover, we demonstrate that a slight change in twist angles (angle disorder) provides a significant suppression of the peak of the VHSs. Apart from the moir\'e length, the evolution of the VHSs and the LDOS mapping in real space could be used to identify the twist angles in the complicated TTG. In practice, our work could provide a guide for exploring the flat band behaviours in the supermoir\'e TTG experimentally.


title: Discriminative feature encoding for intrinsic image decomposition

abstract: Intrinsic image decomposition is an important and long-standing computer vision problem. Given an input image, recovering the physical scene properties is ill-posed. Several physically motivated priors have been used to restrict the solution space of the optimization problem for intrinsic image decomposition. This work takes advantage of deep learning, and shows that it can solve this challenging computer vision problem with high efficiency. The focus lies in the feature encoding phase to extract discriminative features for different intrinsic layers from an input image. To achieve this goal, we explore the distinctive characteristics of different intrinsic components in the high dimensional feature embedding space. We define feature distribution divergence to efficiently separate the feature vectors of different intrinsic components. The feature distributions are also constrained to fit the real ones through a feature distribution consistency. In addition, a data refinement approach is provided to remove data inconsistency from the Sintel dataset, making it more suitable for intrinsic image decomposition. Our method is also extended to intrinsic video decomposition based on pixel-wise correspondences between adjacent frames. Experimental results indicate that our proposed network structure can outperform the existing state-of-the-art.


title: Equivalence of state equations from different methods in High-dimensional Regression

abstract: State equations (SEs) were firstly introduced in the approximate message passing (AMP) to describe the mean square error (MSE) in compressed sensing. Since then a set of state equations have appeared in studies of logistic regression, robust estimator and other high-dimensional statistics problems. Recently, a convex Gaussian min-max theorem (CGMT) approach was proposed to study high-dimensional statistic problems accompanying with another set of different state equations. This paper provides a uniform viewpoint on these methods and shows the equivalence of their reduction forms, which causes that the resulting SEs are essentially equivalent and can be converted into the same expression through parameter transformations. Combining these results, we show that these different state equations are derived from several equivalent reduction forms. We believe that this equivalence will shed light on discovering a deeper structure in high-dimensional statistics.


title: Dive into Self-Supervised Learning for Medical Image Analysis: Data, Models and Tasks

abstract: Self-supervised learning (SSL) has achieved remarkable performance in various medical imaging tasks by dint of priors from massive unlabelled data. However, regarding a specific downstream task, there is still a lack of an instruction book on how to select suitable pretext tasks and implementation details throughout the standard ``pretrain-then-finetune'' workflow. In this work, we focus on exploiting the capacity of SSL in terms of four realistic and significant issues: (1) the impact of SSL on imbalanced datasets, (2) the network architecture, (3) the applicability of upstream tasks to downstream tasks and (4) the stacking effect of SSL and common policies for deep learning. We provide a large-scale, in-depth and fine-grained study through extensive experiments on predictive, contrastive, generative and multi-SSL algorithms. Based on the results, we have uncovered several insights. Positively, SSL advances class-imbalanced learning mainly by boosting the performance of the rare class, which is of interest to clinical diagnosis. Unfortunately, SSL offers marginal or even negative returns in some cases, including severely imbalanced and relatively balanced data regimes, as well as combinations with common training policies. Our intriguing findings provide practical guidelines for the usage of SSL in the medical context and highlight the need for developing universal pretext tasks to accommodate diverse application scenarios.


title: Ubiquitous Indoor Fine-Grained Positioning and Tracking: A Channel Response Perspective

abstract: The future of location-aided applications is shaped by the ubiquity of Internet-of-Things devices. As an increasing amount of commercial off-the-shelf radio devices support channel response collection, it is possible to achieve fine-grained position estimation at a relatively low cost. In this paper, we focus on the channel response-based positioning and tracking for various applications. We first give an overview of the state of the art (SOTA) of channel response-enabled localization, which is further classified into two categories, i.e., device-based and contact-free schemes. A taxonomy for these complementary approaches is provided concerning the involved techniques. Then, we present a micro-benchmark of channel response-based direct positioning and tracking for both device-based and contact-free schemes. Finally, some practical issues for real-world applications and future research opportunities are pointed out.


title: Grant-Free NOMA-OTFS Paradigm: Enabling Efficient Ubiquitous Access for LEO Satellite Internet-of-Things

abstract: With the blooming of Internet-of-Things (IoT), we are witnessing an explosion in the number of IoT terminals, triggering an unprecedented demand for ubiquitous wireless access globally. In this context, the emerging low-Earth-orbit satellites (LEO-SATs) have been regarded as a promising enabler to complement terrestrial wireless networks in providing ubiquitous connectivity and bridging the ever-growing digital divide in the expected next-generation wireless communications. Nevertheless, the harsh conditions posed by LEO-SATs have imposed significant challenges to the current multiple access (MA) schemes and led to an emerging paradigm shift in system design. In this article, we first provide a comprehensive overview of the state-of-the-art MA schemes and investigate their limitations in the context of LEO-SATs. To this end, we propose a novel next generation MA (NGMA), which amalgamates the grant-free non-orthogonal multiple access (GF-NOMA) mechanism and the orthogonal time frequency space (OTFS) waveform, for simplifying the connection procedure with reduced access latency and enhanced Doppler-robustness. Critical open challenging issues and future directions are finally presented for further technical development.


title: PL-EVIO: Robust Monocular Event-based Visual Inertial Odometry with Point and Line Features

abstract: Event cameras are motion-activated sensors that capture pixel-level illumination changes instead of the intensity image with a fixed frame rate. Compared with the standard cameras, it can provide reliable visual perception during high-speed motions and in high dynamic range scenarios. However, event cameras output only a little information or even noise when the relative motion between the camera and the scene is limited, such as in a still state. While standard cameras can provide rich perception information in most scenarios, especially in good lighting conditions. These two cameras are exactly complementary. In this paper, we proposed a robust, high-accurate, and real-time optimization-based monocular event-based visual-inertial odometry (VIO) method with event-corner features, line-based event features, and point-based image features. The proposed method offers to leverage the point-based features in the nature scene and line-based features in the human-made scene to provide more additional structure or constraints information through well-design feature management. Experiments in the public benchmark datasets show that our method can achieve superior performance compared with the state-of-the-art image-based or event-based VIO. Finally, we used our method to demonstrate an onboard closed-loop autonomous quadrotor flight and large-scale outdoor experiments. Videos of the evaluations are presented on our project website: https://b23.tv/OE3QM6j


title: Generalized parton distributions in spin-3/2 particles

abstract: Generalized parton distribution functions (GPDs) of spin-3/2 particles are defined for the first time in this paper. Eight unpolarized and eight polarized GPDs are found. In the forward limit of GPDs, the structure functions and parton distribution functions are obtained. Then, the sum rules that connect the GPDs with the electromagnetic and gravitational form factors are explicitly displayed. Finally, the relations between GPDs and the helicity amplitudes of the system are derived.


title: Joint Triplet Loss Learning for Next New POI Recommendation

abstract: Sparsity of the User-POI matrix is a well established problem for next POI recommendation, which hinders effective learning of user preferences. Focusing on a more granular extension of the problem, we propose a Joint Triplet Loss Learning (JTLL) module for the Next New ($N^2$) POI recommendation task, which is more challenging. Our JTLL module first computes additional training samples from the users' historical POI visit sequence, then, a designed triplet loss function is proposed to decrease and increase distances of POI and user embeddings based on their respective relations. Next, the JTLL module is jointly trained with recent approaches to additionally learn unvisited relations for the recommendation task. Experiments conducted on two known real-world LBSN datasets show that our joint training module was able to improve the performances of recent existing works.


title: Reduced basis stochastic Galerkin methods for partial differential equations with random inputs

abstract: We present a reduced basis stochastic Galerkin method for partial differential equations with random inputs. In this method, the reduced basis methodology is integrated into the stochastic Galerkin method, resulting in a significant reduction in the cost of solving the Galerkin system. To reduce the main cost of matrix-vector manipulation involved in our reduced basis stochastic Galerkin approach, the secant method is applied to identify the number of reduced basis functions. We present a general mathematical framework of the methodology, validate its accuracy and demonstrate its efficiency with numerical experiments.


title: Multi-modal Segment Assemblage Network for Ad Video Editing with Importance-Coherence Reward

abstract: Advertisement video editing aims to automatically edit advertising videos into shorter videos while retaining coherent content and crucial information conveyed by advertisers. It mainly contains two stages: video segmentation and segment assemblage. The existing method performs well at video segmentation stages but suffers from the problems of dependencies on extra cumbersome models and poor performance at the segment assemblage stage. To address these problems, we propose M-SAN (Multi-modal Segment Assemblage Network) which can perform efficient and coherent segment assemblage task end-to-end. It utilizes multi-modal representation extracted from the segments and follows the Encoder-Decoder Ptr-Net framework with the Attention mechanism. Importance-coherence reward is designed for training M-SAN. We experiment on the Ads-1k dataset with 1000+ videos under rich ad scenarios collected from advertisers. To evaluate the methods, we propose a unified metric, Imp-Coh@Time, which comprehensively assesses the importance, coherence, and duration of the outputs at the same time. Experimental results show that our method achieves better performance than random selection and the previous method on the metric. Ablation experiments further verify that multi-modal representation and importance-coherence reward significantly improve the performance. Ads-1k dataset is available at: https://github.com/yunlong10/Ads-1k


title: An Indirect Measurement of $^6$Li(n,$\gamma$) Cross Sections

abstract: The $^6$Li(n,$\gamma$)$^7$Li cross sections in the neutron energy range of 0.6 to 4 MeV have been measured by the experimental implementation of the direct capture formalism. This was done by measuring the $\gamma$ transition probability experimentally and accounting for the spin factor by theoretical calculation. The electromagnetic transition probabilities from $^7$Li$^*$ analogous to the initial neutron capture states of $^6$Li$+n$ were measured by populating the J$_i$ states of $^7$Li through $^7$Li($p,p'$)$^7$Li$^*$ reaction. The impact of coupling of resonant states, above neutron separation threshold of $^7$Li, in the neutron capture, is observed from the capture $\gamma$ spectrum. The measured cross sections were reproduced through {\sc fresco} and Talys-1.95 Direct Capture Calculations.


title: Determination of Chain Strength induced by Embedding in D-Wave Quantum Annealer

abstract: The D-wave quantum annealer requires embedding with ferromagnetic (FM) chains connected by several qubits, because it cannot capture exact long-range coupling between qubits, and retains the specific architecture that depends on the hardware type. Therefore, determination of the chain strength $J_c$ required to sustain FM order of qubits in the chains is crucial for the accuracy of quantum annealing. In this study, we devise combinatorial optimization problems with ordered and disordered qubits for various embeddings to predict appropriate $J_c$ values. We analyze the energy interval $\Delta_s$ and $\Delta_c$ between ground and first excited states in the combinatorial optimization problems without and with chains respectively, using the exact approach. We also measure the probability $p$ that the exact ground energy per site $E_g$ is observed in many simulated annealing shots. We demonstrate that the determination of $J_c$ is increasingly sensitive with growing disorder of qubits in the combinatorial optimization problems. In addition, the values of appropriate $J_c$, where the values of $p$ are at a maximum, increase with decreasing $\Delta_s$. Finally, the appropriate value of $J_c$ is shown to be observed at approximately $\Delta_c/\Delta_s=0.25$ and $2.1 E_g$ in the ordered and disordered qubits, respectively.


title: On equivalence relations induced by locally compact abelian Polish groups

abstract: Given a Polish group $G$, let $E(G)$ be the right coset equivalence relation $G^\omega/c(G)$, where $c(G)$ is the group of all convergent sequences in $G$. The connected component of the identity of a Polish group $G$ is denoted by $G_0$. Let $G,H$ be locally compact abelian Polish groups. If $E(G)\leq_B E(H)$, then there is a continuous homomorphism $S:G_0\rightarrow H_0$ such that $\ker(S)$ is non-archimedean. The converse is also true when $G$ is connected and compact. For $n\in{\mathbb N}^+$, the partially ordered set $P(\omega)/\mbox{Fin}$ can be embedded into Borel equivalence relations between $E({\mathbb R}^n)$ and $E({\mathbb T}^n)$.


title: A characterization of functions over the integers computable in polynomial time using discrete differential equations

abstract: This paper studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs), a.k.a. (Ordinary) Difference Equations. It presents a new framework using these equations as a central tool for computation and algorithm design. We present the general theory of discrete ODEs for computation theory, we illustrate this with various examples of algorithms, and we provide several implicit characterizations of complexity and computability classes. The proposed framework presents an original point of view on complexity and computation classes. It unifies several constructions that have been proposed for characterizing these classes including classical approaches in implicit complexity using restricted recursion schemes, as well as recent characterizations of computability and complexity by classes of continuous ordinary differential equations. It also helps understanding the relationships between analog computations and classical discrete models of computation theory. At a more technical point of view, this paper points out the fundamental role of linear (discrete) ODEs and classical ODE tools such as changes of variables to capture computability and complexity measures, or as a tool for programming many algorithms.


title: A formula to evaluate type A webs and link polynomials

abstract: We give a closed formula to evaluate exterior webs (also called MOY webs) and the associated Reshetikhin-Turaev link polynomials.


title: Chiral cavity induced spin selectivity

abstract: Chiral-induced spin selectivity (CISS) is a phenomenon in which electron spins are polarized as they are transported through chiral molecules, and the spin polarization depends on the handedness of the chiral molecule. In this study, we show that spin selectivity can be realized in achiral materials by coupling electrons to a single mode of a chiral optical cavity. By investigating spin-dependent electron transport using the nonequilibrium Green's function approach, the spin polarization in a two-terminal setup is demonstrated to approach unity if the rate of dephasing is sufficiently small and the average chemical potential of the two leads is within an appropriate range of values, which is narrow because of the high frequency of the cavity mode. To obtain a wider range of energies for a large spin polarization, we propose to combine the CISS in chiral molecules with the light-matter interactions. For demonstration, the spin polarization of electrons transported through a helical molecule strongly coupled to a chiral cavity mode is evaluated.


title: Mild solutions to the Cauchy problem for time-space fractional Keller-Segel-Navier-Stokes system

abstract: This paper investigates the Cauchy problem of the time-space fractional Keller-Segel-Navier- Stokes model, which can describe both memory effect and L\'evy process of the system. The local existence and global existence in Lebesgue space are obtained by means of Banach fixed point theorem and Banach implicit function theorem, respectively. In addition, the regularities of local and global mild solutions are improved in fractional homogeneous Sobolev spaces. Furthermore, some properties of mild solutions including mass conservation, decay estimates, stability and self-similarity are established.


title: Optimal Transport-based Identity Matching for Identity-invariant Facial Expression Recognition

abstract: Identity-invariant facial expression recognition (FER) has been one of the challenging computer vision tasks. Since conventional FER schemes do not explicitly address the inter-identity variation of facial expressions, their neural network models still operate depending on facial identity. This paper proposes to quantify the inter-identity variation by utilizing pairs of similar expressions explored through a specific matching process. We formulate the identity matching process as an Optimal Transport (OT) problem. Specifically, to find pairs of similar expressions from different identities, we define the inter-feature similarity as a transportation cost. Then, optimal identity matching to find the optimal flow with minimum transportation cost is performed by Sinkhorn-Knopp iteration. The proposed matching method is not only easy to plug in to other models, but also requires only acceptable computational overhead. Extensive simulations prove that the proposed FER method improves the PCC/CCC performance by up to 10\% or more compared to the runner-up on wild datasets. The source code and software demo are available at https://github.com/kdhht2334/ELIM_FER.


title: ATLAS results on exotic hadronic resonances

abstract: Recent results from the proton-proton collision data taken by the ATLAS experiment on exotic resonances are presented. A search for $J/\psi p$ resonances in $\Lambda_{b}\rightarrow J/\psi p K$ decays with large $p K$ invariant masses is reported. A search for exotic resonances in the four-muon final state is shown.


title: Visualization of Morse flow with two saddles on 3-sphere diagrams

abstract: We describe all possible topological structures of Morse-Smale flows without closed trajectories on a three-dimensional sphere, which have two sources, two sinks, one saddle of Morse index 1, one saddle of Morse index 2, and no more than 10 saddle connections. To classify such flows, a generalized Heegaard diagram or Pr-diagram is used, which in this case consists of a sphere and two closed curves, the intersection points of which correspond to saddle connections. We have found all possible, up to homeomorphism, ways to embed two circles in a 2-sphere with no more than 10 points of transversal intersection and construct its planar visualisations.


title: The Ihara expression of a generalization of the weighted zeta function on a finite digraph

abstract: We define a new weighted zeta function for a finite digraph and obtain its determinant expression called the Ihara expression. The graph zeta function is a generalization of the weighted graph zeta function introduced in previous research. That is, our result makes it possible to derive the Ihara expressions of the previous graph zeta functions for any finite digraphs.


title: Sharp well-posedness for the Cauchy problem of the two dimensional quadratic nonlinear Schr\"{o}dinger equation with angular regularity

abstract: This paper is concerned with the Cauchy problem of the quadratic nonlinear Schr\"{o}dinger equation in $\mathbb{R} \times \mathbb{R}^2$ with the nonlinearity $\eta |u|^2$ where $\eta \in \mathbb{C} \setminus \{0\}$ and low regularity initial data. If $s < -1/4$, the ill-posedness result in the Sobolev space $H^{s}(\mathbb{R}^2)$ is known. We will prove the well-posedness in $H^s(\mathbb{R}^2)$ for $-1/2 < s < -1/4$ by assuming some angular regularity on initial data. The key tools are the modified Fourier restriction norm and the convolution estimate on thickened hypersurfaces.


title: Application of Deep Learning in Generating Structured Radiology Reports: A Transformer-Based Technique

abstract: Since radiology reports needed for clinical practice and research are written and stored in free-text narrations, extraction of relative information for further analysis is difficult. In these circumstances, natural language processing (NLP) techniques can facilitate automatic information extraction and transformation of free-text formats to structured data. In recent years, deep learning (DL)-based models have been adapted for NLP experiments with promising results. Despite the significant potential of DL models based on artificial neural networks (ANN) and convolutional neural networks (CNN), the models face some limitations to implement in clinical practice. Transformers, another new DL architecture, have been increasingly applied to improve the process. Therefore, in this study, we propose a transformer-based fine-grained named entity recognition (NER) architecture for clinical information extraction. We collected 88 abdominopelvic sonography reports in free-text formats and annotated them based on our developed information schema. The text-to-text transfer transformer model (T5) and Scifive, a pre-trained domain-specific adaptation of the T5 model, were applied for fine-tuning to extract entities and relations and transform the input into a structured format. Our transformer-based model in this study outperformed previously applied approaches such as ANN and CNN models based on ROUGE-1, ROUGE-2, ROUGE-L, and BLEU scores of 0.816, 0.668, 0.528, and 0.743, respectively, while providing an interpretable structured report.


title: Hierarchical Cyclic Pursuit: Algebraic Curves Containing the Laplacian Spectra

abstract: The paper addresses the problem of multi-agent communication in networks with regular directed ring structure. These can be viewed as hierarchical extensions of the classical cyclic pursuit topology. We show that the spectra of the corresponding Laplacian matrices allow exact localization on the complex plane. Furthermore, we derive a general form of the characteristic polynomial of such matrices, analyze the algebraic curves its roots belong to, and propose a way to obtain their closed-form equations. In combination with frequency domain consensus criteria for high-order SISO linear agents, these curves enable one to analyze the feasibility of consensus in networks with varying number of agents.


title: Quintessence like behavior of symmetric teleparallel dark energy: Linear and nonlinear model

abstract: In Einstein's General Relativity (GR), the gravitational interactions are described by the spacetime curvature. Recently, other alternative geometric formulations and representations of GR have emerged in which the gravitational interactions are described by the so-called torsion or non-metricity. Here, we consider the recently proposed modified symmetric teleparallel theory of gravity or $f\left( Q\right) $ gravity, where $Q$ represents the non-metricity scalar. In this paper, motivated by several papers in the literature, we assume the power-law form of the function $% f\left( Q\right) $ as $f\left( Q\right) =\alpha Q^{n+1}+\beta $ (where $% \alpha $, $\beta $, and $n$ are free model parameters) that contains two models: Linear ($n=0$) and nonlinear ($n\neq 0$). Further, to add constraints to the field equations we assume the deceleration parameter form as a divergence-free parametrization. Then, we discuss the behavior of various cosmographic and cosmological parameters such as the jerk, snap, lerk, $Om$ diagnostic, cosmic energy density, isotropic pressure, and equation of state (EoS) parameter with a check of the violation of the strong energy condition (SEC) to obtain the acceleration phase of the Universe. Hence, we conclude that our cosmological $f(Q)$ models behave like quintessence dark energy (DE).


title: On optimal zero-padding of kernel truncation method

abstract: The kernel truncation method (KTM) is a commonly-used algorithm to compute the convolution-type nonlocal potential $\Phi(x)=(U\ast \rho)(x), ~x \in {\mathbb R^d}$, where the convolution kernel $U(x)$ might be singular at the origin and/or far-field and the density $\rho(x)$ is smooth and fast-decaying. In KTM, in order to capture the Fourier integrand's oscillations that is brought by the kernel truncation, one needs to carry out a zero-padding of the density, which means a larger physical computation domain and a finer mesh in the Fourier space by duality. The empirical fourfold zero-padding [ Vico et al J. Comput. Phys. (2016) ] puts a heavy burden on memory requirement especially for higher dimension problems. In this paper, we derive the optimal zero-padding factor, that is, $\sqrt{d}+1$, for the first time together with a rigorous proof. The memory cost is greatly reduced to a small fraction, i.e., $(\frac{\sqrt{d}+1}{4})^d$, of what is needed in the original fourfold algorithm. For example, in the precomputation step, a double-precision computation on a $256^3$ grid requires a minimum $3.4$ Gb memory with the optimal threefold zero-padding, while the fourfold algorithm requires around $8$ Gb where the reduction factor is $\frac{37}{64}\approx \frac{3}{5}$. Then, we present the error estimates of the potential and density in $d$ dimension. Next, we re-investigate the optimal zero-padding factor for the anisotropic density. Finally, extensive numerical results are provided to confirm the accuracy, efficiency, optimal zero-padding factor for the anisotropic density, together with some applications to different types of nonlocal potential, including the 1D/2D/3D Poisson, 2D Coulomb, quasi-2D/3D Dipole-Dipole Interaction and 3D quadrupolar potential.


title: Using Multiple Code Representations to Prioritize Static Analysis Warnings

abstract: In order to ensure the quality of software and prevent attacks from hackers on critical systems, static analysis tools are frequently utilized to detect vulnerabilities in the early development phase. However, these tools often report a large number of warnings with a high false-positive rate, which causes many difficulties for developers. In this paper, we introduce VulRG, a novel approach to address this problem. Specifically, VulRG predicts and ranks the warnings based on their likelihoods to be true positive. To predict that likelihood, VulRG combines two deep learning models CNN and BiGRU to capture the context of each warning in terms of program syntax, control flow, and program dependence. Our experimental results on a real-world dataset of 6,620 warnings show that VulRG's Recall at Top-50% is 90.9%. This means that using VulRG, 90% of the vulnerabilities can be found by examining only 50% of the warnings. Moreover, at Top-5%, VulRG can improve the state-of-the-art approach by +30% in both Precision and Recall.


title: Regularity of powers of d-sequence (parity) binomial edge ideals of unicycle graphs

abstract: We classify all unicycle graphs whose edge-binomials form a $d$-sequence, particularly linear type binomial edge ideals. We also classify unicycle graphs whose parity edge-binomials form a $d$-sequence. We study the regularity of powers of (parity) binomial edge ideals of unicycle graphs generated by $d$-sequence (parity) edge-binomials.


title: Slow transport and bound states for spinless fermions with long-range Coulomb interactions on one-dimensional lattices

abstract: We study transport and relaxation of spinless fermions with long-range Coulomb interactions at high temperatures through numerical simulations of out-of-equilibrium dynamics. We find that the transport and relaxation are continuously slowing down for increasing coupling $V$, and that there is a transition in the type of transport. For intermediate couplings, the system exhibits normal diffusive transport but the time scale for the onset of that is long. For large couplings, it exhibits subdiffusive transport, while at the same time the relaxation time diverges exponentially with system lengths, featuring an MBL-like phase. We attribute the slow transport to formation of slow bound states and stable clusters of particles. For few-particle systems we prove existence, visualize the slowness and analyze collision properties of the bound states. For many particles at high densities there should be a hierarchy of clusters of particles on many different length scales. We argue that at large couplings the average maximal size of the stable clusters should scale linearly with the length of the lattice, which is in accordance with the MBL-like behavior.


title: Microscopic Reversibility and Emergent Elasticity in Ultrastable Granular Systems

abstract: In a recent paper [Phys. Rev. X 12, 031021], we reported experimental observations of ``ultrastable'' states in a shear-jammed granular system subjected to small-amplitude cyclic shear. In such states, all the particle positions and contact forces are reproduced after each shear cycle so that a strobed image of the stresses and particle positions appears static. In the present work, we report further analyses of data from those experiments to characterize both global and local responses of ultrastable states within a shear cycle, not just the strobed dynamics. We find that ultrastable states follow a power-law relation between shear modulus and pressure with an exponent $\beta\approx 0.5$, reminiscent of critical scaling laws near jamming. We also examine the evolution of contact forces measured using photoelasticimetry. We find that there are two types of contacts: non-persistent contacts that reversibly open and close; and persistent contacts that never open \yiqiu{and display no measurable sliding}. We show that the non-persistent contacts make a non-negligible contribution to the emergent shear modulus. We also analyze the spatial correlations of the stress tensor and compare them to the predictions of a recent theory of the emergent elasticity of granular solids, the Vector Charge Theory of Granular mechanics and dynamics (VCTG) [Phys. Rev. Lett. 125, 118002, arXiv:2204.11811]. We show that our experimental results can be fit well by VCTG, assuming uniaxial symmetry of the contact networks. The fits reveal that the response of the ultrastable states to additional applied stress is substantially more isotropic than that of the original shear-jammed states. Our results provide important insight into the mechanical properties of frictional granular solids created by shear.


title: Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs

abstract: The dramatic improvements in combinatorial optimization algorithms over the last decades have had a major impact in artificial intelligence, operations research, and beyond, but the output of current state-of-the-art solvers is often hard to verify and is sometimes wrong. For Boolean satisfiability (SAT) solvers proof logging has been introduced as a way to certify correctness, but the methods used seem hard to generalize to stronger paradigms. What is more, even for enhanced SAT techniques such as parity (XOR) reasoning, cardinality detection, and symmetry handling, it has remained beyond reach to design practically efficient proofs in the standard DRAT format. In this work, we show how to instead use pseudo-Boolean inequalities with extension variables to concisely justify XOR reasoning. Our experimental evaluation of a SAT solver integration shows a dramatic decrease in proof logging and verification time compared to existing DRAT methods. Since our method is a strict generalization of DRAT, and readily lends itself to expressing also 0-1 programming and even constraint programming problems, we hope this work points the way towards a unified approach for efficient machine-verifiable proofs for a rich class of combinatorial optimization paradigms.


title: Development of IoT Sensor and Cloud-based Server for Cloud-based Bridge Long-term Monitoring

abstract: As social infrastructures rapidly age, it is crucial to create a digital SOC (Social Overhead Capital) maintenance system for preventive maintenance. Using IoT sensors installed on the structures, abnormal signals produced by the structures may be rapidly identified and the best judgments can be made. In this study, a multimetric IoT sensor was integrated into a digital SOC monitoring system for long-term monitoring, use in a cloud computing server for automated and powerful data analysis, and for creating databases to perform: (1) multimetric sensing, (2) long-term operation, and (3) LTE-based direct communication. The created sensor included five strain sensing axes and three acceleration axes, and it also had an event-driven power management system that only turned on the sensors when the vibration reached a certain threshold or the timer started. Long-term operation might be made possible by the power management system and an extra solar panel charging. Real-time data transmission to the server from the sensors was accomplished using low-power LTE CAT.1 connection, which does not need an additional gateway device. Additionally, a displacement fusion technique was created on the cloud server to get reference-free structural displacement for ambient structural assessment after receiving multi-variable data from the sensor. A steel railroad and concrete girder bridge were used to experimentally evaluate the suggested digital SOC system.


title: The dynamic behavior of conjugate multipliers on some reflexive Banach spaces of analytic functions

abstract: Extending previous results of Godefroy and Shapiro we characterize the hypercyclic, mixing and chaotic conjugate multipliers on some reflexive spaces of analytic functions.