title: MonoIndoor++:Towards Better Practice of Self-Supervised Monocular Depth Estimation for Indoor Environments

abstract: Self-supervised monocular depth estimation has seen significant progress in recent years, especially in outdoor environments. However, depth prediction results are not satisfying in indoor scenes where most of the existing data are captured with hand-held devices. As compared to outdoor environments, estimating depth of monocular videos for indoor environments, using self-supervised methods, results in two additional challenges: (i) the depth range of indoor video sequences varies a lot across different frames, making it difficult for the depth network to induce consistent depth cues for training; (ii) the indoor sequences recorded with handheld devices often contain much more rotational motions, which cause difficulties for the pose network to predict accurate relative camera poses. In this work, we propose a novel framework-MonoIndoor++ by giving special considerations to those challenges and consolidating a set of good practices for improving the performance of self-supervised monocular depth estimation for indoor environments. First, a depth factorization module with transformer-based scale regression network is proposed to estimate a global depth scale factor explicitly, and the predicted scale factor can indicate the maximum depth values. Second, rather than using a single-stage pose estimation strategy as in previous methods, we propose to utilize a residual pose estimation module to estimate relative camera poses across consecutive frames iteratively. Third, to incorporate extensive coordinates guidance for our residual pose estimation module, we propose to perform coordinate convolutional encoding directly over the inputs to pose networks. The proposed method is validated on a variety of benchmark indoor datasets, i.e., EuRoC MAV, NYUv2, ScanNet and 7-Scenes, demonstrating the state-of-the-art performance.


title: Stellar Energetic Particle Transport in the Turbulent and CME-disrupted Stellar Wind of AU~Microscopii

abstract: Energetic particles emitted by active stars are likely to propagate in astrospheric magnetized plasma turbulent and disrupted by the prior passage of energetic Coronal Mass Ejections (CMEs). We carried out test-particle simulations of $\sim$ GeV protons produced at a variety of distances from the M1Ve star AU~Microscopii by coronal flares or travelling shocks. Particles are propagated within the large-scale quiescent three-dimensional magnetic field and stellar wind reconstructed from measured magnetograms, and { within the same stellar environment following passage of a $10^{36}$~erg kinetic energy CME}. In both cases, magnetic fluctuations with an isotropic power spectrum are overlayed onto the large scale stellar magnetic field and particle propagation out to the two innnermost confirmed planets is examined. In the quiescent case, the magnetic field concentrates the particles onto two regions near the ecliptic plane. After the passage of the CME, the closed field lines remain inflated and the re-shuffled magnetic field remains highly compressed, shrinking the scattering mean free path of the particles. In the direction of propagation of the CME-lobes the subsequent EP flux is suppressed. Even for a CME front propagating out of the ecliptic plane, the EP flux along the planetary orbits highly fluctuates and peaks at $\sim 2 -3$ orders of magnitude higher than the average solar value at Earth, both in the quiescent and the post-CME cases.

categories: astro-ph.SR astro-ph.EP astro-ph.HE physics.space-ph


title: Residual and Attentional Architectures for Vector-Symbols

abstract: Vector-symbolic architectures (VSAs) provide methods for computing which are highly flexible and carry unique advantages. Concepts in VSAs are represented by 'symbols,' long vectors of values which utilize properties of high-dimensional spaces to represent and manipulate information. In this new work, we combine efficiency of the operations provided within the framework of the Fourier Holographic Reduced Representation (FHRR) VSA with the power of deep networks to construct novel VSA based residual and attention-based neural network architectures. Using an attentional FHRR architecture, we demonstrate that the same network architecture can address problems from different domains (image classification and molecular toxicity prediction) by encoding different information into the network's inputs, similar to the Perceiver model. This demonstrates a novel application of VSAs and a potential path to implementing state-of-the-art neural models on neuromorphic hardware.


title: Exploiting Unlabeled Data with Vision and Language Models for Object Detection

abstract: Building robust and generic object detection frameworks requires scaling to larger label spaces and bigger training datasets. However, it is prohibitively costly to acquire annotations for thousands of categories at a large scale. We propose a novel method that leverages the rich semantics available in recent vision and language models to localize and classify objects in unlabeled images, effectively generating pseudo labels for object detection. Starting with a generic and class-agnostic region proposal mechanism, we use vision and language models to categorize each region of an image into any object category that is required for downstream tasks. We demonstrate the value of the generated pseudo labels in two specific tasks, open-vocabulary detection, where a model needs to generalize to unseen object categories, and semi-supervised object detection, where additional unlabeled images can be used to improve the model. Our empirical evaluation shows the effectiveness of the pseudo labels in both tasks, where we outperform competitive baselines and achieve a novel state-of-the-art for open-vocabulary object detection. Our code is available at https://github.com/xiaofeng94/VL-PLM.


title: Recursive McCormick Linearization of Multilinear Programs

abstract: Linear programming (LP) relaxations are widely employed in exact solution methods for multilinear programs (MLP). One example is the family of Recursive McCormick Linearization (RML) strategies, where bilinear products are substituted for artificial variables, which deliver a relaxation of the original problem when introduced together with concave and convex envelopes. In this article, we introduce the first systematic approach for identifying RMLs, in which we focus on the identification of linear relaxation with a small number of artificial variables and with strong LP bounds. We present a novel mechanism for representing all the possible RMLs, which we use to design an exact mixed-integer programming (MIP) formulation for the identification of minimum-size RMLs; we show that this problem is NP-hard in general, whereas a special case is fixed-parameter tractable. Moreover, we explore structural properties of our formulation to derive an exact MIP model that identifies RMLs of a given size with the best possible relaxation bound is optimal. Our numerical results on a collection of benchmarks indicate that our algorithms outperform the RML strategy implemented in state-of-the-art global optimization solvers.


title: Online Learning with Off-Policy Feedback

abstract: We study the problem of online learning in adversarial bandit problems under a partial observability model called off-policy feedback. In this sequential decision making problem, the learner cannot directly observe its rewards, but instead sees the ones obtained by another unknown policy run in parallel (behavior policy). Instead of a standard exploration-exploitation dilemma, the learner has to face another challenge in this setting: due to limited observations outside of their control, the learner may not be able to estimate the value of each policy equally well. To address this issue, we propose a set of algorithms that guarantee regret bounds that scale with a natural notion of mismatch between any comparator policy and the behavior policy, achieving improved performance against comparators that are well-covered by the observations. We also provide an extension to the setting of adversarial linear contextual bandits, and verify the theoretical guarantees via a set of experiments. Our key algorithmic idea is adapting the notion of pessimistic reward estimators that has been recently popular in the context of off-policy reinforcement learning.


title: Codimension one foliations in positive characteristic

abstract: We investigate the geometry of codimension one foliations on smooth projective varieties defined over fields of positive characteristic with an eye toward applications to the structure of codimension one holomorphic foliations on projective manifolds.


title: Ballot Length in Instant Runoff Voting

abstract: Instant runoff voting (IRV) is an increasingly-popular alternative to traditional plurality voting in which voters submit rankings over the candidates rather than single votes. In practice, elections using IRV often restrict the ballot length, the number of candidates a voter is allowed to rank on their ballot. We theoretically and empirically analyze how ballot length can influence the outcome of an election, given fixed voter preferences. We show that there exist preference profiles over $k$ candidates such that up to $k-1$ different candidates win at different ballot lengths. We derive exact lower bounds on the number of voters required for such profiles and provide a construction matching the lower bound for unrestricted voter preferences. Additionally, we characterize which sequences of winners are possible over ballot lengths and provide explicit profile constructions achieving any feasible winner sequence. We also examine how classic preference restrictions influence our results--for instance, single-peakedness makes $k-1$ different winners impossible but still allows at least $\Omega(\sqrt k)$. Finally, we analyze a collection of 168 real-world elections, where we truncate rankings to simulate shorter ballots. We find that shorter ballots could have changed the outcome in one quarter of these elections. Our results highlight ballot length as a consequential degree of freedom in the design of IRV elections.


title: Densest plane group packings of regular polygons

abstract: Packings of regular convex polygons ($n$-gons) that are sufficiently dense have been studied extensively in the context of modeling physical and biological systems as well as discrete and computational geometry. Former results were mainly regarding densest lattice or double-lattice configurations. Here we consider all two-dimensional crystallographic symmetry groups (plane groups) by restricting the configuration space of the general packing problem of congruent copies of a compact subset of the two-dimensional Euclidean space to particular isomorphism classes of the discrete group of isometries. We formulate the plane group packing problem as a nonlinear constrained optimization problem. By means of the Entropic Trust Region Packing Algorithm that approximately solves this problem, we examine some known and unknown densest packings of various $n$-gons in all $17$ plane groups and state conjectures about common symmetries of the densest plane group packings for every $n$-gon.

categories: math.MG cond-mat.soft cond-mat.stat-mech math-ph math.MP


title: Enhancing Space-time Video Super-resolution via Spatial-temporal Feature Interaction

abstract: The target of space-time video super-resolution (STVSR) is to increase both the frame rate (also referred to as the temporal resolution) and the spatial resolution of a given video. Recent approaches solve STVSR using end-to-end deep neural networks. A popular solution is to first increase the frame rate of the video; then perform feature refinement among different frame features; and last increase the spatial resolutions of these features. The temporal correlation among features of different frames is carefully exploited in this process. The spatial correlation among features of different (spatial) resolutions, despite being also very important, is however not emphasized. In this paper, we propose a spatial-temporal feature interaction network to enhance STVSR by exploiting both spatial and temporal correlations among features of different frames and spatial resolutions. Specifically, the spatial-temporal frame interpolation module is introduced to interpolate low- and high-resolution intermediate frame features simultaneously and interactively. The spatial-temporal local and global refinement modules are respectively deployed afterwards to exploit the spatial-temporal correlation among different features for their refinement. Finally, a novel motion consistency loss is employed to enhance the motion continuity among reconstructed frames. We conduct experiments on three standard benchmarks, Vid4, Vimeo-90K and Adobe240, and the results demonstrate that our method improves the state of the art methods by a considerable margin. Our codes will be available at https://github.com/yuezijie/STINet-Space-time-Video-Super-resolution.


