title: TOD3Cap: Towards 3D Dense Captioning in Outdoor Scenes

abstract: 3D dense captioning stands as a cornerstone in achieving a comprehensive understanding of 3D scenes through natural language. It has recently witnessed remarkable achievements, particularly in indoor settings. However, the exploration of 3D dense captioning in outdoor scenes is hindered by two major challenges: 1) the domain gap between indoor and outdoor scenes, such as dynamics and sparse visual inputs, makes it difficult to directly adapt existing indoor methods; 2) the lack of data with comprehensive box-caption pair annotations specifically tailored for outdoor scenes. To this end, we introduce the new task of outdoor 3D dense captioning. As input, we assume a LiDAR point cloud and a set of RGB images captured by the panoramic camera rig. The expected output is a set of object boxes with captions. To tackle this task, we propose the TOD3Cap network, which leverages the BEV representation to generate object box proposals and integrates Relation Q-Former with LLaMA-Adapter to generate rich captions for these objects. We also introduce the TOD3Cap dataset, the largest one to our knowledge for 3D dense captioning in outdoor scenes, which contains 2.3M descriptions of 64.3K outdoor objects from 850 scenes. Notably, our TOD3Cap network can effectively localize and caption 3D objects in outdoor scenes, which outperforms baseline methods by a significant margin (+9.6 CiDEr@0.5IoU). Code, data, and models are publicly available at https://github.com/jxbbb/TOD3Cap.


title: Non-Linear Matter Power Spectrum Modeling in Interacting Dark Energy Cosmologies

abstract: Understanding the behavior of the matter power spectrum on non-linear scales beyond the $\Lambda$CDM model is crucial for accurately predicting the large-scale structure (LSS) of the Universe in non-standard cosmologies. In this work, we present an analysis of the non-linear matter power spectrum within the framework of interacting dark energy-dark matter cosmologies (IDE). We employ N-body simulations and theoretical models to investigate the impact of IDE on these non-linear scales. Beginning with N-body simulations characterized by a fixed parameter space delineated by prior observational research, we adeptly fit the simulated spectra with a simple parametric function, achieving accuracy within 5\%. Subsequently, we refine a modified halo model tailored to the IDE cosmology, exhibiting exceptional precision in fitting the simulations down to scales of approximately 1 h/Mpc. To assess the model's robustness, we conduct a forecast analysis for the Euclid survey, employing our refined model. We find that the coupling parameter $\xi$ will be constrained to $\sigma(\xi) = 0.0046$. This marks a significant improvement by an order of magnitude compared to any other current observational tests documented in the literature. These primary findings pave the way for a novel preliminary approach, enabling the utilization of IDE models for observational constraints concerning LSS data on non-linear scales.


title: Genetic Quantization-Aware Approximation for Non-Linear Operations in Transformers

abstract: Non-linear functions are prevalent in Transformers and their lightweight variants, incurring substantial and frequently underestimated hardware costs. Previous state-of-the-art works optimize these operations by piece-wise linear approximation and store the parameters in look-up tables (LUT), but most of them require unfriendly high-precision arithmetics such as FP/INT 32 and lack consideration of integer-only INT quantization. This paper proposed a genetic LUT-Approximation algorithm namely GQA-LUT that can automatically determine the parameters with quantization awareness. The results demonstrate that GQA-LUT achieves negligible degradation on the challenging semantic segmentation task for both vanilla and linear Transformer models. Besides, proposed GQA-LUT enables the employment of INT8-based LUT-Approximation that achieves an area savings of 81.3~81.7% and a power reduction of 79.3~80.2% compared to the high-precision FP/INT 32 alternatives. Code is available at https:// github.com/PingchengDong/GQA-LUT.


title: New results of $\gamma$ measurements in ADS and GLW-like decays at LHCb

abstract: Recent LHCb measurements of the CKM angle $\gamma$ in ADS and GLW-like decays are presented. One measurement considers $B^{0}\to D K^{*0}(892)$ decays with two- and four-body $D$-decay final states and another considers $B^{\pm}\to D h^{\pm}$ decays with $D \to K\pi\pi\pi$ final states. The former supersedes a previous LHCb measurement and was presented for the first time at the 12th Workshop on the CKM Unitarity Triangle. The latter analysis measures the largest CP asymmetry seen at LHCb by splitting the $D$-decay phase space into bins.


title: Frame by Familiar Frame: Understanding Replication in Video Diffusion Models

abstract: Building on the momentum of image generation diffusion models, there is an increasing interest in video-based diffusion models. However, video generation poses greater challenges due to its higher-dimensional nature, the scarcity of training data, and the complex spatiotemporal relationships involved. Image generation models, due to their extensive data requirements, have already strained computational resources to their limits. There have been instances of these models reproducing elements from the training samples, leading to concerns and even legal disputes over sample replication. Video diffusion models, which operate with even more constrained datasets and are tasked with generating both spatial and temporal content, may be more prone to replicating samples from their training sets. Compounding the issue, these models are often evaluated using metrics that inadvertently reward replication. In our paper, we present a systematic investigation into the phenomenon of sample replication in video diffusion models. We scrutinize various recent diffusion models for video synthesis, assessing their tendency to replicate spatial and temporal content in both unconditional and conditional generation scenarios. Our study identifies strategies that are less likely to lead to replication. Furthermore, we propose new evaluation strategies that take replication into account, offering a more accurate measure of a model's ability to generate the original content.


title: Reproducibility Made Easy: A Tool for Methodological Transparency and Efficient Standardized Reporting based on the proposed MRSinMRS Consensus

abstract: A recent expert consensus found that non-standard reporting in MRS studies led to poor reproducibility. In order to address this, MRSinMRS guidelines were introduced; however, because of the disparate nomenclature and data formats, adoption has been slow. To get around this problem, REMY, a toolbox that supports major vendor formats, was created. By efficiently filling in important fields in the MRSinMRS table, it improves reproducibility. Even with certain hardware-related restrictions, REMY makes a substantial contribution to the completion of acquisition parameters, which facilitates reporting. Its compatibility and user-friendly interface should promote widespread adoption of MRSinMRS, raising the caliber of MRS research.


title: Situation Awareness for Driver-Centric Driving Style Adaptation

abstract: There is evidence that the driving style of an autonomous vehicle is important to increase the acceptance and trust of the passengers. The driving situation has been found to have a significant influence on human driving behavior. However, current driving style models only partially incorporate driving environment information, limiting the alignment between an agent and the given situation. Therefore, we propose a situation-aware driving style model based on different visual feature encoders pretrained on fleet data, as well as driving behavior predictors, which are adapted to the driving style of a specific driver. Our experiments show that the proposed method outperforms static driving styles significantly and forms plausible situation clusters. Furthermore, we found that feature encoders pretrained on our dataset lead to more precise driving behavior modeling. In contrast, feature encoders pretrained supervised and unsupervised on different data sources lead to more specific situation clusters, which can be utilized to constrain and control the driving style adaptation for specific situations. Moreover, in a real-world setting, where driving style adaptation is happening iteratively, we found the MLP-based behavior predictors achieve good performance initially but suffer from catastrophic forgetting. In contrast, behavior predictors based on situationdependent statistics can learn iteratively from continuous data streams by design. Overall, our experiments show that important information for driving behavior prediction is contained within the visual feature encoder. The dataset is publicly available at huggingface.co/datasets/jHaselberger/SADC-Situation-Awareness-for-Driver-Centric-Driving-Style-Adaptation.


title: LocCa: Visual Pretraining with Location-aware Captioners

abstract: Image captioning has been shown as an effective pretraining method similar to contrastive pretraining. However, the incorporation of location-aware information into visual pretraining remains an area with limited research. In this paper, we propose a simple visual pretraining method with location-aware captioners (LocCa). LocCa uses a simple image captioner task interface, to teach a model to read out rich information, i.e. bounding box coordinates, and captions, conditioned on the image pixel input. Thanks to the multitask capabilities of an encoder-decoder architecture, we show that an image captioner can easily handle multiple tasks during pretraining. Our experiments demonstrate that LocCa outperforms standard captioners significantly on localization downstream tasks while maintaining comparable performance on holistic tasks.


title: Reference Energies for Double Excitations: Improvement and Extension

