title: Resonators with tailored optical path by cascaded-mode conversions

abstract: Optical resonators enable the generation, manipulation, and storage of electromagnetic waves. They are widely used in technology and fundamental research, in telecommunications, lasers and nonlinear optics, ultra-sensitive measurements in cavity optomechanics, and the study of light-matter interactions in the context of cavity QED. The physics underlying their operation is determined by the constructive interference of electromagnetic waves at specific frequencies, giving rise to the resonance spectrum. This mechanism causes the limitations and trade-offs of resonator design, such as the difficulty of confining waves larger than the resonator and the fixed relationship between free spectral range, modal linewidth, and the resonator's refractive index and size. Here, we introduce a new class of optical resonators, generating resonances by designing the optical path through transverse mode coupling in a cascaded process created by mode-converting mirrors. The generalized round-trip phase condition leads to resonator characteristics that are markedly different from Fabry-Perot resonators and can be tailored over a wide range, such as the largest resonant wavelength, the free spectral range, the linewidth, and the quality factor. We confirm the existence of these modes experimentally in an integrated waveguide cavity with mode converters coupling two transverse modes into one supermode. The resonance signature of the cascaded-mode resonator is a spectrum resulting from the coherent superposition of the coupled transverse modes. We also demonstrate a transverse mode-independent transmission through the resonator and show that its engineered spectral properties agree with theoretical predictions. Cascaded-mode resonators introduce properties not found in traditional resonators and provide a mechanism to overcome the existing trade-offs in the design of resonators in various application areas.


title: The Challenge of Understanding What Users Want: Inconsistent Preferences and Engagement Optimization

abstract: Online platforms have a wealth of data, run countless experiments and use industrial-scale algorithms to optimize user experience. Despite this, many users seem to regret the time they spend on these platforms. One possible explanation is misaligned incentives: platforms are not optimizing for user happiness. We suggest the problem runs deeper, transcending the specific incentives of any particular platform, and instead stems from a mistaken foundational assumption: To understand what users want, platforms look at what users do. Yet research has demonstrated, and personal experience affirms, that we often make choices in the moment that are inconsistent with what we actually want. In this work, we develop a model of media consumption where users have inconsistent preferences. We consider a platform which simply wants to maximize user utility, but only observes user engagement. We show how our model of users' preference inconsistencies produces phenomena that are familiar from everyday experience, but difficult to capture in traditional user interaction models. A key ingredient in our model is a formulation for how platforms determine what to show users: they optimize over a large set of potential content (the content manifold) parametrized by underlying features of the content. Whether improving engagement improves user welfare depends on the direction of movement in the content manifold: for certain directions of change, increasing engagement makes users less happy, while in other directions, increasing engagement makes users happier. We characterize the structure of content manifolds for which increasing engagement fails to increase user utility. By linking these effects to abstractions of platform design choices, our model thus creates a theoretical framework and vocabulary in which to explore interactions between design, behavioral science, and social media.


title: Art Creation with Multi-Conditional StyleGANs

abstract: Creating meaningful art is often viewed as a uniquely human endeavor. A human artist needs a combination of unique skills, understanding, and genuine intention to create artworks that evoke deep feelings and emotions. In this paper, we introduce a multi-conditional Generative Adversarial Network (GAN) approach trained on large amounts of human paintings to synthesize realistic-looking paintings that emulate human art. Our approach is based on the StyleGAN neural network architecture, but incorporates a custom multi-conditional control mechanism that provides fine-granular control over characteristics of the generated paintings, e.g., with regard to the perceived emotion evoked in a spectator. For better control, we introduce the conditional truncation trick, which adapts the standard truncation trick for the conditional setting and diverse datasets. Finally, we develop a diverse set of evaluation techniques tailored to multi-conditional generation.


title: baker: An R package for Nested Partially-Latent Class Models

abstract: This paper describes and illustrates the functionality of the baker R package. The package estimates a suite of nested partially-latent class models (NPLCM) for multivariate binary responses that are observed under a case-control design. The baker package allows researchers to flexibly estimate population-level class prevalences and posterior probabilities of class membership for individual cases. Estimation is accomplished by calling a cross-platform automatic Bayesian inference software JAGS through a wrapper R function that parses model specifications and data inputs. The baker package provides many useful features, including data ingestion, exploratory data analyses, model diagnostics, extensive plotting and visualization options, catalyzing communications between practitioners and domain scientists. Package features and workflows are illustrated using simulated and real data sets. Package URL: https://github.com/zhenkewu/baker


title: Optimisation of VLEO Satellite Geometries for Drag Minimisation and Lifetime Extension

abstract: The utilisation of the Very Low Earth Orbit (VLEO) region offers significant application specific, technological, operational, and cost benefits. However, attaining sustained and economically viable VLEO flight is challenging, primarily due to the significant, barely predictable and dynamically changing drag caused by the residual atmosphere, which leads to a rapid deterioration of any spacecraft's orbit unless mitigated by a combination of active and passive techniques. This article addresses one passive method by optimising satellite shapes in order to achieve a minimisation of the atmospheric drag force and thus extension of operational lifetime. Contrary to previous investigations in the field, a constant internal volume is maintained to account for the placement of satellite instruments and payload inside the structure. Moreover, the satellite geometry is not varied heuristically but optimised via a numerical 2D profile optimisation specifically developed for this purpose. From the resulting optimal satellite profiles, 3D satellite bodies are derived, which are then verified via the Direct Simulation Monte Carlo method within the open-source particle code PICLas. In addition, rather unconventional designs, i.e. ring geometries, which are based on the assumption of fully specular particle reflections, are proposed and assessed. The optimised satellite geometries offer pure passive lifetime extensions of up to 46 $\%$ compared to a GOCE like reference body, while the above-mentioned ring geometries achieve passive lifetime extensions of more than 3000 $\%$. Finally, the article presents design recommendations for VLEO satellites in dependence of different surface properties.


title: On the Posterior Distribution of a Random Process Conditioned on Empirical Frequencies of a Finite Path: the i.i.d and finite Markov chain case

abstract: We obtain the posterior distribution of a random process conditioned on observing the empirical frequencies of a finite sample path. We find under a rather broad assumption on the "dependence structure" of the process, {\em c.f.} independence or Markovian, the posterior marginal distribution of the process at a given time index can be identified as certain empirical distribution computed from the observed empirical frequencies of the sample path. We show that in both cases of discrete-valued i.i.d. sequence and finite Markov chain, a certain "conditional symmetry" given by the observation of the empirical frequencies leads to the desired result on the posterior distribution. Results for both finite-time observations and its asymptotic infinite-time limit are connected via the idea of Gibbs conditioning. Finally, since our results demonstrate a central role of the empirical frequency in understanding the information content of data, we use the Large Deviations Principle (LDP) to construct a general notion of "data-driven entropy", from which one can apply a formalism from the recent study of statistical thermodynamics to data.


title: RadioTransformer: A Cascaded Global-Focal Transformer for Visual Attention-guided Disease Classification

abstract: In this work, we present RadioTransformer, a novel visual attention-driven transformer framework, that leverages radiologists' gaze patterns and models their visuo-cognitive behavior for disease diagnosis on chest radiographs. Domain experts, such as radiologists, rely on visual information for medical image interpretation. On the other hand, deep neural networks have demonstrated significant promise in similar tasks even where visual interpretation is challenging. Eye-gaze tracking has been used to capture the viewing behavior of domain experts, lending insights into the complexity of visual search. However, deep learning frameworks, even those that rely on attention mechanisms, do not leverage this rich domain information. RadioTransformer fills this critical gap by learning from radiologists' visual search patterns, encoded as 'human visual attention regions' in a cascaded global-focal transformer framework. The overall 'global' image characteristics and the more detailed 'local' features are captured by the proposed global and focal modules, respectively. We experimentally validate the efficacy of our student-teacher approach for 8 datasets involving different disease classification tasks where eye-gaze data is not available during the inference phase. Code: https://github.com/bmi-imaginelab/radiotransformer.


title: Prune and Tune Ensembles: Low-Cost Ensemble Learning With Sparse Independent Subnetworks

abstract: Ensemble Learning is an effective method for improving generalization in machine learning. However, as state-of-the-art neural networks grow larger, the computational cost associated with training several independent networks becomes expensive. We introduce a fast, low-cost method for creating diverse ensembles of neural networks without needing to train multiple models from scratch. We do this by first training a single parent network. We then create child networks by cloning the parent and dramatically pruning the parameters of each child to create an ensemble of members with unique and diverse topologies. We then briefly train each child network for a small number of epochs, which now converge significantly faster when compared to training from scratch. We explore various ways to maximize diversity in the child networks, including the use of anti-random pruning and one-cycle tuning. This diversity enables "Prune and Tune" ensembles to achieve results that are competitive with traditional ensembles at a fraction of the training cost. We benchmark our approach against state of the art low-cost ensemble methods and display marked improvement in both accuracy and uncertainty estimation on CIFAR-10 and CIFAR-100.


title: Adversarially-regularized mixed effects deep learning (ARMED) models for improved interpretability, performance, and generalization on clustered data

abstract: Natural science datasets frequently violate assumptions of independence. Samples may be clustered (e.g. by study site, subject, or experimental batch), leading to spurious associations, poor model fitting, and confounded analyses. While largely unaddressed in deep learning, this problem has been handled in the statistics community through mixed effects models, which separate cluster-invariant fixed effects from cluster-specific random effects. We propose a general-purpose framework for Adversarially-Regularized Mixed Effects Deep learning (ARMED) models through non-intrusive additions to existing neural networks: 1) an adversarial classifier constraining the original model to learn only cluster-invariant features, 2) a random effects subnetwork capturing cluster-specific features, and 3) an approach to apply random effects to clusters unseen during training. We apply ARMED to dense, convolutional, and autoencoder neural networks on 4 applications including simulated nonlinear data, dementia prognosis and diagnosis, and live-cell image analysis. Compared to prior techniques, ARMED models better distinguish confounded from true associations in simulations and learn more biologically plausible features in clinical applications. They can also quantify inter-cluster variance and visualize cluster effects in data. Finally, ARMED improves accuracy on data from clusters seen during training (up to 28% vs. conventional models) and generalization to unseen clusters (up to 9% vs. conventional models).