title: A note on polydegree $(n,1)$ rational inner functions, slice matrices, and singularities

abstract: We analyze certain compositions of rational inner functions in the unit polydisk $\mathbb{D}^{d}$ with polydegree $(n,1)$, $n\in \mathbb{N}^{d-1}$, and isolated singularities in $\mathbb{T}^d$. Provided an irreducibility condition is met, such a composition is shown to be a rational inner function with singularities in precisely the same location as those of the initial function, and with quantitatively controlled properties. As an application, we answer a $d$-dimensional version of a question posed in \cite{BPS22} in the affirmative.


title: $p$-numerical semigroups with $p$-symmetric properties

abstract: The so-called Frobenius number in the famous linear Diophantine problem of Frobenius is the largest integer such that the linear equation $a_1 x_1+\cdots+a_k x_k=n$ ($a_1,\dots,a_k$ are given positive integers with $\gcd(a_1,\dots,a_k)=1$) does not have a non-negative integer solution $(x_1,\dots,x_k)$. The generalized Frobenius number (called the $p$-Frobenius number) is the largest integer such that this linear equation has at most $p$ solutions. That is, when $p=0$, the $0$-Frobenius number is the original Frobenius number. In this paper, we introduce and discuss $p$-numerical semigroups by developing a generalization of the theory of numerical semigroups based on this flow of the number of representations. That is, for a certain non-negative integer $p$, $p$-gaps, $p$-symmetric semigroups, $p$-pseudo-symmetric semigroups, and the like are defined, and their properties are obtained. When $p=0$, they correspond to the original gaps, symmetric semigroups, and pseudo-symmetric semigroups, respectively.


title: The m-connecting imset and factorization for ADMG models

abstract: Directed acyclic graph (DAG) models have become widely studied and applied in statistics and machine learning -- indeed, their simplicity facilitates efficient procedures for learning and inference. Unfortunately, these models are not closed under marginalization, making them poorly equipped to handle systems with latent confounding. Acyclic directed mixed graph (ADMG) models characterize margins of DAG models, making them far better suited to handle such systems. However, ADMG models have not seen wide-spread use due to their complexity and a shortage of statistical tools for their analysis. In this paper, we introduce the m-connecting imset which provides an alternative representation for the independence models induced by ADMGs. Furthermore, we define the m-connecting factorization criterion for ADMG models, characterized by a single equation, and prove its equivalence to the global Markov property. The m-connecting imset and factorization criterion provide two new statistical tools for learning and inference with ADMG models. We demonstrate the usefulness of these tools by formulating and evaluating a consistent scoring criterion with a closed form solution.


title: Sensitivity analysis for constructing optimal regimes in the presence of treatment non-compliance

abstract: The current body of research on developing optimal treatment strategies often places emphasis on intention-to-treat analyses, which fail to take into account the compliance behavior of individuals. Methods based on instrumental variables have been developed to determine optimal treatment strategies in the presence of endogeneity. However, these existing methods are not applicable when there are two active treatment options and the average causal effects of the treatments cannot be identified using a binary instrument. In order to address this limitation, we present a procedure that can identify an optimal treatment strategy and the corresponding value function as a function of a vector of sensitivity parameters. Additionally, we derive the canonical gradient of the target parameter and propose a multiply robust classification-based estimator for the optimal treatment strategy. Through simulations, we demonstrate the practical need for and usefulness of our proposed method. We apply our method to a randomized trial on Adaptive Treatment for Alcohol and Cocaine Dependence.


title: Bernoulli Factories for Flow-Based Polytopes

abstract: We construct explicit combinatorial Bernoulli factories for the class of \emph{flow-based polytopes}; integral 0/1-polytopes defined by a set of network flow constraints. This generalizes the results of Niazadeh et al. (who constructed an explicit factory for the specific case of bipartite perfect matchings) and provides novel exact sampling procedures for sampling paths, circulations, and $k$-flows. In the process, we uncover new connections to algebraic combinatorics.


title: Finite $F$-representation type for homogeneous coordinate rings of non-Fano varieties

abstract: Finite $F$-representation type is an important notion in characteristic-$p$ commutative algebra, but explicit examples of varieties with or without this property are few. We prove that a large class of homogeneous coordinate rings in positive characteristic will fail to have finite $F$-representation type. To do so, we prove a connection between differential operators on the homogeneous coordinate ring of $X$ and the existence of global sections of a twist of $(\mathrm{Sym}^m \Omega_X)^\vee$. By results of Takagi and Takahashi, this allows us to rule out FFRT for coordinate rings of varieties with $(\mathrm{Sym}^m \Omega_X)^\vee$ not ``positive''. By using results positivity and semistability conditions for the (co)tangent sheaves, we show that several classes of varieties fail to have finite $F$-representation type, including abelian varieties, most Calabi--Yau varieties, and complete intersections of general type. Our work also provides examples of the structure of the ring of differential operators for non-$F$-pure varieties, which to this point have largely been unexplored.


title: Low Cost Portable Touch Screen Technology Applied to University Teaching

abstract: This article describes an implementation of low-cost portable touch screen technology, applied to university teaching, using as a base the remote control of the Nintendo Wii console (known as Wiimote), a normal projector, a computer and free software. The purpose is to show the feasibility of such implementation to improve teaching/learning processes, without incurring high costs associated with unaffordable technological equipment, special infrastructure in classrooms, or expensive computer programs. Also included is a summary of a test of the system in two college courses.


title: Thermal decomposition as an activity driver of near-Earth asteroid (3200) Phaethon

abstract: Near-Earth asteroid (3200) Phaethon is an active asteroid with a dust tail repeatedly observed over the past decade for 3 days during each perihelion passage down to a heliocentric distance of 0.14 au. The mechanism causing the activity is still debated, and the suggested mechanisms lack clear supporting evidence. Phaethon has been identified as the likely parent body of the annual Geminid meteor shower, making it one of the few active asteroids associated with a meteoroid stream. Its low albedo and B-type reflectance spectrum indicates that Phaethon's composition is similar to carbonaceous chondrite meteorites, but a connection to a specific meteorite group is ambiguous due to the lack of diagnostic absorption features. In this study, we analyze the mid-infrared emissivity spectrum of Phaethon and find that it is closely associated with the Yamato-group (CY) of carbonaceous chondrites. The CY chondrites represent primitive carbonaceous material that experienced early aqueous alteration and subsequent late-stage thermal metamorphism. Minerals in these meteorites, some of which we identify in Phaethon's spectrum, show evidence of thermal decomposition; notably, the dehydroxylation and transformation of phyllosilicates into poorly crystalline olivine. Additionally, sulfides and carbonates in CYs are known release S2and CO2 gas upon heating to ~700oC. We show that Phaethon's surface temperature during its observed window of activity is consistent with the thermal decomposition temperatures of several components in CY meteorites. All of these lines of evidence are strong indicators that gas release from thermal decomposition reactions is responsible for Phaethon's activity. The results of this study have implications for the formation of the Geminid meteoroid stream, the origins of thermally-altered primitive meteorites, and the destruction of low-perihelion asteroids.


title: Evidences for magnetic dimers and skyrmion lattice formation in Eu$_2$Pd$_2$Sn

abstract: Magnetic, thermal and transport properties of the non-centrosymmetric compound Eu$_2$Pd$_2$Sn are revisited after including new measurements. In its paramagnetic phase, the outstanding feature of this compound is the formation of Eu$^{2+}$ dimers that allows to understand the deviation of the magnetic susceptibility $\chi(T)$ from the C-W law below about 70\,K, the field dependent magnetization $M(B)$ variation below $\approx 80$\,K and the reduced entropy at the ordering temperature $S(T_N)= 0.64R\ln(8)$. A significant change of the exchange interactions occurs between $T\approx 70$\,K (where $\theta_P = 18$\,K) and $T_N = 13.3$\,K (where $\theta_P =-4.5$\,K). The strong electronic overlap, arising from the reduced Eu-Eu spacing compared with that of pure Eu$^{2+}$ is expected to power these quasiparticles formation, inducing a significant reformulation of the magnetic structure. A rich magnetic phase diagram is obtained from the analysis of the derivatives of the magnetic parameters: $\partial \chi/\partial T$ and $\partial M/\partial B$, and the field dependence of the specific heat. Two critical points are recognized and a tentative description of the magnetic structures is proposed. The possible formation of a skyrmion lattice, that arises from the presence of magnetically frustrated pockets in the phase diagram, is suggested by theoretical studies on hexagonal structures exhibiting similar interactions pattern.


title: Decompaction-wave propagation in a vibrated fine powder bed

abstract: We experimentally study the crack formation and decompaction-wave propagating in a vibrated powder bed consisting of glass beads of 5 {\mu}m in diameter. The vibrated powder bed exhibits three distinct phases depending on the vibration conditions: consolidation (CS), static fracture (SF), and dynamic fracture (DF). Particularly, we found an upward wave propagation in the DF regime when the powder bed is strongly vibrated. As a remarkable feature, we found that in fine cohesive powders, the decompaction-wave propagation speed normalized to gravitational speed is independent of the shaking strength. This result implies that the wave propagation speed is governed by the balance between gravity and cohesion effect rather than vibration strength. We also explore the universality of wave propagation phenomenon in coarser and low-density granular powders.


title: Pareto Optimal Strategies for Event-Triggered Estimation