abstract: In the realm of photochemistry, the significance of double excitations (also known as doubly-excited states), where two electrons are concurrently elevated to higher energy levels, lies in their involvement in key electronic transitions essential in light-induced chemical reactions as well as their challenging nature from the computational theoretical chemistry point of view. Based on state-of-the-art electronic structure methods (such as high-order coupled-cluster, selected configuration interaction, and multiconfigurational methods), we improve and expand our prior set of accurate reference excitation energies for electronic states exhibiting a substantial amount of double excitations [http://dx.doi.org/10.1021/acs.jctc.8b01205; Loos et al. J. Chem. Theory Comput. 2019, 15, 1939]. This extended collection encompasses 47 electronic transitions across 26 molecular systems that we separate into two distinct subsets: (i) 28 "genuine" doubly-excited states where the transitions almost exclusively involve doubly-excited configurations and (ii) 19 "partial" doubly-excited states which exhibit a more balanced character between singly- and doubly-excited configurations. For each subset, we assess the performance of high-order coupled-cluster (CC3, CCSDT, CC4, and CCSDTQ) and multiconfigurational methods (CASPT2, CASPT3, PC-NEVPT2, and SC-NEVPT2). Using as a probe the percentage of single excitations involved in a given transition ($\%T_1$) computed at the CC3 level, we also propose a simple correction that reduces the errors of CC3 by a factor of 3, for both sets of excitations. We hope that this more complete and diverse compilation of double excitations will help future developments of electronic excited-state methodologies.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el nucl-th


title: Implications of purity constraints on light higgsinos

abstract: The lightest supersymmetric particles could be higgsinos that have a small mixing with gauginos. If the lightest higgsino-like state makes up some or all of the dark matter with a thermal freezeout density, then its mass must be between about 100 and 1150 GeV, and dark matter searches put bounds on the amount of gaugino contamination that it can have. Motivated by the generally good agreement of flavor- and CP-violating observables with Standard Model predictions, I consider models in which the scalar particles of minimal supersymmetry are heavy enough to be essentially decoupled, except for the 125 GeV Higgs boson. I survey the resulting purity constraints as lower bounds on the gaugino masses and upper bounds on the higgsino mass splittings. I also discuss the mild excesses in recent soft lepton searches for charginos and neutralinos at the LHC, and show that they can be accommodated in these models if $\tan\beta$ is small and $\mu$ is negative.


title: Effective methods for plane quartics, their theta characteristics and the Scorza map

abstract: This is a revised version of the lecture notes prepared for the workshop on "Plane quartics, Scorza map and related topics", held in Catania, January 19-21, 2016. The last section contains eight Macaulay2 scripts on theta characteristics and the Scorza map, with a tutorial. The first sections give an introduction to these scripts. The tutorial contains a list of the 36 Scorza preimages of the Edge quartic.


title: Enhance Image Classification via Inter-Class Image Mixup with Diffusion Model

abstract: Text-to-image (T2I) generative models have recently emerged as a powerful tool, enabling the creation of photo-realistic images and giving rise to a multitude of applications. However, the effective integration of T2I models into fundamental image classification tasks remains an open question. A prevalent strategy to bolster image classification performance is through augmenting the training set with synthetic images generated by T2I models. In this study, we scrutinize the shortcomings of both current generative and conventional data augmentation techniques. Our analysis reveals that these methods struggle to produce images that are both faithful (in terms of foreground objects) and diverse (in terms of background contexts) for domain-specific concepts. To tackle this challenge, we introduce an innovative inter-class data augmentation method known as Diff-Mix (https://github.com/Zhicaiwww/Diff-Mix), which enriches the dataset by performing image translations between classes. Our empirical results demonstrate that Diff-Mix achieves a better balance between faithfulness and diversity, leading to a marked improvement in performance across diverse image classification scenarios, including few-shot, conventional, and long-tail classifications for domain-specific datasets.


title: Topological Phases and Phase Transitions with Dipolar Symmetry Breaking

abstract: Systems with dipole moment conservation have been of recent interest, as they realize both novel quantum dynamics and exotic ground state phases. In this work, we study some generic properties of 1-D and 2-D dipole-conserving fermionic models at integer fillings. We find that a dipolar symmetry-breaking phase can result in a mean-field band insulator whose topological indices can strongly affect the low-energy physics of the dipolar Goldstone modes. We study the 2-D topological phase transition of the mean-field ground states in the presence of the Goldstone modes. The critical theory resembles the 2+1d quantum electrodynamics coupled to massless Dirac fermions with some crucial differences and shows a novel quantum critical point featuring a nontrivial dynamical exponent. We also discuss the analogous case of 1-D dipole-conserving models and the role of topological invariants.


title: Behavior Trees in Industrial Applications: A Case Study in Underground Explosive Charging

abstract: In industrial applications Finite State Machines (FSMs) are often used to implement decision making policies for autonomous systems. In recent years, the use of Behavior Trees (BT) as an alternative policy representation has gained considerable attention. The benefits of using BTs over FSMs are modularity and reusability, enabling a system that is easy to extend and modify. However, there exists few published studies on successful implementations of BTs for industrial applications. This paper contributes with the lessons learned from implementing BTs in a complex industrial use case, where a robotic system assembles explosive charges and places them in holes on the rock face. The main result of the paper is that even if it is possible to model the entire system as a BT, combining BTs with FSMs can increase the readability and maintainability of the system. The benefit of such combination is remarked especially in the use case studied in this paper, where the full system cannot run autonomously but human supervision and feedback are needed.


title: Semantic Map-based Generation of Navigation Instructions

abstract: We are interested in the generation of navigation instructions, either in their own right or as training material for robotic navigation task. In this paper, we propose a new approach to navigation instruction generation by framing the problem as an image captioning task using semantic maps as visual input. Conventional approaches employ a sequence of panorama images to generate navigation instructions. Semantic maps abstract away from visual details and fuse the information in multiple panorama images into a single top-down representation, thereby reducing computational complexity to process the input. We present a benchmark dataset for instruction generation using semantic maps, propose an initial model and ask human subjects to manually assess the quality of generated instructions. Our initial investigations show promise in using semantic maps for instruction generation instead of a sequence of panorama images, but there is vast scope for improvement. We release the code for data preparation and model training at https://github.com/chengzu-li/VLGen.


title: More on Black Holes Perceiving the Dark Dimension

abstract: In the last two years the dark dimension scenario has emerged as focal point of many research interests. In particular, it functions as a stepping stone to address the cosmological hierarchy problem and provides a colosseum for dark matter contenders. We reexamine the possibility that primordial black holes (PBHs) perceiving the dark dimension could constitute all of the dark matter in the universe. We re-assess limits on the abundance of PBHs as dark matter candidates from $\gamma$-ray emission resulting from Hawking evaporation. We re-evaluate constraints from the diffuse $\gamma$-ray emission in the direction of the Galactic center which offer the best and most solid upper limits on the dark matter fraction composed of PBHs. The revised mass range which allows PBHs to assemble all cosmological dark matter is estimated to be $10^{15} \alt M_{\rm BH}/{\rm g} \alt 10^{21}$. We demonstrate that due to the constraints from $\gamma$-ray emission, quantum corrections due to the speculative memory burden effect do not modify this mass range. We also investigate the main characteristics of PBHs which are localized in the bulk. We show that PBHs localized in the bulk can make all cosmological dark matter if $10^{11} \alt M_{\rm BH}/{\rm g} \alt 10^{21}$. Finally, we comment on the black holes that could be produced if one advocates a space with two boundaries for the dark dimension.


title: Data-Adaptive Tradeoffs among Multiple Risks in Distribution-Free Prediction

abstract: Decision-making pipelines are generally characterized by tradeoffs among various risk functions. It is often desirable to manage such tradeoffs in a data-adaptive manner. As we demonstrate, if this is done naively, state-of-the art uncertainty quantification methods can lead to significant violations of putative risk guarantees. To address this issue, we develop methods that permit valid control of risk when threshold and tradeoff parameters are chosen adaptively. Our methodology supports monotone and nearly-monotone risks, but otherwise makes no distributional assumptions. To illustrate the benefits of our approach, we carry out numerical experiments on synthetic data and the large-scale vision dataset MS-COCO.


title: Positivity violations in marginal structural survival models with time-dependent confounding: a simulation study on IPTW-estimator performance

abstract: In longitudinal observational studies, marginal structural models (MSMs) are a class of causal models used to analyze the effect of an exposure on the (survival) outcome of interest while accounting for exposure-affected time-dependent confounding. In the applied literature, inverse probability of treatment weighting (IPTW) has been widely adopted to estimate MSMs. An essential assumption for IPTW-based MSMs is the positivity assumption, which ensures that each individual in the population has a non-zero probability of receiving each exposure level within confounder strata. Positivity, along with consistency, conditional exchangeability, and correct specification of the weighting model, is crucial for valid causal inference through IPTW-based MSMs but is often overlooked compared to confounding bias. Positivity violations can arise from subjects having a zero probability of being exposed/unexposed (strict violations) or near-zero probabilities due to sampling variability (near violations). This article discusses the effect of violations in the positivity assumption on the estimates from IPTW-based MSMs. Building on the algorithms for simulating longitudinal survival data from MSMs by Havercroft and Didelez (2012) and Keogh et al. (2021), systematic simulations under strict/near positivity violations are performed. Various scenarios are explored by varying (i) the size of the confounder interval in which positivity violations arise, (ii) the sample size, (iii) the weight truncation strategy, and (iv) the subject's propensity to follow the protocol violation rule. This study underscores the importance of assessing positivity violations in IPTW-based MSMs to ensure robust and reliable causal inference in survival analyses.


title: SAID-NeRF: Segmentation-AIDed NeRF for Depth Completion of Transparent Objects

abstract: Acquiring accurate depth information of transparent objects using off-the-shelf RGB-D cameras is a well-known challenge in Computer Vision and Robotics. Depth estimation/completion methods are typically employed and trained on datasets with quality depth labels acquired from either simulation, additional sensors or specialized data collection setups and known 3d models. However, acquiring reliable depth information for datasets at scale is not straightforward, limiting training scalability and generalization. Neural Radiance Fields (NeRFs) are learning-free approaches and have demonstrated wide success in novel view synthesis and shape recovery. However, heuristics and controlled environments (lights, backgrounds, etc) are often required to accurately capture specular surfaces. In this paper, we propose using Visual Foundation Models (VFMs) for segmentation in a zero-shot, label-free way to guide the NeRF reconstruction process for these objects via the simultaneous reconstruction of semantic fields and extensions to increase robustness. Our proposed method Segmentation-AIDed NeRF (SAID-NeRF) shows significant performance on depth completion datasets for transparent objects and robotic grasping.


title: Classical Kerr-Schild double copy in bigravity for maximally symmetric spacetimes

abstract: A generalized Kerr-Schild ansatz for bigravity, already considered in the literature, which leads to linear interactions between the metrics is used to study the bigravity equations in the context of the double copy. By contracting the resulting spin-2 field bigravity equations of motion using Killing vector fields, as is usually carried out in general relativity, we arrive to the single and zeroth copy equations for the mentioned ansatz. For the case of stationary solutions, we obtain two Maxwell and two conformally coupled scalar field equations for the single and zeroth copies respectively, and the linear interactions are absent. In the time-dependent case we obtain equations for the fields which are coupled. By decoupling these equations and at the zeroth copy level, we recover a massless and a massive field whose mass is proportional to the Fierz-Pauli mass and depends on the coefficients of the interaction potential between the metrics. This has been also previously documented in the literature and is now reinterpreted within the context of the double copy proposal.


title: Angular dependence in transverse momentum dependent diffractive parton distributions at small-$x$

abstract: We discuss the angular dependence of the recently proposed transverse momentum dependent quark and gluon diffractive parton distributions at small-$x$. We introduce the difractive versions of the Sivers function and the elliptic gluon Wigner distribution and evaluate them in simple models with gluon saturation and study their geometric scaling properties. We also show that the diffractive version of the linearly polarized gluon distribution identically vanishes to leading order. These distributions enrich the physics opportunities for measuring semi-inclsuive diffractive DIS processes at the future electron-ion colliders.


title: Magic-induced computational separation in entanglement theory

abstract: Entanglement serves as a foundational pillar in quantum information theory, delineating the boundary between what is classical and what is quantum. The common assumption is that higher entanglement corresponds to a greater degree of `quantumness'. However, this folk belief is challenged by the fact that classically simulable operations, such as Clifford circuits, can create highly entangled states. The simulability of these states raises a question: what are the differences between `low-magic' entanglement, and `high-magic' entanglement? We answer this question in this work with a rigorous investigation into the role of magic in entanglement theory. We take an operational approach to understanding this relationship by studying tasks such as entanglement estimation, distillation and dilution. This approach reveals that magic has notable implications for entanglement. Specifically, we find an operational separation that divides Hilbert space into two distinct regimes: the entanglement-dominated (ED) phase and magic-dominated (MD) phase. Roughly speaking, ED states have entanglement that significantly surpasses their magic, while MD states have magic that dominates their entanglement. The competition between the two resources in these two phases induces a computational phase separation between them: there are {sample- and time-efficient} quantum algorithms for almost any entanglement task on ED states, while these tasks are {provably computationally intractable} in the MD phase. Our results find applications in diverse areas such as quantum error correction, many-body physics, and the study of quantum chaos, providing a unifying framework for understanding the behavior of quantum systems. We also offer theoretical explanations for previous numerical observations, highlighting the broad implications of the ED-MD distinction across various subfields of physics.


title: Nearest Neighbor Classication for Classical Image Upsampling

abstract: Given a set of ordered pixel data in the form of an image, our goal is to perform upsampling on the data such that: the resulting resolution is improved by some factor, the final result passes the human test, having added new, believable, and realistic information and detail to the image, the time complexity for upscaling is relatively close to that of lossy upscaling implementations.


title: ILPO-NET: Network for the invariant recognition of arbitrary volumetric patterns in 3D

abstract: Effective recognition of spatial patterns and learning their hierarchy is crucial in modern spatial data analysis. Volumetric data applications seek techniques ensuring invariance not only to shifts but also to pattern rotations. While traditional methods can readily achieve translational invariance, rotational invariance possesses multiple challenges and remains an active area of research. Here, we present ILPO-Net (Invariant to Local Patterns Orientation Network), a novel approach that handles arbitrarily shaped patterns with the convolutional operation inherently invariant to local spatial pattern orientations using the Wigner matrix expansions. Our architecture seamlessly integrates the new convolution operator and, when benchmarked on diverse volumetric datasets such as MedMNIST and CATH, demonstrates superior performance over the baselines with significantly reduced parameter counts - up to 1000 times fewer in the case of MedMNIST. Beyond these demonstrations, ILPO-Net's rotational invariance paves the way for other applications across multiple disciplines. Our code is publicly available at https://gricad-gitlab.univ-grenoble-alpes.fr/GruLab/ILPO/-/tree/main/ILPONet.


title: NELIOTA: New results and updated statistics after 6.5 years of lunar impact flashes monitoring

abstract: We present results of the NELIOTA campaign for lunar impact flashes observed with the 1.2 m Kryoneri telescope. From August 2019 to August 2023, we report 113 validated and 70 suspected flashes. For the validated flashes, we calculate the physical parameters of the corresponding projectiles, the temperatures developed during the impacts, and the expected crater sizes. For the multiframe flashes we present light curves and thermal evolution plots. Using the whole sample of NELIOTA that encompasses 192 validated flashes in total from 2017, the statistics of the physical parameters of the meteoroids, the peak temperatures of the impacts and the expected crater sizes has been updated. Using this large sample, empirical relations correlating the luminous energies per photometric band were derived and used to roughly estimate the parameters of 92 suspected flashes of the NELIOTA archive. For a typical value of the luminous efficiency, we found that more than the 75% of the impacting meteoroids have masses between 1-200 g, radii between 0.5-3 cm and produced craters up to 3.5 m. 85% of the peak temperatures of the impacts range between 2000 and 4500 K. Statistics regarding the magnitude decline and the cooling rates of the multiframe flashes are also presented. The recalculation of the appearance frequency of meteoroids, lying within the aforementioned ranges of physical parameters, on the Moon yields that the total lunar surface is bombarded with 7.4 sporadic meteoroids/ hour and up to 12.6 meteoroids/hour when the Earth-Moon system passes through a strong meteoroid stream. By extrapolating these rates on Earth, the respective rates for various distances from its surface are calculated and used to estimate the probability of an impact of a meteoroid with a hypothetical infrastructure on the Moon, or with a satellite orbiting Earth for various impact surfaces and duration times of the missions.


title: Optimizing Josephson Junction Reproducibility in 30 kV E-beam Lithography: Analysis of Backscattered Electron Distribution

abstract: This paper explores methods to enhance the reproducibility of Josephson junctions, crucial elements in superconducting quantum technologies, when employing the Dolan technique in 30 kV e-beam processes. The study explores the influence of dose distribution along the bridge area on reproducibility, addressing challenges related to fabrication sensitivity. Experimental methods include E-beam lithography, with electron trajectory simulations shedding light on backscattered electron behavior. We demonstrate the fabrication of different junction geometries, revealing that some geometries significantly improve reproducibility by resulting in a more homogeneous dose distribution over the junction area.


title: SA-GS: Scale-Adaptive Gaussian Splatting for Training-Free Anti-Aliasing

abstract: In this paper, we present a Scale-adaptive method for Anti-aliasing Gaussian Splatting (SA-GS). While the state-of-the-art method Mip-Splatting needs modifying the training procedure of Gaussian splatting, our method functions at test-time and is training-free. Specifically, SA-GS can be applied to any pretrained Gaussian splatting field as a plugin to significantly improve the field's anti-alising performance. The core technique is to apply 2D scale-adaptive filters to each Gaussian during test time. As pointed out by Mip-Splatting, observing Gaussians at different frequencies leads to mismatches between the Gaussian scales during training and testing. Mip-Splatting resolves this issue using 3D smoothing and 2D Mip filters, which are unfortunately not aware of testing frequency. In this work, we show that a 2D scale-adaptive filter that is informed of testing frequency can effectively match the Gaussian scale, thus making the Gaussian primitive distribution remain consistent across different testing frequencies. When scale inconsistency is eliminated, sampling rates smaller than the scene frequency result in conventional jaggedness, and we propose to integrate the projected 2D Gaussian within each pixel during testing. This integration is actually a limiting case of super-sampling, which significantly improves anti-aliasing performance over vanilla Gaussian Splatting. Through extensive experiments using various settings and both bounded and unbounded scenes, we show SA-GS performs comparably with or better than Mip-Splatting. Note that super-sampling and integration are only effective when our scale-adaptive filtering is activated. Our codes, data and models are available at https://github.com/zsy1987/SA-GS.


title: Feedback Optimization of Incentives for Distribution Grid Services

abstract: Energy prices and net power injection limitations regulate the operations in distribution grids and typically ensure that operational constraints are met. Nevertheless, unexpected or prolonged abnormal events could undermine the grid's functioning. During contingencies, customers could contribute effectively to sustaining the network by providing services. This paper proposes an incentive mechanism that promotes users' active participation by essentially altering the energy pricing rule. The incentives are modeled via a linear function whose parameters can be computed by the system operator (SO) by solving an optimization problem. Feedback-based optimization algorithms are then proposed to seek optimal incentives by leveraging measurements from the grid, even in the case when the SO does not have a full grid and customer information. Numerical simulations on a standard testbed validate the proposed approach.


title: Orbital-Selective Spin-Triplet Superconductivity in Infinite-Layer Lanthanum Nickelates

abstract: The discovery of superconductivity in infinite-layer nickelates has ignited stark interest within the scientific community, particularly regarding its likely unconventional origin. Conflicting magnetotransport measurements report either isotropic or anisotropic suppression of superconductivity in an external magnetic field, with distinct implications for the nature of superconducting order. In order to ensure a most suited model subject to subsequent many-body analysis, we develop a first-principles-guided minimal theory including Ni $d_{x^2-y^2}$, La $d_{3z^2-r^2}$, and La $d_{xy}$ orbitals. Amended by the consideration of orbital-selective pairing formation, which emphasises the correlation state of the Ni $3d_{x^2-y^2}$ orbital, we calculate the superconducting ordering susceptibility mediated by spin fluctuations. We find a parametric competition between even-parity $d$-wave and, in contrast to previous studies, odd-parity $p$-wave pairing, which becomes favorable through a large quasiparticle weight renormalization for Ni $3d_{x^2-y^2}$ electrons. Our findings not only shed light on the distinctiveness of LaNiO$_{2}$ as compared to cuprate superconductors or nickelates of different rare-earth composition but also provoke similarities to other pending candidate odd-parity superconductors.


title: What is Ballistic Transport?

abstract: In this article, we review some notions of ballistic transport from the mathematics and physics literature, describe their basic interrelations, and contrast them with other commonly studied notions of wave packet spread.


title: Existence of a global fundamental solution for H\"ormander operators

abstract: In their celebrated paper of 1976, Rothschild and Stein prove a lifting procedure that locally reduces to a free Lie algebra any family of smooth vector fields $X_1,\dots,X_q$, over a manifold $M$ respecting the H\"ormander's condition. Then, a large class of differential operators can be lifted, and they find that fundamental solutions on the lifted space can be re-projected to fundamental solutions of the given operator on $M$. In case that the Lie algebra $\mathfrak g=\mbox{Lie}(X_1,\dots,X_q)$ is finite dimensional but not nilpotent, this procedure could introduce a strong tilting of the space. In this paper we represent a global construction of a Lie group $G$ associated to $\mathfrak g$ that avoid this tilting problem. In particular $\mbox{Lie}(G)\cong\mathfrak g$ and a right $G$-action exists over $M$, faithful and transitive, inducing a natural projection $E\colon G\to M$. We represent the group $G$ as a direct product $M\times G^z$ where the model fiber $G^z$ has a group structure. We prove that for any simply connected manifold $M$ -- and a vast class of non-simply connected manifolds -- the existence of a fundamental solution for a differential operator $L=\sum_{\alpha\in\mathbb N^q} r_\alpha\cdot X^\alpha$ of finite degree over $M$, follows via a saturation method from the existence of a fundamental solution for the associated lifted operator over a group $G$. This is a generalization of Biagi and Bonfiglioli analogous result for homogeneous vector fields over $M=\mathbb R^n$.


title: Collaborative Interactive Evolution of Art in the Latent Space of Deep Generative Models

abstract: Generative Adversarial Networks (GANs) have shown great success in generating high quality images and are thus used as one of the main approaches to generate art images. However, usually the image generation process involves sampling from the latent space of the learned art representations, allowing little control over the output. In this work, we first employ GANs that are trained to produce creative images using an architecture known as Creative Adversarial Networks (CANs), then, we employ an evolutionary approach to navigate within the latent space of the models to discover images. We use automatic aesthetic and collaborative interactive human evaluation metrics to assess the generated images. In the human interactive evaluation case, we propose a collaborative evaluation based on the assessments of several participants. Furthermore, we also experiment with an intelligent mutation operator that aims to improve the quality of the images through local search based on an aesthetic measure. We evaluate the effectiveness of this approach by comparing the results produced by the automatic and collaborative interactive evolution. The results show that the proposed approach can generate highly attractive art images when the evolution is guided by collaborative human feedback.


title: Holomorphically conjugate polynomial automorphisms of C^2 are polynomially conjugate

abstract: We confirm a conjecture of Friedland and Milnor: if two polynomial automorphisms f and g in Aut(C^2) with dynamical degree >1 are conjugate by some holomorphic diffeomorphism \phi of C^2, then \phi is a polynomial automorphism; thus, f and g are conjugate inside Aut(C^2). We also discuss a number of variations on this result.


title: RH20T-P: A Primitive-Level Robotic Dataset Towards Composable Generalization Agents

abstract: The ultimate goals of robotic learning is to acquire a comprehensive and generalizable robotic system capable of performing both seen skills within the training distribution and unseen skills in novel environments. Recent progress in utilizing language models as high-level planners has demonstrated that the complexity of tasks can be reduced through decomposing them into primitive-level plans, making it possible to generalize on novel robotic tasks in a composable manner. Despite the promising future, the community is not yet adequately prepared for composable generalization agents, particularly due to the lack of primitive-level real-world robotic datasets. In this paper, we propose a primitive-level robotic dataset, namely RH20T-P, which contains about 33000 video clips covering 44 diverse and complicated robotic tasks. Each clip is manually annotated according to a set of meticulously designed primitive skills, facilitating the future development of composable generalization agents. To validate the effectiveness of RH20T-P, we also construct a potential and scalable agent based on RH20T-P, called RA-P. Equipped with two planners specialized in task decomposition and motion planning, RA-P can adapt to novel physical skills through composable generalization. Our website and videos can be found at https://sites.google.com/view/rh20t-primitive/main. Dataset and code will be made available soon.


title: Generalisation of the Spectral Difference scheme for the diffused-interface five equation model

abstract: The present work focuses on the generalisation of the Spectral Difference (SD) scheme to the reduced Baer-Nunziato system known as five-equation model for the simulation of two immiscible compressible fluids. This five equation model is considered with the additional Allen-Cahn regularisation to avoid both over-diffusion and over-thinning of the phase field representing the interface. Finally, in order to preserve contact discontinuities, in the reconstruction step of the spectral difference scheme, a change of variables from conservative to primitive is used. This approach is shown to be beneficial in avoiding pressure oscillations at material interfaces. An extensive series of numerical tests are proposed to assess accuracy and robustness of the present method. Both kinematic (Rider-Kothe vortex) and two-phase flow problems (Rayleigh-Taylor instability, shock-droplet interaction, Taylor-Green vortex) are considered.


title: Ghost cycles exhibit increased entrainment and richer dynamics in response to external forcing compared to slow-fast systems

abstract: Many natural, living and engineered systems display oscillations that are characterized by multiple timescales. Typically, such systems are described as slow-fast systems, where the slow dynamics result from a hyperbolic slow manifold that guides the movement of the system trajectories. Recently, we have provided an alternative description in which the slow dynamics result from a non-hyperbolic and Lyapunov-unstable attracting sets from connected dynamical ghosts that form a closed orbit (termed ghost cycles). Here we investigate the response properties of both type of systems to external forcing. Using the classical Van-der-Pol oscillator and two modified versions of this model that correspond to a 1-ghost and a 2-ghost cycle, respectively, we find that ghost cycles are characterized by significant increase especially in the 1:1 entrainment regions as demonstrated by the corresponding Arnold tongues and exhibit richer dynamics (bursting, chaos) in contrast to the classical slow-fast system. Phase plane analysis reveals that these features result from the continuous remodeling of the attractor landscape of the ghost cycles models characteristic for non-autonomous systems, whereas the attractor landscape of the corresponding slow-fast system remains qualitatively unaltered. We propose that systems containing ghost cycles display increased flexibility and responsiveness to continuous environmental changes.


title: Top-$k$ Classification and Cardinality-Aware Prediction

abstract: We present a detailed study of top-$k$ classification, the task of predicting the $k$ most probable classes for an input, extending beyond single-class prediction. We demonstrate that several prevalent surrogate loss functions in multi-class classification, such as comp-sum and constrained losses, are supported by $H$-consistency bounds with respect to the top-$k$ loss. These bounds guarantee consistency in relation to the hypothesis set $H$, providing stronger guarantees than Bayes-consistency due to their non-asymptotic and hypothesis-set specific nature. To address the trade-off between accuracy and cardinality $k$, we further introduce cardinality-aware loss functions through instance-dependent cost-sensitive learning. For these functions, we derive cost-sensitive comp-sum and constrained surrogate losses, establishing their $H$-consistency bounds and Bayes-consistency. Minimizing these losses leads to new cardinality-aware algorithms for top-$k$ classification. We report the results of extensive experiments on CIFAR-100, ImageNet, CIFAR-10, and SVHN datasets demonstrating the effectiveness and benefit of these algorithms.


title: On the large interaction asymptotics of the free energy density of the Ising chain with disordered centered external field

abstract: This article completes [G. Giacomin, R. Greenblatt, ALEA 2022] by identifying explicitly the leading coefficient in the asymptotic development of the free energy density of the centered Random Field Ising Chain as the spin-spin interaction of the chain goes to infinity, under general assumptions on the disorder law.


title: Four-dimensional gradient Ricci solitons with (half) nonnegative isotropic curvature

abstract: This is a sequel to our paper [24], in which we investigated the geometry of 4-dimensional gradient shrinking Ricci solitons with half positive (nonnegative) isotropic curvature. In this paper, we mainly focus on 4-dimensional gradient steady Ricci solitons with nonnegative isotropic curvature (WPIC) or half nonnegative isotropic curvature (half WPIC). In particular, for $4$D complete {\it ancient solutions} with WPIC, we are able to prove the nonnegativity of the Ricci curvature $Rc\geq 0$ and bound the curvature tensor $Rm$ by $|Rm| \leq R$. For 4D gradient steady solitons with WPIC, we obtain a classification result. We also give a partial classification of 4D gradient steady Ricci solitons with half WPIC. Moreover, we obtain a preliminary classification result for 4D complete gradient {\it expanding Ricci solitons} with WPIC. Finally, motivated by the recent work [60], we improve our earlier results in [24] on 4D gradient {\it shrinking Ricci solitons} with half PIC or half WPIC, and also provide a characterization of complete gradient K\"ahler-Ricci shrinkers in complex dimension two among 4-dimensional gradient Ricci shrinkers.


title: Anyonic statistics and slow quasiparticle dynamics in a graphene fractional quantum Hall interferometer

abstract: Anyons are two dimensional particles with fractional exchange statistics that emerge as elementary excitations of fractional quantum Hall phases. Experimentally, anyonic statistics manifest directly in the edge-state Fabry-P\'erot interferometer geometry, where the presence of $N_{qp}$ localized anyons in the interferometer bulk contributes a phase $N_{qp} \theta_a$ to the observed interference pattern, where $\theta_a$ is twice the statistical exchange phase. Here, we report a measurement of $\theta_a$ in a monolayer graphene Fabry-P\'erot interferometer at $\nu$ = 1/3. We find a preponderance of phase slips with magnitudes $\Delta \theta \approx 2 \pi / 3$, confirming the result of past experiments in GaAs quantum wells and consistent with expectations for the tunneling of Abelian anyons into the interferometer bulk. In contrast to prior work, however, single anyon tunneling events manifest as instantaneous and irreversible phase slips, indicative of quasiparticle equilibration times exceeding 20 minutes in some cases. We use the discrepancy between the quasiparticle equilibration rate and our measurement speed to vary the interferometer area and $N_{qp}$ independently, allowing us to precisely determine the interferometer phase and monitor the entry and exit of individual anyons to the interferometer loop in the time domain. Besides providing a replication of previous interferometric measurements sensitive to $\theta_a$ in GaAs, our results bring anyon dynamics into the experimental regime and suggest that the average `topological charge' of a mesoscopic quantum Hall device can be held constant over hour long timescales.


title: Metric Learning from Limited Pairwise Preference Comparisons

abstract: We study metric learning from preference comparisons under the ideal point model, in which a user prefers an item over another if it is closer to their latent ideal item. These items are embedded into $\mathbb{R}^d$ equipped with an unknown Mahalanobis distance shared across users. While recent work shows that it is possible to simultaneously recover the metric and ideal items given $\mathcal{O}(d)$ pairwise comparisons per user, in practice we often have a limited budget of $o(d)$ comparisons. We study whether the metric can still be recovered, even though it is known that learning individual ideal items is now no longer possible. We show that in general, $o(d)$ comparisons reveals no information about the metric, even with infinitely many users. However, when comparisons are made over items that exhibit low-dimensional structure, each user can contribute to learning the metric restricted to a low-dimensional subspace so that the metric can be jointly identified. We present a divide-and-conquer approach that achieves this, and provide theoretical recovery guarantees and empirical validation.


title: The Immortal Dyon Index Is Positive

abstract: The microstates of supersymmetric black holes in asymptotically flat four-dimensional spacetime are expected to be bosonic due to the spherical symmetry of their horizons. This implies that the index counting the difference between bosonic and fermionic black hole microstates must be positive, as conjectured by Sen in arXiv:1008.4209. We show that the conjecture is satisfied by the index which counts 1/4-BPS states in N = 4 string theory forming single centered black holes, called immortal dyons. The proof relies on the relation between the indexed degeneracies and the coefficients of a family of mock modular forms, thus showing that black holes predict the sign of the Fourier coefficients of mock modular forms.


title: Retrieval-Enhanced Knowledge Editing for Multi-Hop Question Answering in Language Models

abstract: Large Language Models (LLMs) have shown proficiency in question-answering tasks but often struggle to integrate real-time knowledge updates, leading to potentially outdated or inaccurate responses. This problem becomes even more challenging when dealing with multi-hop questions since they require LLMs to update and integrate multiple knowledge pieces relevant to the questions. To tackle the problem, we propose the Retrieval-Augmented model Editing (RAE) framework tailored for multi-hop question answering. RAE first retrieves edited facts and then refines the language model through in-context learning. Specifically, our retrieval approach, based on mutual information maximization, leverages the reasoning abilities of LLMs to identify chain facts that na\"ive similarity-based searches might miss. Additionally, our framework incorporates a pruning strategy to eliminate redundant information from the retrieved facts, which enhances the editing accuracy and mitigates the hallucination problem. Our framework is supported by theoretical justification for its fact retrieval efficacy. Finally, comprehensive evaluation across various LLMs validates RAE's ability in providing accurate answers with updated knowledge.


title: GauStudio: A Modular Framework for 3D Gaussian Splatting and Beyond

abstract: We present GauStudio, a novel modular framework for modeling 3D Gaussian Splatting (3DGS) to provide standardized, plug-and-play components for users to easily customize and implement a 3DGS pipeline. Supported by our framework, we propose a hybrid Gaussian representation with foreground and skyball background models. Experiments demonstrate this representation reduces artifacts in unbounded outdoor scenes and improves novel view synthesis. Finally, we propose Gaussian Splatting Surface Reconstruction (GauS), a novel render-then-fuse approach for high-fidelity mesh reconstruction from 3DGS inputs without fine-tuning. Overall, our GauStudio framework, hybrid representation, and GauS approach enhance 3DGS modeling and rendering capabilities, enabling higher-quality novel view synthesis and surface reconstruction.


title: Lane-Change in Dense Traffic with Model Predictive Control and Neural Networks

abstract: This paper presents an online smooth-path lane-change control framework. We focus on dense traffic where inter-vehicle space gaps are narrow, and cooperation with surrounding drivers is essential to achieve the lane-change maneuver. We propose a two-stage control framework that harmonizes Model Predictive Control (MPC) with Generative Adversarial Networks (GAN) by utilizing driving intentions to generate smooth lane-change maneuvers. To improve performance in practice, the system is augmented with an adaptive safety boundary and a Kalman Filter to mitigate sensor noise. Simulation studies are investigated in different levels of traffic density and cooperativeness of other drivers. The simulation results support the effectiveness, driving comfort, and safety of the proposed method.


title: Asymmetric and trial-dependent modeling: the contribution of LIA to SdSV Challenge Task 2

abstract: The SdSv challenge Task 2 provided an opportunity to assess efficiency and robustness of modern text-independent speaker verification systems. But it also made it possible to test new approaches, capable of taking into account the main issues of this challenge (duration, language, ...). This paper describes the contributions of our laboratory to the speaker recognition field. These contributions highlight two other challenges in addition to short-duration and language: the mismatch between enrollment and test data and the one between subsets of the evaluation trial dataset. The proposed approaches experimentally show their relevance and efficiency on the SdSv evaluation, and could be of interest in many real-life applications.


title: Radio properties of Green Pea galaxies

abstract: Green Peas (GPs) are young, compact, star-forming dwarf galaxies, and local (z~0.3) analogues of the early galaxies (z>6) considered to be mainly responsible for the reionisation of the Universe. Recent X-ray observations of GPs have detected high excess emission which cannot be accounted for by star formation alone, and implies presence of an active galactic nucleus (AGN). We employ radio observations to study the radio properties of GPs, build their radio spectral energy distributions, and verify the presence of AGNs. We performed new radio observations of three GPs with the Karl G. Jansky Very Large Array (JVLA) in the L, C, and X bands (1.4, 6 and 10 GHz resp.), supplemented by the data from archival observations and large radio surveys. We also analysed the archival radio data for a larger sample of GPs and blueberry (BBs) galaxies, which are lower-mass and lower-redshift analogues of the GPs. To understand the significance of the radio observations, we assess the detectability of these sources, and compare the detected radio luminosities with the expectations from theoretical and empirical relations. Two of the three targeted GPs were strongly detected ($>10\sigma$) in the JVLA observations and their fluxes are consistent with star formation, while the third source was undetected. Although a large fraction (~75%) of the sources from the larger archival sample of GPs and BBs could be detected with archival surveys, only a small number (<40%) are detected and their radio luminosity is significantly lower than the expectation from empirical relations. Our results show that the majority of the dwarf galaxy sample is highly underluminous. Especially towards the lower end of galaxy mass and star formation rate (SFR), the radio luminosity-SFR relation deviates from the empirical relations, suggesting that the relations established for larger galaxies may not hold towards the low-mass end.


title: Phase-Matched Generation of Coherent Soft-X-Rays

abstract: Phase-matched harmonic conversion of visible laser light into soft x-rays was demonstrated. The recently developed technique of guided-wave frequency conversion was used to upshift light from 800 nanometers to the range from 17 to 32 nanometers. This process increased the coherent x-ray output by factors of 10^2 to 10^3 compared to the non-phase-matched case. This source uses a small-scale (sub-millijoule) high repetition-rate laser and will enable a wide variety of new experimental investigations in linear and nonlinear x-ray science.


title: In the driver's mind: modeling the dynamics of human overtaking decisions in interactions with oncoming automated vehicles

abstract: Understanding human behavior in overtaking scenarios is crucial for enhancing road safety in mixed traffic with automated vehicles (AVs). Computational models of behavior play a pivotal role in advancing this understanding, as they can provide insight into human behavior generalizing beyond empirical studies. However, existing studies and models of human overtaking behavior have mostly focused on scenarios with simplistic, constant-speed dynamics of oncoming vehicles, disregarding the potential of AVs to proactively influence the decision-making process of the human drivers via implicit communication. Furthermore, so far it remained unknown whether overtaking decisions of human drivers are affected by whether they are interacting with an AV or a human-driven vehicle (HDV). To address these gaps, we conducted a "reverse Wizard-of-Oz" driving simulator experiment with 30 participants who repeatedly interacted with oncoming AVs and HDVs, measuring the drivers' gap acceptance decisions and response times. The oncoming vehicles featured time-varying dynamics designed to influence the overtaking decisions of the participants by briefly decelerating and then recovering to their initial speed. We found that participants did not alter their overtaking behavior when interacting with oncoming AVs compared to HDVs. Furthermore, we did not find any evidence of brief decelerations of the oncoming vehicle affecting the decisions or response times of the participants. Cognitive modeling of the obtained data revealed that a generalized drift-diffusion model with dynamic drift rate and velocity-dependent decision bias best explained the gap acceptance outcomes and response times observed in the experiment. Overall, our findings highlight the potential of cognitive models for further advancing the ongoing development of safer interactions between human drivers and AVs during overtaking maneuvers.


title: Siamese Vision Transformers are Scalable Audio-visual Learners

abstract: Traditional audio-visual methods rely on independent audio and visual backbones, which is costly and not scalable. In this work, we investigate using an audio-visual siamese network (AVSiam) for efficient and scalable audio-visual pretraining. Our framework uses a single shared vision transformer backbone to process audio and visual inputs, improving its parameter efficiency, reducing the GPU memory footprint, and allowing us to scale our method to larger datasets and model sizes. We pretrain our model using a contrastive audio-visual matching objective with a multi-ratio random masking scheme, which enables our model to process larger audio-visual instance batches, helpful for contrastive learning. Unlike prior audio-visual methods, our method can robustly handle audio, visual, and audio-visual inputs with a single shared ViT backbone. Furthermore, despite using the shared backbone for both modalities, AVSiam achieves competitive or even better results than prior methods on AudioSet and VGGSound for audio-visual classification and retrieval. Our code is available at https://github.com/GenjiB/AVSiam


title: Linear Programming in Isabelle/HOL

abstract: Linear programming describes the problem of optimising a linear objective function over a set of constraints on its variables. In this paper we present a solver for linear programs implemented in the proof assistant Isabelle/HOL. This allows formally proving its soundness, termination, and other properties. We base these results on a previous formalisation of the simplex algorithm which does not take optimisation problems into account. Using the weak duality theorem of linear programming we obtain an algorithm for solving linear programs. Using Isabelle's code generation mechanism we can generate an external solver for linear programs.


title: Automorphic functionals for the minimal representations of groups of type $D_n$ and $E_n$

abstract: The minimal representation $\Pi$ of $G(\mathbb A)$ for a split simply-connected group $G$ of type $D$ or $E$ admits a realization on a space of functions $\mathcal S(X(\mathbb A))$ for a variety $X$. In this paper we write explicitly an automorphic, i.e. $G(F)$-invariant, functional on $\mathcal S(X(\mathbb A)).$


title: Energy-Optimal Multi-Agent Navigation as a Strategic-Form Game

abstract: This extended abstracts presents a method to generate energy-optimal trajectories for multi-agent systems as a strategic-form game. Using recent results in optimal control, we demonstrate that an energy-optimal trajectory can be generated in milliseconds if the sequence of constraint activations is known a priori. Thus, rather than selecting an infinite-dimensional action from a function space, the agents select their actions from a finite number of constraints and determine the time that each becomes active. Furthermore, the agents can exactly encode their trajectory in a set of real numbers, rather than communicating their control action as an infinite-dimensional function. We demonstrate the performance of this algorithm in simulation and find an optimal trajectory in 45 milliseconds on a tablet PC.


title: Square patterns in dynamical orbits

abstract: Let $q$ be an odd prime power. Let $f\in \mathbb{F}_q[x]$ be a polynomial having degree at least $2$, $a\in \mathbb{F}_q$, and denote by $f^n$ the $n$-th iteration of $f$. Let $\chi$ be the quadratic character of $\mathbb{F}_q$, and $\mathcal{O}_f(a)$ the forward orbit of $a$ under iteration by $f$. Suppose that the sequence $(\chi(f^n(a)))_{n\geq 1}$ is periodic, and $m$ is its period. Assuming a mild and generic condition on $f$, we show that, up to a constant, $m$ can be bounded from below by $|\mathcal{O}_f(a)|/q^\frac{2\log_{2}(d)+1}{2\log_2(d)+2}$. More informally, we prove that the period of the appearance of squares in an orbit of an element provides an upper bound for the size of the orbit itself. Using a similar method, we can also prove that, up to a constant, we cannot have more than $q^\frac{2\log_2(d)+1}{2\log_2(d)+2}$ consecutive squares or non-squares in the forward orbit of $a$. In addition, we provide a classification of all polynomials for which our generic condition does not hold.


title: Almost All Quantum Channels Are Diagonalizable

abstract: We prove the statement "The collection of all elements of $\mathcal S$ which have only simple eigenvalues is dense in $\mathcal S$" for different sets $\mathcal S$, including: all quantum channels, the unital channels, the positive trace-preserving maps, all Lindbladians (GKSL-generators), and all time-dependent Markovian channels. Therefore any element from each of these sets can always be approximated by diagonalizable elements of the same set to arbitrary precision.


title: Gaussian statistics for left and right eigenvectors of complex non-Hermitian matrices

abstract: We consider a constant-size subset of left and right eigenvectors of an $N\times N$ i.i.d. complex non-Hermitian matrix associated with the eigenvalues with pairwise distances at least $N^{-\frac12+\epsilon}$. We show that arbitrary constant rank projections of these eigenvectors are Gaussian and jointly independent.


title: GANTASTIC: GAN-based Transfer of Interpretable Directions for Disentangled Image Editing in Text-to-Image Diffusion Models

abstract: The rapid advancement in image generation models has predominantly been driven by diffusion models, which have demonstrated unparalleled success in generating high-fidelity, diverse images from textual prompts. Despite their success, diffusion models encounter substantial challenges in the domain of image editing, particularly in executing disentangled edits-changes that target specific attributes of an image while leaving irrelevant parts untouched. In contrast, Generative Adversarial Networks (GANs) have been recognized for their success in disentangled edits through their interpretable latent spaces. We introduce GANTASTIC, a novel framework that takes existing directions from pre-trained GAN models-representative of specific, controllable attributes-and transfers these directions into diffusion-based models. This novel approach not only maintains the generative quality and diversity that diffusion models are known for but also significantly enhances their capability to perform precise, targeted image edits, thereby leveraging the best of both worlds.


title: Change-Agent: Towards Interactive Comprehensive Remote Sensing Change Interpretation and Analysis

abstract: Monitoring changes in the Earth's surface is crucial for understanding natural processes and human impacts, necessitating precise and comprehensive interpretation methodologies. Remote sensing satellite imagery offers a unique perspective for monitoring these changes, leading to the emergence of remote sensing image change interpretation (RSICI) as a significant research focus. Current RSICI technology encompasses change detection and change captioning, each with its limitations in providing comprehensive interpretation. To address this, we propose an interactive Change-Agent, which can follow user instructions to achieve comprehensive change interpretation and insightful analysis according to user instructions, such as change detection and change captioning, change object counting, change cause analysis, etc. The Change-Agent integrates a multi-level change interpretation (MCI) model as the eyes and a large language model (LLM) as the brain. The MCI model contains two branches of pixel-level change detection and semantic-level change captioning, in which multiple BI-temporal Iterative Interaction (BI3) layers utilize Local Perception Enhancement (LPE) and the Global Difference Fusion Attention (GDFA) modules to enhance the model's discriminative feature representation capabilities. To support the training of the MCI model, we build the LEVIR-MCI dataset with a large number of change masks and captions of changes. Extensive experiments demonstrate the effectiveness of the proposed MCI model and highlight the promising potential of our Change-Agent in facilitating comprehensive and intelligent interpretation of surface changes. To facilitate future research, we will make our dataset and codebase of the MCI model and Change-Agent publicly available at https://github.com/Chen-Yang-Liu/Change-Agent


title: Sparse Feature Circuits: Discovering and Editing Interpretable Causal Graphs in Language Models

abstract: We introduce methods for discovering and applying sparse feature circuits. These are causally implicated subnetworks of human-interpretable features for explaining language model behaviors. Circuits identified in prior work consist of polysemantic and difficult-to-interpret units like attention heads or neurons, rendering them unsuitable for many downstream applications. In contrast, sparse feature circuits enable detailed understanding of unanticipated mechanisms. Because they are based on fine-grained units, sparse feature circuits are useful for downstream tasks: We introduce SHIFT, where we improve the generalization of a classifier by ablating features that a human judges to be task-irrelevant. Finally, we demonstrate an entirely unsupervised and scalable interpretability pipeline by discovering thousands of sparse feature circuits for automatically discovered model behaviors.


title: Human-compatible driving partners through data-regularized self-play reinforcement learning

abstract: A central challenge for autonomous vehicles is coordinating with humans. Therefore, incorporating realistic human agents is essential for scalable training and evaluation of autonomous driving systems in simulation. Simulation agents are typically developed by imitating large-scale, high-quality datasets of human driving. However, pure imitation learning agents empirically have high collision rates when executed in a multi-agent closed-loop setting. To build agents that are realistic and effective in closed-loop settings, we propose Human-Regularized PPO (HR-PPO), a multi-agent algorithm where agents are trained through self-play with a small penalty for deviating from a human reference policy. In contrast to prior work, our approach is RL-first and only uses 30 minutes of imperfect human demonstrations. We evaluate agents in a large set of multi-agent traffic scenes. Results show our HR-PPO agents are highly effective in achieving goals, with a success rate of 93%, an off-road rate of 3.5%, and a collision rate of 3%. At the same time, the agents drive in a human-like manner, as measured by their similarity to existing human driving logs. We also find that HR-PPO agents show considerable improvements on proxy measures for coordination with human driving, particularly in highly interactive scenarios. We open-source our code and trained agents at https://github.com/Emerge-Lab/nocturne_lab and provide demonstrations of agent behaviors at https://sites.google.com/view/driving-partners.


title: GraspXL: Generating Grasping Motions for Diverse Objects at Scale

abstract: Human hands possess the dexterity to interact with diverse objects such as grasping specific parts of the objects and/or approaching them from desired directions. More importantly, humans can grasp objects of any shape without object-specific skills. Recent works synthesize grasping motions following single objectives such as a desired approach heading direction or a grasping area. Moreover, they usually rely on expensive 3D hand-object data during training and inference, which limits their capability to synthesize grasping motions for unseen objects at scale. In this paper, we unify the generation of hand-object grasping motions across multiple motion objectives, diverse object shapes and dexterous hand morphologies in a policy learning framework GraspXL. The objectives are composed of the graspable area, heading direction during approach, wrist rotation, and hand position. Without requiring any 3D hand-object interaction data, our policy trained with 58 objects can robustly synthesize diverse grasping motions for more than 500k unseen objects with a success rate of 82.2%. At the same time, the policy adheres to objectives, which enables the generation of diverse grasps per object. Moreover, we show that our framework can be deployed to different dexterous hands and work with reconstructed or generated objects. We quantitatively and qualitatively evaluate our method to show the efficacy of our approach. Our model and code will be available.


title: Consistency of JWST Black Hole Observations with NANOGrav Gravitational Wave Measurements

abstract: JWST observations have opened a new chapter in studies of supermassive black holes (SMBHs), stimulating discussion of two puzzles: the abundance of SMBHs in the early Universe and the fraction of dual AGNs. In this paper we argue that the answers to these puzzles may be linked to an interpretation of the data on the nHz gravitational wave (GWs) discovered by NANOGrav and other Pulsar Timing Arrays (PTAs) in terms of SMBH binaries losing energy by interactions with their environments as well as by GW emission. According to this interpretation, the SMBHs in low-$z$ AGNs are the tip of the iceberg of the local SMBH population, which are mainly in inactive galaxies. This interpretation would favour the observability of GW signals from BH binaries in LISA and deciHz GW detectors.


title: MagicLens: Self-Supervised Image Retrieval with Open-Ended Instructions

abstract: Image retrieval, i.e., finding desired images given a reference image, inherently encompasses rich, multi-faceted search intents that are difficult to capture solely using image-based measures. Recent works leverage text instructions to allow users to more freely express their search intents. However, they primarily focus on image pairs that are visually similar and/or can be characterized by a small set of pre-defined relations. The core thesis of this paper is that text instructions can enable retrieving images with richer relations beyond visual similarity. To show this, we introduce MagicLens, a series of self-supervised image retrieval models that support open-ended instructions. MagicLens is built on a key novel insight: image pairs that naturally occur on the same web pages contain a wide range of implicit relations (e.g., inside view of), and we can bring those implicit relations explicit by synthesizing instructions via foundation models. Trained on 36.7M (query image, instruction, target image) triplets with rich semantic relations mined from the web, MagicLens achieves results comparable with or better than prior best on eight benchmarks of various image retrieval tasks, while maintaining high parameter efficiency with a significantly smaller model size. Additional human analyses on a 1.4M-image unseen corpus further demonstrate the diversity of search intents supported by MagicLens. Code and models are publicly available at https://open-vision-language.github.io/MagicLens/.


title: InterDreamer: Zero-Shot Text to 3D Dynamic Human-Object Interaction

abstract: Text-conditioned human motion generation has experienced significant advancements with diffusion models trained on extensive motion capture data and corresponding textual annotations. However, extending such success to 3D dynamic human-object interaction (HOI) generation faces notable challenges, primarily due to the lack of large-scale interaction data and comprehensive descriptions that align with these interactions. This paper takes the initiative and showcases the potential of generating human-object interactions without direct training on text-interaction pair data. Our key insight in achieving this is that interaction semantics and dynamics can be decoupled. Being unable to learn interaction semantics through supervised training, we instead leverage pre-trained large models, synergizing knowledge from a large language model and a text-to-motion model. While such knowledge offers high-level control over interaction semantics, it cannot grasp the intricacies of low-level interaction dynamics. To overcome this issue, we further introduce a world model designed to comprehend simple physics, modeling how human actions influence object motion. By integrating these components, our novel framework, InterDreamer, is able to generate text-aligned 3D HOI sequences in a zero-shot manner. We apply InterDreamer to the BEHAVE and CHAIRS datasets, and our comprehensive experimental analysis demonstrates its capability to generate realistic and coherent interaction sequences that seamlessly align with the text directives.


title: Detecting Image Attribution for Text-to-Image Diffusion Models in RGB and Beyond

abstract: Modern text-to-image (T2I) diffusion models can generate images with remarkable realism and creativity. These advancements have sparked research in fake image detection and attribution, yet prior studies have not fully explored the practical and scientific dimensions of this task. In addition to attributing images to 12 state-of-the-art T2I generators, we provide extensive analyses on what inference stage hyperparameters and image modifications are discernible. Our experiments reveal that initialization seeds are highly detectable, along with other subtle variations in the image generation process to some extent. We further investigate what visual traces are leveraged in image attribution by perturbing high-frequency details and employing mid-level representations of image style and structure. Notably, altering high-frequency information causes only slight reductions in accuracy, and training an attributor on style representations outperforms training on RGB images. Our analyses underscore that fake images are detectable and attributable at various levels of visual granularity than previously explored.


title: RSMamba: Remote Sensing Image Classification with State Space Model

abstract: Remote sensing image classification forms the foundation of various understanding tasks, serving a crucial function in remote sensing image interpretation. The recent advancements of Convolutional Neural Networks (CNNs) and Transformers have markedly enhanced classification accuracy. Nonetheless, remote sensing scene classification remains a significant challenge, especially given the complexity and diversity of remote sensing scenarios and the variability of spatiotemporal resolutions. The capacity for whole-image understanding can provide more precise semantic cues for scene discrimination. In this paper, we introduce RSMamba, a novel architecture for remote sensing image classification. RSMamba is based on the State Space Model (SSM) and incorporates an efficient, hardware-aware design known as the Mamba. It integrates the advantages of both a global receptive field and linear modeling complexity. To overcome the limitation of the vanilla Mamba, which can only model causal sequences and is not adaptable to two-dimensional image data, we propose a dynamic multi-path activation mechanism to augment Mamba's capacity to model non-causal data. Notably, RSMamba maintains the inherent modeling mechanism of the vanilla Mamba, yet exhibits superior performance across multiple remote sensing image classification datasets. This indicates that RSMamba holds significant potential to function as the backbone of future visual foundation models. The code will be available at \url{https://github.com/KyanChen/RSMamba}.


title: GaussianCube: A Structured and Explicit Radiance Representation for 3D Generative Modeling

abstract: We introduce a radiance representation that is both structured and fully explicit and thus greatly facilitates 3D generative modeling. Existing radiance representations either require an implicit feature decoder, which significantly degrades the modeling power of the representation, or are spatially unstructured, making them difficult to integrate with mainstream 3D diffusion methods. We derive GaussianCube by first using a novel densification-constrained Gaussian fitting algorithm, which yields high-accuracy fitting using a fixed number of free Gaussians, and then rearranging these Gaussians into a predefined voxel grid via Optimal Transport. Since GaussianCube is a structured grid representation, it allows us to use standard 3D U-Net as our backbone in diffusion modeling without elaborate designs. More importantly, the high-accuracy fitting of the Gaussians allows us to achieve a high-quality representation with orders of magnitude fewer parameters than previous structured representations for comparable quality, ranging from one to two orders of magnitude. The compactness of GaussianCube greatly eases the difficulty of 3D generative modeling. Extensive experiments conducted on unconditional and class-conditioned object generation, digital avatar creation, and text-to-3D synthesis all show that our model achieves state-of-the-art generation results both qualitatively and quantitatively, underscoring the potential of GaussianCube as a highly accurate and versatile radiance representation for 3D generative modeling. Project page: https://gaussiancube.github.io/.


title: Topologically protected flatness in chiral moir\'e heterostructures

abstract: The observation of delicate correlated phases in twisted heterostructures of graphene and transition metal dichalcogenides suggests an inherent resilience of moir\'e flat bands against certain types of disorder. We investigate the robustness of moir\'e flat bands in the chiral limit of the Bistrizer-MacDonald model, applicable to both platforms in certain limits. We show a drastic difference between the protection of the first magic angle and higher magic angles to chiral symmetric disorder such as random higher moir\'e potential harmonics arising, for instance, from lattice relaxation. We find that the first magic angle is topologically protected by a topological index theorem, similar to the protection of the zeroth Landau level of Dirac fermions, whose flatness withstands any chiral symmetric perturbation such as non-uniform magnetic fields. Focusing on the first magic angle of twisted bilayer graphene, our analysis reveals a hidden non-local constant of motion that permits the decomposition of the non-abelian gauge field induced by inter-layer tunnelings into two decoupled abelian ones, underscoring a topological mechanism for band flatness. Through numerical simulations, we further show the strikingly different robustness of flat bands across protected (first) and unprotected (higher) magic angles in the presence of various types of disorder and identify the scattering processes that are enhanced or suppressed in the chiral limit. Interestingly, we find that the suppression of disorder broadening persists away from the chiral limit and is further accentuated by isolating a single sublattice polarized flat band in energy. Our analysis suggests the Berry curvature hotspot at the top of the K and K' valence band in the transition metal dichalcogenide monolayers is essential for the stability of its moir\'e flat bands and their correlated states.


title: Revisiting Taylor and the Trinity Test

abstract: The atomic bomb uses fission of heavy elements to produce a large amount of energy. It was designed and deployed during World War II by the United States military. The first test of an atomic bomb occurred in July of 1945 in New Mexico and was given the name Trinity; this test was not declassified until 1949. In that year Geoffrey Ingram Taylor released two papers, detailing his process in calculating the energy yield of the atomic bomb from pictures of the Trinity explosion alone. Many scientists made similar calculations concurrently, though Taylor is often accredited with them. Since then many scientists have also attempted a to calculate a yield through various methods. This paper walks through these methods with a focus on Taylor's method -- based on first principles -- as well as redoing the calculations that he performed with modern tools. In this paper we make use of the state-of-the-art computer vision tools to find a more precise measurement of the blast radius, as well as using curve fitting and numerical integration methods. With more precise measurements we are able to follow in Taylor's footstep towards a more accurate approximation.


title: Analysis of classical and quantum mechanical concepts of probability: A synopsis

abstract: This paper addresses the central question of what a coherent concept of probability might look like that would do justice to both classical probability theory, axiomatized by Kolmogorov, and quantum theory. At a time when quanta are receiving increased and expanded attention -- think, for example, of the advances in quantum computers or the promises associated with this new technology (National Academies of Sciences: Engineering, and Medicine, 2019) -- an adequate interpretation of probability, which is no less important, should be given due attention, particularly with regard to quantum theory.


title: On weakly classical 1-absorbing prime submodules

abstract: In this paper, we study weakly classical 1-absorbing prime submodules of a nonzero unital module $M$ over a commutative ring $R$ having a nonzero identity. A proper submodule $N$ of $M$ is said to be a weakly classical 1-absorbing prime submodule, if for each $m\in M$ and nonunits $a,b,c\in R,$ $0\neq abcm\in N$ implies that $abm\in N$ or $cm\in N$. We give various examples and properties of weakly classical 1-absorbing prime submodules. Also, we investiage the weakly classical 1-absorbing prime submodules of tensor product $F\otimes M$ of a (faithfully) flat $R$-module $F$ and any $R$-module $M.$ Also, we prove that if every proper submodule of an $R$-module $M$ is weakly classical 1-absorbing prime, then $Jac(R)^{3}M=0$. In terms of this result, we characterize modules over local rings in which every proper submodule is weakly classical 1-absorbing prime.


title: Discrete Linear Canonical Transform on Graphs: Uncertainty Principle and Sampling

abstract: With an increasing influx of classical signal processing methodologies into the field of graph signal processing, approaches grounded in discrete linear canonical transform have found application in graph signals. In this paper, we initially propose the uncertainty principle of the graph linear canonical transform (GLCT), which is based on a class of graph signals maximally concentrated in both vertex and graph spectral domains. Subsequently, leveraging the uncertainty principle, we establish conditions for recovering bandlimited signals of the GLCT from a subset of samples, thereby formulating the sampling theory for the GLCT. We elucidate interesting connections between the uncertainty principle and sampling. Further, by employing sampling set selection and experimental design sampling strategies, we introduce optimal sampling operators in the GLCT domain. Finally, we evaluate the performance of our methods through simulations and numerical experiments across applications.


title: Relativized universal algebra via partial Horn logic

abstract: Algebraic theories, sometimes called equational theories, are syntactic notions given by finitary operations and equations, such as monoids, groups, and rings. There is a well-known category-theoretic treatment of them that algebraic theories are equivalent to finitary monads on $\mathbf{Set}$. In this paper, using partial Horn theories, we syntactically generalize such an equivalence to arbitrary locally presentable categories from $\mathbf{Set}$; the corresponding algebraic concepts relative to locally presentable categories are called relative algebraic theories. Finally, we give a framework for universal algebra relative to locally presentable categories by generalizing Birkhoff's variety theorem.


title: Automorphisms of Multiplicative Lie algebra Extensions

abstract: In this paper, we discuss the inducibility problem for automorphisms of multiplicative Lie algebra extensions and show that obstruction to the inducibility of pairs lies in the second cohomology group of multiplicative Lie algebras. We also establish the Wells type exact sequence for multiplicative Lie algebras, which relates automorphism groups with the second cohomology group of multiplicative Lie algebras.


title: Kontsevich's Formula for Rational Curves from Classical and Quantum Perspectives

abstract: Kontsevich's formula for rational plane curves is a recursive relation for the number $N_d$ of degree $d$ rational curves in $\mathbb{P}^2$ passing through $3d-1$ general points. We provide two proofs of this recursion: the first more direct and combinatoric, the second more abstract. In order to achieve this, we introduce several moduli spaces, such as the Deligne-Mumford-Knudsen spaces and the Kontsevich spaces, and exploit their properties. In particular, the boundary structure of these spaces gives rise to certain fundamental relations crucial to both proofs. For the second proof, we reconsider the objects in question from the cohomological viewpoint and generalize the numbers $N_d$ to Gromov-Witten invariants. We introduce quantum cohomology and deduce Kontsevich's formula from the associativity of the quantum product. We also adapt these steps to the case of curves in $\mathbb{P}^1\times\mathbb{P}^1$, whose bidegrees lead to slightly more complicated but analogous results.


title: $\,_{3}F_{4}$ hypergeometric functions as a sum of a product of $\,_{2}F_{3}$ functions

abstract: This paper shows that certain $\,_{3}F_{4}$ hypergeometric functions may be expanded in sums of pair products of $\,_{2}F_{3}$ functions. This expands the class of hypergeometric functions having summation theorems beyond those expressible as pair-products of generalized Whittaker functions, $\,_{2}F_{1}$ functions, and $\,_{3}F_{2}$ functions into the realm of $\,_{P}F_{Q}$ functions where $P<Q$ for both the summand and terms in the series. In addition to its intrinsic value, this result has a specific application in calculating the response of the atoms to laser stimulation in the Strong Field Approximation.


title: On Godel's treatment of the undecidable in 1931

abstract: In this article we discuss the proof in the short unpublished paper appeared in the 3rd volume of Godel's Collected Works entitled "On undecidable sentences" (*1931?), which provides an introduction to Godel's 1931 ideas regarding the incompleteness of arithmetic. We analyze the meaning of the negation of the provability predicate, and how it is meant not to lead to vicious circle. We show how in fact in Godel's entire argument there is an omission regarding the cases of non-provability, which, once taken into consideration again, allow a completely different view of Godel's entire argument of incompleteness. Previous results of the author are applied to show that the definition of a contradiction is included in the argument of *1931?. Furthermore, an examination of the application of substitution in the well-known Godel formula as a violation of uniqueness is also briefly presented, questioning its very derivation.


title: Weierstrass structure and eigenvalue placement of regular matrix pencils under low rank perturbations

abstract: We solve the problem of determining the Weierstrass structure of a regular matrix pencil obtained by a low rank perturbation of another regular matrix pencil. We apply the result to find necessary and sufficient conditions for the existence of a low rank perturbation such that the perturbed pencil has prescribed eigenvalues and algebraic multiplicities. The results hold over fields with sufficient number of elements.


title: The Camel-Banana Problem

abstract: A camel can carry one banana at a time on its back. It is on a diet and therefore can only have one banana at a time in its stomach. As soon as it has eaten a banana it walks a mile and then it needs a new banana (in order to be able to continue its itinerary). Let there be a stock of N bananas at the border of the desert. How far can the camel penetrate into the desert, starting at this point? (Of course it can form new stocks with transported bananas.)


title: A new approach to the similarity problem

abstract: We say that a $C^*$-algebra $\mathcal{A}$ satisfies the similarity property ((SP)) if every bounded homomorphism $u\colon \mathcal{A} \to \mathcal{B}(\mathit{H})$, where $\mathit{H}$ is a Hilbert space, is similar to a $*$-homomorphism. We introduce the following hypothesis (EP). (EP): Every separably acting von Neumann algebra with a cyclic vector is hyperreflexive. We prove that under (EP), all $C^*$-algebras satisfy (SP).


title: Analyzing the Roles of Language and Vision in Learning from Limited Data

abstract: Does language help make sense of the visual world? How important is it to actually see the world rather than having it described with words? These basic questions about the nature of intelligence have been difficult to answer because we only had one example of an intelligent system -- humans -- and limited access to cases that isolated language or vision. However, the development of sophisticated Vision-Language Models (VLMs) by artificial intelligence researchers offers us new opportunities to explore the contributions that language and vision make to learning about the world. We ablate components from the cognitive architecture of these models to identify their contributions to learning new tasks from limited data. We find that a language model leveraging all components recovers a majority of a VLM's performance, despite its lack of visual input, and that language seems to allow this by providing access to prior knowledge and reasoning.


title: The altitudes of a triangle

abstract: A long-standing, unanswered question regarding Euclid's Elements concerns the absence of a theorem for the concurrence of the altitudes of a triangle, and the possible reasons for this omission. In the centuries following Euclid, a remarkable number of proofs have been put forward; this suggests a search for the most elementary and direct proof. This paper provides a simple, direct, elementary proof of the theorem; it is based solely on the Elements.


title: Rotational hypersufaces in $E^4_1$ with generalized $L_k$ 1-type Gauss map

abstract: In this paper, we study the Gauss map of rotational hypersurfaces in 4-dimensional Lorentz-Minkowski space concerning the linear second order differential operators $L_1$ and $L_2$, where $L_1$ is usually called as the Cheng-Yau operator. We obtain some classifications of rotational hypersurfaces which have $L_k$-harmonic Gauss map, $L_k$-pointwise 1-type Gauss map and generalized $L_k$ 1-type Gauss map, where $k = 1,2$.


title: $h$-Amalgamation bases in the Class of non trivial abelian groups

abstract: In this paper we give a complete description of the $h$-amalgamation bases in the class of non trivial abelian groups.


title: Existence of limit of multivariable function

abstract: This article provides several theorems regarding the existence of limit for multivariable function, among which Theorem 1 and Theorem 3 relax the requirement for sequence of Heine's definition of limit. These results address the question of which paths need to be considered to determine the existence of limit for multivariable function.


title: Quantum Properties of Mathematical Physics Equations. Generation of Quantum Structures

abstract: It is shown with the help of skew-symmetric forms that the mathematical physics equations, on which no additional conditions are imposed, have quantum properties. And this is due to the integrability properties of differential equations, which depends on the consistency of derivatives with respect to different variables and the consistency of equations, if the mathematical physics equations are a system of equations. It was found that such equations on the original tangent space turn out to be non-integrable. Their derivatives do not form a differential. The integrability of such equations is realized only on the structures of a cotangent integrable manifold. This happens using a degenerate, non-differential-preserving transformation that has quantum properties. When implementing degenerate transformations, mini structures (quanta) arise, from which integrable structures are formed. Such properties of integrability of mathematical physics equations and features of degenerate transformations reveal the quantum properties of mathematical physics equations and their ability to generate quantum structures.


title: A review of Alfred North Whitehead's "Introduction to Mathematics"

abstract: In 1911, Alfred North Whitehead published a short book "Introduction to Mathematics" (IM) intended for students wanting an explanation of the fundamental ideas of mathematics. Whitehead's IM has enduring value because it was written not long after he and Bertrand Russell published their monumental three-volume work "Principia Mathematica" (PM) -- a publication of immense historical significance for mathematics. IM sheds light on Whitehead's view of mathematics at that time. Whitehead's book places proofs in predicate logic as the mythical starting point of mathematics, although Whitehead himself was slow to understand the significance of symbolic predicate logic.


title: Bent functions construction using extended Maiorana-McFarland's class

abstract: In a particular case, we consider the extended Maiorana-McFarland class to obtain bent functions with balance in its images, restricted to vectors with even Hamming weight. Additionally, we see that all bent functions are balanced when we restrict to vectors of even Hamming weight or to vectors with odd Hamming weight. Given the necessary tools, we provide a simpler algorithm to obtain new bent functions using Maiorana-McFarland.


title: A survey of lattice properties: modular, Arguesian, linear, and distributive

abstract: This is a survey of characterizations and relationships between some properties of lattices, particularly the modular, Arguesian, linear, and distributive properties, but also some other related properties. The survey emphasizes finite and finitary lattices and deemphasizes complemented lattices.


title: Disentangling mappings defined on ICIS

abstract: Let $(X,S)$ be an isolated complete intersection singularity of dimension $n$, and let $f:(X,S)\rightarrow (\mathbb{C}^{n+1},0)$ be a germ of $\mathscr{A}$-finite mapping. In this master's degree final project, our main contribution is that we show the case $n=2$ of the general Mond conjecture, which states that $\mu_I(X,f)\geq \text{codim}_{\mathscr{A}_e}(X,f)$, with equality provided $(X,f)$ is weighted homogeneous. Before this project, the only known case for which the conjecture was known to hold is in the case that $n=1$ and $(X,S)$ is a plane curve.


title: Geometric Illumination of Implicit Surfaces

abstract: Illumination of scenes is usually generated in computer graphics using polygonal meshes. In this paper, we present a geometric method using projections. Starting from an implicit polynomial equation of a surface in 3-D or a curve in 2-D, we provide a semi-algebraic representation of each part of the construction. To solve polynomial condition systems and find constrained regions, we apply algebraic computational algorithms for computing the Gr{\" o}bner basis and cylindrical algebraic decomposition. The final selection of illuminated and self-shaded components for polynomial surfaces of a degree higher than three is discussed. The text is accompanied by visualizations of illumination of surfaces up to degree eight.