title: Design and experimental investigation of a vibro-impact self-propelled capsule robot with orientation control

abstract: This paper presents a novel design and experimental investigation for a self-propelled capsule robot that can be used for painless colonoscopy during a retrograde progression from the patient's rectum. The steerable robot is driven forward and backward via its internal vibration and impact with orientation control by using an electromagnetic actuator. The actuator contains four sets of coils and a shaft made by permanent magnet. The shaft can be excited linearly in a controllable and tilted angle, so guide the progression orientation of the robot. Two control strategies are studied in this work and compared via simulation and experiment. Extensive results are presented to demonstrate the progression efficiency of the robot and its potential for robotic colonoscopy.


title: The Long-Term Effects of Early-Life Pollution Exposure: Evidence from the London Smog

abstract: This paper uses a large UK cohort to investigate the impact of early-life pollution exposure on individuals' human capital and health outcomes in older age. We compare individuals who were exposed to the London smog in December 1952 whilst in utero or in infancy to those born after the smog and those born at the same time but in unaffected areas. We find that those exposed to the smog have substantially lower fluid intelligence and worse respiratory health, with some evidence of a reduction in years of schooling.


title: The Canonical Ensemble Reloaded: The Complex-Stability of Euclidean quantum gravity for Black Holes in a Box

abstract: We revisit the stability of black hole saddles for the Euclidean path integral describing the canonical partition function $Z(\beta)$ for gravity inside a spherical reflecting cavity. The boundary condition at the cavity wall couples the transverse-traceless (TT) and pure-trace modes that are traditionally used to describe fluctuations about Euclidean Schwarzschild black holes in infinite-volume asymptotically flat and asymototically AdS spacetimes. This coupling obstructs the familiar Gibbons-Hawking-Perry treatment of the conformal factor problem, as Wick rotation of the pure-trace modes would require that the TT modes be rotated as well. The coupling also leads to complex eigenvalues for the \L operator. We nevertheless find that the \L operator can be diagonalized in the space of coupled modes. This observation allows the eigenmodes to define a natural generalization of the pure-trace Wick-rotation recipe used in infinite volume, with the result that a mode with eigenvalue $\lambda$ is stable when ${\rm Re}\,\lambda > 0$. In any cavity, and with any cosmological constant $\Lambda \le 0$, we show this recipe to reproduce the expectation from black hole thermodynamics that large Euclidean black holes define stable saddles while the saddles defined by small Euclidean black holes are unstable.


title: Marked graphs and the chromatic symmetric function

abstract: The main result of this paper is the introduction of marked graphs and the marked graph polynomials ($M$-polynomial) associated with them. These polynomials can be defined via a deletion-contraction operation. These polynomials are a generalization of the $W$-polynomial introduced by Noble and Welsh and a specialization of the $\mathbf{V}$-polynomial introduced by Ellis-Monaghan and Moffatt. In addition, we describe an important specialization of the $M$-polynomial which we call the $D$-polynomial. Furthermore, we give an efficient algorithm for computing the chromatic symmetric function of a graph in the \emph{star-basis} of symmetric functions. As an application of these tools, we prove that proper trees of diameter at most 5 can be reconstructed from its chromatic symmetric function.


title: Generative modeling via tensor train sketching

abstract: In this paper, we introduce a sketching algorithm for constructing a tensor train representation of a probability density from its samples. Our method deviates from the standard recursive SVD-based procedure for constructing a tensor train. Instead, we formulate and solve a sequence of small linear systems for the individual tensor train cores. This approach can avoid the curse of dimensionality that threatens both the algorithmic and sample complexities of the recovery problem. Specifically, for Markov models under natural conditions, we prove that the tensor cores can be recovered with a sample complexity that scales logarithmically in the dimensionality. Finally, we illustrate the performance of the method with several numerical experiments.


title: Investigating the effect of binning on causal discovery

abstract: Binning (a.k.a. discretization) of numerically continuous measurements is a wide-spread but controversial practice in data collection, analysis, and presentation. The consequences of binning have been evaluated for many different kinds of data analysis methods, however so far the effect of binning on causal discovery algorithms has not been directly investigated. This paper reports the results of a simulation study that examined the effect of binning on the Greedy Equivalence Search (GES) causal discovery algorithm. Our findings suggest that unbinned continuous data often result in the highest search performance, but some exceptions are identified. We also found that binned data are more sensitive to changes in sample size and tuning parameters, and identified some interactive effects between sample size, binning, and tuning parameter on performance.


title: Blind Reverberation Time Estimation in Dynamic Acoustic Conditions

abstract: The estimation of reverberation time from real-world signals plays a central role in a wide range of applications. In many scenarios, acoustic conditions change over time which in turn requires the estimate to be updated continuously. Previously proposed methods involving deep neural networks were mostly designed and tested under the assumption of static acoustic conditions. In this work, we show that these approaches can perform poorly in dynamically evolving acoustic environments. Motivated by a recent trend towards data-centric approaches in machine learning, we propose a novel way of generating training data and demonstrate, using an existing deep neural network architecture, the considerable improvement in the ability to follow temporal changes in reverberation time.


title: Black-hole analog in vehicular traffic

abstract: We propose here a simple black-hole analog in vehicular-traffic dynamics. The corresponding causal diagram is determined by the propagation of the tail light flashes emitted by a convoy of cars on a highway. In addition to being a new black-hole analog, this illustrates how causal diagrams, so common in general relativity, may be useful in areas as unexpected as vehicular-traffic dynamics.


title: Let's Handle It: Generalizable Manipulation of Articulated Objects

abstract: In this project we present a framework for building generalizable manipulation controller policies that map from raw input point clouds and segmentation masks to joint velocities. We took a traditional robotics approach, using point cloud processing, end-effector trajectory calculation, inverse kinematics, closed-loop position controllers, and behavior trees. We demonstrate our framework on four manipulation skills on common household objects that comprise the SAPIEN ManiSkill Manipulation challenge.


title: Blueprint of a scalable spin qubit shuttle device for coherent mid-range qubit transfer in disordered Si/SiGe/SiO$_2$

abstract: Silicon spin qubits stand out due to their very long coherence times, compatibility with industrial fabrication, and prospect to integrate classical control electronics. To achieve a truly scalable architecture, a coherent mid-range link that moves the electrons between qubit registers has been suggested to solve the signal fan-out problem. Here, we present a blueprint of such a $\approx 10\,\mu$m long link, called a spin qubit shuttle, which is based on connecting an array of gates into a small number of sets. To control these sets, only a few voltage control lines are needed and the number of these sets and thus the number of required control signals is independent of the length of this link. We discuss two different operation modes for the spin qubit shuttle: A qubit conveyor, i.e. a potential minimum that smoothly moves laterally, and a bucket brigade, in which the electron is transported through a series of tunnel-coupled quantum dots by adiabatic passage. We find the former approach more promising considering a realistic Si/SiGe device including potential disorder from the charged defects at the Si/SiO$_2$ layer, as well as typical charge noise. Focusing on the qubit transfer fidelity in the conveyor shuttling mode, we discuss in detail motional narrowing, the interplay between orbital and valley excitation and relaxation in presence of $g$-factors that depend on orbital and valley state of the electron, and effects from spin-hotspots. We find that a transfer fidelity of 99.9 \% is feasible in Si/SiGe at a speed of $\sim$10 m/s, if the average valley splitting and its inhomogeneity stay within realistic bounds. Operation at low global magnetic field $\approx 20$ mT and material engineering towards high valley splitting is favourable for reaching high fidelities of transfer.


title: Autoregressive Moving Average and Generalized Autoregresive Moving Average in Covid-19 Confirmed Cases in Indonesia

abstract: Autoregressive moving average and generalized autoregressive moving average are often used in statistical modeling. This study uses this method because the method uses data from the previous period to model the data for the current period. In addition, the technique is often used in data prediction. The familiar data used is count data. Count data is the data that most often cause data not to spread usually. Therefore, time series modeling, one of which is through arithmetic series, was developed. This study aims to obtain the best modeling results from positive confirmed cases of Covid 19 in Indonesia. They were getting the results from the best modeling for positive confirmed cases of Covid 19 in Indonesia based on the smallest Aikake information criterion value.


title: Exploiting Correlation to Achieve Faster Learning Rates in Low-Rank Preference Bandits

abstract: We introduce the \emph{Correlated Preference Bandits} problem with random utility-based choice models (RUMs), where the goal is to identify the best item from a given pool of $n$ items through online subsetwise preference feedback. We investigate whether models with a simple correlation structure, e.g. low rank, can result in faster learning rates. While we show that the problem can be impossible to solve for the general `low rank' choice models, faster learning rates can be attained assuming more structured item correlations. In particular, we introduce a new class of \emph{Block-Rank} based RUM model, where the best item is shown to be $(\epsilon,\delta)$-PAC learnable with only $O(r \epsilon^{-2} \log(n/\delta))$ samples. This improves on the standard sample complexity bound of $\tilde{O}(n\epsilon^{-2} \log(1/\delta))$ known for the usual learning algorithms which might not exploit the item-correlations ($r \ll n$). We complement the above sample complexity with a matching lower bound (up to logarithmic factors), justifying the tightness of our analysis. Surprisingly, we also show a lower bound of $\Omega(n\epsilon^{-2}\log(1/\delta))$ when the learner is forced to play just duels instead of larger subsetwise queries. Further, we extend the results to a more general `\emph{noisy Block-Rank}' model, which ensures robustness of our techniques. Overall, our results justify the advantage of playing subsetwise queries over pairwise preferences $(k=2)$, we show the latter provably fails to exploit correlation.