abstract: Although resource-limited networked autonomous systems must be able to efficiently and effectively accomplish tasks, better conservation of resources often results in worse task performance. We specifically address the problem of finding strategies for managing measurement communication costs between agents. A well understood technique for trading off communication costs with estimation accuracy is event triggering (ET), where measurements are only communicated when useful, e.g., when Kalman filter innovations exceed some threshold. In the absence of measurements, agents can use implicit information to achieve results almost as well as when explicit data is always communicated. However, there are no methods for setting this threshold with formal guarantees on task performance. We fill this gap by developing a novel belief space discretization technique to abstract a continuous space dynamics model for ET estimation to a discrete Markov decision process, which scalably accommodates threshold-sensitive ET estimator error covariances. We then apply an existing probabilistic trade-off analysis tool to find the set of all optimal trade-offs between resource consumption and task performance. From this set, an ET threshold selection strategy is extracted. Simulated results show our approach identifies non-trivial trade-offs between performance and energy savings, with only modest computational effort.


title: Implementation of a Didactic Compiler for a superset of PL/0

abstract: This article describes the features of a compiler for a superset language of the well-known PL/0 created by Niklaus Wirth. The main feature is that it implements the build phases in such a way that the information passed between each one is reflected as an XML file.


title: Quantum Walk Random Number Generation: Memory-based Models

abstract: The semi-source independent quantum walk random number generator (SI-QW-QRNG) is a cryptographic protocol that extracts a string of true random bits from a quantum random walk with an adversary controls a randomness source, but the dimension of the system is known. This paper analyzes SI-QW-QRNG protocols with a memory-based quantum walk state. The new protocol utilizes a generalized coin operator with various parameters to optimize the randomness of the quantum walk state. We focus on evaluations of the protocols in multiple scenarios and walk configurations. Moreover, we show some interesting behavior of the system depending on the size of the memory space and the number of quantum coins.


title: ARtonomous: Introducing Middle School Students to Reinforcement Learning Through Virtual Robotics

abstract: Typical educational robotics approaches rely on imperative programming for robot navigation. However, with the increasing presence of AI in everyday life, these approaches miss an opportunity to introduce machine learning (ML) techniques grounded in an authentic and engaging learning context. Furthermore, the needs for costly specialized equipment and ample physical space are barriers that limit access to robotics experiences for all learners. We propose ARtonomous, a relatively low-cost, virtual alternative to physical, programming-only robotics kits. With ARtonomous, students employ reinforcement learning (RL) alongside code to train and customize virtual autonomous robotic vehicles. Through a study evaluating ARtonomous, we found that middle-school students developed an understanding of RL, reported high levels of engagement, and demonstrated curiosity for learning more about ML. This research demonstrates the feasibility of an approach like ARtonomous for 1) eliminating barriers to robotics education and 2) promoting student learning and interest in RL and ML.


title: Superficial White Matter Analysis: An Efficient Point-cloud-based Deep Learning Framework with Supervised Contrastive Learning for Consistent Tractography Parcellation across Populations and dMRI Acquisitions

abstract: Diffusion MRI tractography is an advanced imaging technique that enables in vivo mapping of the brain's white matter connections. White matter parcellation classifies tractography streamlines into clusters or anatomically meaningful tracts. It enables quantification and visualization of whole-brain tractography. Currently, most parcellation methods focus on the deep white matter (DWM), whereas fewer methods address the superficial white matter (SWM) due to its complexity. We propose a novel two-stage deep-learning-based framework, Superficial White Matter Analysis (SupWMA), that performs an efficient and consistent parcellation of 198 SWM clusters from whole-brain tractography. A point-cloud-based network is adapted to our SWM parcellation task, and supervised contrastive learning enables more discriminative representations between plausible streamlines and outliers for SWM. We train our model on a large-scale tractography dataset including streamline samples from labeled long- and medium-range (over 40 mm) SWM clusters and anatomically implausible streamline samples, and we perform testing on six independently acquired datasets of different ages and health conditions (including neonates and patients with space-occupying brain tumors). Compared to several state-of-the-art methods, SupWMA obtains highly consistent and accurate SWM parcellation results on all datasets, showing good generalization across the lifespan in health and disease. In addition, the computational speed of SupWMA is much faster than other methods.


title: Gain-gain and gain-lossless PT-symmetry broken from PT-phase diagram

abstract: Parity-time (PT) symmetry and broken in micro/nano photonic structures have been investigated extensively as they bring new opportunities to control the flow of light based on non-Hermitian optics. Previous studies have focused on the situations of PT-symmetry broken in loss-loss or gain-loss coupling systems. Here, we theoretically predict the gain-gain and gain-lossless PT-broken from phase diagram, where the boundaries between PT-symmetry and PT-broken can be clearly defined in the full-parameter space including gain, lossless and loss. For specific micro/nano photonic structures, such as coupled waveguides, we give the transmission matrices of each phase space, which can be used for beam splitting. Taking coupled waveguides as an example, we obtain periodic energy exchange in PT-symmetry phase and exponential gain or loss in PT-broken phase, which are consistent with the phase diagram. The scenario giving a full view of PT-symmetry or broken, will not only deepen the understanding of fundamental physics, but also will promote the breakthrough of photonic applications like optical routers and beam splitters.


title: Calibrated ensembles can mitigate accuracy tradeoffs under distribution shift

abstract: We often see undesirable tradeoffs in robust machine learning where out-of-distribution (OOD) accuracy is at odds with in-distribution (ID) accuracy: a robust classifier obtained via specialized techniques such as removing spurious features often has better OOD but worse ID accuracy compared to a standard classifier trained via ERM. In this paper, we find that ID-calibrated ensembles -- where we simply ensemble the standard and robust models after calibrating on only ID data -- outperforms prior state-of-the-art (based on self-training) on both ID and OOD accuracy. On eleven natural distribution shift datasets, ID-calibrated ensembles obtain the best of both worlds: strong ID accuracy and OOD accuracy. We analyze this method in stylized settings, and identify two important conditions for ensembles to perform well both ID and OOD: (1) we need to calibrate the standard and robust models (on ID data, because OOD data is unavailable), (2) OOD has no anticorrelated spurious features.


title: A Security & Privacy Analysis of US-based Contact Tracing Apps

abstract: With the onset of COVID-19, governments worldwide planned to develop and deploy contact tracing (CT) apps to help speed up the contact tracing process. However, experts raised concerns about the long-term privacy and security implications of using these apps. Consequently, several proposals were made to design privacy-preserving CT apps. To this end, Google and Apple developed the Google/Apple Exposure Notification (GAEN) framework to help public health authorities develop privacy-preserving CT apps. In the United States, 26 states used the GAEN framework to develop their CT apps. In this paper, we empirically evaluate the US-based GAEN apps to determine 1) the privileges they have, 2) if the apps comply with their defined privacy policies, and 3) if they contain known vulnerabilities that can be exploited to compromise privacy. The results show that all apps violate their stated privacy policy and contain several known vulnerabilities.


title: SelectionConv: Convolutional Neural Networks for Non-rectilinear Image Data

abstract: Convolutional Neural Networks have revolutionized vision applications. There are image domains and representations, however, that cannot be handled by standard CNNs (e.g., spherical images, superpixels). Such data are usually processed using networks and algorithms specialized for each type. In this work, we show that it may not always be necessary to use specialized neural networks to operate on such spaces. Instead, we introduce a new structured graph convolution operator that can copy 2D convolution weights, transferring the capabilities of already trained traditional CNNs to our new graph network. This network can then operate on any data that can be represented as a positional graph. By converting non-rectilinear data to a graph, we can apply these convolutions on these irregular image domains without requiring training on large domain-specific datasets. Results of transferring pre-trained image networks for segmentation, stylization, and depth prediction are demonstrated for a variety of such data forms.


title: DeformIrisNet: An Identity-Preserving Model of Iris Texture Deformation

abstract: Nonlinear iris texture deformations due to pupil size variations are one of the main factors responsible for within-class variance of genuine comparison scores in iris recognition. In dominant approaches to iris recognition, the size of a ring-shaped iris region is linearly scaled to a canonical rectangle, used further in encoding and matching. However, the biological complexity of the iris sphincter and dilator muscles causes the movements of iris features to be nonlinear in a function of pupil size, and not solely organized along radial paths. Alternatively to the existing theoretical models based on the biomechanics of iris musculature, in this paper we propose a novel deep autoencoder-based model that can effectively learn complex movements of iris texture features directly from the data. The proposed model takes two inputs, (a) an ISO-compliant near-infrared iris image with initial pupil size, and (b) the binary mask defining the target shape of the iris. The model makes all the necessary nonlinear deformations to the iris texture to match the shape of the iris in an image (a) with the shape provided by the target mask (b). The identity-preservation component of the loss function helps the model in finding deformations that preserve identity and not only the visual realism of the generated samples. We also demonstrate two immediate applications of this model: better compensation for iris texture deformations in iris recognition algorithms, compared to linear models, and the creation of a generative algorithm that can aid human forensic examiners, who may need to compare iris images with a large difference in pupil dilation. We offer the source codes and model weights available along with this paper.


title: A splitter theorem for elastic elements in $3$-connected matroids

abstract: An element $e$ of a $3$-connected matroid $M$ is elastic if ${\rm si}(M/e)$, the simplification of $M/e$, and ${\rm co}(M\backslash e)$, the cosimplification of $M\backslash e$, are both $3$-connected. It was recently shown that if $|E(M)|\geq 4$, then $M$ has at least four elastic elements provided $M$ has no $4$-element fans and no member of a specific family of $3$-separators. In this paper, we extend this wheels-and-whirls type result to a splitter theorem, where the removal of elements is with respect to elasticity and keeping a specified $3$-connected minor. We also prove that if $M$ has exactly four elastic elements, then it has path-width three. Lastly, we resolve a question of Whittle and Williams, and show that past analogous results, where the removal of elements is relative to a fixed basis, are consequences of this work.


