title: Sensitivity Comparison of Two-photon vs Three-photon Rydberg Electrometry

abstract: We investigate the sensitivity of three-photon EIT in Rydberg atoms to radio frequency detection and compare it against conventional two-photon systems. Specifically, we model the 4-level and 5-level atomic system and compare how the transmission of the probe changes with different powers of the lasers used and strengths of the RF field. In this model, we also define a sensitivity metric to best relate to the operation of the current best experimental implementation based on shot noise limited detection. We find that the three-photon system boasts much narrower line widths compared to the conventional two-photon EIT. However, these narrow line features do not align with the regions of the best sensitivity. In addition to this, we calculate the expected sensitivity for the two-photon Rydberg sensor and find that the best achievable sensitivity is over an order of magnitude better than the current measured values of 5 uV/m/Hz. However, by accounting for the additional noise sources in the experiment and the quantum efficiency of the photo-detectors, the values are in good agreement.


title: The Thousand-Pulsar-Array program on MeerKAT -- IX. The time-averaged properties of the observed pulsar population

abstract: We present the largest single survey to date of average profiles of radio pulsars, observed and processed using the same telescope and data reduction software. Specifically, we present measurements for 1170 pulsars, observed by the Thousand Pulsar Array (TPA) programme at the 64-dish SARAO MeerKAT radio telescope, in a frequency band from 856 to 1712 MHz. We provide rotation measures (RM), dispersion measures, flux densities and polarization properties. The catalogue includes 254 new RMs that substantially increase the total number of known pulsar RMs. Our integration times typically span over 1000 individual rotations per source. We show that the radio (pseudo)luminosity has a strong, shallow dependence on the spin-down energy, proportional to $\dot{E}^{0.15\pm0.04}$, that contradicts some previous proposals of population synthesis studies. In addition, we find a significant correlation between the steepness of the observed flux density spectra and $\dot{E}$, and correlations of the fractional linear polarization with $\dot{E}$, the spectral index, and the pulse width, which we discuss in the context of what is known about pulsar radio emission and how pulsars evolve with time. On the whole, we do not see significant correlations with the estimated surface magnetic field strength, and the correlations with $\dot{E}$ are much stronger than those with the characteristic age. This finding lends support to the suggestion that magnetic dipole braking may not be the dominant factor for the evolution of pulsar rotation over the lifetimes of pulsars. A public data release of the high-fidelity time-averaged pulse profiles in full polarization accompanies our catalogue.


title: An exact formula for the variance of linear statistics in the one-dimensional jellium mode

abstract: We consider the jellium model of $N$ particles on a line confined in an external harmonic potential and with a pairwise one-dimensional Coulomb repulsion of strength $\alpha > 0$. Using a Coulomb gas method, we study the statistics of $s = (1/N) \sum_{i=1}^N f(x_i)$ where $f(x)$, in principle, is an arbitrary smooth function. While the mean of $s$ is easy to compute, the variance is nontrivial due to the long-range Coulomb interactions. In this paper we demonstrate that the fluctuations around this mean are Gaussian with a variance ${\rm Var}(s) \approx b/N^3$ for large $N$. We provide an exact compact formula for the constant $b = 1/(4\alpha) \int_{-2 \alpha}^{2\alpha} [f'(x)]^2\, dx$. In addition, we also calculate the full large deviation function characterising the tails of the full distribution ${\cal P}(s,N)$ for several different examples of $f(x)$. Our analytical predictions are confirmed by numerical simulations.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Invariant Tensors for $SU(3)$ with Adjoints

abstract: We develop a method for finding the independent invariant tensors of a gauge theory. Our method uses a theorem relating invariant tensors and constant configurations in field space. We apply our method to an $SU(3)$ gauge theory with matter in the adjoint representation, and find the independent invariant tensors of this theory.


title: Electrical switching of a chiral lasing from polariton condensate in a Rashba-Dresselhaus regime

abstract: Efficient optical classical and quantum information processing imposes on light novel requirements: chirality with low threshold non-linearities. In this work we demonstrate a chiral lasing from an optical modes due to emerging photonic Rashba-Dresselhaus spin-orbit coupling (SOC). For this purpose we developed a new electrically tunable device based on an optical cavity filled with birefringent liquid crystal (LC) and perovskite crystals. Our novel method for the growth of single crystals of CsPbBr$_3$ inorganic perovskite in polymer templates allows us to reach a strong light-matter coupling regime between perovskite excitons and cavity modes, and induce polariton condensation. The sensitivity of the LC to external electric fields lets us to tune the condensate energy in situ and induce synthetic SOC. This shapes the condensate between a single linearly polarized or two circularly polarized separated in momentum, emitting coherent light. The difference in the condensation thresholds between the two SOC regimes can be used to switch on and off the chiral condensate emission with a voltage.


title: Learnable Graph Convolutional Attention Networks

abstract: Existing Graph Neural Networks (GNNs) compute the message exchange between nodes by either aggregating uniformly (convolving) the features of all the neighboring nodes, or by applying a non-uniform score (attending) to the features. Recent works have shown the strengths and weaknesses of the resulting GNN architectures, respectively, GCNs and GATs. In this work, we aim at exploiting the strengths of both approaches to their full extent. To this end, we first introduce the graph convolutional attention layer (CAT), which relies on convolutions to compute the attention scores. Unfortunately, as in the case of GCNs and GATs, we show that there exists no clear winner between the three (neither theoretically nor in practice) as their performance directly depends on the nature of the data (i.e., of the graph and features). This result brings us to the main contribution of our work, the learnable graph convolutional attention network (L-CAT): a GNN architecture that automatically interpolates between GCN, GAT and CAT in each layer, by adding only two scalar parameters. Our results demonstrate that L-CAT is able to efficiently combine different GNN layers along the network, outperforming competing methods in a wide range of datasets, and resulting in a more robust model that reduces the need of cross-validating.


title: Coarse geometry of operator spaces and complete isomorphic embeddings into $\ell_1$ and $c_0$-sums of operator spaces

abstract: The nonlinear geometry of operator spaces has recently started to be investigated. Many notions of nonlinear embeddability have been introduced so far, but, as noticed before by other authors, it was not clear whether they could be considered ``correct notions''. The main goal of these notes is to provide the missing evidence to support that \emph{almost complete coarse embeddability} is ``a correct notion''. This is done by proving results about the complete isomorphic theory of $\ell_1$-sums of certain operators spaces. Several results on the complete isomorphic theory of $c_0$-sums of operator spaces are also obtained.


title: MES-Attacks: Software-Controlled Covert Channels based on Mutual Exclusion and Synchronization

abstract: Multi-process concurrency is effective in improving program efficiency and maximizing CPU utilization. The correct execution of concurrency is ensured by the mutual exclusion and synchronization mechanism (MESM) that manages the shared hardware and software resources. We propose MES-Attacks, a new set of software-controlled covert channel attacks based on MESM to transmit confidential information. MES-Attacks offer several advantages: 1) the covert channels are constructed at software level and can be deployed on any hardware; 2) closed share of resource ensures the quality of the channels with low interference and makes them hard to be detected; and 3) it utilizes the system's software resources which are abound and hence difficult to isolate. We built covert channels using different MESMs on Windows and Linux, including Event, Timer, FileLockEX, Mutex, Semaphore and flock. Experimental results demonstrate that these covert channels can achieve transmission rate of 13.105 kb/s, 12.383 kb/s, and 6.552 kb/s, respectively in the scenarios of local, cross-sandbox and cross-VM, where the bit error rates are all under 1\%.


title: String Covering: A Survey

abstract: The study of strings is an important combinatorial field that precedes the digital computer. Strings can be very long, trillions of letters, so it is important to find compact representations. Here we first survey various forms of one potential compaction methodology, the cover of a given string x, initially proposed in a simple form in 1990, but increasingly of interest as more sophisticated variants have been discovered. We then consider covering by a seed; that is, a cover of a superstring of x. We conclude with many proposals for research directions that could make significant contributions to string processing in future.


title: Radon Emanation Techniques and Measurements for LZ

abstract: Radon emanation was projected to account for $>50$% of the electron recoil background in the WIMP region of interest for the LUX-ZEPLIN (LZ) experiment. To mitigate the amount of radon inside the detector volume, materials with inherently low radioactivity content were selected for LZ construction through an extensive screening campaign. The SD Mines radon emanation system was one of four emanation facilities utilized to screen materials during construction of LZ. SD Mines also employed a portable radon collection system for equipment too large or delicate to move to a radon emanation facility. This portable system was used to assay the Inner Cryostat Vessel in-situ at various stages of detector construction, resulting in the inference that the titanium cryostat is the source of significant radon emanation. Assays of a $^{228}$Th source confirmed that its $^{222}$Rn emanation is low enough for it to be used, and that 14% of the $^{220}$Rn emanates from the source at room temperature.


title: On the relation between the subadditivity cone and the quantum entropy cone