title: An expectation-maximization algorithm for estimating the parameters of the correlated binomial distribution

abstract: The correlated binomial (CB) distribution was proposed by Luce\~no (Computational Statistics $\&$ Data Analysis, 20, 1995, 511-520) as an alternative to the binomial distribution for the analysis of the data in the presence of correlations among events. Due to the complexity of the mixture likelihood of the model, it may be impossible to derive analytical expressions of the maximum likelihood estimators (MLEs) of the unknown parameters. To overcome this difficulty, we develop an expectation-maximization algorithm for computing the MLEs of the CB parameters. Numerical results from simulation studies and a real-data application showed that the proposed method is very effective by consistently reaching a global maximum. Finally, our results should be of interest to senior undergraduate or first-year graduate students and their lecturers with an emphasis on the interested applications of the EM algorithm for finding the MLEs of the parameters in discrete mixture models.


title: Training Characteristic Functions with Reinforcement Learning: XAI-methods play Connect Four

abstract: One of the goals of Explainable AI (XAI) is to determine which input components were relevant for a classifier decision. This is commonly know as saliency attribution. Characteristic functions (from cooperative game theory) are able to evaluate partial inputs and form the basis for theoretically "fair" attribution methods like Shapley values. Given only a standard classifier function, it is unclear how partial input should be realised. Instead, most XAI-methods for black-box classifiers like neural networks consider counterfactual inputs that generally lie off-manifold. This makes them hard to evaluate and easy to manipulate. We propose a setup to directly train characteristic functions in the form of neural networks to play simple two-player games. We apply this to the game of Connect Four by randomly hiding colour information from our agents during training. This has three advantages for comparing XAI-methods: It alleviates the ambiguity about how to realise partial input, makes off-manifold evaluation unnecessary and allows us to compare the methods by letting them play against each other.


title: Drawing Inductor Layout with a Reinforcement Learning Agent: Method and Application for VCO Inductors

abstract: Design of Voltage-Controlled Oscillator (VCO) inductors is a laborious and time-consuming task that is conventionally done manually by human experts. In this paper, we propose a framework for automating the design of VCO inductors, using Reinforcement Learning (RL). We formulate the problem as a sequential procedure, where wire segments are drawn one after another, until a complete inductor is created. We then employ an RL agent to learn to draw inductors that meet certain target specifications. In light of the need to tweak the target specifications throughout the circuit design cycle, we also develop a variant in which the agent can learn to quickly adapt to draw new inductors for moderately different target specifications. Our empirical results show that the proposed framework is successful at automatically generating VCO inductors that meet or exceed the target specification.


title: Entanglement on Orbits

abstract: The study of multipartite entanglement is not only interesting but also important due to its wide application in quantum information processing. However, the complicated structure of the Hilbert space for many parties makes multipartite entanglement extremely complicated. It is then worth studying the structure of the Hilbert space itself. In this work, we provide a way to study the structure of SLOCC-equivalence and to determine the number free parameters for SLOCC-equivalent classes. Additionally, two different entanglement witnesses are introduced. The method matches well the existing results, and can make predictions for more-qubit systems.


title: Metastable complex vector bundles over complex projective spaces

abstract: We apply Weiss calculus to compute the number of topological complex vector bundles of rank $n-2$ with vanishing Chern classes over $\mathbb{C}P^n$ for $n>3$, as given by the list $1, 1, 12, 2, 1, 3, 2, 2, 3, 1, 4, 6, 1, 1, 6, 2, 1, 3, 4, 2, 3, 1, 2, 6$, where the $i$-th entry in this list is the number of such bundles whenever $n$ is congruent to $i$ modulo $24$, starting with $i = 0$. Similarly, the number of rank $n-1$ bundles with vanishing Chern classes over $\mathbb{C}P^n$ for $n>2$ is $2$ when $n$ is odd and $1$ when $n$ is even.


title: Optimizing semilinear representations for State-dependent Riccati Equation-based feedback control

abstract: An optimized variant of the State Dependent Riccati Equations (SDREs) approach for nonlinear optimal feedback stabilization is presented. The proposed method is based on the construction of equivalent semilinear representations associated to the dynamics and their affine combination. The optimal combination is chosen to minimize the discrepancy between the SDRE control and the optimal feedback law stemming from the solution of the corresponding Hamilton Jacobi Bellman (HJB) equation. Numerical experiments assess effectiveness of the method in terms of stability of the closed-loop with near-to-optimal performance.


title: Fission properties of $^{253}$Rf and the stability of neutron-deficient Rf isotopes

abstract: An analysis of recent experimental data [J. Khuyagbaatar et al., Phys. Rev. C 104, L031303 (2021)] has established the existence of two fissioning states in $^{253}$Rf: the ground state and a low-lying isomeric state, most likely involving the same neutron single-particle configurations as in the lighter isotone $^{251}$No. The ratio of fission half-lives measured in $^{253}$Rf was used to predict the fission properties of the 1/2$^{+}$ isomeric state in $^{251}$No and draw conclusions as to the stability against fission of even lighter Rf systems. This paper focusses again on the fission properties of $^{253}$Rf and their impact on the stability of other neutron deficient isotopes, using new and improved data collected from two experiments performed at the Flerov Laboratory of Nuclear Reactions in Dubna, Russia. Two fission activities with half-lives of 52.8(4.4)$~\mu$s and 9.9(1.2) ms were measured in the case of $^{253}$Rf, confirming the results of J. Kkuyagbaatar et al. A third state, at much higher excitation energy, was also observed through the detection of its electromagnetic decay to the 52.8$~\mu$s state. This observation leads to the opposite quantum-configuration assignments for the fissioning states as compared to the ones established by J. Khuyagbaatar et al., namely that the higher-spin state has the shortest fission half-life. This inversion of the ratio of fission hindrances between the low and high-spin states is corroborated in the isotone $^{251}$No by the non observation of any substantial fission branch from the low-spin isomer.


title: Detection of C2, CN and CH radicals in the spectrum of the transiting hot Jupiter HAT-P-1b

abstract: In this paper we report spectroscopy of the transiting hot Jupiter HAT-P-1b. The HAT-P-1b is a giant ($R = 1.2 RJ$), low-mean density transiting extrasolar planet in a visual binary system, composed of two sun-like stars. The host star HAT-P-1b known as ADS 16402 B is a G0V C dwarf (V = 9.87). We revealed optical emission of $C_{2}$, $CN$ and $CH$ radicals in the spectrum of the hot Jupiter HAT-P-1b. We discovered radial pulsation of the hot Jupiter HAT-P-1b with a period of about 1900 sec.


title: Nuclei panoptic segmentation and composition regression with multi-task deep neural networks

abstract: Nuclear segmentation, classification and quantification within Haematoxylin & Eosin stained histology images enables the extraction of interpretable cell-based features that can be used in downstream explainable models in computational pathology. The Colon Nuclei Identification and Counting (CoNIC) Challenge is held to help drive forward research and innovation for automatic nuclei recognition in computational pathology. This report describes our proposed method submitted to the CoNIC challenge. Our method employs a multi-task learning framework, which performs a panoptic segmentation task and a regression task. For the panoptic segmentation task, we use encoder-decoder type deep neural networks predicting a direction map in addition to a segmentation map in order to separate neighboring nuclei into different instances


title: Parametric inequalities and Weyl law for the volume spectrum

abstract: We show that the Weyl law for the volume spectrum in a compact Riemannian manifold conjectured by Gromov can be derived from parametric generalizations of two famous inequalities: isoperimetric inequality and coarea inequality. We prove two such generalizations in low dimensions and obtain the Weyl law for 1-cycles in 3-manifolds. We also give a new proof of the Almgren isomorphism theorem.


title: The nature of the Cygnus extreme B-supergiant 2MASS J20395358+4222505

abstract: 2MASS J20395358+4222505 is an obscured early B supergiant near the massive OB star association Cyg OB2. Despite its bright infrared magnitude (K$_{s}$=5.82) it has remained largely ignored because of its dim optical magnitude (B=16.63, V=13.68). In a previous paper we classified it as a highly reddened, potentially extremely luminous, early B-type supergiant. We obtained its spectrum in the U, B and R spectral bands during commissioning observations with the instrument MEGARA@GTC. It displays a particularly strong H$\alpha$ emission for its spectral type, B1 Ia. The star seems to be in an intermediate phase between super- and hypergiant, a group that it will probably join in the near (astronomical) future. We observe a radial velocity difference between individual observations and determine the stellar parameters, obtaining T$_{eff}$ = 24000 K, logg$_{c}$= 2.88 $\pm$ 0.15. The rotational velocity found is large for a B-supergiant, vsini= 110 $\pm$ 25 km s$^{-1}$. The abundance pattern is consistent with solar, with a mild C underabundance (based on a single line). Assuming that J20395358+4222505 is at the distance of Cyg OB2 we derive the radius from infrared photometry, finding R= 41.2 $\pm$ 4.0 R$_{\odot}$, log(L/L$_{\odot}$)= 5.71 $\pm$ 0.04 and a spectroscopic mass of 46.5 $\pm$ 15.0 M$_{\odot}$. The clumped mass-loss rate (clumping factor 10) is very high for the spectral type, $\dot{M}$ = 2.4x10$^{-6}$ M$_{\odot}$ a$^{-1}$. The high rotational velocity and mass-loss rate place the star at the hot side of the bi-stability jump. Together with the nearly solar CNO abundance pattern, they may also point to evolution in a binary system, J20395358+4222505 being the initial secondary.