title: Selection Bias Induced Spurious Correlations in Large Language Models

abstract: In this work we show how large language models (LLMs) can learn statistical dependencies between otherwise unconditionally independent variables due to dataset selection bias. To demonstrate the effect, we developed a masked gender task that can be applied to BERT-family models to reveal spurious correlations between predicted gender pronouns and a variety of seemingly gender-neutral variables like date and location, on pre-trained (unmodified) BERT and RoBERTa large models. Finally, we provide an online demo, inviting readers to experiment further.


title: Uniform entropy and energy bounds for fully non-linear equations

abstract: Energy bounds which are uniform in the background metric are obtained from upper bounds for entropy-like quantities. The argument is based on auxiliary Monge-Amp\`ere equations involving sublevel sets, and bypasses the Alexandrov-Bakelman-Pucci maximum principle. In particular, it implies uniform $L^\infty$ bounds for systems coupling a fully non-linear equation to its linearization, generalizing the cscK equation.


title: Permanent magnet optimization for stellarators as sparse regression

abstract: A common scientific inverse problem is the placement of magnets that produce a desired magnetic field inside a prescribed volume. This is a key component of stellarator design, and recently permanent magnets have been proposed as a potentially useful tool for magnetic field shaping. Here, we take a closer look at possible objective functions for permanent magnet optimization, reformulate the problem as sparse regression, and propose an algorithm that can efficiently solve many convex and nonconvex variants. The algorithm generates sparse solutions that are independent of the initial guess, explicitly enforces maximum strengths for the permanent magnets, and accurately produces the desired magnetic field. The algorithm is flexible, and our implementation is open-source and computationally fast. We conclude with two new permanent magnet configurations for the NCSX and MUSE stellarators. Our methodology can be additionally applied for effectively solving permanent magnet optimizations in other scientific fields, as well as for solving quite general high-dimensional, constrained, sparse regression problems, even if a binary solution is required.


title: Representing systems of reproducing kernels in spaces of analytic functions

abstract: We give an elementary construction of representing systems of the Cauchy kernels in the Hardy spaces $H^p$, $1 \le p <\infty$, as well as of representing systems of reproducing kernels in weighted Hardy spaces.


title: Effective Model for Fractional Topological Corner Modes in Quasicrystals

abstract: High-order topological insulators (HOTIs), as generalized from topological crystalline insulators (TCIs), are characterized with lower-dimensional metallic boundary states protected by spatial symmetries of a crystal, whose theoretical framework based on band inversion at special $k$-points cannot be readily extended to quasicrystals because quasicrystals contain rotational symmetries that are not compatible with crystals, and momentum is no longer a good quantum number. Here, we develop a low-energy effective model underlying HOTI states in 2D quasicrystals for all possible rotational symmetries. By implementing a novel Fourier transform developed recently for quasicrystals and approximating the long-wavelength behavior by their large-scale average, we construct an effective $k \cdot p$ Hamiltonian to capture the band inversion at the center of a pseudo-Brillouin zone (PBZ). We show that an in-plane Zeeman field can induce mass-kinks at the intersection of adjacent edges of a 2D quasicrystal TI and generate corner modes (CMs) with fractional charge, protected by rotational symmetries. Our model predictions are confirmed by numerical tight-binding calculations. Furthermore, when the quasicrystal is proximitized by an \textit{s}-wave superconductor, Majorana CMs can also be created by tuning the field strength and chemical potential. Our work affords a generic approach to studying the low-energy physics of quasicrystals, in association with topological excitations and fractional statistics.


title: Asymmetric Light Bending in the Equatorial Kerr Metric

abstract: The observation of the bending of light by mass, now known as gravitational lensing, was key in establishing general relativity as one of the pillars of modern physics. In the past couple of decades, there has been increasing interest in using gravitational lensing to test general relativity beyond the weak deflection limit. Black holes and neutron stars produce the strong gravitational fields needed for such tests. For a rotating compact object, the distinction between prograde and retrograde photon trajectories becomes important. In this paper, we explore subtleties that arise in interpreting the bending angle in this context and address the origin of seemingly contradictory results in the literature. We argue that analogies that cannot be precisely quantified present a source of confusion.


title: Training Large-Vocabulary Neural Language Models by Private Federated Learning for Resource-Constrained Devices

abstract: Federated Learning (FL) is a technique to train models using data distributed across devices. Differential Privacy (DP) provides a formal privacy guarantee for sensitive data. Our goal is to train a large neural network language model (NNLM) on compute-constrained devices while preserving privacy using FL and DP. However, the DP-noise introduced to the model increases as the model size grows, which often prevents convergence. We propose Partial Embedding Updates (PEU), a novel technique to decrease noise by decreasing payload size. Furthermore, we adopt Low Rank Adaptation (LoRA) and Noise Contrastive Estimation (NCE) to reduce the memory demands of large models on compute-constrained devices. This combination of techniques makes it possible to train large-vocabulary language models while preserving accuracy and privacy.


title: Capabilities, Limitations and Challenges of Style Transfer with CycleGANs: A Study on Automatic Ring Design Generation

abstract: Rendering programs have changed the design process completely as they permit to see how the products will look before they are fabricated. However, the rendering process is complicated and takes a significant amount of time, not only in the rendering itself but in the setting of the scene as well. Materials, lights and cameras need to be set in order to get the best quality results. Nevertheless, the optimal output may not be obtained in the first render. This all makes the rendering process a tedious process. Since Goodfellow et al. introduced Generative Adversarial Networks (GANs) in 2014 [1], they have been used to generate computer-assigned synthetic data, from non-existing human faces to medical data analysis or image style transfer. GANs have been used to transfer image textures from one domain to another. However, paired data from both domains was needed. When Zhu et al. introduced the CycleGAN model, the elimination of this expensive constraint permitted transforming one image from one domain into another, without the need for paired data. This work validates the applicability of CycleGANs on style transfer from an initial sketch to a final render in 2D that represents a 3D design, a step that is paramount in every product design process. We inquiry the possibilities of including CycleGANs as part of the design pipeline, more precisely, applied to the rendering of ring designs. Our contribution entails a crucial part of the process as it allows the customer to see the final product before buying. This work sets a basis for future research, showing the possibilities of GANs in design and establishing a starting point for novel applications to approach crafts design.


title: Snowmass White Paper: New flavors and rich structures in dark sectors

abstract: Dark matter can be part of a dark sector with non-minimal couplings to the Standard Model. Compared to many (minimal) benchmark models, such scenarios can result in significant modifications in experimental signatures and strongly impact experimental search sensitivity. In this white paper, we review several non-minimal dark sector models, including phenomenological consequences: models explaining $(g-2)_\mu$, inelastic dark matter, strongly interacting massive particles as dark matter candidates, and axions with flavorful couplings. The present exclusions and projected experimental sensitivities on these example dark sector models illustrate the robustness of the growing dark sector experimental effort -- both the broadness and the precision of existing searches -- probing theoretically interesting parameter space. They also illustrate some of the unique complementarity of different experimental approaches.


title: Maximal Speed of Propagation in Open Quantum Systems

abstract: We prove a maximal velocity bound for the dynamics of Markovian open quantum systems. The dynamics are described by one-parameter semi-groups of quantum channels satisfying the von Neumann-Lindblad equation. Our result says that dynamically evolving states are contained inside a suitable light cone up to polynomial errors. We also give a bound on the slope of the light cone, i.e., the maximal propagation speed. The result implies an upper bound on the speed of propagation of local perturbations of stationary states in open quantum systems.


title: Spectrum of a composition operator with automorphic symbol

abstract: We give a complete characterization of the spectrum of composition operators, induced by an automorphism of the open unit disk, acting on a family of Banach spaces of analytic functions that includes the Bloch space and BMOA. We show that for parabolic and hyperbolic automorphisms, the spectrum is the unit circle. For the case of elliptic automorphisms, the spectrum is either the unit circle or a finite cyclic subgroup of the unit circle.


title: Machine Learning in Orbit Estimation: a Survey

abstract: Since the late 1950s, when the first artificial satellite was launched, the number of Resident Space Objects has steadily increased. It is estimated that around one million objects larger than one cm are currently orbiting the Earth, with only thirty thousand larger than ten cm being tracked. To avert a chain reaction of collisions, known as Kessler Syndrome, it is essential to accurately track and predict debris and satellites' orbits. Current approximate physics-based methods have errors in the order of kilometers for seven-day predictions, which is insufficient when considering space debris, typically with less than one meter. This failure is usually due to uncertainty around the state of the space object at the beginning of the trajectory, forecasting errors in environmental conditions such as atmospheric drag, and unknown characteristics such as the mass or geometry of the space object. Operators can enhance Orbit Prediction accuracy by deriving unmeasured objects' characteristics and improving non-conservative forces' effects by leveraging data-driven techniques, such as Machine Learning. In this survey, we provide an overview of the work in applying Machine Learning for Orbit Determination, Orbit Prediction, and atmospheric density modeling.


title: Higher localization and higher branching laws

abstract: For a connected reductive group $G$ and an affine smooth $G$-variety $X$ over the complex numbers, the localization functor takes $\mathfrak{g}$-modules to $D_X$-modules. We extend this construction to an equivariant and derived setting using the formalism of h-complexes due to Beilinson-Ginzburg, and show that the localizations of Harish-Chandra $(\mathfrak{g}, K)$-modules onto $X = H \backslash G$ have regular holonomic cohomologies when $H, K \subset G$ are both spherical reductive subgroups. The relative Lie algebra homologies and $\mathrm{Ext}$-branching spaces for $(\mathfrak{g}, K)$-modules are interpreted geometrically in terms of equivariant derived localizations. As direct consequences, we show that they are finite-dimensional under the same assumptions, and relate Euler-Poincar\'e characteristics to local index theorem; this recovers parts of the recent results of M. Kitagawa. Examples and discussions on the relation to Schwartz homologies are also included.


title: The Levy-Lieb embedding of density functional theory and its Quantum Kernel: Illustration for the Hubbard Dimer using near-term quantum algorithms

abstract: The constrained-search formulation of Levy and Lieb provides a concrete mapping from N-representable densities to the space of N-particle wavefunctions and explicitly defines the universal functional of density functional theory. We numerically implement the Levy-Lieb procedure for a paradigmatic lattice system, the Hubbard dimer, using a modified variational quantum eigensolver approach. We demonstrate density variational minimization using the resulting hybrid quantum-classical scheme featuring real-time computation of the Levy-Lieb functional along the search trajectory. We further illustrate a fidelity based quantum kernel associated with the density to pure-state embedding implied by the Levy-Lieb procedure and employ the kernel for learning observable functionals of the density. We study the kernel's ability to generalize with high accuracy through numerical experiments on the Hubbard dimer.


title: Multi-Source AoI-Constrained Resource Minimization under HARQ: Heterogeneous Sampling Processes

abstract: We consider a multi-source hybrid automatic repeat request (HARQ) based system, where a transmitter sends status update packets of random arrival (i.e., uncontrollable sampling) and generate-atwill (i.e., controllable sampling) sources to a destination through an error-prone channel. We develop transmission scheduling policies to minimize the average number of transmissions subject to an average age of information (AoI) constraint. First, we consider known environment (i.e., known system statistics) and develop a near-optimal deterministic transmission policy and a low-complexity dynamic transmission (LC-DT) policy. The former policy is derived by casting the main problem into a constrained Markov decision process (CMDP) problem, which is then solved using the Lagrangian relaxation, relative value iteration algorithm, and bisection. The LC-DT policy is developed via the drift-plus-penalty (DPP) method by transforming the main problem into a sequence of per-slot problems. Finally, we consider unknown environment and devise a learning-based transmission policy by relaxing the CMDP problem into an MDP problem using the DPP method and then adopting the deep Q-learning algorithm. Numerical results show that the proposed policies achieve near-optimal performance and illustrate the benefits of HARQ in status updating.


title: Structure from Action: Learning Interactions for Articulated Object 3D Structure Discovery

abstract: We introduce Structure from Action (SfA), a framework to discover 3D part geometry and joint parameters of unseen articulated objects via a sequence of inferred interactions. Our key insight is that 3D interaction and perception should be considered in conjunction to construct 3D articulated CAD models, especially for categories not seen during training. By selecting informative interactions, SfA discovers parts and reveals occluded surfaces, like the inside of a closed drawer. By aggregating visual observations in 3D, SfA accurately segments multiple parts, reconstructs part geometry, and infers all joint parameters in a canonical coordinate frame. Our experiments demonstrate that a SfA model trained in simulation can generalize to many unseen object categories with diverse structures and to real-world objects. Empirically, SfA outperforms a pipeline of state-of-the-art components by 25.4 3D IoU percentage points on unseen categories, while matching already performant joint estimation baselines.


title: Discovering novel systemic biomarkers in photos of the external eye

abstract: External eye photos were recently shown to reveal signs of diabetic retinal disease and elevated HbA1c. In this paper, we evaluate if external eye photos contain information about additional systemic medical conditions. We developed a deep learning system (DLS) that takes external eye photos as input and predicts multiple systemic parameters, such as those related to the liver (albumin, AST); kidney (eGFR estimated using the race-free 2021 CKD-EPI creatinine equation, the urine ACR); bone & mineral (calcium); thyroid (TSH); and blood count (Hgb, WBC, platelets). Development leveraged 151,237 images from 49,015 patients with diabetes undergoing diabetic eye screening in 11 sites across Los Angeles county, CA. Evaluation focused on 9 pre-specified systemic parameters and leveraged 3 validation sets (A, B, C) spanning 28,869 patients with and without diabetes undergoing eye screening in 3 independent sites in Los Angeles County, CA, and the greater Atlanta area, GA. We compared against baseline models incorporating available clinicodemographic variables (e.g. age, sex, race/ethnicity, years with diabetes). Relative to the baseline, the DLS achieved statistically significant superior performance at detecting AST>36, calcium<8.6, eGFR<60, Hgb<11, platelets<150, ACR>=300, and WBC<4 on validation set A (a patient population similar to the development sets), where the AUC of DLS exceeded that of the baseline by 5.2-19.4%. On validation sets B and C, with substantial patient population differences compared to the development sets, the DLS outperformed the baseline for ACR>=300 and Hgb<11 by 7.3-13.2%. Our findings provide further evidence that external eye photos contain important biomarkers of systemic health spanning multiple organ systems. Further work is needed to investigate whether and how these biomarkers can be translated into clinical impact.


title: Analysis of SIR epidemic models with sociological phenomenon

abstract: We propose two SIR models which incorporate sociological behavior of groups of individuals. It is these differences in behaviors which impose different infection rates on the individual susceptible populations, rather than biological differences. We compute the basic reproduction number for each model, as well as analyze the sensitivity of $R_0$ to changes in sociological parameter values.


title: Random sorting networks: edge limit

abstract: A sorting network is a shortest path from $12\dots n$ to $n\dots 21$ in the Cayley graph of the symmetric group $\mathfrak S_n$ spanned by adjacent transpositions. The paper computes the edge local limit of the uniformly random sorting networks as $n\to\infty$. We find the asymptotic distribution of the first occurrence of a given swap $(k,k+1)$ and identify it with the law of the smallest positive eigenvalue of a $2k\times 2k$ aGUE (an aGUE matrix has purely imaginary Gaussian entries that are independently distributed subject to skew-symmetry). Next, we give two different formal definitions of a spacing -- the time distance between the occurrence of a given swap $(k,k+1)$ in a uniformly random sorting network. Two definitions lead to two different expressions for the asymptotic laws expressed in terms of derivatives of Fredholm determinants.


title: Composition operators on weighted Banach spaces of a tree

abstract: We study composition operators on the weighted Banach spaces of an infinite tree. We characterize the bounded and the compact operators, as well as determine the operator norm and the essential norm. In addition, we study the isometric composition operators.


title: Accelerating Frank-Wolfe Algorithm using Low-Dimensional and Adaptive Data Structures

abstract: In this paper, we study the problem of speeding up a type of optimization algorithms called Frank-Wolfe, a conditional gradient method. We develop and employ two novel inner product search data structures, improving the prior fastest algorithm in [Shrivastava, Song and Xu, NeurIPS 2021]. * The first data structure uses low-dimensional random projection to reduce the problem to a lower dimension, then uses efficient inner product data structure. It has preprocessing time $\tilde O(nd^{\omega-1}+dn^{1+o(1)})$ and per iteration cost $\tilde O(d+n^\rho)$ for small constant $\rho$. * The second data structure leverages the recent development in adaptive inner product search data structure that can output estimations to all inner products. It has preprocessing time $\tilde O(nd)$ and per iteration cost $\tilde O(d+n)$. The first algorithm improves the state-of-the-art (with preprocessing time $\tilde O(d^2n^{1+o(1)})$ and per iteration cost $\tilde O(dn^\rho)$) in all cases, while the second one provides an even faster preprocessing time and is suitable when the number of iterations is small.


title: Hunting extra dimensions in the shadow of Sgr A*

abstract: We show that the observed angular diameter of the shadow of the ultra compact object Sgr A*, favours the existence of an extra spatial dimension. This holds irrespective of the nature of the ultra compact object, i.e., whether it is a wormhole or, a black hole mimicker, but with the common feature that both of them have an extra dimensional origin. This result holds true for the mass and the distance measurements of Sgr A* using both Keck and the Gravity collaborations and whether we use the observed image or, the observed shadow diameter. In particular, the central value of the observed shadow or, the observed image diameter predicts non-zero hairs inherited from the extra dimensions.


title: Bias correction and uniform inference for the quantile density function

abstract: For the kernel estimator of the quantile density function (the derivative of the quantile function), I show how to perform the boundary bias correction, establish the rate of strong uniform consistency of the bias-corrected estimator, and construct the confidence bands that are asymptotically exact uniformly over the entire domain $[0,1]$. The proposed procedures rely on the pivotality of the studentized bias-corrected estimator and known anti-concentration properties of the Gaussian approximation for its supremum.


title: Separating the memory of reionization from cosmology in the Ly$\alpha$ forest power spectrum at the post-reionization era

abstract: It has been recently shown that the astrophysics of reionization can be extracted from the Ly$\alpha$ forest power spectrum by marginalizing the memory of reionization over cosmological information. This impact of cosmic reionization on the Ly$\alpha$ forest power spectrum can survive cosmological time scales because cosmic reionization, which is inhomogeneous, and subsequent shocks from denser regions can heat the gas in low-density regions to $\sim 3\times10^4$ K and compress it to mean-density. Current approach of marginalization over the memory of reionization, however, is not only model-dependent, based on the assumption of a specific reionization model, but also computationally expensive. Here we propose a simple analytical template for the impact of cosmic reionization, thereby treating it as a broadband systematic to be marginalized over for Bayesian inference of cosmological information from the Ly$\alpha$ forest in a model-independent manner. This template performs remarkably well with an error of $\leq 6 \%$ at large scales $k \approx 0.19$ Mpc$^{-1}$ where the effect of the memory of reionization is important, and reproduces the broadband effect of the memory of reionization in the Ly$\alpha$ forest correlation function, as well as the expected bias of cosmological parameters due to this systematic. The template can successfully recover the morphology of forecast errors in cosmological parameter space as expected when assuming a specific reionization model for marginalization purposes, with a slight overestimation of tens of per cent for the forecast errors on the cosmological parameters. We further propose a similar template for this systematic on the Ly$\alpha$ forest 1D power spectrum.


title: Weighted composition operators on discrete weighted Banach spaces

abstract: We present the current results in the study of weighted composition operators on weighted Banach spaces of an unbounded, locally finite metric space. Specifically, we determine characterizations of bounded and compact weighted composition operators, including the operator and essential norms. In addition, we characterize the weighted composition operators that are injective, are bounded below, have closed range, and have bounded inverse. We characterize the isometries and surjective isometries among the weighted composition operators, as well as those that satisfy the Fredholm condition. Lastly, we provide numerous interesting examples of the richness of these operators acting on the discrete weighted Banach spaces.


title: A unified framework for change point detection in high-dimensional linear models

abstract: In recent years, change point detection for high dimensional data has become increasingly important in many scientific fields. Most literature develop a variety of separate methods designed for specified models (e.g. mean shift model, vector auto-regressive model, graphical model). In this paper, we provide a unified framework for structural break detection which is suitable for a large class of models. Moreover, the proposed algorithm automatically achieves consistent parameter estimates during the change point detection process, without the need for refitting the model. Specifically, we introduce a three-step procedure. The first step utilizes the block segmentation strategy combined with a fused lasso based estimation criterion, leads to significant computational gains without compromising the statistical accuracy in identifying the number and location of the structural breaks. This procedure is further coupled with hard-thresholding and exhaustive search steps to consistently estimate the number and location of the break points. The strong guarantees are proved on both the number of estimated change points and the rates of convergence of their locations. The consistent estimates of model parameters are also provided. The numerical studies provide further support of the theory and validate its competitive performance for a wide range of models. The developed algorithm is implemented in the R package LinearDetect.


title: Emergence of Exceptional Points in Periodic Metastructures with Hidden PT-symmetric Defects

abstract: We study the elastodynamics of a periodic metastructure incorporating a defect pair that enforces a parity-time (PT) symmetry due to a judiciously engineered imaginary impedance elements - one having energy amplification (gain) and the other having an equivalent attenuation (loss) mechanism. We show that their presence affects the initial band structure of the periodic Hermitian metastructure and leads to the formation of numerous exceptional points (EPs) which are mainly located at the band edges where the local density of modes is higher. The spatial location of the PT-symmetric defect serves as an additional control over the number of emerging EPs in the corresponding spectra as well as the critical non-Hermitian (gain/loss) strength required to create the first EP - a specific defect location minimizes the critical non-Hermitian strength. We use both finite element and coupled-mode-theory-based models to investigate these metastructures, and use a time-independent second-order perturbation theory to further demonstrate the influence of the size of the metastructure and the PT-symmetric defect location on the minimum non-Hermitian strength required to create the first EP in a band. Our findings motivate feasible designs for the experimental realization of EPs in elastodynamic metastructures.

categories: physics.app-ph cond-mat.mtrl-sci physics.data-an physics.optics


title: Topological structure of the space of composition operators on $L^\infty$ of an unbounded, locally finite metric space

abstract: We study properties of the topological space of composition operators on the Banach algebra of bounded functions on an unbounded, locally finite metric space in the operator norm topology and essential norm topology. Moreover, we characterize the compactness of differences of two such composition operators.


title: Short-range order and its impacts on the BCC NbMoTaW multi-principal element alloy by the machine-learning potential

abstract: We employ a machine-learning force field, trained by a neural network (NN) with bispectrum coefficients as descriptors, to investigate the short-range order (SRO) influences on the BCC NbMoTaW alloy strengthening mechanism. The NN interatomic potential provides a transferable force field with density functional theory accuracy. This novel NN potential is applied to elucidate the SRO effects on the elasticity, vibrational modes, plasticity, and strength in the NbMoTaW multi-principal element alloy (MPEA). The results show the strong attraction among Mo-Ta pairs forming the local ordered B2 structures, which could be tuned via temperature and improved by Nb content. SRO increases the elastic constants and high-frequency phonon modes as well as introduces extra lattice friction of dislocation motion. This approach enables a rapid compositional screening, paves the way for computation-guided materials design of new MPEAs with better performance, and opens avenues for tuning the mechanical properties by processing optimization.


title: Verifying raytracing/Fokker-Planck lower-hybrid current drive predictions with self-consistent full-wave/Fokker-Planck simulations

abstract: Raytracing/Fokker-Planck (FP) simulations used to model lower-hybrid current drive (LHCD) often fail to reproduce experimental results, particularly when LHCD is weakly damped. A proposed reason for this discrepancy is the lack of "full-wave" effects, such as diffraction and interference, in raytracing simulations and the breakdown of raytracing approximation. Previous studies of LHCD using non-Maxwellian full-wave/FP simulations have been performed, but these simulations were not self-consistent and enforced power conservation between the FP and full-wave code using a numerical rescaling factor. Here we have created a fully-self consistent full-wave/FP model for LHCD that is automatically power conserving. This was accomplished by coupling an overhauled version of the non-Maxwellian TORLH full-wave solver and the CQL3D FP code using the Integrated Plasma Simulator. We performed converged full-wave/FP simulations of Alcator C-Mod discharges and compared them to raytracing. We found that excellent agreement in the power deposition profiles from raytracing and TORLH could be obtained, however, TORLH had somewhat lower current drive efficiency and broader power deposition profiles in some cases. This discrepancy appears to be a result of numerical limitations present in the TORLH model and a small amount of diffractional broadening of the TORLH wave spectrum. Our results suggest full-wave simulation of LHCD is likely not necessary as diffraction and interference represented only a small correction that could not account for the differences between simulations and experiment.


title: SS-MFAR : Semi-supervised Multi-task Facial Affect Recognition

abstract: Automatic affect recognition has applications in many areas such as education, gaming, software development, automotives, medical care, etc. but it is non trivial task to achieve appreciable performance on in-the-wild data sets. In-the-wild data sets though represent real-world scenarios better than synthetic data sets, the former ones suffer from the problem of incomplete labels. Inspired by semi-supervised learning, in this paper, we introduce our submission to the Multi-Task-Learning Challenge at the 4th Affective Behavior Analysis in-the-wild (ABAW) 2022 Competition. The three tasks that are considered in this challenge are valence-arousal(VA) estimation, classification of expressions into 6 basic (anger, disgust, fear, happiness, sadness, surprise), neutral, and the 'other' category and 12 action units(AU) numbered AU-{1,2,4,6,7,10,12,15,23,24,25,26}. Our method Semi-supervised Multi-task Facial Affect Recognition titled SS-MFAR uses a deep residual network with task specific classifiers for each of the tasks along with adaptive thresholds for each expression class and semi-supervised learning for the incomplete labels. Source code is available at https://github.com/1980x/ABAW2022DMACS.


title: The H/Q-correspondence and a generalization of the supergravity c-map

abstract: Given a hypercomplex manifold with a rotating vector field (and additional data), we construct a conical hypercomplex manifold. As a consequence, we associate a quaternionic manifold to a hypercomplex manifold of the same dimension with a rotating vector field. This is a generalization of the HK/QK-correspondence. As an application, we show that a quaternionic manifold can be associated to a conical special complex manifold of half its dimension. Furthermore, a projective special complex manifold (with a canonical c-projective structure) associates with a quaternionic manifold. The latter is a generalization of the supergravity c-map. We do also show that the tangent bundle of any special complex manifold carries a canonical Ricci-flat hypercomplex structure, thereby generalizing the rigid c-map.


title: Fundamental constraints on the observability of non-Hermitian effects in passive systems

abstract: Utilizing scattering theory, we quantify the consequences of physical constraints that limit the visibility of non-Hermitian effects in passive devices. The constraints arise from the fundamental requirement that the system obeys causality, and can be captured concisely in terms of an internal time-delay operator, which furthermore provides a direct quantitative measure of the visibility of specific non-Hermitian phenomena in the density of states. We illustrate the implications by contrasting different symmetry classes and non-Hermitian effects, including exceptional points and the non-Hermitian skin effect, whose underlying extreme mode nonorthogonality turns out to be effectively disguised.


title: Composition-differentiation operators on the Dirichlet space

abstract: We investigate composition-differentiation operators acting on the Dirichlet space of the unit disk. Specifically, we determine characterizations for bounded, compact, and Hilbert-Schmidt composition-differentiation operators. In addition, for particular classes of inducing maps, we derive an adjoint formula, compute the norm, and identify the spectrum.


title: The role of the geometric mean in case-control studies

abstract: Historically used in settings where the outcome is rare or data collection is expensive, outcome-dependent sampling is relevant to many modern settings where data is readily available for a biased sample of the target population, such as public administrative data. Under outcome-dependent sampling, common effect measures such as the average risk difference and the average risk ratio are not identified, but the conditional odds ratio is. Aggregation of the conditional odds ratio is challenging since summary measures are generally not identified. Furthermore, the marginal odds ratio can be larger (or smaller) than all conditional odds ratios. This so-called non-collapsibility of the odds ratio is avoidable if we use an alternative aggregation to the standard arithmetic mean. We provide a new definition of collapsibility that makes this choice of aggregation method explicit, and we demonstrate that the odds ratio is collapsible under geometric aggregation. We describe how to partially identify, estimate, and do inference on the geometric odds ratio under outcome-dependent sampling. Our proposed estimator is based on the efficient influence function and therefore has doubly robust-style properties.


title: Majorana lattice gauge theory: symmetry breaking, topological order and intertwined orders all in one

abstract: The Majorana lattice gauge theory purely composed of Majorana fermions on square lattice is studied throughly. The ground state is obtained exactly and exhibits the coexistence of symmetry breaking and topological order. The $Z_2$ symmetry breaking of matter fields leads to the intertwined antiferromagnetic spin order and $\eta$-pairing order. The topological order is reflected in the $Z_2$ quantum spin liquid ground state of gauge fields. The Majorana lattice gauge theory, alternatively can be viewed as interacting Majorana fermion model, is possibly realized on a Majorana-zero-mode lattice.


title: Integer quantum Hall effect and enhanced g-factor in quantum confined Cd3As2 films

abstract: We investigate the integer quantum Hall effect in Cd3As2 thin films under conditions of strong to moderate quantum confinement (thicknesses of 10 nm, 12 nm, 15 nm). In all the films, we observe the integer quantum Hall effect in the spin-polarized lowest Landau level (filling factor {\nu} = 1) and at spin-degenerate higher index Landau levels with even filling factors ({\nu} = 2,4,6). With increasing quantum confinement, we also observe a lifting of the Landau level spin degeneracy at {\nu} = 3, manifest as the emergence of an anomaly in the longitudinal and Hall resistivity. Tight-binding calculations show that the enhanced g-factor likely arises from a combination of quantum confinement and corrections from nearby subbands. We also comment on the magnetic field induced transition from an insulator to a quantum Hall liquid when the chemical potential is near the charge neutrality point.


title: Structure-aware Editable Morphable Model for 3D Facial Detail Animation and Manipulation

abstract: Morphable models are essential for the statistical modeling of 3D faces. Previous works on morphable models mostly focus on large-scale facial geometry but ignore facial details. This paper augments morphable models in representing facial details by learning a Structure-aware Editable Morphable Model (SEMM). SEMM introduces a detail structure representation based on the distance field of wrinkle lines, jointly modeled with detail displacements to establish better correspondences and enable intuitive manipulation of wrinkle structure. Besides, SEMM introduces two transformation modules to translate expression blendshape weights and age values into changes in latent space, allowing effective semantic detail editing while maintaining identity. Extensive experiments demonstrate that the proposed model compactly represents facial details, outperforms previous methods in expression animation qualitatively and quantitatively, and achieves effective age editing and wrinkle line editing of facial details. Code and model are available at https://github.com/gerwang/facial-detail-manipulation.


title: How can quantum field operators encode entanglement?

abstract: We present techniques to construct the Deutsch-Hayden representation for quantum field operators and apply them to an entangled state of identical nonrelativistic spin-1/2 fermions localized in well-separated spatial regions. Using these entangled field operators we construct operators measuring spin in localized spatial regions, and verify that matrix elements of the spin-measurement operators in the information-free Deutsch-Hayden state yield the expected correlations between pairs of both entangled and unentangled particles. The entangled Deutsch-Hayden-representation field operators furnish an explicitly separable description of the entangled system.


title: Actionable and Interpretable Fault Localization for Recurring Failures in Online Service Systems

abstract: Fault localization is challenging in an online service system due to its monitoring data's large volume and variety and complex dependencies across or within its components (e.g., services or databases). Furthermore, engineers require fault localization solutions to be actionable and interpretable, which existing research approaches cannot satisfy. Therefore, the common industry practice is that, for a specific online service system, its experienced engineers focus on localization for recurring failures based on the knowledge accumulated about the system and historical failures. Although the above common practice is actionable and interpretable, it is largely manual, thus slow and sometimes inaccurate. In this paper, we aim to automate this practice through machine learning. That is, we propose an actionable and interpretable fault localization approach, DejaVu, for recurring failures in online service systems. For a specific online service system, DejaVu takes historical failures and dependencies in the system as input and trains a localization model offline; for an incoming failure, the trained model online recommends where the failure occurs (i.e., the faulty components) and which kind of failure occurs (i.e., the indicative group of metrics) (thus actionable), which are further interpreted by both global and local interpretation methods (thus interpretable). Based on the evaluation on 601 failures from three production systems and one open-source benchmark, in less than one second, DejaVu can on average rank the ground truths at 1.66-th to 5.03-th among a long candidate list, outperforming baselines by at least 51.51%.


title: Enhancing Security Patch Identification by Capturing Structures in Commits

abstract: With the rapid increasing number of open source software (OSS), the majority of the software vulnerabilities in the open source components are fixed silently, which leads to the deployed software that integrated them being unable to get a timely update. Hence, it is critical to design a security patch identification system to ensure the security of the utilized software. However, most of the existing works for security patch identification just consider the changed code and the commit message of a commit as a flat sequence of tokens with simple neural networks to learn its semantics, while the structure information is ignored. To address these limitations, in this paper, we propose our well-designed approach E-SPI, which extracts the structure information hidden in a commit for effective identification. Specifically, it consists of the code change encoder to extract the syntactic of the changed code with the BiLSTM to learn the code representation and the message encoder to construct the dependency graph for the commit message with the graph neural network (GNN) to learn the message representation. We further enhance the code change encoder by embedding contextual information related to the changed code. To demonstrate the effectiveness of our approach, we conduct the extensive experiments against six state-of-the-art approaches on the existing dataset and from the real deployment environment. The experimental results confirm that our approach can significantly outperform current state-of-the-art baselines.


title: Principles of tractor atom interferometry

abstract: We present possible design concepts for a tractor atom interferometer (TAI) based on three-dimensional confinement and transport of ultracold atoms. The confinement reduces device size and wave-packet dispersion, enables arbitrary holding times, and facilitates control to create complex trajectories that allow for optimization to cancel unwanted sensitivity, fast splitting and recombination, and suppression of detrimental nonadiabatic excitation. Thus, the design allows for further advancement of compact, high-sensitivity, quantum sensing technology. In particular, we focus on the implementation of quantum-enhanced accelerometers and gyroscopes. We discuss TAI protocols for both spin-dependent and scalar trapping potentials. Using optimal control theory, we demonstrate the splitting of the wave function on a time scale two orders of magnitude shorter than the previous proposal using adiabatic dynamics, thus maximizing the time spent at full separation, where the interferometric phase is accumulated. Lastly, we explore the possibility of including non-classical correlations between the atoms to improve sensitivity. The performance estimates for TAI give a promising perspective for atom-interferometry-based sensing, significantly exceeding the sensitivities of current state-of-the-art devices.


title: A single cut proximal bundle method for stochastic convex composite optimization

abstract: This paper considers optimization problems where the objective is the sum of a function given by an expectation and a closed convex composite function, and proposes stochastic composite proximal bundle (SCPB) methods for solving it. Complexity guarantees are established for them without requiring knowledge of parameters associated with the problem instance. Moreover, it is shown that they have optimal complexity when these problem parameters are known. To the best of our knowledge, this is the first proximal bundle method for stochastic programming able to deal with continuous distributions. Finally, we present computational results showing that SCPB substantially outperforms the robust stochastic approximation (RSA) method in all instances considered.


title: Indoor Localization for Personalized Ambient Assisted Living of Multiple Users in Multi-Floor Smart Environments

abstract: This paper presents a multifunctional interdisciplinary framework that makes four scientific contributions towards the development of personalized ambient assisted living, with a specific focus to address the different and dynamic needs of the diverse aging population in the future of smart living environments. First, it presents a probabilistic reasoning-based mathematical approach to model all possible forms of user interactions for any activity arising from the user diversity of multiple users in such environments. Second, it presents a system that uses this approach with a machine learning method to model individual user profiles and user-specific user interactions for detecting the dynamic indoor location of each specific user. Third, to address the need to develop highly accurate indoor localization systems for increased trust, reliance, and seamless user acceptance, the framework introduces a novel methodology where two boosting approaches Gradient Boosting and the AdaBoost algorithm are integrated and used on a decision tree-based learning model to perform indoor localization. Fourth, the framework introduces two novel functionalities to provide semantic context to indoor localization in terms of detecting each user's floor-specific location as well as tracking whether a specific user was located inside or outside a given spatial region in a multi-floor-based indoor setting. These novel functionalities of the proposed framework were tested on a dataset of localization-related Big Data collected from 18 different users who navigated in 3 buildings consisting of 5 floors and 254 indoor spatial regions. The results show that this approach of indoor localization for personalized AAL that models each specific user always achieves higher accuracy as compared to the traditional approach of modeling an average user.


title: Universality and Critical Exponents of the Fermion Sign Problem

abstract: Initial characterizations of the fermion sign problem focused on its evolution with spatial lattice size $L$ and inverse temperature $\beta$, emphasizing the implications of the exponential nature of the decay of the average sign $\langle {\cal S} \rangle$ for the complexity of its solution and associated limitations of quantum Monte Carlo studies of strongly correlated materials. Early interest was also on the evolution of $\langle {\cal S} \rangle$ with density $\rho$, either because commensurate filling is often associated with special symmetries for which the sign problem is absent or because particular fillings are often primary targets, e.g.~those densities which maximize superconducting transition temperature (the top of the `dome' of cuprate systems). Here we describe a new analysis of the sign problem, which demonstrates that the {\it spin-resolved} sign $\langle {\cal S}_\sigma\rangle$ already possesses signatures of universal behavior traditionally associated with order parameters, even in the absence of symmetry protection that makes $\langle {\cal S} \rangle = 1$. When appropriately scaled, $\langle {\cal S}_\sigma \rangle$ exhibits universal crossings and data collapse. Moreover, we show these behaviors occur in the vicinity of quantum critical points of three well-understood models, exhibiting either second-order or Kosterlitz-Thouless phase transitions. Our results pave the way for using the average sign as a minimal correlator that can potentially describe quantum criticality in a variety of fermionic many-body problems.