abstract: Given a multipartite quantum system, what are the possible ways to impose mutual independence among some subsystems, and the presence of correlations among others, such that there exists a quantum state which satisfies these demands? This question and the related notion of a \textit{pattern of marginal independence} (PMI) were introduced in arXiv:1912.01041, and then argued in arXiv:2204.00075 to be central in the derivation of the holographic entropy cone. Here we continue the general information theoretic analysis of the PMIs allowed by \textit{strong subadditivity} (SSA) initiated in arXiv:1912.01041. We show how the computation of these PMIs simplifies when SSA is replaced by a weaker constraint, dubbed \textit{Klein's condition} (KC), which follows from the necessary condition for the saturation of subadditivity (SA). Formulating KC in the language of partially ordered sets, we show that the set of PMIs compatible with KC forms a lattice, and we investigate several of its structural properties. One of our main results is the identification of a specific lower dimensional face of the SA cone that contains on its boundary all the extreme rays (beyond Bell pairs) that can possibly be realized by quantum states. We verify that for four or more parties, KC is strictly weaker than SSA, but nonetheless the PMIs compatible with SSA can easily be derived from the KC-compatible ones. For the special case of 1-dimensional PMIs, we conjecture that KC and SSA are in fact equivalent. To make the presentation self-contained, we review the key ingredients from lattice theory as needed.


title: Capacity Analysis of the Fluctuating Double-Rayleigh with Line-of-Sight Fading Channel

abstract: The proposed research performs the capacity analysis of the wireless channel described by the fluctuating double-Rayleigh with the line-of-sight model. The closed-form analytical expressions for the conditional capacity (in the case of arbitrary noninteger fading parameter) and the ergodic capacity (in the case of the integer fading parameter) are derived in terms of the extended generalized bivariate Meijer G-function. The exact solutions are succeeded by the approximating expressions deduced for the cases of small and large ratios between the Rician K-factor and the fading parameter. The performed numeric simulation verifies the correctness of the derived results and analyzes the proposed capacity approximation quality performance.


title: Upper and Lower Bounds on the Smoothed Complexity of the Simplex Method

abstract: The simplex method for linear programming is known to be highly efficient in practice, and understanding its performance from a theoretical perspective is an active research topic. The framework of smoothed analysis, first introduced by Spielman and Teng (JACM '04) for this purpose, defines the smoothed complexity of solving a linear program with $d$ variables and $n$ constraints as the expected running time when Gaussian noise of variance $\sigma^2$ is added to the LP data. We prove that the smoothed complexity of the simplex method is $O(\sigma^{-3/2} d^{13/4}\log^{7/4} n)$, improving the dependence on $1/\sigma$ compared to the previous bound of $O(\sigma^{-2} d^2\sqrt{\log n})$. We accomplish this through a new analysis of the \emph{shadow bound}, key to earlier analyses as well. Illustrating the power of our new method, we use our method to prove a nearly tight upper bound on the smoothed complexity of two-dimensional polygons. We also establish the first non-trivial lower bound on the smoothed complexity of the simplex method, proving that the \emph{shadow vertex simplex method} requires at least $\Omega \Big(\min \big(\sigma^{-1/2} d^{-1/2}\log^{-1/4} d,2^d \big) \Big)$ pivot steps with high probability. A key part of our analysis is a new variation on the extended formulation for the regular $2^k$-gon. We end with a numerical experiment that suggests this analysis could be further improved.


title: A plea for an upgrade to the digital craft of the historian and digital methodology for discovering the past

abstract: This essay aims to bid analogue historians assume that digitisation is the first step to creating historical heritage based on the new language of Science: Computer Science. As we know, Humanities disciplines cannot easily be encapsulated in a few understandable numbers and names. However, historians must boost Artificial Intelligence (such as Transkribus) and Neural Networks to let the Machine infer meaning from the digitised historical primary source and become the most powerful tool to help historians understand what happened in the Past. Historians (collaborating with data scientists, expert annotators, librarians, archivists, and others, who are crucial to the successful management of digital data collection) have to create the primary ontology, starting from coding manuscripts into digital text, as the Biscari Archive (Italy) study case.


title: The effective reproduction number: convexity, concavity and invariance

abstract: Motivated by the question of optimal vaccine allocation strategies in heterogeneous population for epidemic models, we study various properties of the \emph{effective reproduction number}. In the simplest case, given a fixed, non-negative matrix $K$, this corresponds mathematically to the study of the spectral radius $R_e(\eta)$ of the matrix product $\mathrm{Diag}(\eta)K$, as a function of $\eta\in\mathbb{R}_+^n$. The matrix $K$ and the vector $\eta$ can be interpreted as a next-generation operator and a vaccination strategy. This can be generalized in an infinite dimensional case where the matrix $K$ is replaced by a positive integral compact operator, which is composed with a multiplication by a non-negative function $\eta$. We give sufficient conditions for the function $R_e$ to be convex or a concave. Eventually, we provide equivalence properties on models which ensure that the function $R_e$ is unchanged.


title: Twin-S: A Digital Twin for Skull-base Surgery

abstract: Purpose: Digital twins are virtual interactive models of the real world, exhibiting identical behavior and properties. In surgical applications, computational analysis from digital twins can be used, for example, to enhance situational awareness. Methods: We present a digital twin framework for skull-base surgeries, named Twin-S, which can be integrated within various image-guided interventions seamlessly. Twin-S combines high-precision optical tracking and real-time simulation. We rely on rigorous calibration routines to ensure that the digital twin representation precisely mimics all real-world processes. Twin-S models and tracks the critical components of skull-base surgery, including the surgical tool, patient anatomy, and surgical camera. Significantly, Twin-S updates and reflects real-world drilling of the anatomical model in frame rate. Results: We extensively evaluate the accuracy of Twin-S, which achieves an average 1.39 mm error during the drilling process. We further illustrate how segmentation masks derived from the continuously updated digital twin can augment the surgical microscope view in a mixed reality setting, where bone requiring ablation is highlighted to provide surgeons additional situational awareness. Conclusion: We present Twin-S, a digital twin environment for skull-base surgery. Twin-S tracks and updates the virtual model in real-time given measurements from modern tracking technologies. Future research on complementing optical tracking with higher-precision vision-based approaches may further increase the accuracy of Twin-S.


title: Functional renormalization group flows of $\mathcal{N}=1$ supersymmetric abelian gauge model with one chiral and one vector superfield

abstract: We apply the functional renormalization group approach to a $\mathcal{N}=1$ supersymmetric gauge model with one chiral superfield coupled to a vector $U(1)$ superfield. We find that the nonrenormalization theorem still works at leading order in the supercovariant derivative expansion of the fields. We also find the beta functions and we study the behavior of its fixed points in the local potential approximation. Regulators are also discussed.


title: Bayesian Learning for Neural Networks: an algorithmic survey

abstract: The last decade witnessed a growing interest in Bayesian learning. Yet, the technicality of the topic and the multitude of ingredients involved therein, besides the complexity of turning theory into practical implementations, limit the use of the Bayesian learning paradigm, preventing its widespread adoption across different fields and applications. This self-contained survey engages and introduces readers to the principles and algorithms of Bayesian Learning for Neural Networks. It provides an introduction to the topic from an accessible, practical-algorithmic perspective. Upon providing a general introduction to Bayesian Neural Networks, we discuss and present both standard and recent approaches for Bayesian inference, with an emphasis on solutions relying on Variational Inference and the use of Natural gradients. We also discuss the use of manifold optimization as a state-of-the-art approach to Bayesian learning. We examine the characteristic properties of all the discussed methods, and provide pseudo-codes for their implementation, paying attention to practical aspects, such as the computation of the gradients.


title: Complete $(2+1)$-dimensional Ricci flow spacetimes

abstract: Ricci flow spacetimes were introduced by Kleiner & Lott as a way to describe Ricci flow through singularities, and have since been used elsewhere in the literature, prompting the question of their rigidity. In $(2+1)$-dimensions, we show that every complete and sufficiently regular spacetime must be a cylindrical spacetime. That is, if the metric is complete on each spatial slice, after imposing a necessary continuity condition, we can conclude that every spatial slice must be diffeomorphic to a fixed surface, and the Ricci flow spacetime is isometric to a classical Ricci flow on this surface.


title: The AMD Rome Memory Barrier

abstract: With the rapid growth of AMD as a competitor in the CPU industry, it is imperative that high-performance and architectural engineers analyze new AMD CPUs. By understanding new and unfamiliar architectures, engineers are able to adapt their algorithms to fully utilize new hardware. Furthermore, engineers are able to anticipate the limitations of an architecture and determine when an alternate platform is desirable for a particular workload. This paper presents results which show that the AMD "Rome" architecture performance suffers once an application's memory bandwidth exceeds 37.5 GiB/s for integer-heavy applications, or 100 GiB/s for floating-point-heavy workloads. Strong positive correlations between memory bandwidth and CPI are presented, as well as strong positive correlations between increased memory load and time-to-completion of benchmarks from the SPEC CPU2017 benchmark suites.


title: Torsional dark energy in quadratic gauge gravity

abstract: The Covariant Canonical Gauge theory of Gravity (CCGG) is a gauge field formulation of gravity which a priori includes non-metricity and torsion. It extends the Lagrangian of Einstein's theory of general relativity by terms at least quadratic in the Riemann-Cartan tensor. This paper investigates the implications of metric compatible CCGG on cosmological scales. For a totally anti-symmetric torsion tensor we derive the resulting equations of motion in a Friedmann-Lema\^itre-Robertson-Walker (FLRW) Universe. In the limit of a vanishing quadratic Riemann-Cartan term, the arising modifications of the Friedmann equations are shown to be equivalent to spatial curvature. Furthermore, the modified Friedmann equations are investigated in detail in the early and late times of the Universe's history. It is demonstrated that in addition to the standard $\Lambda$CDM behaviour of the scale factor, there exist novel time dependencies, emerging due to the presence of torsion and the quadratic Riemann-Cartan term. Finally, at late times, we present how the accelerated expansion of the Universe can be understood as a geometric effect of spacetime through torsion, rendering the introduction of a cosmological constant redundant. In such a scenario it is possible to compute an expected value for the parameters of the postulated gravitational Hamiltonian/Lagrangian and to provide a lower bound on the vacuum energy of matter.


title: Examining Policy Entropy of Reinforcement Learning Agents for Personalization Tasks

abstract: This effort is focused on examining the behavior of reinforcement learning systems in personalization environments and detailing the differences in policy entropy associated with the type of learning algorithm utilized. We demonstrate that Policy Optimization agents often possess low-entropy policies during training, which in practice results in agents prioritizing certain actions and avoiding others. Conversely, we also show that Q-Learning agents are far less susceptible to such behavior and generally maintain high-entropy policies throughout training, which is often preferable in real-world applications. We provide a wide range of numerical experiments as well as theoretical justification to show that these differences in entropy are due to the type of learning being employed.


title: LoopDA: Constructing Self-loops to Adapt Nighttime Semantic Segmentation

abstract: Due to the lack of training labels and the difficulty of annotating, dealing with adverse driving conditions such as nighttime has posed a huge challenge to the perception system of autonomous vehicles. Therefore, adapting knowledge from a labelled daytime domain to an unlabelled nighttime domain has been widely researched. In addition to labelled daytime datasets, existing nighttime datasets usually provide nighttime images with corresponding daytime reference images captured at nearby locations for reference. The key challenge is to minimize the performance gap between the two domains. In this paper, we propose LoopDA for domain adaptive nighttime semantic segmentation. It consists of self-loops that result in reconstructing the input data using predicted semantic maps, by rendering them into the encoded features. In a warm-up training stage, the self-loops comprise of an inner-loop and an outer-loop, which are responsible for intra-domain refinement and inter-domain alignment, respectively. To reduce the impact of day-night pose shifts, in the later self-training stage, we propose a co-teaching pipeline that involves an offline pseudo-supervision signal and an online reference-guided signal `DNA' (Day-Night Agreement), bringing substantial benefits to enhance nighttime segmentation. Our model outperforms prior methods on Dark Zurich and Nighttime Driving datasets for semantic segmentation. Code and pretrained models are available at https://github.com/fy-vision/LoopDA.


title: Hardy--Littlewood fractional maximal operators on homogeneous trees

abstract: We study the mapping properties of the Hardy--Littlewood fractional maximal operator between Lorentz spaces of the homogeneous tree and discuss the optimality of all the results.


title: Classification of Melanocytic Nevus Images using BigTransfer (BiT)

abstract: Skin cancer is a fatal disease that takes a heavy toll over human lives annually. The colored skin images show a significant degree of resemblance between different skin lesions such as melanoma and nevus, making identification and diagnosis more challenging. Melanocytic nevi may mature to cause fatal melanoma. Therefore, the current management protocol involves the removal of those nevi that appear intimidating. However, this necessitates resilient classification paradigms for classifying benign and malignant melanocytic nevi. Early diagnosis necessitates a dependable automated system for melanocytic nevi classification to render diagnosis efficient, timely, and successful. An automated classification algorithm is proposed in the given research. A neural network previously-trained on a separate problem statement is leveraged in this technique for classifying melanocytic nevus images. The suggested method uses BigTransfer (BiT), a ResNet-based transfer learning approach for classifying melanocytic nevi as malignant or benign. The results obtained are compared to that of current techniques, and the new method's classification rate is proven to outperform that of existing methods.


title: Effects of physical and chemical pressure on charge density wave transitions in LaAg1-xAuxSb2 single crystals

abstract: The structural characterization and electrical transport measurements at ambient and applied pressures of the compounds of the La(Ag1-xAux)Sb2 family are presented. Up to two charge density wave (CDW) transitions could be detected upon cooling from room temperature and an equivalence of the effects of chemical and physical pressure on the CDW ordering temperatures was observed with the unit cell volume being a salient structural parameter. As such La(Ag1-xAux)Sb2 is a rare example of a non-cubic system that exhibits good agreement between the effects of applied, physical, pressure and changes in unit cell volume from steric changes induced by isovalent substitution. Additionally, for La(Ag0.54Au0.46)Sb2 anomalies in low temperature electrical transport were observed in the pressure range where the lower charge density wave is completely suppressed.


title: A Lightweight Modular Continuum Manipulator with IMU-based Force Estimation

abstract: Most aerial manipulators use serial rigid-link designs, which results in large forces when initiating contacts during manipulation and could cause flight stability difficulty. This limitation could potentially be improved by the compliance of continuum manipulators. To achieve this goal, we present the novel design of a compact, lightweight, and modular cable-driven continuum manipulator for aerial drones. We then derive a complete modeling framework for its kinematics, statics, and stiffness (compliance). The modeling framework can guide the control and design problems to integrate the manipulator to aerial drones. In addition, thanks to the derived stiffness (compliance) matrix, and using a low-cost IMU sensor to capture deformation angles, we present a simple method to estimate manipulation force at the tip of the manipulator. We report preliminary experimental validations of the hardware prototype, providing insights on its manipulation feasibility. We also report preliminary results of the IMU-based force estimation method.


title: Enhancing Self-Consistency and Performance of Pre-Trained Language Models through Natural Language Inference

abstract: While large pre-trained language models are powerful, their predictions often lack logical consistency across test inputs. For example, a state-of-the-art Macaw question-answering (QA) model answers 'Yes' to 'Is a sparrow a bird?' and 'Does a bird have feet?' but answers 'No' to 'Does a sparrow have feet?'. To address this failure mode, we propose a framework, Consistency Correction through Relation Detection, or ConCoRD, for boosting the consistency and accuracy of pre-trained NLP models using pre-trained natural language inference (NLI) models without fine-tuning or re-training. Given a batch of test inputs, ConCoRD samples several candidate outputs for each input and instantiates a factor graph that accounts for both the model's belief about the likelihood of each answer choice in isolation and the NLI model's beliefs about pair-wise answer choice compatibility. We show that a weighted MaxSAT solver can efficiently compute high-quality answer choices under this factor graph, improving over the raw model's predictions. Our experiments demonstrate that ConCoRD consistently boosts accuracy and consistency of off-the-shelf closed-book QA and VQA models using off-the-shelf NLI models, notably increasing accuracy of LXMERT on ConVQA by 5% absolute. See https://ericmitchell.ai/emnlp-2022-concord/ for code and data.


title: Structural Modelling of Dynamic Networks and Identifying Maximum Likelihood

abstract: This paper considers nonlinear dynamic models where the main parameter of interest is a nonnegative matrix characterizing the network (contagion) effects. This network matrix is usually constrained either by assuming a limited number of nonzero elements (sparsity), or by considering a reduced rank approach for nonnegative matrix factorization (NMF). We follow the latter approach and develop a new probabilistic NMF method. We introduce a new Identifying Maximum Likelihood (IML) method for consistent estimation of the identified set of admissible NMF's and derive its asymptotic distribution. Moreover, we propose a maximum likelihood estimator of the parameter matrix for a given non-negative rank, derive its asymptotic distribution and the associated efficiency bound.


title: An upper bound on asymptotic repetitive threshold of balanced sequences via colouring of the Fibonacci sequence

abstract: We colour the Fibonacci sequence by suitable constant gap sequences to provide an upper bound on the asymptotic repetitive threshold of $d$-ary balanced sequences. The bound is attained for $d=2, 4$ and $8$ and we conjecture that it happens for infinitely many even $d$'s. Our bound reveals an essential difference in behavior of the repetitive threshold and the asymptotic repetitive threshold of balanced sequences. The repetitive threshold of $d$-ary balanced sequences is known to be at least $1+\frac{1}{d-2}$ for each $d \geq 3$. In contrast, our bound implies that the asymptotic repetitive threshold of $d$-ary balanced sequences is at most $1+\frac{\tau^3}{2^{d-3}}$ for each $d\geq 2$, where $\tau$ is the golden mean.


title: Sampling-Based Optimization for Multi-Agent Model Predictive Control

abstract: We systematically review the Variational Optimization, Variational Inference and Stochastic Search perspectives on sampling-based dynamic optimization and discuss their connections to state-of-the-art optimizers and Stochastic Optimal Control (SOC) theory. A general convergence and sample complexity analysis on the three perspectives is provided through the unifying Stochastic Search perspective. We then extend these frameworks to their distributed versions for multi-agent control by combining them with consensus Alternating Direction Method of Multipliers (ADMM) to decouple the full problem into local neighborhood-level ones that can be solved in parallel. Model Predictive Control (MPC) algorithms are then developed based on these frameworks, leading to fully decentralized sampling-based dynamic optimizers. The capabilities of the proposed algorithms framework are demonstrated on multiple complex multi-agent tasks for vehicle and quadcopter systems in simulation. The results compare different distributed sampling-based optimizers and their centralized counterparts using unimodal Gaussian, mixture of Gaussians, and stein variational policies. The scalability of the proposed distributed algorithms is demonstrated on a 196-vehicle scenario where a direct application of centralized sampling-based methods is shown to be prohibitive.


title: Autocorrelation and Spectrum Analysis for Variable Symbol Length Communications with Feedback

abstract: Variable-length feedback codes can provide advantages over fixed-length feedback or non-feedback codes. This letter focuses on uncoded variable-symbol-length feedback communication and analyzes the autocorrelation and spectrum of the signal. We provide a mathematical expression for the autocorrelation that can be evaluated numerically. We then numerically evaluate the autocorrelation and spectrum for the variable-symbol-length signal in a feedback-based communication system that attains a target reliability for every symbol by adapting the symbol length to the noise realization. The analysis and numerical results show that the spectrum changes with SNR when the average symbol length is fixed, and approaches the fixed-length scheme at high SNR.


title: Addressing Mistake Severity in Neural Networks with Semantic Knowledge

abstract: Robustness in deep neural networks and machine learning algorithms in general is an open research challenge. In particular, it is difficult to ensure algorithmic performance is maintained on out-of-distribution inputs or anomalous instances that cannot be anticipated at training time. Embodied agents will be deployed in these conditions, and are likely to make incorrect predictions. An agent will be viewed as untrustworthy unless it can maintain its performance in dynamic environments. Most robust training techniques aim to improve model accuracy on perturbed inputs; as an alternate form of robustness, we aim to reduce the severity of mistakes made by neural networks in challenging conditions. We leverage current adversarial training methods to generate targeted adversarial attacks during the training process in order to increase the semantic similarity between a model's predictions and true labels of misclassified instances. Results demonstrate that our approach performs better with respect to mistake severity compared to standard and adversarially trained models. We also find an intriguing role that non-robust features play with regards to semantic similarity.


title: The Statistics of Negative Power Spectrum Systematics in some 21 cm Analyses

abstract: Through a very careful analysis Kolopanis and collaborators identified a negative power spectrum (PS) systematic. The 21 cm cosmology community has assumed that any observational systematics would add power, as negative PS are non-physical. In addition to the mystery of their origin, negative PS systematics raise the spectre of artificially lowering upper limits on the 21 cm PS. It appears that the source of the negative PS systematics is a subtle interaction between choices in how the PS estimate is calculated and baseline-dependent systematic power. In this paper we present a statistical model of baseline dependent systematics to explore how negative PS systematics can appear and their statistical characteristics. This leads us to recommendations on when and how to consider negative PS systematics when reporting observational 21 cm cosmology upper limits.


title: CLASS Survey Description: Coronal Line Needles in the SDSS Haystack

abstract: Coronal lines are a powerful, yet poorly understood, tool to identify and characterize Active Galactic Nuclei (AGNs). There have been few large scale surveys of coronal lines in the general galaxy population in the literature so far. Using a novel pre-selection technique with a flux-to-RMS ratio $F$, followed by Markov-Chain Monte Carlo (MCMC) fitting, we searched for the full suite of 20 coronal lines in the optical spectra of almost 1 million galaxies from the Sloan Digital Sky Survey (SDSS) Data Release 8. We present a catalog of the emission line parameters for the resulting 258 galaxies with detections. The Coronal Line Activity Spectroscopic Survey (CLASS) includes line properties, host galaxy properties, and selection criteria for all galaxies in which at least one line is detected. This comprehensive study reveals that a significant fraction of coronal line activity is missed in past surveys based on a more limited set of coronal lines; $\sim$60% of our sample do not display the more widely surveyed [Fe X] $\lambda$6374. In addition, we discover a strong correlation between coronal line and WISE W2 luminosities, suggesting that the mid-infrared flux can be used to predict coronal line fluxes. For each line we also provide a confidence level that the line is present, generated by a novel neural network, trained on fully simulated data. We find that after training the network to detect individual lines using 100,000 simulated spectra, we achieve an overall true positive rate of 75.49% and a false positive rate of only 3.96%.


title: CodEval: Improving Student Success In Programming Assignments

abstract: CodEval is a code evaluation tool that integrates with the Canvas Learning Management System to automatically evaluates students' work within a few minutes of the submission. This early feedback allows students to catch and correct problems in their submissions before their submission is graded and gives them a clear idea of the quality of their submission. CodEval handles the tedious aspects of grading, such as compiling and running tests, leaving graders more time to spend on the qualitative aspect of grading. Before using CodEval, instructors would not have a clear view of the student's comprehension of the concept evaluated by the assignment until after the due date. CodeEval helps instructors identify and address the gaps in students' understanding and thus helps more students successfully complete the assignment. We implemented CodEval using Python using the public Canvas API. Any instructor or grader for a Canvas course can use CodEval to automatically evaluate submissions for programming assignments. We developed a syntax to express requirements of submissions such as compilation parameters, inputs, outputs, command-line arguments, timeouts, exit codes, functions used, files generated, output validators, and more. We have made CodEval open source. CodEval is an easy tool for students, graders, and instructors and seamlessly integrates with Canvas. We share our experience with using CodEval in two classes with a total of 90 students and multiple coding assignments.


title: Parameter Estimation in Nonlinear Multivariate Stochastic Differential Equations Based on Splitting Schemes

abstract: Surprisingly, general estimators for nonlinear continuous time models based on stochastic differential equations are yet lacking. Most applications still use the Euler-Maruyama discretization, despite many proofs of its bias. More sophisticated methods, such as Kessler's Gaussian approximation, Ozak's Local Linearization, A\"it-Sahalia's Hermite expansions, or MCMC methods, lack a straightforward implementation, do not scale well with increasing model dimension or can be numerically unstable. We propose two efficient and easy-to-implement likelihood-based estimators based on the Lie-Trotter (LT) and the Strang (S) splitting schemes. We prove that S has $L^p$ convergence rate of order 1, a property already known for LT. We show that the estimators are consistent and asymptotically efficient under the less restrictive one-sided Lipschitz assumption. A numerical study on the 3-dimensional stochastic Lorenz system complements our theoretical findings. The simulation shows that the S estimator performs the best when measured on precision and computational speed compared to the state-of-the-art.


title: Completeness Thresholds for Memory Safety of Array Traversing Programs: Early Technical Report

abstract: In this early technical report on an ongoing project, we present -- to the best of our knowledge -- the first study of completeness thresholds for memory safety proofs. Specifically we consider heap-manipulating programs that iterate over arrays without allocating or freeing memory. We present the first notion of completeness thresholds for program verification which reduce unbounded memory safety proofs to bounded ones. Moreover, we present some preliminary ideas on how completeness thresholds can be computed for concrete programs.


title: Value-based CTDE Methods in Symmetric Two-team Markov Game: from Cooperation to Team Competition

abstract: In this paper, we identify the best learning scenario to train a team of agents to compete against multiple possible strategies of opposing teams. We evaluate cooperative value-based methods in a mixed cooperative-competitive environment. We restrict ourselves to the case of a symmetric, partially observable, two-team Markov game. We selected three training methods based on the centralised training and decentralised execution (CTDE) paradigm: QMIX, MAVEN and QVMix. For each method, we considered three learning scenarios differentiated by the variety of team policies encountered during training. For our experiments, we modified the StarCraft Multi-Agent Challenge environment to create competitive environments where both teams could learn and compete simultaneously. Our results suggest that training against multiple evolving strategies achieves the best results when, for scoring their performances, teams are faced with several strategies.


title: Traveling planetary-scale waves cause cloud variability on tidally locked aquaplanets

abstract: Cloud cover at the planetary limb of water-rich Earth-like planets is likely to weaken chemical signatures in transmission spectra, impeding attempts to characterize these atmospheres. However, based on observations of Earth and solar system worlds, exoplanets with atmospheres should have both short-term weather and long-term climate variability, implying that cloud cover may be less during some observing periods. We identify and describe a mechanism driving periodic clear sky events at the terminators in simulations of tidally locked Earth-like planets. A feedback between dayside cloud radiative effects, incoming stellar radiation and heating, and the dynamical state of the atmosphere, especially the zonal wavenumber-1 Rossby wave identified in past work on tidally locked planets, leads to oscillations in Rossby wave phase speeds and in the position of Rossby gyres and results in advection of clouds to or away from the planet's eastern terminator. We study this oscillation in simulations of Proxima Centauri b, TRAPPIST 1-e, and rapidly rotating versions of these worlds located at the extreme inner edge of their stars' habitable zones. We simulate time series of the transit depths of the 1.4 {\mu}m water feature and 2.7 {\mu}m carbon dioxide feature. The impact of atmospheric variability on the transmission spectra is sensitive to the structure of the dayside cloud cover and the location of the Rossby gyres, but none of our simulations have variability significant enough to be detectable with current methods.


title: Precision education: A Bayesian nonparametric approach for handling item and examinee heterogeneity in assessment data

abstract: We propose a novel nonparametric Bayesian IRT model in this paper by introducing the clustering effect at question level and further assume heterogeneity at examinee level under each question cluster, characterized by the mixture of Binomial distributions. The main contribution of this work is threefold: (1) We demonstrate that the model is identifiable. (2) The clustering effect can be captured asymptotically and the parameters of interest that measure the proficiency of examinees in solving certain questions can be estimated at a root n rate (up to a log term). (3) We present a tractable sampling algorithm to obtain valid posterior samples from our proposed model. We evaluate our model via a series of simulations as well as apply it to an English assessment data. This data analysis example nicely illustrates how our model can be used by test makers to distinguish different types of students and aid in the design of future tests.


title: Coordinate-Based Seismic Interpolation in Irregular Land Survey: A Deep Internal Learning Approach

abstract: Physical and budget constraints often result in irregular sampling, which complicates accurate subsurface imaging. Pre-processing approaches, such as missing trace or shot interpolation, are typically employed to enhance seismic data in such cases. Recently, deep learning has been used to address the trace interpolation problem at the expense of large amounts of training data to adequately represent typical seismic events. Nonetheless, most research in this area has focused on trace reconstruction, with little attention having been devoted to shot interpolation. Furthermore, existing methods assume regularly spaced receivers/sources failing in approximating seismic data from real (irregular) surveys. This work presents a novel shot gather interpolation approach which uses a continuous coordinate-based representation of the acquired seismic wavefield parameterized by a neural network. The proposed unsupervised approach, which we call coordinate-based seismic interpolation(CoBSI), enables the prediction of specific seismic characteristics in irregular land surveys without using external data during neural network training. Experimental results on real and synthetic 3D data validate the ability of the proposed method to estimate continuous smooth seismic events in the time-space and frequency-wavenumber domains, improving sparsity or low-rank-based interpolation methods.


title: TEMPERA: Test-Time Prompting via Reinforcement Learning

abstract: Careful prompt design is critical to the use of large language models in zero-shot or few-shot learning. As a consequence, there is a growing interest in automated methods to design optimal prompts. In this work, we propose Test-time Prompt Editing using Reinforcement learning (TEMPERA). In contrast to prior prompt generation methods, TEMPERA can efficiently leverage prior knowledge, is adaptive to different queries and provides an interpretable prompt for every query. To achieve this, we design a novel action space that allows flexible editing of the initial prompts covering a wide set of commonly-used components like instructions, few-shot exemplars, and verbalizers. The proposed method achieves significant gains compared with recent SoTA approaches like prompt tuning, AutoPrompt, and RLPrompt, across a variety of tasks including sentiment analysis, topic classification, natural language inference, and reading comprehension. Our method achieves 5.33x on average improvement in sample efficiency when compared to the traditional fine-tuning methods.


title: A Bi-level Nonlinear Eigenvector Algorithm for Wasserstein Discriminant Analysis

abstract: Much like the classical Fisher linear discriminant analysis (LDA), the recently proposed Wasserstein discriminant analysis (WDA) is a linear dimensionality reduction method that seeks a projection matrix to maximize the dispersion of different data classes and minimize the dispersion of same data classes via a bi-level optimization. In contrast to LDA, WDA can account for both global and local interconnections between data classes by using the underlying principles of optimal transport. In this paper, a bi-level nonlinear eigenvector algorithm (WDA-nepv) is presented to fully exploit the structures of the bi-level optimization of WDA. The inner level of WDA-nepv for computing the optimal transport matrices is formulated as an eigenvector-dependent nonlinear eigenvalue problem (NEPv), and meanwhile, the outer level for trace ratio optimizations is formulated as another NEPv. Both NEPvs can be computed efficiently under the self-consistent field (SCF) framework. WDA-nepv is derivative-free and surrogate-model-free when compared with existing algorithms. Convergence analysis of the proposed WDA-nepv justifies the utilization of the SCF for solving the bi-level optimization of WDA. Numerical experiments with synthetic and real-life datasets demonstrate the classification accuracy and scalability of WDA-nepv.


title: Equality of Effort via Algorithmic Recourse

abstract: This paper proposes a method for measuring fairness through equality of effort by applying algorithmic recourse through minimal interventions. Equality of effort is a property that can be quantified at both the individual and the group level. It answers the counterfactual question: what is the minimal cost for a protected individual or the average minimal cost for a protected group of individuals to reverse the outcome computed by an automated system? Algorithmic recourse increases the flexibility and applicability of the notion of equal effort: it overcomes its previous limitations by reconciling multiple treatment variables, introducing feasibility and plausibility constraints, and integrating the actual relative costs of interventions. We extend the existing definition of equality of effort and present an algorithm for its assessment via algorithmic recourse. We validate our approach both on synthetic data and on the German credit dataset.


title: How Cooperation and Competition Arise in Regional Climate Policies: RICE as a Dynamic Game

abstract: One of the most widely used models for studying the geographical economics of climate change is the Regional Integrated model of Climate and the Economy (RICE). In this paper, we investigate how cooperation and competition arise in regional climate policies under the RICE framework from the standpoints of game theory and optimal control. First, we show that the RICE model is inherently a dynamic game. Second, we study both cooperative and non-cooperative solutions to this RICE dynamic game. In cooperative settings, we investigate the global social welfare equilibrium that maximizes the weighted and cumulative social welfare across regions. We next divide the regions into two clusters: developed and developing, and look at the social welfare frontier under the notion of Pareto optimality. We also present a receding horizon approach to approximate the global social welfare equilibrium for robustness and computational efficiency. For non-cooperative settings, we study best-response dynamics and open-loop Nash equilibrium of the RICE game. A Recursive Best-response Algorithm for Dynamic Games (RBA-DG) is proposed to describe the sequences of best-response decisions for dynamic games, which indicates convergence to open-loop Nash equilibrium when applied to the RICE game by numerical studies. We also study online receding horizon feedback decisions of the RICE game. A Receding Horizon Feedback Algorithm for Dynamic Games (RHFA-DG) is proposed. All these proposed solution concepts are implemented and open sourced using the latest updated parameters and data. The results reveal how game theory may be used to facilitate international negotiations towards consensus on regional climate-change mitigation policies, as well as how cooperative and competitive regional relations shape climate change for our future.


title: Dual-stage structural response to quenching charge order in magnetite

abstract: The Verwey transition in magnetite (Fe3O4 ) is the prototypical metal-insulator transition and has eluded a comprehensive explanation for decades. A major element of the challenge is the complex interplay between charge order and lattice distortions. Here we use ultrafast electron diffraction (UED) to disentangle the roles of charge order and lattice distortions by tracking the transient structural evolution after charge order is melted via ultrafast photoexcitation. A dual stage response is observed in which X3, X1, and Delta5 type structural distortions occur on markedly different timescales of 0.7 to 3.2 ps and longer than 3.2 ps. We propose that these distinct timescales arise because X3 type distortions strongly couple to the trimeron charge order, whereas the Delta5-distortions are more strongly associated with monoclinic to cubic distortions of the overall lattice. Our work aids in clarifying the charge lattice interplay using UED method and illustrates the disentanglement of the complex phases in magnetite.


title: Characterizing superradiant dynamics in atomic arrays via a cumulant expansion approach

abstract: Ordered atomic arrays with subwavelength lattice spacing emit light collectively. For fully inverted atomic arrays, this results in an initial burst of radiation and a fast build up of coherences between the atoms at initial times. Based on a cumulant expansion of the equations of motion, we derive exact analytical expressions for the emission properties and numerically analyze the full many-body problem resulting in the collective decay process for unprecedented system sizes of up to a few hundred atoms. We benchmark the cumulant expansion approach and show that it correctly captures the cooperative dynamics resulting in superradiance. For fully inverted arrays, this allows us to extract the scaling of the superradiant peak with particle number. For partially excited arrays where no coherences are shared among atoms, we also determine the critical number of excitations required for the emergence of superradiance in one- and two-dimensional geometries. In addition, we study the robustness of superradiance in the case of non-unit filling and position disorder.


title: Private Ad Modeling with DP-SGD

abstract: A well-known algorithm in privacy-preserving ML is differentially private stochastic gradient descent (DP-SGD). While this algorithm has been evaluated on text and image data, it has not been previously applied to ads data, which are notorious for their high class imbalance and sparse gradient updates. In this work we apply DP-SGD to several ad modeling tasks including predicting click-through rates, conversion rates, and number of conversion events, and evaluate their privacy-utility trade-off on real-world datasets. Our work is the first to empirically demonstrate that DP-SGD can provide both privacy and utility for ad modeling tasks.


title: Continuous Functions on Final Comodels of Free Algebraic Theories

abstract: In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of stream processors $A^{\mathbb{N}} \rightarrow B^{\mathbb{N}}$. In 2021, Garner showed that this representation can be established in terms of algebraic theory and comodels: the set of infinite streams $A^{\mathbb{N}}$ is the final comodel of the algebraic theory of $A$-valued input $\mathbb{T}_A$ and the set of stream processors $\mathit{Top}(A^{\mathbb{N}},B^{\mathbb{N}})$ can be seen as the final $\mathbb{T}_A$-$\mathbb{T}_B$-bimodel. In this paper, we generalize Garner's results to the case of free algebraic theories.


title: Margin-closed vector autoregressive time series models

abstract: Conditions are obtained for a Gaussian vector autoregressive time series of order $k$, VAR($k$), to have univariate margins that are autoregressive of order $k$ or lower-dimensional margins that are also VAR($k$). This can lead to $d$-dimensional VAR($k$) models that are closed with respect to a given partition $\{S_1,\ldots,S_n\}$ of $\{1,\ldots,d\}$ by specifying marginal serial dependence and some cross-sectional dependence parameters. The special closure property allows one to fit the sub-processes of multivariate time series before assembling them by fitting the dependence structure between the sub-processes. We revisit the use of the Gaussian copula of the stationary joint distribution of observations in the VAR($k$) process with non-Gaussian univariate margins but under the constraint of closure under margins. This construction allows more flexibility in handling higher-dimensional time series and a multi-stage estimation procedure can be used. The proposed class of models is applied to a macro-economic data set and compared with the relevant benchmark models.


title: Direct Detection of Electroweak Dark Matter

abstract: TeV-scale dark matter is well motivated by notions of naturalness as the new physics threshold is expected to emerge in the TeV regime. We extend the Standard Model by adding an arbitrary SU(2) dark matter multiplet in non-chiral representation. The pseudo-real representations can be viable DM candidates providing that one includes a higher dimensional mass-splitting operator, which avoids the tree-level inelastic scattering through Z-boson exchange. These effective operators give rise to sizable contributions from Higgs mediated dark matter interactions with quarks and gluons. A linear combination of the effective couplings named $\lambda$ is identified as the critical parameter in determining the magnitude of the cross-section. When $\lambda$ is smaller than the critical value, the theory behaves similar to the known renormalisable model, and the scattering rate stays below the current experimental reach. Nevertheless, above the criticality, the contribution from the higher dimensional operators significantly changes the phenomenology. The scattering amplitude of pseudo-real models will be coherently enhanced, so that it would be possible for next generation large-exposure experiments to fully probe these multiplets. We studied the parameter space of the theory, taking into account both indirect astrophysical and direct search constraints. It is inferred that multi-TeV mass scale remains a viable region, quite promising for forthcoming dark matter experiments.


title: Status of the X17 search in Montreal

abstract: At the Montreal Tandem accelerator, an experiment is being set up to measure internal pair creation from the decay of nuclear excited states using a multiwire proportional chamber and scintillator bars surrounding it from the DAPHNE experiment. The acceptance covers a solid angle of nearly 4$\pi$. Preamplifiers and the data acquisition hardware have been designed and tested. The water-cooled $^7$LiF target, mounted on an Al foil is in a thin carbon fiber section of the beamline. The experiment will focus at first on a measurement of the internal pair creation from the 18.15 MeV state of $^8$Be. Assuming the ATOMKI evaluation of the electron-pair production rate from X17, a Geant4 simulation predicts observation of a clear signal after about two weeks of data taking with a 2 $\mu$A proton beam. The IPC measurement could eventually be extended to the giant dipole resonance of $^8$Be, as well as to other nuclei, in particular to $^{10}$B.


title: The structure of thin boron nanowires predicted using evolutionary computations

abstract: This work describes the implementation of a genetic algorithm-based strategy combined with first-principles computations for identifying the structure of the most stable boron 1D structures. We focus our attention on the structure of ultrathin 1D boron structures given the lack of previous experimental and theoretical work on this topic. Our methodology yields reasonable structural candidates for further optimizations at the DFT level with tighter convergence criteria. The simulations involved 1D structures with up to 8 atoms per unit cell. We have identified four main groups of structures: flat nanowires (monatomic-height stripes) with triangular or triangular and "square" motifs, stripes with larger holes, nanowires with an open tubular shape, and regular nanowires. The diameter-dependent structural changes are discussed.


title: Evaluating the Knowledge Dependency of Questions

abstract: The automatic generation of Multiple Choice Questions (MCQ) has the potential to reduce the time educators spend on student assessment significantly. However, existing evaluation metrics for MCQ generation, such as BLEU, ROUGE, and METEOR, focus on the n-gram based similarity of the generated MCQ to the gold sample in the dataset and disregard their educational value. They fail to evaluate the MCQ's ability to assess the student's knowledge of the corresponding target fact. To tackle this issue, we propose a novel automatic evaluation metric, coined Knowledge Dependent Answerability (KDA), which measures the MCQ's answerability given knowledge of the target fact. Specifically, we first show how to measure KDA based on student responses from a human survey. Then, we propose two automatic evaluation metrics, KDA_disc and KDA_cont, that approximate KDA by leveraging pre-trained language models to imitate students' problem-solving behavior. Through our human studies, we show that KDA_disc and KDA_soft have strong correlations with both (1) KDA and (2) usability in an actual classroom setting, labeled by experts. Furthermore, when combined with n-gram based similarity metrics, KDA_disc and KDA_cont are shown to have a strong predictive power for various expert-labeled MCQ quality measures.


title: FLEX: Full-Body Grasping Without Full-Body Grasps

abstract: Synthesizing 3D human avatars interacting realistically with a scene is an important problem with applications in AR/VR, video games and robotics. Towards this goal, we address the task of generating a virtual human -- hands and full body -- grasping everyday objects. Existing methods approach this problem by collecting a 3D dataset of humans interacting with objects and training on this data. However, 1) these methods do not generalize to different object positions and orientations, or to the presence of furniture in the scene, and 2) the diversity of their generated full-body poses is very limited. In this work, we address all the above challenges to generate realistic, diverse full-body grasps in everyday scenes without requiring any 3D full-body grasping data. Our key insight is to leverage the existence of both full-body pose and hand grasping priors, composing them using 3D geometrical constraints to obtain full-body grasps. We empirically validate that these constraints can generate a variety of feasible human grasps that are superior to baselines both quantitatively and qualitatively. See our webpage for more details: https://flex.cs.columbia.edu/.


title: EM's Convergence in Gaussian Latent Tree Models

abstract: We study the optimization landscape of the log-likelihood function and the convergence of the Expectation-Maximization (EM) algorithm in latent Gaussian tree models, i.e. tree-structured Gaussian graphical models whose leaf nodes are observable and non-leaf nodes are unobservable. We show that the unique non-trivial stationary point of the population log-likelihood is its global maximum, and establish that the expectation-maximization algorithm is guaranteed to converge to it in the single latent variable case. Our results for the landscape of the log-likelihood function in general latent tree models provide support for the extensive practical use of maximum likelihood based-methods in this setting. Our results for the EM algorithm extend an emerging line of work on obtaining global convergence guarantees for this celebrated algorithm. We show our results for the non-trivial stationary points of the log-likelihood by arguing that a certain system of polynomial equations obtained from the EM updates has a unique non-trivial solution. The global convergence of the EM algorithm follows by arguing that all trivial fixed points are higher-order saddle points.


title: Physics implications of a combined analysis of COHERENT CsI and LAr data

abstract: The observation of coherent elastic neutrino nucleus scattering has opened the window to many physics opportunities. This process has been measured by the COHERENT Collaboration using two different targets, first CsI and then argon. Recently, the COHERENT Collaboration has updated the CsI data analysis with a higher statistics and an improved understanding of systematics. Here we perform a detailed statistical analysis of the full CsI data and combine it with the previous argon result. We discuss a vast array of implications, from tests of the Standard Model to new physics probes. In our analyses we take into account experimental uncertainties associated to the efficiency as well as the timing distribution of neutrino fluxes, making our results rather robust. In particular, we update previous measurements of the weak mixing angle and the neutron root mean square charge radius for CsI and argon. We also update the constraints on new physics scenarios including neutrino nonstandard interactions and the most general case of neutrino generalized interactions, as well as the possibility of light mediators. Finally, constraints on neutrino electromagnetic properties are also examined, including the conversion to sterile neutrino states. In many cases, the inclusion of the recent CsI data leads to a dramatic improvement of bounds.


title: Field theories of active particle systems and their entropy production

abstract: Active particles that translate chemical energy into self-propulsion can maintain a far-from-equilibrium steady state and perform work. The entropy production measures how far from equilibrium such a particle system operates and serves as a proxy for the work performed. Field theory offers a promising route to calculating entropy production, as it allows for many interacting particles to be considered simultaneously. Approximate field theories obtained by coarse-graining or smoothing that draw on additive noise can capture densities and correlations well, but they generally ignore the microscopic particle nature of the constituents, thereby producing spurious results for the entropy production. As an alternative we demonstrate how to use Doi-Peliti field theories, which capture the microscopic dynamics, including reactions and interactions with external and pair potentials. Such field theories are in principle exact, while offering a systematic approximation scheme, in the form of diagrammatics. We demonstrate how to construct them from a Fokker-Planck equation (FPE) of the single-particle dynamics and show how to calculate entropy production of active matter from first principles. This framework is easily extended to include interaction. We use it to derive exact, compact and efficient general expressions for the entropy production for a vast range of interacting particle systems. These expressions are independent of the underlying field theory and can be interpreted as the spatial average of the local entropy production. They are readily applicable to numerical and experimental data. In general, any pair interaction draws at most on the three point, equal time density and an n-point interaction on the (2n-1)-point density. We illustrate the technique in a number of exact, tractable examples, including some with pair-interaction.


title: Robust Faber--Schauder approximation based on discrete observations of an antiderivative

abstract: We study the problem of reconstructing the Faber--Schauder coefficients of a continuous function $f$ from discrete observations of its antiderivative $F$. Our approach starts with formulating this problem through piecewise quadratic spline interpolation. We then provide a closed-form solution and an in-depth error analysis. These results lead to some surprising observations, which also throw new light on the classical topic of quadratic spline interpolation itself: They show that the well-known instabilities of this method can be located exclusively within the final generation of estimated Faber--Schauder coefficients, which suffer from non-locality and strong dependence on the initial value and the given data. By contrast, all other Faber--Schauder coefficients depend only locally on the data, are independent of the initial value, and admit uniform error bounds. We thus conclude that a robust and well-behaved estimator for our problem can be obtained by simply dropping the final-generation coefficients from the estimated Faber--Schauder coefficients.


title: Contract-Based Specification Refinement and Repair for Mission Planning

abstract: We address the problem of modeling, refining, and repairing formal specifications for robotic missions using assume-guarantee contracts. We show how to model mission specifications at various levels of abstraction and implement them using a library of pre-implemented specifications. Suppose the specification cannot be met using components from the library. In that case, we compute a proxy for the best approximation to the specification that can be generated using elements from the library. Afterward, we propose a systematic way to either 1) search for and refine the `missing part' of the specification that the library cannot meet or 2) repair the current specification such that the existing library can refine it. Our methodology for searching and repairing mission requirements leverages the quotient, separation, composition, and merging operations between contracts.


title: Entanglement Breaking Rank via Complementary Channels and Multiplicative Domains

abstract: Quantum entanglement can be studied through the theory of completely positive maps in a number of ways, including by making use of the Choi-Jamilkowski isomorphism, which identifies separable states with entanglement breaking quantum channels, and optimal ensemble length with entanglement breaking rank. The multiplicative domain is an important operator structure in the theory of completely positive maps. We introduce a new technique to determine if a channel is entanglement breaking and to evaluate entanglement breaking rank, based on an analysis of multiplicative domains determined by complementary quantum channels. We give a full description of the class of entanglement breaking channels that have a projection as their Choi matrix, and we show the entanglement breaking and Choi ranks of such channels are equal.


title: Deep Learning for the Matrix Element Method

abstract: Extracting scientific results from high-energy collider data involves the comparison of data collected from the experiments with synthetic data produced from computationally-intensive simulations. Comparisons of experimental data and predictions from simulations increasingly utilize machine learning (ML) methods to try to overcome these computational challenges and enhance the data analysis. There is increasing awareness about challenges surrounding interpretability of ML models applied to data to explain these models and validate scientific conclusions based upon them. The matrix element (ME) method is a powerful technique for analysis of particle collider data that utilizes an \textit{ab initio} calculation of the approximate probability density function for a collision event to be due to a physics process of interest. The ME method has several unique and desirable features, including (1) not requiring training data since it is an \textit{ab initio} calculation of event probabilities, (2) incorporating all available kinematic information of a hypothesized process, including correlations, without the need for feature engineering and (3) a clear physical interpretation in terms of transition probabilities within the framework of quantum field theory. These proceedings briefly describe an application of deep learning that dramatically speeds-up ME method calculations and novel cyberinfrastructure developed to execute ME-based analyses on heterogeneous computing platforms.


title: Melting, Reentrant Ordering and Peak Effect for Wigner Crystals with Quenched and Thermal Disorder

abstract: We consider simulations of Wigner crystals interacting with random quenched disorder in the presence of thermal fluctuations. When quenched disorder is absent, there is a well defined melting temperature determined by the proliferation of topological defects, while for zero temperature, there is a critical quenched disorder strength above which topological defects proliferate. When both thermal and quenched disorder are present, these effects compete, and the thermal fluctuations can reduce the effectiveness of the quenched disorder, leading to a reentrant ordered phase in agreement with the predictions of Nelson [Phys. Rev. B 27, 2902 (1983)]. The onset of the reentrant phase can be deduced based on changes in the transport response, where the reentrant ordering appears as an increase in the mobility or the occurrence of a depinning transition. We also find that when the system is in the ordered state and thermally melts, there is an increase in the effective damping or pinning. This produces a drop in the electron mobility that is similar to the peak effect phenomenon found in superconducting vortices, where thermal effects soften the lattice or break down its elasticity, allowing the particles to better adjust their positions to take full advantage of the quenched disorder.


title: Quasi-stable Coloring for Graph Compression: Approximating Max-Flow, Linear Programs, and Centrality

abstract: We propose quasi-stable coloring, an approximate version of stable coloring. Stable coloring, also called color refinement, is a well-studied technique in graph theory for classifying vertices, which can be used to build compact, lossless representations of graphs. However, its usefulness is limited due to its reliance on strict symmetries. Real data compresses very poorly using color refinement. We propose the first, to our knowledge, approximate color refinement scheme, which we call quasi-stable coloring. By using approximation, we alleviate the need for strict symmetry, and allow for a tradeoff between the degree of compression and the accuracy of the representation. We study three applications: Linear Programming, Max-Flow, and Betweenness Centrality, and provide theoretical evidence in each case that a quasi-stable coloring can lead to good approximations on the reduced graph. Next, we consider how to compute a maximal quasi-stable coloring: we prove that, in general, this problem is NP-hard, and propose a simple, yet effective algorithm based on heuristics. Finally, we evaluate experimentally the quasi-stable coloring technique on several real graphs and applications, comparing with prior approximation techniques. A reference implementation and the experiment code are available at https://github.com/mkyl/QuasiStableColors.jl .


title: Transport coefficients in AdS/CFT and quantum gravity corrections due to a functional measure

abstract: The presence of a functional measure is scrutinized on both sides of the dual gauge/gravity correspondence. Corrections to the transport coefficients in relativistic hydrodynamics are obtained using the linear response procedure. In particular, using first-order hydrodynamics, the shear viscosity, entropy density, diffusion constant, and speed of sound are shown not to acquire any corrections from the functional measure of gravity, for a Minkowski background metric. On the other hand, the energy density, the pressure, the relaxation time, the bulk viscosity, the decay rate of sound waves, and coefficients of conformal traceless tensor fields, are shown to carry significant quantum corrections due to the functional measure, even for a flat background. They all acquire an imaginary part that reflects the instability of the strongly-coupled fluids on the boundary CFT. This opens up the possibility of testing quantum gravity with the quark-gluon plasma.


title: The Bohr-Weisskopf effect in the potassium isotopes

abstract: The magnetic hyperfine structure constants have been calculated for low-lying levels in neutral potassium atom taking into account the Bohr--Weisskopf (BW) and Breit--Rosenthal (BR) effects. According to our results the $4p_{1/2}$ state of K~I is free from both BR and BW corrections on the level of the current theoretical uncertainties. Using this finding and the measured values of the $A(4p_{1/2})$ constants, we corrected the nuclear magnetic moments for several short-lived potassium isotopes. The BW correction is represented as a product of atomic and nuclear factors. We calculated the atomic factor for the ground state of K I, which allowed us to extract nuclear factors for potassium $I^\pi = 3/2^+$ isotopes from the experimental data. In this way the application range of the single-particle nuclear model for nuclear-factor calculation in these isotopes has been clarified.


title: A Misuse of Specification Tests

abstract: Empirical researchers often perform model specification tests, such as the Hausman test and the overidentifying restrictions test, to confirm the validity of estimators rather than the validity of models. This paper examines the effectiveness of specification pretests in finding invalid estimators. We study the local asymptotic properties of test statistics and estimators and show that locally unbiased specification tests cannot determine whether asymptotically efficient estimators are asymptotically biased. The main message of the paper is that correct specification and valid estimation are different issues. Correct specification is neither necessary nor sufficient for asymptotically unbiased estimation under local overidentification.


title: Preprint: Open Source Compiling for V1Model RMT Switch: Making Data Center Networking Innovation Accessible

abstract: Very few of the innovations in deep networking have seen data center scale implementation. Because the Data Center network's extreme scale performance requires hardware implementation, which is only accessible to a few. However, the emergence of reconfigurable match-action table (RMT) paradigm-based switches have finally opened up the development life cycle of data plane devices. The P4 language is the dominant language choice for programming these devices. Now, Network operators can implement the desired feature over white box RMT switches. The process involves an innovator writing new algorithms in the P4 language and getting them compiled for the target hardware. However, there is still a roadblock. After designing an algorithm, the P4 program's compilation technology is not fully open-source. Thus, it is very difficult for an average researcher to get deep insight into the performance of his/her innovation when executed at the silicon level. There is no open-source compiler backend available for this purpose. Proprietary compiler backends provided by different hardware vendors are available for this purpose. However, they are closed-source and do not provide access to the internal mapping mechanisms. Which inhibits experimenting with new mapping algorithms and innovative instruction sets for reconfigurable match-action table architecture. This paper describes our work toward an open-source compiler backend for compiling P416 targeted for the V1Model architecture-based programmable switches.


title: Latent Iterative Refinement for Modular Source Separation

abstract: Traditional source separation approaches train deep neural network models end-to-end with all the data available at once by minimizing the empirical risk on the whole training set. On the inference side, after training the model, the user fetches a static computation graph and runs the full model on some specified observed mixture signal to get the estimated source signals. Additionally, many of those models consist of several basic processing blocks which are applied sequentially. We argue that we can significantly increase resource efficiency during both training and inference stages by reformulating a model's training and inference procedures as iterative mappings of latent signal representations. First, we can apply the same processing block more than once on its output to refine the input signal and consequently improve parameter efficiency. During training, we can follow a block-wise procedure which enables a reduction on memory requirements. Thus, one can train a very complicated network structure using significantly less computation compared to end-to-end training. During inference, we can dynamically adjust how many processing blocks and iterations of a specific block an input signal needs using a gating module.


title: Predictive Display with Perspective Projection of Surroundings in Vehicle Teleoperation to Account Time-delays

abstract: Teleoperation provides human operator sophisticated perceptual and cognitive skills into an over the network control loop. It gives hope of addressing some challenges related to vehicular autonomy which is based on artificial intelligence by providing a backup plan. Variable network time delays in data transmission is the major problem in teleoperating a vehicle. On 4G network, variability of these delays is high. Due to this, both video streaming and driving commands encounter variable time delay. This paper presents an approach of providing the human operator a forecast video stream which replicates future perspective of vehicle field of view accounting the delay present in the network. Regarding the image transformation, perspective projection technique is combined with correction given by smith predictor in the control loop. This image transformation accounts current time delay and tries to address both issues, time delays as well as its variability. For experiment sake, only frontward field of view is forecast. Performance is evaluated by performing online vehicle teleoperation on street edge case maneuvers and later comparing the path deviation with and without perspective projection.


title: Statistical learning with phylogenetic network invariants

abstract: Phylogenetic networks provide a means of describing the evolutionary history of sets of species believed to have undergone hybridization or gene flow during their evolution. The mutation process for a set of such species can be modeled as a Markov process on a phylogenetic network. Previous work has shown that a site-pattern probability distributions from a Jukes-Cantor phylogenetic network model must satisfy certain algebraic invariants. As a corollary, aspects of the phylogenetic network are theoretically identifiable from site-pattern frequencies. In practice, because of the probabilistic nature of sequence evolution, the phylogenetic network invariants will rarely be satisfied, even for data generated under the model. Thus, using network invariants for inferring phylogenetic networks requires some means of interpreting the residuals, or deviations from zero, when observed site-pattern frequencies are substituted into the invariants. In this work, we propose a method of utilizing invariant residuals and support vector machines to infer 4-leaf level-one phylogenetic networks, from which larger networks can be reconstructed. Given data for a set of species, the support vector machine is first trained on model data to learn the patterns of residuals corresponding to different network structures to classify the network that produced the data. We demonstrate the performance of our method on simulated data from the specified model and primate data.


title: A note on extremal Sombor indices of trees with a given degree sequence

abstract: We note here that the problem of determining extremal values of Sombor index for trees with a given degree sequence fits within the framework of results by Hua Wang from [Cent. Eur. J. Math. 12 (2014) 1656-1663], implying that the greedy tree has the minimum Sombor index, while an alternating greedy tree has the maximum Sombor index.


title: Confidence-guided Centroids for Unsupervised Person Re-Identification

abstract: Unsupervised person re-identification (ReID) aims to train a feature extractor for identity retrieval without exploiting identity labels. Due to the blind trust in imperfect clustering results, the learning is inevitably misled by unreliable pseudo labels. Albeit the pseudo label refinement has been investigated by previous works, they generally leverage auxiliary information such as camera IDs and body part predictions. This work explores the internal characteristics of clusters to refine pseudo labels. To this end, Confidence-Guided Centroids (CGC) are proposed to provide reliable cluster-wise prototypes for feature learning. Since samples with high confidence are exclusively involved in the formation of centroids, the identity information of low-confidence samples, i.e., boundary samples, are NOT likely to contribute to the corresponding centroid. Given the new centroids, current learning scheme, where samples are enforced to learn from their assigned centroids solely, is unwise. To remedy the situation, we propose to use Confidence-Guided pseudo Label (CGL), which enables samples to approach not only the originally assigned centroid but other centroids that are potentially embedded with their identity information. Empowered by confidence-guided centroids and labels, our method yields comparable performance with, or even outperforms, state-of-the-art pseudo label refinement works that largely leverage auxiliary information.


title: Practice Makes Perfect: an iterative approach to achieve precise tracking for legged robots

abstract: Precise trajectory tracking for legged robots can be challenging due to their high degrees of freedom, unmodeled nonlinear dynamics, or random disturbances from the environment. A commonly adopted solution to overcome these challenges is to use optimization-based algorithms and approximate the system with a simplified, reduced-order model. Additionally, deep neural networks are becoming a more promising option for achieving agile and robust legged locomotion. These approaches, however, either require large amounts of onboard calculations or the collection of millions of data points from a single robot. To address these problems and improve tracking performance, this paper proposes a method based on iterative learning control. This method lets a robot learn from its own mistakes by exploiting the repetitive nature of legged locomotion within only a few trials. Then, a torque library is created as a lookup table so that the robot does not need to repeat calculations or learn the same skill over and over again. This process resembles how animals learn their muscle memories in nature. The proposed method is tested on the A1 robot in a simulated environment, and it allows the robot to pronk at different speeds while precisely following the reference trajectories without heavy calculations.


title: On Optimal Coreset Construction for Euclidean $(k,z)$-Clustering

abstract: Constructing small-sized coresets for various clustering problems in different metric spaces has attracted significant attention for the past decade. A central problem in the coreset literature is to understand what is the best possible coreset size for $(k,z)$-clustering in Euclidean space. While there has been significant progress in the problem, there is still a gap between the state-of-the-art upper and lower bounds. For instance, the best known upper bound for $k$-means ($z=2$) is $\min \{O(k^{3/2} \varepsilon^{-2}),O(k \varepsilon^{-4})\}$ [1,2], while the best known lower bound is $\Omega(k\varepsilon^{-2})$ [1]. In this paper, we make significant progress on both upper and lower bounds. For a large range of parameters (i.e., $\varepsilon, k$), we have a complete understanding of the optimal coreset size. In particular, we obtain the following results: (1) We present a new coreset lower bound $\Omega(k \varepsilon^{-z-2})$ for Euclidean $(k,z)$-clustering when $\varepsilon \geq \Omega(k^{-1/(z+2)})$. In view of the prior upper bound $\tilde{O}_z(k \varepsilon^{-z-2})$ [1], the bound is optimal. The new lower bound also implies improved lower bounds for $(k,z)$-clustering in doubling metrics. (2) For the upper bound, we provide efficient coreset construction algorithms for $(k,z)$-clustering with improved or optimal coreset sizes in several metric spaces. In particular, we provide an $\tilde{O}_z(k^{\frac{2z+2}{z+2}} \varepsilon^{-2})$-sized coreset, with a unfied analysis, for $(k,z)$-clustering for all $z\geq 1$ in Euclidean space. [1] Cohen-Addad, Larsen, Saulpic, Schwiegelshohn. STOC'22. [2] Cohen-Addad, Larsen, Saulpic, Schwiegelshohn, Sheikh-Omar, NeurIPS'22.


title: Best-$k$ Search Algorithm for Neural Text Generation

abstract: Modern natural language generation paradigms require a good decoding strategy to obtain quality sequences out of the model. Beam search yields high-quality but low diversity outputs; stochastic approaches suffer from high variance and sometimes low quality, but the outputs tend to be more natural and creative. In this work, we propose a deterministic search algorithm balancing both quality and diversity. We first investigate the vanilla best-first search (BFS) algorithm and then propose the Best-$k$ Search algorithm. Inspired by BFS, we greedily expand the top $k$ nodes, instead of only the first node, to boost efficiency and diversity. Upweighting recently discovered nodes accompanied by heap pruning ensures the completeness of the search procedure. Experiments on four NLG tasks, including question generation, commonsense generation, text summarization, and translation, show that best-$k$ search yields more diverse and natural outputs compared to strong baselines, while our approach maintains high text quality. The proposed algorithm is parameter-free, lightweight, efficient, and easy to use.


title: Multimodal Data Augmentation for Visual-Infrared Person ReID with Corrupted Data

abstract: The re-identification (ReID) of individuals over a complex network of cameras is a challenging task, especially under real-world surveillance conditions. Several deep learning models have been proposed for visible-infrared (V-I) person ReID to recognize individuals from images captured using RGB and IR cameras. However, performance may decline considerably if RGB and IR images captured at test time are corrupted (e.g., noise, blur, and weather conditions). Although various data augmentation (DA) methods have been explored to improve the generalization capacity, these are not adapted for V-I person ReID. In this paper, a specialized DA strategy is proposed to address this multimodal setting. Given both the V and I modalities, this strategy allows to diminish the impact of corruption on the accuracy of deep person ReID models. Corruption may be modality-specific, and an additional modality often provides complementary information. Our multimodal DA strategy is designed specifically to encourage modality collaboration and reinforce generalization capability. For instance, punctual masking of modalities forces the model to select the informative modality. Local DA is also explored for advanced selection of features within and among modalities. The impact of training baseline fusion models for V-I person ReID using the proposed multimodal DA strategy is assessed on corrupted versions of the SYSU-MM01, RegDB, and ThermalWORLD datasets in terms of complexity and efficiency. Results indicate that using our strategy provides V-I ReID models the ability to exploit both shared and individual modality knowledge so they can outperform models trained with no or unimodal DA. GitHub code: https://github.com/art2611/ML-MDA.


title: The weak Galerkin finite element method for Stokes interface problems with curved interface

abstract: In this paper, we develop a new weak Galerkin finite element scheme for the Stokes interface problem with curved interfaces. We take a unique vector-valued function at the interface and reflect the interface condition in the variational problem. Theoretical analysis and numerical experiments show that the errors can reach the optimal convergence order under the energy norm and $L^2$ norm.


title: Regularity index of the generalized minimum distance function

abstract: We show that the generalized minimum distance function is non-increasing as the degree varies for reduced standard graded algebras over a field. This allows us to define its regularity index and its stabilization value. The stabilization value is computed for every cases. We study how the regularity index varies as the number of polynomial increases, and use this to give bounds for it.


title: A case study of proactive auto-scaling for an ecommerce workload

abstract: Preliminary data obtained from a partnership between the Federal University of Campina Grande and an ecommerce company indicates that some applications have issues when dealing with variable demand. This happens because a delay in scaling resources leads to performance degradation and, in literature, is a matter usually treated by improving the auto-scaling. To better understand the current state-of-the-art on this subject, we re-evaluate an auto-scaling algorithm proposed in the literature, in the context of ecommerce, using a long-term real workload. Experimental results show that our proactive approach is able to achieve an accuracy of up to 94 percent and led the auto-scaling to a better performance than the reactive approach currently used by the ecommerce company.


title: The structure of CSC-1 reducible conformal metrics on a compact Riemann surface with finite conical singularities

abstract: We study the structure of CSC-1 reducible conformal metrics on a compact Riemann surface with finite conical singularities. We prove that any compact Riemann surface with a CSC-1 reducible conformal metric of finite conical singularities can be divided into a finite number of pieces by cutting along geodesics where each piece is isometric to some football. This allows us to study the existence of CSC-1 reducible conformal metrics with finite conical singularities on a compact Riemann surface. As an application, we give an angle condition of the existence of CSC-1 reducible conformal metrics with finite conical singularities on a compact Riemann surface.


title: Inverse parabolic problems by Carleman estimates with data taken initial or final time moment of observation

abstract: We consider a parabolic equation in a bounded domain $\OOO$ over a time interval $(0,T)$ with the homogeneous Neumann boundary condition. We arbitrarily choose a subboundary $\Gamma \subset \ppp\OOO$. Then, we discuss an inverse problem of determining a zeroth-order spatially varying coefficient by extra data of solution $u$: $u\vert_{\Gamma \times (0,T)}$ and $u(\cdot,t_0)$ in $\OOO$ with $t_0=0$ or $t=T$. First we establish a conditional Lipschitz stability estimate as well as the uniqueness for the case $t_0=T.$ Second, under additional condition for $\Gamma$, we prove the uniqueness for the case $t_0=0$. The second result adjusts the uniqueness by M.V. Klibanov (Inverse Problems {\bf 8} (1992) 575-596) to the inverse problem in a bounded domain $\OOO$. We modify his method which reduces the inverse parabolic problem to an inverse hyperbolic problem, and so even for the inverse parabolic problem, we have to assume conditions for the uniqueness for the corresponding inverse hyperbolic problem. Moreover we prove the uniqueness for some inverse source problem for a parabolic equation for $t_0=0$ without boundary condition on the whole $\ppp\OOO$.


title: Layered-Garment Net: Generating Multiple Implicit Garment Layers from a Single Image

abstract: Recent research works have focused on generating human models and garments from their 2D images. However, state-of-the-art researches focus either on only a single layer of the garment on a human model or on generating multiple garment layers without any guarantee of the intersection-free geometric relationship between them. In reality, people wear multiple layers of garments in their daily life, where an inner layer of garment could be partially covered by an outer one. In this paper, we try to address this multi-layer modeling problem and propose the Layered-Garment Net (LGN) that is capable of generating intersection-free multiple layers of garments defined by implicit function fields over the body surface, given the person's near front-view image. With a special design of garment indication fields (GIF), we can enforce an implicit covering relationship between the signed distance fields (SDF) of different layers to avoid self-intersections among different garment surfaces and the human body. Experiments demonstrate the strength of our proposed LGN framework in generating multi-layer garments as compared to state-of-the-art methods. To the best of our knowledge, LGN is the first research work to generate intersection-free multiple layers of garments on the human body from a single image.


title: Constrained Ergodic optimization for generic continuous functions

abstract: One of the fundamental results of ergodic optimization asserts that for any dynamical system on a compact metric space with the specification property and for a generic continuous function $f$ every invariant probability measure that maximizes the space average of $f$ must have zero entropy. We establish the analogical result in the context of constraint ergodic optimization, which is introduced by Garibaldi and Lopes (2007).


title: Super invariant theory in positive characteristic

abstract: We study invariant theory of the general linear supergroup in positive characteristic. In particular, we determine when the symmetric group algebra acts faithfully on tensor superspace and demonstrate that the symmetric group does not always generate all invariants.