title: Nuclear modification of $\Upsilon$ states in pPb collisions at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV

abstract: Production cross sections of $\Upsilon$(1S), $\Upsilon$(2S), and $\Upsilon$(3S) states decaying into $\mu^+\mu^-$ in proton-lead (pPb) collisions are reported using data collected by the CMS experiment at $\sqrt{s_\mathrm{NN}} =$ 5.02 TeV. A comparison is made with corresponding cross sections obtained with pp data measured at the same collision energy and scaled by the Pb nucleus mass number. The nuclear modification factor for $\Upsilon$(1S) is found to be $R_\mathrm{pPb}(\Upsilon(1S))$ = 0.806 $\pm$ 0.024 (stat) $\pm$ 0.059 (syst). Similar results for the excited states indicate a sequential suppression pattern, such that $R_\mathrm{pPb}(\Upsilon(1S))$ $\gt$ $R_\mathrm{pPb}(\Upsilon(2S))$ $\gt$ $R_\mathrm{pPb}(\Upsilon(3S))$. The suppression is much less pronounced in pPb than in PbPb collisions, and independent of transverse momentum $p_\mathrm{T}^\Upsilon$ and center-of-mass rapidity $y_\mathrm{CM}^\Upsilon$ of the individual $\Upsilon$ state in the studied range $p_\mathrm{T}^\Upsilon$ $\lt$ 30 GeV$/c$ and $\vert y_\mathrm{CM}^\Upsilon\vert$ $\lt$ 1.93. Models that incorporate sequential suppression of bottomonia in pPb collisions are in better agreement with the data than those which only assume initial-state modifications.


title: Lattice points in slices of prisms

abstract: We conduct a systematic study of the Ehrhart theory of certain slices of rectangular prisms. Our polytopes are generalizations of the hypersimplex and are contained in the larger class of polypositroids introduced by Lam and Postnikov; moreover, they coincide with polymatroids satisfying the strong exchange property up to an affinity. We give a combinatorial formula for all the Ehrhart coefficients in terms of the number of weighted permutations satisfying certain compatibility properties. This result proves that all these polytopes are Ehrhart positive. Additionally, via an extension of a result by Early and Kim, we give a combinatorial interpretation for all the coefficients of the $h^*$-polynomial. All of our results provide a combinatorial understanding of the Hilbert functions and the $h$-vectors of all algebras of Veronese type, a problem that had remained elusive up to this point. A variety of applications are discussed, including expressions for the volumes of these slices of prisms as weighted combinations of Eulerian numbers; some extensions of Laplace's result on the combinatorial interpretation of the volume of the hypersimplex; a multivariate generalization of the flag Eulerian numbers and refinements; and a short proof of the Ehrhart positivity of the independence polytope of all uniform matroids.


title: On Some Algebraic Properties of Hermite--Pad\'e Polynomials

abstract: Let $[f_0,\dots,f_m]$ be a tuple of series in nonnegative powers of $1/z$, $f_j(\infty)\neq0$. It is supposed that the tuple is in "general position". We give a construction of type I and type II Hermite--Pad\'e polynomials to the given tuple of degrees $\leq{n}$ and $\leq{mn}$ respectively and the corresponding $(m+1)$-multi-indexes with the following property. Let $M_1(z)$ and $M_2(z)$ be two $(m+1)\times(m+1)$ polynomial matrices, $M_1(z),M_2(z)\in\operatorname{GL}(m+1,\mathbb C[z])$, generated by type I and type II Hermite--Pad\'e polynomials respectively. Then we have $M_1(z)M_2(z)\equiv I_{m+1}$, where $I_{m+1}$ is the identity $(m+1)\times(m+1)$-matrix. The result is motivated by some novel applications of Hermite--Pad\'e polynomials to the investigation of monodromy properties of Fuchsian systems of differential equations.


title: NSR singular vectors from Uglov polynomials

abstract: It was conjectured in arXiv:1211.2788 that bosonization of singular vectors (in Neveu-Schwarz sector) of $\mathcal{N}=1$ super analog of the Virasoro algebra can be identified with Uglov symmetric function. In the paper we prove this conjecture. We also extend this result to the Ramond sector of $\mathcal{N}=1$ super-Virasoro algebra.


title: NeuroView-RNN: It's About Time

abstract: Recurrent Neural Networks (RNNs) are important tools for processing sequential data such as time-series or video. Interpretability is defined as the ability to be understood by a person and is different from explainability, which is the ability to be explained in a mathematical formulation. A key interpretability issue with RNNs is that it is not clear how each hidden state per time step contributes to the decision-making process in a quantitative manner. We propose NeuroView-RNN as a family of new RNN architectures that explains how all the time steps are used for the decision-making process. Each member of the family is derived from a standard RNN architecture by concatenation of the hidden steps into a global linear classifier. The global linear classifier has all the hidden states as the input, so the weights of the classifier have a linear mapping to the hidden states. Hence, from the weights, NeuroView-RNN can quantify how important each time step is to a particular decision. As a bonus, NeuroView-RNN also offers higher accuracy in many cases compared to the RNNs and their variants. We showcase the benefits of NeuroView-RNN by evaluating on a multitude of diverse time-series datasets.


title: Investigations of Performance and Bias in Human-AI Teamwork in Hiring

abstract: In AI-assisted decision-making, effective hybrid (human-AI) teamwork is not solely dependent on AI performance alone, but also on its impact on human decision-making. While prior work studies the effects of model accuracy on humans, we endeavour here to investigate the complex dynamics of how both a model's predictive performance and bias may transfer to humans in a recommendation-aided decision task. We consider the domain of ML-assisted hiring, where humans -- operating in a constrained selection setting -- can choose whether they wish to utilize a trained model's inferences to help select candidates from written biographies. We conduct a large-scale user study leveraging a re-created dataset of real bios from prior work, where humans predict the ground truth occupation of given candidates with and without the help of three different NLP classifiers (random, bag-of-words, and deep neural network). Our results demonstrate that while high-performance models significantly improve human performance in a hybrid setting, some models mitigate hybrid bias while others accentuate it. We examine these findings through the lens of decision conformity and observe that our model architecture choices have an impact on human-AI conformity and bias, motivating the explicit need to assess these complex dynamics prior to deployment.


title: AirGuard -- Protecting Android Users From Stalking Attacks By Apple Find My Devices

abstract: Finder networks in general, and Apple's Find My network in particular, can pose a grave threat to users' privacy and even health if these networks are abused for stalking. Apple's release of the AirTag, a very affordable tracker covered by the nearly ubiquitous Find My network, amplified this issue. While Apple provides a stalking detection feature within its ecosystem, billions of Android users are still left in the dark. Apple recently released the Android app "Tracker Detect," which does not deliver a convincing feature set for stalking protection. We reverse engineer Apple's tracking protection in iOS and discuss its features regarding stalking detection. We design "AirGuard" and release it as an Android app to protect against abuse by Apple tracking devices. We compare the performance of our solution with the Apple-provided one in iOS and study the use of AirGuard in the wild over multiple weeks using data contributed by tens of thousands of active users.


title: Nonlinear Coupling of Electromagnetic and Spin-Electron-Acoustic Waves in Spin-polarized Degenerate Relativistic Astrophysical Plasma

abstract: Propagation of the finite amplitude electromagnetic wave through the partially spin-polarized degenerate plasmas leads to the instability. The instability happens at the interaction of the electromagnetic wave with the small frequency longitudinal spin-electron-acoustic waves. Strongest instability happens in the high density degenerate plasmas with the Fermi momentum close to $m_{e}c$, where $m_{e}$ is the mass of electron, and $c$ is the speed of light. The increase of the increment of instability with the growth of the spin polarization of plasmas is found.


title: Polynomial effective equidistribution

abstract: We prove effective equidistribution theorems, with polynomial error rate, for orbits of the unipotent subgroups of $\operatorname{SL}_2(\mathbb R)$ in arithmetic quotients of $\operatorname{SL}_2(\mathbb C)$ and $\operatorname{SL}_2(\mathbb R)\times\operatorname{SL}_2(\mathbb R)$. The proof is based on the use of a Margulis function, tools from incidence geometry, and the spectral gap of the ambient space.


title: Nonlocal subpicosecond delay metrology using spectral quantum interference

abstract: Timing and positioning measurements are key requisites for essential quantum network operations such as Bell state measurement. Conventional time-of-flight measurements using single-photon detectors are often limited by detection timing jitter. In this work, we demonstrate a nonlocal scheme to measure changes in relative link latencies with subpicosecond resolution by using tight timing correlation of broadband time-energy entangled photons. Our sensing scheme relies on spectral interference achieved via phase modulation, followed by filtering and biphoton coincidence measurements, and is resilient to microsecond-scale mismatch between the optical link traversed by the biphotons. Our experiments demonstrate a precision of +/-0.04 ps in measurements of nonlocal delay changes and +/-0.7{\deg} in measurements of radio-frequency phase changes. Furthermore, we complement our technique with time-tag information from single-photon detectors in the same setup to present unambiguous sensing of delay changes. The proposed technique can be implemented using off-the-shelf telecom equipment thus rendering it adaptable to practical quantum network infrastructure.


title: Benefit of Interpolation in Nearest Neighbor Algorithms

abstract: In some studies \citep[e.g.,][]{zhang2016understanding} of deep learning, it is observed that over-parametrized deep neural networks achieve a small testing error even when the training error is almost zero. Despite numerous works towards understanding this so-called "double descent" phenomenon \citep[e.g.,][]{belkin2018reconciling,belkin2019two}, in this paper, we turn into another way to enforce zero training error (without over-parametrization) through a data interpolation mechanism. Specifically, we consider a class of interpolated weighting schemes in the nearest neighbors (NN) algorithms. By carefully characterizing the multiplicative constant in the statistical risk, we reveal a U-shaped performance curve for the level of data interpolation in both classification and regression setups. This sharpens the existing result \citep{belkin2018does} that zero training error does not necessarily jeopardize predictive performances and claims a counter-intuitive result that a mild degree of data interpolation actually {\em strictly} improve the prediction performance and statistical stability over those of the (un-interpolated) $k$-NN algorithm. In the end, the universality of our results, such as change of distance measure and corrupted testing data, will also be discussed.