title: Water shielding in the terrestrial planet-forming zone: Implication for inner disk organics

abstract: The chemical composition of the inner region of protoplanetary disks can trace the composition of planetary building material. The exact elemental composition of the inner disk has not yet been measured and tensions between models and observations still exist. Recent advancements have shown UV-shielding to be able to increase emission of organics. Here, we expand on these models and investigate how UV-shielding may impact chemical composition in the inner 5 au. In this work, we use the model from arxiv:2204.07108 and expand it with a larger chemical network. We focus on the chemical abundances in the upper disk atmosphere where the effects of water UV-shielding are most prominent and molecular lines originate. We find rich carbon and nitrogen chemistry with enhanced abundances of C2H2, CH4, HCN, CH3CN, and NH3 by > 3 orders of magnitude. This is caused by the self-shielding of H2O, which locks oxygen in water. This subsequently results in a suppression of oxygen-containing species like CO and CO2. The increase in C2H2 seen in the model with the inclusion of water UV-shielding allows us to explain the observed C2H2 abundance without resorting to elevated C/O ratios as water UV-shielding induced an effectively oxygen-poor environment in oxygen-rich gas. Thus, water UV-shielding is important for reproducing the observed abundances of hydrocarbons and nitriles. From our model result, species like CH4, NH3, and NO are expected to be observable with the James Webb Space Telescope (JWST).


