For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-critically finite polynomials.
hub
The (generaliz ed) Post correspondence problem with lists consisting of two words is decidable
18 Pith papers cite this work. Polarity classification is still indexing.
18
Pith papers citing it
hub tools
citation-role summary
background 1
citation-polarity summary
fields
cs.CC 2 cs.FL 2 cs.LG 2 cs.LO 2 cond-mat.mtrl-sci 1 cond-mat.str-el 1 cs.DS 1 cs.SC 1 econ.GN 1 math.CA 1roles
background 1polarities
background 1representative citing papers
Neutron diffraction detects intrinsic chemical short-range order in CoCrNi via a diffuse peak at 1.85 Å^{-1}, enhanced by aging, with simulations and SANS confirming nanoscale Ni-rich domains.
Positive linear functionals on C_c(R>0) with scaling covariance of degree x/2 and Gaussian normalization are uniquely the Mellin-Gamma measures, recovering V(x) = π^{x/2}/Γ(x/2 + 1) as the mass of the unit interval.
2-Visits is strongly NP-complete for multiplicity 2 but in RP for constant distinct deadlines, with a 0.9142 density lower bound for 2-Visits and thresholds approaching 5/6 for large k.
Establishes PLS-completeness for lexicographic local search in 4-CNF and 3-CNF (double flips), and for Abelian permutation orbit minimization even when groups are cyclic or consist of involutions, with applications to bounded congestion games.
The Confluence Framework provides a modular strategy to automatically prove and disprove confluence for a broad class of generalized term rewriting systems.
Establishes PSPACE/EXP-completeness for offset-input recurrence evaluation and PP-hardness for 3D NAND recurrences with coordinate offsets and arbitrary boundaries.
Relation algebras gain semantics for associative arrays that integrate with while-programs, enabling Isabelle/HOL proofs of correctness for disjoint-set forest implementations using union-by-rank and path compression, splitting or halving.
Simulated annealing of a square-lattice momentum-space spin model maps field-driven transitions among single-, double-, and multiple inequivalent quadruple-Q states with distinct internal structures.
AL*RTA learns alternating real-time automata, terminates, and produces smaller models than NL*RTA at the expense of more queries while preserving expressive power.
A consistent two-stage GPH-filtered Hannan-Rissanen generalized information criterion for selecting finite AR and MA orders in ARFIMA models with growing candidate sets.
AC-GATE is a lag-gated neural encoder that conditions lag-weight distributions on entity proxies to recover heterogeneous lags as structural model outputs in panel time series.
Heinsohn and Steiger's property premium fails to supplant time preference and fits within conventional interest rate decompositions, contributing a third term only for money-issuing banks.
Exploits special structural features in tensor decompositions to lower the matrix multiplication exponent for 6x6 matrices from 2.8075 to 2.8019.
Framework for dataset subset selection via clustering, A/D-optimality, and FAFI with bootstrap intervals to preserve model rankings, showing high Spearman correlation (0.95 with 5 datasets) in TSC but limited gains in recommender systems.
Investigates decidability of existence of words with copy-, marked-copy-, and shuffle-based forms inside regular and linear context-free languages.
A four-factor dynamic factor model from global macro variables explains cross-sectional equity returns in ten G20 countries better than the single-factor CAPM.
citing papers explorer
-
Automatic actions I. Bounded automata and orbits
For bounded automatic actions of inverse semigroups the orbit relation is ω-regular, making first-order statements about orbits and actions decidable, including computability of Fatou component encodings for post-critically finite polynomials.
-
Direct Observation of Chemical Short-Range Order in CoCrNi Alloy Using Neutron Diffraction
Neutron diffraction detects intrinsic chemical short-range order in CoCrNi via a diffuse peak at 1.85 Å^{-1}, enhanced by aging, with simulations and SANS confirming nanoscale Ni-rich domains.
-
Radial Integration in Continuous Dimension: A Mellin-Gamma Classification of Euclidean Ball Volume
Positive linear functionals on C_c(R>0) with scaling covariance of degree x/2 and Gaussian normalization are uniquely the Mellin-Gamma measures, recovering V(x) = π^{x/2}/Γ(x/2 + 1) as the mass of the unit interval.
-
Hardness, Tractability and Density Thresholds of finite Pinwheel Scheduling Variants
2-Visits is strongly NP-complete for multiplicity 2 but in RP for constant distinct deadlines, with a 0.9142 density lower bound for 2-Visits and thresholds approaching 5/6 for large k.
-
PLS-complete problems with lexicographic cost functions: Max-$k$-SAT and Abelian Permutation Orbit Minimization
Establishes PLS-completeness for lexicographic local search in 4-CNF and 3-CNF (double flips), and for Abelian permutation orbit minimization even when groups are cyclic or consist of involutions, with applications to bounded congestion games.
-
Proving Confluence in the Confluence Framework with CONFident
The Confluence Framework provides a modular strategy to automatically prove and disprove confluence for a broad class of generalized term rewriting systems.
-
On the Complexity of Recurrence Evaluation
Establishes PSPACE/EXP-completeness for offset-input recurrence evaluation and PP-hardness for 3D NAND recurrences with coordinate offsets and arbitrary boundaries.
-
Relation-Algebraic Verification of Disjoint-Set Forests
Relation algebras gain semantics for associative arrays that integrate with while-programs, enabling Isabelle/HOL proofs of correctness for disjoint-set forest implementations using union-by-rank and path compression, splitting or halving.
-
Field-tunable quadruple-$Q$ states driven by momentum-space frustration
Simulated annealing of a square-lattice momentum-space spin model maps field-driven transitions among single-, double-, and multiple inequivalent quadruple-Q states with distinct internal structures.
-
Learning Alternating Real-Time Automata
AL*RTA learns alternating real-time automata, terminates, and produces smaller models than NL*RTA at the expense of more queries while preserving expressive power.
-
A GPH-Filtered Hannan--Rissanen Information Criterion for ARFIMA Order Selection
A consistent two-stage GPH-filtered Hannan-Rissanen generalized information criterion for selecting finite AR and MA orders in ARFIMA models with growing candidate sets.
-
Discovering Entity-Conditioned Lag Heterogeneity: A Lag-Gated Neural Audit Framework for Panel Time Series
AC-GATE is a lag-gated neural encoder that conditions lag-weight distributions on entity proxies to recover heterogeneous lags as structural model outputs in panel time series.
-
Property, Interest, and Money: Is Heinsohn and Steiger's Property Premium a Determinant of Interest?
Heinsohn and Steiger's property premium fails to supplant time preference and fits within conventional interest rate decompositions, contributing a third term only for money-issuing banks.
-
Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
Exploits special structural features in tensor decompositions to lower the matrix multiplication exponent for 6x6 matrices from 2.8075 to 2.8019.
-
Benchmarking on Tasks That Matter: Dataset Selection for Preserving Model Rankings
Framework for dataset subset selection via clustering, A/D-optimality, and FAFI with bootstrap intervals to preserve model rankings, showing high Spearman correlation (0.95 with 5 datasets) in TSC but limited gains in recommender systems.
-
Decision Problems on Copying and Shuffling
Investigates decidability of existence of words with copy-, marked-copy-, and shuffle-based forms inside regular and linear context-free languages.
-
Pricing Global Macroeconomic Risk in Equity Markets: Evidence from Selected G20 Economies
A four-factor dynamic factor model from global macro variables explains cross-sectional equity returns in ten G20 countries better than the single-factor CAPM.
- Faster Monotone Implied Volatility Solver