title: Consistent Dropout for Policy Gradient Reinforcement Learning

abstract: Dropout has long been a staple of supervised learning, but is rarely used in reinforcement learning. We analyze why naive application of dropout is problematic for policy-gradient learning algorithms and introduce consistent dropout, a simple technique to address this instability. We demonstrate consistent dropout enables stable training with A2C and PPO in both continuous and discrete action environments across a wide range of dropout probabilities. Finally, we show that consistent dropout enables the online training of complex architectures such as GPT without needing to disable the model's native dropout.


title: Improving Scalability with GPU-Aware Asynchronous Tasks

abstract: Asynchronous tasks, when created with over-decomposition, enable automatic computation-communication overlap which can substantially improve performance and scalability. This is not only applicable to traditional CPU-based systems, but also to modern GPU-accelerated platforms. While the ability to hide communication behind computation can be highly effective in weak scaling scenarios, performance begins to suffer with smaller problem sizes or in strong scaling due to fine-grained overheads and reduced room for overlap. In this work, we integrate GPU-aware communication into asynchronous tasks in addition to computation-communication overlap, with the goal of reducing time spent in communication and further increasing GPU utilization. We demonstrate the performance impact of our approach using a proxy application that performs the Jacobi iterative method, Jacobi3D. In addition to optimizations to minimize synchronizations between the host and GPU devices and increase the concurrency of GPU operations, we explore techniques such as kernel fusion and CUDA Graphs to mitigate fine-grained overheads at scale.


title: Nowcasting the Financial Time Series with Streaming Data Analytics under Apache Spark

abstract: This paper proposes nowcasting of high-frequency financial datasets in real-time with a 5-minute interval using the streaming analytics feature of Apache Spark. The proposed 2 stage method consists of modelling chaos in the first stage and then using a sliding window approach for training with machine learning algorithms namely Lasso Regression, Ridge Regression, Generalised Linear Model, Gradient Boosting Tree and Random Forest available in the MLLib of Apache Spark in the second stage. For testing the effectiveness of the proposed methodology, 3 different datasets, of which two are stock markets namely National Stock Exchange & Bombay Stock Exchange, and finally One Bitcoin-INR conversion dataset. For evaluating the proposed methodology, we used metrics such as Symmetric Mean Absolute Percentage Error, Directional Symmetry, and Theil U Coefficient. We tested the significance of each pair of models using the Diebold Mariano (DM) test.


title: Physics-informed neural networks for inverse problems in supersonic flows

abstract: Accurate solutions to inverse supersonic compressible flow problems are often required for designing specialized aerospace vehicles. In particular, we consider the problem where we have data available for density gradients from Schlieren photography as well as data at the inflow and part of wall boundaries. These inverse problems are notoriously difficult and traditional methods may not be adequate to solve such ill-posed inverse problems. To this end, we employ the physics-informed neural networks (PINNs) and its extended version, extended PINNs (XPINNs), where domain decomposition allows deploying locally powerful neural networks in each subdomain, which can provide additional expressivity in subdomains, where a complex solution is expected. Apart from the governing compressible Euler equations, we also enforce the entropy conditions in order to obtain viscosity solutions. Moreover, we enforce positivity conditions on density and pressure. We consider inverse problems involving two-dimensional expansion waves, two-dimensional oblique and bow shock waves. We compare solutions obtained by PINNs and XPINNs and invoke some theoretical results that can be used to decide on the generalization errors of the two methods.


title: Using natural language prompts for machine translation

abstract: We explore the use of natural language prompts for controlling various aspects of the outputs generated by machine translation models. We demonstrate that natural language prompts allow us to influence properties like formality or specific dialect of the output. We show that using language names to control the output language of multilingual translation models enables positive transfer for unseen language pairs. This unlocks the ability to translate into languages not seen during fine-tuning by using their English names. We investigate how scale, number of pre-training steps, number of languages in fine-tuning, and language similarity affect this phenomenon.


title: Differentially Private Speaker Anonymization

abstract: Sharing real-world speech utterances is key to the training and deployment of voice-based services. However, it also raises privacy risks as speech contains a wealth of personal data. Speaker anonymization aims to remove speaker information from a speech utterance while leaving its linguistic and prosodic attributes intact. State-of-the-art techniques operate by disentangling the speaker information (represented via a speaker embedding) from these attributes and re-synthesizing speech based on the speaker embedding of another speaker. Prior research in the privacy community has shown that anonymization often provides brittle privacy protection, even less so any provable guarantee. In this work, we show that disentanglement is indeed not perfect: linguistic and prosodic attributes still contain speaker information. We remove speaker information from these attributes by introducing differentially private feature extractors based on an autoencoder and an automatic speech recognizer, respectively, trained using noise layers. We plug these extractors in the state-of-the-art anonymization pipeline and generate, for the first time, private speech utterances with a provable upper bound on the speaker information they contain. We evaluate empirically the privacy and utility resulting from our differentially private speaker anonymization approach on the LibriSpeech data set. Experimental results show that the generated utterances retain very high utility for automatic speech recognition training and inference, while being much better protected against strong adversaries who leverage the full knowledge of the anonymization process to try to infer the speaker identity.


title: Using Deep Learning to Detect Digitally Encoded DNA Trigger for Trojan Malware in Bio-Cyber Attacks

abstract: This article uses Deep Learning technologies to safeguard DNA sequencing against Bio-Cyber attacks. We consider a hybrid attack scenario where the payload is encoded into a DNA sequence to activate a Trojan malware implanted in a software tool used in the sequencing pipeline in order to allow the perpetrators to gain control over the resources used in that pipeline during sequence analysis. The scenario considered in the paper is based on perpetrators submitting synthetically engineered DNA samples that contain digitally encoded IP address and port number of the perpetrators machine in the DNA. Genetic analysis of the samples DNA will decode the address that is used by the software trojan malware to activate and trigger a remote connection. This approach can open up to multiple perpetrators to create connections to hijack the DNA sequencing pipeline. As a way of hiding the data, the perpetrators can avoid detection by encoding the address to maximise similarity with genuine DNAs, which we showed previously. However, in this paper we show how Deep Learning can be used to successfully detect and identify the trigger encoded data, in order to protect a DNA sequencing pipeline from trojan attacks. The result shows nearly up to 100% accuracy in detection in such a novel Trojan attack scenario even after applying fragmentation encryption and steganography on the encoded trigger data. In addition, feasibility of designing and synthesizing encoded DNA for such Trojan payloads is validated by a wet lab experiment.


title: Extracting invariant of conjugacy from independence entropy