title: Faster Exact Exchange for Solids via occ-RI-K: Application to Combinatorially Optimized Range-Separated Hybrid Functionals for Simple Solids with Pseudopotentials Near the Basis Set Limit

abstract: In this work, we developed and showcased the occ-RI-K algorithm to compute the exact exchange contribution in density functional calculations of solids near the basis set limit. Within the gaussian planewave (GPW) density fitting, our algorithm achieves a 1-2 orders of magnitude speedup compared to conventional GPW algorithms. Since our algorithm is well-suited for simulations with large basis sets, we applied it to 12 hybrid density functionals with pseudopotentials and a large uncontracted basis set to assess their performance on band gaps of 25 simple solids near the basis set limit. The largest calculation performed in this work involves 16 electrons and 350 basis functions in the unit cell utilizing a 6x6x6 k-mesh. With 20-27\% exact exchange, global hybrid functionals (B3LYP, PBE0, revPBE0, B97-3, SCAN0) perform similarly with a root-mean-square-deviation (RMSD) of 0.61-0.77 eV while other global hybrid functionals such as M06-2X (2.02 eV) and MN15 (1.05 eV) show higher RMSD due to their increased fraction of exact exchange. A short-range hybrid functional, HSE achieves a similar RMSD (0.76 eV) but shows a noticeable underestimation of band gaps due to the complete lack of long-range exchange. We found that two combinatorially optimized range-separated hybrid functionals, $\omega$B97X-rV (3.94 eV) and $\omega$B97M-rV (3.40 eV), and the two other range separated hybrid functionals, CAM-B3LYP (2.41 eV) and CAM-QTP01 (4.16 eV), significantly overestimate the band gap because of their high fraction of long-range exact exchange. Given the failure of $\omega$B97X-rV and $\omega$B97M-rV, we have yet to find a density functional that offers consistent performance for both molecules and solids. Our algorithm development and density functional assessment will serve as a stepping stone towards developing more accurate hybrid functionals and applying them to practical applications.