abstract: The concept of independence entropy for symbolic dynamical systems was introduced in [LMP13]. This notion of entropy measures the extent to which one can freely insert symbols in positions without violating the constraints defined by the shift space. Independence entropy is not invariant under topological conjugacy. We define an invariant version of the independence entropy by setting sup h_{ind}(X) = sup{h_{ind}(Y )|Y ' X}. This invariant is bounded above by the topological entropy. We prove that equality sup h_{ind}(X) = h(X) holds for all sofic shift spaces over Z, then we give an example showing that equality does not hold for general shift spaces.


title: The associative-commutative spectrum of a binary operation

abstract: We initiate the study of a quantitative measure for the failure of a binary operation to be commutative and associative. We call this measure the associative-commutative spectrum as it extends the so-called associative spectrum (also known as the subassociativity type), which measures the nonassociativity of a binary operation. In fact, the associative-commutative spectrum (resp. associative spectrum) is the cardinality of the symmetric (resp. nonsymmetric) operad obtained naturally from a groupoid (a set with a binary operation). In this paper we provide some general results on the associative-commutative spectrum, precisely determine this measure for certain binary operations, and propose some problems for future study.


title: TARexp: A Python Framework for Technology-Assisted Review Experiments

abstract: Technology-assisted review (TAR) is an important industrial application of information retrieval (IR) and machine learning (ML). While a small TAR research community exists, the complexity of TAR software and workflows is a major barrier to entry. Drawing on past open source TAR efforts, as well as design patterns from the IR and ML open source software, we present an open source Python framework for conducting experiments on TAR algorithms. Key characteristics of this framework are declarative representations of workflows and experiment plans, the ability for components to play variable numbers of workflow roles, and state maintenance and restart capabilities. Users can draw on reference implementations of standard TAR algorithms while incorporating novel components to explore their research interests. The framework is available at https://github.com/eugene-yang/tarexp.


title: Novel Sensors for Particle Tracking: a Contribution to the Snowmass Community Planning Exercise of 2021

abstract: Five contemporary technologies are discussed in the context of their potential roles in particle tracking for future high energy physics applications. These include sensors of the 3D configuration, in both diamond and silicon, submicron-dimension pixels, thin film detectors, and scintillating quantum dots in gallium arsenide. Drivers of the technologies include radiation hardness, excellent position, vertex, and timing resolution, simplified integration, and optimized power, cost, and material.


title: Performance of planar Floquet codes with Majorana-based qubits

abstract: Quantum error correction is crucial for any quantum computing platform to achieve truly scalable quantum computation. The surface code and its variants have been considered the most promising quantum error correction scheme due to their high threshold, low overhead, and relatively simple structure that can naturally be implemented in many existing qubit architectures, such as superconducting qubits. The recent development of Floquet codes offers another promising approach. By going beyond the usual paradigm of stabilizer codes, Floquet codes achieve similar performance while being constructed entirely from two-qubit measurements. This makes them particularly suitable for platforms where two-qubit measurements can be implemented directly, such as measurement-only topological qubits based on Majorana zero modes (MZMs). Here, we explain how two variants of Floquet codes can be implemented on MZM-based architectures without any auxiliary qubits for syndrome measurement and with shallow syndrome extraction sequences. We then numerically demonstrate their favorable performance. In particular, we show that they improve the threshold for scalable quantum computation in MZM-based systems by an order of magnitude, and significantly reduce space and time overheads below threshold.


title: Feedback Lock-in: A versatile multi-terminal measurement system for electrical transport devices

abstract: We present the design and implementation of a measurement system that enables parallel drive and detection of small currents and voltages at numerous electrical contacts to a multi-terminal electrical device. This system, which we term a feedback lock-in, combines digital control-loop feedback with software-defined lock-in measurements to dynamically source currents and measure small, pre-amplified potentials. The effective input impedance of each current/voltage probe can be set via software, permitting any given contact to behave as an open-circuit voltage lead or as a virtually grounded current source/sink. This enables programmatic switching of measurement configurations and permits measurement of currents at multiple drain contacts without the use of current preamplifiers. Our 32-channel implementation relies on commercially available digital input/output boards, home-built voltage preamplifiers, and custom open-source software. With our feedback lock-in, we demonstrate differential measurement sensitivity comparable to a widely used commercially available lock-in amplifier and perform efficient multi-terminal electrical transport measurements on twisted bilayer graphene and $SrTiO_3$ quantum point contacts. The feedback lock-in also enables a new style of current-biased measurement which we demonstrate on a ballistic graphene device.


title: A modification of the conjugate direction method for motion estimation

abstract: A comparative study of different block matching alternatives for motion estimation is presented. The study is focused on computational burden and objective measures on the accuracy of prediction. Together with existing algorithms several new variations have been tested. An interesting modification of the conjugate direction method previously related in literature is reported. This new algorithm shows a good trade-off between computational complexity and accuracy of motion vector estimation. Computational complexity is evaluated using a sequence of artificial images designed to incorporate a great variety of motion vectors. The performance of block matching methods has been measured in terms of the entropy in the error signal between the motion compensated and the original frames.


title: Analysis of the IW And star ASAS J071404+7004.3

abstract: We made a time-resolved photometric campaign of the bright cataclysmic variable ASAS J071404+7004.3 in 2020. Inight et al. (2022, arXiv/2109.14514) recently published time-resolved optical spectroscopy, X-ray observations and long- and short-term optical variations. Although their results were correct in many parts, they classified ASAS J071404+7004.3 as a VY Scl-type novalike object. By comparing the ASAS-SN data of this object and the IW And-type object HO Pup, we showed that their type classification was incorrect. ASAS J071404+7004.3 showed outbursts from a standstill followed by shallow dips, which is the defining characteristic of an IW And star. This object predominantly showed states with low-amplitude dwarf nova-type oscillations, some of which could be identified as the "heartbeat"-type state as a variety of the IW And-type phenomenon. The low state described by Inight et al. (2022) was not a true low state of a VY Scl star, but a dwarf nova-type state with increased outburst amplitudes. Both ground-based (our campaign) and TESS observations detected orbital variations whose periods [0.136589(5) d by the ground-based campaign and 0.1366476(3) d by the TESS data] are in very good agreement with the one obtained by radial-velocity studies by Inight et al. (2022). The standstill in 2019-2020 in ASAS J071404+7004.3 was not brighter than its dwarf nova-type states. The brightest moment of this object occurred when the amplitudes of dwarf nova-type variations were large, which challenges the widely accepted interpretation that standstills in Z Cam stars occur when the mass-transfer rates are high.


title: Near Perfect GAN Inversion

abstract: To edit a real photo using Generative Adversarial Networks (GANs), we need a GAN inversion algorithm to identify the latent vector that perfectly reproduces it. Unfortunately, whereas existing inversion algorithms can synthesize images similar to real photos, they cannot generate the identical clones needed in most applications. Here, we derive an algorithm that achieves near perfect reconstructions of photos. Rather than relying on encoder- or optimization-based methods to find an inverse mapping on a fixed generator $G(\cdot)$, we derive an approach to locally adjust $G(\cdot)$ to more optimally represent the photos we wish to synthesize. This is done by locally tweaking the learned mapping $G(\cdot)$ s.t. $\| {\bf x} - G({\bf z}) \|<\epsilon$, with ${\bf x}$ the photo we wish to reproduce, ${\bf z}$ the latent vector, $\|\cdot\|$ an appropriate metric, and $\epsilon > 0$ a small scalar. We show that this approach can not only produce synthetic images that are indistinguishable from the real photos we wish to replicate, but that these images are readily editable. We demonstrate the effectiveness of the derived algorithm on a variety of datasets including human faces, animals, and cars, and discuss its importance for diversity and inclusion.


title: Comparison of Combination Methods to Create Calibrated Ensemble Forecasts for Seasonal Influenza in the U.S

abstract: The characteristics of influenza seasons varies substantially from year to year, posing challenges for public health preparation and response. Influenza forecasting is used to inform seasonal outbreak response, which can in turn potentially reduce the societal impact of an epidemic. The United States Centers for Disease Control and Prevention, in collaboration with external researchers, has run an annual prospective influenza forecasting exercise, known as the FluSight challenge. A subset of participating teams has worked together to produce a collaborative multi-model ensemble, the FluSight Network ensemble. Uniting theoretical results from the forecasting literature with domain-specific forecasts from influenza outbreaks, we applied parametric forecast combination methods that simultaneously optimize individual model weights and calibrate the ensemble via a beta transformation. We used the beta-transformed linear pool and the finite beta mixture model to produce ensemble forecasts retrospectively for the 2016/2017 to 2018/2019 influenza seasons in the U.S. We compared their performance to methods currently used in the FluSight challenge, namely the equally weighted linear pool and the linear pool. Ensemble forecasts produced from methods with a beta transformation were shown to outperform those from the equally weighted linear pool and the linear pool for all week-ahead targets across in the test seasons based on average log scores. We observed improvements in overall accuracy despite the beta-transformed linear pool or beta mixture methods' modest under-prediction across all targets and seasons. Combination techniques that explicitly adjust for known calibration issues in linear pooling should be considered to improve ensemble probabilistic scores in outbreak settings.


title: Values of zeta-one functions at positive even integers

abstract: Motivated by Euler-Goldbach and Shallit-Zikan theorems, we introduce zeta-one functions with infinite sums of $n^{s}\pm1$ as an analogy of the Riemann zeta function. Then we compute values of these functions at positive even integers by the residue theorem.


title: Sky Computing: Accelerating Geo-distributed Computing in Federated Learning

abstract: Federated learning is proposed by Google to safeguard data privacy through training models locally on users' devices. However, with deep learning models growing in size to achieve better results, it becomes increasingly difficult to accommodate the whole model on one single device. Thus, model parallelism is then used to divide the model weights among several devices. With this logic, the approach currently used evenly allocates weights among devices. However, in reality, a computation bottleneck may occur resulting from variant computing power of different users' devices. To address this problem, load balancing is needed to allocate the model weights based on the computational capability of the device. In this paper, we proposed Sky Computing, a load-balanced model parallelism framework to adaptively allocate the weights to devices. Sky Computing outperforms the baseline method by 55% in training time when training 160-layer BERT with 64 nodes. The source code can be found at https://github.com/hpcaitech/SkyComputing.


title: Computational 3D microscopy with optical coherence refraction tomography

abstract: Optical coherence tomography (OCT) has seen widespread success as an in vivo clinical diagnostic 3D imaging modality, impacting areas including ophthalmology, cardiology, and gastroenterology. Despite its many advantages, such as high sensitivity, speed, and depth penetration, OCT suffers from several shortcomings that ultimately limit its utility as a 3D microscopy tool, such as its pervasive coherent speckle noise and poor lateral resolution required to maintain millimeter-scale imaging depths. Here, we present 3D optical coherence refraction tomography (OCRT), a computational extension of OCT which synthesizes an incoherent contrast mechanism by combining multiple OCT volumes, acquired across two rotation axes, to form a resolution-enhanced, speckle-reduced, refraction-corrected 3D reconstruction. Our label-free computational 3D microscope features a novel optical design incorporating a parabolic mirror to enable the capture of 5D plenoptic datasets, consisting of millimetric 3D fields of view over up to $\pm75^\circ$ without moving the sample. We demonstrate that 3D OCRT reveals 3D features unobserved by conventional OCT in fruit fly, zebrafish, and mouse samples.


title: Explanatory Paradigms in Neural Networks

abstract: In this article, we present a leap-forward expansion to the study of explainability in neural networks by considering explanations as answers to abstract reasoning-based questions. With $P$ as the prediction from a neural network, these questions are `Why P?', `What if not P?', and `Why P, rather than Q?' for a given contrast prediction $Q$. The answers to these questions are observed correlations, observed counterfactuals, and observed contrastive explanations respectively. Together, these explanations constitute the abductive reasoning scheme. We term the three explanatory schemes as observed explanatory paradigms. The term observed refers to the specific case of post-hoc explainability, when an explanatory technique explains the decision $P$ after a trained neural network has made the decision $P$. The primary advantage of viewing explanations through the lens of abductive reasoning-based questions is that explanations can be used as reasons while making decisions. The post-hoc field of explainability, that previously only justified decisions, becomes active by being involved in the decision making process and providing limited, but relevant and contextual interventions. The contributions of this article are: ($i$) realizing explanations as reasoning paradigms, ($ii$) providing a probabilistic definition of observed explanations and their completeness, ($iii$) creating a taxonomy for evaluation of explanations, and ($iv$) positioning gradient-based complete explanainability's replicability and reproducibility across multiple applications and data modalities, ($v$) code repositories, publicly available at https://github.com/olivesgatech/Explanatory-Paradigms.


title: Analysis method for 3D power spectrum of projected tensor field with fast estimator and window convolution modelling: an application to intrinsic alignments

abstract: Rank-2 tensor fields of large-scale structure, e.g. a tensor field inferred from shapes of galaxies, open up a window to directly access 2-scalar, 2-vector and 2-tensor modes, where the scalar fields can be measured independently from the standard density field that is traced by distribution of galaxies. Here we develop an estimator of the multipole moments of power spectra for the three-dimensional tensor field, taking into account the projection onto plane perpendicular to the line-of-sight direction. To do this, we find that a convenient representation of the power spectrum multipoles can be obtained by the use of the associated Legendre polynomials in the form which allows for the fast Fourier transform estimations under the local plane-parallel (LPP) approximation. The formulation also allows us to obtain the Hankel transforms to connect the two-point statistics in Fourier and configuration space, which are needed to derive theoretical templates of the power spectrum including convolution of a survey window. To validate our estimators, we use the simulation data of the projected tidal field assuming a survey window that mimics the BOSS-like survey footprint. We show that the LPP estimators fairly well recover the multipole moments that are inferred from the global plane-parallel approximation. We find that the survey window causes a more significant change in the multipole moments of projected tensor power spectrum at $k\lesssim 0.1\,h{\rm Mpc}^{-1}$ from the input power spectrum, than in the density power spectrum. Nevertheless, our method to compute the theory template including the survey window effects successfully reproduces the window-convolved multipole moments measured from the simulations. The analysis method presented here paves the way for a cosmological analysis using three-dimensional tensor-type tracers of large-scale structure for current and future surveys.


title: Scalpel: The Python Static Analysis Framework

abstract: Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such a framework (named Scalpel) and make it publicly available as an open-source project. The Scalpel framework has already integrated a number of fundamental static analysis functions (e.g., call graph constructions, control-flow graph constructions, alias analysis, etc.) that are ready to be reused by developers to implement client applications focusing on statically resolving dedicated Python problems such as detecting bugs or fixing vulnerabilities.


title: DC and SA: Robust and Efficient Hyperparameter Optimization of Multi-subnetwork Deep Learning Models

abstract: We present two novel hyperparameter optimization strategies for optimization of deep learning models with a modular architecture constructed of multiple subnetworks. As complex networks with multiple subnetworks become more frequently applied in machine learning, hyperparameter optimization methods are required to efficiently optimize their hyperparameters. Existing hyperparameter searches are general, and can be used to optimize such networks, however, by exploiting the multi-subnetwork architecture, these searches can be sped up substantially. The proposed methods offer faster convergence to a better-performing final model. To demonstrate this, we propose 2 independent approaches to enhance these prior algorithms: 1) a divide-and-conquer approach, in which the best subnetworks of top-performing models are combined, allowing for more rapid sampling of the hyperparameter search space. 2) A subnetwork adaptive approach that distributes computational resources based on the importance of each subnetwork, allowing more intelligent resource allocation. These approaches can be flexibily applied to many hyperparameter optimization algorithms. To illustrate this, we combine our approaches with the commonly-used Bayesian optimization method. Our approaches are then tested against both synthetic examples and real-world examples and applied to multiple network types including convolutional neural networks and dense feed forward neural networks. Our approaches show an increased optimization efficiency of up to 23.62x, and a final performance boost of up to 3.5% accuracy for classification and 4.4 MSE for regression, when compared to comparable BO approach.


title: U-statistics of growing order and sub-Gaussian mean estimators with sharp constants

abstract: This paper addresses the following question: given a sample of i.i.d. random variables with finite variance, can one construct an estimator of the unknown mean that performs nearly as well as if the data were normally distributed? One of the most popular examples achieving this goal is the median of means estimator. However, it is inefficient in a sense that the constants in the resulting bounds are suboptimal. We show that a permutation-invariant modification of the median of means estimator admits deviation guarantees that are sharp up to $1+o(1)$ factor if the underlying distribution possesses more than $\frac{3+\sqrt{5}}{2}\approx 2.62$ moments and is absolutely continuous with respect to the Lebesgue measure. This result yields potential improvements for a variety of algorithms that rely on the median of means estimator as a building block. At the core of our argument is are the new deviation inequalities for the U-statistics of order that is allowed to grow with the sample size, a result that could be of independent interest.


title: Metrical theorems for unconventional height functions

abstract: In this paper, we consider the simultaneous approximation of real points by rational points with the error of approximation given by the functions of `non-standard' heights. We prove analogues of Khintchine and Jarn\'ik-Besicovitch theorems for this setting, thus answering some questions raised by Fishman and Simmons (2017).


title: First is Better Than Last for Language Data Influence

abstract: The ability to identify influential training examples enables us to debug training data and explain model behavior. Existing techniques to do so are based on the flow of training data influence through the model parameters. For large models in NLP applications, it is often computationally infeasible to study this flow through all model parameters, therefore techniques usually pick the last layer of weights. However, we observe that since the activation connected to the last layer of weights contains "shared logic", the data influenced calculated via the last layer weights prone to a ``cancellation effect'', where the data influence of different examples have large magnitude that contradicts each other. The cancellation effect lowers the discriminative power of the influence score, and deleting influential examples according to this measure often does not change the model's behavior by much. To mitigate this, we propose a technique called TracIn-WE that modifies a method called TracIn to operate on the word embedding layer instead of the last layer, where the cancellation effect is less severe. One potential concern is that influence based on the word embedding layer may not encode sufficient high level information. However, we find that gradients (unlike embeddings) do not suffer from this, possibly because they chain through higher layers. We show that TracIn-WE significantly outperforms other data influence methods applied on the last layer significantly on the case deletion evaluation on three language classification tasks for different models. In addition, TracIn-WE can produce scores not just at the level of the overall training input, but also at the level of words within the training input, a further aid in debugging.


title: Benchmarking the Planar Honeycomb Code

abstract: We improve the planar honeycomb code by describing boundaries that need no additional physical connectivity, and by optimizing the shape of the qubit patch. We then benchmark the code using Monte Carlo sampling to estimate logical error rates and derive metrics including thresholds, lambdas, and teraquop qubit counts. We determine that the planar honeycomb code can create a logical qubit with one-in-a-trillion logical error rates using 7000 physical qubits at a 0.1% gate-level error rate (or 900 physical qubits given native two-qubit parity measurements). Our results cement the honeycomb code as a promising candidate for two-dimensional qubit architectures with sparse connectivity.


title: Parameter Estimation with Reluctant Quantum Walks: a Maximum Likelihood approach

abstract: The parametric maximum likelihood estimation problem is addressed in the context of quantum walk theory for quantum walks on the lattice of integers. A coin action is presented, with the real parameter $\theta$ to be estimated identified with the angular argument of an orthogonal reshuffling matrix. We provide analytic results for the probability distribution for a quantum walker to be displaced by $d$ units from its initial position after $k$ steps. For $k$ large, we show that the likelihood is sharply peaked at a displacement determined by the ratio $d/k$, which is correlated with the reshuffling parameter $\theta$. We suggest that this `reluctant walker' behaviour provides the framework for maximum likelihood estimation analysis, allowing for robust parameter estimation of $\theta$ via return probabilities of closed evolution loops and quantum measurements of the position of quantum walker with`reluctance index' $r=d/k$.


title: CAISE: Conversational Agent for Image Search and Editing

abstract: Demand for image editing has been increasing as users' desire for expression is also increasing. However, for most users, image editing tools are not easy to use since the tools require certain expertise in photo effects and have complex interfaces. Hence, users might need someone to help edit their images, but having a personal dedicated human assistant for every user is impossible to scale. For that reason, an automated assistant system for image editing is desirable. Additionally, users want more image sources for diverse image editing works, and integrating an image search functionality into the editing tool is a potential remedy for this demand. Thus, we propose a dataset of an automated Conversational Agent for Image Search and Editing (CAISE). To our knowledge, this is the first dataset that provides conversational image search and editing annotations, where the agent holds a grounded conversation with users and helps them to search and edit images according to their requests. To build such a system, we first collect image search and editing conversations between pairs of annotators. The assistant-annotators are equipped with a customized image search and editing tool to address the requests from the user-annotators. The functions that the assistant-annotators conduct with the tool are recorded as executable commands, allowing the trained system to be useful for real-world application execution. We also introduce a generator-extractor baseline model for this task, which can adaptively select the source of the next token (i.e., from the vocabulary or from textual/visual contexts) for the executable command. This serves as a strong starting point while still leaving a large human-machine performance gap for useful future work. Our code and dataset are publicly available at: https://github.com/hyounghk/CAISE


title: Selfsimilar free additive processes and freely selfdecomposable distributions