title: Tens to hundreds of keV electron precipitation driven by kinetic Alfv\'en waves during an electron injection

abstract: Electron injections are critical processes associated with magnetospheric substorms, which deposit significant electron energy into the ionosphere. Although wave scattering of $<$10 keV electrons during injections has been well studied, the link between magnetotail electron injections and energetic ($\geq$100 keV) electron precipitation remains elusive. Using conjugate observations between the ELFIN and Magnetospheric Multiscale (MMS) missions, we present evidence of tens to hundreds of keV electron precipitation to the ionosphere potentially driven by kinetic Alfv\'en waves (KAWs) associated with magnetotail electron injections and magnetic field gradients. Test particle simulations adapted to observations show that dipolarization-front magnetic field gradients and associated $\nabla B$ drifts allow Doppler-shifted Landau resonances between the injected electrons and KAWs, producing electron spatial scattering across the front which results in pitch-angle decreases and subsequent precipitation. Test particle results show that such KAW-driven precipitation can account for ELFIN observations below $\sim$300 keV.


title: On the lower bound for kissing numbers of $\ell_p$-spheres in high dimensions

abstract: In this paper, we give some new lower bounds for the kissing number of $\ell_p$-spheres. These results improve the previous work due to Xu (2007). Our method is based on coding theory.