abstract: In the paper by Fan\cite{F06}, he introduced the marginal selfsimilarity of non-commutative stochastic processes and proved the marginal distributions of selfsimilar processes with freely independent increments are freely selfdecomposable. In this paper, we firstly introduce a new definition, stronger than Fan's one in general, of selfsimilarity via linear combinations of non-commutative stochastic processes, although their two definitions are equivalent for non-commutative stochastic processes with freely independent increments. We secondly prove the converse of Fan's result, to complete the relationship between selfsimilar free additive processes and freely selfdecomposable distributions. Furthermore, we construct stochastic integrals with respect to free additive processes for representing the background driving free L{\'e}vy processes of freely selfdecomposable distributions. A relationship between freely selfdecomposable distributions and their background driving free L{\'e}vy processes in terms of their free cumulant transforms is also given, and several examples are discussed.


title: A SUBLIME 3D Model for Cometary Coma Emission: the Hypervolatile-Rich Comet C/2016 R2 (PanSTARRS)

abstract: The coma of comet C/2016 R2 (PanSTARRS) is one of the most chemically peculiar ever observed, in particular due to its extremely high CO/H2O and N2+/H2O ratios}, and unusual trace volatile abundances. However, the complex shape of its CO emission lines, as well as uncertainties in the coma structure and excitation, has lead to ambiguities in the total CO production rate. We performed high resolution, spatially, spectrally and temporally resolved CO observations using the James Clerk Maxwell Telescope (JCMT) and Submillimeter Array (SMA) to elucidate the outgassing behaviour of C/2016 R2. Results are analyzed using a new, time-dependent, three dimensional radiative transfer code (SUBLIME), incorporating for the first time, accurate state-to-state collisional rate coefficients for the CO--CO system. The total CO production rate was found to be in the range $(3.8-7.6)\times10^{28}$ s$^{-1}$ between 2018-01-13 and 2018-02-01, with a mean value of $(5.3\pm0.6)\times10^{28}$ s$^{-1}$ at r_H = 2.8-2.9 au. The emission is concentrated in a near-sunward jet, with an outflow velocity $0.51\pm0.01$ km/s, compared to $0.25\pm0.01$ km/s in the ambient (and night-side) coma. Evidence was also found for an extended source of CO emission, possibly due to icy grain sublimation around $1.2\times10^5$ km from the nucleus. Based on the coma molecular abundances, we propose that the nucleus ices of C/2016 R2 can be divided into a rapidly sublimating apolar phase, rich in CO, CO2, N2 and CH3OH, and a predominantly frozen (or less abundant), polar phase containing more H2O, CH4, H2CO and HCN.


title: Robust Federated Learning with Connectivity Failures: A Semi-Decentralized Framework with Collaborative Relaying

abstract: Intermittent connectivity of clients to the parameter server (PS) is a major bottleneck in federated edge learning frameworks. The lack of constant connectivity induces a large generalization gap, especially when the local data distribution amongst clients exhibits heterogeneity. To overcome intermittent communication outages between clients and the central PS, we introduce the concept of collaborative relaying wherein the participating clients relay their neighbors' local updates to the PS in order to boost the participation of clients with poor connectivity to the PS. We propose a semi-decentralized federated learning framework in which at every communication round, each client initially computes a local consensus of a subset of its neighboring clients' updates, and eventually transmits to the PS a weighted average of its own update and those of its neighbors'. We appropriately optimize these local consensus weights to ensure that the global update at the PS is unbiased with minimal variance - consequently improving the convergence rate. Numerical evaluations on the CIFAR-10 dataset demonstrate that our collaborative relaying approach outperforms federated averaging-based benchmarks for learning over intermittently-connected networks such as when the clients communicate over millimeter wave channels with intermittent blockages.


title: Ultrasensitive, Ultrafast and Gate-Tunable Two-Dimensional Photodetectors in Ternary Rhombohedral ZnIn2S4 for Optical Neural Networks

abstract: The demand for high-performance semiconductors in electronics and optoelectronics has prompted the expansion of low-dimensional materials research to ternary compounds. However, photodetectors based on 2D ternary materials usually suffer from large dark currents and slow response, which means increased power consumption and reduced performance. Here we report a systematic study of the optoelectronic properties of well-characterized rhombohedral ZnIn2S4 (R-ZIS) nanosheets which exhibit an extremely low dark current (7 pA at 5 V bias). The superior performance represented by a series of parameters surpasses most 2D counterparts. The ultrahigh specific detectivity (1.8 x 10^14 Jones), comparably short response time ({\tau}_rise = 222 {\mu}s, {\tau}_decay = 158 {\mu}s) and compatibility with high-frequency operation (1000 Hz) are particularly prominent. Moreover, a gate-tunable characteristic is observed, which is attributed to photogating and improves the photoresponse by two orders of magnitude. Gating technique can effectively modulate the photocurrent-generation mechanism from photoconductive effect to dominant photogating. The combination of ultrahigh sensitivity, ultrafast response and high gate tunability makes the R-ZIS phototransistor an ideal device for low-energy-consumption and high-frequency optoelectronic applications, which is further demonstrated by its excellent performance in optical neural networks and promising potential in optical deep learning and computing.


title: $H_0$ tension or $M$ overestimation?

abstract: There is a strong discrepancy between the value of the Hubble parameter $H_0^P$ obtained from large scale observations such as the Planck mission, and the small scale value $H_0^R$, obtained from low redshift supernovae (SNe). The value of the absolute magnitude $M^{Hom}$ used as prior in analyzing observational data is obtained from low-redshift SNe, assuming a homogeneous Universe, but the distance of the anchors used to calibrate the SNe to obtain $M$ would be affected by a local inhomogeneity, making it inconsistent to test the Copernican principle using $M^{Hom}$, since $M$ estimation itself is affected by local inhomogeneities. We perform an analysis of the luminosity distance of low redshift SNe, using different values of $M$, $\{M^P,M^R\}$, corresponding to different values of $H_0$, $\{H_0^P,H_0^R\}$, obtained from the model independent consistency relation between $H_0$ and $M$ which can be derived from the definition of the distance modulus. We find that the value of $M$ can strongly affect the evidence of a local inhomogeneity. We analyze data from the Pantheon catalog, finding no significant statistical evidence of a local inhomogeneity using the parameters $\{M^R,H_0^R\}$, confirming previous studies, while with $\{M^P,H_0^P\}$ we find evidence of a small local void, which causes an overestimation of $M^R$ with respect to $M^P$. An inhomogeneous model with the parameters $\{M^P,H_0^P\}$ fits the data better than a homogeneous model with $\{M^R,H_0^R\}$, resolving the apparent $H_0$ tension. Using $\{M^P,H_0^P\}$, we obtain evidence of a local inhomogeneity with a density contrast $-0.140 \pm 0.042 $, extending up to a redshift of $z_v =0.056 \pm 0.0002$, in good agreement with recent results of galaxy catalogs analysis.


title: Attainability and Optimality: The Equalized Odds Fairness Revisited

abstract: Fairness of machine learning algorithms has been of increasing interest. In order to suppress or eliminate discrimination in prediction, various notions as well as approaches have been proposed to impose fairness. Given a notion of fairness, an essential problem is then whether or not it can always be attained, even if with an unlimited amount of data. This issue is, however, not well addressed yet. In this paper, focusing on the Equalized Odds notion of fairness, we consider the attainability of this criterion and, furthermore, if it is attainable, the optimality of the prediction performance under various settings. In particular, for prediction performed by a deterministic function of input features, we give conditions under which Equalized Odds can hold true; if the stochastic prediction is acceptable, we show that under mild assumptions, fair predictors can always be derived. For classification, we further prove that compared to enforcing fairness by post-processing, one can always benefit from exploiting all available features during training and get potentially better prediction performance while remaining fair. Moreover, while stochastic prediction can attain Equalized Odds with theoretical guarantees, we also discuss its limitation and potential negative social impacts.


title: Schatten classes and commutator in the two weight setting, I. Hilbert transform

abstract: We characterize the Hilbert--Schmidt class membership of commutator with the Hilbert transform in the two weight setting. The characterization depends upon the symbol of the commutator being in a new weighted Besov space. This follows from a Schatten class $S_p$ result for dyadic paraproducts, where $1< p < \infty $. We discuss the difficulties in extending the dyadic result to the full range of Schatten classes for the Hilbert transform.


title: Learning Multi-Object Dynamics with Compositional Neural Radiance Fields

abstract: We present a method to learn compositional multi-object dynamics models from image observations based on implicit object encoders, Neural Radiance Fields (NeRFs), and graph neural networks. NeRFs have become a popular choice for representing scenes due to their strong 3D prior. However, most NeRF approaches are trained on a single scene, representing the whole scene with a global model, making generalization to novel scenes, containing different numbers of objects, challenging. Instead, we present a compositional, object-centric auto-encoder framework that maps multiple views of the scene to a set of latent vectors representing each object separately. The latent vectors parameterize individual NeRFs from which the scene can be reconstructed. Based on those latent vectors, we train a graph neural network dynamics model in the latent space to achieve compositionality for dynamics prediction. A key feature of our approach is that the latent vectors are forced to encode 3D information through the NeRF decoder, which enables us to incorporate structural priors in learning the dynamics models, making long-term predictions more stable compared to several baselines. Simulated and real world experiments show that our method can model and learn the dynamics of compositional scenes including rigid and deformable objects. Video: https://dannydriess.github.io/compnerfdyn/


title: An analogy of Jacobi's formula and its applications

abstract: We give an analogy of Jacobi's formula, which relates the hypergeometric function with parameters $(1/4,1/4,1)$ and theta constants. By using this analogy and twice formulas of theta constants, we obtain a transformation formula for this hypergeometric function. As its application, we express the limit of a pair of sequences defined by a mean iteration by this hypergeometric function.


title: Complexity Results on Untangling Red-Blue Matchings

abstract: Given a matching between n red points and n blue points by line segments in the plane, we consider the problem of obtaining a crossing-free matching through flip operations that replace two crossing segments by two non-crossing ones. We first show that (i) it is NP-hard to alpha-approximate the shortest flip sequence, for any constant alpha. Second, we show that when the red points are colinear, (ii) given a matching, a flip sequence of length at most n(n-1)/2 always exists, and (iii) the number of flips in any sequence never exceeds (n(n-1)/2) (n+4)/6. Finally, we present (iv) a lower bounding flip sequence with roughly 1.5 n(n-1)/2 flips, which shows that the n(n-1)/2 flips attained in the convex case are not the maximum, and (v) a convex matching from which any flip sequence has roughly 1.5 n flips. The last four results, based on novel analyses, improve the constants of state-of-the-art bounds.


title: Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)

abstract: In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomass\'e and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $\gamma$ are $O(\gamma)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $\gamma$ have reduced bandwidth $O(\gamma^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.