title: Decorrelative Network Architecture for Robust Electrocardiogram Classification

abstract: Artificial intelligence has made great progress in medical data analysis, but the lack of robustness and trustworthiness has kept these methods from being widely deployed. As it is not possible to train networks that are accurate in all scenarios, models must recognize situations where they cannot operate confidently. Bayesian deep learning methods sample the model parameter space to estimate uncertainty, but these parameters are often subject to the same vulnerabilities, which can be exploited by adversarial attacks. We propose a novel ensemble approach based on feature decorrelation and Fourier partitioning for teaching networks diverse complementary features, reducing the chance of perturbation-based fooling. We test our approach on single and multi-channel electrocardiogram classification, and adapt adversarial training and DVERGE into the Bayesian ensemble framework for comparison. Our results indicate that the combination of decorrelation and Fourier partitioning generally maintains performance on unperturbed data while demonstrating superior robustness and uncertainty estimation on projected gradient descent and smooth adversarial attacks of various magnitudes. Furthermore, our approach does not require expensive optimization with adversarial samples, adding much less compute to the training process than adversarial training or DVERGE. These methods can be applied to other tasks for more robust and trustworthy models.


title: Grid method for divergence of averages

abstract: In this paper, we will introduce the `grid method' to prove that the extreme case of oscillation occurs for the averages obtained by sampling a flow along the sequence of times of the form $\{n^\alpha: n\in \mathbb{N}\}$, where $\alpha$ is a positive non-integer rational number. Such behavior of a sequence is known as the `strong sweeping out property'. By using the same method, we will give an example of a general class of sequences which satisfy the `strong sweeping out' property. This class of sequences may be useful to solve the longstanding open problem: for a given irrational $\alpha$, whether the sequence $(n^\alpha)$ is `pointwise bad' for $L^p$ or not. In the process of proving these results, we will prove a continuous version of the Conze principle.


title: Using the Newton-Raphson Method with Automatic Differentiation to Numerically Solve Implied Volatility of Stock Option through Binomial Model

abstract: In the paper written by Klibanov et al, it proposes a novel method to calculate implied volatility of a European stock options as a solution to ill-posed inverse problem for the Black-Scholes equation. In addition, it proposes a trading strategy based on the difference between implied volatility of the option and the volatility of the underlying stock. In addition to the Black-Scholes equation, Binomial model is another method used to price European options. And, the implied volatility can be also calculated through this model. In this paper, we apply the Newton-Raphson method together with Automatic Differention to numerically approximate the implied volatility of an arbitrary stock option through this model. We provide an explanation of the mathematical model and methods, the methodology, and the results from our test using the stimulated data from the Geometric Brownian Motion Model and the Binomial Model itself, and the data from the US market data from 2018 to 2021.


title: Physically motivated ansatz for the Kerr spacetime

abstract: Despite some 60 years of work on the subject of the Kerr rotating black hole there is as yet no widely accepted physically based and pedagogically viable ansatz suitable for deriving the Kerr solution without significant computational effort. (Typically involving computer-aided symbolic algebra.) Perhaps the closest one gets in this regard is the Newman-Janis trick; a trick which requires several physically unmotivated choices in order to work. Herein we shall try to make some progress on this issue by using a non-ortho-normal tetrad based on oblate spheroidal coordinates to absorb as much of the messy angular dependence as possible, leaving one to deal with a relatively simple angle-independent tetrad-component metric. That is, we shall write $g_{ab} = g_{AB} \; e^A{}_a\; e^B{}_b$ seeking to keep both the tetrad-component metric $g_{AB}$ and the non-ortho-normal co-tetrad $e^A{}_a$ relatively simple but non-trivial. We shall see that it is possible to put all the mass dependence into $g_{AB}$, while the non-ortho-normal co-tetrad $e^A{}_a$ can be chosen to be a mass-independent representation of flat Minkowski space in oblate spheroidal coordinates: $(g_\mathrm{Minkowski})_{ab} = \eta_{AB} \; e^A{}_a\; e^B{}_b$. This procedure separates out, to the greatest extent possible, the mass dependence from the rotational dependence, and makes the Kerr solution perhaps a little less mysterious.


title: PackCache: An Online Cost-driven Data Caching Algorithm in the Cloud

abstract: In this paper, we study a data caching problem in the cloud environment, where multiple frequently co-utilised data items could be packed as a single item being transferred to serve a sequence of data requests dynamically with reduced cost. To this end, we propose an online algorithm with respect to a homogeneous cost model, called PackCache, that can leverage the FP-Tree technique to mine those frequently co-utilised data items for packing whereby the incoming requests could be cost-effectively served online by exploiting the concept of anticipatory caching. We show the algorithm is 2\alpha competitive, reaching the lower bound of the competitive ratio for any deterministic online algorithm on the studied caching problem, and also time and space efficient to serve the requests. Finally, we evaluate the performance of the algorithm via experimental studies to show its actual cost-effectiveness and scalability.


title: Schooling and Labor Market Consequences of School Construction in Indonesia: Comment

abstract: Duflo (2001) exploits a 1970s schooling expansion to estimate the returns to schooling in Indonesia. Under the study's difference-in-differences (DID) design, two patterns in the data--shallower pay scales for younger workers and negative selection in treatment--can violate the parallel trends assumption and upward-bias results. In response, I follow up later, test for trend breaks timed to the intervention, and perform changes-in-changes (CIC). I also correct data errors, cluster variance estimates, incorporate survey weights to correct for endogenous sampling, and test for (and detect) instrument weakness. Weak identification-robust inference yields positive but imprecise estimates. CIC estimates also tilt positive.